Pith. sign in

REVIEW 3 major objections 5 minor 13 references

The Zariski frame functor unifies Zariski, Balmer, and smashing spectra under one ideal-theoretic construction.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-02 05:30 UTC pith:6GARQZOK

load-bearing objection Unifies Zariski, Balmer, and smashing spectra via categorical ideals; the main smashing-frame identification has a proof gap in the transfer from PrL_st to Prdbl_T, but the framework is solid and deserves refereeing. the 3 major comments →

arxiv 2607.13329 v1 pith:6GARQZOK submitted 2026-07-14 math.AT math.AGmath.CT

Smashing, Balmer, Zariski spectra: an ideal approach

Jiacheng Liang , Changhan Zou This is my paper
classification math.AT math.AGmath.CT MSC 18N7018F7055P42
keywords Zariski framesmashing frameBalmer spectrumcategorical idealssymmetric monoidal ∞-categoriescoherent framesquotients by idealsE∞-semirings
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper defines a single construction—the Zariski frame of a presentably symmetric monoidal ∞-category—that takes categorical ideals (monomorphisms into the unit object) and extracts a frame of radical ideals. It shows that this construction recovers the classical Zariski spectrum of a commutative ring, the Hochster dual of the Balmer spectrum of a commutative 2-ring, and the smashing frame of a stable tensor-triangulated category. If correct, all three spectral theories are special cases of one functor, so results about coherent frames apply uniformly to commutative algebra and tensor triangular geometry. The paper also develops a theory of quotients by ideals, introducing Σ-triviality and Σ-exactness to make quotienting well-behaved, and applies it to construct quotients of E∞-semirings.

Core claim

The central claim is that the Zariski frame functor Zar: CAlg(Pr^L) → Frm, defined by sending a presentably symmetric monoidal ∞-category C to the frame of radical categorical ideals (monomorphisms I → 1), unifies the spectrum theories: for C = Mod_R(Ab) it is the Zariski spectrum of R; for C = Mod_K(Cat^perf) it is the Hochster dual of the Balmer spectrum of K; and for a stable T, Sm(T) ≃ Zar(Mod_T(Pr^L_st)^{dbl}) (Theorem 3.3.4). The proof rests on showing that the poset Idl(C) is a preframe, that its radical elements form a coherent frame when C is compactly generated, and that in the stable case the categorical ideals of the dualizable module category are exactly the smashing ideals.

What carries the argument

The key object is the Zariski frame Zar(C) = Idl(C)_rad, the frame of radical categorical ideals of C, where a categorical ideal is a monomorphism into the unit object 1. The mechanism is the preframe structure on Idl(C): ideals multiply by image of tensor product, radicals are defined by the relation x^2 ≤ r ⇒ x ≤ r, and the radical elements form a frame because in a preframe the radical product equals the meet. This frame-theoretic construction, together with Stone duality, yields the spectral space Spec(C).

Load-bearing premise

The identification of Sm(T) with Zar(Prdbl_T) relies on imported theorems that, in the dualizable module category, monomorphisms are fully faithful and epimorphisms are localizations, and that there is a single compact generator; if any of those theorems carries an unstated hypothesis, the central equivalence is not established.

What would settle it

For a specific stable presentably symmetric monoidal ∞-category, compute the frame of radical categorical ideals of its dualizable module category and compare it with the poset of smashing ideals of the category itself. For example, working with the sphere spectrum T = Sp, if a radical ideal in Zar(Prdbl_Sp) fails to correspond to a smashing ideal of Sp, the claimed equivalence Sm(T) ≃ Zar(Prdbl_T) is false.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • A single coherent-frame criterion now characterizes Noetherianity of all three spectra: the spectrum is Noetherian iff every radical ideal is the radical of a finitely generated one.
  • The balanced (Hochster dual) relationship between Balmer spectra and Zariski spectra becomes a special case of one functor, so topological results about spectral spaces apply uniformly.
  • Smashing frames of stable ∞-categories are ω1-coherent, giving them a (large-cardinal) point-set topology via Stone duality.
  • In stable cases, the ideal–epimorphism correspondence recovers the usual bijection between smashing ideals and smashing localizations; in the non-stable case, the paper's Σ-exactness conditions delineate exactly when this correspondence holds.
  • Quotients by ideals are constructed for a broad class of pointed presentably symmetric monoidal ∞-categories, yielding quotients of E∞-semirings when the ideal has trivial E1-group completion.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The unified frame should make it possible to transfer constructions between commutative algebra and tensor triangular geometry, e.g., applying Cohen-type criteria to categories where no explicit spectral space was previously associated.
  • The Σ-exactness formalism suggests a general doctrine of 'exact modes' that could be used to define quotients in other higher-algebraic settings, beyond the semiring example.
  • The ω1-coherence points toward a theory of 'large-cardinal spectral spaces' that might carry information invisible in the ordinary Zariski spectrum.
  • The reformulation of the telescope conjecture as surjectivity of a frame map raises the possibility of measuring its failure by the size of the coimage, an invariant not visible in the classical formulation.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 5 minor

