automorphic forms

automorphic forms
Name	Automorphic forms
Field	Mathematics
Subfield	Number theory; Representation theory; Algebraic geometry
Introduced	Early 20th century
Key people	Srinivasa Ramanujan, Erich Hecke, Atle Selberg, Robert Langlands, Harish-Chandra, André Weil, Goro Shimura, Yuri Manin, Pierre Deligne, George W. Mackey

automorphic forms Automorphic forms are complex-analytic or smooth functions on topological groups that satisfy invariance, growth, and eigenfunction conditions; they generalize modular forms and connect deep problems in Srinivasa Ramanujan's work, Erich Hecke's operators, and the Langlands program initiated by Robert Langlands. These objects lie at the crossroads of Atle Selberg's spectral theory, Harish-Chandra's harmonic analysis on Lie groups, and Pierre Deligne's work in arithmetic geometry, and they underpin modern advances linking Galois groups, L-functions, and arithmetic of Shimura varietys.

Introduction

Automorphic forms appear as functions on quotient spaces of adelic or classical groups such as GL(2), SL(2), or higher-rank Lie groups that transform under discrete subgroups like Modular group and satisfy eigenvalue conditions for operators introduced by Erich Hecke and Atle Selberg. They provide the analytic side of correspondences conjectured by Robert Langlands relating automorphic representations to representations of Galois groups studied by Andrew Wiles, Richard Taylor, and Jean-Pierre Serre. Fundamental examples include classical modular forms studied by Srinivasa Ramanujan and cusp forms used in the proof of the Taniyama–Shimura conjecture connected to Fermat's Last Theorem proved by Andrew Wiles.

Historical Development

The subject evolved from 19th- and early 20th-century studies of elliptic functions and modular forms by Carl Gauss, Niels Henrik Abel, and Bernhard Riemann, through systematic work of Erich Hecke and spectral methods of Atle Selberg. André Weil recast the theory adelically, influencing later developments by Harish-Chandra on harmonic analysis of real reductive groups and by Goro Shimura on arithmetic of Shimura varietys. The modern synthesis centers on conjectures of Robert Langlands connecting automorphic representations to Artin representations and Hasse–Weil L-functions; progress by Pierre Deligne, Friedrich Hirzebruch, and others brought arithmetic geometry into the picture, while breakthroughs by Andrew Wiles, Richard Taylor, and Ching-Li Chai resolved pivotal cases.

Basic Definitions and Examples

Classical modular forms for the Modular group and congruence subgroups such as Gamma_0(N) are holomorphic functions on the upper half-plane with transformation laws under SL(2,Z) and Fourier expansions encoding arithmetic via Hecke operator eigenvalues first systematically studied by Erich Hecke. Cusp forms, Eisenstein series, and theta functions arising from Jacobi and Srinivasa Ramanujan-type identities provide primary examples; the theta correspondence of André Weil links automorphic forms on orthogonal and symplectic groups studied by David Ginzburg. Adelic formulations use the adele ring and adelic group actions to define automorphic representations introduced in the work of Gelfand and Langlands.

Representation-Theoretic Framework

Automorphic forms are packaged as automorphic representations of reductive groups over global fields, built from local components at places studied via local field harmonic analysis by Harish-Chandra, I. M. Gelfand, and George W. Mackey. The theory uses principal series representations, discrete series, and cusp forms connected through trace formulas pioneered by Atle Selberg and stabilized by techniques of Robert Langlands and James Arthur. Intertwining operators, Plancherel measures, and classification results by David Kazhdan and Joseph Bernstein play central roles; the local Langlands correspondence relates these local representations to Weil–Deligne group representations investigated by Pierre Deligne and Guy Henniart.

L-functions and Langlands Correspondence

Associated L-functions—Hecke L-functions, Rankin–Selberg L-functions, and L-functions of cusp forms—encode arithmetic information and functional equations proven using integral representations devised by Robert Rankin and Atle Selberg. The Langlands correspondence predicts a match between automorphic representations and homomorphisms from Galois groups or Weil groups into dual groups; landmark confirmations include the modularity results for elliptic curves by Andrew Wiles and Richard Taylor and the work of Michael Harris and Richard Taylor on higher rank. Analytic properties of L-functions, such as meromorphic continuation and special value formulas conjectured by Don Zagier and proved in cases by Pierre Deligne and Kazuya Kato, drive deep arithmetic consequences linked to Bloch–Kato conjecture.

Applications and Connections

Automorphic forms impact proofs and conjectures across number theory and geometry: the modularity of elliptic curves used in the proof of Fermat's Last Theorem; trace formulas applied to counting problems in arithmetic manifolds; and the study of quantum chaos through connections to eigenfunctions on Riemann surfaces inspired by Atle Selberg. They interface with Representation theory of p-adic groups, arithmetic of Shimura varietys studied by Michael Harris and Richard Taylor, and constructions in Algebraic geometry by Pierre Deligne and Goro Shimura linking periods and motives.

Notable Results and Open Problems

Notable milestones include Hecke's work on L-series, Selberg's trace formula, Langlands' conjectures, and Wiles–Taylor modularity theorems for elliptic curves. Open problems include the general reciprocity conjecture of Robert Langlands, the analytic continuation and location of zeros for high-rank L-functions related to generalized Riemann hypothesis conjectures studied by Bernhard Riemann's successors, and the full understanding of multiplicity in the discrete spectrum addressed by James Arthur. Other active fronts involve the conjectural links between automorphic periods and motivic cohomology formulated by Grothendieck-inspired programs and specific cases tested by computational work of William Stein and collaborators.

Category:Automorphic forms