Showing 1–32 of 32 results for author: Pevtsova, J

Locally dualisable modular representations and local regularity

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: This work concerns the stable module category of a finite group over a field of characteristic dividing the group order. The minimal localising tensor ideals correspond to the non-maximal homogeneous prime ideals in the cohomology ring of the group. Given such a prime ideal, a number of characterisations of the dualisable objects in the corresponding tensor ideal are given. One characterisation of… ▽ More This work concerns the stable module category of a finite group over a field of characteristic dividing the group order. The minimal localising tensor ideals correspond to the non-maximal homogeneous prime ideals in the cohomology ring of the group. Given such a prime ideal, a number of characterisations of the dualisable objects in the corresponding tensor ideal are given. One characterisation of interest is that they are exactly the modules whose restriction along a corresponding $π$-point are finite dimensional plus projective. A key insight is the identification of a special property of the stable module category that controls the cohomological behaviour of local dualisable objects. This property, introduced in this work for general triangulated categories and called local regularity, is related to strong generation. A major part of the paper is devoted to develo** this notion and investigating its ramifications for various special classes of objects in tensor triangulated categories. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 34 pages

MSC Class: 20C20 (primary); 18G80; 20J06 (secondary)

Lattices over finite group schemes and stratification

Authors: Tobias Barthel, Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full subcategory of all $G$-modules projective over $R$ generated by the lattices. The stable category of such $G$-modules is a rigidly-compactly generated, tensor triang… ▽ More This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full subcategory of all $G$-modules projective over $R$ generated by the lattices. The stable category of such $G$-modules is a rigidly-compactly generated, tensor triangulated category. The main result is that this stable category is stratified and costratified by the natural action of the cohomology ring of $G$. Applications include formulas for computing the support and cosupport of tensor products and the module of homomorphisms, and a classification of the thick ideals in the stable category of lattices. △ Less

Submitted 14 October, 2023; v1 submitted 30 July, 2023; originally announced July 2023.

Comments: 35 pages. The Introductions, and sections 2 and 5 have been rewritten significantly

MSC Class: 16G30 (primary); 18G80; 20C10; 20J06 (secondary)

Local dualisable objects in local algebra

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these local dualisable objects is established. Generalisations to other related contexts are discussed. We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these local dualisable objects is established. Generalisations to other related contexts are discussed. △ Less

Submitted 16 February, 2023; originally announced February 2023.

Comments: 15 pages

MSC Class: 13D09 (primary); 18G80; 14F08 (secondary)

The half-quantum flag variety and representations for small quantum groups

Authors: Cris Negron, Julia Pevtsova

Abstract: Consider an almost-simple algebraic group G and a choice of complex root of unity q. We study the category of quasi-coherent sheaves $\mathscr{X}_q$ on the half-quantum flag variety, which itself forms a sheaf of tensor categories over the classical flag variety G/B. We prove that the category of small quantum group representations for G at q embeds fully faithfully into the global sections of… ▽ More Consider an almost-simple algebraic group G and a choice of complex root of unity q. We study the category of quasi-coherent sheaves $\mathscr{X}_q$ on the half-quantum flag variety, which itself forms a sheaf of tensor categories over the classical flag variety G/B. We prove that the category of small quantum group representations for G at q embeds fully faithfully into the global sections of $\mathscr{X}_q$, and that the fibers of $\mathscr{X}_q$ over G/B recover the tensor categories of representations for the small quantum Borels. These relationships hold both at an abelian and derived level. Subsequently, reduction arguments, from the small quantum group to its Borels, appear algebrogeometrically as "fiber checking" arguments over $\mathscr{X}_q$. We conjecture that $\mathscr{X}_q$ also contains the category of dg sheaves over the Springer resolution as a full monoidal subcategory, at the derived level, and hence provides a monoidal correspondence between the Springer resolution and the small quantum group. We relate this conjecture to a known equivalence between dg sheaves on the Springer resolution and the principal block in the derived category of quantum group representations [ABG04, BL07]. △ Less

Submitted 23 December, 2022; originally announced December 2022.

Comments: 55 pages, replaces Part I of arXiv:2203.10764

Report number: HIM-Spectral-2022

Fibrewise stratification of group representations

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for the fibres of $A$ over the spectrum of $R$. Under certain natural conditions on the cohomology of $A$ over $R$, this yields a stratification of the stable catego… ▽ More Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for the fibres of $A$ over the spectrum of $R$. Under certain natural conditions on the cohomology of $A$ over $R$, this yields a stratification of the stable category. These results apply when $A$ is the group algebra over $R$ of a finite group, and also when $A$ is the exterior algebra on a finite free $R$-module. △ Less

