Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Embeddings and intersections of adelic groups

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

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

Pith's one-line read This paper proves that for normal projective surfaces and regular three-dimensional projective varieties over countable fields, the intersection of two adelic groups A_I and A_J equals the adelic group A_{I∩J}, settling a long-standing ques

desk verdict Strong new results on Parshin's adelic intersection question; the proof hinges on a commutative-algebra lemma (2.1.8) that needs a careful look, and the main theorems have a small but fillable gap around a colimit identification. read the letter →

arxiv 2510.22408 v3 pith:WGL6XY2H submitted 2025-10-25 math.AG math.AC

Dmitry Badulin This is my paper · ORCID
classification math.AGmath.AC MSC 14A1514F05
keywords adelicgroupscomplexesintersectionsexcellentschemesCohen-Macaulayvarietiesnormalsurfacesthreefoldssheafcohomology
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

Adelic groups A_I(X,F) are assembled from local factors indexed by flags of points with prescribed codimension sets I; they refine sheaf cohomology and are used in higher-dimensional adelic geometry. A natural question asks whether intersecting two such groups gives the group corresponding to the intersection of index sets, A_I ∩ A_J = A_{I∩J}. This paper establishes that equality for normal projective surfaces over any field and for regular three-dimensional projective varieties over countable fields, for every locally free sheaf. The key enabling step is a new embedding theorem showing A_I embeds into A_J whenever I ⊂ J, on excellent schemes of certain type, so the intersections are well-defined. The author also proves that global sections of a locally free sheaf on a Cohen–Macaulay projective scheme are determined by their restrictions to power thickenings, and computes the cohomology of a curtailed adelic complex.

What carries the argument

The load-bearing object is the adelic local factor C_ΔR = C_{p_0} S^{-1}_{p_0} ... C_{p_n} S^{-1}_{p_n} M, the iterated completion-localization of a module along a flag of prime ideals. The embedding theorem reduces to a commutative-algebra statement (Theorem 2.1.16) asserting that for an excellent biequidimensional domain R, the natural map C_ΔR → ∏_{Δ' ⊃ Δ} C_{Δ'}R is injective and behaves well with respect to primary ideals. The critical local lemma (Lemma 2.1.8) shows that adjoining a prime ideal above a flag does not change the completed local ring up to injection, using intersection flatness of the flag ring and normality of the completion. On the global side, Theorem 4.1.1 — that glob

What would settle it

Find any normal excellent domain R with a flag Δ and a prime ideal p above Δ for which C_ΔR → C_{p∨Δ}R has nontrivial kernel; this would invalidate Lemma 2.1.8 and collapse the embedding theorems. Concretely, one can search among normal surface singularities over a field of characteristic 0 by computing the kernel in a computer algebra system.

Watch

Extended reading notes

Core claim

The paper's central results are two intersection theorems. For a normal projective surface X over a field k and a locally free sheaf F, the equality A_I(X,F) ∩ A_J(X,F) = A_{I∩J}(X,F) holds for all I, J ⊂ {0,1,2}. For a regular three-dimensional projective variety over a countable field, the same equality holds for all I, J ⊂ {0,1,2,3}. These theorems answer a question that was previously known only for regular surfaces and for one special case of index sets on normal schemes. The proof passes through a new embedding theorem (Theorem 2.2.2): for excellent strongly biequidimensional schemes, A_I(X,F) embeds into A_J(X,F) whenever I ⊂ J and F is flat (or a subsheaf of a flat sheaf). The embedd

Load-bearing premise

Everything rests on the local injectivity lemma: for a normal excellent domain, the completed local ring along a flag injects into the completed local ring along the same flag with a higher prime ideal appended; this depends on intersection flatness of the flag ring and on the completion of the normal local ring being a domain.

Editorial extensions

