Search

Let $G$ be a connected reductive group over an algebraically closed field of characteristic $p>0$. Given an indecomposable G-module $M$, one can ask when it remains indecomposable upon restriction to the Frobenius kernel $G_r$, and when its $G_r$-socle is simple (the latter being a strictly stronger condition than the former). In this paper, we investigate these questions for $G$ having an irreducible root system of type A. Using Schur functors and inverse Schur functors as our primary tools, we develop new methods of attacking these problems, and in the process obtain new results about classes of Weyl modules, induced modules, and tilting modules that remain indecomposable over $G_r$.

Balmer recently showed that there is a general notion of a nilpotence theorem for tensor triangulated categories through the use of homological residue fields and the connection with the homological spectrum. The homological spectrum (like the theory of $\pi$-points) can be viewed as a topological space that provides an important realization of the Balmer spectrum. Let ${\mathfrak g}={\mathfrak g}_{\bar{0}}\oplus {\mathfrak g}_{\bar{1}}$ be a classical Lie superalgebra over ${\mathbb C}$. In this paper, the authors consider the tensor triangular geometry for the stable category of finite-dimensional Lie superalgebra representations: $\text{stab}({\mathcal F}_{({\mathfrak g},{\mathfrak g}_{\bar{0}})})$, The localizing subcategories for the detecting subalgebra ${\mathfrak f}$ are classified which answers a question of Boe, Kujawa, and Nakano. As a consequence of these results, the authors prove a nilpotence theorem and determine the homological spectrum for the stable module category of ${\mathcal F}_{({\mathfrak f},{\mathfrak f}_{\bar{0}})}$. The authors verify Balmer's ``Nerves of Steel'' Conjecture for ${\mathcal F}_{({\mathfrak f},{\mathfrak f}_{\bar{0}})}$. Let $F$ (resp. $G$) be the associated supergroup (scheme) for ${\mathfrak f}$ (resp. ${\mathfrak g}$). Under the condition that $F$ is a splitting subgroup for $G$, the results for the detecting subalgebra can be used to prove a nilpotence theorem for $\text{stab}({\mathcal F}_{({\mathfrak g},{\mathfrak g}_{\bar{0}})})$, and to determine the homological spectrum in this case. Now using natural assumptions in terms of realization of supports, the authors provide a method to explicitly realize the Balmer spectrum of $\text{stab}({\mathcal F}_{({\mathfrak g},{\mathfrak g}_{\bar{0}})})$, and prove the Nerves of Steel Conjecture in this case.

In this paper the authors prove fundamental decomposition theorems pertaining to the internal structure of monoidal triangulated categories (M$\Delta$Cs). The tensor structure of an M$\Delta$C enables one to view these categories like (noncommutative) rings and to attempt to extend the key results for the latter to the categorical setting. The main theorem is an analogue of the Chinese Remainder Theorem involving the Verdier quotients for coprime thick ideals. This result is used to obtain orthogonal decompositions of the extended endomorphism rings of idempotent algebra objects of M$\Delta$Cs. The authors also provide topological characterizations on when an M$\Delta$C contains a pair of coprime proper thick ideals, and additionally, when the latter are complementary in the sense that their intersection is contained in the prime radical of the category. As an application of the aforementioned results, the authors establish for arbitrary M$\Delta$Cs a general version of Carlson's theorem on the connnectedness of supports for indecomposable objects. Examples of our results are given at the end of the paper for the derived category of schemes and for the stable module categories for finite group schemes., Comment: 29 pages

In this paper the authors introduce a new notion called the quantum wreath product, which is the algebra $B \wr_Q \mathcal{H}(d)$ produced from a given algebra $B$, a positive integer $d$, and a choice $Q=(R,S,\rho,\sigma)$ of parameters. Important examples {that arise from our construction} include many variants of the Hecke algebras, such as the Ariki-Koike algebras, the affine Hecke algebras and their degenerate version, Wan-Wang's wreath Hecke algebras, Rosso-Savage's (affine) Frobenius Hecke algebras, Kleshchev-Muth's affine zigzag algebras, and the Hu algebra that quantizes the wreath product $\Sigma_m \wr \Sigma_2$ between symmetric groups. In the first part of the paper, the authors develop a structure theory for the quantum wreath products. Necessary and sufficient conditions for these algebras to afford a basis of suitable size are obtained. Furthermore, a Schur-Weyl duality is established via a splitting lemma and mild assumptions on the base algebra $B$. Our uniform approach encompasses many known results which were proved in a case by case manner. The second part of the paper involves the problem of constructing natural subalgebras of Hecke algebras that arise from wreath products. Moreover, a bar-invariant basis of the Hu algebra via an explicit formula for its extra generator is also described., Comment: 34 pages. v4: A thorough revision with several statements fixed and exposition improved based on a referee report

