Pith. sign in

REVIEW 3 major objections 4 minor 13 references

Adelic descent for continuous localizing invariants

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

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

Pith's one-line read Adelic descent holds for every stable localizing invariant when applied to nuclear sheaves on finite-type Z-schemes.

desk verdict A genuinely new adelic descent statement for all stable localizing invariants in the nuclear setting, with a plausible proof whose main gaps are explicit and likely fillable. read the letter →

arxiv 2507.20359 v2 pith:BOLEEMQD submitted 2025-07-27 math.AG math.NT

Grigorii Konovalov This is my paper · ORCID
classification math.AGmath.NT
keywords adelicdescentlocalizinginvariantsnuclearmodulessolidquasi-coherentsheavesskeletalfiltrationZariskiK-theorystablepresentablecategories
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 proves that any accessible stable localizing invariant--a class that includes algebraic K-theory and other additive invariants of dualizable stable categories--of a scheme $X$ of finite type over $\mathbb{Z}$ is determined by the same invariant applied to a finite cubical diagram of nuclear module categories built from the adelic rings of $X$. The adelic ring $L_{k_0...k_m}\mathcal{O}_X$ is the iterated localization-and-completion of the structure sheaf at a chain of points of increasing dimension. Replacing the large category of solid quasi-coherent sheaves by the smaller, dualizable categories of nuclear modules is what makes the statement true for localizing invariants. If correct, the result gives a canonical adelic decomposition of invariants such as K-theory over the arithmetic point set of $X$.

What carries the argument

The machinery is the nuclear-object construction $\mathrm{Nuc}(-)$, applied to module categories over the idempotent adelic algebras $L_{k_0\cdots k_m}\mathcal{O}_X$ in $\mathrm{QCoh}(X_\blacksquare)$. An object is nuclear when every map from a compact object is trace-class; nuclear module categories are dualizable and inherit the symmetric monoidal structure. The supporting apparatus--rigidification, the description of $\mathrm{Nuc}(A^{\sim}_{T,E})$ as generated by a single completed direct-sum object, and the recollement of $\mathrm{Nuc}(A_\blacksquare)$ by $S_k$-torsion subcategories--lets the author split the adelic cube into fiber sequences and apply the cubical reduction principle.

What would settle it

Check the asserted pullback square for a non-affine scheme such as $\mathbb{P}^1_{\mathbb{Z}}$ with its standard affine cover: if the functor from nuclear modules over the adelic rings to the pullback over the two affine lines is not essentially surjective, the affine reduction fails. Alternatively, take the invariant to be algebraic K-theory on $\mathrm{Spec}(\mathbb{Z})$ and compare $F(\mathrm{Nuc}(\mathbb{Z}_\blacksquare))$ with the limit over $F(\mathrm{Nuc}(L_0\mathbb{Z}))$, $F(\mathrm{Nuc}(L_1\mathbb{Z}))$, and $F(\mathrm{Nuc}(L_{0,1}\mathbb{Z}))$; any disagreement would refute Theorem 3.0.1.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.0.1: for $X$ of finite type over $\mathbb{Z}$ and any accessible stable localizing invariant $F$ from dualizable stable presentable categories to an accessible stable category, the canonical map $F(\mathrm{Nuc}(X_\blacksquare)) \to \lim_{0\le k_0<\cdots<k_m\le d} F(\mathrm{Nuc}(L_{k_0\cdots k_m}\mathcal{O}_X,X_\blacksquare))$ is an isomorphism. The limit runs over all strictly increasing chains of dimensions appearing in the skeletal filtration of $X$. A companion statement, Theorem 3.4.1, says the diagram itself is a limit in both $\mathrm{Pr}^{\mathrm{L}}_{\mathrm{st}}$ and $\mathrm{Pr}^{\mathrm{dual}}_{\mathrm{st}}$ before $F$ is applied, so the invariant version follows from the fact that stable localizing invariants preserve limits of strongly continuous localizations.

Load-bearing premise

The load-bearing premise is that, for a Zariski open cover, the square of nuclear module categories attached to the adelic rings is a pullback and that every stable localizing invariant preserves this square because its functors are strongly continuous localizations; the paper proves full faithfulness and asserts the remaining half and the preservation claim.

Editorial extensions

