Source author record

Brian Parshall

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RT math.GR math.AG math.QA math.RA

Catalog footprint

Research overview

14works

5topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

An exact category approach to Hecke endomorphism algebras

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.

preprint2016arXiv

From forced gradings to Q-Koszul algebras

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.

preprint2016arXiv

Stratifying Hecke endomorphism algebras using exact categories

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.

preprint2015arXiv

Extending Hecke endomorphism algebras at roots of unity

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.

preprint2014arXiv

Q-Koszul Algebras and Three Conjectures

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.

preprint2013arXiv

On $p$ -filtrations of Weyl modules

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.

preprint2012arXiv

A new approach to the Koszul property in representation theory using graded subalgebras

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$ .

preprint2012arXiv

Forced gradings and the Humphreys-Verma conjecture

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.

preprint2012arXiv

Forced gradings in integral quasi-hereditary algebras with applications to quantum groups

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.

preprint2012arXiv

On $\bbf_q$-rational structure of nilpotent orbits

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'$ .

preprint2011arXiv

A semisimple series for $q$ -Weyl and $q$ -Specht modules

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.

preprint2011arXiv

Variations on a theme of Cline and Donkin

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.

preprint2010arXiv

Bounding Ext for modules for algebraic groups, finite groups, and quantum groups

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.

preprint2010arXiv

Cohomological growth rates and Kazhdan-Lusztig polynomials

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}.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Brian Parshall

Research overview

Is this your work?

14 publications

An exact category approach to Hecke endomorphism algebras

From forced gradings to Q-Koszul algebras

Stratifying Hecke endomorphism algebras using exact categories

Extending Hecke endomorphism algebras at roots of unity

Q-Koszul Algebras and Three Conjectures

On $p$ -filtrations of Weyl modules

A new approach to the Koszul property in representation theory using graded subalgebras

Forced gradings and the Humphreys-Verma conjecture

Forced gradings in integral quasi-hereditary algebras with applications to quantum groups

On $\bbf_q$-rational structure of nilpotent orbits

A semisimple series for $q$ -Weyl and $q$ -Specht modules

Variations on a theme of Cline and Donkin

Bounding Ext for modules for algebraic groups, finite groups, and quantum groups

Cohomological growth rates and Kazhdan-Lusztig polynomials

See the researcher in context

Building this map preview

Brian Parshall

Research overview

Is this your work?

14 publications

An exact category approach to Hecke endomorphism algebras

From forced gradings to Q-Koszul algebras

Stratifying Hecke endomorphism algebras using exact categories

Extending Hecke endomorphism algebras at roots of unity

Q-Koszul Algebras and Three Conjectures

On ppp-filtrations of Weyl modules

A new approach to the Koszul property in representation theory using graded subalgebras

Forced gradings and the Humphreys-Verma conjecture

Forced gradings in integral quasi-hereditary algebras with applications to quantum groups

On $\bbf_q$-rational structure of nilpotent orbits

A semisimple series for qqq-Weyl and qqq-Specht modules

Variations on a theme of Cline and Donkin

Bounding Ext for modules for algebraic groups, finite groups, and quantum groups

Cohomological growth rates and Kazhdan-Lusztig polynomials

See the researcher in context

Building this map preview

On $p$ -filtrations of Weyl modules

A semisimple series for $q$ -Weyl and $q$ -Specht modules