P-adic modular form: Difference between revisions

Content deleted Content added
m References: replace mr template with mr parameter in CS1 templates; using AWB
m correct minus sign in superscript
Line 10:
==Katz's definition==
 
A classical modular form of weight ''k'' can be thought of roughly as a function ''f'' from pairs (''E'',ω) of a complex elliptic curve with a holomorphic 1-form ω to complex numbers, such that ''f''(''E'',λω) = λ<sup>''k''</sup>''f''(''E'',ω), and satisfying some additional conditions such as being holomorphic in some sense.
 
Katz's definition of a ''p''-adic modular form is similar, except that ''E'' is now an elliptic curve over some algebra ''R'' (with ''p'' nilpotent) over the ring of integers ''R''<sub>0</sub> of a finite extension of the ''p''-adic numbers, such that ''E'' is not supersingular, in the sense that the Eisenstein series ''E''<sub>''p''–1</sub> is invertible at (''E'',ω). The ''p''-adic modular form ''f'' now takes values in ''R'' rather than in the complex numbers. The ''p''adic modular form also has to satisfy some other conditions analogous to the condition that a classical modular form should be holomorphic.