The tensor triangular geometry of fully faithful functors

Beren Sanders

REVIEW 2 major objections 5 minor 1 cited by

The tensor triangular geometry of fully faithful functors

T0 review · 2 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A fully faithful tensor-triangulated functor induces a strong spectral quotient map on Balmer spectra with connected fibers, an analogue of Zariski Connectedness.

desk verdict A genuinely new and significant theorem in tt-geometry, with a load-bearing but unstated external lemma in the proof that should be checked before final acceptance. read the letter →

arxiv 2508.02105 v1 pith:ACJ5FGML submitted 2025-08-04 math.AT math.AGmath.CTmath.RT

Beren Sanders This is my paper · ORCID

classification math.ATmath.AGmath.CTmath.RT

keywords tensortriangulargeometryBalmerspectrumfullyfaithfulfunctorspectralquotientmapconnectedfibersunitationconcentrationcomparison

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper proves a structural theorem for Balmer spectra, the spaces that record prime tensor ideals of a tensor-triangulated category. A faithful geometric functor between such categories induces a strong spectral quotient map, and a fully faithful one induces a map whose fibers are connected. This is the tensor-triangular analogue of the Zariski Connectedness Theorem, and it means that passing to a tensor subcategory can only squash the spectrum in controlled, connected ways. To generate examples, the paper introduces the concentration of a category at a set of compact generators, with the unitation (concentration at the unit object) as the extreme case. It computes the spectra of unitations in equivariant and motivic settings, and proves that the comparison map of a connective category is a strong spectral quotient map with connected fibers. The upshot is a layered strategy: understand the spectrum of the endomorphism ring of the unit, then rebuild larger spectra through successive connected quotients.

What carries the argument

Carrying the argument is the idempotent triangle $e_Y \to \mathbf{1} \to f_Y \to \Sigma e_Y$ associated to a Thomason-closed subset $Y$ of the target spectrum, together with the support-vanishing criterion [PSW22, Proposition 2.29]: for compact $x$ with $\mathrm{supp}(x)=V^c$, the morphism $f_Y\otimes x \to \Sigma e_Y \otimes x$ vanishes exactly when $U\cap V^c$ is Thomason. This criterion is what converts faithfulness of $f^*$ into the statement that preimages of basic constructible sets detect Thomason-closedness, which feeds the weak spectral quotient characterization of Section 2. For the comparison-map theorems, the secondary machinery is the weight complex functor of a connective unigenic category, which embeds $\mathrm{Spec}(R_{\mathcal{T}})$ into $\mathrm{Spc}(\mathcal{T}^c)$ and supplies the section that upgrades the comparison map to a closed quotient map.

What would settle it

Find a counterexample to that external lemma: a tt-category, a Thomason-closed set $Y$, a quasi-compact open $U$, and a compact object $x$ such that $U\cap V^c$ is not Thomason but $f_Y\otimes x \to \Sigma e_Y\otimes x$ nevertheless vanishes; this would refute the lemma behind Theorem 4.1. A broader check is to exhibit a faithful geometric functor whose induced map on Balmer spectra is not a spectral quotient, or a fully faithful functor whose induced map has a disconnected fiber.

Watch

Extended reading notes

Core claim

The paper's central result is Theorem 5.5: if $f^* : \mathcal{T} \to \mathcal{S}$ is a fully faithful geometric functor between rigidly-compactly generated tt-categories, then the induced map $\varphi : \mathrm{Spc}(\mathcal{S}^c) \to \mathrm{Spc}(\mathcal{T}^c)$ is a strong spectral quotient map whose fibers are connected. Faithfulness alone already forces $\varphi$ to be a strong spectral quotient map (Theorem 4.1); full faithfulness is used to prove connectedness of fibers, via the fact that in a local tt-category the endomorphism ring of each idempotent $e_Z$ is local. The paper reads this as the tensor-triangular analogue of Zariski Connectedness and derives from it a family of results about comparison maps, concentrations, weight complex functors, and specific spectra in equivariant and motivic mathematics.

Load-bearing premise

The load-bearing premise is an external lemma that a certain morphism between two objects vanishes exactly when a certain intersection of open sets satisfies a closure condition called being Thomason; if that lemma fails outside noetherian settings, the quotient-map theorem, and with it the connected-fiber theorem, would have to be restricted.

Editorial extensions

