---
title: Comparison Map in tt-Category Theory
url: https://www.emergentmind.com/topics/comparison-map-of-a-tt-category
type: topic
---

# Comparison Map in tt-Category Theory

In tensor-triangular geometry, a **comparison map** is a spectral map that relates the Balmer spectrum of a tt-category to the prime spectrum of a commutative ring built from endomorphisms. In its classical form, it sends the spectrum of prime thick tensor ideals to the Zariski spectrum of the endomorphism ring of the tensor unit; in its higher forms, it is defined on supports of objects, on tensor-multiplicative families, and on arbitrary closed subsets of the Balmer spectrum. The basic purpose of the construction is to replace parts of the typically intricate space $\Spc(\mathcal K)$ by affine schemes $\Spec(R)$ that are more accessible ring-theoretically, while retaining enough functorial and support-theoretic information to analyze $\Spc(\mathcal K)$ recursively [1302.4521].

## 1. Classical setting and the unit comparison map

Let $\mathcal K$ be an essentially small tensor triangulated category with exact symmetric monoidal structure
\[
(\mathcal K,\otimes,\mathbb 1).
\]
Its Balmer spectrum $\Spc(\mathcal K)$ consists of prime thick tensor ideals, equipped with the Balmer topology. For an object $a\in\mathcal K$, the support is
\[
\supp(a)=\{\mathcal P\in \Spc(\mathcal K)\mid a\notin \mathcal P\},
\]
a closed subset of $\Spc(\mathcal K)$. In this framework, Thomason closed subsets are exactly the supports of objects: a closed subset $\mathcal Z\subseteq \Spc(\mathcal K)$ is Thomason if and only if $\mathcal Z=\supp(a)$ for some $a\in\mathcal K$ [1302.4521].

The classical comparison map is attached to the tensor unit. Since $\End_{\mathcal K}(\mathbb 1)$ is commutative, one has Balmer’s map
\[
\rho_{\mathbb 1}:\Spc(\mathcal K)\longrightarrow \Spec(\End_{\mathcal K}(\mathbb 1)),
\]
and in graded form
\[
\rho_{\mathbb 1}^\bullet:\Spc(\mathcal K)\longrightarrow \Spec^h(\End_{\mathcal K}^\bullet(\mathbb 1)).
\]
This map is the basic bridge between tt-geometry and commutative algebra: it compares prime tensor ideals with prime ideals in a ring of endomorphisms of the unit. The later theory of higher comparison maps is an extension of this construction rather than a replacement of it [1302.4521].

The phrase **comparison map of a tt-category** is therefore used in two closely related senses. In a narrow sense, it denotes the unit map $\rho_{\mathbb 1}$. In a broader sense, it denotes the family of maps obtained by replacing the unit by arbitrary tensor-multiplicative data, so that supports, fibers, and closed subsets can themselves be analyzed by further comparison maps [1302.4521].

## 2. Higher comparison maps and canonical commutative rings

The decisive extension is due to Sanders. For any object $X\in\mathcal K$, one constructs a commutative ring $R_X$ and a map
\[
\rho_X:\supp(X)\longrightarrow \Spec(R_X),
\]
together with a graded analogue
\[
\rho_X^\bullet:\supp(X)\longrightarrow \Spec^h(R_X^\bullet).
\]
More generally, if $\Phi\subset \mathcal K$ is a nonempty tensor-multiplicative subset, one defines
\[
Z_\Phi:=\bigcap_{X\in\Phi}\supp(X)
\]
and a comparison map
\[
\rho_\Phi:Z_\Phi\longrightarrow \Spec(R_\Phi).
\]
The object map is the special case $\Phi=\{X^{\otimes n}\mid n\ge 1\}$, while for a closed subset $Z\subseteq \Spc(\mathcal K)$ one may take
\[
\Phi_Z=\{a\in\mathcal K\mid \supp(a)\supseteq Z\},
\]
which yields a canonical map $\rho_Z:Z\to \Spec(R_Z)$ [1302.4521].

The construction begins with **tensor-balanced** endomorphisms. An endomorphism $f:X\to X$ is tensor-balanced if
\[
f\otimes X = X\otimes f
\]
as endomorphisms of $X\otimes X$. The ring of balanced endomorphisms is
\[
E_X=\{f\in [X,X]\mid f\otimes X=X\otimes f\}.
\]
Its graded analogue is
\[
E_X^\bullet=\bigoplus_i E_X^i,
\qquad
E_X^i=\{f\in [X,X]_i\mid f\otimes X=X\otimes f\}.
\]
A key lemma asserts that if $f$ is tensor-balanced, then
\[
f^{\otimes 2}\otimes \cone(f)=0.
\]
This is the cone-killing mechanism underlying locality and nilpotence arguments in the theory [1302.4521].