If this is right

  • For any accessible stable localizing invariant $F$, the value on a scheme $X$ can be computed from the finite cubical diagram of $F$ applied to nuclear modules over the adelic rings $L_{k_0...k_m}\mathcal{O}_X$.
  • The same adelic cube is a limit in both $\mathrm{Pr}^{\mathrm{L}}_{\mathrm{st}}$ and $\mathrm{Pr}^{\mathrm{dual}}_{\mathrm{st}}$, so the descent statement is independent of the choice of invariant.
  • When $X=\mathrm{Spec}(A)$ is affine, the proof gives an explicit splitting of the cube into fiber sequences indexed by the skeletal filtration, which is what makes the general descent tractable.
  • Theorem 3.5.1 extends the descent statement to any filtration of $X$ by specialization closed subsets, though the entries are not generally computable from that filtration alone.
  • As a consequence, K-theory and other continuous localizing invariants of a finite-type $\mathbb{Z}$-scheme are determined by completed local data at chains of points, rather than by the full category of quasi-coherent sheaves.

Reading between the lines

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

  • If the main theorem is right, the adelic cube is a universal finite coordinate system for stable localizing invariants on finite-type $\mathbb{Z}$-schemes, suggesting that such invariants can be computed by a spectral sequence assembled from flags of points.
  • Theorem 3.4.1 may imply that the descent property holds for any invariant preserving pullbacks along strongly continuous localizations, even if it is not a full localizing invariant; testing this would delimit the role of the accessibility and dualizability hypotheses.
  • A natural experimental check is to specialize to algebraic K-theory and compare the nuclear-module diagram with earlier K-theoretic adelic descent results; agreement would show the nuclear formulation is equivalent for K-theory, and a mismatch would localize where the difference lies.
  • The author's remark on working over a countable field suggests the proof structure could transfer verbatim to finite-type schemes over such fields once the base solid abelian groups are replaced by ultrasolid vector spaces, giving a non-arithmetic variant of the theorem.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper proves a version of adelic descent for continuous localizing invariants. For a scheme X of finite type over Z and an accessible stable localizing invariant F: Pr^dual_st → E, Theorem 3.0.1 asserts that the canonical map F(Nuc(X■)) → lim_{0≤k0<...<km≤d} F(Nuc(L_{k0...km}O_X, X■)) is an isomorphism, where the limit is taken over the cubical diagram of nuclear module categories over adelic rings. The proof reduces to the affine case via Zariski open covers, then uses a filtration by skeletons and Proposition 3.2.3 to split the cubical diagram into fiber sequences. The paper also states and proves a categorical version (Theorem 3.4.1) asserting that the same diagram is a limit in both Pr^L_st and Pr^dual_st, and that it is preserved by stable localizing invariants. A generalization to filtrations by arbitrary specialization-closed subsets is given in Section 3.5.

Significance. If the main theorem is correct, it establishes adelic descent for continuous localizing invariants in the Clausen–Scholze nuclear-module setting, complementing and differing from Kim's earlier adelic descent results ([6], [7]). The affine proof is a systematic and largely explicit argument based on a skeleton filtration, and the paper correctly identifies the key structural input, Proposition 3.2.3, which is proved by a series of lemmas. The categorical adelic descent statement for nuclear sheaves (Theorem 3.4.1) is also a useful result in its own right. However, the paper's transition from the affine case to the general finite-type case in Section 3.1 contains two assertions that are load-bearing and are not proved in the text: the essential surjectivity in the pullback square (3.1.0.1), and the preservation of that pullback square by arbitrary stable localizing invariants. Because Theorem 3.0.1 is stated for all finite-type schemes, these gaps affect the central claim and require a substantial addition or a precise reference.

major comments (3)
  1. [§3.1, square (3.1.0.1)] The essential surjectivity of the functor Nuc(L_{k0...km}O_X, X■) → lim of the restrictions to U, V, and U∩V is asserted but not proved. The text states only that it 'can be proved directly using Proposition 2.3.7 and the base change for solid quasi-coherent sheaves with respect to Zariski open embeddings, see Example 13.15 in [3]'. This step is load-bearing: without a proof that compatible nuclear modules over an open cover glue to a nuclear module over X, the reduction to the affine case fails and Theorem 3.0.1 is only established for affine schemes. Please provide a complete argument, or state the glueing lemma as a separate proposition with a full proof or with a precise citation that covers exactly this statement.
  2. [§3.1, paragraph after (3.1.0.1)] The claim that the pullback square (3.1.0.1) is mapped to a pullback by any stable localizing invariant is not demonstrated. The text says that because each functor in the square is a strongly continuous localization, 'it follows' that the square is preserved, but it does not explain which property of stable localizing invariants from [4] is being used. If the intended argument is that the horizontal localizations have equivalent kernels and that localizing invariants convert the induced short exact sequences into fiber sequences, this should be written out explicitly; alternatively, a precise reference to a theorem in [4] should be given. Without this, the induction over affine covers cannot be concluded.
  3. [§3.3, Lemma 3.3.4] In the proof of Lemma 3.3.4, the step identifying the kernel of Nuc≤k(A■) → Nuc(Γ(S^c_{k−1},O)•) with the kernel of Nuc≤k(A■) → Nuc((LkA)•) relies on the claim that the image of the composite lies in (LkA)•−Mod and that the functor Nuc≤k(A■)⊗Nuc(A■) Nuc((LkA)•) → Nuc((LkA)•) is fully faithful because Nuc((LkA)•) is dualizable over Nuc(A■). This is only sketched; a full justification or a reference for the full faithfulness assertion is needed, since Proposition 3.2.3(3) is used in the induction step of the main theorem.
