Table of Contents
Fetching ...

Motivic (Representation) Stability of Representation Varieties and Character Stacks

Márton Hablicsek, Jesse Vogel

TL;DR

This work develops a motivic analogue of representation stability by placing representation varieties and character stacks into Grothendieck rings and Ekedahl's stack variant, then analyzes their asymptotics under genus, free-group rank, and rank growth. The authors formulate conjectures for surface groups, free groups, and free abelian groups, and verify them in several cases (notably $G=\mathrm{GL}_r$, $\mathrm{SL}_r$, and certain upper-triangular groups) using motivic decompositions, induction/restriction, and topological quantum field theory techniques. Key contributions include a detailed framework for motivic stability across varieties and stacks, a decomposition by representations, and explicit computations for commuting tuples that illuminate when motivic representation stability holds or fails. The results advance the understanding of how algebraic and cohomological representations stabilize motivically and connect to classical stability theorems, offering algebraic tools for studying representation varieties and character stacks in high-rank or high-genus regimes.

Abstract

In this paper, we introduce the notions of motivic representation stability that is an algebraic counterpart of the notion of representation stability. In the process, we also introduce the notion of motivic decomposition for varieties equipped with an action of a finite group $G$. This motivic decomposition decomposes the virtual class of the variety with respect to irreducible rational representations of $G$. We also formulate conjectures on motivic representation stability in the context of representation varieties and character stacks, and we verify the conjectures for groups whose virtual classes have been extensively studied.

Motivic (Representation) Stability of Representation Varieties and Character Stacks

TL;DR

This work develops a motivic analogue of representation stability by placing representation varieties and character stacks into Grothendieck rings and Ekedahl's stack variant, then analyzes their asymptotics under genus, free-group rank, and rank growth. The authors formulate conjectures for surface groups, free groups, and free abelian groups, and verify them in several cases (notably , , and certain upper-triangular groups) using motivic decompositions, induction/restriction, and topological quantum field theory techniques. Key contributions include a detailed framework for motivic stability across varieties and stacks, a decomposition by representations, and explicit computations for commuting tuples that illuminate when motivic representation stability holds or fails. The results advance the understanding of how algebraic and cohomological representations stabilize motivically and connect to classical stability theorems, offering algebraic tools for studying representation varieties and character stacks in high-rank or high-genus regimes.

Abstract

In this paper, we introduce the notions of motivic representation stability that is an algebraic counterpart of the notion of representation stability. In the process, we also introduce the notion of motivic decomposition for varieties equipped with an action of a finite group . This motivic decomposition decomposes the virtual class of the variety with respect to irreducible rational representations of . We also formulate conjectures on motivic representation stability in the context of representation varieties and character stacks, and we verify the conjectures for groups whose virtual classes have been extensively studied.
Paper Structure (19 sections, 24 theorems, 87 equations)

This paper contains 19 sections, 24 theorems, 87 equations.

Key Result

Proposition 2.4

Let $G$ and $G'$ be linear algebraic groups, and $\rho: G'\to G$ be a homomorphism of algebraic groups over $k$. Let $S$ be a variety over $k$. Then, the restricting the action provides a functor that descends to a map of rings Furthermore, let $H$ be a closed subgroup of $G$. Then, the induction functor defined by sending an $H$-variety $X$ over $S$ to the variety $(G\times X)/H$ descends to a

Theorems & Definitions (59)

  • Definition 2.1
  • Remark 2.2
  • Definition 2.3
  • Proposition 2.4
  • Definition 2.5
  • Corollary 2.6
  • Lemma 2.7: Proposition 4.2 in vakil2015discriminants
  • Definition 2.8
  • Remark 2.9
  • Definition 2.10
  • ...and 49 more