Let $G$ be a complex reductive group and $P$ be a parabolic subgroup of $G$. In this paper the authors address questions involving the realization of the $G$-module of the global sections of the (twisted) cotangent bundle over the flag variety $G/P$ via the cohomology of the small quantum group. Our main results generalize the important computation of the cohomology ring for the small quantum group by Ginzburg and Kumar, and provides a generalization of well-known calculations by Kumar, Lauritzen, and Thomsen to the quantum case and the parabolic setting. As an application we answer the question (first posed by Friedlander and Parshall for Frobenius kernels) about the realization of coordinate rings of Richardson orbit closures for complex semisimple groups via quantum group cohomology. Formulas will be provided which relate the multiplicities of simple $G$-modules in the global sections with the dimensions of extension groups over the large quantum group.

In this paper the authors consider four questions of primary interest for the representation theory of reductive algebraic groups: (i) Donkin's Tilting Module Conjecture, (ii) the Humphreys-Verma Question, (iii) whether $\operatorname{St}_r \otimes L(\lambda)$ is a tilting module for $L(\lambda)$ an irrreducible representation of $p^{r}$-restricted highest weight, and (iv) whether $\operatorname{Ext}^{1}_{G_{1}}(L(\lambda),L(\mu))^{(-1)}$ is a tilting module where $L(\lambda)$ and $L(\mu)$ have $p$-restricted highest weight. The authors establish affirmative answers to each of these questions with a new uniform bound, namely $p\geq 2h-4$ where $h$ is the Coxeter number. Notably, this verifies these statements for infinitely many more cases. Later in the paper, questions (i)-(iv) are considered for rank two groups where there are counterexamples (for small primes) to these questions.

In this paper the authors study the behavior of the sheaf cohomology functors $R^{\bullet}\text{ind}_{B}^{G}(-)$ where $G$ is an algebraic group scheme corresponding to a simple classical Lie superalgebra and $B$ is a BBW parabolic subgroup as defined by D. Grantcharov, N. Grantcharov, Nakano and Wu. We provide a systematic treatment that allows us to study the behavior of these cohomology groups $R^{\bullet}\text{ind}_{B}^{G}L_{\mathfrak f}(\lambda)$ where $L_{\mathfrak f}(\lambda)$ is an irreducible representation for the detecting subalgebra ${\mathfrak f}$. In particular, we prove an analog of Kempf's vanishing theorem and the Bott-Borel-Weil theorem for large weights.

Finite tensor categories (FTCs) $\bf T$ are important generalizations of the categories of finite dimensional modules of finite dimensional Hopf algebras, which play a key role in many areas of mathematics and mathematical physics. There are two fundamentally different support theories for them: a cohomological one and a universal one based on the noncommutative Balmer spectra of their stable (triangulated) categories $\underline{\bf T}$. In this paper we introduce the key notion of the categorical center $C^\bullet_{\underline{\bf T}}$ of the cohomology ring $R^\bullet_{\underline{\bf T}}$ of an FTC, $\bf T$. This enables us to put forward a complete and detailed program for determining the exact relationship between the two support theories, based on $C^\bullet_{\underline{\bf T}}$ of the cohomology ring $R^\bullet_{\underline{\bf T}}$ of an FTC, $\bf T$. More specifically, we construct a continuous map from the noncommutative Balmer spectrum of an FTC, $\bf T$, to the $\text{Proj}$ of the categorical center $C^\bullet_{\underline{\bf T}}$, and prove that this map is surjective under a weaker finite generation assumption for $\bf T$ than the one conjectured by Etingof-Ostrik. Under stronger assumptions, we prove that (i) the map is homeomorphism and (ii) the two-sided thick ideals of $\underline{\bf T}$ are classified by the specialization closed subsets of $\text{Proj} C^\bullet_{\underline{\bf T}}$. We conjecture that both results hold for all FTCs. Many examples are presented that demonstrate how in important cases $C^\bullet_{\underline{\bf T}}$ arises as a fixed point subring of $R^\bullet_{\underline{\bf T}}$ and how the two-sided thick ideals of $\underline{\bf T}$ are determined in a uniform fashion. The majority of our results are proved in the greater generality of monoidal triangulated categories., Comment: Appendix B has been revised from the prior version after considering comments from Greg Stevenson

