Finite Group Schemes Research Articles

Specialization map between stratified bundles and pro-étale fundamental group

Given a projective family of semi-stable curves over a complete discrete valuation ring of characteristic p>0 with algebraically closed residue field, we construct a specialization functor between the category of continuous representations of the pro-étale fundamental group of the closed fibre and the category of stratified bundles on the geometric generic fibre. By Tannakian duality, this functor induces a morphism between the corresponding affine group schemes. We show that this morphism is a lifting of the specialization map, constructed by Grothendieck, between the étale fundamental groups.

ON THE GROUP OF SEPARABLE QUADRATIC ALGEBRAS AND STACKS

AbstractThe aim of this paper is to study the group of isomorphism classes of torsors of finite flat group schemes of rank 2 over a commutative ring R. This, in particular, generalizes the group of quadratic algebras (free or projective), which is especially well studied. Our approach, however, yields new results even in this case.

Existentially closed fields with finite group actions

We study algebraic and model-theoretic properties of existentially closed fields with an action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a rather strong sense. We place this work in a more general context of the model theory of fields with a (finite) group scheme action.

On the structure of affine flat group schemes over discrete valuation rings

We study affine group schemes over a discrete valuation ring $R$ using two techniques: Neron blowups and Tannakian categories. We employ the theory developed to define and study differential Galois groups of $\mathcal D$-modules on a scheme over a $R$. This throws light on how differential Galois groups of families degenerate.

The action of the etale fundamental group scheme on the connected component of the essentially finite one

We follow the pattern in a recent paper of Otabe [Ota15] to define an action of the \'etale fundamental group scheme $\pi^\text{et}(X)$ on the local component of the essentially finite fundamental group scheme $\pi^{\mathrm{EF}}(X)$ of Nori. We show that the associated representation is faithful when $X$ is a curve of genus $\geq 2$.

Algebraic K-theory of quotient stacks

We prove some fundamental results like localization, excision, Nisnevich descent, and the regular blow-up formula for the algebraic K -theory of certain stack quotients of schemes with affine group scheme actions. We show that the homotopy K -theory of such stacks is homotopy invariant. This implies a similar homotopy invariance property of the algebraic K -theory with coefficients.

Finite group schemes of p-rank ≤ 1

AbstractLet be a finite group scheme over an algebraically closed field k of characteristic char(k) = p ≥ 3. In generalisation of the familiar notion from the modular representation theory of finite groups, we define the p-rank rkp() of and determine the structure of those group schemes of p-rank 1, whose linearly reductive radical is trivial. The most difficult case concerns infinitesimal groups of height 1, which correspond to restricted Lie algebras. Our results show that group schemes of p-rank ≤ 1 are closely related to those being of finite or domestic representation type.

AR-Components of domestic finite group schemes: McKay-Quivers and Ramification

For a domestic finite group scheme, we give a direct description of the Euclidean components in its Auslander-Reiten quiver via the McKay-quiver of a finite linearly reductive subgroup scheme of $SL(2)$. Moreover, for a normal subgroup scheme $\mathcal{N}$ of a finite group scheme $\mathcal{G}$, we show that there is a connection between the ramification indices of the restriction morphism $\mathbb{P}(\mathcal{V}_{\mathcal{N}})\rightarrow\mathbb{P}(\mathcal{V}_{\mathcal{G}})$ between their projectivized cohomological support varieties and the ranks of the tubes in their Auslander-Reiten quivers.

Tannakian duality over Dedekind rings and applications

We establish a duality between flat affine group schemes and rigid tensor categories equipped with a neutral fiber functor (called Tannakian lattice), both defined over a Dedekind ring. We use this duality and the known Tannakian duality due to Saavedra to study morphisms between flat affine group schemes. Next, we apply our new duality to the category of stratified sheaves on a smooth scheme over a Dedekind ring R to define the relative differential fundamental group scheme of the given scheme and compare the fibers of this group scheme with the fundamental group scheme of the fibers. When R is a complete DVR of equal characteristic we show that this category is Tannakian in the sense of Saavedra.

Stratification for module categories of finite group schemes

The tensor ideal localizing 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.

Saturation rank for finite group schemes: Finite groups and infinitesimal group schemes

Abstract We investigate the saturation rank of a finite group scheme defined over an algebraically closed field 𝕜 {\Bbbk} of positive characteristic p. We begin by exploring the saturation rank for finite groups and infinitesimal group schemes. Special attention is given to reductive Lie algebras and the second Frobenius kernel of the algebraic group SL n {\operatorname{SL}_{n}} .