Submitted 13 June, 2022; v1 submitted 21 April, 2022; originally announced April 2022.

Comments: 26 pages. Clarified connections to the work of Lau (arXiv:2101.01446). The introduction has been rewritten a little

MSC Class: 16G30 (primary); 18G80; 20C10; 20J06 (secondary)

Support theory for the small quantum group and the Springer resolution

Authors: Cris Negron, Julia Pevtsova

Abstract: We consider the small quantum group u_q(G), for an almost-simple algebraic group G over the complex numbers and a root of unity q of sufficiently large order. We show that the Balmer spectrum for the small quantum group in type A admits a continuous surjection P(Ñ) \to Spec(stab u_q(G)) from the (projectivized) Springer resolution. This surjection is shown to be a homeomorphism over a dense open s… ▽ More We consider the small quantum group u_q(G), for an almost-simple algebraic group G over the complex numbers and a root of unity q of sufficiently large order. We show that the Balmer spectrum for the small quantum group in type A admits a continuous surjection P(Ñ) \to Spec(stab u_q(G)) from the (projectivized) Springer resolution. This surjection is shown to be a homeomorphism over a dense open subset in the spectrum. In type A_1 we calculate the Balmer spectrum precisely, where it is shown to be the projectivized nilpotent cone. Our results extend to arbitrary Dynkin type provided certain conjectures hold for the small quantum Borel. At the conclusion of the paper we touch on relations with geometric representation theory and logarithmic TQFTs, as represented in works of Arkhipov-Bezrukavnikov-Ginzburg and Schweigert-Woike respectively. △ Less

Submitted 21 March, 2022; originally announced March 2022.

Comments: 83 pages, comments welcome

Hypersurface support and prime ideal spectra for stable categories

Authors: Cris Negron, Julia Pevtsova

Abstract: We use hypersurface support to classify thick (two-sided) ideals in the stable categories of representations for several families of finite-dimensional integrable Hopf algebras: bosonized quantum complete intersections, quantum Borels in type $A$, Drinfeld doubles of height 1 Borels in finite characteristic, and rings of functions on finite group schemes over a perfect field. We then identify the… ▽ More We use hypersurface support to classify thick (two-sided) ideals in the stable categories of representations for several families of finite-dimensional integrable Hopf algebras: bosonized quantum complete intersections, quantum Borels in type $A$, Drinfeld doubles of height 1 Borels in finite characteristic, and rings of functions on finite group schemes over a perfect field. We then identify the prime ideal (Balmer) spectra for these stable categories. In the curious case of functions on a finite group scheme $G$, the spectrum of the category is identified not with the spectrum of cohomology, but with the quotient of the spectrum of cohomology by the adjoint action of the subgroup of connected components $π_0(G)$ in $G$. △ Less

Submitted 26 August, 2021; v1 submitted 31 December, 2020; originally announced January 2021.

Comments: 43 pages, minor changes to the presentation

Journal ref: Ann. K-Th. 8 (2023) 25-79

Hypersurface support for noncommutative complete intersections

Authors: Cris Negron, Julia Pevtsova

Abstract: We introduce an infinite variant of hypersurface support for finite-dimensional, noncommutative complete intersections. By a noncommutative complete intersection we mean an algebra R which admits a smooth deformation $Q\to R$ by a Noetherian algebra $Q$ which is of finite global dimension. We show that hypersurface support defines a support theory for the big singularity category $Sing(R)$, and th… ▽ More We introduce an infinite variant of hypersurface support for finite-dimensional, noncommutative complete intersections. By a noncommutative complete intersection we mean an algebra R which admits a smooth deformation $Q\to R$ by a Noetherian algebra $Q$ which is of finite global dimension. We show that hypersurface support defines a support theory for the big singularity category $Sing(R)$, and that the support of an object in $Sing(R)$ vanishes if and only if the object itself vanishes. Our work is inspired by Avramov and Buchweitz' support theory for (commutative) local complete intersections. In a companion piece, we employ hypersurface support, and the results of the present paper, to classify thick ideals in stable categories for a number of families of finite-dimensional Hopf algebras. △ Less

Submitted 31 December, 2020; originally announced December 2020.

Comments: 20 pages

Stratification and duality for unipotent finite supergroup schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the stable module category of a unipotent finite supergroup scheme. We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the stable module category of a unipotent finite supergroup scheme. △ Less

