Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.39721

Unipotent representations and the categorical trace of Frobenius

Wyatt Reeves
View original source ↗Read source document ↗Export metadata ↓

Abstract

We give a new proof of the classification of unipotent representations for split finite groups of Lie type. To do this, we first construct an (infinity, 2)-categorification of Lusztig's map from the Hecke algebra to the asymptotic algebra. Then we use the theory of weights to show that it induces an isomorphism after applying trace of Frobenius.

Explore related subjects

math.RTmath.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Wyatt Reeves. 2026-09-30. Unipotent representations and the categorical trace of Frobenius. https://arxiv.org/abs/2609.39721

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Bethe subalgebras in Yangians and Kirillov-Reshetikhin crystals

Let $\mathfrak{g}$ be a simple finite-dimensional Lie algebra and $G$ its adjoint group. For each $C\in G$, we consider the Bethe subalgebra $B(C)\subset Y(\mathfrak{g})$, a commutative subalgebra encoding the integrals of the generalized $XXX$ spin chain. Adapting the construction of arXiv:1708.05105 of $\mathfrak{g}$-crystals on spectra of inhomogeneous Gaudin subalgebras in $U(\mathfrak{g})$, we construct a natural $\hat{\mathfrak{g}}$-crystal structure on the spectra of $B(C)$ in Kirillov--Reshetikhin $Y(\mathfrak{g})$-modules in type $A$. We conjecture that such a construction exists for arbitrary $\mathfrak{g}$ and recovers Kirillov--Reshetikhin crystals. The main technical ingredient is a degeneration of Bethe subalgebras $B(C)$ to commutative subalgebras $\mathcal{A}_χ^{\mathrm{u}} \subset U(\mathfrak{g}[t])$, depending on $χ\in\mathfrak{g}$. We call these subalgebras universal inhomogeneous Gaudin subalgebras and show that they arise from the Feigin--Frenkel center at the critical level. This allows us to identify the affine crystals above with Kirillov--Reshetikhin crystals. We then apply these results to prove the monodromy conjecture of Ilin and the second and third authors for the spectra of the algebras $B(C)$ and for the spectra of quantum cohomology rings of type $A$ quiver varieties.

math.RT↗
arXiv2026

Balanced pairs, virtually Gorenstein rings, and cotorsion torsion triples

For any ring $R$, we investigate balanced pairs of classes of modules and their relations to cotorsion triples. We characterize the special balanced pairs that fit into complete hereditary cotorsion triples. As an application, we prove that Gorenstein projective and Gorenstein injective modules form a balanced pair, if and only if $R$ is right virtually Gorenstein. We also characterize the tilting and cotilting cotorsion pairs arising from balanced pairs. In [4], cotorsion torsion triples in abelian categories were employed in the representation theory of rectangular grids occurring in persistent homology theory. For module categories, we use infinite dimensional tilting theory to completely classify all cotorsion torsion triples by means of $1$-resolving subcategories of $\rfmod R$, and to give an explicit 1-1 correspondence between the formally dual notions of cotorsion torsion triples of right $R$-modules and torsion cotorsion triples of left $R$-modules. This correspondence is bijective in case the underlying ring $R$ is left noetherian, but not in general.

math.RT↗
arXiv2026

$q$-Oper Structures on a Formal Punctured Disc

Let $G$ be a connected reductive complex algebraic group and let $q\in\mathbb{C}^{\times}$ be not a root of unity. We prove that every $(G,q)$-connection on a formal punctured disc admits a $(G,q)$-oper structure.

math.RT↗