If this is right

Every inclusion of a concentration $\mathcal{T}_{\langle G\rangle}\hookrightarrow \mathcal{T}$ induces a strong spectral quotient map $\mathrm{Spc}(\mathcal{T}^c)\to\mathrm{Spc}(\mathcal{T}^c_{\langle G\rangle})$ with connected fibers; cellular, Tate, Artin, and equivariant subcategories therefore sit over the ambient spectrum in connected layers.
For a connective rigidly-compactly generated tt-category, the ungraded comparison map to $\mathrm{Spec}(\mathrm{End}_{\mathcal{T}}(\mathbf{1}))$ is a strong spectral quotient map with connected fibers, so it is a homeomorphism exactly when it is injective.
If the graded endomorphism ring of the unit is coherent, the graded comparison map is a strong spectral quotient map, strengthening the prior surjectivity statement for comparison maps.
In the equivariant stable homotopy category of a finite group, unitation glues precisely the points of infinite chromatic height that are identified in the Burnside ring spectrum, while finite-height chromatic truncations see no change under unitation.
For derived Mackey functors, the unitation's spectrum is homeomorphic to the spectrum of the Burnside ring even though the categories are not equivalent, showing that unitation is a spectral operation rather than a categorical one.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

If Theorem 5.5 stands in full generality, then in examples where known points in a fiber have no specialization relations, such as the isotropic motivic primes, connectedness forces either undiscovered points in the fiber or nontrivial behavior of the constructible topology.
The concentration process suggests a computational recipe the paper only begins: compute the unigenic core, then pass to successively larger concentrations such as the concentration at the Picard group, using the connected-fiber theorem to control each quotient.
A careful audit of [PSW22, Proposition 2.29] on non-noetherian spectral spaces is the clearest way a counterexample could enter; any failure there would localize the theorems to noetherian or otherwise restricted settings.
The local-unigenicity upgrade, namely that a homeomorphism combined with local unigenicity forces an equivalence, offers a practical test for detecting whether a spectrum homeomorphism actually comes from a categorical equivalence.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

One thing to know: Theorem 5.5 is genuinely new and important — fully faithful geometric functors give strong spectral quotient maps with connected fibers — and the proof is detailed enough that I trust the architecture. The concentration/unitation framework is a useful way to organize a large family of examples, and the SH_G computation (Theorem 13.16) is a concrete payoff, not a slogan.

What the paper does well: the spectral-topology preliminaries are handled with care; the weak/strong spectral quotient distinctions and the lifting lemmas are used honestly. The comparison-map results (Theorem 10.8, Corollary 12.9) strengthen Balmer and Lau in a real way. The equivariant section works through many examples and shows the behavior genuinely varies across the chain SH_G, D(H_G,Z), DPerm, DRep. I did not find an internal error, and the self-citations are to published results, so circularity is not a concern.

The soft spot is exactly the one in the stress-test. Theorem 4.1's proof cites [PSW22, Prop. 2.29] as a black box: a support-vanishing characterization of when f_Y ⊗ x → Σe_Y ⊗ x vanishes. The manuscript does not state the hypotheses of that proposition, and the claim is used for arbitrary rigidly-compactly generated tt-categories, whose Balmer spectra need not be noetherian. That is load-bearing. If the cited lemma carries hidden noetherian hypotheses, the stated generality of Theorem 5.5 collapses at that step. I have no evidence the lemma is false or restricted; the paper's own examples are consistent. But for a theorem this central, the author should quote the lemma with its hypotheses or prove it. This is an external-dependency gap, not an internal contradiction, and it is fixable in revision.

Who this is for: anyone working in tt-geometry, equivariant homotopy, or motivic categories. It deserves a serious referee. Send it to review, and ask the referee to check the PSW22 dependency carefully; if that step holds, the paper is a strong accept.

Referee Report

2 major / 5 minor

Summary. The paper's central result (Theorem 5.5) asserts that a fully faithful geometric functor f^*: T → S between rigidly-compactly generated tt-categories induces a strong spectral quotient map φ: Spc(S^c) → Spc(T^c) with connected fibers; for a merely faithful geometric functor, Theorem 4.1 gives the strong spectral quotient conclusion without connected fibers. This is presented as a tt-analogue of the Zariski Connectedness Theorem. The paper then introduces the concentration T_⟨G⟩ and unitation T_⟨1⟩, proves comparison-map results for the graded case (Theorem 10.8) and for ungraded connective categories (Corollary 12.9) via weight structures, computes unitations in equivariant stable homotopy and derived Mackey functor settings (Theorems 13.11, 13.15, 13.16), and studies local unigenicity and affinization with many examples.

