Source author record

Christopher M. Drupieski

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.QA math.KT math.RA math.AG

Catalog footprint

Research overview

15works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2021arXiv

Superized Troesch complexes and cohomology for strict polynomial superfunctors

We adapt a construction due to Troesch to the category of strict polynomial superfunctors in order to construct complexes of injective objects whose cohomology is isomorphic to Frobenius twists of the (super)symmetric power functors. We apply these complexes to construct injective resolutions of the even and odd Frobenius twist functors, to investigate the structure of the Yoneda algebra of the Frobenius twist functor, and to compute other extension groups between strict polynomial superfunctors.

preprint2016arXiv

Cohomological finite-generation for finite supergroup schemes

In this paper we compute extension groups in the category of strict polynomial superfunctors and thereby exhibit certain "universal extension classes" for the general linear supergroup. Some of these classes restrict to the universal extension classes for the general linear group exhibited by Friedlander and Suslin, while others arise from purely super phenomena. We then use these extension classes to show that the cohomology ring of a finite supergroup scheme---equivalently of a finite-dimensional cocommutative Hopf superalgebra---over a field is a finitely-generated algebra. Implications for the rational cohomology of the general linear supergroup are also discussed.

preprint2016arXiv

Corrigendum to "On injective modules and support varieties for the small quantum group"

The proof of Theorem 5.12 in [C.M. Drupieski, On injective modules and support varieties for the small quantum group, Int. Math. Res. Not. 2011 (2011), 2263-2294] does not make sense as written because the algebra $u_ζ(\mathfrak{b}_α^+)$ need not be a Hopf subalgebra of $u_ζ(\mathfrak{b}^+)$ unless $α$ is a simple root. This note describes how the proof should be modified to work around this fact.

preprint2015arXiv

Extensions for Generalized Current Algebras

Given a complex semisimple Lie algebra ${\mathfrak g}$ and a commutative ${\mathbb C}$ -algebra $A$ , let ${\mathfrak g}[A] = {\mathfrak g} \otimes A$ be the corresponding generalized current algebra. In this paper we explore questions involving the computation and finite-dimensionality of extension groups for finite-dimensional ${\mathfrak g}[A]$ -modules. Formulas for computing $\operatorname{Ext}^{1}$ and $\operatorname{Ext}^{2}$ between simple ${\mathfrak g}[A]$ -modules are presented. As an application of these methods and of the use of the first cyclic homology, we completely describe $\operatorname{Ext}^{2}_{{\mathfrak g}[t]}(L_{1},L_{2})$ for ${\mathfrak g}=\mathfrak{sl}_{2}$ when $L_{1}$ and $L_{2}$ are simple ${\mathfrak g}[t]$ -modules that are each given by the tensor product of two evaluation modules.

preprint2013arXiv

Bounding the dimensions of rational cohomology groups

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.

preprint2013arXiv

Cohomological finite generation for restricted Lie superalgebras and finite supergroup schemes

We prove that the cohomology ring of a finite-dimensional restricted Lie superalgebra over a field of characteristic $p > 2$ is a finitely-generated algebra. Our proof makes essential use of the explicit projective resolution of the trivial module constructed by J. Peter May for any graded restricted Lie algebra. We then prove that the cohomological finite generation problem for finite supergroup schemes over fields of odd characteristic reduces to the existence of certain conjectured universal extension classes for the general linear supergroup $GL(m|n)$ that are similar to the universal extension classes for $GL_n$ exhibited by Friedlander and Suslin.

preprint2013arXiv

On projective modules for Frobenius kernels and finite Chevalley groups

Let $G$ be a simply-connected semisimple algebraic group scheme over an algebraically closed field of characteristic $p > 0$ . Let $r \geq 1$ and set $q = p^r$ . We show that if a rational $G$ -module $M$ is projective over the $r$ -th Frobenius kernel $G_r$ of $G$ , then it is also projective when considered as a module for the finite subgroup $\Gfq$ of $\Fq$-rational points in $G$ . This salvages a theorem of Lin and Nakano (\emph{Bull.\ London Math.\ Soc.} 39 (2007) 1019--1028). We also show that the corresponding statement need not hold when the group $G$ is replaced by the unipotent radical $U$ of a Borel subgroup of $G$ .