Submitted 20 October, 2020; originally announced October 2020.

MSC Class: 16G10 (primary); 20C20; 20G10 20J06; 18E30

Rank varieties and $π$-points for elementary supergroup schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: We develop a support theory for elementary supergroup schemes, over a field of positive characteristic $p\ge 3$, starting with a definition of a $π$-point generalising cyclic shifted subgroups of Carlson for elementary abelian groups and $π$-points of Friedlander and Pevtsova for finite group schemes. These are defined in terms of maps from the graded algebra $k[t,τ]/(t^p-τ^2)$, where $t$ has even… ▽ More We develop a support theory for elementary supergroup schemes, over a field of positive characteristic $p\ge 3$, starting with a definition of a $π$-point generalising cyclic shifted subgroups of Carlson for elementary abelian groups and $π$-points of Friedlander and Pevtsova for finite group schemes. These are defined in terms of maps from the graded algebra $k[t,τ]/(t^p-τ^2)$, where $t$ has even degree and $τ$ has odd degree. The strength of the theory is demonstrated by classifying the parity change invariant localising subcategories of the stable module category of an elementary supergroup scheme. △ Less

Submitted 6 August, 2020; originally announced August 2020.

Comments: 25 pages

MSC Class: 18G80; 13E10; 16W55; 16T05

Support for integrable Hopf algebras via noncommutative hypersurfaces

Authors: Cris Negron, Julia Pevtsova

Abstract: We consider finite-dimensional Hopf algebras $u$ which admit a smooth deformation $U\to u$ by a Noetherian Hopf algebra $U$ of finite global dimension. Examples of such Hopf algebras include small quantum groups over the complex numbers, restricted envelo** algebras in finite characteristic, and Drinfeld doubles of height $1$ group schemes. We provide a means of analyzing (cohomological) support… ▽ More We consider finite-dimensional Hopf algebras $u$ which admit a smooth deformation $U\to u$ by a Noetherian Hopf algebra $U$ of finite global dimension. Examples of such Hopf algebras include small quantum groups over the complex numbers, restricted envelo** algebras in finite characteristic, and Drinfeld doubles of height $1$ group schemes. We provide a means of analyzing (cohomological) support for representations over such $u$, via the singularity categories of the hypersurfaces $U/(f)$ associated to functions $f$ on the corresponding parametrization space. We use this hypersurface approach to establish the tensor product property for cohomological support, for the following examples: functions on a finite group scheme, Drinfeld doubles of certain height 1 solvable finite group schemes, bosonized quantum complete intersections, and the small quantum Borel in type $A$. △ Less

Submitted 30 December, 2020; v1 submitted 6 May, 2020; originally announced May 2020.

Comments: 52 pages, minor changes to text

Cohomology rings of finite-dimensional pointed Hopf algebras over abelian groups

Authors: Nicolás Andruskiewitsch, Iván Angiono, Julia Pevtsova, Sarah Witherspoon

Abstract: We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite generation of cohomology of finite dimensional Nichols algebras of diagonal type. For the Nichols algebras we do a detailed analysis of cohomology via the Anick resolut… ▽ More We show that the cohomology ring of a finite-dimensional complex pointed Hopf algebra with an abelian group of group-like elements is finitely generated. Our strategy has three major steps. We first reduce the problem to the finite generation of cohomology of finite dimensional Nichols algebras of diagonal type. For the Nichols algebras we do a detailed analysis of cohomology via the Anick resolution reducing the problem further to specific combinatorial properties. Finally, to check these properties we turn to the classification of Nichols algebras of diagonal type due to Heckenberger. In this paper we complete the verification of these combinatorial properties for major parametric families, including Nichols algebras of Cartan and super types and develop all the theoretical foundations necessary for the case-by-case analysis. The remaining discrete families are addressed in a separate publication. As an application of the main theorem we deduce finite generation of cohomology for other classes of finite-dimensional Hopf algebras, including basic Hopf algebras with abelian groups of characters and finite quotients of quantum groups at roots of one. △ Less

Submitted 1 August, 2021; v1 submitted 15 April, 2020; originally announced April 2020.

Comments: 120 pages; the last version has only exposition changes

MSC Class: 16E40; 16T20

Representations and cohomology of a family of finite supergroup schemes

Authors: Dave Benson, Julia Pevtsova

