The importance of being isolated

Greg Stevenson; Juan Omar G\'omez; Scott Balchin

arxiv: 2605.19617 · v1 · pith:B3WX3UGGnew · submitted 2026-05-19 · 🧮 math.AC · math.CT

The importance of being isolated

Scott Balchin , Juan Omar G\'omez , Greg Stevenson This is my paper

Pith reviewed 2026-05-20 02:09 UTC · model grok-4.3

classification 🧮 math.AC math.CT

keywords derived categorycommutative ringlocal-to-global principleresidue fieldlocalizing subcategoryspectrum topologysupport theory

0 comments

The pith

The local-to-global principle for derived categories of commutative rings depends solely on the topology of the spectrum.

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

The paper supplies both a sufficient condition and an obstruction for the derived category of a commutative ring to be generated by its residue fields. It exhibits a concrete ring in which Foxby's small support still classifies all localizing subcategories even though the local-to-global principle fails. The authors further show that residue fields do not generate the derived category of a polynomial ring in infinitely many variables. The central result is a necessary and sufficient criterion for the local-to-global principle whose validity is settled entirely by topological features of Spec(R).

Core claim

A necessary and sufficient criterion for the derived category of a commutative ring to satisfy the local-to-global principle is a purely topological property of the spectrum; the criterion can be stated without reference to any further ring-theoretic data.

What carries the argument

The local-to-global principle for localizing subcategories in the derived category, whose satisfaction is controlled exclusively by the topology of Spec(R).

Load-bearing premise

Localizing subcategories and their support theories in the derived category are determined completely by the topological properties of the prime spectrum.

What would settle it

A commutative ring whose spectrum is homeomorphic to that of a ring satisfying the criterion, yet for which the local-to-global principle fails in D(R), would disprove the claimed necessity and sufficiency.

read the original abstract

We give both a sufficient condition for and an obstruction to the derived category of a commutative ring being generated by its residue fields. As an illustration, we exhibit a ring for which Foxby's small support classifies localizing subcategories despite the failure of the local-to-global principle. We also conclude that the residue fields do not generate for a polynomial ring in infinitely many variables. Finally, we give a necessary and sufficient criterion for the derived category to satisfy the local-to-global principle; it turns out to depend solely on the topology of the spectrum.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper pins down a purely topological necessary and sufficient condition for the local-to-global principle in derived categories of commutative rings and supplies concrete sufficient and obstruction conditions for generation by residue fields.

read the letter

The main things to know are that the local-to-global principle turns out to depend only on the topology of Spec(R), and they give both a sufficient condition and an obstruction for when the residue fields generate the derived category. They also supply a counterexample ring where Foxby's small support still classifies localizing subcategories even though local-to-global fails, plus the observation that residue fields fail to generate for the polynomial ring in infinitely many variables, which matches their criterion. The stress-test note indicates the proofs construct these cases directly and isolate the topological features without extra ring-theoretic assumptions, which is the part that looks cleanest. What the paper does well is deliver explicit conditions and a clean characterization rather than vague existence statements. The example separating Foxby support from local-to-global is useful for anyone thinking about classification questions, and the infinite-variable case gives a concrete check on the boundary. Soft spots are minor. The results rest on standard properties of support theories and localizing subcategories, and while the stress-test says the arguments hold without unsecured assumptions, a referee might still want to see how far the topological criterion extends to non-noetherian or pathological rings beyond the examples given. Nothing in the available details suggests circularity or post-hoc fitting. This is for people working on derived categories, support theories, and classification of subcategories in commutative algebra. A reader already thinking about local-to-global principles or generation by residue fields will find the conditions and the counterexample directly usable. It deserves a serious referee because the claims are specific, the examples are concrete, and the central characterization is a genuine simplification if the proofs check out. I would send it to peer review.

Referee Report

0 major / 3 minor

Summary. The paper gives a sufficient condition and an obstruction for the derived category D(R) of a commutative ring R to be generated by its residue fields. It constructs a ring in which Foxby's small support classifies localizing subcategories yet the local-to-global principle fails, proves that residue fields do not generate D(R) for the polynomial ring in infinitely many variables, and establishes a necessary and sufficient criterion for the local-to-global principle that depends only on the topology of Spec(R).

Significance. If the results hold, the work isolates the topology of the spectrum as the sole determinant of the local-to-global principle for localizing subcategories in derived categories of commutative rings. The explicit counterexample separating Foxby support from local-to-global behavior and the handling of the infinite-variable polynomial ring provide concrete, falsifiable illustrations that advance the understanding of generation and support theories beyond standard noetherian settings.

