Search arXivSearch

arXiv · 1212.0021

Forced gradings and the Humphreys-Verma conjecture

Abstract

Let $G$ be a semisimple, simply connected algebraic group defined and split over a prime field ${\mathbb F}_p$ of positive characteristic. For a positive integer $r$, let $G_r$ be the $r$th Frobenius kernel of $G$. Let $Q$ be a projective indecomposable (rational) $G_r$-module. The well-known Humprheys-Verma conjecture (cf. \cite{Ballard}) asserts that the $G_r$-action on $Q$ lifts to an rational action of $G$ on $Q$. For $p\geq 2h-2$ (where $h$ is the Coxeter number of $G$), this conjecture was proved by Jantzen in 1980, improving on early work of Ballard. However, it remains open for general characteristics. In this paper, the authors establish several graded analogues of the Humphreys-Verma conjecture, valid for all $p$. The most general of our results, proved in full here, was announced (without proof) in an earlier paper. Another result relates the Humphreys-Verma conjecture to earlier work of Alperin, Collins, and Sibley on finite group representation theory. A key idea in all formulations involves the notion of a forced grading. The latter goes back, in particular, to the recent work of the authors, relating graded structures and $p$-filtrations. The authors anticipate that the Humphreys-Verma conjecture results here will lead to extensions to smaller characteristics of these earlier papers.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Brian Parshall, Leonard Scott. 2012-11-30. Forced gradings and the Humphreys-Verma conjecture. https://arxiv.org/abs/1212.0021

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

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT