Related papers: Stratification and $\pi$-cosupport: Finite groups
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of functors on categories with finite limits and colimits. As an…
Suppose that $G$ is a finite group and $k$ is a field of characteristic $p >0$. Let $\mathcal{M}$ be the thick tensor ideal of finitely generated modules whose support variety is in a fixed subvariety $V$ of the projectivized prime ideal…
In recent years, Benson, Iyengar and Krause have developed a theory of stratification for compactly generated triangulated categories with an action of a graded commutative Noetherian ring. Stratification implies a classification of…
This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a…
A cocycle category H(X,Y) is defined for objects X and Y in a model category, and it is shown that the set of morphisms [X,Y] is isomorphic to the set of path components of H(X,Y) provided the ambient model category is right proper and…
We give an explicit description of the category of central extensions of a group scheme by a sheaf of Abelian groups. Based on this, we describe a framework for computing with central extensions of finite commutative group schemes, torsors…
In this note several computations of equivariant cohomology groups are performed. For the compactly supported equivariant cohomology, the notion of infinitesimal index developed in arXiv:1003.3525, allows to describe these groups in terms…
Let $k$ be an algebraically closed field of characteristic $p\ge 0$. Let $G$ be an affine group scheme over $k$. We classify the indecomposable exact module categories over the rigid tensor category $\text{Coh}_f(G)$ of coherent sheaves of…
We introduce a new type of diagrams and prove the existence of a particular one, the "central tuned diagram", with some optimal features, for finitely generated modules of certain categories. This is achieved by getting to the idea of "the…
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…
We define a cotriple (co)homology of crossed modules with coefficients in a $\pi_1$-module. We prove its general properties, including the connection with the existing cotriple theories on crossed modules. We establish the relationship with…
Computer based techniques for recognizing finitely presented groups are quite powerful. Tools available for this purpose are outlined. They are available both in stand-alone programs and in more comprehensive systems. A general…
We describe an implementation of the biset category of finite groups as a tower of standard categorical constructions, all of which are implemented in the software projec t CAP for algorithmic category theory. In particular, we describe the…
In this article we study the interplay between algebro-geometric notions related to $\pi$-points and structural features of the stable Auslander-Reiten quiver of a finite group scheme. We show that $\pi$-points give rise to a number of new…
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…
In this paper we prove that the cohomology groups with compact support of stacks of shtukas are modules of finite type over a Hecke algebra. As an application, we extend the construction of excursion operators, defined by V. Lafforgue on…
We introduce and develop the notion of "unipotent spectra." This is defined to be the stabilization of To\"en's category of affine stacks, and is related to recent work of Mondal--Reinecke. Unipotent spectra give rise to unipotent stable…
We initiate a program aimed at classifying thick ideals, Balmer spectra, and submodule categories of various stable categories of bimodules and modules for finite dimensional selfinjective algebras, and at clarifying the relationship…
This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first order theory of finite groups. The focus is on concepts from stability theory…
The finite stable homotopy category S_0 has been suggested as a candidate for a category of perfect complexes over the monoid scheme Spec F_1. We apply a reconstruction theorem from algebraic geometry to S_0, and show that one recovers the…