Summary. The paper introduces a Zariski frame functor Zar : CAlg(Pr^L) → Frm, assigning to any presentably symmetric monoidal ∞-category the frame of radical categorical ideals, where a categorical ideal is a monomorphism into the unit. It claims that this single construction recovers the classical Zariski spectrum of a ring, the Hochster dual of the Balmer spectrum of a commutative 2-ring, and, via dualizable modules, the smashing frame/spectrum of a stable presentably symmetric monoidal ∞-category. Further results include coherence of Zariski frames in the compactly generated case (Theorem 2.3.3), a Cohen-type criterion for coherent frames (Theorem 2.4.2), an identification with coidempotent frames (Theorem 2.5.6), ω1-coherence of smashing frames (Corollary 3.4.7), and a quotient formalism based on new Σ-triviality and Σ-exactness conditions, with applications to quotients of E∞-semirings.

Significance. If the main identifications hold, this is a substantive conceptual unification: it places three a priori separate spectral theories under one functor and produces new structural information, such as coherence and Noetherianity criteria, in a uniform way. The paper also contains a substantial and well-organized body of frame theory, preframes, and ideal–epimorphism correspondences. Its strengths include explicit functorial constructions, a clear statement of the unifying diagram, and a careful treatment of quotient problems in higher algebra. However, the central smashing-frame identification is not fully established by the argument as written: it rests on a proof gap in Proposition 3.3.2 and on deep external results imported from [Efi24], [Ram24], and [Ram26]. Because these dependencies are load-bearing, the paper needs revision before the central claim can be regarded as proved.

major comments (3)
  1. [§3.3, Proposition 3.3.2] Part (2) is proved by saying that it follows from [Efi24, Proposition A.1] since the functor Prdbl_st → PrL_st is conservative and commutes with colimits. This is not sufficient: epimorphisms are detected by pushouts of the form B ∐_A B, and the inclusion of the non-full subcategory Prdbl_st into PrL_st is not shown to preserve the relevant pushouts; a conservative functor that does not preserve those pushouts need not reflect epimorphisms. Moreover the proposition is stated for an arbitrary T ∈ CAlg(PrL_st), while the proof only addresses Prdbl_st and gives no base-change or reduction argument covering general dualizable T-modules. Since Theorem 3.3.4 and Corollary 3.4.7 depend on this proposition, the central smashing-frame identification is not established by the manuscript's own argument. Please supply a correct proof for Prdbl_T, or cite a precise external statement that covers it.
  2. [§2.1, Proposition 2.1.20] The proof claims that Qcidem is a frame because every element is coidempotent, citing Proposition 2.1.8. But Proposition 2.1.8 concerns the radical elements Qrad, and in a general preframe an idempotent element need not be radical. The final inference is therefore invalid as written. The frame structure of Qcidem is later asserted in Proposition 2.1.21 via [Ane+23, Proposition A.4.8], so the statement is likely correct, but the proof of Proposition 2.1.20 should either be repaired directly or the external result should be cited explicitly at that point. This matters because cIdem(V) and hence Sm(V) rely on this frame structure.
  3. [§3.3, Theorem 3.3.4] The proof of the chain Sm(T) = cIdem(Prdbl_T) ≃ Idl(Prdbl_T) ≃ Idl(Prdbl_T)rad is compressed into a one-sentence argument that cites Remark 3.3.3(1) and the fact that Sm(T) is a frame. The second equivalence requires that every ideal in Prdbl_T is already radical/coidempotent, which uses Proposition 3.3.2. Thus the gap in Proposition 3.3.2 directly propagates into the main theorem. Please either provide a complete proof of this equivalence or explicitly state which external result supplies each step.
minor comments (5)
  1. [Throughout] There are several typos: 'classcial' for 'classical', 'Appied' for 'Applied', 'Cartesion' for 'Cartesian', and 'isormophism' for 'isomorphism'.
  2. [Example B.7(1)] The proof of the monomorphism characterization in Cat^perf refers to [Lia26, Lemma 7.5], a self-citation to an unpublished preprint. The surrounding argument is only sketched; consider making it self-contained or citing a more standard reference.
  3. [§3.4, Theorem 3.4.9] The notation Im^{Prdbl_T}(l(Φ)) is confusing: l(Φ) is a functor, not an object of Prdbl_T. The displayed identification ⟨Im(l(Φ))⟩ ≃ ⟨Im(Φ)⟩ is asserted without details, and the reader must guess the meaning of 'image' of a functor in this context. Please clarify the notation and expand this step.
  4. [Example 4.5.5] The claim about the dualizable additive kernel of D(Z)≥0 → D(Z[p^{-1}])≥0 is deferred to [LLS], which is listed as 'in preparation'. Since the example is used to illustrate failure of right Σ-exactness, either include a proof or clearly mark the statement as conditional on that reference.
  5. [Abstract and §1] The term 'commutative 2-ring' is used in the abstract but the body defines the input as K ∈ CAlg(Cat^perf). Please align the terminology and give a one-line definition or pointer.