Abstract: We examine the cohomology and representation theory of a family of finite supergroup schemes of the form $(\mathbb G_a^-\times \mathbb G_a^-)\rtimes (\mathbb G_{a(r)}\times (\mathbb Z/p)^s)$. In particular, we show that a certain relation holds in the cohomology ring, and deduce that for finite supergroup schemes having this as a quotient, both cohomology mod nilpotents and projectivity of modules… ▽ More We examine the cohomology and representation theory of a family of finite supergroup schemes of the form $(\mathbb G_a^-\times \mathbb G_a^-)\rtimes (\mathbb G_{a(r)}\times (\mathbb Z/p)^s)$. In particular, we show that a certain relation holds in the cohomology ring, and deduce that for finite supergroup schemes having this as a quotient, both cohomology mod nilpotents and projectivity of modules is detected on proper sub-super\-group schemes. This special case feeds into the proof of a more general detection theorem for unipotent finite supergroup schemes, in a separate work of the authors joint with Iyengar and Krause. We also completely determine the cohomology ring in the smallest cases, namely $(\mathbb G_a^- \times \mathbb G_a^-) \rtimes \mathbb G_{a(1)}$ and $(\mathbb G_a^- \times \mathbb G_a^-) \rtimes \mathbb Z/p$. The computation uses the local cohomology spectral sequence for group cohomology, which we describe in the context of finite supergroup schemes. △ Less

Submitted 8 May, 2019; originally announced May 2019.

Comments: 19 pages

Local duality for the singularity category of a finite dimensional Gorenstein algebra

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the derived category, for each homog… ▽ More A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the derived category, for each homogeneous prime ideal $\mathfrak{p}$ arising from the action of a commutative ring via Hochschild cohomology. △ Less

Submitted 4 May, 2019; originally announced May 2019.

Comments: 19 pages

MSC Class: 16G10 (primary); 16G50; 16E65; 16E35

Detecting nilpotence and projectivity over finite unipotent supergroup schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: 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 i… ▽ More 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 projective. The statements are motivated by, and are analogues of, similar results for finite groups and finite group schemes, but the structure of elementary supergroups schemes necessary for detection is more complicated than in either of these cases. One application is a detection theorem for the nilpotence of cohomology, and projectivity of modules, over finite dimensional Hopf subalgebras of the Steenrod algebra. △ Less

Submitted 6 July, 2019; v1 submitted 24 January, 2019; originally announced January 2019.

Comments: 46 pages; Sections 12 on Z-graded group schemes and the Steenrod algebra is revised compared to the previous version

MSC Class: 16G10 (primary); 20C20; 20G10; 20J06 (secondary)

Local duality for representations of finite group schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the stable category, for each homogeneous prime ideal $\mathfrak{p}$ in the cohomology ring of the group scheme. A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the stable category, for each homogeneous prime ideal $\mathfrak{p}$ in the cohomology ring of the group scheme. △ Less

Submitted 14 July, 2017; v1 submitted 13 November, 2016; originally announced November 2016.

Comments: 24 pages. This version corrects a mistake in the statement of Theorem 3.1; see also Theorem 1.4, and Examples 3.6 and 3.7. References have been updated

MSC Class: 16G10 (primary); 20C20; 20G10 20J06; 18E30 (secondary)

Journal ref: Compositio Math. 155 (2019) 424-453

Colocalising subcategories of modules over finite group schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: The Hom closed colocalising subcategories of the stable module category of a finite group scheme are classified. This complements the classification of the tensor closed localising subcategories in our previous work. Both classifications involve pi-points in the sense of Friedlander and Pevtsova. We identify for each pi-point an endofinite module which both generates the corresponding minimal loca… ▽ More The Hom closed colocalising subcategories of the stable module category of a finite group scheme are classified. This complements the classification of the tensor closed localising subcategories in our previous work. Both classifications involve pi-points in the sense of Friedlander and Pevtsova. We identify for each pi-point an endofinite module which both generates the corresponding minimal localising subcategory and cogenerates the corresponding minimal colocalising subcategory. △ Less

Submitted 1 November, 2016; v1 submitted 2 April, 2016; originally announced April 2016.

Comments: 17 pages, final version to appear in Annals of K-Theory. The duality statement in Theorem 3.1 of v1 has been removed since it is incorrect, and some subsequent arguments were modified

MSC Class: 16G10 (primary); 18E30; 20C20; 20G10 20J06 (secondary)

Journal ref: Ann. K-Th. 2 (2017) 387-408

