-
An exact category approach to Hecke endomorphism algebras
Authors:
Jie Du,
Brian Parshall,
Leonard Scott
Abstract:
Let $G$ be a finite group of Lie type. In studying the cross-characteristic representation theory of $G$, the (specialized) Hecke algebra $H=\End_G(\ind_B^G1_B)$ has played a important role. In particular, when $G=GL_n(\mathbb F_q)$ is a finite general linear group, this approach led to the Dipper-James theory of $q$-Schur algebras $A$. These algebras can be constructed over…
▽ More
Let $G$ be a finite group of Lie type. In studying the cross-characteristic representation theory of $G$, the (specialized) Hecke algebra $H=\End_G(\ind_B^G1_B)$ has played a important role. In particular, when $G=GL_n(\mathbb F_q)$ is a finite general linear group, this approach led to the Dipper-James theory of $q$-Schur algebras $A$. These algebras can be constructed over $\sZ:=\mathbb Z[t,t^{-1}]$ as the $q$-analog (with $q=t^2$) of an endomorphism algebra larger than $H$, involving parabolic subgroups. The algebra $A$ is quasi-hereditary over $\sZ$. An analogous algebra, still denoted $A$, can always be constructed in other types. However, these algebras have so far been less useful than in the $GL_n$ case, in part because they are not generally quasi-hereditary.
Several years ago, reformulating a 1998 conjecture, the authors proposed (for all types) the existence of a $\sZ$-algebra $A^+$ having a stratified derived module category, with strata constructed via Kazhdan-Lusztig cell theory. The algebra $A$ is recovered as $A=eA^+e$ for an idempotent $e\in A^+$. A main goal of this monograph is to prove this conjecture completely. The proof involves several new homological techniques using exact categories. Following the proof, we show that $A^+$ does become quasi-hereditary after the inversion of the bad primes. Some first applications of the result -- e.g., to decomposition matrices -- are presented, together with several open problems.
△ Less
Submitted 17 January, 2023; v1 submitted 15 September, 2022;
originally announced September 2022.
-
Local and global methods in representations of Hecke algebras
Authors:
Jie Du,
Brian J. Parshall,
Leonard L. Scott
Abstract:
This paper aims at developing a "local--global" approach for various types of finite dimensional algebras, especially those related to Hecke algebras. The eventual intention is to apply the methods and applications developed here to the cross-characteristic representation theory of finite groups of Lie type. The authors first review the notions of quasi-hereditary and stratified algebras over a No…
▽ More
This paper aims at developing a "local--global" approach for various types of finite dimensional algebras, especially those related to Hecke algebras. The eventual intention is to apply the methods and applications developed here to the cross-characteristic representation theory of finite groups of Lie type. The authors first review the notions of quasi-hereditary and stratified algebras over a Noetherian commutative ring. They prove that many global properties of these algebras hold if and only if they hold locally at every prime ideal. When the commutative ring is sufficiently good, it is often sufficient to check just the prime ideals of height at most one. These methods are applied to construct certain generalized q-Schur algebras, proving they are often quasi-hereditary (the "good" prime case) but always stratified. Finally, these results are used to prove a triangular decomposition matrix theorem for the modular representations of Hecke algebras at good primes. In the bad prime case, the generalized q-Schur algebras are at least stratified, and a block triangular analogue of the good prime case is proved, where the blocks correspond to Kazhdan-Lusztig cells.
△ Less
Submitted 26 February, 2018;
originally announced February 2018.
-
Stratifying Hecke endomorphism algebras using exact categories
Authors:
Jie Du,
Brian Parshall,
Leonard Scott
Abstract:
The paper constructs new Hecke endomorphism algebras with a stratified structure. A novel feature of the proof is to approach difficult Ext^1 vanishing conditions by building entire exact category structures in which the analogous vanishing conditions are easier to check. This work is the second in a series aimed at proving a conjecture of the authors published in 1998. The conjecture concerns the…
▽ More
The paper constructs new Hecke endomorphism algebras with a stratified structure. A novel feature of the proof is to approach difficult Ext^1 vanishing conditions by building entire exact category structures in which the analogous vanishing conditions are easier to check. This work is the second in a series aimed at proving a conjecture of the authors published in 1998. The conjecture concerns the enlargement, in a context of Kazhdan-Lusztig cell theory, of Hecke endomorphism algebras related to cross-characteristic representation theory of finite groups of Lie type. This second version corrects some typos and makes other small modifications, some motivated by an anonymous referee and a reader of a prior posting.
△ Less
Submitted 15 November, 2016; v1 submitted 5 January, 2016;
originally announced January 2016.
-
From forced gradings to Q-Koszul algebras
Authors:
Brian Parshall,
Leonard Scott
Abstract:
This paper has two parts. The main goal, carried out in Part I, is to survey some recent work by the authors in which "forced" grading constructions have played a significant role in the representation theory of semisimple algebraic groups $G$ in positive characteristic. The constructions begin with natural finite dimensional quotients of the distribution algebras Dist$(G)$, but then "force" gradi…
▽ More
This paper has two parts. The main goal, carried out in Part I, is to survey some recent work by the authors in which "forced" grading constructions have played a significant role in the representation theory of semisimple algebraic groups $G$ in positive characteristic. The constructions begin with natural finite dimensional quotients of the distribution algebras Dist$(G)$, but then "force" gradings into the picture by passing to positively graded algebras constructed from ideal filtrations of these quotients. This process first guaranteed a place for itself by proving, for large primes, that all Weyl modules have $p$-Weyl filtrations. Later it led, under similar circumstances, to a new "good filtration" result for restricted Lie algebra Ext groups between restricted irreducible $G$-modules. In the process of proving these results, a new kind of graded algebra was invented, called a Q-Koszul algebra. Recent conjectures suggest these algebras arise in forced grading constructions as above, from quotients of Dist$(G)$, even for small primes and even in settings possibly involving singular weights. Related conjectures suggest a promising future for using Kazhdan-Lusztig theory to relate quantum and algebraic group cohomology and Ext groups in these same small prime and possibly singular weight settings. A part of one of these conjectures is proved in Part II of this paper. The proof is introduced by remarks of general interest on positively graded algebras and Morita equivalence, followed by a discussion of recent Koszulity results of Shan-Varagnalo-Vasserot, observing some extensions.
Version 2 corrects some minor typos and inaccurate references. The paper will appear in PSPUM.
△ Less
Submitted 25 March, 2016; v1 submitted 24 February, 2015;
originally announced February 2015.
-
Extending Hecke endomorphism algebras at roots of unity
Authors:
Jie Du,
Brian Parshall,
Leonard Scott
Abstract:
The (Iwahori-)Hecke algebra in the title is a $q$-deformation $\sH$ of the group algebra of a finite Weyl group $W$. The algebra $\sH$ has a natural enlargement to an endomorphism algebra $\sA=\End_\sH(\sT)$ where $\sT$ is a $q$-permutation module. In type $A_n$ (i.e., $W\cong {\mathfrak S}_{n+1}$), the algebra $\sA$ is a $q$-Schur algebra which is quasi-hereditary and plays an important role in t…
▽ More
The (Iwahori-)Hecke algebra in the title is a $q$-deformation $\sH$ of the group algebra of a finite Weyl group $W$. The algebra $\sH$ has a natural enlargement to an endomorphism algebra $\sA=\End_\sH(\sT)$ where $\sT$ is a $q$-permutation module. In type $A_n$ (i.e., $W\cong {\mathfrak S}_{n+1}$), the algebra $\sA$ is a $q$-Schur algebra which is quasi-hereditary and plays an important role in the modular representation of the finite groups of Lie type. In other types, $\sA$ is not always quasi-hereditary, but the authors conjectured 20 year ago that $\sT$ can be enlarged to an $\sH$-module $\sT^+$ so that $\sA^+=\End_\sH(\sT^+)$ is at least standardly stratified, a weaker condition than being quasi-hereditary, but with "strata" corresponding to Kazhdan-Lusztig two-sided cells.
The main result of this paper is a "local" version of this conjecture in the equal parameter case, viewing $\sH$ as defined over ${\mathbb Z}[t,t^{-1}]$, with the localization at a prime ideal generated by a cyclotomic polynomial $Φ_{2e}(t)$, $e\not=2$. The proof uses the theory of rational Cherednik algebras (also known as RDAHAs) over similar localizations of ${\mathbb C}[t,t^{-1}]$. In future paper, the authors expect to apply these results to prove global versions of the conjecture, at least in the equal parameter case with bad primes excluded.
△ Less
Submitted 26 September, 2015; v1 submitted 26 January, 2015;
originally announced January 2015.
-
Q-Koszul Algebras and Three Conjectures
Authors:
Brian Parshall,
Leonard Scott
Abstract:
In previous work, the authors introduced the notion of Q-Koszul algebras, as a tool to "model" module categories for semisimple algebraic groups over fields of large characteristics. Here we suggest the model extends to small characteristics as well. In particular, we present several conjectures in the modular representation theory of semisimple groups which these algebras inspire. They provide a…
▽ More
In previous work, the authors introduced the notion of Q-Koszul algebras, as a tool to "model" module categories for semisimple algebraic groups over fields of large characteristics. Here we suggest the model extends to small characteristics as well. In particular, we present several conjectures in the modular representation theory of semisimple groups which these algebras inspire. They provide a new world-view of modular representation theory, potentially valid for some root systems in all characteristics. In fact, we give a non-trivial example in which $p=2$. This paper begins a systematic study of Q-Koszul algebras, viewed as interesting objects in their own right.
△ Less
Submitted 20 June, 2014; v1 submitted 17 May, 2014;
originally announced May 2014.
-
Some Koszul properties of standard and irreducible modules
Authors:
Brian J. Parshall,
Leonard L. Scott
Abstract:
Let $G$ be a simple, simply connected algebraic group over an algebraically closed field of positive characteristic $p$. In recent work, the authors have studied a graded analogue of the category of rational $G$-modules. These gradings are not natural but are "forced" on related algebras though filtrations, often obtained from appropriate quantum structures. This paper presents new results on Kosz…
▽ More
Let $G$ be a simple, simply connected algebraic group over an algebraically closed field of positive characteristic $p$. In recent work, the authors have studied a graded analogue of the category of rational $G$-modules. These gradings are not natural but are "forced" on related algebras though filtrations, often obtained from appropriate quantum structures. This paper presents new results on Koszul modules for the graded algebras obtained through this forced grading process. Most of these results require that the Lusztig character formula holds for all restricted $p$-regular weights, but the paper begins to investigate how these and previous results might be established when the Lusztig character formula is only assumed to hold on a proper poset ideal in the Jantzen region. This opens up the possibility of inductive arguments.
△ Less
Submitted 27 May, 2013;
originally announced May 2013.
-
New graded methods in the homological algebra of semisimple algebraic groups
Authors:
Brian J. Parshall,
Leonard L. Scott
Abstract:
Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of positive characteristic $p$. Under some restrictions on the size of $p$, the present paper establishes new results on the $G$-module structure of $\Ext^\bullet_{G_1}(V,W)$ when $V,W$ belong to several important classes of rational $G$-modules, and $G_1$ denotes the first Frobenius kernel of $G$. For example, it is pr…
▽ More
Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of positive characteristic $p$. Under some restrictions on the size of $p$, the present paper establishes new results on the $G$-module structure of $\Ext^\bullet_{G_1}(V,W)$ when $V,W$ belong to several important classes of rational $G$-modules, and $G_1$ denotes the first Frobenius kernel of $G$. For example, it is proved that, if $L,L'$ are ($p$-regular) irreducible $G_1$-modules, then $\Ext^n_{G_1}(L,L')^{[-1]}$ has a good filtration with computable multiplicities. This and many other results depend on the entirely new technique of using methods of what we call forced gradings in the representation theory of $G$, as developed by the authors in recent papers, and extended here.
In addition to providing proofs, these methods lead effectively to a new conceptual framework for the study of rational $G$-modules, and, in this context, to the introduction of a new class of graded finite dimensional algebras, which we call Q-Koszul algebras. These algebras are similar to Koszul algebras, but are quasi-hereditary, rather than semisimple, in grade 0.
△ Less
Submitted 17 December, 2013; v1 submitted 4 April, 2013;
originally announced April 2013.
-
Bounding the dimensions of rational cohomology groups
Authors:
Christopher P. Bendel,
Brian D. Boe,
Christopher M. Drupieski,
Daniel K. Nakano,
Brian J. Parshall,
Cornelius Pillen,
Caroline B. Wright
Abstract:
Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple simply-connected algebraic group over $k$ that is defined and split over the prime field $\mathbb{F}_p$. In this paper we investigate situations where the dimension of a rational cohomology group for $G$ can be bounded by a constant times the dimension of the coefficient module. We then demonstrate how our…
▽ More
Let $k$ be an algebraically closed field of characteristic $p > 0$, and let $G$ be a simple simply-connected algebraic group over $k$ that is defined and split over the prime field $\mathbb{F}_p$. In this paper we investigate situations where the dimension of a rational cohomology group for $G$ can be bounded by a constant times the dimension of the coefficient module. We then demonstrate how our results can be applied to obtain effective bounds on the first cohomology of the symmetric group. We also show how, for finite Chevalley groups, our methods permit significant improvements over previous estimates for the dimensions of second cohomology groups.
△ Less
Submitted 11 March, 2013;
originally announced March 2013.
-
Forced gradings and the Humphreys-Verma conjecture
Authors:
Brian Parshall,
Leonard Scott
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…
▽ More
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.
△ Less
Submitted 30 November, 2012;
originally announced December 2012.
-
Bounding extensions for finite groups and Frobenius kernels
Authors:
Christopher P. Bendel,
Daniel K. Nakano,
Brian J. Parshall,
Cornelius Pillen,
Leonard L. Scott,
David I. Stewart
Abstract:
Let G be a simple, simply connected algebraic group defined over an algebraically closed field k of positive characteristic p. Let σ:G->G be a strict endomorphism (i. e., the subgroup G(σ) of σ-fixed points is finite). Also, let G_σ be the scheme-theoretic kernel of σ, an infinitesimal subgroup of G. This paper shows that the degree m cohomology H^m(G(σ),L) of any irreducible kG(σ)-module L is bou…
▽ More
Let G be a simple, simply connected algebraic group defined over an algebraically closed field k of positive characteristic p. Let σ:G->G be a strict endomorphism (i. e., the subgroup G(σ) of σ-fixed points is finite). Also, let G_σ be the scheme-theoretic kernel of σ, an infinitesimal subgroup of G. This paper shows that the degree m cohomology H^m(G(σ),L) of any irreducible kG(σ)-module L is bounded by a constant depending on the root system Φ of G and the integer m. A similar result holds for the degree m cohomology of G_σ. These bounds are actually established for the degree m extension groups Ext^m_{G(σ)}(L,L') between irreducible kG(σ)-modules L and L', with again a similar result holding for G_σ. In these Ext^m results, of interest in their own right, the bounds depend also on L, or, more precisely, on length of the p-adic expansion of the highest weight associated to L. All bounds are, nevertheless, independent of the characteristic p. These results extend earlier work of Parshall and Scott for rational representations of algebraic groups G.
We also show that one can find bounds independent of the prime for the Cartan invariants of G(σ) and G_σ, and even for the lengths of the underlying PIMs. These bounds, which depend only on the root system of G and the "height" of σ, provide in a strong way an affirmative answer to a question of Hiss, for the special case of finite groups G(σ) of Lie type in the defining characteristic.
△ Less
Submitted 30 August, 2012;
originally announced August 2012.
-
On $p$-filtrations of Weyl modules
Authors:
Brian Parshall,
Leonard Scott
Abstract:
This paper considers Weyl modules for a simple, simply connected algebraic group over an algebraically closed field $k$ of positive characteristic $p\not=2$. The main result proves, if $p\geq 2h-2$ (where $h$ is the Coxeter number) and if the Lusztig character formula holds for all (irreducible modules with) regular restricted highest weights, then any Weyl module $Δ(λ)$ has a $Δ^p$-filtration, na…
▽ More
This paper considers Weyl modules for a simple, simply connected algebraic group over an algebraically closed field $k$ of positive characteristic $p\not=2$. The main result proves, if $p\geq 2h-2$ (where $h$ is the Coxeter number) and if the Lusztig character formula holds for all (irreducible modules with) regular restricted highest weights, then any Weyl module $Δ(λ)$ has a $Δ^p$-filtration, namely, a filtration with sections of the form $Δ^p(μ_0+pμ_1):=L(μ_0)\otimesΔ(μ_1)^{[1]}$, where $μ_0$ is restricted and $μ_1$ is arbitrary dominant. In case the highest weight $λ$ of the Weyl module $Δ(λ)$ is $p$-regular, the $p$-filtration is compatible with the $G_1$-radical series of the module. The problem of showing that Weyl modules have $Δ^p$-filtrations was first proposed as a worthwhile ("wünschenswert") problem in Jantzen's 1980 Crelle paper.
△ Less
Submitted 17 November, 2013; v1 submitted 15 August, 2012;
originally announced August 2012.
-
Shifted generic cohomology
Authors:
Brian J. Parshall,
Leonard L. Scott,
David I. Stewart
Abstract:
The idea that the cohomology of finite groups might be fruitfully approached via the cohomology of ambient semisimple algebraic groups was first shown to be viable in the papers [CPS75] and [CPSvdK77]. The second paper introduced, through a limiting process, the notion of generic cohomology, as an intermediary between finite Chevalley group and algebraic group cohomology. The present paper shows t…
▽ More
The idea that the cohomology of finite groups might be fruitfully approached via the cohomology of ambient semisimple algebraic groups was first shown to be viable in the papers [CPS75] and [CPSvdK77]. The second paper introduced, through a limiting process, the notion of generic cohomology, as an intermediary between finite Chevalley group and algebraic group cohomology. The present paper shows that, for irreducible modules as coefficients, the limits can be eliminated in all but finitely many cases. These exceptional cases depend only on the root system and cohomological degree. In fact, we show that, for sufficiently large r, depending only on the root system and m, and not on the prime p or the irreducible module L, there are isomorphisms H^m(G(p^r),L) -> H^m(G(p^r),L') -> H^m_gen(G,L') -> H^m(G,L'), where the subscript "gen" refers to generic cohomology and L' is a constructibly determined irreducible "shift" of the (arbitrary) irreducible module L for the finite Chevalley group G(p^r). By a famous theorem of Steinberg, both L and L' extend to irreducible modules for the ambient algebraic group G with p^r-restricted highest weights. This leads to the notion of a module or weight being "shifted m-generic," and thus to the title of this paper. Our approach is based on questions raised by the third author in [Stea], which we answer here in the cohomology cases. We obtain many additional results, often with formulations in the more general context of Ext^m_G(q) with irreducible coefficients.
△ Less
Submitted 6 May, 2012;
originally announced May 2012.
-
Forced gradings in integral quasi-hereditary algebras with applications to quantum groups
Authors:
Brian Parshall,
Leonard Scott
Abstract:
Let $\sO$ be a discrete valuation ring with fraction field $K$ and residue field $k$. A quasi-hereditary algebra $\wA$ over $\sO$ provides a bridge between the representation theory of the quasi-hereditary algebra $\wA_K:=K\otimes \wA$ over the field $K$ and the quasi-hereditary algebra $A_k:=k\otimes_\sO\wA$ over $k$. In one important example, $\wA_K$--mod is a full subcategory of the category of…
▽ More
Let $\sO$ be a discrete valuation ring with fraction field $K$ and residue field $k$. A quasi-hereditary algebra $\wA$ over $\sO$ provides a bridge between the representation theory of the quasi-hereditary algebra $\wA_K:=K\otimes \wA$ over the field $K$ and the quasi-hereditary algebra $A_k:=k\otimes_\sO\wA$ over $k$. In one important example, $\wA_K$--mod is a full subcategory of the category of modules for a quantum enveloping algebra while $\wA_k$--mod is a full subcategory of the category of modules for a reductive group in positive characteristic. This paper considers first the question of when the positively graded algebra $\gr \wA:= \bigoplus_{n\geq 0}(\wA\cap\rad^n\wA_K)/(\wA\cap\rad^{n+1}\wA_K)$ is quasi-hereditary. A main result gives sufficient conditions that $\gr\wA$ be quasi-hereditary. The main requirement is that each graded module $\gr\wDelta(λ)$ arising from a $\wA$-standard (Weyl) module $\wDelta(λ)$ have an irreducible head. An additional hypothesis requires that the graded algebra $\gr \wA_K$ be quasi-hereditary, a property recently proved by us to hold in some important cases involving quantum enveloping algebras. In the case where $\wA$ arises from regular dominant weights for a quantum enveloping algebra at a primitive $p$th root of unity for a prime $p>2h-2$ (where $h$ is the Coxeter number), a second main result shows that $\gr\wA$ is quasi-hereditary. The proof depends on previous work of the authors, including a continuation of the methods there involving tightly graded subalgebras, and a development of a quantum deformation theory over $\sO$, worthy of attention in its own right, extending the work of Andersen-Jantzen-Soergel. As we point out, this work provides an essential step in our work on $p$-filtrations of Weyl modules for reductive algebraic groups over fields of positive characteristic.
△ Less
Submitted 15 August, 2012; v1 submitted 7 March, 2012;
originally announced March 2012.
-
A semisimple series for $q$-Weyl and $q$-Specht modules
Authors:
Brian Parshall,
Leonard Scott
Abstract:
In a previous paper, the authors studied the radical filtration of a Weyl module $Δ_ζ(λ)$ for quantum enveloping algebras $U_ζ(\overset\circ{\mathfrak g})$ associated to a finite dimensional complex semisimple Lie algebra $\overset\circ{\mathfrak g}$. There $ζ^2=\sqrt[e]{1}$ and $λ$ was, initially, required to be $e$-regular. Some additional restrictions on $e$ were required---e.g., $e>h$, the Cox…
▽ More
In a previous paper, the authors studied the radical filtration of a Weyl module $Δ_ζ(λ)$ for quantum enveloping algebras $U_ζ(\overset\circ{\mathfrak g})$ associated to a finite dimensional complex semisimple Lie algebra $\overset\circ{\mathfrak g}$. There $ζ^2=\sqrt[e]{1}$ and $λ$ was, initially, required to be $e$-regular. Some additional restrictions on $e$ were required---e.g., $e>h$, the Coxeter number, and $e$ odd.
Translation to a facet gave an explicit semisimple series for all quantum Weyl modules with singular, as well as regular, weights. That is, the sections of the filtration are explicit semisimple modules with computable multiplicities of irreducible constituents. However, in the singular case, the filtration conceivably might not be the radical filtration. This paper shows how a similar semisimple series result can be obtained for all positive integers $e$ in case $\overset\circ{\mathfrak g}$ has type $A$, and for all positive integes $e\geq 3$ in type $D$. One application describes semisimple series (with computable multiplicities) on $q$-Specht modules. We also discuss an analogue for Weyl modules for classical Schur algebras and Specht modules for symmetric group algebras in positive characteristic $p$. Here we assume the James Conjecture and a version of the Bipartite Conjecture.
△ Less
Submitted 7 September, 2011;
originally announced September 2011.
-
Cohomology for quantum groups via the geometry of the nullcone
Authors:
Christopher P. Bendel,
Daniel K. Nakano,
Brian J. Parshall,
Cornelius Pillen
Abstract:
Let $ζ$ be a complex $\ell$th root of unity for an odd integer $\ell>1$. For any complex simple Lie algebra $\mathfrak g$, let $u_ζ=u_ζ({\mathfrak g})$ be the associated "small" quantum enveloping algebra. In general, little is known about the representation theory of quantum groups (resp., algebraic groups) when $l$ (resp., $p$) is smaller than the Coxeter number $h$ of the underlying root system…
▽ More
Let $ζ$ be a complex $\ell$th root of unity for an odd integer $\ell>1$. For any complex simple Lie algebra $\mathfrak g$, let $u_ζ=u_ζ({\mathfrak g})$ be the associated "small" quantum enveloping algebra. In general, little is known about the representation theory of quantum groups (resp., algebraic groups) when $l$ (resp., $p$) is smaller than the Coxeter number $h$ of the underlying root system. For example, Lusztig's conjecture concerning the characters of the rational irreducible $G$-modules stipulates that $p \geq h$. The main result in this paper provides a surprisingly uniform answer for the cohomology algebra $\opH^\bullet(u_ζ,{\mathbb C})$ of the small quantum group. When $\ell>h$, this cohomology algebra has been calculated by Ginzburg and Kumar \cite{GK}. Our result requires powerful tools from complex geometry and a detailed knowledge of the geometry of the nullcone of $\mathfrak g$. In this way, the methods point out difficulties present in obtaining similar results for the restricted enveloping algebra $u$ in small characteristics, though they do provide some clarification of known results there also. Finally, we establish that if $M$ is a finite dimensional $u_ζ$-module, then $\opH^\bullet(u_ζ,M)$ is a finitely generated $\opH^\bullet(u_ζ,\mathbb C)$-module, and we obtain new results on the theory of support varieties for $u_ζ$.
△ Less
Submitted 17 February, 2011;
originally announced February 2011.
-
Cohomological growth rates and Kazhdan-Lusztig polynomials
Authors:
Brian Parshall,
Leonard Scott
Abstract:
In previous work, the authors established various bounds for the dimensions of degree $n$ cohomology and $\Ext$-groups, for irreducible modules of semisimple algebraic groups $G$ (in positive characteristic $p$) and (Lusztig) quantum groups $U_ζ$ (at roots of unity $ζ$). These bounds depend only on the root system, and not on the characteristic $p$ or the size of the root of unity $ζ$. This paper…
▽ More
In previous work, the authors established various bounds for the dimensions of degree $n$ cohomology and $\Ext$-groups, for irreducible modules of semisimple algebraic groups $G$ (in positive characteristic $p$) and (Lusztig) quantum groups $U_ζ$ (at roots of unity $ζ$). These bounds depend only on the root system, and not on the characteristic $p$ or the size of the root of unity $ζ$. This paper investigates the rate of growth of these bounds. Both in the quantum and algebraic group situation, these rates of growth represent new and fundamental invariants attached to the root system $Φ$. For quantum groups $U_ζ$ with a fixed $Φ$, we show the sequence
$\{\max_{L\,{\text{irred}}}\dim \opH^n(U_ζ,L)\}_n$ has polynomial growth independent of $ζ$. In fact, we provide upper and lower bounds for the polynomial growth rate. Applications of these and related results for $\Ext^n_{U_ζ}$ are given to Kazhdan-Lusztig polynomials. Polynomial growth in the algebraic group case remains an open question, though it is proved that $\{\log\max_{L\,\text{\rm irred}}\dim\opH^n(G,L)\}$ has polynomial growth $\leq 3$ for any fixed prime $p$ (and $\leq 4$ if $p$ is allowed to vary with $n$).
We indicate the relevance of these issues to (additional structure for) the constants proposed in the theory of higher cohomology groups for finite simple groups with irreducible coefficients by Guralnick, Kantor, Kassabov, and Lubotzky \cite{GKKL}.
△ Less
Submitted 13 August, 2010; v1 submitted 22 April, 2010;
originally announced April 2010.
-
Variations on a theme of Cline and Donkin
Authors:
Brian Parshall,
Leonard Scott
Abstract:
Let $N$ be a normal subgroup of a group $G$. An $N$-module $Q$ is $G$-stable provided that $Q$ is equivalent to the twist $Q^g$ of $Q$ by $g$, for every $g\in G$. If the action of $N$ on $Q$ extends to an action of $G$ on $Q$, $Q$ is obviously $G$-stable, but the converse need not hold. A famous conjecture in the modular representation theory of reductive algebraic groups $G$ asserts that the (obv…
▽ More
Let $N$ be a normal subgroup of a group $G$. An $N$-module $Q$ is $G$-stable provided that $Q$ is equivalent to the twist $Q^g$ of $Q$ by $g$, for every $g\in G$. If the action of $N$ on $Q$ extends to an action of $G$ on $Q$, $Q$ is obviously $G$-stable, but the converse need not hold. A famous conjecture in the modular representation theory of reductive algebraic groups $G$ asserts that the (obviously $G$-stable) projective indecomposable modules (PIMs) $Q$ for the Frobenius kernels of $G$ have a $G$-module structure. It is sometimes just as useful (for a general module $Q$) to know that a finite direct sum $Q^{\oplus n}$ of $Q$ has a compatible $G$-module structure. In this paper, this property is called numerical stability. In recent work (arXiv:0909.5207v2), the authors established numerical stability in the special case of PIMs. We provide in this paper a more general context for that result, working in the context of group schemes and a suitable version of $G$-stability, called strong $G$-stability. Among our results here is the presentation of a homological obstruction to the existence of a $G$-module structure, on strongly $G$-stable modules, and a tensor product approach to killing the obstruction.
△ Less
Submitted 15 November, 2011; v1 submitted 19 March, 2010;
originally announced March 2010.
-
A new approach to the Koszul property in representation theory using graded subalgebras
Authors:
Brian Parshall,
Leonard Scott
Abstract:
Given a quasi-hereditary algebra $B$, we present conditions which guarantee that the algebra $\gr B$ obtained by grading $B$ by its radical filtration is Koszul and at the same time inherits the quasi-hereditary property and other good Lie-theoretic properties that $B$ might possess. The method involves working with a pair $(A,{\mathfrak a})$ consisting of a quasi-hereditary algebra $A$ and a (pos…
▽ More
Given a quasi-hereditary algebra $B$, we present conditions which guarantee that the algebra $\gr B$ obtained by grading $B$ by its radical filtration is Koszul and at the same time inherits the quasi-hereditary property and other good Lie-theoretic properties that $B$ might possess. The method involves working with a pair $(A,{\mathfrak a})$ consisting of a quasi-hereditary algebra $A$ and a (positively) graded subalgebra $\mathfrak a$. The algebra $B$ arises as a quotient $B=A/J$ of $A$ by a defining ideal $J$ of $A$. Along the way, we also show that the standard (Weyl) modules for $B$ have a structure as graded modules for $\mathfrak a$. These results are applied to obtain new information about the finite dimensional algebras (e.g., the $q$-Schur algebras) which arise as quotients of quantum enveloping algebras. Further applications, perhaps the most penetrating, yield results for the finite dimensional algebras associated to semisimple algebraic groups in positive characteristic $p$. These results require, at least presently, considerable restrictions on the size of $p$.
△ Less
Submitted 30 April, 2012; v1 submitted 4 October, 2009;
originally announced October 2009.
-
Bounding Ext for modules for algebraic groups, finite groups, and quantum groups
Authors:
Brian Parshall,
Leonard Scott
Abstract:
Given a finite root system $Φ$, we show that there is an integer $c=c(Φ)$ such that $\dim\Ext_G^1(L,L')<c$, for any reductive algebraic group $G$ with root system $Φ$ and any irreducible rational $G$-modules $L,L'$. There also is such a bound in the case of finite groups of Lie type, depending only on the root system and not on the underlying field. For quantum groups, a similar result holds for…
▽ More
Given a finite root system $Φ$, we show that there is an integer $c=c(Φ)$ such that $\dim\Ext_G^1(L,L')<c$, for any reductive algebraic group $G$ with root system $Φ$ and any irreducible rational $G$-modules $L,L'$. There also is such a bound in the case of finite groups of Lie type, depending only on the root system and not on the underlying field. For quantum groups, a similar result holds for $\Ext^n$, for any integer $n\geq 0$, using a constant depending only on $n$ and the root system. Weaker versions of this are proved in the algebraic and finite group cases, sufficient to give similar results for algebraic and generic cohomology. The results both use, and have consequences for, Kazhdan-Lusztig polynomials. An appendix proves a stable version, needed for small prime arguments, of Donkin's tilting module conjecture.
△ Less
Submitted 23 February, 2010; v1 submitted 28 September, 2009;
originally announced September 2009.
-
Differentiating the Weyl generic dimension formula and support varieties for quantum groups
Authors:
Christopher M. Drupieski,
Daniel K. Nakano,
Brian J. Parshall
Abstract:
The authors compute the support varieties of all irreducible modules for the small quantum group $u_ζ(\mathfrak{g})$, where $\mathfrak{g}$ is a simple complex Lie algebra, and $ζ$ is a primitive $\ell$-th root of unity with $\ell$ larger than the Coxeter number of $\mathfrak{g}$. The calculation employs the prior calculations and techniques of Ostrik and of Nakano--Parshall--Vella, as well as deep…
▽ More
The authors compute the support varieties of all irreducible modules for the small quantum group $u_ζ(\mathfrak{g})$, where $\mathfrak{g}$ is a simple complex Lie algebra, and $ζ$ is a primitive $\ell$-th root of unity with $\ell$ larger than the Coxeter number of $\mathfrak{g}$. The calculation employs the prior calculations and techniques of Ostrik and of Nakano--Parshall--Vella, as well as deep results involving the validity of the Lusztig character formula for quantum groups and the positivity of parabolic Kazhdan-Lusztig polynomials for the affine Weyl group. Analogous support variety calculations are provided for the first Frobenius kernel $G_1$ of a reductive algebraic group scheme $G$ defined over the prime field $\mathbb{F}_p$.
△ Less
Submitted 29 May, 2010; v1 submitted 28 May, 2009;
originally announced May 2009.
-
On $\bbf_q$-rational structure of nilpotent orbits
Authors:
Semra Kaptanoglu,
Brian Parshall,
Bin Shu
Abstract:
Let $G$ be a simple algebraic group and $\ggg=\Lie(G)$ over $k=\bar\bbf_q$ where $q$ is a power of the prime characteristic of $k$, and $F$ a Frobenius morphism on $G$ which can be defined naturally on $\ggg$. In this paper, we investigate the relation between $F$-stable restricted modules of $\ggg$ and closed conical subvarieties defined over $\bbf_q$ in the null cone $\cn(\ggg)$ of $\ggg$. Furth…
▽ More
Let $G$ be a simple algebraic group and $\ggg=\Lie(G)$ over $k=\bar\bbf_q$ where $q$ is a power of the prime characteristic of $k$, and $F$ a Frobenius morphism on $G$ which can be defined naturally on $\ggg$. In this paper, we investigate the relation between $F$-stable restricted modules of $\ggg$ and closed conical subvarieties defined over $\bbf_q$ in the null cone $\cn(\ggg)$ of $\ggg$. Furthermore, we clearly investigate the $\bbf_q$-rational structure for all nilpotent orbits in $\ggg$ under the adjoint action of $G$ when the characteristic of $k$ is good for $G$ and bigger than 3. The arguments are also valid when $\ggg'$ is classical simple Lie algebra in the sense of \cite{Sel} and $G'$ is the adjoint group of $\ggg'$.
△ Less
Submitted 28 April, 2012; v1 submitted 18 March, 2007;
originally announced March 2007.
-
Extensions, Levi subgroups and character formulas
Authors:
B. Parshall,
L. Scott
Abstract:
This paper consists of three interconnected parts. Parts I,III study the relationship between the cohomology of a reductive group and that of a Levi subgroup. For example, we provide a necessary condition, arising from Kazhdan-Lusztig theory, for the natural map on Ext-groups of irreducible modules to be surjective. In cohomological degree 1, the map is always an isomorphism, under our hypothesi…
▽ More
This paper consists of three interconnected parts. Parts I,III study the relationship between the cohomology of a reductive group and that of a Levi subgroup. For example, we provide a necessary condition, arising from Kazhdan-Lusztig theory, for the natural map on Ext-groups of irreducible modules to be surjective. In cohomological degree 1, the map is always an isomorphism, under our hypothesis. These results were inspired by recent work of Hemmer obtained for general linear groups, and they both extend and improve upon his work when our condition is met. Part II obtains results on Lusztig character formulas for reductive groups, obtaining new necessary and sufficient conditions for such formulas to hold. In the special case of general linear groups, these conditions can be recast in a striking way completely in terms of explicit representation theoretic properties of the symmetric group (and the results improve upon the sufficient cohomological conditions established recently in the authors).
△ Less
Submitted 9 February, 2005;
originally announced February 2005.
