In mathematics, in particular in the theory of modular forms, a Hecke operator, studied by , is a certain kind of "averaging" operator that plays a significant role in the structure of vector spaces of modular forms and more general automorphic representations.

Mathematical description

Hecke operators can be realized in a number of contexts. The simplest meaning is combinatorial, namely as taking for a given integer <math>n</math> some function <math display="inline">f(\Lambda)</math> defined on the lattices of fixed rank to

:<math>\sum f(\Lambda')</math>

with the sum taken over all the <math display="inline">\Lambda'</math> that are subgroups of <math display="inline">\Lambda</math> of index <math>n</math>. For example, with <math display="inline">n=2</math> and two dimensions, there are three such <math display="inline">\Lambda'</math>. Modular forms are particular kinds of functions of a lattice, subject to conditions making them analytic functions and homogeneous with respect to homotheties, as well as moderate growth at infinity; these conditions are preserved by the summation, and so Hecke operators preserve the space of modular forms of a given weight.

Another way to express Hecke operators is by means of double cosets in the modular group. In the contemporary adelic approach, this translates to double cosets with respect to some compact subgroups.

Explicit formula

Let <math display="inline">M_m</math> be the set of <math display="inline">2\times 2</math> integral matrices with determinant <math>m</math> and <math display="inline">\Gamma = M_1</math> be the full modular group <math display="inline">\text{SL}_2(\mathbb Z)</math>. Given a modular form <math display="inline">f(z)</math> of weight <math>k</math>, the <math>m</math>th Hecke operator acts by the formula

: <math> T_m f(z) = m^{k-1}\sum_{\left(\begin{smallmatrix}a & b\\ c & d\end{smallmatrix}\right)\in\Gamma\backslash M_m}(cz+d)^{-k}f\left(\frac{az+b}{cz+d}\right), </math>

where <math display="inline">z</math> is in the upper half-plane and the normalization constant <math display="inline">m^{k-1}</math> assures that the image of a form with integer Fourier coefficients has integer Fourier coefficients. This can be rewritten in the form

: <math>T_m f(z) = m^{k-1}\sum_{\begin{smallmatrix}

ad = m \\

a, d > 0

\end{smallmatrix\frac{1}{d^k}\sum_{b \pmod d} f\left(\frac{az+b}{d}\right),</math>

which leads to the formula for the Fourier coefficients of <math display="inline">T_m(f(z)) = \sum b(n) q^n</math> in terms of the Fourier coefficients of <math display="inline">f(z) = \sum a(n) q^n</math>:

: <math> b(n) = \sum_{d|(m,n)}d^{k-1}a\left(\frac{mn}{d^2}\right).</math>

One can see from this explicit formula that Hecke operators with different indices commute and that if <math display="inline">a(0) = 0</math> then <math display="inline">b(0) = 0</math>, so the subspace <math display="inline">S_k</math> of cusp forms of weight <math>k</math> is preserved by the Hecke operators. If a (non-zero) cusp form <math>f</math> is a simultaneous eigenform of all Hecke operators <math display="inline">T_m</math> with eigenvalues <math display="inline">\lambda_m</math> then <math display="inline">a(m) = \lambda_m a(1)</math> and <math display="inline">a(1) \neq 1</math>. Hecke eigenforms are normalized so that <math display="inline">a(1) = 0</math>, then

: <math> T_m f = a(m) f, \quad a(m) a(n) = \sum_{d|(m,n)}d^{k-1}a\left(\frac{mn}{d^2}\right),\quad m,n\geq 1. </math>

Thus for normalized cuspidal Hecke eigenforms of integer weight, their Fourier coefficients coincide with their Hecke eigenvalues.

History

used Hecke operators on modular forms in a paper on the special cusp form of Ramanujan, ahead of the general theory given by . Mordell proved the Hecke relations for the Ramanujan tau function, which implies that it is a multiplicative function, a property conjectured by Ramanujan. The idea goes back to earlier work of Adolf Hurwitz, who treated algebraic correspondences between modular curves which realise some individual Hecke operators.

Hecke algebras

Algebras of Hecke operators are called "Hecke algebras", and are commutative rings. In the classical elliptic modular form theory, the Hecke operators <math display="inline">T_n</math> with <math display="inline">n</math> coprime to the level acting on the space of cusp forms of a given weight are self-adjoint with respect to the Petersson inner product. Therefore, the spectral theorem implies that there is a basis of modular forms that are eigenfunctions for these Hecke operators. Each of these basic forms possesses an Euler product. More precisely, its Mellin transform is the Dirichlet series that has Euler products with the local factor for each prime <math display="inline">p</math> is the inverse of the Hecke polynomial, a quadratic polynomial in <math display="inline">p^{-s}</math>. In the case treated by Mordell, the space of cusp forms of weight 12 with respect to the full modular group is one-dimensional. It follows that the Ramanujan form has an Euler product and establishes the multiplicativity of Ramanujan's tau function <math display="inline">\tau(n)</math>.

Other related mathematical rings are also called "Hecke algebras", although sometimes the link to Hecke operators is not entirely obvious. These algebras include certain quotients of the group algebras of braid groups. The presence of this commutative operator algebra plays a significant role in the harmonic analysis of modular forms and generalisations.

See also

  • Eichler–Shimura congruence relation
  • Hecke algebra
  • Abstract algebra
  • Wiles's proof of Fermat's Last Theorem

References

  • (See chapter 8.)
  • Jean-Pierre Serre, A course in arithmetic.
  • Don Zagier, Elliptic Modular Forms and Their Applications, in The 1-2-3 of Modular Forms, Universitext, Springer, 2008