Stratification for module categories of finite group schemes

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: The tensor ideal localising subcategories of the stable module category of all, including infinite dimensional, representations of a finite group scheme over a field of positive characteristic are classified. Various applications concerning the structure of the stable module category and the behavior of support and cosupport under restriction and induction are presented. The tensor ideal localising subcategories of the stable module category of all, including infinite dimensional, representations of a finite group scheme over a field of positive characteristic are classified. Various applications concerning the structure of the stable module category and the behavior of support and cosupport under restriction and induction are presented. △ Less

Submitted 6 July, 2017; v1 submitted 22 October, 2015; originally announced October 2015.

Comments: 38 pages. Minor changes from the previous version. This paper will appear in the Journal of the American Mathematical Society

MSC Class: 16G10 (primary); 20C20; 20G10 20J06 (secondary)

Stratification and $π$-cosupport: Finite groups

Authors: Dave Benson, Srikanth B. Iyengar, Henning Krause, Julia Pevtsova

Abstract: We introduce the notion of $π$-cosupport as a new tool for the stable module category of a finite group scheme. In the case of a finite group, we use this to give a new proof of the classification of tensor ideal localising subcategories. In a sequel to this paper, we carry out the corresponding classification for finite group schemes. We introduce the notion of $π$-cosupport as a new tool for the stable module category of a finite group scheme. In the case of a finite group, we use this to give a new proof of the classification of tensor ideal localising subcategories. In a sequel to this paper, we carry out the corresponding classification for finite group schemes. △ Less

Submitted 6 January, 2017; v1 submitted 25 May, 2015; originally announced May 2015.

Comments: 17 pages; minor changes. This will appear in the Math. Zeitschrift

MSC Class: 16G10 (primary); 20C20; 20G10; 20J06 (secondary)

Varieties of elementary subalgebras of maximal dimension for modular Lie algebras

Authors: Julia Pevtsova, Jim Stark

Abstract: Motivated by questions in modular representation theory, Carlson, Friedlander, and the first author introduced the varieties E(r, g) of r-dimensional abelian p-nilpotent subalgebras of a p-restricted Lie algebra g. In this paper, we identify the varieties E(r, g) for a reductive restricted Lie algebra g and r the maximal dimension of an abelian p-nilpotent subalgebra of g. Motivated by questions in modular representation theory, Carlson, Friedlander, and the first author introduced the varieties E(r, g) of r-dimensional abelian p-nilpotent subalgebras of a p-restricted Lie algebra g. In this paper, we identify the varieties E(r, g) for a reductive restricted Lie algebra g and r the maximal dimension of an abelian p-nilpotent subalgebra of g. △ Less

Submitted 3 March, 2015; originally announced March 2015.

Comments: 31 pages

MSC Class: 17B45; 17B50; 20G99

Representations and Cohomology of finite group schemes

Authors: Julia Pevtsova

Abstract: 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 $π$-p… ▽ More 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 infinitesimal group scheme $G$. In the last section we discuss varieties of elementary subalgebras of modular Lie algebras, generalizations of modules of constant Jordan type, and new constructions of bundles on projective varieties associated to a modular Lie algebra. △ Less

Submitted 23 September, 2014; originally announced September 2014.

Comments: 31 page

MSC Class: 20C20; 16G10; 20G10

Journal ref: Advances in Representation Theory of Algebras, EMS Series of Congress Reports, (2013), pp. 231-262

Vector Bundles Associated to Lie Algebras

Authors: Jon F. Carlson, Eric M. Friedlander, Julia Pevtsova

Abstract: We introduce and investigate a functorial construction which associates coherent sheaves to finite dimensional (restricted) representations of a restricted Lie algebra $\mathfrak g$. These are sheaves on locally closed subvarieties of the projective variety $\mathbb E(r,\mathfrak g)$ of elementary subalgebras of $\mathfrak g$ of dimension $r$. We show that representations of constant radical or so… ▽ More We introduce and investigate a functorial construction which associates coherent sheaves to finite dimensional (restricted) representations of a restricted Lie algebra $\mathfrak g$. These are sheaves on locally closed subvarieties of the projective variety $\mathbb E(r,\mathfrak g)$ of elementary subalgebras of $\mathfrak g$ of dimension $r$. We show that representations of constant radical or socle rank studied in \cite{CFP3} which generalize modules of constant Jordan type lead to algebraic vector bundles on $\mathbb E(r,\mathfrak g)$. For $\mathfrak g = Lie(G)$, the Lie algebra of an algebraic group $G$, rational representations of $G$ enable us to realize familiar algebraic vector bundles on $G$-orbits of $\mathbb E(r, \mathfrak g)$. △ Less

Submitted 18 August, 2014; originally announced August 2014.

