Resolutions by permutation modules
We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules.
arXiv subjects
Publications and source records attributed to Paul Balmer.
We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules.
Using homological residue fields, we define supports for big objects in tensor-triangulated categories and prove a tensor-product formula.
This is a chapter of the Handbook of Homotopy Theory, that surveys the classifications of thick tensor-ideals.
We prove nilpotence theorems in tensor-triangulated categories using suitable Gabriel quotients of the module category, and discuss examples.
We examine the concept of field in tensor-triangular geometry. We gather examples and discuss possible approaches, while highlighting open problems. As the construction of residue tt-fields remains elusive, we instead produce suitable homological tensor-functors to Grothendieck categories.
Given a tensor-triangulated category $T$, we prove that every flat tensor-idempotent in the module category over $T^c$ (the compacts) comes from a unique smashing ideal in $T$. We deduce that the lattice of smashing ideals forms a frame.
We prove a few results about the map $Spc(F)$ induced on tensor-triangular spectra by a tensor-triangulated functor $F$. First, $F$ is conservative if and only if $Spc(F)$ is surjective on closed points. Second, if $F$ detects tensor-nilpotence of morphisms then $Spc(F)$ is surjective on the whole spectrum. In fact, surjectivity of $Spc(F)$ is equivalent to $F$ detecting the nilpotence of some class of morphisms, namely those morphisms which are nilpotent on their cone.
We prove that the only separable commutative ring-objects in the stable module category of a finite cyclic p-group G are the ones corresponding to subgroups of G. We also describe the tensor-closure of the Kelly radical of the module category and of the stable module category of any finite group.
We study the spectrum of prime ideals in the tensor-triangulated category of compact equivariant spectra over a finite group. We completely describe this spectrum as a set for all finite groups. We also make significant progress in determining its topology and obtain a complete answer for groups of square-free order. For general finite groups, we describe the topology up to an unresolved indeterminacy, which we reduce to the case of p-groups. We then translate the remaining unresolved question into a new chromatic blue-shift phenomenon for Tate cohomology. Finally, we draw conclusions on the classification of thick tensor ideals.
We propose a construction of affine space (or "polynomial rings") over a triangulated category, in the context of stable derivators.
We study the continuous map induced on spectra by a separable extension of tensor-triangulated categories. We determine the image of this map and relate the cardinality of its fibers to the degree of the extension. We then prove a weak form of descent, "up-to-nilpotence", which allows us to generalize Quillen's Stratification Theorem to equivariant derived categories.
We clarify the relationship between Grothendieck duality à la Neeman and the Wirthmüller isomorphism à la Fausk-Hu-May. We exhibit an interesting pattern of symmetry in the existence of adjoint functors between compactly generated tensor-triangulated categories, which leads to a surprising trichotomy: There exist either exactly three adjoints, exactly five, or infinitely many. We highlight the importance of so-called relative dualizing objects and explain how they give rise to dualities on canonical subcategories. This yields a duality theory rich enough to capture the main features of Grothendieck duality in algebraic geometry, of generalized Pontryagin-Matlis duality à la Dwyer-Greenlees-Iyengar in the theory of ring spectra, and of Brown-Comenetz duality à la Neeman in stable homotopy theory.
For equivariant stable homotopy theory, equivariant KK-theory and equivariant derived categories, we show how restriction to a subgroup of finite index yields a finite commutative separable extension, analogous to finite étale extensions in algebraic geometry.
We relate endotrivial representations of a finite group in characteristic p to equivariant line bundles on the simplicial complex of non-trivial p-subgroups, by means of weak homomorphisms.
We prove that etale morphisms of schemes yield separable extensions of derived categories. We then generalize the Neeman-Thomason Localization Theorem to separable extensions of triangulated categories.
After constructing a splitting tower for separable commutative ring objects in tensor-triangulated categories, we define and study their degree.
We start with a small paradigm shift about group representations, namely the observation that restriction to a subgroup can be understood as an extension-of-scalars. We deduce that, given a group $G$, the derived and the stable categories of representations of a subgroup $H$ can be constructed out of the corresponding category for $G$ by a purely triangulated-categorical construction, analogous to étale extension in algebraic geometry. In the case of finite groups, we then use descent methods to investigate when modular representations of the subgroup $H$ can be extended to $G$. We show that the presheaves of plain, derived and stable representations all form stacks on the category of finite $G$-sets (or the orbit category of $G$), with respect to a suitable Grothendieck topology that we call the sipp topology. When $H$ contains a Sylow subgroup of $G$, we use sipp Cech cohomology to describe the kernel and the image of the homomorphism $T(G)\to T(H)$, where $T(-)$ denotes the group of endotrivial representations.
We compute the total Witt groups of (split) Grassmann varieties, over any regular base X. The answer is a free module over the total Witt ring of X. We provide an explicit basis for this free module, which is indexed by a special class of Young diagrams, that we call even Young diagrams.