arXiv subjects

Christopher M. Drupieski

Publications and source records attributed to Christopher M. Drupieski.

At least 19 recordsLinked to original sources

arXiv2026

Lie Superalgebras Generated by Reflections in Weyl Groups of Classical Type

We consider the finite Weyl groups of classical type -- $W(A_{r})$ for $r \geq 1$, $W(B_{r}) = W(C_{r})$ for $r \geq 2$, and $W(D_{r})$ for $r \geq 4$ -- as supergroups in which the reflections are of odd superdegree. Viewing the corresponding complex group algebras as Lie superalgebras via the graded commutator bracket, we determine the structure of the Lie sub-superalgebras generated by the sets of reflections. In each case, this Lie superalgebra is equal to the full derived subalgebra of the group algebra plus the span of the class sums of the reflections.

math.RT↗

arXiv2026

Lie algebras generated by reflections in types BCD

We consider the group algebra over the field of complex numbers of the Weyl group of type B (the hyperoctahedral group, or the group of signed permutations) and of the Weyl group of type D (the demihyperoctahedral group, or the group of even-signed permutations), viewed as Lie algebras via the commutator bracket, and determine the structure of the Lie subalgebras generated by the sets of reflections.

math.RT↗

arXiv2025

The Lie superalgebra of transpositions

We consider the group algebra of the symmetric group as a superalgebra, and describe its Lie subsuperalgebra generated by the transpositions. The updated version corrects some of the arguments made in Sections 4.5 - 4.7. The statements of the main results are unaffected.

math.RT↗

arXiv2022

A survey of support theories for Lie superalgebras and finite supergroup schemes

We survey the current state of various support variety theories for Lie superalgebras and finite supergroup schemes. We pay particular attention to the theory in characteristic zero developed by Boe, Kujawa, and Nakano using relative Lie superalgebra cohomology, and to the theory developed in positive characteristic in our previous work.

math.RT↗

arXiv2022

Support varieties for Lie superalgebras in characteristic 2

This paper investigates cohomology and support varieties for Lie superalgebras and restricted Lie superalgebras over a field of characteristic 2. The existence of an underlying ordinary Lie algebra allows us to obtain results that are still open in odd characteristic, and also to establish results that have no non-super analogues in characteristic 2.

math.RT↗

arXiv2021

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.

math.RT↗

arXiv2019

Support varieties and modules of finite projective dimension for modular Lie superalgebras (with an appendix on homological dimensions over Noether Algebras by Luchezar L. Avramov and Srikanth B. Iyengar)

We investigate cohomological support varieties for finite-dimensional Lie superalgebras defined over fields of odd characteristic. Verifying a conjecture from our previous work, we show the support variety of a finite-dimensional supermodule can be realized as an explicit subset of the odd nullcone of the underlying Lie superalgebra. We also show the support variety of a finite-dimensional supermodule is zero if and only if the supermodule is of finite projective dimension. As a consequence, we obtain a positive characteristic version of a theorem of Bøgvad, showing that if a finite-dimensional Lie superalgebra over a field of odd characteristic is absolutely torsion free, then its enveloping algebra is of finite global dimension.

math.RT↗

arXiv2018

Support schemes for infinitesimal unipotent supergroups

We investigate support schemes for infinitesimal unipotent supergroups and their representations. Our main results provide a non-cohomological description of these schemes which generalizes the classical work of Suslin, Friedlander, and Bendel. As a consequence, support schemes in this setting have the desired features of such a theory, including naturality with respect to group homomorphisms, the tensor product property, and realizability. As an application of the theory developed here, we investigate support varieties for certain finite-dimensional Hopf subalgebras of the Steenrod algebra.

math.RT↗

arXiv2018

On the cohomological spectrum and support varieties for infinitesimal unipotent supergroup schemes

We show that if $G$ is an infinitesimal elementary supergroup scheme of height $\leq r$, then the cohomological spectrum $|G|$ of $G$ is naturally homeomorphic to the variety $\mathcal{N}_r(G)$ of supergroup homomorphisms $ρ: \mathbb{M}_r \rightarrow G$ from a certain (non-algebraic) affine supergroup scheme $\mathbb{M}_r$ into $G$. In the case $r=1$, we further identify the cohomological support variety of a finite-dimensional $G$-supermodule $M$ as a subset of $\mathcal{N}_1(G)$. We then discuss how our methods, when combined with recently-announced results by Benson, Iyengar, Krause, and Pevtsova, can be applied to extend the homeomorphism $\mathcal{N}_r(G) \cong |G|$ to arbitrary infinitesimal unipotent supergroup schemes.

math.RT↗

arXiv2018

Graded analogues of one-parameter subgroups and applications to the cohomology of $GL_{m|n(r)}$

We introduce a family $\mathbb{M}_{r;f,η}$ of infinitesimal supergroup schemes, which we call multiparameter supergroups, that generalize the infinitesimal Frobenius kernels $\mathbb{G}_{a(r)}$ of the additive group scheme $\mathbb{G}_{a}$. Then, following the approach of Suslin, Friedlander, and Bendel, we use functor cohomology to define characteristic extension classes for the general linear supergroup $GL_{m|n}$, and we calculate how these classes restrict along homomorphisms $ρ: \mathbb{M}_{r;f,η} \rightarrow GL_{m|n}.$ Finally, we apply our calculations to describe (up to a finite surjective morphism) the spectrum of the cohomology ring of the $r$-th Frobenius kernel $GL_{m|n(r)}$ of the general linear supergroup $GL_{m|n}$.

math.RT↗

arXiv2016

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.

math.RT↗

arXiv2016

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.

math.RT↗

arXiv2016

On support varieties for Lie superalgebras and finite supergroup schemes

We study the spectrum of the cohomology rings of cocommutative Hopf superalgebras, restricted and non-restricted Lie superalgebras, and finite supergroup schemes. We also investigate support varieties in these settings and demonstrate that they have the desirable properties of such a theory. We completely characterize support varieties for finite supergroup schemes over algebraically closed fields of characteristic zero, while for non-restricted Lie superalgebras we obtain results in positive characteristic that are strikingly similar to results of Duflo and Serganova in characteristic zero. Our computations for restricted Lie superalgebras and infinitesimal supergroup schemes provide natural generalizations of foundational results of Friedlander and Parshall and of Bendel, Friedlander, and Suslin in the classical setting.

math.RT↗

arXiv2015

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.

math.RT↗

arXiv2013

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.

math.RT↗

arXiv2013

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

math.RT↗

arXiv2013

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.

math.RT↗

arXiv2013

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.

math.RT↗