# Automorphic Representations ## From Automorphic Forms to Representations Classically, number theory studied special analytic functions such as modular forms. These functions satisfy strong symmetry conditions under actions of arithmetic groups. Modern theory reformulates these objects representation-theoretically. Instead of studying individual functions directly, one studies the spaces generated by their symmetries. The resulting objects are called automorphic representations. This shift from functions to representations is one of the major conceptual advances of twentieth-century mathematics. Automorphic representations unify: - modular forms, - harmonic analysis, - representation theory, - arithmetic geometry, - the Langlands program. ## Classical Modular Forms Consider the upper half-plane $$ \mathbb{H} = \{z\in\mathbb{C}:\operatorname{Im}(z)>0\}. $$ The group $$ \operatorname{SL}_2(\mathbb{Z}) $$ acts on $\mathbb{H}$ by fractional linear transformations: $$ z\mapsto\frac{az+b}{cz+d}. $$ A modular form of weight $k$ is a holomorphic function $$ f:\mathbb{H}\to\mathbb{C} $$ satisfying $$ f\left(\frac{az+b}{cz+d}\right) = (cz+d)^k f(z) $$ together with suitable growth conditions. These functions encode deep arithmetic information. Modern representation theory interprets modular forms as vectors inside certain representations of adelic groups. ## Adelic Viewpoint Let $G$ be a reductive algebraic group over a number field $K$. Examples include: $$ \operatorname{GL}_n, \qquad \operatorname{SL}_n, \qquad \operatorname{Sp}_{2n}. $$ Instead of working separately over: - the real numbers, - $p$-adic numbers, - finite primes, modern theory combines all completions simultaneously using the adele ring $$ \mathbb{A}_K. $$ An automorphic form becomes a function on $$ G(\mathbb{A}_K). $$ This adelic formulation unifies local and global arithmetic structures. ## Automorphic Functions An automorphic form on $$ G(\mathbb{A}_K) $$ is a function satisfying: 1. invariance under $G(K)$, 2. suitable smoothness conditions, 3. moderate growth conditions, 4. finiteness properties under compact subgroups. For example, one studies functions $$ f:G(K)\backslash G(\mathbb{A}_K)\to\mathbb{C}. $$ The quotient $$ G(K)\backslash G(\mathbb{A}_K) $$ contains arithmetic information analogous to modular curves and locally symmetric spaces. ## Right Translation and Representations The group $$ G(\mathbb{A}_K) $$ acts naturally on automorphic forms by right translation: $$ (R(g)f)(x)=f(xg). $$ The vector space generated by these translates becomes a representation of $$ G(\mathbb{A}_K). $$ Irreducible constituents of this action are automorphic representations. Thus automorphic representations arise naturally from harmonic analysis on arithmetic quotients. ## Tensor Product Decomposition A fundamental theorem states that automorphic representations factor into local pieces. If $$ \pi $$ is an automorphic representation, then $$ \pi = \bigotimes_v \pi_v, $$ where $v$ runs over all places of $K$. Each local factor $$ \pi_v $$ is a representation of the local group $$ G(K_v). $$ This decomposition reflects the local-global principle central to number theory. The infinite places contribute analytic structure, while finite places encode arithmetic behavior modulo primes. ## Cuspidal Representations Among automorphic representations, cuspidal representations are the most important. They correspond to highly nontrivial automorphic forms with strong decay properties. Cuspidal representations behave analogously to prime numbers in arithmetic. General automorphic representations are often built from cuspidal ones through induction and decomposition. Most deep arithmetic phenomena involve cuspidal automorphic representations. ## Hecke Operators Automorphic forms are acted upon by Hecke operators. For modular forms, these operators encode arithmetic information about primes. Eigenfunctions of Hecke operators satisfy relations such as $$ T_p f=a_p f. $$ The coefficients $$ a_p $$ often determine Euler products and $L$-functions. Representation-theoretically, Hecke operators correspond to convolution operators in harmonic analysis on adelic groups. Their simultaneous eigenvectors generate automorphic representations. ## Automorphic $L$-Functions Every automorphic representation gives rise to an $L$-function. For $$ \pi=\bigotimes_v \pi_v, $$ one defines $$ L(s,\pi) = \prod_v L(s,\pi_v). $$ These $L$-functions generalize: - the Riemann zeta function, - Dirichlet $L$-functions, - Hasse-Weil $L$-functions. They satisfy conjectural analytic properties such as: - meromorphic continuation, - functional equations, - boundedness in vertical strips. Automorphic $L$-functions are central objects in modern analytic number theory. ## Example: Modular Forms and $\operatorname{GL}_2$ Classical modular forms correspond to automorphic representations of $$ \operatorname{GL}_2(\mathbb{A}_{\mathbb{Q}}). $$ If $$ f(z)=\sum_{n=1}^\infty a_n q^n $$ is a Hecke eigenform, then the coefficients $a_p$ determine local representation data. The associated $L$-function becomes $$ L(s,f) = \prod_p \frac{1}{1-a_p p^{-s}+\chi(p)p^{k-1-2s}}. $$ This connection between modular forms and automorphic representations is one of the foundations of the Langlands program. ## Automorphic Representations and Galois Theory One of the deepest themes in modern number theory is the relationship between: - automorphic representations, - Galois representations. The Langlands philosophy predicts correspondences between these two worlds. For example: | Automorphic Side | Galois Side | |---|---| | Automorphic representation | Galois representation | | Hecke eigenvalues | Frobenius eigenvalues | | Automorphic $L$-function | Artin or motivic $L$-function | The proof of Fermat’s Last Theorem relied crucially on establishing part of this correspondence for elliptic curves and modular forms. ## Spectral Theory Automorphic representations also arise naturally in spectral analysis. Spaces such as $$ L^2(G(K)\backslash G(\mathbb{A}_K)) $$ decompose into irreducible representations much like Fourier analysis decomposes functions into frequencies. This spectral decomposition connects: - harmonic analysis, - ergodic theory, - geometry, - arithmetic. Trace formulas and spectral expansions become powerful arithmetic tools. ## Conceptual Importance Automorphic representations provide a unified language for arithmetic symmetry. They reinterpret classical objects such as modular forms inside representation theory and harmonic analysis. This perspective reveals hidden structures linking: - prime numbers, - algebraic varieties, - Galois groups, - spectral theory, - geometry. Modern number theory increasingly views automorphic representations as fundamental arithmetic objects governing large portions of the subject.