P-adic modular form: Difference between revisions

Revision as of 19:23, 2 December 2012

Revision as of 21:59, 2 December 2012

Line 12:

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'',λω) = λ^–''k''''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''₀ of a finite extension of the ''p''-adic numbers, such that ''E'' is not supersingular, in the sense that the Eisenstein series ''E''_''p''–1 is invertible at (''E'',ω). The ''p''-adic modular form ''f'' now takes values in ''R'' rather thenthan 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.

==Overconvergent forms==