If this is right

  • A long-standing question on intersections of adelic groups now has a positive answer for all normal projective surfaces, not just regular ones.
  • The same equality holds for all locally free sheaves on regular three-dimensional projective varieties over countable fields, giving the first threefold case.
  • The embedding theorem provides a well-defined ambient group A_K(X,F) for I,J ⊂ K, so intersections of adelic groups make sense on a broad class of excellent schemes.
  • The limit-of-global-sections theorem gives a new way to recover sections from thickenings, which may feed into adelic formulations of Riemann–Roch and duality.
  • The cohomology computation for curtailed adelic complexes yields vanishings for high twists of sheaves on Cohen–Macaulay projective schemes, analogous to Serre vanishing.

Reading between the lines

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

  • The surface theorem is stated over an arbitrary field, but the proof uses countability only in the threefold part; the surface case likely extends to normal surfaces over any field without change.
  • If the intersection-flatness input behind Lemma 2.1.8 fails in some excellent non-analytically-normal case, the embedding theorems would need a stronger hypothesis, but the surface and threefold results might still hold if checked by other means.
  • The method suggests that the intersection equality for arbitrary Cohen–Macaulay projective varieties of dimension ≥4 may reduce to a combination of the embedding theorem and the availability of a countable cofinal family of hypersurface sections; countability is the main obstruction to a naive extension.
  • One could test the threefold theorem on explicit examples, such as a smooth cubic threefold over Q, by computing the relevant adelic groups and checking the equality for I=(1,2), J=(2,3) numerically.
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 / 5 minor

Summary. The paper develops embedding and intersection results for Parshin–Beilinson adelic groups. The main embedding theorem (Theorems 2.2.1–2.2.2) shows that for excellent strongly biequidimensional schemes, and for subsheaves of flat quasicoherent sheaves, A_I(X,F) embeds into A_J(X,F) whenever I⊆J, thereby making intersections A_I∩A_J well defined. Theorem 3.2.2 establishes A_I∩A_J=A_{I\setminus 0} for normal excellent schemes when I∩J=I\setminus 0. The paper then proves a limit theorem for cohomology of thickenings (Theorem 4.1.1), uses it to prove the full intersection theorem for normal projective surfaces (Theorem 4.3.2), computes cohomology of a curtailed adelic complex (Proposition 4.4.2), and finally proves the intersection theorem for regular three-dimensional projective varieties over countable fields (Theorem 4.5.6). The final theorems give positive answers to Parshin's question beyond the previously known regular-surface case.

Significance. If the results are correct, this is a substantial advance: the intersection equality A_I∩A_J=A_{I∩J} is established for all normal projective surfaces and for regular three-folds over countable fields, significantly extending the Budylin–Gorchinskiy theorem and providing new evidence for Parshin's question. The embedding theorem is itself a useful foundational contribution, since without it the intersection operations studied here are not defined. The paper is careful with hypotheses and often flags its own limitations (see Remarks 1.2.6, 4.2.2, and the discussion of biequidimensionality). The overall structure is clear and the reduction chains are mostly explicit. However, as detailed below, two load-bearing points need strengthening before the claims can be regarded as fully established.