preprint2013arXiv

Universal extension classes for $GL_2$

In this note we give a new existence proof for the universal extension classes for $GL_2$ previously constructed by Friedlander and Suslin via the theory of strict polynomial functors. The key tool in our approach is a calculation of Parker showing that, for suitable choices of coefficient modules, the Lyndon--Hochschild--Serre spectral sequence for $SL_2$ relative to its first Frobenius kernel stabilizes at the $E_2$ -page. Consequently, we obtain a new proof that if $G$ is an infinitesimal subgroup scheme of $GL_2$ , then the cohomology ring $\Hbul(G,k)$ of $G$ is a finitely-generated noetherian $k$ -algebra.

preprint2011arXiv

Cohomology for infinitesimal unipotent algebraic and quantum groups

In this paper we study the structure of cohomology spaces for the Frobenius kernels of unipotent and parabolic algebraic group schemes and of their quantum analogs. Given a simple algebraic group $G$ , a parabolic subgroup $P_J$ , and its unipotent radical $U_J$ , we determine the ring structure of the cohomology ring $H^\bullet((U_J)_1,k)$ . We also obtain new results on computing $H^\bullet((P_J)_1,L(λ))$ as an $L_J$ -module where $L(λ)$ is a simple $G$ -module with high weight $λ$ in the closure of the bottom $p$ -alcove. Finally, we provide generalizations of all our results to the quantum situation.

preprint2011arXiv

Cohomology rings for quantized enveloping algebras

We compute the structure of the cohomology ring for the quantized enveloping algebra (quantum group) $U_q$ associated to a finite-dimensional simple complex Lie algebra $\mathfrak{g}$ . We show that the cohomology ring is generated as an exterior algebra by homogeneous elements in the same odd degrees as generate the cohomology ring for the Lie algebra $\mathfrak{g}$ . Partial results are also obtained for the cohomology rings of the non-restricted quantum groups obtained from $U_q$ by specializing the parameter $q$ to a non-zero value $ε\in \mathbb{C}$ .

preprint2011arXiv

First cohomology for finite groups of Lie type: simple modules with small dominant weights

Let $k$ be an algebraically closed field of characteristic $p > 0$ , and let $G$ be a simple, simply connected algebraic group defined over $\mathbb{F}_p$ . Given $r \geq 1$ , set $q=p^r$ , and let $G(\mathbb{F}_q)$ be the corresponding finite Chevalley group. In this paper we investigate the structure of the first cohomology group $H^1(G(\mathbb{F}_q),L(λ))$ where $L(λ)$ is the simple $G$ -module of highest weight $λ$ . Under certain very mild conditions on $p$ and $q$ , we are able to completely describe the first cohomology group when $λ$ is less than or equal to a fundamental dominant weight. In particular, in the cases we consider, we show that the first cohomology group has dimension at most one. Our calculations significantly extend, and provide new proofs for, earlier results of Cline, Parshall, Scott, and Jones, who considered the special case when $λ$ is a minimal nonzero dominant weight.

preprint2011arXiv

Representations and cohomology for Frobenius-Lusztig kernels

Let $U_ζ$ be the quantum group (Lusztig form) associated to the simple Lie algebra $\mathfrak{g}$ , with parameter $ζ$ specialized to an $\ell$ -th root of unity in a field of characteristic $p>0$ . In this paper we study certain finite-dimensional normal Hopf subalgebras $U_ζ(G_r)$ of $U_ζ$ , called Frobenius-Lusztig kernels, which generalize the Frobenius kernels $G_r$ of an algebraic group $G$ . When $r=0$ , the algebras studied here reduce to the small quantum group introduced by Lusztig. We classify the irreducible $U_ζ(G_r)$ -modules and discuss their characters. We then study the cohomology rings for the Frobenius-Lusztig kernels and for certain nilpotent and Borel subalgebras corresponding to unipotent and Borel subgroups of $G$ . We prove that the cohomology ring for the first Frobenius-Lusztig kernel is finitely-generated when $\g$ has type $A$ or $D$ , and that the cohomology rings for the nilpotent and Borel subalgebras are finitely-generated in general.

preprint2011arXiv

Second cohomology for finite groups of Lie type