Circularity Check

0 steps flagged

No circular reduction in the main derivation; only two non-load-bearing self-citations, so score 2.

full rationale

The central chain Zar(C):=Idl(C)_rad is built from definitions and from external results (Lurie, Efimov, Ramzi, Kock-Pitsch, Aoki). The identifications Spec(Mod_R(Ab)) = Zariski spectrum, Spec(Mod_K(Catperf)) = Hochster dual of Balmer spectrum, and Sm(T) ≃ Zar(Prdbl_T) are genuine theorems relating the new notion to prior objects; none is obtained by fitting a parameter or by defining the target as the source. The only self-citations are in Example B.7 (cf. [Lia26, Lemma 7.5]) and Example 4.5.5 ([LLS]). In B.7 the cited self-reference is explicitly secondary to the same argument in [Efi24, Prop A.1(1)], so it is not load-bearing; [LLS] only supplies further detail about an example. The reviewer concern that Prop 3.3.2 relies on an unsupported colimit-preservation claim is a correctness gap, not circularity: the assertion is presented as following from an external citation, not from the paper's own desired conclusion. Thus the paper's central unification is not circular by construction; the score reflects only the presence of two minor self-citations.

Axiom & Free-Parameter Ledger

0 free parameters · 8 axioms · 0 invented entities

The central claim rests on standard infinity-category theory and on several deep external theorems (Efimov, Ramzi, Aoki, Kock-Pitsch) used as black boxes. No fitted parameters or empirical entities are postulated. The self-citations [Lia26] and [LLS] are minor and not load-bearing.

axioms (8)
  • standard math The theory of infinity-categories and symmetric monoidal infinity-categories as in [Lur09, Lur17]: presentable infinity-categories have the described properties (adjoint functor theorem, overcategories, monadic descent, etc.).
    Used throughout; standard foundational framework.
  • standard math Radicalization of preframes: for a preframe Q, Q^rad is a frame and is the localization at x^2<=x (Proposition 2.1.8, Theorem 2.1.10), cited to [Ane+23, Appendix A].
    Central to defining the Zariski frame; the paper relies on the cited reference for proof.
  • domain assumption For a commutative 2-ring K, the Zariski spectrum of Mod_K(Cat^perf) is the Hochster dual of the Balmer spectrum ([KP17, Corollary 3.4.2]).
    Used in Example 2.3.6 to recover Balmer spectra; not proved in this paper.
  • domain assumption In the infinity-category Prdbl_T of dualizable presentable T-modules (T stable), monomorphisms are fully faithful and epimorphisms are localizations ([Efi24, Proposition A.3]).
    Key input for Theorem 3.3.4; if false, the identification of smashing ideals with arbitrary ideals in Prdbl_T fails.
  • domain assumption The category Prdbl_st is generated under colimits by a single omega1-compact object Shv>=0(R;Sp) ([Efi24, Theorem D.1]).
    Used for omega1-coherence of smashing frames (Corollary 3.4.7).
  • domain assumption For V in CAlg(Pr^L_kappa) with kappa uncountable, Prdbl_V in CAlg(Pr^L_kappa) and the inclusion preserves kappa-compact objects ([Ram24, Theorem 3.1 and Corollary 3.14]).
    Used to transfer coherence from Zariski frames to smashing frames.
  • domain assumption cIdem(V) is a frame for V in CAlg(Pr^L) ([Aok23, Theorem 3.29]).
    Used in Section 2.5 and for defining the smashing frame.
  • standard math Stone duality for coherent frames (Frm_coh is equivalent to Top_coh) and the definitions of spectral spaces ([Joh82], [DST19]).
    Used to pass from Zariski frames to topological spectra.

pith-pipeline@v1.3.0-alltime-deepseek · 38400 in / 25281 out tokens · 239527 ms · 2026-08-02T05:30:39.309431+00:00 · methodology

0 comments
read the original abstract

