# Automorphic Representations ## From Functions to Representations Classical modular form theory begins with analytic functions satisfying symmetry conditions. Modern theory shifts perspective. Instead of studying individual functions directly, one studies the representations generated by these functions under group actions. This transition from functions to representations is one of the defining conceptual advances of twentieth-century mathematics. Automorphic representations provide the natural language for: - automorphic forms; - Hecke operators; - $L$-functions; - the Langlands program. They unify harmonic analysis and arithmetic symmetry into a single framework. ## Group Actions and Representation Theory Let $$ G $$ be a topological group. A representation of $G$ is a vector space $V$ together with an action $$ G\times V\to V $$ compatible with the group structure. Equivalently, one has a homomorphism $$ \pi:G\to GL(V). $$ Representation theory studies groups by understanding how they act linearly on vector spaces. For automorphic theory, the relevant groups are adelic groups such as $$ GL_n(\mathbb{A}_K). $$ Automorphic forms naturally generate representations of these groups. ## Automorphic Forms as Representation Spaces Let $K$ be a number field and let $$ G $$ be a reductive algebraic group. Consider the quotient space $$ G(K)\backslash G(\mathbb{A}_K). $$ Automorphic forms are functions on this quotient satisfying suitable regularity and growth conditions. The adelic group $$ G(\mathbb{A}_K) $$ acts on these functions by right translation: $$ (R(g)f)(x)=f(xg). $$ The span of all translates of a function forms a representation space. Irreducible subrepresentations arising in this way are called automorphic representations. Thus automorphic representations are the irreducible building blocks of automorphic forms. ## Irreducibility An automorphic representation is irreducible if it contains no nontrivial invariant subspaces. This mirrors the role of prime factorization in arithmetic. Complicated automorphic forms decompose into irreducible automorphic representations. The theory therefore seeks to classify these irreducible objects. This decomposition resembles spectral decomposition in harmonic analysis and quantum mechanics. ## Tensor Product Decomposition One of the remarkable properties of automorphic representations is their factorization into local pieces. An automorphic representation typically decomposes as $$ \pi = \bigotimes_v \pi_v, $$ where: - $v$ runs over all places of $K$; - $\pi_v$ is a representation of the local group $$ G(K_v). $$ Thus global automorphic representations are assembled from local representations. This local-global structure lies at the heart of the Langlands program. ## Unramified Representations At almost all places $v$, the representation $\pi_v$ is unramified. Roughly speaking, this means it contains vectors invariant under a maximal compact subgroup. Unramified representations are determined by Hecke eigenvalues. For example, for $$ GL_2(\mathbb{Q}_p), $$ unramified representations correspond to conjugacy classes in $$ GL_2(\mathbb{C}). $$ These local parameters become the building blocks of automorphic $L$-functions. ## Hecke Eigenforms and Automorphic Representations A classical Hecke eigenform determines an automorphic representation. For example, a normalized modular eigenform $$ f(z) = \sum a_n q^n $$ produces an automorphic representation of $$ GL_2(\mathbb{A}_{\mathbb{Q}}). $$ The Hecke eigenvalues determine the local components of the representation. Thus automorphic representations generalize classical modular forms into a representation-theoretic setting. ## Cuspidal Representations Cuspidal automorphic representations correspond to cusp forms. They contribute the discrete spectrum of automorphic spaces and possess especially rich arithmetic properties. Most arithmetic applications focus on cuspidal representations. Examples include: - modular forms of weight $k$; - Maass cusp forms; - automorphic representations associated with elliptic curves. Cuspidal representations are the fundamental arithmetic atoms of automorphic theory. ## Automorphic $L$-Functions Every automorphic representation possesses associated $L$-functions. If $$ \pi=\bigotimes_v\pi_v, $$ then its $L$-function factors into local Euler factors: $$ L(s,\pi) = \prod_v L(s,\pi_v). $$ These functions generalize: - the Riemann zeta function; - Dirichlet $L$-functions; - modular $L$-functions. Automorphic $L$-functions satisfy functional equations and analytic continuation in many important cases. Their analytic behavior reflects arithmetic structure. ## Satake Parameters For unramified local representations, Hecke operators are diagonalizable. The eigenvalues determine Satake parameters. For $$ GL_n, $$ the local Euler factor takes the form $$ L(s,\pi_p) = \prod_{i=1}^n (1-\alpha_{p,i}p^{-s})^{-1}, $$ where $$ \alpha_{p,i} $$ are Satake parameters. These parameters play the role of generalized Frobenius eigenvalues. They connect automorphic theory directly with Galois representations. ## Automorphic Representations and Galois Theory The Langlands philosophy predicts correspondences between: - automorphic representations; - Galois representations. For example, modular forms correspond to two-dimensional Galois representations. The coefficients of modular forms become traces of Frobenius elements: $$ a_p = \operatorname{tr}(\rho(\mathrm{Frob}_p)). $$ Thus automorphic representations encode arithmetic symmetry hidden inside Galois groups. This relationship is one of the deepest ideas in modern mathematics. ## Admissibility and Smoothness Local automorphic representations satisfy technical conditions such as admissibility and smoothness. These conditions ensure: - finite-dimensionality of invariant spaces; - manageable harmonic analysis; - compatibility with Hecke algebras. Such structures are essential for the analytic and algebraic theory. Representation theory therefore provides the correct structural language for automorphic forms. ## Spectral Decomposition The space $$ L^2(G(K)\backslash G(\mathbb{A}_K)) $$ admits spectral decomposition into automorphic representations. This resembles Fourier decomposition into irreducible frequencies. The spectrum consists of: - discrete spectrum; - continuous spectrum. Cuspidal representations contribute the discrete spectrum. Eisenstein series contribute the continuous spectrum. This spectral viewpoint dominates modern automorphic theory. ## Functoriality One of the central conjectures of the Langlands program is functoriality. It predicts transfers of automorphic representations between different groups. For example: - symmetric power lifts; - tensor product lifts; - base change. Functoriality generalizes reciprocity laws and modularity phenomena. Many major achievements in modern number theory are special cases of functoriality. ## Automorphic Representations in Modern Mathematics Automorphic representations now permeate modern arithmetic. They appear in: - modular forms; - trace formulas; - arithmetic geometry; - harmonic analysis; - quantum chaos; - mathematical physics. They provide the representation-theoretic framework unifying automorphic forms and Galois symmetry. Modern number theory increasingly interprets arithmetic through automorphic representations rather than individual functions or equations.