Adelic models of tensor-triangulated categories

DOI10.1016/J.AIM.2020.107339MaRDI QIDQ2213759zbMATH OpenOpenAlexFDO

Authors Scott Balchin, John Greenlees

Publication date 3 December 2020

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1903.02669

zbMATH Keywords

adelic approximationalgebraic modelBalmer spectrumcompletionlocalizationtensor triangulated category

Mathematics Subject Classification ID

Homological methods in commutative ring theory (13Dxx) Homotopical algebra, Quillen model categories, derivators (18N40) Localization and completion in homotopy theory (55P60)

Abstract: We show that a well behaved Noetherian, finite dimensional, stable, monoidal model category is equivalent to a model built from categories of modules over completed rings in an adelic fashion. For abelian groups this is based on the Hasse square, for chromatic homotopy theory this is based on the chromatic fracture square, and for rational torus-equivariant homotopy theory this is the model of Greenlees-Shipley arXiv:1101.2511.

Review text

``This paper is concerned with models for well-behaved tensor-triangulated categories. The authors work with tensor-triangulated categories \(\overline{\mathcal{C}}\) which arise as the homotopy category of well-structured Quillen model categories \(\mathcal{C}\). They impose restrictions on these categories so that they have the same formal properties as categories of modules of finite dimensional Noetherian rings. The principal input is the Balmer spectrum of \(\overline{\mathcal{C}}\) which is the categorical analogue of the Zariski spectrum of a commutative ring. This allows one to apply methods from commutative algebra in more general contexts. For example to any prime in the Balmer spectrum, there are associated functors of localization and completion. The main result of the paper shows that the model category \(\mathcal{C}\) is Quillen equivalent to a diagram of categories of modules over localized completed rings. There are two main examples: the derived category of a commutative Noetherian ring and the category of rational torus-equivariant cohomology theories. The key ingredient in the proof is the adelic approximation theorem which shows how to recover the monoidal unit of \(\mathcal{C}\) as a homotopy limit of a cubical diagram of products of localized completed rings. This is directly analogous to the Hasse square in commutative algebra.

Recommendations

• Separated and complete adelic models for one-dimensional Noetherian tensor-triangulated categories
• Torsion models for tensor-triangulated categories: the one-step case
• Rational torus-equivariant stable homotopy. II: Algebra of the standard model
• Rational torus-equivariant stable homotopy. V: The torsion Adams spectral sequence
• A note on triangulated monads and categories of module spectra

Cites work

• A tour of support theory for triangulated categories through tensor triangular geometry
• Algebras and Modules in Monoidal Model Categories
• An algebraic model for rational \(\operatorname{SO}(3)\)-spectra
• An algebraic model for rational torus-equivariant spectra
• Colocalizing subcategories and cosupport
• Complete modules and torsion modules
• Derived functors of \(I\)-adic completion and local homology
• Derived Hall algebras
• Equivariant orthogonal spectra and 𝑆-modules
• Generalized Tate cohomology
• Generalized tensor idempotents and the telescope conjecture
• Homological localisation of model categories
• Homotopical algebraic geometry. II. Geometric stacks and applications
• Homotopy limits of model categories and more general homotopy theories
• Homotopy theory of modules over diagrams of rings
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• scientific article; zbMATH DE number 1045788 (Why is no real title available?)
• scientific article; zbMATH DE number 949383 (Why is no real title available?)
• scientific article; zbMATH DE number 1860105 (Why is no real title available?)
• scientific article; zbMATH DE number 796971 (Why is no real title available?)
• Local cohomology. A seminar given by A. Grothendieck, Harvard University, Fall 1961. Notes by R. Hartshorne
• Model categories of diagram spectra
• Nilpotence and stable homotopy theory. II
• On left and right model categories and left and right Bousfield localizations
• On the Parshin-Beilinson adeles for schemes
• Rational \(\mathrm{SO}(2)\)-equivariant spectra
• Rational \(O(2)\)-equivariant spectra
• Rational torus-equivariant stable homotopy. I: Calculating groups of stable maps
• Residues and adeles
• Splitting monoidal stable model categories
• Stable model categories are categories of modules
• Support theory via actions of tensor triangulated categories
• Support varieties: an ideal approach
• Supports and filtrations in algebraic geometry and modular representation theory
• The Balmer spectrum of a tame stack
• The Balmer spectrum of rational equivariant cohomology theories
• The cellularization principle for Quillen adjunctions
• The derived category of quasi-coherent modules on an Artin stack via model structures
• The local-to-global principle for triangulated categories via dimension functions
• The localization of spectra with respect to homology
• The spectrum of prime ideals in tensor triangulated categories
• Three models for the homotopy theory of homotopy theories
• Universal properties and derived Kan extensions

Cited in

(10)

• Torsion models for tensor-triangulated categories: the one-step case
• Algebraic models of change of groups functors in (co)free rational equivariant spectra
• Separated and complete adelic models for one-dimensional Noetherian tensor-triangulated categories
• ADELES ON n-DIMENSIONAL SCHEMES AND CATEGORIES C_n
• RATIONAL LOCAL SYSTEMS AND CONNECTED FINITE LOOP SPACES
• Point-free construction of real exponentiation
• Model theory in compactly generated (tensor-)triangulated categories
• Stratified noncommutative geometry
• Beilinson-Parshin adeles via solid algebraic geometry
• Tensor-triangular rigidity in chromatic homotopy theory

This page was built for publication: Adelic models of tensor-triangulated categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2213759)