minor comments (3)

[§2.3] §2.3: the notation for the small support functor is introduced without an immediate comparison to the classical support; a one-sentence reminder of the distinction would aid readers.
[Theorem 4.5] Theorem 4.5: the statement of the topological criterion is clear, but the proof sketch in the paragraph following the theorem could explicitly flag the step where the infinite-variable case is reduced to the topological obstruction.
[References] The bibliography entry for Foxby’s work is cited in the text but lacks the full reference details in the list; please complete it.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending acceptance. We are pleased that the results on generation by residue fields, the counterexample separating Foxby support from the local-to-global principle, and the topological criterion were viewed as advancing the subject.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The manuscript derives a sufficient condition and obstruction for generation by residue fields, plus a necessary and sufficient criterion for the local-to-global principle that depends only on the topology of Spec(R). These results are obtained through direct topological analysis of the spectrum, explicit counterexample constructions (including the ring where Foxby's small support classifies localizing subcategories yet local-to-global fails), and verification for the infinite-variable polynomial ring. No step reduces a claimed prediction or first-principles result to a fitted parameter, self-referential definition, or load-bearing self-citation chain; the arguments remain self-contained against standard properties of derived categories and support theories.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract, the paper rests on standard background from commutative algebra and triangulated categories; no free parameters or invented entities are evident from the summary.

axioms (1)

standard math Standard properties of derived categories, localizing subcategories, and support theories for commutative rings
The results on generation and local-to-global principles presuppose established facts from homological algebra.

pith-pipeline@v0.9.0 · 5604 in / 1180 out tokens · 38621 ms · 2026-05-20T02:09:54.631174+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 7.7. Let A be a commutative ring. Then D(A) satisfies the local-to-global principle if and only if (Spec A)^∨ is scattered.

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages · 2 internal anchors

[1]

& Zou, C

Barthel, T., Heard, D., Sanders, B. & Zou, C. Homological stratification and descent.Journal Of The Institute Of Mathematics Of Jussieu.25, 1081-1125 (2026)

work page 2026
[2]

& ˇSt’ov´ ıˇ cek, J

Bazzoni, S. & ˇSt’ov´ ıˇ cek, J. Smashing localizations of rings of weak global dimension at most one.Adv. Math.305pp. 351-401 (2017)

work page 2017
[3]

& Tressl, M

Dickmann, M., Schwartz, N. & Tressl, M. Spectral spaces. (Cambridge University Press, Cambridge, 2019)

work page 2019
[4]

Des cat´ egories ab´ eliennes.Bull

Gabriel, P. Des cat´ egories ab´ eliennes.Bull. Soc. Math. France.90pp. 323-448 (1962)

work page 1962
[5]

& Robson, J

Gordon, R. & Robson, J. The Gabriel dimension of a module.J. Algebra.29pp. 459-473 (1974)

work page 1974
[6]

Distributivity, affineness, and the structure sheaf

Jiang, A. & Stevenson, G. Distributivity, affineness, and the structure sheaf.ArXiv Preprint ArXiv:2604.18793(2026)

work page internal anchor Pith review Pith/arXiv arXiv 2026
[7]

The chromatic tower forD(R)

Neeman, A. The chromatic tower forD(R). Topology31, no. 3, 519–532 (1992)

work page 1992
[8]

Oddball Bousfield classes

Neeman, A. Oddball Bousfield classes. Topology39, no. 5, 931–935 (2000)

work page 2000
[9]

Anneaux absolument plats universels et ´ epimorphismes ` a buts r´ eduits.S´ eminaire Samuel

Olivier, J-P. Anneaux absolument plats universels et ´ epimorphismes ` a buts r´ eduits.S´ eminaire Samuel. Alg´ ebre Commutative.2pp. 1-12 (1967)

work page 1967
[10]

Purity, spectra and localisation

Prest, M. Purity, spectra and localisation. (Cambridge University Press, Cambridge, 2009)

work page 2009
[11]

Abelian categories with applications to rings and modules

Popescu, N. Abelian categories with applications to rings and modules. (Academic Press, London-New York, 1973)

work page 1973
[12]

Sanders, W. T. Support and vanishing for non-Noetherian rings and tensor triangulated categories. ArXiv Preprint ArXiv:1710.10199(2017)

work page internal anchor Pith review Pith/arXiv arXiv 2017
[13]

Derived categories of absolutely flat rings.Homology Homotopy Appl.16, 45-64 (2014)

Stevenson, G. Derived categories of absolutely flat rings.Homology Homotopy Appl.16, 45-64 (2014)

work page 2014
[14]

The local-to-global principle for triangulated categories via dimension functions.J

Stevenson, G. The local-to-global principle for triangulated categories via dimension functions.J. Algebra.473pp. 406-429 (2017)

work page 2017
[15]

Stevenson, G. Some notes on tensor triangular geometry.ArXiv Preprint ArXiv:2602.08480(2026) Scott Balchin, Mathematical Sciences Research Centre, Queen’s University Belfast, UK Email address:s.balchin@qub.ac.uk URL:http://bifibrant.com/ Juan Omar G ´omez, Fakultat f¨ur Mathematik, Universit ¨at Bielefeld, D-33501 Bielefeld, Germany Email address:jgomez@m...

work page arXiv 2026

[1] [1]

& Zou, C

Barthel, T., Heard, D., Sanders, B. & Zou, C. Homological stratification and descent.Journal Of The Institute Of Mathematics Of Jussieu.25, 1081-1125 (2026)

work page 2026

[2] [2]

& ˇSt’ov´ ıˇ cek, J

Bazzoni, S. & ˇSt’ov´ ıˇ cek, J. Smashing localizations of rings of weak global dimension at most one.Adv. Math.305pp. 351-401 (2017)

work page 2017

[3] [3]

& Tressl, M

Dickmann, M., Schwartz, N. & Tressl, M. Spectral spaces. (Cambridge University Press, Cambridge, 2019)

work page 2019

[4] [4]

Des cat´ egories ab´ eliennes.Bull

Gabriel, P. Des cat´ egories ab´ eliennes.Bull. Soc. Math. France.90pp. 323-448 (1962)

work page 1962

[5] [5]

& Robson, J

Gordon, R. & Robson, J. The Gabriel dimension of a module.J. Algebra.29pp. 459-473 (1974)

work page 1974

[6] [6]

Distributivity, affineness, and the structure sheaf

Jiang, A. & Stevenson, G. Distributivity, affineness, and the structure sheaf.ArXiv Preprint ArXiv:2604.18793(2026)

work page internal anchor Pith review Pith/arXiv arXiv 2026

[7] [7]

The chromatic tower forD(R)

Neeman, A. The chromatic tower forD(R). Topology31, no. 3, 519–532 (1992)

work page 1992

[8] [8]

Oddball Bousfield classes

Neeman, A. Oddball Bousfield classes. Topology39, no. 5, 931–935 (2000)

work page 2000

[9] [9]

Anneaux absolument plats universels et ´ epimorphismes ` a buts r´ eduits.S´ eminaire Samuel

Olivier, J-P. Anneaux absolument plats universels et ´ epimorphismes ` a buts r´ eduits.S´ eminaire Samuel. Alg´ ebre Commutative.2pp. 1-12 (1967)

work page 1967

[10] [10]

Purity, spectra and localisation

Prest, M. Purity, spectra and localisation. (Cambridge University Press, Cambridge, 2009)

work page 2009

[11] [11]

Abelian categories with applications to rings and modules

Popescu, N. Abelian categories with applications to rings and modules. (Academic Press, London-New York, 1973)

work page 1973

[12] [12]

Sanders, W. T. Support and vanishing for non-Noetherian rings and tensor triangulated categories. ArXiv Preprint ArXiv:1710.10199(2017)

work page internal anchor Pith review Pith/arXiv arXiv 2017

[13] [13]

Derived categories of absolutely flat rings.Homology Homotopy Appl.16, 45-64 (2014)

Stevenson, G. Derived categories of absolutely flat rings.Homology Homotopy Appl.16, 45-64 (2014)

work page 2014

[14] [14]

The local-to-global principle for triangulated categories via dimension functions.J

Stevenson, G. The local-to-global principle for triangulated categories via dimension functions.J. Algebra.473pp. 406-429 (2017)

work page 2017

[15] [15]

Stevenson, G. Some notes on tensor triangular geometry.ArXiv Preprint ArXiv:2602.08480(2026) Scott Balchin, Mathematical Sciences Research Centre, Queen’s University Belfast, UK Email address:s.balchin@qub.ac.uk URL:http://bifibrant.com/ Juan Omar G ´omez, Fakultat f¨ur Mathematik, Universit ¨at Bielefeld, D-33501 Bielefeld, Germany Email address:jgomez@m...

work page arXiv 2026