Significance. If proved in the stated generality, the main theorem is a substantial contribution to tensor triangular geometry: it gives a structural topological constraint on all fully faithful tt-functors, and it yields new results about comparison maps, concentrations, and equivariant examples. The paper is carefully written, contains many worked examples and explicit counterexamples to strengthenings, and organizes a large amount of material (spectral quotient formalism, weight structures, equivariant computations) in a useful way. The main reservation is that the proof of the foundational theorem rests on an unstated external support-vanishing lemma; verifying that dependency is necessary before the full significance can be assessed.

major comments (2)

[§4.1, proof of Theorem 4.1] The proof of Theorem 4.1 is built on [PSW22, Proposition 2.29], but the manuscript does not state that proposition or its hypotheses. The proposition is used in both directions (to get vanishing after applying f^* from the Thomason condition on the preimage, and to get the Thomason condition from faithfulness), and the argument is made for an arbitrary rigidly-compactly generated tt-category, whose Balmer spectrum need not be noetherian and can be an arbitrary spectral space. If [PSW22, Proposition 2.29] has hidden noetherian or weak-noetherian hypotheses, or applies only to the categories considered in that paper, then Theorems 4.1 and 5.5, and all later results that invoke Theorem 4.1, are not proved in the claimed generality. Please state the precise result, verify that its hypotheses hold for every rigidly-compactly generated tt-category, or prove the support-vanishing assertion directly; if the statement is only known in smaller generality, the theorems should be restricted accordingly.
[§13.9, proof of Proposition 13.9] The proof that the composition (13.10) is conservative concludes that the bottom functor D(A(G)_(p))^c → D(Z_(p))^c is conservative from the assertion that A(G)_(p) has a unique closed point hit by the closed point of Z_(p), citing [Bal18, Theorem 1.2]. Surjectivity on the unique closed point alone does not in general make derived base change conservative, so the exact theorem being used and its hypotheses should be spelled out and checked. This step is load-bearing for the conclusion φ(P(G,p)) = (0), hence for the identification of infinite-height fibers in Theorem 13.16.

minor comments (5)

[§1, Notation (d)] The global convention that k denotes a field of positive characteristic p conflicts with many later examples over arbitrary fields or rings, such as the motivic examples in §9 and the scheme examples in §16; please make the convention local to the relevant equivariant representation sections.
[§15, footnote 3] The footnote citing [AL14], a linguistics paper on suffix rivalry, appears to be a joke citation and is not mathematically informative; it should be removed or replaced with a relevant reference.
[§17, Examples 17.17 and 17.20] The notation 'Spec(SH^c_(p))' and 'Spec(SH^c)' is used where the Balmer spectrum is meant; please write 'Spc' consistently to avoid confusion with the Zariski spectrum.
[§13.15, proof of Theorem 13.15] The discreteness of the fiber {P(K,C) | K ≤ G} is invoked by citing [BS17, Proposition 8.1]; since this is exactly the point that lets a connected subset be a singleton, please state the relevant content of that proposition in the notation of the present paper.
[§11, Theorem 11.5] The notation K^b(K^♡) is used without an explicit definition in the paragraph immediately before Theorem 11.5; a short parenthetical definition would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the central theorems are derived from standard tt-category machinery and external published results, and the self-citations do not reduce the argument to its own conclusion.

full rationale

The derivation chain is self-contained in the relevant sense. Theorem 5.5 combines Theorem 4.1 (faithful functors induce strong spectral quotient maps) with Theorem 5.4 (fully faithful functors have connected fibers). Theorem 4.1 reduces faithfulness to a weak spectral quotient criterion using [PSW22, Proposition 2.29], an external published support-vanishing lemma; the cited proposition is not stated as a consequence of the target theorem, and the proof does not substitute the conclusion into its hypotheses. Theorem 5.4 uses Lemma 5.1, whose proof invokes [San13, Lemma 3.3] and [San13, Proposition 3.5] as prior published results. The applications in Sections 10-13 rely on classifications and spectrum computations from [BS17], [PSW22], and [BHS23]; these are established external results, not assumptions that already contain Theorem 5.5. The definitions of concentration and unitation are new terminology for localizing subcategories generated by specified compact objects, and they are not used as disguised fits or renamed predictions. No equation in the paper exhibits a self-definitional reduction, and no fitted parameter is later called a prediction. The skeptical concern about the exact hypotheses of [PSW22, Proposition 2.29] is a legitimate correctness and robustness question about an external dependency, but it is not a circularity: even if that lemma failed in the stated generality, the paper's argument would be unsupported rather than circular. Accordingly, the appropriate circularity score is 0.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

