Searcharxiv⌕ Search

arXiv subjects

Beren Sanders

Publications and source records attributed to Beren Sanders.

At least 19 recordsLinked to original sources
arXiv2026

The tensor triangular geometry of valuation domains

We study the tensor triangular geometry of derived categories of valuation domains, obtaining complete ring-theoretic characterizations of their main structural properties. In particular, although valuation domains are almost always non-noetherian, their derived categories always satisfy the local-to-global principle and hence the detection property. We establish precise criteria for homological detection, stratification, and homological stratification, revealing a clear hierarchy among these properties. Notably, we obtain examples of derived categories of commutative rings that are homologically stratified and satisfy the local-to-global principle, but are not stratified. We also determine when the category of modules over a valuation domain has Gabriel dimension, and use this to provide a negative answer to a question of Balchin, Gómez and Stevenson. Overall, valuation domains provide a rich class of non-noetherian rings whose derived categories can be understood in considerable depth.

math.CT↗
arXiv2026

The Serre-Grothendieck Finiteness Theorem for the cohomology of coherent sheaves

We prove the converse of the Serre-Grothendieck finiteness theorem for the cohomology of coherent sheaves, originally due to Lipman. This result characterizes proper morphisms as those morphisms whose derived pushforward preserves pseudo-coherent complexes. Although the derived pushforward does not reflect pseudo-coherence, we prove that it does after twisting by all perfect complexes. This provides a new characterization of properness.

math.AG↗
arXiv2026

Local Bousfield classes via homological support

Given an object $A$ in a big tensor-triangulated category, we study the homological and cohomological Bousfield classes of the associated localization: the tensor-triangulated category of $A$-local objects. We show that the homological support classifies the homological Bousfield classes of the $A$-local category precisely when an $A$-relative form of the homological detection property holds. Moreover, we prove that this holds if and only if $A$ is Bousfield equivalent to a coproduct of homological residue fields. The analogous classification of cohomological Bousfield classes by homological cosupport is strictly stronger: it is equivalent to an $A$-relative form of homological stratification. This equivalence between stratification and the classification of cohomological Bousfield classes is new even in the absolute case. A further surprise is that stratification is also equivalent to the classification of homological Bousfield classes together with the statement that every cohomological Bousfield class is homological. Applied to chromatic homotopy theory, these results classify the homological Bousfield classes of any localization of spectra with respect to a coproduct of Morava $K$-theories. This covers many localizations of interest. We also completely characterize when such chromatic localizations are relatively homologically stratified. This yields new examples of cohomological Bousfield classes that are not homological. In particular, it answers a question of Wolcott concerning the category of harmonic spectra. Our examples are produced by exhibiting local spectra with empty homological cosupport.

math.AT↗
arXiv2026

Homological stratification and descent

We introduce a notion of stratification for rigidly-compactly generated tensor-triangulated categories relative to the homological spectrum and develop the fundamental features of this theory. In particular, we demonstrate that it exhibits excellent descent properties. In conjunction with Balmer's Nerves of Steel conjecture, we conclude that stratification admits a general form of descent. This gives a uniform treatment of several recent stratification results and provides a complete answer to the question: When does stratification descend? As a new application, we extend earlier work on the tensor triangular geometry of equivariant module spectra from finite groups to compact Lie groups.

math.CT↗
arXiv2025

The spectrum of excisive functors

We prove a thick subcategory theorem for the category of $d$-excisive functors from finite spectra to spectra. This generalizes the Hopkins-Smith thick subcategory theorem (the $d=1$ case) and the $C_2$-equivariant thick subcategory theorem (the $d=2$ case). We obtain our classification theorem by completely computing the Balmer spectrum of compact $d$-excisive functors. A key ingredient is a non-abelian blueshift theorem for the generalized Tate construction associated to the family of non-transitive subgroups of products of symmetric groups. Also important are the techniques of tensor triangular geometry and striking analogies between functor calculus and equivariant homotopy theory. In particular, we introduce a functor calculus analogue of the Burnside ring and describe its Zariski spectrum à la Dress. The analogy with equivariant homotopy theory is strengthened further through two applications: We explain the effect of changing coefficients from spectra to ${\mathrm{H}\mathbb{Z}}$-modules and we establish a functor calculus analogue of transchromatic Smith-Floyd theory as developed by Kuhn-Lloyd. Our work offers a new perspective on functor calculus which builds upon the previous approaches of Arone-Ching and Glasman.

math.AT↗
arXiv2025

The Balmer spectrum of pseudo-coherent complexes over a discrete valuation ring