Comments: Replaces second half of arXiv:1207.5898 . To appear in Crelle

MSC Class: 17B50; 16G10

Elementary Subalgebrs of Lie Algebras

Authors: Jon F. Carlson, Eric M. Friedlander, Julia Pevtsova

Abstract: We initiate the investigation of the projective varieties $\mathbb E(r,\mathfrak g)$ of elementary subalgebras of dimension $r$ of a ($p$-restricted) Lie algebra $\mathfrak g$ for various $r \geq 1$. These varieties $\mathbb E(r,\mathfrak g)$ are the natural ambient varieties for generalized support varieties for restricted representations of $\mathfrak g$. We identify these varieties in special c… ▽ More We initiate the investigation of the projective varieties $\mathbb E(r,\mathfrak g)$ of elementary subalgebras of dimension $r$ of a ($p$-restricted) Lie algebra $\mathfrak g$ for various $r \geq 1$. These varieties $\mathbb E(r,\mathfrak g)$ are the natural ambient varieties for generalized support varieties for restricted representations of $\mathfrak g$. We identify these varieties in special cases, revealing their interesting and varied geometric structures. We also introduce invariants for a finite dimensional $\mathfrak u(\mathfrak g)$-module $M$, the local $(r,j)$-radical rank and local $(r,j)$-socle rank, functions which are lower/upper semicontinuous on $\mathbb E(r,\mathfrak g)$. Examples are given of $\mathfrak u(\mathfrak g)$-modules for which some of these rank functions are constant. △ Less

Submitted 18 August, 2014; originally announced August 2014.

Comments: Replaces 1st half of arXiv:1207.5898 (with same title). To appear in the Journal of Algebra

MSC Class: 17B50; 16G10

Tensor ideals and varieties for modules of quantum elementary abelian groups

Authors: Julia Pevtsova, Sarah Witherspoon

Abstract: In a previous paper we constructed rank and support variety theories for "quantum elementary abelian groups," that is, tensor products of copies of Taft algebras. In this paper we use both variety theories to classify the thick tensor ideals in the stable module category, and to prove a tensor product property for the support varieties. In a previous paper we constructed rank and support variety theories for "quantum elementary abelian groups," that is, tensor products of copies of Taft algebras. In this paper we use both variety theories to classify the thick tensor ideals in the stable module category, and to prove a tensor product property for the support varieties. △ Less

Submitted 28 January, 2015; v1 submitted 18 December, 2013; originally announced December 2013.

Comments: 15 pages, minor corrections to Section 4, to appear in Proceedings of the American Mathematical Society

Elementary subalgebras of Lie algebras

Authors: Jon F. Carlson, Eric M. Friedlander, Julia Pevtsova

Abstract: We initiate the investigation of the projective variety $E(r,g)$ of elementary subalgebras of dimension $r$ of a ($p$-restricted) Lie algebra $g$ for some $r > 0$ and demonstrate that this variety encodes considerable information about the representations of $g$. For various choices of $g$ and $r$, we identify the geometric structure of $E(r,g)$. We show that special classes of (restricted) repres… ▽ More We initiate the investigation of the projective variety $E(r,g)$ of elementary subalgebras of dimension $r$ of a ($p$-restricted) Lie algebra $g$ for some $r > 0$ and demonstrate that this variety encodes considerable information about the representations of $g$. For various choices of $g$ and $r$, we identify the geometric structure of $E(r,g)$. We show that special classes of (restricted) representations of $g$ lead to algebraic vector bundles on $E(r,g)$. For $g = Lie(G)$ the Lie algebra of an algebraic group $G$, rational representations of $G$ enable us to realize familiar algebraic vector bundles on $G$-orbits of $E(r, g)$. △ Less

Submitted 23 September, 2014; v1 submitted 25 July, 2012; originally announced July 2012.

Comments: The paper has been split into two at the request of the referee, the first part has the same title as the older combined version

Representations of elementary abelian p-groups and bundles on Grassmannians

Authors: Jon F. Carlson, Eric M. Friedlander, Julia Pevtsova

