Pith. sign in

REVIEW 5 minor 24 references

Reconstruction of Formal Schemes from Categories of Nuclear Modules

T0 review · 0 major / 5 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Formal schemes can be reconstructed from their symmetric monoidal categories of nuclear modules.

desk verdict Solid reconstruction of Noetherian formal schemes from nuclear categories via maximal strongly compactly generated ideals and a modified Balmer spectrum; main theorems hold under standard hypotheses. read the letter →

arxiv 2607.10184 v1 pith:7O6NQ3AP submitted 2026-07-11 math.AG math.CT

Hisato Matsukawa This is my paper · ORCID
classification math.AGmath.CT MSC 14F0818G8014A20
keywords formalschemesnuclearmodulesBalmerspectrumtensortriangulatedcategoriestorsionreconstructionEfimovcategoryClausen–Scholze
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 shows that a formal scheme can be recovered from the abstract symmetric monoidal category of its nuclear modules. The key step is that the derived category of torsion modules appears as a canonical subcategory of either Efimov's or the Clausen–Scholze nuclear category—the largest strongly compactly generated localizing tensor ideal. Applying a mild modification of the Balmer spectrum to that torsion category then returns the original formal scheme as a ringed space. The reconstruction is partially functorial, and for formal schemes topologically of finite type over a field or over the integers the assignment of the nuclear category is fully faithful. The result therefore supplies a constructive, categorical dictionary that turns purely algebraic data of nuclear modules back into geometric objects.

What carries the argument

The maximal strongly compactly generated localizing tensor ideal T_mcg of a tensor-triangulated category of nuclear modules; once identified with D_tors(X), its (slightly modified) Balmer spectrum recovers the underlying formal scheme as a ringed space.

What would settle it

Exhibit a Noetherian formal scheme whose ideal of definition is not weakly proregular and for which the structure sheaf of Spec(Ho(D_tors(X))) fails to recover the original formal scheme.

Watch

Extended reading notes

Core claim

For a Noetherian formal scheme X the derived category of torsion modules D_tors(X) is recovered as the maximal strongly compactly generated localizing tensor ideal of Efimov’s nuclear category Nuc^Ef(X) (and of the Clausen–Scholze category Nuc^CS(X) under mild covering hypotheses). The Balmer spectrum of that ideal is isomorphic to X as a ringed space, so the formal scheme itself is reconstructed from the symmetric monoidal category of nuclear modules.

Load-bearing premise

The reconstruction of the structure sheaf from the Balmer spectrum requires that ideals of definition be generated by weakly proregular sequences; without that the completed rings may not match.

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

0 major / 5 minor

Summary. The paper gives a partially functorial reconstruction of Noetherian formal schemes from the symmetric monoidal categories of nuclear modules Nuc^Ef(X) (Efimov) and Nuc^CS(X) (Clausen–Scholze). It identifies D_tors(X) as the maximal strongly compactly generated localizing tensor ideal of these categories (Theorem 3.3, via Lemmas 3.1–3.2), then recovers X as a ringed space by applying a modified Balmer spectrum that works for weakly compactly generated tt-categories whose unit need not be compact (Theorem 4.10 and §4). Full faithfulness of X ↦ Nuc^Ef(X) (and of the CS variant on affines) is proved for schemes topologically of finite type over a field or Z, via field-valued points (Theorem 6.7 and §6).

Significance. The result supplies a constructive Tannaka-type reconstruction of formal schemes from nuclear-module categories that are foundational in condensed and analytic geometry. It cleanly adapts Balmer’s spectrum to the non-compact-unit setting of torsion modules and yields full faithfulness on an important class of morphisms. The proofs rely on explicit generators, counit non-equivalences (Lemma 3.2), smashing localizations and Zariski descent, which makes the reconstruction transparent and usable. If the claims hold, the paper strengthens the dictionary between tensor-triangular geometry and the nuclear categories of Efimov–Clausen–Scholze.

minor comments (5)
  1. Notation for formal schemes oscillates between ordinary X and fraktur 𝔛 (abstract vs. body); a uniform choice would improve readability.
  2. §2.2.4: the definition of Nuc^CS via (Proj^ω1,cpl)^op-modules is terse. A one-sentence reminder of the relation to nuclear objects would help readers outside the Clausen–Scholze literature.
  3. Lemma 3.2: the infinite-rank diagonal-matrix argument is correct but compressed; expanding why the element lies in one lim but not the tensor product of lims would make the non-equivalence of the counit more self-contained.
  4. Theorem 4.10: the parenthetical “e.g., a Noetherian formal scheme” is accurate, yet a short remark that weak proregularity is automatic precisely when the main reconstruction theorems apply would prevent any misreading of the hypothesis.
  5. Appendix A: the rigidification statements (Cor. A.4, Prop. A.5) are used crucially for Zariski descent of Nuc^Ef; a forward reference from Prop. 2.8 would make the logical order clearer.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: D_tors is recovered as an intrinsically defined maximal ideal of Nuc via explicit non-equivalence computations, then Balmer spectrum recovers the ringed space under standard hypotheses.

