Tensor Triangulated Categories

• Tensor triangulated categories are defined as triangulated categories with an exact symmetric monoidal bifunctor, forming the foundation for tensor triangular geometry.
• They enable the classification of thick subcategories and support theory, thereby aiding in the reconstruction of schemes and applications in algebra, topology, and geometry.
• Recent work investigates deformation via Davydov–Yetter cohomology, exploring higher-order monoidal deformations and the associated moduli of these categories.

A tensor triangulated category is a triangulated category equipped with a compatible symmetric monoidal (tensor) structure, such that the tensor bifunctor is exact in each variable. These objects provide the fundamental categorical framework for tensor triangular geometry and underpin the formalism used in the classification of thick subcategories, support theory, and the reconstruction of underlying schemes in algebraic geometry, representation theory, and stable homotopy theory.

1. Definitions and Structural Features

A tensor triangulated category (TTC) is given by a triple $(T, \otimes, 1)$, where:

• $T$ is a triangulated category in the sense of Verdier, equipped with exact triangles and a shift functor;
• $\otimes : T \times T \rightarrow T$ is a symmetric monoidal (tensor) bifunctor, strict or up to coherent isomorphism, which is exact in each variable;
• $1 \in T$ is the unit for the monoidal structure.

For all $a \in T$, the functors $- \otimes a$ and $a \otimes -$ are exact triangulated functors. The morphisms between TTCs are exact, strong monoidal functors equipped with coherence isomorphisms satisfying the Mac Lane pentagon and unit conditions (Liu, 2011).

A thick subcategory $I \subset T$ is a full triangulated subcategory closed under direct summands, and is called a thick tensor-ideal if $X \otimes Y \in I$ whenever $X \in I$, for any $Y$. A (tensor) prime is a thick tensor-ideal $P$ such that $A \otimes B \in P$ implies either $A \in P$ or $B \in P$.

Rigidity (strong dualizability) in this context means that for every compact object $X$, there is a dual $X^*$ with evaluation and coevaluation morphisms satisfying the triangular identities, allowing the formation of internal dualities (Boe et al., 2014).

2. Spectra and Geometric Structure

The Balmer spectrum $\mathrm{Spc}(T^c)$ of the subcategory of compact objects (or, more generally, of an essentially small TTC) is defined as the set of (proper) prime thick tensor-ideals of $T^c$, equipped with a spectral topology analogous to the Zariski topology:

$$\mathrm{Spc}(T^c) = \{\text{prime thick } \otimes\text{-ideals of } T^c\}$$

Closed sets are of the form $V(X) = \{P \mid X \in P\}$ for $X \in T^c$. The support of an object $X$ is $\operatorname{supp}(X) = \{P \mid X \not\in P\}$.

A universal property holds: any "support data" on $T^c$ satisfying a set of axioms is classifying if and only if every thick tensor-ideal is the preimage of a specialization-closed subset of the spectrum (Boe et al., 2014). When $T$ arises as the category of perfect complexes $\operatorname{Perf}(X)$ on a noetherian scheme $X$, Balmer shows that $\mathrm{Spc}(\operatorname{Perf}(X)) \cong X$ as a topological space, and even as a locally ringed space when endowed with the structure sheaf constructed from the endomorphism rings of quotient categories (Liu, 2011, Castro, 2023).

A refined notion, the functorial spectrum $|\mathrm{Sp}(T)|$, encodes points as tensor-exact functors to bounded derived categories of finite-dimensional vector spaces and realizes the set of field-valued points as a colimit over fields (Liu, 2011).

3. Classification of Thick and Localizing Subcategories

Tensor triangulated geometry provides a machinery to classify both thick (triangulated, idempotent-complete, tensor-ideal) subcategories on compact objects and, under compact generation, localizing subcategories in the large category. The key theoretical principle is:

