REVIEW 3 major objections 3 minor 29 references
The Balmer spectrum of pseudo-coherent complexes over a discrete valuation ring
T0 review · 3 major / 3 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read Over a discrete valuation ring, the Balmer spectrum of pseudo-coherent complexes is exactly the Stone-dual space of a lattice of torsion-growth classes.
desk verdict A likely-correct computation of the non-rigid Balmer spectrum over a DVR, with the proof's critical step being multiplicativity of the growth invariant under derived tensor product. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the bounded distributive lattice $\mathcal L$ of asymptotic equivalence classes of monotone sequences of natural numbers, ordered by asymptotic boundedness. Stone duality—the correspondence between bounded distributive lattices and spectral spaces of prime filters—turns this lattice into the target space of the Balmer spectrum computation. The argument is carried by a classification of generation behaviour in $\mathsf D^{\mathrm{pc}}(R)$: different ways of generating a thick subcategory are shown to correspond to different asymptotic boundedness conditions on the growth of torsion in homology, and this dictionary is what identifies the categorical spectrum with the lattice spectrum.
What would settle it
For a concrete discrete valuation ring such as $\mathbb Z_{(p)}$, classify the thick subcategories of $\mathsf D^{\mathrm{pc}}(\mathbb Z_{(p)})$ by direct generation arguments and compare the resulting poset with the open subsets of $\operatorname{Spc}(\mathcal L)$; a single thick subcategory whose support is not an open subset of the lattice spectrum, or a lattice-open subset not realized as a support, would refute the main theorem.
Extended reading notes
Core claim
Let $R$ be a discrete valuation ring. The main theorem identifies $\operatorname{Spc}(\mathsf D^{\mathrm{pc}}(R))$, the Balmer spectrum of the derived category of pseudo-coherent $R$-complexes, with the spectral space associated, via Stone duality, to a bounded distributive lattice $\mathcal L$ of asymptotic equivalence classes of monotonic sequences of natural numbers. The partial order on $\mathcal L$ is given by asymptotic boundedness, and the proof ties the different generation classes inside $\mathsf D^{\mathrm{pc}}(R)$ to the corresponding boundedness conditions on the growth of torsion in homology. Consequently, the spectrum is not the Zariski spectrum of $R$ and is far more complicated than the spectrum of perfect complexes over $R$: the lattice spectrum records the support-theoretic structure of the thick subcategories of pseudo-coherent complexes.
Load-bearing premise
The load-bearing premise is that the Balmer spectrum is complete for this category: every thick subcategory is exactly the subcategory of complexes whose support misses a fixed set of spectrum points, so the computed spectrum truly classifies the thick subcategories.
Editorial extensions
If this is right
- If the main theorem is right, the thick subcategories of pseudo-coherent complexes over a discrete valuation ring are classifiable by open subsets of the growth-rate spectrum, so the topology of the category is governed by asymptotic growth of torsion in homology.
- The inclusion of perfect complexes into pseudo-coherent complexes gives a comparison map from the familiar two-point perfect spectrum to the much larger lattice spectrum; the size of the fibers shows how much support-theoretic information is added when the rigid restriction is dropped.
- The lattices introduced in the proof are bounded distributive lattices whose Stone spectra are realized as Balmer spectra of tensor-triangulated categories, so they stand as explicit examples of spectral spaces coming from categorical data.
- The correspondence between generation types and asymptotic boundedness conditions means that generation-theoretic invariants of a pseudo-coherent complex over a discrete valuation ring can be read from the growth of its torsion homology groups.
Reading between the lines
- A natural extension would be to replace the natural numbers by the value group of a more general valuation ring and ask whether the same lattice construction computes the Balmer spectrum there; the paper does not make this claim.
- Because the lattice is bounded and distributive, its Stone spectrum is encoded in the specialization order of its prime filters; spelling out that order in terms of growth rates would turn the main theorem into an explicit algorithm for listing thick subcategories.
- The generation-to-growth dictionary suggests that numerical measures of complexity, such as the minimal number of steps needed to generate a pseudo-coherent complex, might be computable from the asymptotic growth of torsion homology; that bridge is not developed in the paper.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the derived category of pseudo-coherent complexes over a noetherian commutative ring, building on prior work of Matsui-Takahashi. For a discrete valuation ring R, the main theorem asserts that the Balmer spectrum Spc(D_pc(R)) of the derived category of pseudo-coherent complexes is homeomorphic to the spectral space Spec(L) of a bounded distributive lattice L whose elements are asymptotic equivalence classes of monotone sequences of natural numbers, where the equivalence relations are defined by various notions of asymptotic boundedness of torsion growth in homology. The authors motivate the result through the contrast with the much simpler spectrum of perfect complexes, and they propose the associated lattices as objects of independent interest. The proof is said to involve a detailed classification of generation behavior in D_pc(R), relating different types of generation to different asymptotic boundedness conditions.
Significance. If the main theorem is correct, it would be a substantial contribution to tensor-triangulated geometry in the non-rigid setting. While Balmer spectra of rigid categories such as perfect complexes over a DVR are well understood, the pseudo-coherent category is non-rigid, and very few spectra have been computed in that generality. The proposed description in terms of a distributive lattice of growth classes is concrete and suggests a rich, explicitly computable topology. The paper also demonstrates that passing from a rigid subcategory to a non-rigid ambient category can vastly enlarge the spectrum, which is a conceptually interesting phenomenon. The authors introduce no free parameters or ad-hoc axioms; the result builds on external work of Matsui-Takahashi. However, because the supplied full text is corrupted and unreadable, the proof cannot currently be checked, and the tensor-primeness condition for the thick ideals indexed by prime filters of the growth lattice remains unverified.
major comments (3)
- [Full text (global)] The full text of the manuscript as supplied is corrupted mojibake; it is not a readable mathematical document. As a result I cannot verify any definition, lemma, proposition, or equation in the body of the paper, and the main theorem's proof is inaccessible. This is a load-bearing issue: the central claim cannot be independently checked from the submitted version. The authors must provide a clean, readable manuscript before substantive review can continue.
- [Main theorem, tensor-primeness step] The homeomorphism Spc(D_pc(R)) ≅ Spec(L) requires that each prime filter U of the growth lattice L define a prime thick tensor ideal P_U = {C : τ(C) ∈ U}, and the crucial condition is that τ(A ⊗^L B) = τ(A) ∧ τ(B) in L. Over a DVR, the derived tensor product of two torsion modules has an extra Tor-term: for a ≤ b, R/(π^a) ⊗^L R/(π^b) is isomorphic to R/(π^a) ⊕ R/(π^a)[1]. The shifted summand alters the cumulative torsion-growth sequence, and the proof must show that this alteration does not change the class in the chosen asymptotic equivalence relation. Since several different notions of asymptotic boundedness are introduced, the choice of equivalence relation is exactly where the claimed homeomorphism could fail. The unreadable text does not allow me to verify that this compatibility is established.
- [Completeness of the spectrum for thick subcategories] The main theorem implicitly assumes that the Balmer spectrum is a complete invariant for thick subcategories of D_pc(R), i.e., that every thick subcategory is detected by the spectrum. This is a nontrivial property for non-rigid tensor-triangulated categories and, according to the abstract, depends on the classification of generation behavior carried out in the paper. The proof of this completeness is not readable in the submitted text. The authors should isolate and state explicitly the generation result that guarantees the universal property of the spectrum, and verify that it applies to the pseudo-coherent category over a DVR.
minor comments (3)
- [Abstract and Introduction] The abstract refers to "prior work by Matsui-Takahashi" but no bibliographic reference is visible in the supplied text; the paper should cite the exact source and state which results are taken from it.
- [Definitions of asymptotic boundedness] The introduction promises several different notions of asymptotic boundedness and corresponding distributive lattices, but none of these definitions are readable in the provided text. A clean version should state the equivalence relations explicitly, with concrete examples distinguishing the different notions.
- [Notation for the derived category] Standard notation such as D_pc(R) should be defined at first use; the corrupted text makes it unclear whether the authors use the bounded or unbounded derived category of pseudo-coherent complexes, which is relevant to the generation arguments.
Circularity Check
No significant circularity: the main theorem is computed from generation arguments and references external prior work, with no fitted parameter or self-citation carrying the result.
full rationale
The paper's central claim is a computation of the Balmer spectrum of the derived category of pseudo-coherent complexes over a discrete valuation ring, identified with the spectrum of a bounded distributive lattice of asymptotic equivalence classes of monotone sequences. The abstract states that the proof involves an extensive study of generation behaviour and that the lattices are introduced via Stone duality; the prior work cited, Matsui-Takahashi, is external rather than a self-citation. In the readable portions of the manuscript there is no equation-level evidence that the spectrum is defined in terms of the lattice or that the lattice is fitted to make the claimed isomorphism hold by construction. The skeptic's concern about the Tor-term in verifying tensor-primeness is a correctness risk, not a circularity: it identifies a condition that must be checked inside the proof, not an assumption of the theorem. No self-definitional reduction, no fitted-input-called-prediction step, and no load-bearing self-citation chain can be exhibited from the supplied text. The honest finding is therefore no significant circularity.
Assumptions & free parameters
assumptions (3)
- domain assumption R is a discrete valuation ring
- standard math Standard machinery of tensor-triangular geometry, Balmer spectra, and Stone duality
- domain assumption The classification of generation via asymptotic boundedness of torsion growth
Cite this review
Pith. "Pith review of The Balmer spectrum of pseudo-coherent complexes over a discrete valuation ring." pith.science (2026). https://pith.science/paper/2EN7JXAE
@misc{pith2026250817603,
author = {Pith},
title = {Pith review of: The Balmer spectrum of pseudo-coherent complexes over a discrete valuation ring},
year = {2026},
howpublished = {\url{https://pith.science/paper/2EN7JXAE}},
note = {Machine review of arXiv:2508.17603}
}
read the original abstract
We study the derived category of pseudo-coherent complexes over a noetherian commutative ring, building on prior work by Matsui-Takahashi. Our main theorem is a computation of the Balmer spectrum of this category in the case of a discrete valuation ring. We prove that it coincides with the spectral space associated to a bounded distributive lattice of asymptotic equivalence classes of monotonic sequences of natural numbers. The proof of this theorem involves an extensive study of generation behaviour in the derived category of pseudo-coherent complexes. We find that different types of generation are related to different asymptotic boundedness conditions on the growth of torsion in homology. Consequently, we introduce certain distributive lattices of (equivalence classes of) monotonic sequences where the partial orders are defined by different notions of asymptotic boundedness. These lattices, and the spectral spaces corresponding to them via Stone duality, may be of independent interest. The complexity of these spectral spaces shows that, even in the simplest nontrivial case, the spectrum of pseudo-coherent complexes is vastly more complicated than the spectrum of perfect complexes. From a broader perspective, these results demonstrate that the spectrum of a rigid tensor-triangulated category can expand tremendously when we pass to a (non-rigid) tensor-triangulated category which contains it.
Reference graph
Works this paper leans on
-
[1]
The spectrum of prime ideals in tensor triangulated categories
Paul Balmer. The spectrum of prime ideals in tensor triangulated categories. J. Reine Angew. Math. , 588:149--168, 2005
2005
-
[2]
Spectra, spectra, spectra -- tensor triangular spectra versus Z ariski spectra of endomorphism rings
Paul Balmer. Spectra, spectra, spectra -- tensor triangular spectra versus Z ariski spectra of endomorphism rings. Algebr. Geom. Topol. , 10(3):1521--1563, 2010
2010
-
[3]
On the surjectivity of the map of spectra associated to a tensor-triangulated functor
Paul Balmer. On the surjectivity of the map of spectra associated to a tensor-triangulated functor. Bull. Lond. Math. Soc. , 50(3):487--495, 2018
2018
-
[4]
Descent in tensor triangular geometry
Tobias Barthel, Nat\`alia Castellana, Drew Heard, Niko Naumann, Luca Pol, and Beren Sanders. Descent in tensor triangular geometry. In Triangulated categories in representation theory and beyond , volume 17 of Abel Symp. , pages 1--56. Springer, Cham, 2024
work page 2024
-
[5]
Cosupport in tensor triangular geometry
Tobias Barthel, Nat\`alia Castellana, Drew Heard, and Beren Sanders. Cosupport in tensor triangular geometry. Preprint, 87 pages, available online at arxiv:2305.02308 https://arxiv.org/abs/2305.02308, 2023
arXiv 2023
-
[6]
On surjectivity in tensor triangular geometry
Tobias Barthel, Nat\`alia Castellana, Drew Heard, and Beren Sanders. On surjectivity in tensor triangular geometry. Mathematische Zeitschrift , 308(4):65, 2024
work page 2024
-
[7]
Grothendieck-- N eeman duality and the W irthm\"uller isomorphism
Paul Balmer, Ivo Dell'Ambrogio, and Beren Sanders. Grothendieck-- N eeman duality and the W irthm\"uller isomorphism. Compos. Math. , 152(8):1740--1776, 2016
2016
-
[8]
Stratification and the comparison between homological and tensor triangular support
Tobias Barthel, Drew Heard, and Beren Sanders. Stratification and the comparison between homological and tensor triangular support. Q. J. Math. , 74(2):747--766, 2023
work page 2023
Show all 29 references
-
[9]
Stratification in tensor triangular geometry with applications to spectral M ackey functors
Tobias Barthel, Drew Heard, and Beren Sanders. Stratification in tensor triangular geometry with applications to spectral M ackey functors. Camb. J. Math. , 11(4):829--915, 2023
2023
-
[10]
Perfect complexes and completion
Paul Balmer and Beren Sanders. Perfect complexes and completion. Preprint, available online at arXiv:2411.14761 https://arxiv.org/abs/2411.14761, 2024
2024 arXiv
-
[11]
Does full imply faithful? J
Alberto Canonaco, Dmitri Orlov, and Paolo Stellari. Does full imply faithful? J. Noncommut. Geom. , 7(2):357--371, 2013
2013
-
[12]
Spectral spaces , volume 35 of New Mathematical Monographs
Max Dickmann, Niels Schwartz, and Marcus Tressl. Spectral spaces , volume 35 of New Mathematical Monographs . Cambridge University Press, Cambridge, 2019
2019
-
[13]
Commutative algebra , volume 150 of Graduate Texts in Mathematics
David Eisenbud. Commutative algebra , volume 150 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1995. With a view toward algebraic geometry
1995
-
[14]
Isomorphisms between complexes with applications to the homological theory of modules
Hans-Bj rn Foxby. Isomorphisms between complexes with applications to the homological theory of modules. Math. Scand. , 40(1):5--19, 1977
1977
-
[15]
General lattice theory , volume 75 of Pure and Applied Mathematics
George Gr \"a tzer. General lattice theory , volume 75 of Pure and Applied Mathematics . Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1978
1978
-
[16]
G. H. Hardy. A course of pure mathematics . Cambridge, at the University Press, 1952. 10th ed
1952
-
[17]
Hochster
M. Hochster. Prime ideal structure in commutative rings. Trans. Amer. Math. Soc. , 142:43--60, 1969
1969
-
[18]
Johnstone
Peter T. Johnstone. Stone spaces , volume 3 of Cambridge Studies in Advanced Mathematics . Cambridge University Press, Cambridge, 1982
1982
-
[19]
Hochster duality in derived categories and point-free reconstruction of schemes
Joachim Kock and Wolfgang Pitsch. Hochster duality in derived categories and point-free reconstruction of schemes. Trans. Amer. Math. Soc. , 369(1):223--261, 2017
2017
-
[20]
Derived categories, resolutions, and B rown representability
Henning Krause. Derived categories, resolutions, and B rown representability. In Interactions between homotopy theory and algebra , volume 436 of Contemp. Math. , pages 101--139. Amer. Math. Soc., Providence, RI, 2007
2007
-
[21]
T. Y. Lam. Lectures on modules and rings , volume 189 of Graduate Texts in Mathematics . Springer-Verlag, New York, 1999
1999
-
[22]
Janina C. Letz. Local to global principles for generation time over commutative noetherian rings. Homology Homotopy Appl. , 23(2):165--182, 2021
2021
-
[23]
Connectedness of the B almer spectrum of the right bounded derived category of a commutative N oetherian ring
Hiroki Matsui. Connectedness of the B almer spectrum of the right bounded derived category of a commutative N oetherian ring. In Proceedings of the 51st S ymposium on R ing T heory and R epresentation T heory , pages 68--75. Symp. Ring Theory Represent. Theory Organ. Comm., Sh...
2019
-
[24]
Thick tensor ideals of right bounded derived categories
Hiroki Matsui and Ryo Takahashi. Thick tensor ideals of right bounded derived categories. Algebra Number Theory , 11(7):1677--1738, 2017
2017
-
[25]
The connection between the K -theory localization theorem of T homason, T robaugh and Y ao and the smashing subcategories of B ousfield and R avenel
Amnon Neeman. The connection between the K -theory localization theorem of T homason, T robaugh and Y ao and the smashing subcategories of B ousfield and R avenel. Ann. Sci. \'Ecole Norm. Sup. (4) , 25(5):547--566, 1992
1992
-
[26]
The tensor triangular geometry of fully faithful functors
Beren Sanders. The tensor triangular geometry of fully faithful functors. Preprint, 61 pages, available online at arXiv:2412.09361 https://arxiv.org/abs/2412.09361, 2025
2025 arXiv
-
[27]
SGA 6\,: Th\'eorie des intersections et th\'eor\`eme de R iemann- R och , volume 225 of Lecture Notes in Mathematics
Pierre Berthelot, Alexander Grothendieck, and Luc Illusie, editors. SGA 6\,: Th\'eorie des intersections et th\'eor\`eme de R iemann- R och , volume 225 of Lecture Notes in Mathematics . Springer-Verlag, 1971
1971
-
[28]
S tacks P roject
The Stacks Project Authors . S tacks P roject . http://stacks.math.columbia.edu, 2020
2020
-
[29]
R. W. Thomason. The classification of triangulated subcategories. Compositio Math. , 105(1):1--27, 1997
1997
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.