minor comments (4)
  1. [§1, Introduction] There are several typos: 'thrid' should be 'third', 'Nevetheless' should be 'Nevertheless', and 'out main theorem' should be 'our main theorem'.
  2. [§3.2] The equivalence Nuc(A■) ≃ ModA is invoked without proof or reference; since it is used to identify Nuc≤k(A■) with the category of S_k-torsion modules, a brief justification or a precise citation would improve readability.
  3. [§2.3, Proposition 2.3.7] The proof of Proposition 2.3.7 uses that j_* preserves nuclear objects and that j_*j^*L_{k0...km}O_X is a retract of L_{k0...km}O_X; this is plausible but the argument would be clearer if the retract statement were stated and proved explicitly, since it depends on the explicit product formula for adelic rings.
  4. [§3.4] The proof of Theorem 3.4.1 says 'By the same reduction as in section 3.1 combined with Proposition 1.87 of [4]', but since Section 3.1 contains the two unproved assertions listed above, this reduction inherits the same gaps.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorem is proved from structural facts about solid sheaves and nuclear modules; self-citations to [1] supply background, not the target statement.

full rationale

No circular step was identified. The main theorem (3.0.1) asserts that any accessible stable localizing invariant F maps the nuclear adelic diagram to a limit. The proof does not assume that assertion. The affine case (Sections 3.2–3.3) is an induction using Proposition 3.2.3, whose proof is reduced to lemmas about nuclear modules over adelic rings (Corollaries 2.3.4, 2.3.5, Lemma 3.3.2), and these are derived from structural facts about solid quasi-coherent sheaves from [1] (e.g. Propositions A.1.1, A.2.1, Corollary A.2.7) and about nuclear objects from [2], [3], [5], [9], [10], and [11]. The cited Theorem 4.2.4 of [1] is an equivalence for solid quasi-coherent sheaves, not a statement about localizing invariants; the paper even notes that the categorical version could be deduced from that theorem but supplies an independent proof. The non-affine reduction in Section 3.1 uses Zariski descent from external [13] and sketches the pullback property of (3.1.0.1), deferring essential surjectivity to Proposition 2.3.7 and Example 13.15 of [3]; the preservation of such squares by stable localizing invariants is asserted as a consequence of strong continuity. These are potential gaps in exposition or proof, but they are not cases where a conclusion is identical to an input by definition, nor where a fitted parameter is renamed as a prediction. No equation in the paper reduces the theorem to its own hypotheses. The self-citations to [1] are load-bearing for background foundations, but [1] does not already contain the target adelic descent statement for localizing invariants, so they do not render the derivation circular.

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

The paper's central claim rests on a large body of background from condensed mathematics, solid algebraic geometry, and Efimov's theory of localizing invariants. There are no numerical free parameters and no invented entities. The most fragile external ingredient is the identification of nuclear objects with discrete quasi-coherent sheaves, which is invoked as well known. The proof also uses the author's prior [1] for structural facts about adelic rings; this is not circular because [1] does not contain the main theorem.

assumptions (5)
  • domain assumption Solid quasi-coherent sheaves on schemes of finite type over Z satisfy Zariski descent (Theorem 9.8 of [13]).
    Used in Section 3.1 to reduce Theorem 3.0.1 from arbitrary X to affine open covers; taken as background from Scholze's lectures.
  • domain assumption The subcategory of nuclear objects Nuc(C) is omega_1-presentable and dualizable, and Nuc(X■) is equivalent to ordinary quasi-coherent sheaves QCoh(X) for X finite type over Z.
    Invoked in 2.1.1 and in the proof of Proposition 2.3.2 as well known; the paper does not prove this equivalence, and it underpins the identification of Nuc≤k(A■) with S_k-torsion A-modules in Section 3.2.
  • domain assumption Proposition 2.1.3, taken from [5, Propositions 1.28-1.34] and [11, Lemma 3.32], describes nuclear objects in Ind(D^op) under a duality hypothesis.
    Foundational input for Corollaries 2.2.3 and 2.3.4 that identify rigidification with nuclear objects and produce generators for the relevant module categories.
  • domain assumption There exist accessible stable localizing invariants F: Pr^dual_st -> E with the formal properties used, including the cubical reduction principle from [6] and preservation of pullback squares of strongly continuous localizations.
    Theorem 3.0.1 assumes F is an accessible localizing invariant; the proof uses formal properties of such invariants stated in [4] and [6] that are not reproved.
  • domain assumption The structural facts about solid A-modules and adelic rings from [1]: completion at specialization closed subsets is symmetric monoidal on eventually connective modules, and adelic rings are idempotent commutative algebras in QCoh(X■).
    Used throughout Section 2 and in Lemma 3.3.4; these are results of the author's prior paper [1] and are treated as background.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Adelic descent for continuous localizing invariants." pith.science (2026). https://pith.science/paper/BOLEEMQD