major comments (3)
  1. [§4.3, proof of Theorem 4.3.2; §4.5, proof of Theorem 4.5.6] The reduction in the case 0∈I∩J asserts, without proof, that A_{I\setminus 0}(X,F_η)∩A_{J\setminus 0}(X,F_η)=lim_{→D}(A_{I\setminus 0}(X,F(D))∩A_{J\setminus 0}(X,F(D))). The first equality is Lemma 1.4.9, but the second requires: (i) a sheaf-level isomorphism F_η ≅ colim_D F(D), with D ranging over effective Cartier divisors and transition maps F(D)→F(D+E); (ii) commutation of A_{I\setminus 0}(X,−) with filtered colimits, and commutation of filtered colimits with finite intersections. The paper only notes that A(K,−) commutes with filtered colimits (p. 11), and the sheaf-level statement (i) is not proved or cited. This step is load-bearing: it is exactly the reduction that makes both main theorems work in the case 0∈I∩J. Please supply a lemma with proof, or a precise reference covering (i) and (ii) in this setting.
  2. [Lemma 2.1.8, eq. (2.1.1); Theorem 2.1.16] Lemma 2.1.8 is foundational: Theorem 2.1.16 is proved by an induction that repeatedly descends to it, and Theorem 2.2.2 is built on Theorem 2.1.16. The proof of Lemma 2.1.8 relies on two external results: [HJ, Prop. 5.7(e)] for intersection flatness of C_ΔR over C_{p0}S^{-1}_{p0}R, and [Ma2, Thm. 79] that the completion of a normal excellent local domain is a domain. No verification is supplied that the hypotheses of these results are satisfied at the required level of generality, especially for the nonlocal adic rings C_ΔR. This is not an accusation of error, but a verification gap at a load-bearing point. Please spell out the applicability of the cited results, or give a self-contained argument.
  3. [Theorem 2.2.2, statement] The theorem states that F is 'a subsheaf of some flat quasicoherent sheaf on X'. Since A_I(X,−) is defined only on quasicoherent sheaves, F itself must be assumed quasicoherent; a non-quasicoherent submodule of a quasicoherent sheaf is not automatically quasicoherent. The proof silently treats F as quasicoherent ('Since functors A_I(X,−), A_J(X,−) are exact'). Please clarify that F is a quasicoherent subsheaf. This is a minor fix, but it affects the precise scope of the main embedding theorem.
minor comments (5)
  1. [Definition 1.3.1] Typo: 'sheme' should be 'scheme'.
  2. [Remark 1.3.9] Typo: 'Notherian' should be 'Noetherian'.
  3. [Lemma 1.1.4] Typo: 'defintion' should be 'definition'.
  4. [§4.3, proof of Theorem 4.3.2] Please specify that the direct limit is taken over effective Cartier divisors; the notation lim_{→D} is otherwise ambiguous.
  5. [§4.5, proof of Proposition 4.5.4] The identification A_1(X,F)=lim_{Z∈S_{1,j}}A_{(1)|_Z}(Z,F|_Z) would benefit from a short justification; as written it combines Lemma 4.2.1, Proposition 4.2.5, and Lemma 1.3.11, but the reader has to reconstruct the intermediate steps.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main embeddings and intersection equalities are derived sequentially from external commutative-algebra inputs, not from the statements they prove.

full rationale

The derivation chain is not circular. The local embedding theorem (Thm 2.1.16) is proved by induction on |J| and depends on Lemma 2.1.8, which in turn uses independent external results ([HJ, Prop. 5.7(e)], [Ma2, Thm. 79]); these are not statements of the present paper and are not fitted or assumed targets. Theorem 2.2.2 is then obtained from Theorem 2.1.16 by standard local-factor decompositions and exactness of adelic functors. Theorem 3.2.2 uses Theorem 2.1.16 and Proposition 3.1.1; Proposition 3.1.1 is an independent generalization of a classical result ([Ma1, Thm. 11.5]). The surface and threefold intersection theorems (Thms 4.3.2, 4.5.6) are proved by reductions to previously established cases, with no use of the target equality as an input. The only notable gap is an unproved identification in Thms 4.3.2/4.5.6: A_{I\0}(X,F_eta) is identified with colim_D A_{I\0}(X,F(D)) without proof or citation. This is a correctness/rigor concern, not circularity: the asserted colimit equality does not presuppose A_{I cap J}(X,F), and the main theorem is not hidden in the hypothesis. There are no fitting steps, no ansatz smuggled via citation, and no load-bearing self-citation chain. Accordingly, the circularity score is 0.

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

Pure mathematics: no fitted parameters. The ledger collects the external theorems the paper imports. The heavy inputs are intersection flatness of adelic completions ([HJ]), the decomposition of the residue complex under normalization ([Ye1]), flatness of completion ([Ye3]), analytic normality of excellent rings ([Ma2]), the adelic-to-sheaf cohomology theorem ([Hu]), Bertini-type sections ([GK]), lim¹ vanishing ([Je], [Ro]), and uniform symbolic-power bounds ([Mu]). None of these is ad hoc to this paper; all are published results, but several are recent and specialized (HJ 2021, GK 2023, Mu 2021), so the correctness risk concentrates in whether they are applied in the precise generality needed.