We study the derived category of pseudo-coherent complexes over a noetherian commutative ring, building on prior work by Matsui-Takahashi. Our main theorem is a computation of the Balmer spectrum of this category in the case of a discrete valuation ring. We prove that it coincides with the spectral space associated to a bounded distributive lattice of asymptotic equivalence classes of monotonic sequences of natural numbers. The proof of this theorem involves an extensive study of generation behaviour in the derived category of pseudo-coherent complexes. We find that different types of generation are related to different asymptotic boundedness conditions on the growth of torsion in homology. Consequently, we introduce certain distributive lattices of (equivalence classes of) monotonic sequences where the partial orders are defined by different notions of asymptotic boundedness. These lattices, and the spectral spaces corresponding to them via Stone duality, may be of independent interest. The complexity of these spectral spaces shows that, even in the simplest nontrivial case, the spectrum of pseudo-coherent complexes is vastly more complicated than the spectrum of perfect complexes. From a broader perspective, these results demonstrate that the spectrum of a rigid tensor-triangulated category can expand tremendously when we pass to a (non-rigid) tensor-triangulated category which contains it.

math.AC↗
arXiv2025

The tensor triangular geometry of fully faithful functors

We prove that the map on Balmer spectra induced by a fully faithful geometric functor is a quotient map whose fibers are connected. This is an analogue of the Zariski Connectedness Theorem in algebraic geometry and it can be applied to a plethora of examples in equivariant and motivic mathematics. We isolate a significant source of examples by introducing the "concentration" of a tt-category at a well-behaved chosen set of compact generators. Various categories of cellular objects arise in this way. In particular, the "unitation" of a tt-category is the concentration at the unit object. We compute the Balmer spectrum of the unitation of the equivariant stable homotopy category as well as related categories arising in equivariant higher algebra. We also apply our results to the study of the comparison map of a tt-category. Among other results, we prove that the comparison map of a connective category is a quotient map with connected fibers. This involves studying the tt-geometry of weight complex functors, which may be of independent interest. We also study the relationship between the comparison map and the affinization of the Balmer spectrum viewed as a locally ringed space. These results provide a layered approach to understanding the spectrum of a given tt-category, by starting with the Zariski spectrum of the endomorphism ring of the unit, and then passing backwards to larger and larger concentrations (through quotient maps with connected fibers). Significant stages along the way include the passage to the unitation and the passage to the concentration at the Picard group.

math.AT↗
arXiv2025

The Tate Intermediate Value Theorem

We explain how the gluing of a closed piece of the tensor-triangular spectrum with its open complement hinges on the support of the Tate ring.

math.AC↗
arXiv2024

Perfect complexes and completion

Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the subcategory of dualizable objects in the derived category of $I$-complete complexes of $R$-modules. Our criterion is always satisfied when $R$ is noetherian. When specialized to $R$ local and noetherian and to $I$ the maximal ideal, our theorem recovers a recent result of Benson, Iyengar, Krause and Pevtsova.

math.AC↗
arXiv2024

On surjectivity in tensor triangular geometry

We prove that a jointly conservative family of geometric functors between rigidly-compactly generated tensor triangulated categories induces a surjective map on Balmer spectra. From this we deduce a fiberwise criterion for Balmer's comparison map to be a continuous bijection. This gives short alternative proofs of the Hopkins--Neeman theorem and its generalization, due to Lau, to the case of a finite group acting trivially on an affine scheme.

math.CT↗
arXiv2023

Stratification in tensor triangular geometry with applications to spectral Mackey functors

We systematically develop a theory of stratification in the context of tensor triangular geometry and apply it to classify the localizing tensor-ideals of certain categories of spectral $G$-Mackey functors for all finite groups $G$. Our theory of stratification is based on the approach of Stevenson which uses the Balmer-Favi notion of big support for tensor-triangulated categories whose Balmer spectrum is weakly noetherian. We clarify the role of the local-to-global principle and establish that the Balmer-Favi notion of support provides the universal approach to weakly noetherian stratification. This provides a uniform new perspective on existing classifications in the literature and clarifies the relation with the theory of Benson-Iyengar-Krause. Our systematic development of this approach to stratification, involving a reduction to local categories and the ability to pass through finite étale extensions, may be of independent interest. Moreover, we strengthen the relationship between stratification and the telescope conjecture. The starting point for our equivariant applications is the recent computation by Patchkoria-Sanders-Wimmer of the Balmer spectrum of the category of derived Mackey functors, which was found to capture precisely the height $0$ and height $\infty$ chromatic layers of the spectrum of the equivariant stable homotopy category. We similarly study the Balmer spectrum of the category of $E(n)$-local spectral Mackey functors noting that it bijects onto the height $\le n$ chromatic layers of the spectrum of the equivariant stable homotopy category; conjecturally the topologies coincide. Despite our incomplete knowledge of the topology of the Balmer spectrum, we are able to completely classify the localizing tensor-ideals of these categories of spectral Mackey functors.

