arXiv subjects
Publications and source records attributed to Henning Krause.
For any essentially small triangulated category the centre of its lattice of thick subcategories is introduced; it is a spatial frame and yields a notion of central support. A relative version of this centre recovers the support theory for tensor triangulated categories and provides a universal notion of cohomological support. Along the way we establish Mayer-Vietoris sequences for pairs of commuting subcategories.
For any ring we propose the construction of a cover which increases the finitistic dimension on one side and decreases the finitistic dimension to zero on the opposite side. This complements recent work of Cummings.
For a tensor triangulated category and any regular cardinal $α$ we study the frame of $α$-localizing tensor ideals and its associated space of points. For a well-generated category and its frame of localizing tensor ideals we provide conditions such that the associated space is obtained by refining the topology of the corresponding space for the triangulated subcategory of $α$-compact objects. This is illustrated by several known examples for $α=\aleph_0$, and new spaces arise for $α>\aleph_0$.
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.
Duality properties are studied for a Gorenstein algebra that is finite and projective over its center. Using the homotopy category of injective modules, it is proved that there is a local duality theorem for the subcategory of acyclic complexes of such an algebra, akin to the local duality theorems of Grothendieck and Serre in the context of commutative algebra and algebraic geometry. A key ingredient is the Nakayama functor on the bounded derived category of a Gorenstein algebra, and its extension to the full homotopy category of injective modules.
We introduce the category of finite strings and study its basic properties. The category is closely related to the augmented simplex category, and it models categories of linear representations. Each lattice of non-crossing partitions arises naturally as a lattice of subobjects.
Chase's lemma provides a powerful tool for translating properties of (co)products in abelian categories into chain conditions. This note discusses the context in which the lemma is used, making explicit what is often neglected in the literature because of its technical nature.
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 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.
Given a tilting object of the derived category of an abelian category of finite global dimension, we give (under suitable finiteness conditions) a bound for the global dimension of its endomorphism ring.
This note proposes a new method to complete a triangulated category, which is based on the notion of a Cauchy sequence. We apply this to categories of perfect complexes. It is shown that the bounded derived category of finitely presented modules over a right coherent ring is the completion of the category of perfect complexes. The result extends to non-affine noetherian schemes and gives rise to a direct construction of the singularity category. The parallel theory of completion for abelian categories is compatible with the completion of derived categories. There are three appendices. The first one by Tobias Barthel discusses the completion of perfect complexes for ring spectra. The second one by Tobias Barthel and Henning Krause refines for a separated noetherian scheme the description of the bounded derived category of coherent sheaves as a completion. The final appendix by Bernhard Keller introduces the concept of a morphic enhancement for triangulated categories and provides a proper foundation for completing a triangulated category.
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.
We provide an axiomatic approach for studying support varieties of objects in a triangulated category via the action of a tensor triangulated category, where the tensor product is not necessarily symmetric. This is illustrated by examples, taken in particular from representation theory of finite dimensional algebras.
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.
Non-crossing partitions have been a staple in combinatorics for quite some time. More recently, they have surfaced (sometimes unexpectedly) in various other contexts from free probability to classifying spaces of braid groups. Also, analogues of the non-crossing partition lattice have been introduced. Here, the classical non-crossing partitions are associated to Coxeter and Artin groups of type $\mathsf{A}_n$, which explains the tight connection to the symmetric groups and braid groups. We shall outline those developments.
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 examine the localizing subcategories of the derived category of quasi-coherent sheaves on the projective line over a field. We provide a complete classification of all such subcategories which arise as the kernel of a cohomological functor to a Grothendieck category.