--- title: Representation Stability url: https://www.emergentmind.com/topics/representation-stability type: topic --- # Representation Stability Searching arXiv for recent and foundational papers on representation stability. Representation stability is a phenomenon in which a sequence of objects carrying compatible actions of the symmetric groups \(S_n\) exhibits stabilization when viewed through the lens of representation theory. In the basic form introduced by Church–Farb, the irreducible constituents, multiplicities, and eventually the characters of the associated \(S_n\)-representations stop changing after the standard padding operation on partitions; in the FI-module framework of Church–Ellenberg–Farb, this stabilization is controlled by finite generation of a single functorial object rather than by ad hoc arguments for each degree [1404.4065][1008.1368]. ## 1. Definition and basic paradigm A consistent sequence of \(S_n\)-representations consists of representations \(V_n\) together with equivariant maps \[ \phi_n: V_n \to V_{n+1} \] for the standard inclusions \(S_n \hookrightarrow S_{n+1}\). Uniform representation stability packages stabilization into three conditions: for all \(n\) beyond some stable range, \(\phi_n\) is injective, the \(S_{n+1}\)-span of \(\phi_n(V_n)\) is all of \(V_{n+1}\), and multiplicities of fixed-shape irreducibles stabilize [1404.4065]. For symmetric groups, irreducibles are indexed by partitions. If \(\lambda\) is a partition of some integer \(d\), the standard padding operation is \[ \lambda[n] := (\,n-|\lambda|,\ \lambda_1,\ \lambda_2,\ \dots\,), \] defined when \(n \ge |\lambda|+\lambda_1\). Representation stability asks that in decompositions \[ V_n \cong \bigoplus_{\lambda \vdash n} c_\lambda(n)\,V_\lambda, \] the multiplicities \(c_{\lambda[n]}(n)\) become independent of \(n\) for all large \(n\) [1404.4065]. This perspective refines classical homological stability. For many natural sequences, dimensions do not stabilize at all, but their decomposition into irreducibles does. Configuration spaces are the standard example: \(H^i(\mathrm{Conf}_n(\mathbb{C});\mathbb{C})\) grows with \(n\), yet its \(S_n\)-representation structure stabilizes [1404.4065]. Church–Farb’s original paper also emphasized that the same pattern occurs in pure braid groups, Torelli-type settings, Lie algebras, flag varieties, Schubert varieties, and diagonal coinvariant phenomena [1008.1368]. An early prototype is Murnaghan’s theorem on Kronecker coefficients: for fixed partitions \(\lambda,\mu\), the tensor products \(V(\lambda)_n \otimes V(\mu)_n\) admit stabilized decompositions for sufficiently large \(n\) [1404.4065]. This is one of the motivating examples showing that stabilization is fundamentally representation-theoretic rather than merely homological. ## 2. FI-modules and quantitative invariants The category \(\mathrm{FI}\) has finite sets as objects and injections as morphisms. An FI-module over a field \(k\) is a functor \[ V:\mathrm{FI}\to \mathrm{Mod}_k,\qquad V_n:=V([n]). \] Because \(\mathrm{End}_{\mathrm{FI}}([n]) \cong S_n\), each \(V_n\) is naturally a \(k[S_n]\)-module, and the whole sequence \((V_n)\) with all injection-induced maps is encoded functorially [1404.4065]. The central theorem in characteristic \(0\) is the equivalence between finite generation and uniform representation stability: if each \(V_n\) is finite-dimensional, then an FI-module is finitely generated if and only if the associated sequence is uniformly representation stable [1404.4065]. This converts an infinite family of stability statements into a finite-generation problem. Several numerical invariants control stable behavior. The survey literature organizes them as generation degree, relation degree, weight, and stability degree. Weight bounds the sizes of partitions that can appear in \(V_n\), while stability degree governs when appropriate coinvariants stabilize [1404.4065][1603.01560]. In characteristic \(0\), finite generation further implies eventual character polynomiality: there exist \(N\) and a polynomial \(P(X_1,\dots,X_r)\) such that for all \(n\ge N\) and all \(g\in S_n\), \[ \chi_{V_n}(g)=P\bigl(X_1(g),X_2(g),\dots,X_r(g)\bigr), \] where \(X_i(g)\) is the number of \(i\)-cycles of \(g\). Consequently, \[ \dim_k V_n=\chi_{V_n}(\mathrm{id})=P(n,0,\dots,0) \] for all sufficiently large \(n\) [1404.4065]. The FI formalism also supports induced modules, filtrations, spectral sequences, and Noetherian arguments. The Noetherian property of finitely generated FI-modules over Noetherian rings is the structural input allowing one to pass finite generation through submodules, quotients, and spectral-sequence pages [1404.4065]. This is the mechanism behind a large part of the subject’s reach. ## 3. Canonical families and stable ranges Configuration spaces remain the standard testing ground. If \(M\) is a connected oriented manifold with \(\dim M\ge 2\) and \(H^*(M;\mathbb{Q})\) finite-dimensional, then for fixed \(i\), the sequence \(H^i(\mathrm{Conf}_n(M);\mathbb{Q})\) is uniformly representation stable. The stable range is \(n\ge 2i\) when \(\dim M\ge 3\) and \(n\ge 4i\) when \(\dim M=2\); for \(M=\mathbb{C}\), this specializes to the pure braid group \(P_n\) and the same stable range \(n\ge 4i\) [1404.4065]. Representation stability also appears in moduli problems. The FI-module \(H^i(M_{g,n};\mathbb{Q})\) is finitely generated for fixed genus \(g\) and degree \(i\), yielding stability and character polynomiality in the number of marked points [1404.4065]. Related results extend to tautological rings and pure mapping class groups in the same framework [1404.4065]. Homotopy automorphism groups furnish another family with explicit bounds. For a simply connected pointed space \(X\) of finite CW-type, the rational homotopy groups \[ S \longmapsto \pi_k(\mathrm{HAut}_*(X_S))\otimes \mathbb{Q} \] form finitely generated FI-modules. If \(H_n(X;\mathbb{Q})=0\) for \(n\ge d\), then the weight is at most \(k+d-1\) and the stability degree at most \(k+d\), so uniform representation stability holds for \[ n\ge 2k+2d-1. \] For boundary-relative homotopy automorphisms of iterated connected sums \(M_n=\#^n M\setminus \mathring{D}^d\), the corresponding FI-module has weight at most \(k+d-2\) and stability degree at most \(k+d-1\), giving stable range \[ n\ge 2k+2d-3 \] [2105.11325]. These examples illustrate a characteristic feature of the subject: raw cohomology or homotopy groups often grow rapidly, but the sequence of irreducible types that occur, together with their multiplicities, becomes rigid. ## 4. The pure cactus group as a case study A particularly explicit application is the pure cactus group. Let \[ M_n:=\overline{\mathcal{M}_{0,n}(\mathbb{R})}, \] the real locus of the Deligne–Mumford compactification of the moduli space of genus-\(0\) curves with \(n\) labeled marked points, and let \[ \Gamma_n=\pi_1\bigl(\overline{\mathcal{M}_{0,n}(\mathbb{R})}\bigr). \] The spaces \(M_n\) form a co-FI-space via forgetful morphisms \( \phi_f:M_n\to M_m\) induced by injections \(f:[m]\hookrightarrow [n]\), and therefore the cohomology groups \(H^i(M_n;\mathbb{Q})\cong H^i(\Gamma_n;\mathbb{Q})\) assemble into FI-modules [1501.02835]. The main theorem is uniform representation stability in every fixed cohomological degree: \[ \{H^i(M_n;\mathbb{Q})\}_n \text{ is uniformly representation stable for all } i\ge 0, \] with stability holding for \[ n\ge 6i. \] The proof computes the key FI-module invariants: - \(H^i(M_\bullet;\mathbb{Q})\) is finitely generated; - generating degree \(\le 3i+1\); - weight \(\le 3i\); - stability degree \(\le 3i\). By Church–Ellenberg–Farb theory, the stable range is therefore \(n\ge 3i+3i=6i\), and for \(n\ge 6i\) the character is given by a unique character polynomial \(P_i(X_1,X_2,\dots)\) of degree at most \(3i\). In particular, \[ \dim H^i(M_n;\mathbb{Q})=p_i(n) \] is eventually a polynomial in \(n\) of degree at most \(3i\) [1501.02835]. The cohomology ring is especially concrete. Etingof–Henriques–Kamnitzer–Rains identify \[ H^*(M_n;\mathbb{Q})\cong \Lambda_n, \] the skew-commutative algebra generated in degree \(1\) by antisymmetric symbols \(w_{ijkl}\), subject to the five-term relation \[ w_{ijkl}+w_{jklm}+w_{klmi}+w_{lmij}+w_{mijk}=0 \] and the quadratic relation \[ w_{ijkl}\,w_{ijkm}=0. \] The \(S_n\)-action is by index permutation. Moreover, \(H^*(M_n;\mathbb{Q})\) is generated multiplicatively by \(H^1(M_n;\mathbb{Q})\), and a generating set for \(H^1\) is \(\{w_{1ijk}\mid 1d\), then one gets vanishing lines for central stability homology and explicit generation and presentation-degree bounds for sequences such as \(H_i(N_n;A_n)\) arising from stability short exact sequences [1910.05574]. Representation stability also interacts fruitfully with geometry of arrangements. For a category \(C\) of FI type, a continuous, normal, finitely generated \(C\)-arrangement has cohomology groups \[ V_\bullet^i=\Ho^i(\mathcal{M}_{\mathcal{A}})_\bullet \] that are free, finitely generated \(C\)-modules. Over characteristic \(0\), their characters are generalized character polynomials, and multiplicities stabilize in ranges controlled by the generating degree of the arrangement family [1603.08547]. The same organizing principle extends even farther. Diagram algebras admit stability categories \(C_A\) for the Temperley–Lieb, Brauer, and partition algebras; under semisimplicity assumptions, finitely presented \(C_A\)-modules exhibit explicit representation stability ranges depending on generation and relation degrees [2009.06346]. Motivic representation stability replaces stabilized multiplicities of irreducibles by stabilized motivic multiplicities in Grothendieck rings, with conjectures and verified cases for representation varieties and character stacks [2505.06879]. For families of outer automorphism groups, the abelian categories \(\mathcal{A}\mathcal{U}\) generalize VI-modules and support analogues of local Noetherianity, central stability, and eventual injectivity/surjectivity along epimorphism diagrams [2102.06410]. ## 6. Higher-order forms, sharp ranges, and current directions The subject has also developed refinements that detect structure beyond first-order FI-stability. Miller–Wilson introduced secondary representation stability for ordered configuration spaces of noncompact manifolds. Instead of stabilizing by adding a single point, one stabilizes by adding a pair of orbiting points, and the resulting algebraic structure is organized by modules over the twisted skew-commutative algebra \(\bigwedge(^2R)\), equivalently by the enriched category \(\mathrm{FIM}^+\) [1611.01920]. This is a representation-theoretic analogue of secondary homological stability. Sharp stability ranges have become a theme in their own right. For marked graph complexes \(B(g,n,r)\), one has a sharp conjugate representation-stability result: \[ B(g,n,n-\ell)\otimes \mathrm{sgn}_n \] stabilizes sharply at \[ n=\Bigl\lfloor \frac{3m}{2}\Bigr\rfloor,\qquad m:=3(g-1)+2\ell. \] Moreover, the chains realizing this sharp bound pass to non-trivial families of graph homology classes, and the genus-\(1\) case recovers Hersh–Reiner’s sharp stability for configuration spaces in odd-dimensional Euclidean space through Whitehouse modules [2505.05461]. Recent work also pushes the framework into new moduli problems. Ordered Hurwitz spaces provide an FI-like setting in which \(H_i(\mathrm{OHur}(n);K)\) has uniform multiplicity stability in a linear range \(n\ge \alpha i+\beta\) under the non-splitting hypothesis on \((G,c)\), together with eventual polynomiality of Betti numbers [2509.05516]. This suggests that the operative mechanism is broader than the original FI category, provided there is sufficient functoriality and a replacement for finite generation. Several limitations remain explicit in the literature. Exact stabilized multiplicities are often not computed even when stability is proved, as in the pure cactus group [1501.02835]. Character polynomiality over positive characteristic is subtler than in characteristic \(0\), though eventual polynomiality of dimensions persists for finitely generated FI-modules [1404.4065]. Open directions include computing explicit stable decompositions, extending Noetherian and character-polynomial theories to categories beyond FI, refining stable ranges, and understanding higher-order or motivic forms of stability in a uniform framework [1404.4065][2505.06879]. Representation stability has therefore developed from a precise asymptotic property of \(S_n\)-representations into a broad structural theory. Its unifying content is that sequences that look unstable on the level of dimensions often become rigid once one tracks the correct representation-theoretic coordinates: padded irreducibles, character polynomials, FI-type finite generation, and their higher or generalized analogues. Source: https://www.emergentmind.com/topics/representation-stability