assumptions (9)
  • domain assumption Cohomology of the adelic complex computes sheaf cohomology: H^i(A•(X,F)) ≅ H^i(X,F).
    Quoted as Theorem 1.5.1 from [Hu, Prop 5.1.3]; the entire method of computing H⁰ via reduced adeles in Prop 4.3.1 and 4.4.2 rests on it.
  • domain assumption C_ΔR is intersection flat over C_{p₀}S⁻¹_{p₀}R ([HJ, Prop 5.7(e)]).
    Used in Lemma 2.1.8 and Prop 3.1.1 to commute infinite intersections with the base change to C_ΔR; load-bearing for the embedding theorem (2.2.2) and the I∩J=I\0 equality (3.2.2).
  • domain assumption Completion of a normal excellent local domain is a domain (analytic normality, [Ma2, Thm 79]).
    Used in Lemma 2.1.8 and Prop 3.1.1 to conclude that the kernel of C_{p₀}R → C_{(p,p₀)}R vanishes, hence the key injectivity C_ΔR → C_{p∨Δ}R.
  • domain assumption Completion after localization is flat ([Ye3, Thm 0.1]).
    Used in Corollary 2.1.2 to build the flatness chain C_{p_i}S⁻¹_{p_i}R → C_ΔR underlying the faithful-flatness arguments.
  • domain assumption Decomposition of adelic local factors under normalization: C_ΔS = ∏_{Γ|Δ} C_ΓS ([Ye1, Prop 3.1.7]).
    Used in Lemma 2.1.9 to transfer height-k prime ideals to the normalization; needed for Prop 2.1.10 and hence Theorem 2.1.16.
  • domain assumption Normality criterion: ∩_{htp=1} R_p = R for normal Noetherian domains ([Ma1, Thm 11.5]).
    Used in Prop 3.1.1 and Theorem 3.2.2 to identify A₀ ∩ A_J with H⁰ in the normal excellent case.
  • domain assumption Bertini-type existence of admissible hypersurface sections through prescribed closed points ([GK, Lemmas 3.5, Thms 3.6, 4.7, 5.7]).
    Used in Theorem 4.1.1, Prop 4.2.5, and Prop 4.5.4; the whole Section 4 induction (hence the surface and 3-fold theorems) needs irreducible, resp. regular, hypersurface sections.
  • domain assumption lim¹-vanishing for countable filtered systems with finite-dimensional terms ([Je, Prop 1.1; Ro, Thm 3.1]).
    Used in Prop 4.4.2; this is the source of the 'countable field' hypothesis in Theorem 4.5.6.
  • domain assumption Uniform symbolic-power bounds on regular rings ([Mu, Thm A]).
    Used in Prop 1.3.6 to prove cofinality of power and symbolic thickenings on regular schemes, and in Lemma 4.5.3.
invented entities (2)
  • Curtailed adelic complex C(F)• (Def 1.5.2) independent evidence
    purpose: A subquotient of the reduced adelic complex with the A₀ terms removed; its low-degree cohomology is shown to equal sheaf cohomology (Prop 4.4.2), which is then used to prove the 3-fold intersection theorem.
    New definition introduced in this paper with a checkable mathematical handle: the computed cohomology H^k(C(F)•) ≅ H^k(X,F) for k < dimX−1, verifiable by specialists.
  • Index categories P, S, R^pow, R^sym, E (Defs 1.3.7, 1.3.8, 1.3.12) independent evidence
    purpose: Organize diagrams of restrictions to power/symbolic thickenings; limits over them compute adelic groups (Lemmas 4.2.1, 4.2.5, 4.4.1) and H⁰ (Thm 4.1.1).
    Precisely defined mathematical structures whose cofinality properties are proved (Lemmas 1.3.11, 1.3.14); they are proof devices, not unexplained postulates.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Embeddings and intersections of adelic groups." pith.science (2026). https://pith.science/paper/WGL6XY2H