Because $E_X$ need not be commutative, the comparison target cannot simply be $E_X$ itself. Sanders first defines “unnatural” comparison maps from a chosen commutative ring $A$ equipped with a homomorphism $\alpha:A\to E_X$, and then replaces this ad hoc choice by a canonical commutative ring $R_\Phi$. Concretely,
\[
R_\Phi := \{(X,f)\mid X\in\Phi,\ f\in E_X\}/\sim,
\]
where $\sim$ is generated by the relations
\[
(X,f)\sim (a\otimes X,\ a\otimes f),
\qquad
(X,f)\sim (X\otimes a,\ f\otimes a)
\]
for all $a\in\Phi$. Writing $[f_X]$ for the class of $(X,f)$, one obtains a commutative ring with operations
\[
[f_X]+[g_Y]=[f_X\otimes Y + X\otimes g_Y],
\]
\[
[f_X]\cdot[g_Y]=[(f_X\otimes Y)\circ (X\otimes g_Y)].
\]
For an object $X$, the ring $R_X$ is identified with the colimit
\[
R_X \simeq \colim\bigl( E_X \xrightarrow{X\otimes-} E_{X^{\otimes 2}} \xrightarrow{X\otimes-} E_{X^{\otimes 3}}\to \cdots \bigr).
\]
This canonicalization is one of the main conceptual steps in the theory: the target ring is extracted from balanced endomorphisms without imposing commutativity externally [1302.4521].

## 3. Definition by cones, supports, and spectrality

The defining formula for a comparison map is expressed in terms of cones. For an external commutative ring $A$ with $\alpha:A\to E_X$, the associated map is
\[
\rho_{X,A}(\mathcal P):=\{a\in A\mid \cone(\alpha(a))\notin \mathcal P\}.
\]
For the canonical ring $R_\Phi$, the natural comparison map is
\[
\rho_\Phi(\mathcal P):=\{[f]\in R_\Phi\mid \cone(f)\notin \mathcal P\},
\qquad \mathcal P\in Z_\Phi.
\]
The graded version is
\[
\rho_\Phi^\bullet(\mathcal P)=\{[f]\in R_\Phi^i\mid \cone(f)\notin \mathcal P\}_{i\in\mathbb Z}.
\]
Thus a prime tensor ideal is sent to the set of parameters whose associated cones remain outside that prime. This definition is inclusion-reversing, reflecting the specialization order in the Balmer spectrum [1302.4521].

Continuity is encoded by explicit pullback formulas. For the unnatural map,
\[
\rho_{X,A}^{-1}(V(E))=\bigcap_{a\in E}\supp(\cone(\alpha(a))).
\]
If $V(E)=V(a_1,\dots,a_n)$ is Thomason, then
\[
\rho_{X,A}^{-1}(V(a_1,\dots,a_n))
=
\supp\bigl(\cone(\alpha(a_1))\otimes\cdots\otimes \cone(\alpha(a_n))\bigr).
\]
Similarly, for the canonical object map,
\[
\rho_X^{-1}(V([f_1],\dots,[f_n]))
=
\supp\bigl(\cone(f_1)\otimes\cdots\otimes\cone(f_n)\bigr).
\]
These formulas are the practical reason comparison maps are useful: closed subsets in the affine target pull back to supports of explicit objects in the tt-category [1302.4521].

The higher comparison maps are **spectral maps**. In particular, they are continuous and preserve quasi-compact opens under inverse image. Several topological consequences follow. If $Z_\Phi$ is connected, then $\Spec(R_\Phi)$ is connected; if $\mathcal K$ is rigid and $Z_\Phi$ is Thomason, the converse also holds. Proper closed subsets of the target pull back to proper closed subsets of $Z_\Phi$, and therefore $\rho_\Phi$ and $\rho_\Phi^\bullet$ have dense image. The density statement is explicitly noted as new even for Balmer’s original unit comparison map [1302.4521].

## 4. Iteration, fibers, and maps attached to closed subsets