Let $G$ be a simple, simply-connected algebraic group defined over $\mathbb{F}_p$ . Given a power $q = p^r$ of $p$ , let $G(\mathbb{F}_q) \subset G$ be the subgroup of $\mathbb{F}_q$ -rational points. Let $L(λ)$ be the simple rational $G$ -module of highest weight $λ$ . In this paper we establish sufficient criteria for the restriction map in second cohomology $H^2(G,L(λ)) \rightarrow H^2(G(\mathbb{F}_q),L(λ))$ to be an isomorphism. In particular, the restriction map is an isomorphism under very mild conditions on $p$ and $q$ provided $λ$ is less than or equal to a fundamental dominant weight. Even when the restriction map is not an isomorphism, we are often able to describe $H^2(G(\mathbb{F}_q),L(λ))$ in terms of rational cohomology for $G$ . We apply our techniques to compute $H^2(G(\mathbb{F}_q),L(λ))$ in a wide range of cases, and obtain new examples of nonzero second cohomology for finite groups of Lie type.

preprint2010arXiv

Differentiating the Weyl generic dimension formula and support varieties for quantum groups

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

preprint2009arXiv

On injective modules and support varieties for the small quantum group

Let $u_ζ(g)$ denote the small quantum group associated to the simple complex Lie algebra $g$ , with parameter $q$ specialized to a primitive $\ell$ -th root of unity $ζ$ in the field $k$ . Generalizing a result of Cline, Parshall and Scott, we show that if $M$ is a finite-dimensional $u_ζ(g)$ -module admitting a compatible torus action, then the injectivity of $M$ as a module for $u_ζ(g)$ can be detected by the restriction of $M$ to certain root subalgebras of $u_ζ(g)$ . If the characteristic of $k$ is positive, then this injectivity criterion also holds for the higher Frobenius--Lusztig kernels $U_ζ(G_r)$ of the quantized enveloping algebra $U_ζ(g)$ . Now suppose that $M$ lifts to a $U_ζ(g)$ -module. Using a new rank variety type result for the support varieties of $u_ζ(g)$ , we prove that the injectivity of $M$ for $u_ζ(g)$ can be detected by the restriction of $M$ to a single root subalgebra.

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.

Christopher M. Drupieski

Research overview

Is this your work?

15 publications

Superized Troesch complexes and cohomology for strict polynomial superfunctors

Cohomological finite-generation for finite supergroup schemes

Corrigendum to "On injective modules and support varieties for the small quantum group"

Extensions for Generalized Current Algebras

Bounding the dimensions of rational cohomology groups

Cohomological finite generation for restricted Lie superalgebras and finite supergroup schemes

On projective modules for Frobenius kernels and finite Chevalley groups

Universal extension classes for $GL_2$

Cohomology for infinitesimal unipotent algebraic and quantum groups

Cohomology rings for quantized enveloping algebras

First cohomology for finite groups of Lie type: simple modules with small dominant weights

Representations and cohomology for Frobenius-Lusztig kernels

Second cohomology for finite groups of Lie type

Differentiating the Weyl generic dimension formula and support varieties for quantum groups

On injective modules and support varieties for the small quantum group

See the researcher in context

Building this map preview

Christopher M. Drupieski

Research overview

Is this your work?

15 publications

Superized Troesch complexes and cohomology for strict polynomial superfunctors

Cohomological finite-generation for finite supergroup schemes

Corrigendum to "On injective modules and support varieties for the small quantum group"

Extensions for Generalized Current Algebras

Bounding the dimensions of rational cohomology groups

Cohomological finite generation for restricted Lie superalgebras and finite supergroup schemes

On projective modules for Frobenius kernels and finite Chevalley groups

Universal extension classes for GL2GL_2GL2​

Cohomology for infinitesimal unipotent algebraic and quantum groups

Cohomology rings for quantized enveloping algebras

First cohomology for finite groups of Lie type: simple modules with small dominant weights

Representations and cohomology for Frobenius-Lusztig kernels

Second cohomology for finite groups of Lie type

Differentiating the Weyl generic dimension formula and support varieties for quantum groups

On injective modules and support varieties for the small quantum group

See the researcher in context

Building this map preview

Universal extension classes for $GL_2$