Pith. sign in

REVIEW 3 major objections 3 minor 40 references

The Boolean spectrum of a Grothendieck category

T0 review · 3 major / 3 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read This paper proves that in any Grothendieck category, subcategories closed under arbitrary coproducts, subobjects, and essential extensions correspond exactly to clopen subsets of a new Boolean spectrum, and each such subcategory is the…

desk verdict The classification theorems are solid, but Theorem 3.8's support-datum claim is false: for A = Mod Z, the generator Z has support {Q}, not Spc A. read the letter →

arxiv 2411.16309 v2 pith:SVNFREZD submitted 2024-11-25 math.CT math.RAmath.RT

Henning Krause This is my paper · ORCID
classification math.CTmath.RAmath.RT MSC 18E1016D7016E5018E4018E45
keywords BooleanlatticespectrumGrothendieckcategoryspectralsupportexactdefinablesubcategoryZiegler
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

The paper introduces a support for every object of any Grothendieck category—a class of abelian categories with coproducts and exact filtered colimits that includes module categories and categories of sheaves. The support of an object is a clopen subset of a new space, the Boolean spectrum, built from the category's spectral category. The main result is a bijection: subcategories closed under arbitrary coproducts, subobjects, and essential extensions correspond exactly to clopen subsets of the Boolean spectrum, and every such subcategory is the support of a single object. A derived variant, exact support, classifies the cohomologically stable thick subcategories. If the paper is right, decomposition questions about objects can be read off a complete Boolean lattice, and the classical correspondence between definable subcategories and closed subsets of the Ziegler spectrum extends to all pure-essentially closed subcategories.

What carries the argument

The central object is the spectral category Spec A = A[$Ess^{{-1}}$], the category obtained by formally inverting all essential monomorphisms; every short exact sequence in it splits. Its lattice of localising subcategories is a complete Boolean lattice, with complements coming from swapping the two halves of a torsion pair, and Stone duality turns this lattice into the Boolean spectrum Spc A. The identification (Inj A)/Rad(Inj A) ≅ Spec A and the consequence P(X) ≅ P(Y) if and only if E(X) ≅ E(Y) are what let decompositions in the spectral category be lifted to decompositions of injective objects; this is the mechanism that makes the support map both total and faithful, so the support of a nonzero object is never empty.

What would settle it

Find a nonzero object X in a Grothendieck category whose support in Spc A is empty, or find two objects with equal support but different essentially closed closures. Either observation would contradict Theorem 3.3 and its corollary that every essentially closed subcategory is singly generated.

Watch

Extended reading notes

Core claim

On the paper's own terms, the central discovery is that the spectral category Spec A, obtained from A by inverting all essential monomorphisms, carries a complete Boolean lattice L(Spec A) of localising subcategories, and its Stone space Spc A = Spec(L(Spec A)) is a universal target for support. Each object X gets supp(X) = ⟨P(X)⟩, and the assignment C ↦ supp(C) = P(C) is a lattice isomorphism from essentially closed subcategories to S(A) = L(Spec A), with inverse U ↦ $P^{{-1}}$(U). The paper proves that (Spc A, supp) is the initial support datum: any other support map into clopen subsets of a space factors uniquely through it. It then proves an exact version using the right derived functor of P, classifying cohomologically stable subcategories, and a pure version for exactly definable categories, extending the correspondence between definable subcategories and Ziegler-closed sets.

Load-bearing premise

The load-bearing premise is that the spectral category of a Grothendieck category is the same thing as its injective objects up to the coarsest reasonable equivalence; if that identification were wrong, the classification's inverse map would not be defined.

Editorial extensions