The adjective **higher** refers not merely to generality but to recursion. One starts with the unit comparison map
\[
\rho_{\mathbb 1}:\Spc(\mathcal K)\to \Spec(\End(\mathbb 1)),
\]
chooses a Thomason closed subset $V(I)$ in the target, and studies its preimage. If $I=\langle [f_1],\dots,[f_n]\rangle$, then the preimage is the support of a tensor product of cones. To retain a canonical object on that support, Sanders takes
\[
X_1:=X_0\otimes \cone(f_1)\otimes\cdots\otimes \cone(f_n),
\]
so that $\supp(X_1)$ is precisely the desired closed subset and carries a new comparison map
\[
\rho_{X_1}:\supp(X_1)\to \Spec(R_{X_1}).
\]
The process can then be repeated. This yields a descending chain
\[
\Spc(\mathcal K)\supseteq \supp(X_1)\supseteq \supp(X_2)\supseteq \cdots,
\]
a filtration obtained by successive affine approximations [1302.4521].

A particularly important variant is the map attached directly to a closed subset. For
\[
\Phi_Z:=\{a\in \mathcal K\mid \supp(a)\supseteq Z\},
\]
one has
\[
Z_{\Phi_Z}=\bigcap_{a\in\Phi_Z}\supp(a)=Z,
\]
hence a canonical comparison map
\[
\rho_Z:Z\to \Spec(R_Z).
\]
This avoids choosing a generator $X$ with $\supp(X)=Z$. If $Z$ is Thomason, the resulting ring agrees canonically with the ring obtained from the class of objects with support exactly $Z$. The construction is therefore generator-independent and works even when a single object representing $Z$ is unavailable [1302.4521].

This closed-subset formalism supports a deterministic strategy for analyzing $\Spc(\mathcal K)$: choose a filtration of an affine target by closed subsets, pull it back along $\rho_Z$, and iterate on the resulting closed subsets. A key result states that if $W\subseteq \Spec^h(R_\Phi^\bullet)$ is closed and
\[
(\rho_\Phi^\bullet)^{-1}(W)=Z_\Phi,
\]
then $W$ is the whole homogeneous spectrum. Hence nontrivial closed subsets in the target always induce nontrivial refinements on the source. This makes higher comparison maps a genuine mechanism for extracting new geometric information rather than merely repackaging existing support data [1302.4521].

## 5. Functoriality, invariance, and localization

Comparison maps are functorial with respect to tt-functors. If $F:\mathcal K\to \mathcal L$ is a tt-functor and $F(\Phi)\subseteq \Psi$, there is a ring homomorphism
\[
R_{K,\Phi}\to R_{L,\Psi}
\]
and a commutative diagram relating the induced maps on spectra. Special cases include naturality for object comparison maps and for closed-subset maps. This makes the construction compatible with the standard morphisms of tt-geometry [1302.4521].

At the object level, the map depends only on the thick-tensor information carried by the object, not on a specific presentation. If $X\simeq Y$, then $R_X\simeq R_Y$ and $\rho_X=\rho_Y$. In a rigid category one also has
\[
R_X\simeq R_{DX},
\qquad
\rho_X=\rho_{DX}.
\]
Likewise,
\[
R_X\simeq R_{X\oplus X},
\qquad
\rho_X=\rho_{X\oplus X},
\]
and more generally the same holds when $Y$ is a finite direct sum of suspensions of $X$. Tensoring with another object $Y$ induces a map $R_X\to R_{X\otimes Y}$; if $\supp(X)\subseteq \supp(Y)$, its kernel consists entirely of nilpotents, and for $k\ge 1$ there is an isomorphism
\[
R_{X\otimes Y}\xrightarrow{\sim} R_{X^{\otimes k}\otimes Y}
\]
under which the corresponding comparison maps agree [1302.4521].

A major technical theorem is triangular localization. If $S\subset R_{K,\Phi}^\bullet$ is a multiplicative set of even homogeneous elements and
\[
J:=\langle \cone(s)\mid [s]\in S\rangle,
\]
then for the Verdier quotient $q:\mathcal K\to \mathcal K/J$ one has
\[
R_{K/J,\Phi}^\bullet \cong S^{-1}(R_{K,\Phi}^\bullet),
\]
together with a cartesian diagram on homogeneous spectra. Equivalently,
\[
Z_{K/J,\Phi}\cong \{\,P\in Z_{K,\Phi}\mid \rho^\bullet_{K,\Phi}(P)\cap S=\varnothing\,\}.
\]
This generalizes Balmer’s central localization for the unit and is indispensable for fiberwise and local analyses [1302.4521].

The later literature places these structural properties into broader topological and geometric frameworks. Rowe develops the Balmer spectrum as a locally ringed space and studies associated sheaf functors; in the affine case, the comparison map identifies $\Spec(T)$ with $\Spec(R_T)$ and the sheaves $[1,X]^\#$ become the usual quasi-coherent sheaves attached to $\Hom_T(1,X)$, while the schematic case is obtained by local affine comparison [2111.06233]. In a different direction, Shaul shows that for connective rigidly-compactly generated tt-categories the ungraded comparison map is a strong spectral quotient map with connected fibers, and in the unigenic connective case each fiber is local with a canonical relatively closed point detected by a weight complex functor [2508.02105].