full rationale

The paper's central chain is self-contained and non-circular. Nuc^Ef(X) is defined as the rigidification of D_tors(X) (Def. 2.7), but Theorem 3.3 recovers D_tors intrinsically as the maximal strongly compactly generated localizing tensor ideal of the tt-category Nuc (via Lemmas 3.1–3.2). Lemma 3.1 embeds D_tors as a localizing ideal by generation and nuclear preservation; Lemma 3.2 proves maximality by contradiction, exhibiting an explicit non-equivalence of the counit map ho au( ho(F) oxtimes G) o ho(F) oxtimes G via computation of au RHom(igoplus_N R^ imes_I , ·) reducing to a rank obstruction on diagonal matrices in igoplus lim (R/I^n) after base change to a residue field (no assumption of the conclusion). The modified Balmer spectrum (Defs. 4.1–4.4, Prop. 4.7–4.8, Ex. 4.9) then yields Spec(Ho(D_tors(X))) o X as ringed spaces (Thm. 4.10) by reduction to the known Balmer spectrum of D(R) plus smashing ideals and weak proregularity (standard for Noetherian cases). Full faithfulness (Thm. 6.7) follows by field-valued points (Thm. 6.5) and the same recovery. Citations to Efimov, Clausen–Scholze and Balmer supply independent background definitions and spectra; there are no author self-citations, no fitted parameters, no uniqueness theorems imported from prior work by the same author, and no renaming of known results. The derivation does not reduce to its inputs by construction.

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

The paper works entirely inside standard higher-categorical and algebraic-geometry foundations. No numerical free parameters appear. The load-bearing background consists of ordinary mathematical axioms plus domain assumptions (Noetherian formal schemes, weak proregularity, existence of Grothendieck universes) that are standard for the subfield; the only paper-specific constructions are the modified Balmer spectrum and the maximal strongly compactly generated ideal, both defined explicitly from prior notions.

assumptions (5)
  • standard math Existence of a Grothendieck universe (Assumptions and Notation).
    Used to guarantee that categories of presentable stable ∞-categories and nuclear modules are well-defined.
  • domain assumption All formal schemes are quasi-compact, quasi-separated and locally admit a finitely generated ideal of definition.
    Stated at the outset; needed for Zariski descent of D_tors and Nuc and for the existence of compact generators.
  • domain assumption For the spectrum isomorphism, ideals of definition are generated by weakly proregular sequences (Theorem 4.10).
    Ensures that the derived I-completion coincides with the classical I-adic completion, so the structure sheaf of Spec(D_tors) recovers the formal scheme.
  • domain assumption Nuclear objects are preserved by homomorphisms of compactly generated tt-∞-categories (cited from CS26, MW24).
    Used throughout §§2–3 to identify Nuc(CS) inside Nuc(Ef) and to transport torsion ideals.
  • domain assumption The unit of a locally rigid tt-∞-category with ω1-compact unit admits a rigidification Nuc(Ind(E^ω1)) (Efimov).
    Definition of Nuc^Ef(X); the paper relies on the universal property without re-deriving it.
invented entities (2)
  • Maximal strongly compactly generated localizing ideal T_mcg
    purpose: Canonical extraction of D_tors from the nuclear category without prior geometric knowledge.
    Defined in Definition 2.3 as the unique maximal strongly compactly generated localizing ideal; existence follows from essential smallness of compact objects. Independent evidence is internal (the maximality proof of Theorem 3.3).
  • Balmer spectrum for weakly compactly generated tt-categories (Spec(T) with non-compact unit) independent evidence
    purpose: Recover the formal scheme from D_tors even though the unit is not compact.
    Defined in Definitions 4.1–4.4 by restricting primes and supports to compact objects; reduces to ordinary Balmer spectrum when the unit is compact. Independent evidence is the comparison with classical Spec in the affine case (Theorem 4.10).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Reconstruction of Formal Schemes from Categories of Nuclear Modules." pith.science (2026). https://pith.science/paper/7O6NQ3AP

@misc{pith2026260710184,
  author       = {Pith},
  title        = {Pith review of: Reconstruction of Formal Schemes from Categories of Nuclear Modules},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7O6NQ3AP}},
  note         = {Machine review of arXiv:2607.10184}
}
abstract