• For rigidly-compactly generated $T$, thick tensor-ideals correspond to specialization-closed subsets of $\mathrm{Spc}(T^c)$, with $I \mapsto \bigcup_{X \in I} \operatorname{supp}(X)$ giving a bijection (Boe et al., 2014).
• Under additional regularity/noetherianity conditions on the graded central ring, the Balmer spectrum is homeomorphic to the homogeneous spectrum of this ring and thick (resp. localizing) subcategories correspond to specialization-closed subsets (resp. arbitrary subsets) (Dell'Ambrogio et al., 2015).

Support theory further extends via the construction of Bousfield localization and colocalization functors associated to closed subsets of the spectrum, leading to the "local-to-global principle," which states that every localizing subcategory is generated (as a localizing subcategory) by the objects with support at the points in a given subset (Stevenson, 2011, Shaul et al., 2020).

4. Connections to Algebraic and Geometric Reconstruction

Tensor triangulated categories function as universal recipients for the “geometry” underlying algebraic or topological data. Reconstruction theorems exploit the spectrum and associated structure sheaf to retrieve geometric objects:

• For a noetherian scheme $X$, the space ($\mathrm{Spc}(\operatorname{Perf}(X))$, $\mathcal{O}_{\mathrm{Spc}}$) recovers $(X, \mathcal{O}_X)$ as a locally ringed space (Liu, 2011, Castro, 2023).
• For irreducible smooth projective varieties with ample (anti-)canonical bundles, any exact equivalence of triangulated categories of perfect complexes is induced by isomorphism of the underlying varieties, strengthening the classical Bondal–Orlov result with a monoidal perspective (Liu, 2011).

The adelic and torsion models provide Quillen equivalences between suitably finite-dimensional, noetherian tensor-triangulated categories and homotopy limits of module categories over (completed) localizations, generalizing classical Cousin or chromatic decompositions (Greenlees et al., 2019, Balchin et al., 9 Jan 2025).

5. Support Theory, Stratifications, and Actions

Tensor triangulated categories act on other triangulated categories via biexact functors. This perspective allows the transfer and extension of support theories, including those of Benson–Iyengar–Krause, to more general settings. The notion of stratification (classification of localizing tensor-ideals in terms of supports at points classified by some noetherian ring or Balmer spectrum) and costratification is formalized in terms of the existence of minimal nonzero localizing or colocalizing subcategories associated to points (Shaul et al., 2020, Stevenson, 2011).

The formalism unifies classical geometric supports, cohomological supports in modular representation theory, and homotopy-theoretic stratifications, and includes the relative and descent settings for functors between different rigidly-compactly generated tensor triangulated categories.

6. Examples and Explicit Computations

Major classes of tensor triangulated categories and their spectra include:

• $D^{\mathrm{perf}}(X)$ for a noetherian scheme $X$, with spectrum homeomorphic to $X$ (Liu, 2011).
• Stable module categories for classical Lie superalgebras, with spectrum identified with quotients of Proj of cohomology rings of detecting subalgebras (Boe et al., 2014).
• Equivariant derived categories and superschemes, where the spectrum realizes the geometric quotient or the underlying even scheme (Dubey et al., 2010).
• Filtered and graded categories, where the spectrum is a product of the original spectrum and additional geometric factors, such as Sierpiński spaces, corresponding to the extra grading or filtration parameter (Aoki, 2020).
• Model-theoretic perspectives, connecting the Balmer spectrum to torsion theories and Ziegler spectra of definable subcategories (Prest et al., 2023).

In all these scenarios, the explicit identification of prime tensor-ideals, support-theoretic decompositions, and the structure of the Balmer spectrum drives the classification of subcategories and the “geometry” of the ambient categorical context.

7. Deformation and Higher Structure

The deformation theory of tensor triangulated categories, recently developed using Davydov–Yetter (DY) cohomology, captures first-order and higher-order deformations of the monoidal structure, with $HDY^3$ controlling infinitesimal associativity deformations and $HDY^4$ their obstructions. For derived categories of smooth affine schemes, the DY cohomology reduces to Hochschild cohomology, linking tensor deformations to classical algebraic invariants (Castro, 2023).

This framework extends to the differential graded context via truncated dg-lifts of tensor structures, and open problems include the computation of higher DY cohomology for more complex varieties, examining the rigidity of TTCs under monoidal deformations, and the stacky geometry of their moduli.

---

The theory of tensor triangulated categories establishes a categorical foundation that unifies support, ideal, and spectrum structures across algebra, topology, and geometry, provides powerful reconstruction and classification theorems, and offers a fertile ground for ongoing work in deformation, model theory, and higher categorical structures. Key results are established in (Liu, 2011, Boe et al., 2014, Dell'Ambrogio et al., 2015, Castro, 2023, Balchin et al., 9 Jan 2025, Shaul et al., 2020), and (Castro, 2023).