## 6. Examples, limitations, and later refinements

The principal worked example in the foundational paper is the stable homotopy category of finite spectra. For finite spectra,
\[
\rho_{\mathbb 1}:\Spc(SH^{\mathrm{fin}})\to \Spec(\mathbb Z),
\]
since $\End_{SH}(\mathbb 1)\cong \mathbb Z$. This map is far from injective: over each prime $p$ lies the chromatic chain of primes $C_{p,n}$. After $p$-localization, the spectrum is
\[
\Spc(SH_{(p)}^{\mathrm{fin}})=\{C_1,C_2,\dots,C_\infty\},
\qquad
\overline{\{C_n\}}=\{C_i\mid i\ge n\}.
\]
Because the full rings $R_X^\bullet$ are not computed there, Sanders uses the graded comparison maps attached to
\[
A_X^\bullet:=\Center([X,X]_\bullet)\cap E_X^\bullet.
\]
For $X\in C_n\setminus C_{n+1}$, $\Spec^h(A_X^\bullet)$ has exactly two points: a generic prime of homogeneous nilpotents and a closed point, the ideal of homogeneous nonunits. If $f$ is a tensor-balanced $v_n$-selfmap, the closed point is $\sqrt{(f)}$, and
\[
\cone(f)\in C_{n+1}\setminus C_{n+2}.
\]
Iterating this construction produces the filtration
\[
\overline{\{C_2\}}\supset \overline{\{C_3\}}\supset \overline{\{C_4\}}\supset\cdots,
\]
removing one chromatic point at each stage. This is the prototype of higher comparison-map analysis [1302.4521].

The same example also exhibits a limitation. The point $\{C_\infty\}$ is not Thomason, so one should not expect every irreducible closed subset of a tt-spectrum to arise directly from noetherian affine targets. The theory nonetheless captures all Thomason closed subsets, and those form a basis of closed sets. A plausible implication is that comparison maps are most naturally adapted to the Thomason geometry intrinsic to compactly generated tt-categories, rather than to arbitrary sobriety phenomena [1302.4521].

Later work shows that the ordinary unit comparison map can be too small even more drastically. In the tt-category of compact permutation-derived objects for a finite group, the tensor unit satisfies
\[
\End_{K(G)}(\mathbbm 1)=k,
\]
so the ungraded comparison map would collapse to a single point; the actual tt-spectrum is instead stratified by modular fixed-points and cohomological spectra of Weyl groups [2210.08311]. Part II replaces the inadequate target $\Spech(\End^\bullet(\mathbb 1))$ by a twisted cohomology ring
\[
\Rall(G)=\bigoplus_{s,q}\Hom_{\cK(G)}(\unit,\unit(q)[s]),
\]
built from invertible twists $u_N$, and defines a new comparison map
\[
\comp_G:\Spc(\cK(G))\to \Spech(\Rall(G)).
\]
For elementary abelian groups this map is an open immersion globally, and on a natural open cover it becomes a homeomorphism onto the homogeneous spectrum of a local graded endomorphism ring [2307.04398].

This later behavior clarifies the conceptual scope of the notion. The classical comparison map packages information visible from the tensor unit; higher comparison maps enlarge the source and refine the target by using arbitrary objects or closed subsets; twisted comparison maps enlarge the target further by allowing invertible twists when $\End^\bullet(\mathbb 1)$ is too small. In a complementary topological direction, patch-density results imply that any spectral map out of $\Spc(\mathcal K)$ is determined by its restriction to a patch-dense subset; since comparison maps are spectral, this yields a uniqueness principle for reconstructing them from sufficiently rich families of probes [2503.15274].

The comparison map of a tt-category is therefore best understood not as a single isolated morphism but as a hierarchy of spectral approximations to the Balmer spectrum. At one end lies the unit map
\[
\Spc(\mathcal K)\to \Spec(\End(\mathbb 1)),
\]
at another the family of higher maps
\[
\rho_X,\ \rho_\Phi,\ \rho_Z,
\]
and in settings where the unit is ring-theoretically too poor, twisted or localized variants. Across these forms, the unifying principle is constant: prime tensor ideals are studied by sending them to prime ideals generated by those endomorphism parameters whose cones remain invisible at the given point, thereby translating tt-geometric structure into affine algebraic geometry in a way that can be iterated, localized, and functorially compared [1302.4521].

Source: https://www.emergentmind.com/topics/comparison-map-of-a-tt-category