Atkin-Lehner theory

From Wikipedia, the free encyclopedia

In mathematics, the Atkin-Lehner theory is an algebraic part of the theory of modular forms, in which the concept of newform is defined. A newform is a form 'new' at a given level N, where the levels refer to the nested subgroups

Γ(N)

of the modular group, with N ordered by divisibility. That is, if M divides N, we have that Γ(N) is a subgroup of Γ(M). The oldforms for Γ(N) are those mdular forms of level N that already have level M with M a factor of N. The newforms are defined as a vector subspace of the modular forms of level N, complementary to the space spanned by the oldforms.

The main question is to relate and reconcile the definition of newform to the action of the Hecke operators. A simple analogue in the theory of Dirichlet characters is that newforms play the role of primitive Dirichlet characters. When it comes to constructing L-functions, non-primitive Dirichlet characters may have some 'missing' Euler factors. Analogously, only newforms that are eigenforms of the Hecke algebra can be expected to present correctly-formed associated Dirichlet series.

[edit] Reference

  • A. Atkin and J. Lehner. Hecke operators on Γ0(m). Math. Ann. , (185):134--160, 1970.