@misc{pith2026250720359,
  author       = {Pith},
  title        = {Pith review of: Adelic descent for continuous localizing invariants},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BOLEEMQD}},
  note         = {Machine review of arXiv:2507.20359}
}
read the original abstract

We prove a version of adelic descent for continuous localizing invariants.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

13 extracted references · 8 canonical work pages

  1. [1]

    Beilinson-Parshin adeles via solid algebraic geometry

    C. Brav and G. Konovalov, “Beilinson-parshin adeles via solid algebraic geometry,” 2024. [Online]. Available: https://arxiv.org/abs/2403.08472

    work page Pith review arXiv 2024

  2. [6]

    Adelic descent for K-theory

    H. Kim, “Adelic descent for k-theory,” 2021. [Online]. Available: https://arxiv.org/abs/2111.07202

    work page Pith review arXiv 2021

  3. [7]

    Some formal gluing diagrams for continuous K-theory

    ——, “Some formal gluing diagrams for continuous k-theory,” 2024. [Online]. Available: https://arxiv.org/abs/2410.00647

    work page Pith review arXiv 2024

  4. [3]

    Lectures on analytic geometry,

    P. Scholze, “Lectures on analytic geometry,” 2019. [Online]. Available: https://people.mpim-bonn.mpg.de/scholze/Analytic.pdf

    work page 2019

  5. [4]

    K-theory and localizing invariants of large categories,

    A. I. Efimov, “K-theory and localizing invariants of large categories,” 2025. [Online]. Available: https://arxiv.org/abs/2405.12169

    arXiv 2025

  6. [2]

    Condensed mathematics and complex geometry,

    D. Clausen and P. Scholze, “Condensed mathematics and complex geometry,” 2022. [Online]. Available: https: //people.mpim-bonn.mpg.de/scholze/Complex.pdf

    work page 2022

  7. [5]

    Localizing invariants of inverse limits,

    ——, “Localizing invariants of inverse limits,” 2025. [Online]. Available: https://arxiv.org/abs/2502.04123

    arXiv 2025

  8. [8]

    Analytic stacks,

    D. Clausen and P. Scholze, “Analytic stacks,” Lecture series , 2023-2024. [Online]. Available: https://www.youtube.com/ playlist?list=PLx5f8IelFRgGmu6gmL-Kf Rl 6Mm7juZO

    work page 2023

Show all 13 references
  1. [9]

    Dualizable presentable ∞-categories,

    M. Ramzi, “Dualizable presentable ∞-categories,” 2024. [Online]. Available: https://arxiv.org/abs/2410.21537

    2024 arXiv

  2. [10]

    Locally rigid ∞-categories,

    ——, “Locally rigid ∞-categories,” 2024. [Online]. Available: https://arxiv.org/abs/2410.21524

    2024

  3. [11]

    Descent for solid quasi-coherent sheaves on perfectoid spaces,

    J. Ansch¨ utz and L. Mann, “Descent for solid quasi-coherent sheaves on perfectoid spaces,” 2024. [Online]. Available: https://arxiv.org/abs/2403.01951

    2024 arXiv

  4. [12]

    Gaitsgory and N

    D. Gaitsgory and N. Rozenblyum, A Study in Derived Algebraic Geometry: Volume I: Correspondences and Duality . volume 221 of Mathematical Surveys and Monographs, 2017. [Online]. Available: https://people.mpim-bonn.mpg.de/gaitsgde/Book/

    2017

  5. [13]

    Lectures on condensed mathematics,

    P. Scholze, “Lectures on condensed mathematics,” 2019. [Online]. Available: https://people.mpim-bonn.mpg.de/scholze/ Condensed.pdf Grigorii Konovalov, Center for Advanced Studies, Skoltech, Moscow; Centre of Pure Mathemat- ics, MIPT, Moscow; F aculty of Mathematics, National R...

    2019

Pith tools

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