Eigenform

From Wikipedia, the free encyclopedia

An eigenform (meaning simultaneous Hecke eigenform with modular group SL(2,Z)) is a modular form which is an eigenvector for all Hecke operators T_m, m = 1, 2, 3, ….

Eigenforms fall into the realm of number theory, but can be found in other areas of math and science such as analysis, combinatorics, and physics. A common example of an eigenform, and the only non-cuspidal eigenforms, are the Eisenstein series.

Normalization

There are two different normalizations for an eigenform (or for a modular form in general).

Algebraic normalization

An eigenform is said to be normalized when scaled so that the q-coefficient in its Fourier series is one:

$f=a_{0}+q+\sum _{{i=2}}^{\infty }a_{i}q^{i}$

where q = e^2πiz. As the function f is also an eigenvector under each Hecke Operator T_i, it has a corresponding eigenvalue. More specifically a_i, i ≥ 1 turns out to be the eigenvalue of f corresponding to the Hecke operator T_i. In the case of that f is not a cusp form, the eigenvalues can be given explicitly.^[1]

Analytic normalization

As in any inner product space, an eigenform can be normalized with respect to its inner product:

$\langle f,f\rangle =1\,$

Higher levels

In the case that the modular group is not the full SL(2,Z), there is not a Hecke operator for each n ∈ Z, and as such the definition of an eigenform is changed accordingly: an eigenform is a modular form which is a simultaneous eigenvector for all Hecke operators that act on the space.

↑ Neal Koblitz. "III.5". Introduction to Elliptic Curves and Modular Forms.

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.