In this paper we produce infinite families of counterexamples to Jantzen's question posed in 1980 on the existence of Weyl $p$-filtrations for Weyl modules for an algebraic group and Donkin's Tilting Module Conjecture formulated in 1990. New techniques to exhibit explicit examples are provided along with methods to produce counterexamples in large rank from counterexamples in small rank. Counterexamples can be produced via our methods for all groups other than when the root system is of type $\rm{A}_{n}$ or $\rm{B}_{2}$.

In this paper the authors provide a complete answer to Donkin's Tilting Module Conjecture for all rank $2$ semisimple algebraic groups and $\text{SL}_{4}(k)$ where $k$ is an algebraically closed field of characteristic $p>0$. In the process, new techniques are introduced involving the existence of $(p,r)$-filtrations, Lusztig's character formula, and the $G_{r}$T-radical series for baby Verma modules.

The problem of whether the cohomological support map of a finite dimensional Hopf algebra has the tensor product property has attracted a lot of attention following the earlier developments on representations of finite group schemes. Many authors have focussed on concrete situations where positive and negative results have been obtained by direct arguments. In this paper we demonstrate that it is natural to study questions involving the tensor product property in the broader setting of a monoidal triangulated category. We give an intrinsic characterization by proving that the tensor product property for the universal support datum is equivalent to complete primeness of the categorical spectrum. From these results one obtains information for other support data, including the cohomological one. Two theorems are proved giving compete primeness and non-complete primeness in certain general settings. As an illustration of the methods, we give a proof of a recent conjecture of Negron and Pevtsova on the tensor product property for the cohomological support maps for the small quantum Borel algebras for all complex simple Lie algebras., Comment: 20 pages

In this paper the authors introduce an analog of the nilpotent cone, ${\mathcal N}$, for a classical Lie superalgebra, ${\mathfrak g}$, that generalizes the definition for the nilpotent cone for semisimple Lie algebras. For a classical simple Lie superalgebra, ${\mathfrak g}={\mathfrak g}_{\bar{0}}\oplus {\mathfrak g}_{\bar{1}}$ with $\text{Lie }G_{\bar{0}}={\mathfrak g}_{\bar{0}}$, it is shown that there are finitely many $G_{\bar{0}}$-orbits on ${\mathcal N}$. Later the authors prove that the Duflo-Serganova commuting variety, ${\mathcal X}$, is contained in ${\mathcal N}$ for any classical simple Lie superalgebra. Consequently, our finiteness result generalizes and extends the work of Duflo-Serganova on the commuting variety. Further applications are given at the end of the paper.

In this paper we determine the torsion free rank of the group of endotrivial modules for any finite group of Lie type, in both defining and non-defining characteristic. On our way to proving this, we classify the maximal rank $2$ elementary abelian $\ell$-subgroups in any finite group of Lie type, for any prime $\ell$, which may be of independent interest.

We develop a general noncommutative version of Balmer's tensor triangular geometry that is applicable to arbitrary monoidal triangulated categories (M$\Delta$Cs). Insight from noncommutative ring theory is used to obtain a framework for prime, semiprime, and completely prime (thick) ideals of an M$\Delta$C, ${\bf K}$, and then to associate to ${\bf K}$ a topological space--the Balmer spectrum $\operatorname{Spc} {\bf K}$. We develop a general framework for (noncommutative) support data, coming in three different flavors, and show that $\operatorname{Spc} {\bf K}$ is a universal terminal object for the first two notions (support and weak support). The first two types of support data are then used in a theorem that gives a method for the explicit classification of the thick (two-sided) ideals and the Balmer spectrum of an M$\Delta$C. The third type (quasi support) is used in another theorem that provides a method for the explicit classification of the thick right ideals of ${\bf K}$, which in turn can be applied to classify the thick two-sided ideals and $\operatorname{Spc} {\bf K}$. As a special case, our approach can be applied to the stable module categories of arbitrary finite dimensional Hopf algebras that are not necessarily cocommutative (or quasitriangular). We illustrate the general theorems with classifications of the Balmer spectra and thick two-sided/right ideals for the stable module categories of all small quantum groups for Borel subalgebras, and classifications of the Balmer spectra and thick two-sided ideals of Hopf algebras studied by Benson and Witherspoon., Comment: 34 pages

