# Representation Theory Background ## Symmetry and Linear Actions Representation theory studies abstract algebraic objects by expressing them as linear transformations of vector spaces. The guiding principle is simple: complicated algebraic structures become more understandable when realized concretely as matrices. If $G$ is a group and $V$ is a vector space over a field $k$, a representation of $G$ on $V$ is a homomorphism $$ \rho:G\to\operatorname{GL}(V), $$ where $$ \operatorname{GL}(V) $$ is the group of invertible linear transformations of $V$. When a basis for $V$ is chosen, the representation becomes a homomorphism into invertible matrices: $$ \rho:G\to\operatorname{GL}_n(k). $$ Thus group elements act as matrices. Representation theory converts abstract algebra into linear algebra. ## Basic Examples ### Cyclic Groups Let $$ G=\mathbb{Z}/n\mathbb{Z}. $$ A one-dimensional complex representation is determined by a root of unity: $$ \rho(1)=\zeta_n, $$ where $$ \zeta_n^n=1. $$ Every element acts by multiplication by powers of $\zeta_n$. These representations are called characters. ### Permutation Representations Suppose a group $G$ acts on a finite set $$ X=\{x_1,\ldots,x_n\}. $$ Then $G$ acts on the vector space $$ k^n $$ by permuting basis vectors. This gives a representation $$ G\to\operatorname{GL}_n(k). $$ Permutation representations appear naturally throughout algebra and number theory. ### Matrix Groups The group $$ \operatorname{GL}_n(k) $$ already acts naturally on $$ k^n. $$ This is called the standard representation. Many advanced representations arise by constructing new vector spaces from this basic action. ## Invariant Subspaces A subspace $$ W\subseteq V $$ is invariant under a representation if $$ \rho(g)(W)\subseteq W $$ for all $g\in G$. If no nontrivial invariant subspaces exist, the representation is irreducible. Irreducible representations are the fundamental building blocks of representation theory. The general philosophy resembles prime factorization: - groups decompose into simple representations, - representations decompose into irreducible pieces. Understanding irreducible representations is therefore a central problem. ## Direct Sums and Decomposition If $$ V=V_1\oplus V_2, $$ and both subspaces are invariant, then the representation decomposes as $$ \rho=\rho_1\oplus\rho_2. $$ In matrix form, the action becomes block diagonal: $$ \rho(g)= \begin{pmatrix} \rho_1(g) & 0 \\ 0 & \rho_2(g) \end{pmatrix}. $$ For finite groups over fields of characteristic zero, every representation decomposes into irreducible representations. This is Maschke’s theorem. ## Characters The character of a representation is the function $$ \chi_\rho(g)=\operatorname{Tr}(\rho(g)). $$ Characters contain remarkable information about representations. Important properties include: - characters are constant on conjugacy classes, - irreducible characters satisfy orthogonality relations, - characters determine representations over $\mathbb{C}$. Character theory transforms representation theory into harmonic analysis on groups. ## Representations of Lie Groups Many groups in number theory are continuous rather than finite. Examples include: $$ \operatorname{GL}_n(\mathbb{R}), \qquad \operatorname{SL}_2(\mathbb{R}), \qquad \operatorname{GL}_n(\mathbb{Q}_p). $$ These are Lie groups or locally compact groups. Representations of such groups are usually infinite-dimensional and require analytic methods. Smoothness, continuity, Hilbert spaces, and unitary structures become essential. This transition from finite-dimensional algebra to infinite-dimensional analysis is one of the major themes of modern representation theory. ## Representations of Galois Groups Arithmetic geometry studies representations of Galois groups. Let $$ K $$ be a field with algebraic closure $$ \overline{K}. $$ Its absolute Galois group is $$ \operatorname{Gal}(\overline{K}/K). $$ A Galois representation is a homomorphism $$ \rho: \operatorname{Gal}(\overline{K}/K) \to \operatorname{GL}_n(E), $$ where $E$ is often: - $\mathbb{Q}_\ell$, - $\mathbb{Z}_\ell$, - $\mathbb{C}$, - finite fields. These representations encode arithmetic information. For example, elliptic curves produce Galois representations through their torsion points and étale cohomology. ## Automorphic Representations Modern number theory also studies representations of adelic groups such as $$ \operatorname{GL}_n(\mathbb{A}_K), $$ where $$ \mathbb{A}_K $$ is the adele ring of a number field. Automorphic forms naturally organize into representations of these groups. This perspective unifies: - modular forms, - harmonic analysis, - arithmetic geometry, - spectral theory. Automorphic representations are central objects in the Langlands program. ## Tensor Products and Duals Representations may be combined algebraically. If $$ V $$ and $$ W $$ are representations of $G$, their tensor product becomes a representation via $$ g(v\otimes w) = gv\otimes gw. $$ Dual representations are defined on the dual vector space $$ V^\ast. $$ These constructions allow new representations to be built systematically from old ones. Such operations are fundamental in modern arithmetic geometry and motivic theory. ## Representation Theory in Number Theory Representation theory appears throughout modern number theory: | Number-Theoretic Object | Associated Representation | |---|---| | Modular form | Automorphic representation | | Elliptic curve | Galois representation | | Finite field extensions | Permutation representation | | Frobenius actions | Linear operators | | Étale cohomology | Galois modules | This correspondence allows arithmetic questions to be studied through spectral and linear methods. ## Conceptual Importance Representation theory provides a language for symmetry. Instead of studying groups directly, one studies how groups act on vector spaces. This converts algebraic structure into matrices, operators, eigenvalues, and invariant subspaces. Modern arithmetic geometry depends heavily on this viewpoint. The Langlands program, automorphic forms, modularity theorems, and étale cohomology all rely fundamentally on representations. Representation theory therefore serves as one of the principal bridges connecting algebra, geometry, analysis, and number theory.