No free parameters. The proofs rely on standard foundations of tt-categories, the theory of spectral spaces, weight structures, and the known classifications of equivariant spectra. The concentration and unitation constructions are definitions, not axioms.

assumptions (5)

domain assumption S and T are rigidly-compactly generated tt-categories and f* is a geometric (coproduct-preserving tensor-triangulated) functor
Standing Hypothesis 3.1 throughout the paper; all theorems are stated for such functors.
standard math For a geometric functor, the adjoints f* and f! exist with projection formulas ([BDS16])
Used in Section 6 to characterize faithfulness via the unit map u: 1_T -> f_* 1_S.
standard math The theory of spectral spaces and spectral quotient maps as in [DST19]
Used throughout Part I, especially Proposition 2.16 and Corollary 2.18.
standard math Existence, uniqueness, conservativity and monoidality of weight complex functors from [Bon10], [Sos19], [Aok20]
Theorem 11.5 and Proposition 11.14 use weight structures to prove locality of algebraic localizations.
standard math Classifications of primes in Spc(SH_G) and Spc(D(H_G,Z)) from [BS17] and [PSW22]
Used for the equivariant computations, Theorem 13.16 and Theorem 13.11.

how reviews work

0 comments

Cite this review

Pith. "Pith review of The tensor triangular geometry of fully faithful functors." pith.science (2026). https://pith.science/paper/ACJ5FGML

@misc{pith2026250802105,
  author       = {Pith},
  title        = {Pith review of: The tensor triangular geometry of fully faithful functors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ACJ5FGML}},
  note         = {Machine review of arXiv:2508.02105}
}

read the original abstract

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.

Figures

Figures reproduced from arXiv: 2508.02105 by the authors.

**Figure 1.** The Balmer spectrum of the unitation of SHCp . This result for SHG is obtained by first understanding the unitation of its linearization — the category of derived Mackey functors D(HG,Z) — and its chromatic truncations (SHG)≤n. This is accomplished in Theorem 13.11 and Theorem 13.15, respectively. We discover that unitation behaves very differently in these two cases, which reflects the curious behaviour of the unit… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

Permutation twisted cohomology, remixed
math.RT 2025-08 conditional novelty 6.0 of 10

For every finite p-group, the remixed twisted cohomology ring gives an injective comparison map from the Balmer spectrum of permutation modules, an open immersion when the ring is Noetherian.

Reference graph

Works this paper leans on

15 extracted references · 13 canonical work pages · cited by 1 Pith paper

[5]

Homological stratifi- cation and descent

[BHSZ24] Tobias Barthel, Drew Heard, Beren Sanders, and Changhan Zou. Homological stratifi- cation and descent. Preprint, 39 pages, available online at arXiv:2412.13956,

work page arXiv
[9]

tt-geometry of Tate motives over algebraically closed fields

[Gal19] Martin Gallauer. tt-geometry of Tate motives over algebraically closed fields. Compos. Math., 155(10):1888–1923,

work page 1923
[10]

The cohomology theory of abstract algebraic varieties

[Gro60] Alexander Grothendieck. The cohomology theory of abstract algebraic varieties. In Proc. Internat. Congress Math. 1958 , pages 103–118. Cambridge Univ. Press, New York,

work page 1958
[11]

With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. [Lau23] Eike Lau. The Balmer spectrum of certain Deligne-Mumford stacks. Compos. Math., 159(6):1314–1346,

work page 1998
[1952]

Tensor triangular geometry of filtered modules

[Gal18] Martin Gallauer. Tensor triangular geometry of filtered modules. Algebra Number Theory, 12(8):1975–2003,

work page 1975
[1965]

An algebraic model for commutative HZ-algebras

