# Functoriality ## Transfers Between Symmetries The Langlands program predicts that many different arithmetic objects are connected by systematic transfers. These transfers are called functoriality. At a basic level, functoriality says that a relationship between symmetry groups should produce a relationship between automorphic representations. This principle turns scattered identities in number theory into instances of one general mechanism. Class field theory, base change, modularity, and many lifting theorems can all be viewed as special cases of functoriality. ## Dual Groups Let $$ G $$ be a reductive algebraic group. Langlands attaches to $G$ a complex dual group $$ {}^LG. $$ This dual group controls the Galois and representation-theoretic parameters attached to automorphic representations of $G$. For example, for $$ G=GL_n, $$ the dual group is again essentially $$ GL_n(\mathbb{C}). $$ For other groups, such as symplectic or orthogonal groups, the dual group changes type. This duality is one of the organizing ideas of the Langlands program. ## Statement of Functoriality Suppose there is a homomorphism of $L$-groups $$ {}^LG_1\to {}^LG_2. $$ The principle of functoriality predicts that automorphic representations of $$ G_1 $$ should transfer to automorphic representations of $$ G_2. $$ In symbolic form, one expects a map $$ \pi_1\mapsto \pi_2, $$ where $$ \pi_1 $$ is an automorphic representation of $G_1(\mathbb{A}_K)$, and $$ \pi_2 $$ is an automorphic representation of $G_2(\mathbb{A}_K)$. The transfer should preserve local Langlands parameters and $L$-functions. Thus functoriality says that maps between symmetry groups produce maps between arithmetic representations. ## Local Compatibility Automorphic representations decompose into local components: $$ \pi=\bigotimes_v \pi_v. $$ Functoriality should be compatible with this decomposition. At each place $v$, the local component $$ \pi_{1,v} $$ has a Langlands parameter. Composing this parameter with $$ {}^LG_1\to {}^LG_2 $$ should give the parameter of $$ \pi_{2,v}. $$ Thus the global transfer is assembled from local transfers. This compatibility is crucial because arithmetic information is distributed across all places of the field. ## Preservation of $L$-Functions One of the main ways to recognize functorial transfers is through $L$-functions. If $$ \pi_1 $$ transfers to $$ \pi_2, $$ then certain $L$-functions attached to $\pi_1$ should equal standard $L$-functions attached to $\pi_2$. For example, a symmetric square lift of a representation of $GL_2$ produces a representation of $GL_3$, and its standard $L$-function is the symmetric square $L$-function of the original representation. Thus functoriality turns new $L$-functions into standard ones on larger groups. This gives analytic continuation and functional equations in many cases. ## Base Change Base change is one of the most important examples of functoriality. Let $$ L/K $$ be an extension of number fields. An automorphic representation over $K$ may transfer to one over $L$. This is called base change. For example, a modular form over $\mathbb{Q}$ may correspond to an automorphic form over a number field $L$. Base change reflects the behavior of Galois representations under restriction: $$ \mathrm{Gal}(\overline{K}/L) \subseteq \mathrm{Gal}(\overline{K}/K). $$ Thus base change is the automorphic counterpart of restricting Galois symmetry. ## Automorphic Induction The reverse direction is called automorphic induction. Starting from an automorphic representation over an extension field $$ L, $$ one seeks an automorphic representation over the smaller field $$ K. $$ On the Galois side, this corresponds to inducing a representation from $$ \mathrm{Gal}(\overline{K}/L) $$ to $$ \mathrm{Gal}(\overline{K}/K). $$ Automorphic induction generalizes classical constructions involving theta series and Artin $L$-functions. ## Symmetric Power Lifts Let $$ \pi $$ be an automorphic representation of $$ GL_2. $$ The symmetric power representation $$ \mathrm{Sym}^m $$ of the dual group predicts a transfer $$ GL_2 \to GL_{m+1}. $$ Thus one expects an automorphic representation $$ \mathrm{Sym}^m\pi $$ on $$ GL_{m+1}. $$ These lifts are deeply important because they imply analytic properties of symmetric power $L$-functions. They also have applications to bounds toward the Ramanujan conjecture and arithmetic statistics. ## Tensor Product Lifts Given automorphic representations $$ \pi_1 \quad\text{and}\quad \pi_2 $$ on general linear groups, one may seek a tensor product lift. For example, $$ GL_m\times GL_n\to GL_{mn}. $$ This transfer corresponds on the Galois side to tensoring representations. The associated $L$-function is the Rankin-Selberg $L$-function: $$ L(s,\pi_1\times\pi_2). $$ Such $L$-functions are central in analytic number theory. ## Endoscopy Functoriality for classical groups often involves endoscopy. Endoscopy relates automorphic representations of one group to stable pieces of representations of smaller or related groups. This theory is technically difficult but essential for understanding automorphic spectra of symplectic, orthogonal, and unitary groups. Endoscopy played a major role in the proof of the fundamental lemma and in modern trace formula methods. ## Trace Formula Methods The trace formula is one of the main tools for proving functoriality. It compares two kinds of data: - spectral data from automorphic representations; - geometric data from orbital integrals. To establish a transfer, one often compares trace formulas for two different groups. This method is powerful but technically demanding. It has produced some of the most important known cases of functoriality. ## Functoriality and Reciprocity Functoriality generalizes reciprocity laws. In class field theory, reciprocity relates abelian Galois groups to idele class characters. In Langlands theory, functoriality extends this relationship to nonabelian groups and higher-dimensional representations. Thus functoriality is not merely a technical conjecture. It is the nonabelian form of arithmetic reciprocity. ## Consequences Functoriality would imply many major results, including: - analytic continuation of broad classes of $L$-functions; - functional equations; - generalized Ramanujan-type bounds; - new modularity theorems; - deep relations among arithmetic varieties. Many famous conjectures in number theory can be interpreted as consequences of functoriality. This is why it is regarded as one of the central pillars of the Langlands program. ## Current Status Functoriality is known in many important cases, especially for general linear groups and certain classical groups. However, the full principle remains far beyond current methods. Progress often requires major new tools in: - trace formulas; - harmonic analysis; - algebraic geometry; - representation theory. Each proved case tends to unlock new arithmetic consequences. ## Importance in Modern Number Theory Functoriality is the mechanism by which the Langlands program organizes arithmetic. It predicts that maps between symmetry groups control transfers between automorphic worlds. Through these transfers, $L$-functions, Galois representations, modularity, and reciprocity laws become parts of one coherent structure. In modern number theory, functoriality is the language for explaining why different arithmetic objects secretly describe the same symmetries.