@misc{pith2026251022408,
  author       = {Pith},
  title        = {Pith review of: Embeddings and intersections of adelic groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WGL6XY2H}},
  note         = {Machine review of arXiv:2510.22408}
}
abstract

We prove embeddings of adelic groups on an excellent scheme of special type and a flat quasicoherent sheaf on it. For a normal excellent scheme of special type we establish the equality $\mathbb{A}_I(X,\mathcal{F})\cap\mathbb{A}_J(X,\mathcal{F})=\mathbb{A}_{I\setminus0}(X,\mathcal{F})$ in the case $I\cap J=I\setminus0$. We show that the limit of restrictions of global sections of a locally free sheaf on a Cohen-Macaulay projective scheme to power thickenings of integral subschemes equals the group of global sections of this sheaf. Using this result, we deduce a theorem on intersections of adelic groups for normal projective surfaces. We also compute cohomology groups of a curtailed adelic complex and, as a consequence, show that on a three-dimensional regular projective variety over a countable field the intersection $\mathbb{A}_I(X,\mathcal{F})\cap\mathbb{A}_J(X,\mathcal{F})$ equals $\mathbb{A}_{I\cap J}(X,\mathcal{F})$ for any $I,J\subset\{0,1,2,3\}$ and any locally free sheaf $\mathcal{F}$ on $X$.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Structure of ind-pro completions of Noetherian rings

    math.AC 2026-01 conditional novelty 6.0 of 10

    For essentially finite type algebras over a field, the ind-pro completion of a ring along a flag of prime ideals has dimension ht(p0)+ht(pn/p0)−n and is semilocal exactly when the flag is saturated.

Reference graph

Works this paper leans on

26 extracted references · 2 linked inside Pith · cited by 1 Pith paper

  1. [1]

    Beilinson, Residues and adeles, Functional Analysis and Its Applications, 14 (1980), 34--35

    A.A. Beilinson, Residues and adeles, Functional Analysis and Its Applications, 14 (1980), 34--35

    1980

  2. [2]

    R. Ya. Budylin, S. O. Gorchinskiy, Intersections of adelic groups on a surface, Sb. Math., 204 :12 (2013), 1701--1711

    2013

  3. [3]

    Dobbs, M

    D. Dobbs, M. Fontana, Universally catenarian domains of D+M type, II, International Journal of Mathematics and Mathematical Sciences, 14 :2 (1991), 209--214

    1991

  4. [4]

    Fimmel, A.N

    T. Fimmel, A.N. Parshin, An introduction to the higher adelic theory, preprint

  5. [5]

    Ghosh, A

    M. Ghosh, A. Krisna, Bertini theorems revisited, Journal of the London Math. Soc., 108 (2023), 1163--1192

    2023

  6. [6]

    Heinrich, Some remarks on biequidimensionality of topological spaces and Noetherian schemes, Journal of Commutative Algebra, 9 :1 (2017), 49--63

    K. Heinrich, Some remarks on biequidimensionality of topological spaces and Noetherian schemes, Journal of Commutative Algebra, 9 :1 (2017), 49--63

    2017

  7. [7]

    Hochster, C

    M. Hochster, C. Huneke, F -regularity, test elements, and smooth base change, Trans. of the A.M.S., 346 (1994), 1--62

    1994

  8. [8]

    Hochster, J

    M. Hochster, J. Jeffries, Extensions of primes, flatness, and intersection flatness, Commutative Algebra: 150 years with Roger and Sylvia Wiegand, 773 (2021), 63--81

    2021