In this paper the authors investigate the $q$-Schur algebras of type B that were constructed earlier using coideal subalgebras for the quantum group of type A. The authors present a coordinate algebra type construction that allows us to realize these $q$-Schur algebras as the duals of the $d$th graded components of certain graded coalgebras. Under suitable conditions an isomorphism theorem is proved that demonstrates that the representation theory reduces to the $q$-Schur algebra of type A. This enables the authors to address the questions of cellularity, quasi-hereditariness and representation type of these algebras. Later it is shown that these algebras realize the $1$-faithful quasi hereditary covers of the Hecke algebras of type B. As a further consequence, the authors demonstrate that these algebras are Morita equivalent to Rouquier's finite-dimensional algebras that arise from the category ${\mathcal O}$ for rational Cherednik algebras for the Weyl group of type B. In particular, we have introduced a Schur-type functor that identifies the type B Knizhnik-Zamolodchikov functor., Comment: 32 pages. In version 2 the introduction/survey is improved as well as a gap is fixed. In version 3 we further improve the survey section

In this paper the authors produce a projective indecomposable module for the Frobenius kernel of a simple algebraic group in characteristic $p$ that is not the restriction of an indecomposable tilting module. This yields a counterexample to Donkin's longstanding Tilting Module Conjecture. The authors also produce a Weyl module that does not admit a $p$-Weyl filtration. This answers an old question of Jantzen, and also provides a counterexample to the $(p,r)$-Filtration Conjecture.

In this paper the authors introduce a class of parabolic subalgebras for classical simple Lie superalgebras associated to the detecting subalgebras introduced by Boe, Kujawa and Nakano. These parabolic subalgebras are shown to have good cohomological properties governed by the Bott-Borel-Weil theorem involving the zero component of the Lie superalgebra in conjunction with the odd roots. These results are later used to verify an open conjecture given by Boe, Kujawa and Nakano pertaining to the equality of various support varieties.

Let $G$ be a simple, simply connected algebraic group over an algebraically closed field of prime characteristic $p>0$. Recent work of Kildetoft and Nakano and of Sobaje has shown close connections between two long-standing conjectures of Donkin: one on tilting modules and the lifting of projective modules for Frobenius kernels of $G$ and another on the existence of certain filtrations of $G$-modules. A key question related to these conjectures is whether the tensor product of the $r$th Steinberg module with a simple module with $p^{r}$th restricted highest weight admits a good filtration. In this paper we verify this statement when (i) $p\geq 2h-4$ ($h$ is the Coxeter number), (ii) for all rank two groups, (iii) for $p\geq 3$ when the simple module corresponds to a fundamental weight and (iv) for a number of cases when the rank is less than or equal to five.

Let ${\mathcal H}_{q}(d)$ be the Iwahori-Hecke algebra for the symmetric group, where $q$ is a primitive $l$th root of unity. In this paper we develop a theory of support varieties which detects natural homological properties such as the complexity of modules. The theory the authors develop has a canonical description in an affine space where computations are tractable. The ideas involve the interplay with the computation of the cohomology ring due to Benson, Erdmann and Mikaelian, the theory of vertices due to Dipper and Du, and branching results for cohomology by Hemmer and Nakano. Calculations of support varieties and vertices are presented for permutation, Young and classes of Specht modules. Furthermore, a discussion of how the authors' results can be extended to other Hecke algebras for other classical groups is presented at the end of the paper.