Abstract: We initiate the study of representations of elementary abelian $p$-groups via restrictions to truncated polynomial subalgebras of the group algebra generated by $r$ nilpotent elements, $k[t_1,..., t_r]/(t^p_1,..., t_r^p)$. We introduce new geometric invariants based on the behavior of modules upon restrictions to such subalgebras. We also introduce modules of constant radical and socle type genera… ▽ More We initiate the study of representations of elementary abelian $p$-groups via restrictions to truncated polynomial subalgebras of the group algebra generated by $r$ nilpotent elements, $k[t_1,..., t_r]/(t^p_1,..., t_r^p)$. We introduce new geometric invariants based on the behavior of modules upon restrictions to such subalgebras. We also introduce modules of constant radical and socle type generalizing modules of constant Jordan type and provide several general constructions of modules with these properties. We show that modules of constant radical and socle type lead to families of algebraic vector bundles on Grassmannians and illustrate our theory with numerous examples. △ Less

Submitted 22 June, 2011; originally announced June 2011.

Generalized support varieties for finite group schemes

Authors: Eric M. Friedlander, Julia Pevtsova

Abstract: We construct two families of refinements of the (projectivized) support variety of a finite dimensional module $M$ for a finite group scheme $G$. For an arbitrary finite group scheme, we associate a family of {\it non maximal rank varieties} $Γ^j(G)_M$, $1\leq j \leq p-1$, to a $kG$-module $M$. For $G$ infinitesimal, we construct a finer family of locally closed subvarieties $V^{\ul a}(G)_M$ of th… ▽ More We construct two families of refinements of the (projectivized) support variety of a finite dimensional module $M$ for a finite group scheme $G$. For an arbitrary finite group scheme, we associate a family of {\it non maximal rank varieties} $Γ^j(G)_M$, $1\leq j \leq p-1$, to a $kG$-module $M$. For $G$ infinitesimal, we construct a finer family of locally closed subvarieties $V^{\ul a}(G)_M$ of the variety of one parameter subgroups of $G$ for any partition $\ul a$ of $\dim M$. For an arbitrary finite group scheme $G$, a $kG$-module $M$ of constant rank, and a cohomology class $ζ$ in $\HHH^1(G,M)$ we introduce the {\it zero locus} $Z(ζ) \subset Π(G)$. We show that $Z(ζ)$ is a closed subvariety, and relate it to the non-maximal rank varieties. We also extend the construction of $Z(ζ)$ to an arbitrary extension class $ζ\in \Ext^n_G(M,N)$ whenever $M$ and $N$ are $kG$-modules of constant Jordan type. △ Less

Submitted 21 June, 2011; originally announced June 2011.

MSC Class: 16G10; 20C20; 20G10

Journal ref: Documenta Mathematica, Extra Volume Suslin (2011) 191-217

A realization theorem for modules of constant Jordan type and vector bundles

Authors: David J. Benson, Julia Pevtsova

Abstract: Let E be an elementary abelian p-group of rank r and let k be a field of characteristic p. We introduce functors F_i from finitely generated kE-modules of constant Jordan type to vector bundles over projective space of dimension r-1. The fibers of these functors encode complete information about the Jordan type of the module. We prove that given any vector bundle of rank s on P^{r-1}, there is a k… ▽ More Let E be an elementary abelian p-group of rank r and let k be a field of characteristic p. We introduce functors F_i from finitely generated kE-modules of constant Jordan type to vector bundles over projective space of dimension r-1. The fibers of these functors encode complete information about the Jordan type of the module. We prove that given any vector bundle of rank s on P^{r-1}, there is a kE-module M of stable constant Jordan type [1]^s such that the functor F_1 applied to M yields the original vector bundle for p=2 and the Frobenius twist of the original vector bundle for p>2. We also prove that the theorem cannot be improved if p is odd, because if M is any module of stable constant Jordan type [1]^s then the Chern numbers c_1, ... ,c_{p-2} of F_1(M) are divisible by p. △ Less

Submitted 22 July, 2010; originally announced July 2010.

Comments: 14 pages

Cohomology of finite dimensional pointed Hopf algebras

Authors: M. Mastnak, J. Pevtsova, P. Schauenburg, S. Witherspoon

Abstract: We prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by Andruskiewitsch and Schneider of such Hopf algebras. Examples include all of Lusztig's small quantum groups, whose cohomology was first computed explicitly by Ginz… ▽ More We prove finite generation of the cohomology ring of any finite dimensional pointed Hopf algebra, having abelian group of grouplike elements, under some mild restrictions on the group order. The proof uses the recent classification by Andruskiewitsch and Schneider of such Hopf algebras. Examples include all of Lusztig's small quantum groups, whose cohomology was first computed explicitly by Ginzburg and Kumar, as well as many new pointed Hopf algebras. We also show that in general the cohomology ring of a Hopf algebra in a braided category is braided commutative. As a consequence we obtain some further information about the structure of the cohomology ring of a finite dimensional pointed Hopf algebra and its related Nichols algebra. △ Less