[RS17] Birgit Richter and Brooke Shipley. An algebraic model for commutative HZ-algebras. Algebr. Geom. Topol., 17(4):2013–2038,

work page 2013
[1998]

[Bre03] Holger Brenner

Translated from the French, Reprint of the 1989 English translation. [Bre03] Holger Brenner. Lifting chains of prime ideals. J. Pure Appl. Algebra , 179(1-2):1–5,

work page 1989
[2000]

Representations of finite groups on modules over K-theory

[Tre15] David Treumann. Representations of finite groups on modules over K-theory. With an appendix by Akhil Mathew. Preprint, 33 pages, available online at arXiv:1503.02477,

arXiv

Show all 15 references

[2003]

A model for genuine equivariant commutative ring spectra away from the group order

[Wim19] Christian Wimmer. A model for genuine equivariant commutative ring spectra away from the group order. Preprint, 30 pages, available online at arXiv:1905.12420,

1905 arXiv
[2014]

Affine weakly regular tensor triangulated categories

[DS22] Ivo Dell’Ambrogio and Donald Stanley. Erratum to: “Affine weakly regular tensor triangulated categories” [Pacific J. Math. 285 (2016), no. 1, 93–109]

2016
[2018]

Stratifying integral representations of finite groups

[Bar21] Tobias Barthel. Stratifying integral representations of finite groups. Preprint, 36 pages, available online at arXiv:2109.08135,

arXiv
[2019]

Support theories for non-Noetherian tensor triangulated categories

[Zou23] Changhan Zou. Support theories for non-Noetherian tensor triangulated categories. Preprint, 34 pages, available online at arXiv:2312.08596,

arXiv
[2023]

The geometry of permutation modules

[BG23c] Paul Balmer and Martin Gallauer. The geometry of permutation modules. Preprint, 75 pages, available online at arXiv:2307.04398,

arXiv
[2024]

A general Greenlees–May splitting principle

[BDR24] Serge Bouc, Ivo Dell’Ambrogio, and Martos Rub´ en. A general Greenlees–May splitting principle. Preprint, 15 pages, available online at arXiv:2405.18885,

arXiv
[2025]

Cosupport in tensor triangular geometry

[BCHS23] Tobias Barthel, Nat` alia Castellana, Drew Heard, and Beren Sanders. Cosupport in tensor triangular geometry. Preprint, 87 pages, available online at arxiv:2305.02308,

arXiv

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.

[1] [5]

Homological stratifi- cation and descent

[BHSZ24] Tobias Barthel, Drew Heard, Beren Sanders, and Changhan Zou. Homological stratifi- cation and descent. Preprint, 39 pages, available online at arXiv:2412.13956,

work page arXiv

[2] [9]

tt-geometry of Tate motives over algebraically closed fields

[Gal19] Martin Gallauer. tt-geometry of Tate motives over algebraically closed fields. Compos. Math., 155(10):1888–1923,

work page 1923

[3] [10]

The cohomology theory of abstract algebraic varieties

[Gro60] Alexander Grothendieck. The cohomology theory of abstract algebraic varieties. In Proc. Internat. Congress Math. 1958 , pages 103–118. Cambridge Univ. Press, New York,

work page 1958

[4] [11]

With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original. [Lau23] Eike Lau. The Balmer spectrum of certain Deligne-Mumford stacks. Compos. Math., 159(6):1314–1346,

work page 1998

[5] [1952]

Tensor triangular geometry of filtered modules

[Gal18] Martin Gallauer. Tensor triangular geometry of filtered modules. Algebra Number Theory, 12(8):1975–2003,

work page 1975

[6] [1965]

An algebraic model for commutative HZ-algebras

[RS17] Birgit Richter and Brooke Shipley. An algebraic model for commutative HZ-algebras. Algebr. Geom. Topol., 17(4):2013–2038,

work page 2013

[7] [1998]

[Bre03] Holger Brenner

Translated from the French, Reprint of the 1989 English translation. [Bre03] Holger Brenner. Lifting chains of prime ideals. J. Pure Appl. Algebra , 179(1-2):1–5,

work page 1989

[8] [2000]

Representations of finite groups on modules over K-theory

[Tre15] David Treumann. Representations of finite groups on modules over K-theory. With an appendix by Akhil Mathew. Preprint, 33 pages, available online at arXiv:1503.02477,

arXiv