Let $\mathfrak g$ be a complex simple Lie algebra and let $U_{\zeta}({\mathfrak g})$ be the corresponding Lusztig ${\mathbb Z}[q,q^{-1}]$-form of the quantized enveloping algebra specialized to an $\ell$th root of unity. Moreover, let $\mod(U_{\zeta}({\mathfrak g}))$ be the braided monoidal category of finite-dimensional modules for $U_{\zeta}({\mathfrak g})$. In this paper we classify the thick tensor ideals of $\mod(U_{\zeta}({\mathfrak g}))$ and compute the prime spectrum of the stable module category associated to $\text{mod}(U_{\zeta}({\mathfrak g}))$ as defined by Balmer.

The authors proved that a Weyl module for a simple algebraic group is irreducible over every field if and only if the module is isomorphic to the adjoint representation for $E_{8}$ or its highest weight is minuscule. In this paper, we prove an analogous criteria for irreducibility of Weyl modules over the quantum group $U_{\zeta}({\mathfrak g})$ where ${\mathfrak g}$ is a complex simple Lie algebra and $\zeta$ ranges over roots of unity.

In the representation theory of split reductive algebraic groups, it is well known that every Weyl module with minuscule highest weight is irreducible over every field. Also, the adjoint representation of $E_8$ is also irreducible over every field. In this paper, we prove a converse to these statements, as conjectured by Gross: if a Weyl module is irreducible over every field, it must be either one of these, or trivially constructed from one of these.

Let $G$ be an affine algebraic group scheme over an algebraically closed field $k$ of characteristic $p>0$, and let $G_r$ denote the $r$-th Frobenius kernel of $G$. Motivated by recent work of Friedlander, the authors investigate the class of mock injective $G$-modules, which are defined to be those rational $G$-modules that are injective on restriction to $G_r$ for all $r\geq 1$. In this paper the authors provide necessary and sufficient conditions for the existence of non-injective mock injective $G$-modules, thereby answering a question raised by Friedlander. Furthermore, the authors investigate the existence of non-injective mock injectives with simple socles. Interesting cases are discovered that show that this can occur for reductive groups, but will not occur for their Borel subgroups.

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.

Let $G$ be a finite group such that $\text{SL}(n,q)\subseteq G \subseteq \text{GL}(n,q)$ and $Z$ be a central subgroup of $G$. In this paper we determine the group $T(G/Z)$ consisting of the equivalence classes of endotrivial $k(G/Z)$-modules where $k$ is an algebraically closed field of characteristic $p$ such that $p$ does not divide $q$. The results in this paper complete the classification of endotrivial modules for all finite groups of Lie Type $A$, initiated earlier by the authors.

The complexity of a module is an important homological invariant that measures the polynomial rate of growth of its minimal projective resolution. For the symmetric group $\Sigma_n$, the Lie module $\mathsf{Lie}(n)$ has attracted a great deal of interest in recent years. We prove here that the complexity of $\mathsf{Lie}(n)$ in characteristic $p$ is $t$ where $p^t$ is the largest power of $p$ dividing $n$, thus proving a conjecture of Erdmann, Lim and Tan. The proof uses work of Arone and Kankaanrinta which describes the homology $\operatorname{H}_\bullet(\Sigma_n, \mathsf{Lie}(n))$ and earlier work of Hemmer and Nakano on complexity for modules over $\Sigma_n$ that involves restriction to Young subgroups.

The representation theory of semisimple algebraic groups over the complex numbers (equivalently, semisimple complex Lie algebras or Lie groups, or real compact Lie groups) and the question of whether a given representation is symplectic or orthogonal has been solved over the complex numbers since at least the 1950s. Similar results for Weyl modules of split reductive groups over fields of characteristic different from 2 hold by using similar proofs. This paper considers analogues of these results for simple, induced and tilting modules of split reductive groups over fields of prime characteristic as well as a complete answer for Weyl modules over fields of characteristic 2.

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{Lie }U$ with coefficients in $k$ is determined, as well as the third $G_{r}$-cohomology with coefficients in the induced modules $H^{0}(\lambda)$.

This paper surveys results on the connections between the cohomology for algebraic groups, finite groups and Frobenius kernels that were presented at the Workshop and Summer School on Lie and Representation Theory at East China Normal University during July 2009.

In this paper we investigate Donkin's $(p,r)$-Filtration Conjecture, and present two proofs of the "if" direction of the statement when $p\geq 2h-2$. One proof involves the investigation of when the tensor product between the Steinberg module and a simple module has a good filtration. One of our main results shows that this holds under suitable requirements on the highest weight of the simple module. The second proof involves recasting Donkin's Conjecture in terms of the identifications of projective indecomposable $G_{r}$-modules with certain tilting $G$-modules, and establishing necessary cohomological criteria for the $(p,r)$-filtration conjecture to hold.