We introduce the Zariski frame of any presentably symmetric monoidal $\infty$-category. This allows us to unify several spectral theories arising in higher algebra. The Zariski frame is coherent whenever the category is compactly generated, and the associated spectral space recovers both the classical Zariski spectrum of a commutative ring and the Hochster dual of the Balmer spectrum of a commutative $2$-ring. Moreover, the smashing frame of any stable presentably symmetric monoidal $\infty$-category can be identified with the Zariski frame of its category of dualizable modules. This construction is based on the principle that ideals in a symmetric monoidal $\infty$-category should be understood as monomorphisms into the unit object. In suitable contexts, this notion recovers the kinds of ideals appearing in the preceding examples, including thick ideals and smashing ideals, and it also accommodates the smashing ideals of non-stable $\infty$-categories. We also study the problem of forming quotients by ideals, which is subtle in the setting of higher algebra. To address this, we introduce two properties of pointed $\infty$-categories, called $\Sigma$-triviality and $\Sigma$-exactness. These conditions ensure that quotienting by ideals behaves well. As an application, we construct quotients of $\mathbb{E}_\infty$-semirings.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

13 extracted references · 9 linked inside Pith

  1. [1]

    [Abu14] J. Y. Abuhlail. Exact sequences of commutative monoids and semimodules. Homology Homotopy Appl.16.1 (2014), pp. 199–214. [Ane+23] M. Anel, G. Biedermann, E. Finster, and A. Joyal. Left-exact localizations of∞-topoi III: Acyclic Product. Preprint, available at arXiv:2308.15573

    Pith/arXiv arXiv 2014

  2. [3]

    [Bal05] P. Balmer. The spectrum of prime ideals in tensor triangulated categories.J. Reine Angew. Math. 588 (2005), pp. 149–168. [Bar26] T. Barthel. On the finite generation of ideals in tensor triangular geometry.Bull. Lond. Math. Soc. 58.5 (2026), Paper No. e70355,

    2005

  3. [5]

    Calmès, E

    [Cal+25] B. Calmès, E. Dotto, Y. Harpaz, F. Hebestreit, M. Land, K. Moi, D. Nardin, T. Nikolaus, and W. Steimle. Hermitian K-theory for stable∞-categories II: Cobordism categories and additivity. Acta Math.235.2 (2025), pp. 149–400. [CS26] D. Clausen and P. Scholze. Condensed mathematics and complex geometry. Preprint, available at arXiv:2605.11731

    Pith/arXiv arXiv 2025

  4. [7]

    Cam- bridge University Press, Cambridge, 1982, pp

    Cambridge Studies in Advanced Mathematics. Cam- bridge University Press, Cambridge, 1982, pp. xxi+370. [KL23] H. Krause and J. C. Letz. The spectrum of a well-generated tensor-triangulated category. Bulletin of the London Mathematical Society55.2 (2023), pp. 680–705. [KP17] J. Kock and W. Pitsch. Hochster duality in derived categories and point-free recon...

    Pith/arXiv arXiv 1982

  5. [8]

    [BKS07] A. B. Buan, H. Krause, and Ø. Solberg. Support varieties: an ideal approach.Homology, Homotopy Appl.9.1 (2007), pp. 45–74. [BKS20] P. Balmer, H. Krause, and G. Stevenson. The frame of smashing tensor-ideals.Math. Proc. Cambridge Philos. Soc.168.2 (2020), pp. 323–343. [Bur+23] R. Burklund, J. Hahn, I. Levy, and T. M. Schlank.K-theoretic counterexam...

    Pith/arXiv arXiv 2007

  6. [170]

    Princeton University Press, Princeton, NJ, 2009, pp

    Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2009, pp. xviii+925. [Lur17] J. Lurie. Higher Algebra. https://www.math.ias.edu/~lurie/papers/HA.pdf

    2009

  7. [2017]

    [Ram22] M. Ramzi. An elementary proof of the naturality of the Yoneda embedding. Preprint, available at arXiv:2209.12575

    Pith/arXiv arXiv

  8. [2019]

    [Efi24] A. Efimov. K-theory and localizing invariants of large categories. Preprint, available at arXiv:2405.12169

    Pith/arXiv arXiv

  9. [2022]

    [Ram24] M. Ramzi. Dualizable presentable ∞-categories. Preprint, available at arXiv:2410.21537

    Pith/arXiv arXiv

  10. [2023]

    [Aok23] K. Aoki. The sheaves-spectrum adjunction. Preprint, available at arXiv:2302.04069

    Pith/arXiv arXiv

  11. [2024]

    [Ram26] M. Ramzi. Locally rigid ∞-categories. Preprint, available at arXiv:2410.21524v2

    arXiv

  12. [2025]

    [Mao21] Z. Mao. Revisiting derived crystalline cohomology. Preprint, available at arXiv:2107.02921

    Pith/arXiv arXiv

  13. [2026]

    [Rap19] G. Raptis. Some characterizations of acyclic maps.J. Homotopy Relat. Struct.14.3 (2019), pp. 773–785. Jiacheng Liang, Mathematics Department, Johns Hopkins University, Baltimore, MD 21218, USA Email address: jliang66@jhu.edu Changhan Zou, Mathematics Department, University of California, Santa Cruz, CA 95064, USA Email address: czou3@ucsc.edu 48

    2019