math.AT↗
arXiv2023

Descent in tensor triangular geometry

We investigate to what extent we can descend the classification of localizing, smashing and thick ideals in a presentably symmetric monoidal stable $\infty$-category $\mathscr{C}$ along a descendable commutative algebra $A$. We establish equalizer diagrams relating the lattices of localizing and smashing ideals of $\mathscr{C}$ to those of $\mathrm{Mod}_{A}(\mathscr{C})$ and $\mathrm{Mod}_{A\otimes A}(\mathscr{C})$. If $A$ is compact, we obtain a similar equalizer for the lattices of thick ideals which, via Stone duality, yields a coequalizer diagram of Balmer spectra in the category of spectral spaces. We then give conditions under which the telescope conjecture and stratification descend from $\mathrm{Mod}_{A}(\mathscr{C})$ to $\mathscr{C}$. The utility of these results is demonstrated in the case of faithful Galois extensions in tensor triangular geometry.

math.CT↗
arXiv2023

Cosupport in tensor triangular geometry

We develop a theory of cosupport and costratification in tensor triangular geometry. We study the geometric relationship between support and cosupport, provide a conceptual foundation for cosupport as categorically dual to support, and discover surprising relations between the theory of costratification and the theory of stratification. We prove that many categories in algebra, topology and geometry are costratified by developing and applying descent techniques. An overarching theme is that cosupport is relevant for diverse questions in tensor triangular geometry and that a full understanding of a category requires knowledge of both its support and its cosupport.

math.CT↗
arXiv2023

Stratification and the comparison between homological and tensor triangular support

We compare the homological support and tensor triangular support for `big' objects in a rigidly-compactly generated tensor triangulated category. We prove that the comparison map from the homological spectrum to the tensor triangular spectrum is a bijection and that the two notions of support coincide whenever the category is stratified, extending work of Balmer. Moreover, we clarify the relations between salient properties of support functions and exhibit counter-examples highlighting the differences between homological and tensor triangular support.

math.AT↗
arXiv2021

The spectrum of derived Mackey functors

We compute the spectrum of the category of derived Mackey functors (in the sense of Kaledin) for all finite groups. We find that this space captures precisely the top and bottom layers (i.e. the height infinity and height zero parts) of the spectrum of the equivariant stable homotopy category. Due to this truncation of the chromatic information, we are able to obtain a complete description of the spectrum for all finite groups, despite our incomplete knowledge of the topology of the spectrum of the equivariant stable homotopy category. From a different point of view, we show that the spectrum of derived Mackey functors can be understood as the space obtained from the spectrum of the Burnside ring by "ungluing" closed points. In order to compute the spectrum, we provide a new description of Kaledin's category, as the derived category of an equivariant ring spectrum, which may be of independent interest. In fact, we clarify the relationship between several different categories, establishing symmetric monoidal equivalences and comparisons between the constructions of Kaledin, the spectral Mackey functors of Barwick, the ordinary derived category of Mackey functors, and categories of modules over certain equivariant ring spectra. We also illustrate an interesting feature of the ordinary derived category of Mackey functors that distinguishes it from other equivariant categories relating to the behavior of its geometric fixed points.

math.AT↗
arXiv2019

The compactness locus of a geometric functor and the formal construction of the Adams isomorphism

We introduce the compactness locus of a geometric functor between rigidly-compactly generated tensor-triangulated categories, and describe it for several examples arising in equivariant homotopy theory and algebraic geometry. It is a subset of the tensor-triangular spectrum of the target category which, crudely speaking, measures the failure of the functor to satisfy Grothendieck-Neeman duality (or equivalently, to admit a left adjoint). We prove that any geometric functor --- even one which does not admit a left adjoint --- gives rise to a Wirthmüller isomorphism once one passes to a colocalization of the target category determined by the compactness locus. When applied to the inflation functor in equivariant stable homotopy theory, this produces the Adams isomorphism.

math.CT↗
arXiv2018

A note on triangulated monads and categories of module spectra

Consider a monad on an idempotent complete triangulated category with the property that its Eilenberg-Moore category of modules inherits a triangulation. We show that any other triangulated adjunction realizing this monad is 'essentially monadic', i.e. becomes monadic after performing the two evident necessary operations of taking the Verdier quotient by the kernel of the right adjoint and idempotent completion. In this sense, the monad itself is 'intrinsically monadic'. It follows that for any highly structured ring spectrum, its category of homotopy (a.k.a. naive) modules is triangulated if and only if it is equivalent to its category of highly structured (a.k.a. strict) modules.

math.CT↗