Atkin–Lehner theory

Atkin–Lehner theory
Name	Atkin–Lehner theory
Field	Number theory
Introduced	1970s
Key contributors	A. O. L. Atkin, Joseph Lehner
Related	Modular form, Hecke operator, Newform

Atkin–Lehner theory is a framework in Number theory and Modular form theory describing a family of involutions acting on spaces of modular forms for congruence subgroups, particularly Γ0(N). It organizes the decomposition of cusp forms into newforms and oldforms, controls eigenvalue signs that influence analytic properties of L-functions, and connects to the arithmetic of modular curves and the theory of automorphic representations. Developed by A. O. L. Atkin and Joseph Lehner, the theory has deep links to work by Jean-Pierre Serre, Atkin–Swinnerton-Dyer, Andrew Wiles, Goro Shimura, and Pierre Deligne.

Introduction

Atkin–Lehner theory refines the action of Hecke operators on cusp form spaces for levels associated to integers N, using involutive operators labeled by exact divisors of N. It interacts with the classical theory of Petersson inner product, the Eichler–Shimura correspondence, and the spectral decomposition studied in Iwaniec, H. P. F. Swinnerton-Dyer, and Harold Stark's work. The framework plays a role in the modern proof strategy of modularity results linked to Taniyama–Shimura–Weil conjecture and the proof of Fermat's Last Theorem by Andrew Wiles and Richard Taylor.

Atkin–Lehner involutions

Atkin–Lehner involutions W_Q are linear automorphisms parametrized by exact divisors Q of the level N that normalize Γ0(N) inside SL2(R), and their construction uses matrices with determinant Q and entries involving divisors of N. The involutions commute with a commuting family containing Hecke algebra elements such as T_p for primes p not dividing N, and with Fricke involution studied by Robert Fricke. Their action on q-expansions ties into classical computations by John Fricke and analytic results used by Hans Petersson and Erich Hecke. In the language of automorphic forms, these involutions correspond to elements of the normalizer of Γ0(N) studied in papers by Atkin and Lehner.

Newforms and oldforms decomposition

Atkin–Lehner theory gives a canonical decomposition of S_k(Γ0(N)) into newform subspaces and oldform subspaces arising from lower-level spaces via level-raising operators. This decomposition is compatible with the action of the Hecke algebra and the Petersson inner product, and it underlies the classification of eigenforms by Atkin–Lehner eigenvalues. Constructions of newforms draw on techniques used in the proof of the strong multiplicity one theorem for GL2 and on the Jacquet–Langlands correspondence between quaternionic and classical modular forms. Influential expositors include Atkin, Lehner, Henryk Iwaniec, and William Stein.

Atkin–Lehner eigenvalues and sign patterns

Eigenforms for the full commuting algebra including W_Q acquire eigenvalues ±1 whose pattern across divisors Q is called the Atkin–Lehner sign pattern. These signs affect functional equations of associated L-series and determine root numbers appearing in the global epsilon factor studied by John Tate and Jacques Tits. The distribution of sign patterns for families of newforms is studied in analytic works by Péter Sarnak, Kowalski, Ellenberg, and Conrey, and in arithmetic contexts by André Weil-inspired arguments used by Deligne and Serre. Sign patterns also control visibility phenomena on Jacobians of modular curves and influence ranks in Birch and Swinnerton-Dyer conjecture contexts tied to Elliptic curve modularity.

Applications to modular curves and L-functions

Atkin–Lehner involutions descend to automorphisms of modular curves X0(N), producing quotients and maps between curves studied by Riemann-surface theory and algebraic geometry approaches of Grothendieck and Belyi. These automorphisms play roles in the analysis of rational points considered in Mazur's work on rational isogenies, and in level-lowering techniques used by Wiles and Ribet. Through their influence on local and global root numbers, Atkin–Lehner signs enter the functional equations of L-functions of newforms, affecting nonvanishing results by Iwaniec and Sarnak and central value formulae in the style of Waldspurger and Gross–Zagier. The involutions also interact with Galois representations attached to newforms via constructions of Deligne and compatibilities studied by Serre and Shimura.

Generalizations and related theories

Generalizations extend Atkin–Lehner ideas to congruence subgroups beyond Γ0(N), to higher-rank groups within the Langlands program, and to the theory of newvectors in p-adic representation theory by Casselman and Jacquet. Connections appear in the study of Atkin–Lehner-Li theory, level-structure results by Li, and in the modern computational framework implemented by William Stein and the L-functions and Modular Forms Database community. Broader contexts include links to Automorphic representation multiplicity questions addressed by Langlands, analytic families investigated by Katz and Sarnak, and geometric interpretations in the work of Faltings and Mumford.

Category:Modular forms