Suppose that $G$ is a finite group such that $\operatorname{SL}(n,q)\subseteq G \subseteq \operatorname{GL}(n,q)$, and that $Z$ is a central subgroup of $G$. Let $T(G/Z)$ be the abelian group of equivalence classes of endotrivial $k(G/Z)$-modules, where $k$ is an algebraically closed field of characteristic~$p$ not dividing $q$. We show that the torsion free rank of $T(G/Z)$ is at most one, and we determine $T(G/Z)$ in the case that the Sylow $p$-subgroup of $G$ is abelian and nontrivial. The proofs for the torsion subgroup of $T(G/Z)$ use the theory of Young modules for $\operatorname{GL}(n,q)$ and a new method due to Balmer for computing the kernel of restrictions in the group of endotrivial modules.

Tensor triangular geometry as introduced by Balmer is a powerful idea which can be used to extract the ambient geometry from a given tensor triangulated category. In this paper we provide a general setting for a compactly generated tensor triangulated category which enables one to classify thick tensor ideals and the Balmer spectrum. For a classical Lie superalgebra ${\mathfrak g}={\mathfrak g}_{\bar{0}}\oplus {\mathfrak g}_{\bar{1}}$, we construct a Zariski space from a detecting subalgebra of ${\mathfrak g}$ and demonstrate that this topological space governs the tensor triangular geometry for the category of finite dimensional ${\mathfrak g}$-modules which are semisimple over ${\mathfrak g}_{\bar{0}}$., Comment: to appear in Advances in Mathematics

Let $G$ be a connected reductive algebraic group and $B$ be a Borel subgroup defined over an algebraically closed field of characteristic $p>0$. In this paper, the authors study the existence of generic $G$-cohomology and its stability with rational $G$-cohomology groups via the use of methods from the authors' earlier work. New results on the vanishing of $G$ and $B$-cohomology groups are presented. Furthermore, vanishing ranges for the associated finite group cohomology of $G({\mathbb F}_{q})$ are established which generalizes earlier work of Hiller, in addition to stability ranges for generic cohomology which improves on seminal work of Cline, Parshall, Scott and van der Kallen., Comment: Corrected proof of Theorem 5.1.1, added Remark 5.2.3

In this paper the authors investigate the structure the restricted Lie algebra cohomology of p-nilpotent Lie algebras with trivial p-power operation. Our study is facilitated by a spectral sequence whose $E_{2}$-term is the tensor product of the symmetric algebra on the dual of the Lie algebra with the ordinary Lie algebra cohomology and converges to the restricted cohomology ring. In many cases this spectral sequence collapses, and thus, the restricted Lie algebra cohomology is Cohen-Macaulay. A stronger result involves the collapsing of the spectral sequence and the cohomology ring identifying as ring with the $E_{2}$-term. We present criteria for the collapsing of this spectral sequence and provide many examples where the ring isomorphism fails. Furthermore, we show that there are instances when the spectral sequence does not collapse and yields cohomology rings which are not Cohen-Macaulay.

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., Comment: 13 pages

