P-adic modular form
In mathematics, a p-adic modular form is a p-adic analog of a modular form, with coefficients that are p-adic numbers rather than complex numbers. introduced p-adic modular forms as limits of ordinary modular forms, and shortly afterwards gave a geometric and more general definition. Katz's p-adic modular forms include as special cases classical p-adic modular forms, which are more or less p-adic linear combinations of the usual "classical" modular forms, and overconvergent p-adic modular forms, which in turn include Hida's ordinary modular forms as special cases.
Serre's definition
Serre defined a p-adic modular form to be a formal power series with p-adic coefficients that is a p-adic limit of classical modular forms with integer coefficients. The weights of these classical modular forms need not be the same; in fact, if they are then the p-adic modular form is nothing more than a linear combination of classical modular forms. In general the weight of a p-adic modular form is a p-adic number, given by the limit of the weights of the classical modular forms.The p-adic modular forms defined by Serre are special cases of those defined by Katz.
Katz's definition
A classical modular form of weight k can be thought of roughly as a function f from pairs of a complex elliptic curve with a holomorphic 1-form ω to complex numbers, such that f = λ−kf, 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 over the ring of integers R0 of a finite extension of the p-adic numbers, such that E is not supersingular, in the sense that the Eisenstein series Ep–1 is invertible at. 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.