If this is right

  • Every essentially closed subcategory of a Grothendieck category is generated by a single object, namely any object whose support is the corresponding clopen set.
  • The Boolean spectrum is universal among all spaces carrying a support datum, so any other support theory on the same category factors uniquely through Spc A.
  • For injective objects, direct summands up to essential equivalence form a complete Boolean lattice, isomorphic to the central idempotents of End(X)/J(End(X)); coproduct decompositions are therefore governed by Boolean rings.
  • For module categories over any ring, pure-essentially closed and pure-cohomologically stable subcategories are classified by clopen subsets of the pure Boolean spectrum, extending the classical definable-subcategory correspondence with the Ziegler spectrum.
  • The frame of localising subcategories embeds into the Boolean spectrum's clopen subsets, so the Boolean spectrum has enough points even when the original localising frame has none.

Reading between the lines

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

  • Editorial inference: since Spc A is a Stone space attached functorially to A, it can serve as a new comparison invariant for Grothendieck categories; non-homeomorphic Boolean spectra would certify non-equivalent categories even when the classical spectra of indecomposable injectives agree.
  • Editorial inference: the universal property suggests a way to relate the Boolean spectrum to tensor-triangulated support theories when A carries a monoidal structure, since the tensor product of objects should correspond to intersection of supports; one could test whether the resulting map from the tensor-triangulated spectrum is a homeomorphism onto a closed subspace of Spc A.
  • Editorial inference: the decomposition lattice D(X) gives a practical test for the paper's open problem on strictly wild algebras—construct pure-injective modules whose summand lattices realise prescribed complete Boolean lattices, and the classification predicts exactly which lattices are possible.
  • Editorial inference: for categories whose classical spectrum of indecomposable injectives is empty, the paper's framework predicts a nonempty Boolean spectrum with enough points; computing Spc A for such a category would give the first concrete support theory on it.
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.

Referee Report

3 major / 3 minor

Summary. The paper introduces a Boolean spectrum Spc A = Spec(L(Spec A)) for every Grothendieck category A, where Spec A is the spectral category obtained by inverting essential monomorphisms. It defines a support supp(X) = <P(X)> in the Boolean lattice L(Spec A), identifies this lattice with the clopen subsets of Spc A via Stone duality, and proves classification theorems: essentially closed subcategories of A correspond to clopen subsets of Spc A (Theorem 3.3), cohomologically stable subcategories correspond to clopen subsets via an exact support (Theorem 5.5), and pure analogues hold for exactly definable categories (Theorems 6.6 and 6.7). The paper also studies direct-sum decompositions of injective objects through a Boolean lattice D(X) (Theorem 4.5) and states a universal property for (Spc A, supp) as a support datum (Theorem 3.8).

Significance. The classification theorems, if correct, are a significant contribution: they provide a uniform Boolean-lattice parameterization of subcategories closed under coproducts, subobjects, and essential extensions, as well as a derived analogue and an extension of Crawley-Boevey's correspondence to pure-essentially closed subcategories. The proofs are largely constructive, with explicit inverse maps in Theorems 3.3, 5.5, and 6.6, and the paper is transparent about its reliance on the standard equivalence (Inj A)/Rad(Inj A) ≅ Spec A. However, the manuscript currently contains concrete errors in the advertised point-set description of Spc A and in the universal support-datum property, so it requires a substantive revision before these claims can be accepted as stated.

