automorphic functions

automorphic functions
Name	Automorphic functions
Field	Complex analysis; Harmonic analysis; Number theory
Introduced	19th century
Notable	Henri Poincaré; Felix Klein; Ernst Hecke; Erich Hecke; Emil Artin; Robert Langlands

automorphic functions are complex-valued functions invariant under a discrete group of biholomorphic transformations of a domain, originally studied on the Riemann sphere, upper half-plane, and other Riemann surfaces. They arose in the work of Henri Poincaré and Felix Klein in connection with uniformization, and later connected to the theories of Bernhard Riemann, Niels Henrik Abel, Carl Gustav Jacobi, Srinivasa Ramanujan, Andrey Kolmogorov and modern developments by Erich Hecke, Emil Artin, Atle Selberg, and Robert Langlands.

Definition and basic properties

An automorphic function is a meromorphic function f on a complex domain D satisfying f(g·z)=f(z) for every g in a discrete subgroup Γ of a Lie group G acting on D by Möbius transformations, such as Γ⊂PSL(2,R), SL(2,Z), GL(2,Q), PSL(2,C). Fundamental structural results link automorphic functions to quotient spaces D/Γ, orbifold structures studied by Felix Klein and Henri Poincaré, and compactifications used by Bernhard Riemann and David Hilbert. Invariance under Γ imposes functional equations and growth conditions analogous to those in the work of Erich Hecke, Atle Selberg, Harish-Chandra, and Ilya Piatetski-Shapiro. Important properties include analytic continuation, location of poles tied to the action of Γ, and behavior under parabolic, hyperbolic, and elliptic elements described by Felix Klein and Poincaré.

Examples and classical cases

Classical examples include functions invariant under the modular group SL(2,Z), such as Klein's j-invariant studied by Felix Klein and Henri Poincaré, Eisenstein series developed by Erich Hecke and Martin Eichler, and elliptic functions from the theory of Carl Gustav Jacobi and Niels Henrik Abel. Other notable cases are Fuchsian functions associated to Fuchsian groups in the work of Poincaré and Paul Painlevé, Kleinian functions tied to Felix Klein and Bernhard Riemann, and automorphic products introduced by Richard Borcherds. The theory of theta functions due to Carl Gustav Jacobi and Srinivasa Ramanujan provides additional classical instances; related constructions appear in the studies of André Weil, Hermann Weyl, David Mumford, and Igor Shafarevich.

Relation to modular forms and automorphic forms

Automorphic functions generalize modular forms studied by Erich Hecke and Ernst Hecke; modular forms are holomorphic automorphic forms with prescribed transformation weights under SL(2,Z), while automorphic forms appear in the representation-theoretic framework of Harish-Chandra, Roger Godement, and Robert Langlands. The Langlands program initiated by Robert Langlands links automorphic representations for reductive groups like GL(n), SL(n), Sp(2n), SO(n) to Galois representations studied by Emil Artin, Andrew Wiles, Pierre Deligne, John Tate, Richard Taylor, and Michael Harris. L-functions attached to automorphic forms, developed further by Atle Selberg, Hecke, Jacquet, Langlands, and Piatetski-Shapiro, connect to conjectures of Birch and Swinnerton-Dyer and modularity results associated with Andrew Wiles and Brian Conrad.

Analytical and geometric methods

Analytic approaches employ spectral theory and trace formulas from Atle Selberg and Dmitry Faddeev, potential theory from Riemann and Poincaré, and harmonic analysis on symmetric spaces as in Harish-Chandra and Elias Stein's work. Geometric methods use uniformization theorems of Henri Poincaré and Bernhard Riemann, moduli spaces studied by David Mumford and Pierre Deligne, and Teichmüller theory developed by Oswald Teichmüller and Lipman Bers. Tools include the Selberg trace formula, studied by Atle Selberg and extended by Dennis Hejhal; the theory of Eisenstein series from Erich Hecke and Maaß; and geometric compactifications due to Yuri Manin and Pierre Deligne.

Representation-theoretic and arithmetic aspects

Representation theory frames automorphic functions as matrix coefficients of admissible representations of reductive groups, following the work of Harish-Chandra, James Arthur, Ilya Piatetski-Shapiro, and Jacquet–Langlands correspondences. Arithmetic aspects tie to Galois representations and reciprocity laws formulated by Emil Artin, Jean-Pierre Serre, and Robert Langlands; congruences of coefficients studied by Ken Ribet and Barry Mazur; and integral models investigated by Gerard van der Geer and Brian Conrad. Deep results include modularity theorems proven by Andrew Wiles, Richard Taylor, and Conrad, Diamond, Taylor and reciprocity predictions in the Langlands conjectures relating automorphic spectra to arithmetic geometry from Pierre Deligne and Andrew Wiles.

Applications and historical development

Historically, Poincaré and Klein developed the subject while studying polyhedral groups and uniformization; later expansions by Erich Hecke, Atle Selberg, Harish-Chandra, and Robert Langlands connected the theory to spectral theory, trace formulas, and reciprocity. Applications range across the proof of modularity results by Andrew Wiles, analytic proofs in prime number theory influenced by Atle Selberg and Enrico Bombieri, string-theoretic uses by Edward Witten and Borisov–Libgober-type constructions, and mathematical physics problems treated by Ludvig Faddeev and Alexander Polyakov. Contemporary research spans the Langlands program, the arithmetic of L-functions studied by Peter Sarnak, Henryk Iwaniec, Ellenberg–Venkatesh collaborations, and geometric representation theory of George Lusztig and David Kazhdan.

Category:Complex analysis Category:Number theory Category:Representation theory