Corrigendum to “On the Cartier duality of certain finite group schemes of order $p^n$, II” [Tsukuba J. Math. 37 (2) (2013) 259-269

We correct an error of the proof of Lemma 1 in the author's paper [1]. Also a typographical error is corrected.

Colocalising subcategories of modules over finite group schemes

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.

Local duality for structured ring spectra

We use the abstract framework constructed in our earlier paper [8] to study local duality for Noetherian E∞-ring spectra. In particular, we compute the local cohomology of relative dualizing modules for finite morphisms of ring spectra, thereby generalizing the local duality theorem of Benson and Greenlees. We then explain how our results apply to the modular representation theory of compact Lie groups and finite group schemes, which recovers the theory previously developed by Benson, Iyengar, Krause, and Pevtsova.

A remark on the structure of torsors under an affine group scheme

It is well known that all torsors under an affine algebraic group over an algebraically closed field are trivial. We note that under suitable conditions this also holds if the group is not necessarily of finite type. This has an application to isomorphisms of fibre functors on neutral Tannakian categories.

Representations of finite group schemes and morphisms of projective varieties

Given a finite group scheme $\cG$ over an algebraically closed field $k$ of characteristic $\Char(k)=p>0$, we introduce new invariants for a $\cG$-module $M$ by associating certain morphisms $\deg^j_M : U_M \lra \Gr_d(M) \ \ (1\!\le\!j\!\le\! p\!-\!1)$ to $M$ that take values in Grassmannians of $M$. These maps are studied for two classes of finite algebraic groups, infinitesimal group schemes and elementary abelian group schemes. The maps associated to the so-called modules of constant $j$-rank have a well-defined degree ranging between $0$ and $j\rk^j(M)$, where $\rk^j(M)$ is the generic $j$-rank of $M$. The extreme values are attained when the module $M$ has the equal images property or the equal kernels property. We establish a formula linking the $j$-degrees of $M$ and its dual $M^\ast$. For a self-dual module $M$ of constant Jordan type this provides information concerning the indecomposable constituents of the pull-back $\alpha^\ast(M)$ of $M$ along a $p$-point $\alpha : k[X]/(X^p) \lra k\cG$.

Equivariant vector bundles, their derived category and K-theory on affine schemes

Let $G$ be an affine group scheme over a noetherian commutative ring $R$. We show that every $G$-equivariant vector bundle on an affine toric scheme over $R$ with $G$-action is extended from $\Spec(R)$ for several cases of $R$ and $G$. We show that given two affine schemes with group scheme actions, an equivalence of the equivariant derived categories implies isomorphism of the equivariant $K$-theories as well as equivariant $K'$-theories.

The variety of subadditive functions for finite group schemes

For a finite group scheme, the subadditive functions on finite dimensional representations are studied. It is shown that the projective variety of the cohomology ring can be recovered from the equivalence classes of subadditive functions. Using Crawley-Boevey's correspondence between subadditive functions and endofinite modules, we obtain an equivalence relation on the set of point modules introduced in our joint work with Iyengar and Pevtsova. This corresponds to the equivalence relation on pi-points introduced by Friedlander and Pevtsova.

MODELS OF TORSORS AND THE FUNDAMENTAL GROUP SCHEME

Given a relative faithfully flat pointed scheme over the spectrum of a discrete valuation ring $X\rightarrow S$, this paper is motivated by the study of the natural morphism from the fundamental group scheme of the generic fiber $X_{\unicode[STIX]{x1D702}}$ to the generic fiber of the fundamental group scheme of $X$. Given a torsor $T\rightarrow X_{\unicode[STIX]{x1D702}}$ under an affine group scheme $G$ over the generic fiber of $X$, we address the question of finding a model of this torsor over $X$, focusing in particular on the case where $G$ is finite. We provide several answers to this question, showing for instance that, when $X$ is integral and regular of relative dimension 1, such a model exists on some model $X^{\prime }$ of $X_{\unicode[STIX]{x1D702}}$ obtained by performing a finite number of Néron blowups along a closed subset of the special fiber of $X$. Furthermore, we show that when $G$ is étale, then we can find a model of $T\rightarrow X_{\unicode[STIX]{x1D702}}$ under the action of some smooth group scheme. In the first part of the paper, we show that the relative fundamental group scheme of $X$ has an interpretation as the Tannaka Galois group of a Tannakian category constructed starting from the universal torsor.

Graded group schemes and graded group varieties

ABSTRACTWe define graded group schemes and graded group varieties and develop their theory. Graded group schemes are the graded analogue of affine group schemes and are in correspondence with graded Hopf algebras. Graded group varieties take the place of infinitesimal group schemes. We generalize the result that connected graded bialgebras are graded Hopf algebra to our setting and we describe the algebra structure of graded group varieties. We relate these new objects to the classical ones providing a new and broader framework for the study of graded Hopf algebras and affine group schemes.