Submitted 18 September, 2009; v1 submitted 4 February, 2009; originally announced February 2009.

Comments: 36 pages, references added

MSC Class: 16E40; 16W30

Constructions for infinitesimal group schemes

Authors: Eric M. Friedlander, Julia Pevtsova

Abstract: Let G be an infinitesimal group scheme over a field k of positive characteristic p. We introduce the global p-nilpotent operator $Θ_G: k[G] \to k[V(G)]$, where V(G) is the scheme which represents 1-parameter subgroups of G. This operator applied to M encodes the local Jordan type of M, and leads to computational insights into the representation theory of G. For certain G-modules (including those o… ▽ More Let G be an infinitesimal group scheme over a field k of positive characteristic p. We introduce the global p-nilpotent operator $Θ_G: k[G] \to k[V(G)]$, where V(G) is the scheme which represents 1-parameter subgroups of G. This operator applied to M encodes the local Jordan type of M, and leads to computational insights into the representation theory of G. For certain G-modules (including those of constant Jordan type), we employ the global p-nilpotent operator to associate various algebraic vector bundles on the projective scheme $\bP(G)$, the projectivization of the scheme of one-parameter subgroups of G. These vector bundles not only distinguish certain representations with the same local Jordan type, but also provide a method of constructing algebraic vector bundles on $\bP(G)$. △ Less

Submitted 22 July, 2010; v1 submitted 20 February, 2008; originally announced February 2008.

Comments: 55 pages. This is a final version to appear in Transactions of the AMS. Significantly revised from the original preprint. In particular, last section is completely rewritten with some K_0 calculations added

MSC Class: 16G10; 20C20; 20G10

Modules of constant Jordan type

Authors: Jon F. Carlson, Eric M. Friedlander, Julia Pevtsova

Abstract: We introduce the class of modules of constant Jordan type for a finite group scheme $G$ over a field $k$ of characteristic $p > 0$. This class is closed under taking direct sums, tensor products, duals, Heller shifts and direct summands, and includes endotrivial modules. It contains all modules in an Auslander-Reiten component which has at least one module in the class. Highly non-trivial exampl… ▽ More We introduce the class of modules of constant Jordan type for a finite group scheme $G$ over a field $k$ of characteristic $p > 0$. This class is closed under taking direct sums, tensor products, duals, Heller shifts and direct summands, and includes endotrivial modules. It contains all modules in an Auslander-Reiten component which has at least one module in the class. Highly non-trivial examples are constructed using cohomological techniques. We offer conjectures suggesting that there are strong conditions on a partition to be the Jordan type associated to a module of constant Jordan type. △ Less

Submitted 25 July, 2007; originally announced July 2007.

Comments: 47 pages

MSC Class: 16G10 (primary); 20C20; 20G10 (secondary);

Varieties for Modules of Quantum Elementary Abelian Groups

Authors: Julia Pevtsova, Sarah Witherspoon

Abstract: We define a rank variety for a module of a noncocommutative Hopf algebra $A = Λ\rtimes G$ where $Λ= k[X_1, ..., X_m]/(X_1^{\ell}, ..., X_m^{\ell})$, $G = ({\mathbb Z}/\ell{\mathbb Z})^m$, and $\text{char} k$ does not divide $\ell$, in terms of certain subalgebras of $A$ playing the role of "cyclic shifted subgroups". We show that the rank variety of a finitely generated module $M$ is homeomorphi… ▽ More We define a rank variety for a module of a noncocommutative Hopf algebra $A = Λ\rtimes G$ where $Λ= k[X_1, ..., X_m]/(X_1^{\ell}, ..., X_m^{\ell})$, $G = ({\mathbb Z}/\ell{\mathbb Z})^m$, and $\text{char} k$ does not divide $\ell$, in terms of certain subalgebras of $A$ playing the role of "cyclic shifted subgroups". We show that the rank variety of a finitely generated module $M$ is homeomorphic to the support variety of $M$ defined in terms of the action of the cohomology algebra of $A$. As an application we derive a theory of rank varieties for the algebra $Λ$. When $\ell=2$, rank varieties for $Λ$-modules were constructed by Erdmann and Holloway using the representation theory of the Clifford algebra. We show that the rank varieties we obtain for $Λ$-modules coincide with those of Erdmann and Holloway. △ Less

Submitted 16 March, 2006; originally announced March 2006.

Comments: 30 pages, submitted

MSC Class: 16E40; 16W30