Show all 26 references
  1. [9]

    Huber, On the Parshin--Beilinson adeles for schemes, Abh

    A. Huber, On the Parshin--Beilinson adeles for schemes, Abh. Math. Sem. Univ. Hamburg, 61 (1991), 249--273

    1991

  2. [10]

    Iversen, Cohomology of Sheaves, Springer Berlin, Heidelberg, 1986

    B. Iversen, Cohomology of Sheaves, Springer Berlin, Heidelberg, 1986

    1986

  3. [11]

    Jensen, On the Vanishing of ^ (i) , Journal of Algebra, 15 :2 (1970), 151--166

    C. Jensen, On the Vanishing of ^ (i) , Journal of Algebra, 15 :2 (1970), 151--166

    1970

  4. [12]

    Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, Cambridge Univ

    H. Matsumura, Commutative ring theory, Cambridge Studies in Advanced Mathematics, Cambridge Univ. Press, 1987

    1987

  5. [13]

    Matsumura, Commutative algebra, W.A

    H. Matsumura, Commutative algebra, W.A. Benjamin, Inc., 1970

    1970

  6. [14]

    Morrow, An introduction to higher dimensional local fields and adeles, arXiv:1204.0586 https://arxiv.org/abs/1204.0586, 2012

    M. Morrow, An introduction to higher dimensional local fields and adeles, arXiv:1204.0586 https://arxiv.org/abs/1204.0586, 2012

    2012 arXiv

  7. [15]

    Murayama, Uniform bounds on symbolic powers in regular rings, arXiv:2111.06049 https://arxiv.org/abs/2111.06049, 2021

    T. Murayama, Uniform bounds on symbolic powers in regular rings, arXiv:2111.06049 https://arxiv.org/abs/2111.06049, 2021. To appear in Journal f \"u r die reine und angewandte Mathematik

    2021 arXiv

  8. [16]

    D. V. Osipov, Krichever correspondence for algebraic varieties, Izv. Math., 65 :5 (2001), 941--975

    2001

  9. [17]

    Osipov, n-dimensional local fields and adeles on n-dimensional schemes, Surveys in contemporary mathematics, London Math

    D.V. Osipov, n-dimensional local fields and adeles on n-dimensional schemes, Surveys in contemporary mathematics, London Math. Soc. Lecture Note Ser., 347 (2008), 131--164

    2008

  10. [18]

    Osipov, A.N

    D.V. Osipov, A.N. Parshin, Harmonic analisys and the Riemann--Roch theorem, Dokl. Math., 84 :3 (2011), 826--829

    2011

  11. [19]

    Parshin, On the arithmetic of two-dimensional schemes I

    A.N. Parshin, On the arithmetic of two-dimensional schemes I. Repartitions and residues, Izv. Akad. Nauk SSSR, 40 (1976), 736--773

    1976

  12. [20]

    Parshin, Chern classes, adeles and L-functions, J

    A.N. Parshin, Chern classes, adeles and L-functions, J. Reine Angew. Math., 341 (1983), 174--192

    1983

  13. [21]

    Parshin, Integrable systems and local fields, Comm

    A.N. Parshin, Integrable systems and local fields, Comm. Algebra, Special issue dedicated to Alexei Ivanovich Kostrikin, 29 (2001), 4157--4181

    2001

  14. [22]

    Roos, Derived Functors of Inverse Limits Revisited, Journal of the London Mathematical Society, 73 :1 (2006), 65--83

    J.E. Roos, Derived Functors of Inverse Limits Revisited, Journal of the London Mathematical Society, 73 :1 (2006), 65--83

    2006

  15. [23]

    Serre, Local Algebra, Springer Berlin, Heidelberg, 2000

    J.P. Serre, Local Algebra, Springer Berlin, Heidelberg, 2000

    2000

  16. [24]

    Yekutieli, An Explicit Construction of the Grothendieck Residue Complex, Ast\'erisque, 208 (1992)

    A. Yekutieli, An Explicit Construction of the Grothendieck Residue Complex, Ast\'erisque, 208 (1992)

    1992

  17. [25]

    Yekutieli, Residues and differential operators on schemes, Duke Math

    A. Yekutieli, Residues and differential operators on schemes, Duke Math. J., 95 :2 (1998), 305--341

    1998

  18. [26]

    Yekutieli, Flatness and Completion Revisited, Algebras and Representation Theory, 21 (2018), 717--736

    A. Yekutieli, Flatness and Completion Revisited, Algebras and Representation Theory, 21 (2018), 717--736

    2018

Pith tools

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