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.
In this paper, it is shown that the projectivity of a rational module for an infinitesimal unipotent group scheme over an algebraically closed field of positive characteristic can be detected on a family of closed subgroups.
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 Pe…
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.
We verify that universal classes in the cohomology of $GL_N$ determine explicit cohomology classes of Frobenius kernels $G_{(r)}$ of various linear algebraic groups $G$ . We consider the relationship of $\varprojlim_r H^*(U_{(r)},k)$ to the rational cohomology $H^*(U,k)$ of many unipotent algebraic groups $U$. The second half of this paper investigates in detail the cohomology of Frobenius kernels $(U_3)_{(r)}$ of the Heisenberg group $U_3 \subset GL_3$.
In this paper we consider non-abelian 1-cohomology for groups with coefficients in other groups. We prove versions of the `five lemma' arising from this situation. We go on to show that a connected unipotent algebraic group Q acted on morphically by a connected algebraic group G admits a filtration with successive quotients having the structure of G-modules. From these results we deduce extensions to results due to Cline, Parshall, Scott and van der Kallen. Firstly, if G is a connected, reductive algebraic group with Borel subgroup B and Q a unipotent algebraic G-group, we show the restriction…
Let $\mathrm G / F$ be a reductive split $p$-adic group and let $\mathrm U$ be the unipotent radical of a Borel subgroup. We study the cohomology with trivial $\mathbb Z_p$-coefficients of the profinite nilpotent group $N = \mathrm U(\mathcal O_F)$ and its Lie algebra $\mathfrak n$, by extending a classical result of Kostant to our integral $p$-adic setup. The techniques used are a combination of results from group theory, algebraic groups and homological algebra.
The wavefront set is a fundamental invariant of an admissible representation arising from the Harish-Chandra-Howe local character expansion. In this paper, we give a precise formula for the wavefront set of an irreducible representation of real infinitesimal character in Lusztig's category of unipotent representations in terms of the Deligne-Langlands-Lusztig correspondence. Our formula generalizes the main result of arXiv:2112.14354, where this formula was obtained in the Iwahori-spherical case. We deduce that for any irreducible unipotent representation with real infinitesimal character, the…
In the monograph arXiv:2108.03453, we define the notion of a unipotent representation of a complex reductive group. The representations we define include, as a proper subset, all special unipotent representations in the sense of Barbasch-Vogan and form the (conjectural) building blocks of the unitary dual. In arXiv:2108.03453 we provide combinatorial formulas for the infinitesimal characters of all unipotent representations of linear classical groups. In this paper, we establish analogous formulas for spin and exceptional groups, thus completing the determination of the infinitesimal character…
The wavefront set is a fundamental invariant arising from the Harish-Chandra-Howe local character expansion of an admissible representation. We prove a precise formula for the wavefront set of an irreducible Iwahori-spherical representation with `real infinitesimal character' and determine a lower bound for this invariant in terms of the Deligne-Langlands-Lusztig parameters. In particular, for the Iwahori-spherical representations with real infinitesimal character, we deduce that the algebraic wavefront set is a singleton, as conjectured by Moeglin and Waldspurger. As a corollary, we obtain an…
Let $U_1, U_2$ be connected commutative unipotent algebraic groups defined over an algebraically closed field $k$ of characteristic $p>0$ and let $\mathcal{L}$ be a bimultiplicative $\overline{\mathbb{Q}}_\ell$-local system on $U_1\times U_2$. In this paper we will study the $\overline{\mathbb{Q}}_\ell$-cohomology $H^*_c(U_1\times U_2,\mathcal{L})$, which turns out to be supported in only one degree. We will construct a finite Heisenberg group $Γ$ which naturally acts on $H^*_c(U_1\times U_2,\mathcal{L})$ as an irreducible representation. We will give two explicit realizations of this cohomolo…
Using the notion of a Lagrangian covering, W. Graham and D. Vogan proposed a method of constructing representations from the coadjoint orbits for a complex semisimple Lie group $G$. When the coadjoint orbit $\calO$ is nilpotent, a representation of $G$ is attached to each orbital variety of $\calO$ in this way. In the setting of classical groups, we show that whenever it is possible to carry out the Graham-Vogan construction for an orbital variety of a spherical $\mathcal{O}$, its infinitesimal character lies in a set of characters attached to $\mathcal{O}$ by W. M. McGovern. Furthermore, we s…
We study the cohomology of parabolic Deligne-Lusztig varieties associated to unipotent blocks of GLn(q). We show that the geometric version of Broué's conjecture over Q_\ell, together with Craven's formula, holds for any unipotent block whenever it holds for the principal Phi_1-block, that is for the variety X(π).
We modify the definition of Dirac cohomology in such a way that the standard properties of the usual Dirac cohomology, valid for modules with infinitesimal character, become valid also for modules with only generalized infinitesimal character.
Let G be a simple adjoint group and let K=k((ε)) where k is an algebraic closure of a finite field F_q. In this paper we define some geometric objects on G(K) which are similar to the (cohomology sheaves of) the unipotent character sheaves on G(k). Using these geometric objects we define the unipotent almost characters of G(K_0) where K_0=F_q((ε)) and state some conjectures relating them to the characters of unipotent representations of G(K_0).
This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme $G$ over a perfect field $k$ of positive characteristic $p\ge 3$. It is proved that an element $x$ in the cohomology of $G$ is nilpotent if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $x_K$ to $E$ is nilpotent. It is also shown that a $kG$-module $M$ is projective if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $M_K$ to $E$ is pr…
In this paper, we present a conjecture on the degree of unipotent characters in the cohomology of particular Deligne-Lusztig varieties for groups of Lie type, and derive consequences of it. These degrees are a necessary piece of data in the geometric version of Broué's abelian defect group conjecture, and can be used to verify this geometric conjecture in new cases. The geometric version of Broué's conjecture should produce a more combinatorially defined derived equivalence, called a perverse equivalence. We prove that our conjectural degree is an integer (which is not obvious) and has the cor…
We show that $\bigoplus_{n \ge 0} {\mathrm H}^t({\bf GL}_n({\bf F}_q), {\bf F}_\ell)$ canonically admits the structure of a module over the $q$-divided power algebra (assuming $q$ is invertible in ${\bf F}_{\ell}$), and that, as such, it is free and (for $q \neq 2$) generated in degrees $\le t$. As a corollary, we show that the cohomology of a finitely generated ${\bf VI}$-module in non-describing characteristic is eventually periodic in $n$. We apply this to obtain a new result on the cohomology of unipotent Specht modules.
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 surjec…
Let $G$ be a simple simply connected group scheme defined over ${\mathbb F}_{p}$ and $k$ be an algebraically closed field of characteristic $p>0$. Moreover, let $B$ be a Borel subgroup of $G$ and $U$ be the unipotent radical of $B$. In this paper the authors compute the third cohomology group for $B$ and its Frobenius kernels, $B_{r}$, with coefficients in a one-dimensional representation. These computations hold with relatively mild restrictions on the characteristic of the field. As a consequence of our calculations, the third ordinary Lie algebra cohomology group for ${\mathfrak u}=\text{Li…
We describe the infinitesimal deformations of the standard embedding of the Lie superalgebra $D(2, 1 ; α)$ into the Poisson superalgebra of pseudodifferential symbols on $S^{1|2}$. We show that for the standard embedding of $D(2, 1 ; α)$ into the Poisson superalgebra of differential operators on $S^{1|2}$, the infinitesimal deformations correspond to formal deformations. For the embedding of $D(2, 1 ; α)$ into the derived contact superconformal algebra ${K}'(4)$, the infinitesimal deformations are formal deformations.
Let G be a finite group scheme over an algebraically closed field of positive characteristic. Assume further that the connected component of G is unipotent. It is shown that the projectivity of a rational G-module can be detected on a family of closed subgroups. It is further shown that nilpotent cohomology or extension classes can be detected on this family of subgroups.
Consider a field k of characteristic p > 0, G_r the r-th Frobenius kernel of a smooth algebraic group G, DG_r the Drinfeld double of G_r, and M a finite dimensional DG_r-module. We prove that the cohomology algebra H*(DG_r,k) is finitely generated and that H*(DG_r,M) is a finitely generated module over this cohomology algebra. We exhibit a finite map of algebras θ_r:H*(G_r,k) \otimes S(g) \to H*(DG_r,k) which offers an approach to support varieties for DG_r-modules. For many examples of interest, θ_r is injective and induces an isomorphism of associated reduced schemes. Additionally, for M an …
The principle of tannakian duality states that any neutral tannakian category is tensorially equivalent to the category Rep_k G of finite dimensional representations of some affine group scheme G and field k, and conversely. Originally motivated by an attempt to find a first-order explanation for generic cohomology of algebraic groups, we study neutral tannakian categories as abstract first-order structures and, in particular, ultraproducts of them. One of the main theorems of this dissertation is that certain naturally definable subcategories of these ultraproducts are themselves neutral tann…
For a connected reductive group $G$ over ${\mathbb R}$, we study cohomological $A$-parameters, which are Arthur parameters with the infinitesimal character of a finite-dimensional representation of $G({\mathbb C})$. We prove a structure theorem for such $A$-parameters, and deduce from it that a morphism of $L$-groups which takes a regular unipotent element to a regular unipotent element respects cohomological $A$-parameters. This is used to give complete understanding of cohomological $A$-parameters for all classical groups. We review the parametrization of Adams-Johnson packets of cohomologic…
Hopf-Hecke algebras and Barbasch-Sahi algebras were defined by the first named author (2016) in order to provide a general framework for the study of Dirac cohomology. The aim of this paper is to explore new examples of these definitions and to contribute to their classification. Hopf-Hecke algebras are distinguished by an orthogonality condition and a PBW property. The PBW property for algebras such as the ones considered here has been of great interest in the literature and we extend this discussion by further results on the classification of such deformations and by a class of hitherto unex…
We study the quotient of parabolic Deligne-Lusztig varieties by a finite unipotent group U^F where U is the unipotent radical of a rational parabolic subgroup P = L U. We show that in some particular cases the cohomology of this quotient can be expressed in terms of "smaller" parabolic Deligne-Lusztig varieties associated to the Levi subgroup L.
The article covers developments in the representation theory of finite group schemes over the last fifteen years. We start with the finite generation of cohomology of a finite group scheme and proceed to discuss various consequences and theories that ultimately grew out of that result. This includes the theory of one-parameter subgroups and rank varieties for infinitesimal group schemes; the $π$-points and $Π$-support spaces for finite group schemes, modules of constant rank and constant Jordan type, and construction of bundles on projective varieties associated with cohomology ring of an infi…
Let $G$ be a reductive group over a finite field with a maximal unipotent subgroup $U$, we consider certain sheaves on $G/U$ defined by Kazhdan and Laumon and show that their cohomology produces the cohomology of the Deligne-Lusztig varieties. We then use this comparison to give a new proof of a result of Dudas.
In this paper, we show that the Dirac cohomology $H_{D}(L(λ))$ of a simple highest weight module $L(λ)$ in $\mathcal{O}^\mathfrak{p}$ can be parameterized by a specific set of weights: a subset $\mathcal{W}_I(λ)$ of the orbit of the Weyl group $W$ acting on $λ+ρ$. As an application, we show that any simple module in $\mathcal{O}^\mathfrak{p}$ is determined up to isomorphism by its Dirac cohomology. We describe four parameterizations of $H_D(L(λ))$ when $λ$ is regular. Two of these parameterizations are geometric in terms of a partial ordering on the dual of the Cartan subalgebra and a generali…
This paper computes the Dirac cohomology $H_D(π)$ of irreducible unitary Harish-Chandra modules $π$ of complex classical groups viewed as real reductive groups. More precisely, unitary representations with nonzero Dirac cohomology are shown to be unitarily induced from unipotent representations. When nonzero, there is a unique, multiplicity free $K-$type in $π$ contributing to $H_D(π)$. This confirms conjectures formulated by the first named author and Pandzic in 2011.
Let G be a connected reductive group defined over an algebraically closed field k of characteristic p > 0. The purpose of this paper is two-fold. First, when p is a good prime, we give a new proof of the ``order formula'' of D. Testerman for unipotent elements in G; moreover, we show that the same formula determines the p-nilpotence degree of the corresponding nilpotent elements in the Lie algebra of G. Second, if G is semisimple and p is sufficiently large, we show that G always has a faithful representation (r,V) with the property that the exponential of dr(X) lies in r(G) for each p-nilpote…
Let $\mathfrak{g}$ be a reductive Lie algebra over $\mathbb{C}$. For any simple weight module of $\mathfrak{g}$ with finite-dimensional weight spaces, we show that its Dirac cohomology is vanished unless it is a highest weight module. This completes the calculation of Dirac cohomology for simple weight modules since the Dirac cohomology of simple highest weight modules was carried out in our previous work. We also show that the Dirac index pairing of two weight modules which have infinitesimal characters agrees with their Euler-Poincaré pairing. The analogue of this result for Harish-Chandra m…
Let $\mathscr{B}_0(\mathcal{G})\subseteq k\mathcal{G}$ be the principal block algebra of the group algebra $k\mathcal{G}$ of an infinitesimal group scheme $\mathcal{G}$ over an algebraically closed field $k$ of characteristic ${\rm char}(k)=:p\geq 3$. We calculate the restricted Lie algebra structure of the first Hochschild cohomology $\mathcal{L}:={\rm H}^1(\mathscr{B}_0(\mathcal{G}),\mathscr{B}_0(\mathcal{G}))$ whenever $\mathscr{B}_0(\mathcal{G})$ has finite representation type. As a consequence, we prove that the complexity of the trivial $\mathcal{G}$-module $k$ coincides with the maximal…
We study the ring of differential operators D(X) on the basic affine space X=G/U of a complex semisimple group G with maximal unipotent subgroup U. One of the main results shows that the cohomology group H^*(X,O_X) decomposes as a finite direct sum of non-isomorphic simple X-modules, each of which is isomorphic to a twist of O(X) by an automorphism of D(X). We also use D(X) to study the properties of D(Y) for highest weight varieties Y. For example we prove under mild hypotheses that Y is D-simple in the sense that O(Y) is a simple D(Y)-module and produce an irreducible G-module of differentia…
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 ri…
Let X be a scheme of finite type over a Noetherian base scheme S admitting a dualizing complex, and let U be an open subset whose complement has codimension at least 2. We extend the Deligne-Bezrukavnikov theory of perverse coherent sheaves by showing that a coherent middle extension (or intersection cohomology) functor from perverse sheaves on U to perverse sheaves on X may be defined for a much broader class of perversities than has previously been known. We also introduce a derived category version of the coherent middle extension functor. Under suitable hypotheses, we introduce a construct…
By elementary and direct calculations the vanishing of the (algebraic) second Lie algebra cohomology of the Witt and the Virasoro algebra with values in the adjoint module is shown. This yields infinitesimal and formal rigidity or these algebras. The first (and up to now only) proof of this important result was given 1989 by Fialowski in an unpublished note. It is based on cumbersome calculations. Compared to the original proof the presented one is quite elegant and considerably simpler.
