In mathematics, in particular in the theory of modular forms, a Hecke operator, studied by Hecke (1937), 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.
Mordell (1917) used Hecke operators on modular forms in a paper on the special cusp form of Ramanujan, ahead of the general theory given by Hecke (1937). Mordell proved that the Ramanujan tau function, expressing the coefficients of the Ramanujan form,
is a multiplicative function:
The idea goes back to earlier work of Adolf Hurwitz, who treated algebraic correspondences between modular curves which realise some individual Hecke operators.
Hecke operators can be realized in a number of contexts. The simplest meaning is combinatorial, namely as taking for a given integer n some function f(Λ) defined on the lattices of fixed rank to
with the sum taken over all the Λ′ that are subgroups of Λ of index n. For example, with n=2 and two dimensions, there are three such Λ′. 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.