arXiv Science⌕ Search

arXiv · 2609.25148

Categorical representations of algebraic groups in positive characteristic

Abstract

In this paper we present a formalism of categorical representation theory for affine group schemes of finite type over fields (both in the weak and strong settings) which applies to arbitrary base fields. This is based on the development of an appropriate $\infty$-categorical setting for the study of representations and Harish-Chandra (bi)modules of such group schemes, which constitute the building blocks and basic examples of such structures. We also study categorical traces in this context, and show in particular that the categorical trace of the identity morphism, resp.~Frobenius morphism, on the appropriate $\infty$-category of representations of a connected reductive algebraic group $G$ over an algebraically closed field $k$ of positive characteristic identifies (under suitable assumptions) with the $\infty$-category of Ind-coherent sheaves on the adjoint quotient $G/G$, resp.~of the fixed points $G^{\mathrm{F}}$ of the Frobenius.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Pramod N. Achar, Gurbir Dhillon, Simon Riche. 2026-09-21. Categorical representations of algebraic groups in positive characteristic. https://arxiv.org/abs/2609.25148

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

KEEP EXPLORING

Related papers

Brion atoms for classical types

Let $G$ be a classical group defined over the complex numbers with a Borel subgroup $B$. Choose a holomorphic involution of $G$ and let $K$ be its set of fixed points. The group $K$ acts on the flag variety $G/B$ with finitely many orbits and Brion has derived a general formula for the cohomology classes of the corresponding orbit closures as linear combinations of Schubert classes. This article provides a uniform description of the sets of Weyl group elements (which we refer to as Brion atoms) that index the terms in this formula. We also include some applications of our classifications, including a refinement of Brion's cohomology formula.

math.RT↗

Singular equivalences of $n$-adjoint type and standard eventually homological isomorphisms

We refine the definition of eventually homological isomorphisms so that it becomes more natural and fruitful. We introduce singular equivalences of $n$-adjoint type which can be viewed as standard singular equivalences of different levels and are more convenient for reducing various homological conjectures and transferring homological properties. We develop the theories of singular equivalences of $n$-adjoint type for $n\ge 2$ and standard eventually homological isomorphisms between derived categories by giving their characterizations in terms of $\otimes$-(co)perfect complexes of bimodules, two constructions via opposite algebras and tensor product algebras, examples induced by homomorphisms of algebras and idempotents, and applications to the reduction of homological conjectures such as the finitistic dimension conjecture, Gorenstein symmetry conjecture and Auslander-Reiten conjecture, as well as to the preservation of homological properties such as Gorensteinness, the Fg condition, Happel's property and Han's property. Moreover, we show that essentially surjective standard eventually homological isomorphisms between derived categories correspond to standard singular equivalences with canonical left adjoint.

math.RT↗

The Casimir on the $K$-fixed tensor square of the minimal representation of $G_{2(2)}$

We compute the quadratic Casimir on the $K$-fixed subspace of the Hilbert tensor square of the unitary minimal representation of the split real group $G_{2(2)}$. In an explicit algebraic basis of invariant tensors, the Casimir acts by a three-term recurrence. Normalizing this basis yields a symmetric Jacobi operator whose self-adjoint realization is unitarily equivalent to multiplication by $-\frac92-8x^2$ in a Wilson-polynomial model with parameters $(\frac34,\frac34,\frac7{12},\frac{11}{12})$. We give the normalized spectral density and the unitary transform. The resulting spectrum is purely absolutely continuous, equals $(-\infty,-\frac92]$, and has scalar spectral multiplicity one.

math.RT↗