We provide a partially functorial and constructive reconstruction procedure for formal schemes from symmetric monoidal categories of nuclear modules. More precisely, for a formal scheme $\mathfrak{X}$, we show that the torsion subcategory $D_{\mathrm{tors}}(\mathfrak{X})$ can be recovered as the maximal strongly compactly generated localizing tensor ideal of Efimov's category $\mathrm{Nuc}^{\mathrm{Ef}}(\mathfrak{X})$, and similarly for the Clausen--Scholze category $\mathrm{Nuc}^{\mathrm{CS}}(\mathfrak{X})$. Combining this with the Balmer spectrum, we reconstruct $\mathfrak{X}$ from the corresponding symmetric monoidal category of nuclear modules. Moreover, for formal schemes topologically of finite type over a field or over $\mathbb{Z}$, the contravariant functor $\mathfrak{X} \mapsto \mathrm{Nuc}^{\mathrm{Ef}}(\mathfrak{X})$ is fully faithful; in the affine case, the analogous statement holds for $\mathfrak{X} \mapsto \mathrm{Nuc}^{\mathrm{CS}}(\mathfrak{X})$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

24 extracted references · 1 canonical work pages

  1. [1]

    2011 , eprint =

    Liu, Yu-Han , title =. 2011 , eprint =

    2011

  2. [2]

    , title =

    Efimov, Alexander I. , title =. 2025 , eprint =

    2025

  3. [3]

    , title =

    Efimov, Alexander I. , title =. 2024 , eprint =

    2024

  4. [4]

    Journal f

    Stevenson, Greg , title =. Journal f. 2013 , pages =. doi:10.1515/crelle-2012-0025 , eprint =

    doi:10.1515/crelle-2012-0025 2013

  5. [5]

    2026 , eprint =

    Scholze, Peter , title =. 2026 , eprint =

    2026

  6. [6]

    Mathematical Proceedings of the Cambridge Philosophical Society , volume =

    Balmer, Paul and Krause, Henning and Stevenson, Greg , title =. Mathematical Proceedings of the Cambridge Philosophical Society , volume =. 2020 , pages =. doi:10.1017/S0305004118000725 , eprint =

    doi:10.1017/s0305004118000725 2020

  7. [7]

    and Krause, Henning , title =

    Iyengar, Srikanth B. and Krause, Henning , title =. Mathematische Zeitschrift , volume =. 2013 , pages =. doi:10.1007/s00209-012-1051-7 , eprint =

    work page doi:10.1007/s00209-012-1051-7 2013

  8. [8]

    Journal f

    Stevenson, Greg , title =. Journal f. 2013 , pages =. doi:10.1515/crelle.2012.029 , eprint =

    doi:10.1515/crelle.2012.029 2013

Show all 24 references
  1. [9]

    Thomason, R. W. , title =. Compositio Mathematica , volume =. 1997 , pages =

    1997

  2. [10]

    Topology , volume =

    Neeman, Amnon , title =. Topology , volume =. 1992 , pages =. doi:10.1016/0040-9383(92)90047-L , note =

    1992 doi

  3. [11]

    2023 , eprint =

    Krause, Henning , title =. 2023 , eprint =

    2023

  4. [12]

    2023 , eprint =

    Andreychev, Grigory , title =. 2023 , eprint =

    2023

  5. [13]

    Descent for solid quasi-coherent sheaves on perfectoid spaces , year =

    Ansch. Descent for solid quasi-coherent sheaves on perfectoid spaces , year =. 2403.01951 , archivePrefix =

    arXiv

  6. [14]

    Journal f

    Balmer, Paul , title =. Journal f. 2005 , pages =

    2005

  7. [15]

    2001 , pages =

    Neeman, Amnon , title =. 2001 , pages =

    2001

  8. [16]

    Documenta Mathematica , volume =

    Krause, Henning , title =. Documenta Mathematica , volume =. 2001 , pages =

    2001

  9. [17]

    2017 , note =

    Lurie, Jacob , title =. 2017 , note =

    2017

  10. [18]

    Proceedings of the London Mathematical Society , series =

    Balmer, Paul and Favi, Giordano , title =. Proceedings of the London Mathematical Society , series =. 2011 , doi =

    2011

  11. [19]

    2026 , eprint =

    Clausen, Dustin and Scholze, Peter , title =. 2026 , eprint =

    2026

  12. [20]

    2024 , eprint =

    Meyer, Samuel and Wagner, Ferdinand , title =. 2024 , eprint =

    2024

  13. [21]

    Handbook of Homotopy Theory , editor =

    Balmer, Paul , title =. Handbook of Homotopy Theory , editor =. 2019 , chapter =. 1912.08963 , archivePrefix =

    2019 arXiv

  14. [22]

    and Gaitsgory, D

    Arinkin, D. and Gaitsgory, D. and Kazhdan, D. and Raskin, S. and Rozenblyum, N. and Varshavsky, Y. , title =. 2020 , eprint =

    2020

  15. [23]

    Boletín de la Sociedad Matemática Mexicana , series =

    Miller, Haynes , title =. Boletín de la Sociedad Matemática Mexicana , series =. 1992 , note =

    1992

  16. [24]

    arXiv preprint , eprint =

    Ramzi, Maxime , title =. arXiv preprint , eprint =. 2024 , doi =

    2024

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.