Let G be a simple, simply connected algebraic group defined over an algebraically closed field k of positive characteristic p. Let \sigma:G->G be a strict endomorphism (i. e., the subgroup G(\sigma) of \sigma-fixed points is finite). Also, let G_\sigma\ be the scheme-theoretic kernel of \sigma, an infinitesimal subgroup of G. This paper shows that the degree m cohomology H^m(G(\sigma),L) of any irreducible kG(\sigma)-module L is bounded by a constant depending on the root system \Phi\ of G and the integer m. A similar result holds for the degree m cohomology of G_\sigma. These bounds are actually established for the degree m extension groups Ext^m_{G(\sigma)}(L,L') between irreducible kG(\sigma)-modules L and L', with again a similar result holding for G_\sigma. 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(\sigma) and G_{\sigma}, and even for the lengths of the underlying PIMs. These bounds, which depend only on the root system of G and the "height" of \sigma, provide in a strong way an affirmative answer to a question of Hiss, for the special case of finite groups G(\sigma) of Lie type in the defining characteristic., Comment: 22 pages

The computation of the cohomology for finite groups of Lie type in the describing characteristic is a challenging and difficult problem. In earlier work, the authors constructed an induction functor which takes modules over the finite group of Lie type to modules for the ambient algebraic group G. In particular this functor when applied to the trivial module yields a natural G-filtration. This filtration was utilized in the earlier work to determine the first non-trivial cohomology class when the underlying root system is of type A_{n} or C_{n}. In this paper the authors extend these results toward locating the first non-trivial cohomology classes for the remaining finite groups of Lie type (i.e., the underlying root system is of type B_{n}, C_{n}, D_{n}, E_{6}, E_{7}, E_{8}, F_{4}, and G_{2}) when the prime is larger than the Coxeter number.

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(\lambda)$ be the simple rational $G$-module of highest weight $\lambda$. In this paper we establish sufficient criteria for the restriction map in second cohomology $H^2(G,L(\lambda)) \rightarrow H^2(G(\mathbb{F}_q),L(\lambda))$ to be an isomorphism. In particular, the restriction map is an isomorphism under very mild conditions on $p$ and $q$ provided $\lambda$ 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(\lambda))$ in terms of rational cohomology for $G$. We apply our techniques to compute $H^2(G(\mathbb{F}_q),L(\lambda))$ in a wide range of cases, and obtain new examples of nonzero second cohomology for finite groups of Lie type., Comment: 29 pages, GAP code included as an ancillary file. Rewritten to include the adjoint representation in types An, B2, and Cn. Corrections made to Theorem 3.1.3 and subsequent dependent results in Sections 3-4. Additional minor corrections and improvements also implemented

Let $\mathfrak{g}=\mathfrak{g}_{\bar{0}}\oplus \mathfrak{g}_{\bar{1}}$ be a classical Lie superalgebra and $\mathcal{F}$ be the category of finite dimensional $\mathfrak{g}$-supermodules which are completely reducible over the reductive Lie algebra $\mathfrak{g}_{\bar{0}}$. In an earlier paper the authors demonstrated that for any module $M$ in $\mathcal{F}$ the rate of growth of the minimal projective resolution (i.e., the complexity of $M$) is bounded by the dimension of $\mathfrak{g}_{\bar{1}}$. In this paper we compute the complexity of the simple modules and the Kac modules for the Lie superalgebra $\mathfrak{gl}(m|n)$. In both cases we show that the complexity is related to the atypicality of the block containing the module., Comment: 32 pages

It is well known that if G is a finite group then the group of endotrivial modules is finitely generated. In this paper we prove that for an arbitrary finite group scheme G, and for any fixed integer n > 0, there are only finitely many isomorphism classes of endotrivial modules of dimension n. This provides evidence to support the speculation that the group of endotrivial modules for a finite group scheme is always finitely generated. The result also has some applications to questions about lifting and twisting the structure of endotrivial modules in the case that G is an infinitesimal group scheme associated to an algebraic group.

Let $\zeta$ be a complex $\ell$th root of unity for an odd integer $\ell>1$. For any complex simple Lie algebra $\mathfrak g$, let $u_\zeta=u_\zeta({\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_\zeta,{\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_\zeta$-module, then $\opH^\bullet(u_\zeta,M)$ is a finitely generated $\opH^\bullet(u_\zeta,\mathbb C)$-module, and we obtain new results on the theory of support varieties for $u_\zeta$.

In this paper we use invariant theory to develop the notion of cohomological detection for Type I classical Lie superalgebras. In particular we show that the cohomology with coefficients in an arbitrary module can be detected on smaller subalgebras. These results are used later to affirmatively answer questions, which were originally posed in \cite{BKN1} and \cite{BaKN}, about realizing support varieties for Lie superalgebras via rank varieties constructed for the smaller detecting subalgebras.

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(\lambda))$ where $L(\lambda)$ is the simple $G$-module of highest weight $\lambda$. Under certain very mild conditions on $p$ and $q$, we are able to completely describe the first cohomology group when $\lambda$ 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 $\lambda$ is a minimal nonzero dominant weight., Comment: 24 pages, 5 figures, 6 tables. Typos corrected and some proofs streamlined over previous version