major comments (3)
  1. [§2, eq. (2.5)] The claim that Spec(L((Spec A)_d)) is Sp A with the discrete topology is false in general. By Lemma 2.5, L((Spec A)_d) is the full power-set Boolean lattice P(Sp A), and the Stone spectrum of P(S) is the Stone–Čech compactification βS, not the set S; when S is infinite there are nonprincipal ultrafilters. For example, when A = Mod Z, Spc A is not the countable discrete set Sp A. The lattice-level classifications survive because Clop(βS) ≅ P(S), but the point-set statements in the introduction, in (2.5), and in Proposition 6.9 need to be corrected. In particular, the canonical embedding Sp A → Spc A is not a bijection merely because Spec A is discrete; it is a bijection only when Sp A is finite.
  2. [§3, Definition 3.6 and Theorem 3.8] The pair (Spc A, supp) is not a support datum as defined, because axiom (S1) fails. In A = Mod Z, the object Z is a generator, but the inclusion Z → Q is an essential monomorphism, so P(Z) ≅ P(Q). Since Q is an indecomposable injective with endomorphism ring Q, P(Q) is a simple object of Spec(Mod Z), and supp(Z) = <P(Z)> is the clopen subset of Spc A corresponding to {Q}, not to all of Spc A. Thus (S1) is false, and the universal property asserted in Theorem 3.8 does not follow. The sentence "It is clear that (Spc A, supp) is a support datum" in the proof is exactly where the failure occurs. The exact analogue in Theorem 5.9 needs a separate verification, since the spectral functor does not automatically send generators of A to generators of Spec A. A possible repair is to replace (S1) and (E1) by the condition σ(X) = T for objects X with <X> = A (respectively <X>_ex = A), which is what the proof of Lemma 3.7 actually needs.
  3. [§6, Proposition 6.9] Proposition 6.9 is affected by the point-set error in (2.5). The equivalence between "X = X_d for every pure-injective X" and "the embedding Ind Λ → PSpc Λ is a bijection" cannot be correct as stated: if the pure spectral category is discrete and Ind Λ is infinite, then PSpc Λ is the Stone–Čech compactification of Ind Λ, so the embedding into the full Stone space is not surjective. The proposition should be reformulated in terms of the discrete part of PSpc Λ or in terms of the principal ultrafilters, and the same correction should be carried through Remark 6.12 and the introductory claims about Sp A ≅ Spc A for locally noetherian categories.
minor comments (3)
  1. [Throughout] There are several typographical/OCR artifacts, including "Groth endieck" and "ex tensive" in the abstract and "integerdivide" in Remark 3.18; these should be cleaned up in the final version.
  2. [§2 and §3] It would help the reader if the paper explicitly distinguished between the Boolean lattice L(Spec A), its Stone space Spc A, and the subset of principal ultrafilters corresponding to Sp A. Many statements read as if Spc A were equal to Sp A in the locally noetherian case; this is only true when Sp A is finite.
  3. [§3, Lemma 3.7] The proof says that conditions (S0)–(S∧) imply that the induced map is a lattice homomorphism, but the treatment of the top element uses (S1). Once (S1) is modified as suggested, this lemma should be rewritten to state explicitly which condition forces the top element to map to T.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the support classification and Boolean-spectrum universal property are proved from standard spectral-category facts, and the self-citations are background rather than load-bearing.

full rationale

The paper's central claims are not reduced to their own inputs. The spectral category quotient P : A → Spec A and the equivalence (Inj A)/Rad(Inj A) ≅ Spec A are imported from Gabriel-Oberst [13] and from the author's textbook [27, Prop. 2.5.9]; these are external, parameter-free theorems with published proofs, not conclusions of the present paper. Theorem 3.3 is derived in the text: Lemma 3.2 proves directly that U ↦ P^{-1}(U) sends localising subcategories of Spec A to essentially closed subcategories of A and that C ↦ P(C) is its inverse, and the equality supp(C) = P(C) then follows from the definition (3.1)-(3.2). The Boolean lattice structure of S(A) and the Stone-duality description of Spc A are standard. The universal property in Theorem 3.8 is a formal consequence of the lattice isomorphism of Theorem 3.3 together with the adjunction (2.3); no equation is defined in terms of the conclusion and no parameter is fitted. The paper contains self-citations, but they supply background lemmas rather than the main classifications, and the key equivalence is also attributed to independent sources. Concerns about whether (S1) or (S∧) hold for all generators, or whether Spc A is discrete for locally noetherian A with infinite spectrum, are mathematical-correctness questions rather than instances of circular reasoning; they do not indicate that a prediction is equivalent to an input by construction.

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

No numerical parameters are fitted; the theory is theorem-based. The axioms listed are the standard categorical facts and framework assumptions the paper imports. The Boolean spectrum and exact support are explicit constructions rather than speculative entities, so invented_entities is empty.

