-
Nilpotent centralizers and good filtrations
Authors:
Pramod N. Achar,
William Hardesty
Abstract:
Let $G$ be a connected reductive group over an algebraically closed field $\Bbbk$. Under mild restrictions on the characteristic of $\Bbbk$, we show that any $G$-module with a good filtration also has a good filtration as a module for the reductive part of the centralizer of a nilpotent element $x$ in its Lie algebra.
Let $G$ be a connected reductive group over an algebraically closed field $\Bbbk$. Under mild restrictions on the characteristic of $\Bbbk$, we show that any $G$-module with a good filtration also has a good filtration as a module for the reductive part of the centralizer of a nilpotent element $x$ in its Lie algebra.
△ Less
Submitted 8 June, 2021;
originally announced June 2021.
-
Silting complexes of coherent sheaves and the Humphreys conjecture
Authors:
Pramod N. Achar,
William Hardesty
Abstract:
Let $G$ be a connected reductive algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p \ge 0$, and let $\mathcal{N}$ be its nilpotent cone. Under mild hypotheses, we construct for each nilpotent $G$-orbit $C$ and each indecomposable tilting vector bundle $T$ on $C$ a certain complex $S(C,T)$ of $G \times \mathbb{G}_m$-equivariant coherent sheaves on $\mathcal{N}$. We prov…
▽ More
Let $G$ be a connected reductive algebraic group over an algebraically closed field $\Bbbk$ of characteristic $p \ge 0$, and let $\mathcal{N}$ be its nilpotent cone. Under mild hypotheses, we construct for each nilpotent $G$-orbit $C$ and each indecomposable tilting vector bundle $T$ on $C$ a certain complex $S(C,T)$ of $G \times \mathbb{G}_m$-equivariant coherent sheaves on $\mathcal{N}$. We prove that these objects are (up to shift) precisely the indecomposable objects in the coheart of a certain co-$t$-structure.
We then show that if $p$ is larger than the Coxeter number, then the hypercohomology $H^\bullet(S(C,T))$ is identified with the cohomology of a tilting module for $G$. This confirms a conjecture of Humphreys on the support of the cohomology of tilting modules.
△ Less
Submitted 8 March, 2022; v1 submitted 8 June, 2021;
originally announced June 2021.
-
Co-$t$-structures on derived categories of coherent sheaves and the cohomology of tilting modules
Authors:
Pramod N. Achar,
William Hardesty
Abstract:
We construct a co-$t$-structure on the derived category of coherent sheaves on the nilpotent cone $\mathcal{N}$ of a reductive group, as well as on the derived category of coherent sheaves on any parabolic Springer resolution. These structures are employed to show that the push-forwards of the "exotic parity objects" along the (classical) Springer resolution give indecomposable objects inside the…
▽ More
We construct a co-$t$-structure on the derived category of coherent sheaves on the nilpotent cone $\mathcal{N}$ of a reductive group, as well as on the derived category of coherent sheaves on any parabolic Springer resolution. These structures are employed to show that the push-forwards of the "exotic parity objects" along the (classical) Springer resolution give indecomposable objects inside the coheart of the co-$t$-structure on $\mathcal{N}$. We also demonstrate how the various parabolic co-$t$-structures can be related by introducing an analogue to the usual translation functors. As an application, we give a proof of a scheme-theoretic formulation of the relative Humphreys conjecture on support varieties of tilting modules in type $A$ for $p>h$.
△ Less
Submitted 25 April, 2023; v1 submitted 10 December, 2020;
originally announced December 2020.
-
Conjectures on tilting modules and antispherical $p$-cells
Authors:
Pramod N. Achar,
William Hardesty,
Simon Riche
Abstract:
For quantum groups at a root of unity, there is a web of theorems (due to Bezrukavnikov and Ostrik, and relying on work of Lusztig) connecting the following topics: (i) tilting modules; (ii) vector bundles on nilpotent orbits; and (iii) Kazhdan-Lusztig cells in the affine Weyl group. In this paper, we propose a (partly conjectural) analogous picture for reductive algebraic groups over fields of po…
▽ More
For quantum groups at a root of unity, there is a web of theorems (due to Bezrukavnikov and Ostrik, and relying on work of Lusztig) connecting the following topics: (i) tilting modules; (ii) vector bundles on nilpotent orbits; and (iii) Kazhdan-Lusztig cells in the affine Weyl group. In this paper, we propose a (partly conjectural) analogous picture for reductive algebraic groups over fields of positive characteristic, inspired by a conjecture of Humphreys.
△ Less
Submitted 15 April, 2019; v1 submitted 24 December, 2018;
originally announced December 2018.
-
Integral exotic sheaves and the modular Lusztig-Vogan bijection
Authors:
Pramod N. Achar,
William Hardesty,
Simon Riche
Abstract:
Let G be a reductive group over an algebraically closed field k of very good characteristic. The Lusztig-Vogan bijection is a bijection between the set of dominant weights for G and the set of irreducible G-equivariant vector bundles on nilpotent orbits, conjectured by Lusztig and Vogan independently, and constructed in full generality by Bezrukavnikov. In characteristic 0, this bijection is relat…
▽ More
Let G be a reductive group over an algebraically closed field k of very good characteristic. The Lusztig-Vogan bijection is a bijection between the set of dominant weights for G and the set of irreducible G-equivariant vector bundles on nilpotent orbits, conjectured by Lusztig and Vogan independently, and constructed in full generality by Bezrukavnikov. In characteristic 0, this bijection is related to the theory of 2-sided cells in the affine Weyl group, and plays a key role in the proof of the Humphreys conjecture on support varieties of tilting modules for quantum groups at a root of unity.
In this paper, we prove that the Lusztig-Vogan bijection is (in a way made precise in the body of the paper) independent of the characteristic of k. This allows us to extend all of its known properties from the characteristic-0 setting to the general case. We also expect this result to be a step towards a proof of the Humphreys conjecture on support varieties of tilting modules for reductive groups in positive characteristic.
△ Less
Submitted 18 February, 2022; v1 submitted 21 October, 2018;
originally announced October 2018.
-
Representation theory of disconnected reductive groups
Authors:
P. Achar,
W. Hardesty,
S. Riche
Abstract:
We study three fundamental topics in the representation theory of disconnected algebraic groups whose identity component is reductive: (i) the classification of irreducible representations; (ii) the existence and properties of Weyl and dual Weyl modules; and (iii) the decomposition map relating representations in characteristic $0$ and those in characteristic $p$ (for groups defined over discrete…
▽ More
We study three fundamental topics in the representation theory of disconnected algebraic groups whose identity component is reductive: (i) the classification of irreducible representations; (ii) the existence and properties of Weyl and dual Weyl modules; and (iii) the decomposition map relating representations in characteristic $0$ and those in characteristic $p$ (for groups defined over discrete valuation rings). For each of these topics, we obtain natural generalizations of the well-known results for connected reductive groups.
△ Less
Submitted 8 September, 2020; v1 submitted 16 October, 2018;
originally announced October 2018.
-
On the centralizer of a balanced nilpotent section
Authors:
William Hardesty
Abstract:
Let $G$ be a split reductive algebraic group defined over a complete discrete valuation ring $\mathbb{O}$, with residue field $\mathbb{F}$ and fraction field $\mathbb{K}$, where the fiber $G_{\mathbb{F}}$ is geometrically standard. A balanced nilpotent section $x \in \text{Lie}(G)$ can roughly be thought of as an $\mathbb{O}$-point in a $\mathbb{K}$ nilpotent orbit such that the corresponding orbi…
▽ More
Let $G$ be a split reductive algebraic group defined over a complete discrete valuation ring $\mathbb{O}$, with residue field $\mathbb{F}$ and fraction field $\mathbb{K}$, where the fiber $G_{\mathbb{F}}$ is geometrically standard. A balanced nilpotent section $x \in \text{Lie}(G)$ can roughly be thought of as an $\mathbb{O}$-point in a $\mathbb{K}$ nilpotent orbit such that the corresponding orbits over $\mathbb{K}$ and $\mathbb{F}$ have the same Bala--Carter label. In this paper, we will establish a number of results on the structure of the centralizer $G^x \subseteq G$ of $x$. This includes a proof that $G^x$ is a smooth group scheme, and that the component groups of its geometric fibers are isomorphic.
△ Less
Submitted 14 October, 2018;
originally announced October 2018.
-
Calculations with graded perverse-coherent sheaves
Authors:
Pramod N. Achar,
William D. Hardesty
Abstract:
In this paper, we carry out several computations involving graded (or $\mathbb{G}_{\mathrm{m}}$-equivariant) perverse-coherent sheaves on the nilpotent cone of a reductive group in good characteristic. In the first part of the paper, we compute the weight of the $\mathbb{G}_{\mathrm{m}}$-action on certain normalized (or "canonical") simple objects, confirming an old prediction of Ostrik. In the se…
▽ More
In this paper, we carry out several computations involving graded (or $\mathbb{G}_{\mathrm{m}}$-equivariant) perverse-coherent sheaves on the nilpotent cone of a reductive group in good characteristic. In the first part of the paper, we compute the weight of the $\mathbb{G}_{\mathrm{m}}$-action on certain normalized (or "canonical") simple objects, confirming an old prediction of Ostrik. In the second part of the paper, we explicitly describe all simple perverse coherent sheaves for $G = PGL_3$, in every characteristic other than 2 or 3. Applications include an explicit description of the cohomology of tilting modules for the corresponding quantum group, as well as a proof that $\mathsf{PCoh}^{\mathbb{G}_{\mathrm{m}}}(\mathcal{N})$ never admits a positive grading when the characteristic of the field is greater than 3.
△ Less
Submitted 8 March, 2019; v1 submitted 20 June, 2018;
originally announced June 2018.
-
Explicit calculations in an infinitesimal singular block of $SL_N$
Authors:
William Hardesty
Abstract:
Let $G= SL_{n+1}$ be defined over an algebraically closed field of characteristic $p > 2$. For each $n \geq 1$ there exists a singular block in the category of $G_1$-modules which contains precisely $n+1$ irreducible modules. We are interested in the lift of this block to the category of $G_1T$-modules. Imposing only mild assumptions on $p$, we will perform a number of calculations in this setting…
▽ More
Let $G= SL_{n+1}$ be defined over an algebraically closed field of characteristic $p > 2$. For each $n \geq 1$ there exists a singular block in the category of $G_1$-modules which contains precisely $n+1$ irreducible modules. We are interested in the lift of this block to the category of $G_1T$-modules. Imposing only mild assumptions on $p$, we will perform a number of calculations in this setting, including a complete determination of the Loewy series for the baby Verma modules and all possible extensions between the irreducible modules. In the case where $p$ is extremely large, we will also explicitly compute the Loewy series for the indecomposable projective modules.
△ Less
Submitted 10 February, 2020; v1 submitted 11 May, 2018;
originally announced May 2018.
-
On the Humphreys conjecture on support varieties of tilting modules
Authors:
Pramod N. Achar,
William Hardesty,
Simon Riche
Abstract:
Let $G$ be a simply-connected semisimple algebraic group over an algebraically closed field of characteristic $p$, assumed to be larger than the Coxeter number. The "support variety" of a $G$-module $M$ is a certain closed subvariety of the nilpotent cone of $G$, defined in terms of cohomology for the first Frobenius kernel $G_1$. In the 1990s, Humphreys proposed a conjectural description of the s…
▽ More
Let $G$ be a simply-connected semisimple algebraic group over an algebraically closed field of characteristic $p$, assumed to be larger than the Coxeter number. The "support variety" of a $G$-module $M$ is a certain closed subvariety of the nilpotent cone of $G$, defined in terms of cohomology for the first Frobenius kernel $G_1$. In the 1990s, Humphreys proposed a conjectural description of the support varieties of tilting modules; this conjecture has been proved for $G = \mathrm{SL}_n$ in earlier work of the second author.
In this paper, we show that for any $G$, the support variety of a tilting module always contains the variety predicted by Humphreys, and that they coincide (i.e., the Humphreys conjecture is true) when $p$ is sufficiently large. We also prove variants of these statements involving "relative support varieties."
△ Less
Submitted 26 March, 2018; v1 submitted 24 July, 2017;
originally announced July 2017.
-
On the Existence of Mock Injective Modules for Algebraic Groups
Authors:
William D. Hardesty,
Daniel K. Nakano,
Paul Sobaje
Abstract:
Let $G$ be an affine algebraic group scheme over an algebraically closed field $k$ of characteristic $p>0$, and let $G_r$ denote the $r$-th Frobenius kernel of $G$. Motivated by recent work of Friedlander, the authors investigate the class of mock injective $G$-modules, which are defined to be those rational $G$-modules that are injective on restriction to $G_r$ for all $r\geq 1$. In this paper th…
▽ More
Let $G$ be an affine algebraic group scheme over an algebraically closed field $k$ of characteristic $p>0$, and let $G_r$ denote the $r$-th Frobenius kernel of $G$. Motivated by recent work of Friedlander, the authors investigate the class of mock injective $G$-modules, which are defined to be those rational $G$-modules that are injective on restriction to $G_r$ for all $r\geq 1$. In this paper the authors provide necessary and sufficient conditions for the existence of non-injective mock injective $G$-modules, thereby answering a question raised by Friedlander. Furthermore, the authors investigate the existence of non-injective mock injectives with simple socles. Interesting cases are discovered that show that this can occur for reductive groups, but will not occur for their Borel subgroups.
△ Less
Submitted 25 September, 2018; v1 submitted 13 April, 2016;
originally announced April 2016.
-
On support varieties and the Humphreys conjecture in type $A$
Authors:
William D. Hardesty
Abstract:
Let $G$ be a reductive algebraic group scheme defined over $\mathbb{F}_p$ and let $G_1$ denote the Frobenius kernel of $G$. To each finite-dimensional $G$-module $M$, one can define the support variety $V_{G_1}(M)$, which can be regarded as a $G$-stable closed subvariety of the nilpotent cone. A $G$-module is called a tilting module if it has both good and Weyl filtrations.
In 1997, it was conje…
▽ More
Let $G$ be a reductive algebraic group scheme defined over $\mathbb{F}_p$ and let $G_1$ denote the Frobenius kernel of $G$. To each finite-dimensional $G$-module $M$, one can define the support variety $V_{G_1}(M)$, which can be regarded as a $G$-stable closed subvariety of the nilpotent cone. A $G$-module is called a tilting module if it has both good and Weyl filtrations.
In 1997, it was conjectured by J.E. Humphreys that when $p\geq h$, the support varieties of the indecomposable tilting modules coincide with the nilpotent orbits given by the Lusztig bijection. In this paper, we shall verify this conjecture when $G=SL_n$ and $p > n+1$.
△ Less
Submitted 18 November, 2015; v1 submitted 3 July, 2015;
originally announced July 2015.
-
Support varieties of line bundle cohomology groups for SL3 (k)
Authors:
William D. Hardesty
Abstract:
Let $G= SL_3(k)$ where $k$ is a field of characteristic $p > 0$ and let $λ\in X(T)$ be any weight with corresponding line bundle $\mathscr{L}(λ)$ on $G/B$. In this paper we compute the support varieties for all modules of the form $H^i(λ):= H^i(G/B, \mathscr{L}(λ))$ over the first Frobenius kernel $G_1$. The calculation involves certain recursive character formulas given by Donkin which can be use…
▽ More
Let $G= SL_3(k)$ where $k$ is a field of characteristic $p > 0$ and let $λ\in X(T)$ be any weight with corresponding line bundle $\mathscr{L}(λ)$ on $G/B$. In this paper we compute the support varieties for all modules of the form $H^i(λ):= H^i(G/B, \mathscr{L}(λ))$ over the first Frobenius kernel $G_1$. The calculation involves certain recursive character formulas given by Donkin which can be used to compute the characters of the line bundle cohomology groups. In the case where $λ$ is a $p$-regular weight and $M=H^i(λ)\neq 0$ for some $i$, these formulas are used to show that any $p^{th}$ root of unity $ζ$ is not a root of the generic dimension of $M$. To handle the case where $λ$ is not $p$-regular, we employ techniques similar to those used by Drupieski, Nakano and Parshall to show that the module $H^i(λ)$ is not projective over $G_1$ whenever it is nonzero and $λ$ lies outside of the Steinberg block.
△ Less
Submitted 16 January, 2016; v1 submitted 10 August, 2014;
originally announced August 2014.