assumptions (4)
  • standard math The spectral category Spec A = A[Ess^{-1}] is a Grothendieck category satisfying (Inj A)/Rad(Inj A) ≅ Spec A and P(X)≅P(Y) iff E(X)≅E(Y).
    Imported from Gabriel-Oberst [13] and [27, Prop 2.5.9]; used at equations (2.1)-(2.2) and in Lemma 2.1 for all decomposition and classification results.
  • standard math The lattice L(A) of localising subcategories of a Grothendieck category is a frame, and for spectral categories it is a complete Boolean lattice via torsion-pair complements.
    Proposition 2.8 and Lemma 2.7; relies on standard torsion pair theory for Grothendieck categories, e.g. [36, VI.3].
  • standard math Every object has an injective resolution, and minimal injective complexes have radical differentials so that the functor P sends them to zero.
    Needed to define exact support in Section 5, especially Lemma 5.1; from [36] and [27, Prop 4.3.18].
  • domain assumption For locally coherent Grothendieck categories, the full subcategory of fp-injective objects is exactly definable, with pure-exact structure inherited from the ambient category.
    Section 6 restricts to exactly definable categories of this form, following Gruson-Jensen [18] and Krause [25,27]; this is the framework for the extension of Crawley-Boevey's correspondence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Boolean spectrum of a Grothendieck category." pith.science (2026). https://pith.science/paper/SVNFREZD

@misc{pith2026241116309,
  author       = {Pith},
  title        = {Pith review of: The Boolean spectrum of a Grothendieck category},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SVNFREZD}},
  note         = {Machine review of arXiv:2411.16309}
}
read the original abstract

A notion of support for objects in any Grothendieck category is introduced. This is based on the spectral category of a Grothendieck category and uses its Boolean lattice of localising subcategories. The support provides a classification of all subcategories that are closed under arbitrary coproducts, subobjects, and essential extensions. There is also a notion of exact support which classifies certain thick subcategories. As an application, the coproduct decompositions of objects are described in terms of Boolean lattices. Also, for any ring Crawley-Boevey's correspondence between definable subcategories of modules and closed subsets of the Ziegler spectrum is extended.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

40 extracted references · 40 canonical work pages

  1. [1]

    Balmer, The spectrum of prime ideals in tensor triangulated categor ies, J

    P. Balmer, The spectrum of prime ideals in tensor triangulated categor ies, J. Reine Angew. Math. 588 (2005), 149–168

    work page 2005

  2. [2]

    Borceux and G

    F. Borceux and G. M. Kelly, On locales of localizations, J . Pure Appl. Algebra 46 (1987), no. 1, 1–34

    work page 1987

  3. [3]

    Brandenburg, Rosenberg’s reconstruction theorem, E xpo

    M. Brandenburg, Rosenberg’s reconstruction theorem, E xpo. Math. 36 (2018), no. 1, 98–117. THE BOOLEAN SPECTRUM OF A GROTHENDIECK CATEGORY 25

    work page 2018

  4. [4]

    Brenner, Decomposition properties of some small diag rams of modules, in Symposia Math- ematica, Vol

    S. Brenner, Decomposition properties of some small diag rams of modules, in Symposia Math- ematica, Vol. XIII (Convegno di Gruppi Abeliani & Convegno d i Gruppi e loro Rappresen- tazioni, INDAM, Rome, 1972) , 127–141, Academic Press, London, 1974

    work page 1972

  5. [5]

    P. M. Cohn, On the free product of associative rings, Math . Z. 71 (1959), 380–398

    work page 1959

  6. [6]

    Crawley-Boevey, Locally finitely presented additive categories, Comm

    W. Crawley-Boevey, Locally finitely presented additive categories, Comm. Algebra 22 (1994), no. 5, 1641–1674

    work page 1994

  7. [7]

    Crawley-Boevey, Infinite-dimensional modules in the representation theory of finite- dimensional algebras, in Algebras and modules, I (Trondheim, 1996) , 29–54, CMS Conf

    W. Crawley-Boevey, Infinite-dimensional modules in the representation theory of finite- dimensional algebras, in Algebras and modules, I (Trondheim, 1996) , 29–54, CMS Conf. Proc., 23, Amer. Math. Soc., Providence, RI, 1998

    work page 1996

  8. [8]

    Dauns, Module types, Rocky Mountain J

    J. Dauns, Module types, Rocky Mountain J. Math. 27 (1997), no. 2, 503–557

    work page 1997

Show all 40 references
  1. [9]

    M. A. Dickmann, N. Schwartz and M. Tressl, Spectral spaces, New Mathematical Monographs, 35, Cambridge Univ. Press, Cambridge, 2019

    2019

  2. [10]

    Facchini, Spectral categories and varieties of prea dditive categories, J

    A. Facchini, Spectral categories and varieties of prea dditive categories, J. Pure Appl. Algebra 29 (1983), no. 3, 219–239

    1983

  3. [11]

    Facchini, Decompositions of algebraically compact modules, Pacific J

    A. Facchini, Decompositions of algebraically compact modules, Pacific J. Math. 116 (1985), no. 1, 25–37

    1985

  4. [12]

    Gabriel, Des cat´ egories ab´ eliennes, Bull

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

    1962

  5. [13]

    Gabriel and U

    P. Gabriel and U. Oberst, Spektralkategorien und regul ¨ are Ringe im von-Neumannschen Sinn, Math. Z. 92 (1966), 389–395

    1966

  6. [14]

    J. S. Golan, Torsion theories, Pitman Monographs and Surveys in Pure and Applied Math- ematics, 29, Longman Sci. Tech., Harlow, 1986

    1986

  7. [15]

    K. R. Goodearl, von Neumann regular rings , Monographs and Studies in Mathematics, 4, Pitman, Boston, MA, 1979

    1979

  8. [16]

    K. R. Goodearl and A. K. Boyle, Dimension theory for nons ingular injective modules, Mem. Amer. Math. Soc. 7 (1976), no. 177, viii+112 pp

    1976

  9. [17]

    K. R. Goodearl and F. W ehrung, The complete dimension th eory of partially ordered systems with equivalence and orthogonality, Mem. Amer. Math. Soc. 176 (2005), no. 831, vii+117 pp

    2005

  10. [18]

    Gruson and C

    L. Gruson and C. U. Jensen, Dimensions cohomologiques r eli´ ees aux foncteurs lim←− (i), in Paul Dubreil and Marie-Paule Malliavin Algebra Seminar, 33rd Ye ar (Paris, 1980) , 234–294, Lecture Notes in Math., 867, Springer, Berlin, 1981

    1980

  11. [19]

    Herzog, The Ziegler spectrum of a locally coherent Gr othendieck category, Proc

    I. Herzog, The Ziegler spectrum of a locally coherent Gr othendieck category, Proc. London Math. Soc. (3) 74 (1997), no. 3, 503–558

    1997

  12. [20]

    C. U. Jensen and H. Lenzing, Model-theoretic algebra with particular emphasis on fields , rings, modules , Algebra, Logic and Applications, 2, Gordon and Breach, New York, 1989

    1989

  13. [21]

    P. T. Johnstone, Stone spaces, Cambridge Stud. Adv. Math., vol. 3, Cambridge Univ. Press, Cambridge, 1982

    1982

  14. [22]

    Kanda, Classification of categorical subspaces of lo cally Noetherian schemes, Doc

    R. Kanda, Classification of categorical subspaces of lo cally Noetherian schemes, Doc. Math. 20 (2015), 1403–1465

    2015

  15. [23]

    Kaplansky, Projections in Banach algebras, Ann

    I. Kaplansky, Projections in Banach algebras, Ann. of M ath. (2) 53 (1951), 235–249

    1951

  16. [24]

    Krause, The spectrum of a locally coherent category, J

    H. Krause, The spectrum of a locally coherent category, J. Pure Appl. Algebra 114 (1997), no. 3, 259–271

    1997

  17. [25]

    Krause, Exactly definable categories, J

    H. Krause, Exactly definable categories, J. Algebra 201 (1998), no. 2, 456–492

    1998

  18. [26]

    Krause, The stable derived category of a Noetherian s cheme, Compos

    H. Krause, The stable derived category of a Noetherian s cheme, Compos. Math. 141 (2005), no. 5, 1128–1162

    2005

  19. [27]

    Krause, Homological theory of representations , Cambridge Studies in Advanced Mathe- matics, Cambridge University Press, 195, Cambridge, 2022

    H. Krause, Homological theory of representations , Cambridge Studies in Advanced Mathe- matics, Cambridge University Press, 195, Cambridge, 2022

    2022

  20. [28]

    Matsui and R

    H. Matsui and R. Takahashi, Filtrations in module categ ories, derived categories, and prime spectra, Int. Math. Res. Not. IMRN 2022, no. 5, 3457–3492

    2022

  21. [29]

    F. J. Murray and J. von Neumann, On rings of operators, An n. of Math. (2) 37 (1936), no. 1, 116–229

    1936

  22. [30]

    Neeman, The chromatic tower for D(R), Topology 31 (1992), no

    A. Neeman, The chromatic tower for D(R), Topology 31 (1992), no. 3, 519–532

    1992

  23. [31]

    Prest, Model theory and modules , London Mathematical Society Lecture Note Series, 130, Cambridge Univ

    M. Prest, Model theory and modules , London Mathematical Society Lecture Note Series, 130, Cambridge Univ. Press, Cambridge, 1988

    1988

  24. [32]

    Prest, Purity, spectra and localisation, Encyclopedia of Mathematics and its Applications, 121, Cambridge Univ

    M. Prest, Purity, spectra and localisation, Encyclopedia of Mathematics and its Applications, 121, Cambridge Univ. Press, Cambridge, 2009

    2009

  25. [33]

    Roos, Locally distributive spectral categories and strongly regular rings, in Reports of the Midwest Category Seminar , 156–181, Lecture Notes in Math., No

    J.-E. Roos, Locally distributive spectral categories and strongly regular rings, in Reports of the Midwest Category Seminar , 156–181, Lecture Notes in Math., No. 47, Springer, Berlin, 1967

    1967

  26. [34]

    C. M. Ringel, Infinite length modules. Some examples as i ntroduction, in Infinite length modules (Bielefeld, 1998) , 1–73, Trends Math, Birkh¨ auser, Basel, 2000

    1998

  27. [35]

    A. L. Rosenberg, Noncommutative algebraic geometry and representations of quantized alge- bras, Mathematics and its Applications, 330, Kluwer Acad. Publ. , Dordrecht, 1995. 26 HENNING KRAUSE

    1995

  28. [36]

    B. T. Stenstr¨ om, Rings of quotients , Die Grundlehren der mathematischen Wissenschaften, Band 217, Springer, New York, 1975

    1975

  29. [37]

    Stevenson, Localizing subcategories of Grothendie ck categories, Preprint, 2024

    G. Stevenson, Localizing subcategories of Grothendie ck categories, Preprint, 2024

    2024

  30. [38]

    Takahashi, On localizing subcategories of derived c ategories, J

    R. Takahashi, On localizing subcategories of derived c ategories, J. Math. Kyoto Univ. 49 (2009), no. 4, 771–783

    2009

  31. [39]

    W u and X

    K. W u and X. Ma, A classification of some thick subcategor ies in locally noetherian Grothen- dieck categories, Glasg. Math. J. 66 (2024), no. 1, 175–182

    2024

  32. [40]

    Ziegler, Model theory of modules, Ann

    M. Ziegler, Model theory of modules, Ann. Pure Appl. Log ic 26 (1984), no. 2, 149–213. F akult¨at f ¨ur Mathematik, Universit ¨at Bielefeld, D-33501 Bielefeld, Germany Email address : hkrause@math.uni-bielefeld.de

    1984

Pith tools

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