Structure of ind-pro completions of Noetherian rings

Dmitry Badulin

REVIEW 2 major objections 5 minor 16 references

Structure of ind-pro completions of Noetherian rings

T0 review · 2 major / 5 minor · reviewed 2026-08-03 · deepseek-v4-flash

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

Pith's one-line read The paper claims that ind-pro completions of essentially finite type algebras over a field have Krull dimension htp0 + ht(pn/p0) − n, and are semilocal exactly when the flag is saturated.

desk verdict A useful generalization of the dimension and semilocality results for ind-pro completions to arbitrary flags, with one genuine unproved normalization step in the main reduction. read the letter →

arxiv 2601.12016 v3 pith:SJYLUHJW submitted 2026-01-17 math.AC math.AG

Dmitry Badulin This is my paper · ORCID

classification math.ACmath.AG MSC 13A1513B3513C15

keywords ind-procompletionflagofprimeidealsKrulldimensionsemilocalringformalfibersexcellenthigherlocalfieldsNoethernormalization

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

For a Noetherian ring R and a flag of prime ideals Δ=(p0,...,pn), the paper studies the ind-pro completion C_Δ R, built by alternately localizing and completing along the flag. Its main claim is that when R is essentially of finite type over a field, the Krull dimension of C_Δ R is exactly htp0 + ht(pn/p0) − n, and that C_Δ R is semilocal precisely when the flag is saturated. If correct, this gives a complete structural description of the local factors that appear in the adelic geometries of schemes, and it lets one compute the dimension of these rings directly from the height data of the flag. The proof reduces to the polynomial ring case by a coordinate normalization, and the key computation is a generic formal fiber dimension formula in the polynomial case.

What carries the argument

The central object is the ind-pro completion C_Δ R = C_{p0} S^{-1}_{p0} ... C_{pn} S^{-1}_{pn} R, iterating localization and completion along the flag. The dimension proof relies on a reduction to the polynomial ring k[x_1,...,x_m] with a coordinate flag (x_1,...,x_{k_i}); the crucial step is a formula (Proposition 2.3) for the dimension of the localization at the zero ideal, which generalizes Matsumura's theorem on formal fibers. A second load-bearing device is a Noether-normalization step that puts a given flag into coordinate form, and a going-up/going-down argument that transfers dimension from the polynomial ring to the original algebra.

What would settle it

Directly compute C_{(0),(x,y)} k[x,y] by Definition 1.3 (localize at (x,y), complete to k[[x,y]], then localize at (0) and complete at (0)). If the resulting ring is the fraction field k((x,y)), its Krull dimension is 0, while the claimed formula gives htp0 + ht(pn/p0) − n = 0 + 2 − 1 = 1, settling the claim either way.

Watch

Extended reading notes

Core claim

The central discovery is a dimension and semilocality theorem for ind-pro completions. For any essentially finite type algebra R over a field, and any flag of prime ideals Δ=(p0,...,pn), the Krull dimension of C_Δ R equals htp0 + ht(pn/p0) − n, and C_Δ R is semilocal if and only if the flag is saturated. The paper also establishes that C_Δ R is always excellent, and that it inherits normality, regularity, Cohen–Macaulayness, reducedness, and local equidimensionality from the base ring under mild assumptions.

Load-bearing premise

The reduction to the polynomial case assumes that any finitely generated k-algebra with a flag of primes admits a single polynomial subring over which the algebra is finite and every prime of the flag contracts to a coordinate ideal; this normalization is stronger than the cited theorem and is not proved.

Editorial extensions

If this is right

For locally equidimensional R, the formula simplifies to dim C_Δ R = ht p_n − n, giving a direct height-only expression.
The semilocality criterion identifies exactly when C_Δ R is a finite product of local fields: the flag must be saturated.
Excellence of C_Δ R holds for every Noetherian R, so the construction preserves excellent behavior even for non-finite-type inputs.
The inheritance properties (regularity, normality, CM, reducedness, local equidimensionality) mean that local factors of adelic groups inherit regularity from the underlying scheme.

Reading between the lines

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

If the dimension formula extends to broader classes of excellent rings, it would tie the generic formal fiber dimension to the flag's height data; the paper's Remark 3.5 shows the formula can fail for general excellent rings, so finite-type hypotheses are essential.
The coordinate-flag normalization, if it can be proved fully, would give a transparent combinatorial model for all ind-pro completions of affine algebras.
A natural testable extension is to non-reduced or analytically ramified bases, where the dimension formula may need correction terms involving embedded primes.

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.

Desk Editor's Note

read the letter

The reader is right about the substance: this is a real generalization. Ye92 handled saturated flags; this paper handles arbitrary flags for essentially finite type algebras over a field and also proves excellence for all Noetherian rings. The dimension formula dim C_∆R = ht p0 + ht(pn/p0) − n and the semilocality iff saturated criterion are the main results, and they look correct. The excellence result (Theorem 1.14) follows from known results about completions of quasi-excellent rings and is a reasonable addition. The paper is honestly written, the proofs are mostly detailed, and the self-citation to [Ba25] is not load-bearing because the flatness proposition used from it is proved here. No fitting or circularity concerns.

Where the soft spot is: the reduction in Theorem 3.3. The proof asserts, citing Bourbaki, that for a finitely generated k-algebra domain R and flag ∆, there exists a polynomial subring A = k[x0,...,xm] with R finite over A and p_i ∩ A = (x1,...,x_{k_i}) for the same flag. Standard Noether normalization only gives finiteness over some polynomial subring; it does not prescribe contractions of a chain of primes. This is a genuine gap, not a cosmetic omission, and the dimension formula and semilocality criterion both rely on the reduction. The lemma is plausible — I expect it can be proved by a relative normalization argument using that k is a field and the heights are finite — but the paper does not supply the proof or a reference that contains it. This is the difference between ACCEPT and CONDITIONAL for a referee.

Minor points: Remark 3.4 and the example there are helpful but the example is a bit dense; Proposition 2.3 is the technical heart and the proof is terse in places (the height computation depends on catenarity and local equidimensionality already established, which is fine). These are minor.

The paper deserves a serious referee. The gap is fixable and the claimed results are likely true; the referee should ask for a proof or citation of the flag-adapted Noether normalization lemma. I would send this to review, and I would not cite it until the gap is closed, but I would definitely want to see the revised version.

Referee Report

2 major / 5 minor

Summary. The paper studies ind-pro completions C_ΔR of a Noetherian ring R along a flag Δ=(p_0,…,p_n) of prime ideals. Section 1 establishes general permanence properties: flatness for inclusions of flags, excellence of C_ΔR, inheritance of normality/regularity/CM/reducedness, and local equidimensionality. Section 2 analyzes in detail the case of a polynomial ring R=k[x_1,…,x_m] with the flag given by coordinate ideals; the main tools are the structural isomorphism C_ΔR ≅ C_{\tilde Δ}(R/p_0)[[x_1,…,x_{k_0}]], a computation of the generic formal fiber dimension, and an induction giving dim C_ΔR = ht p_n − n together with a semilocality criterion. Section 3 claims to reduce the general case of an essentially finite type algebra over a field to the polynomial case by Noether normalization, obtaining the dimension formula dim C_ΔR = ht p_0 + ht(p_n/p_0) − n and the criterion that C_ΔR is semilocal iff Δ is saturated.

Significance. If the main theorems are correct, the paper substantially generalizes the previously known saturated-flag case of Yekutieli and the formal-fiber dimension result of Matsumura, giving a complete dimension formula and a semilocality criterion for ind-pro completions in the geometric setting. The polynomial-ring case is worked out in real detail, including explicit constructions of prime ideals of the desired height and an infinite family of maximal ideals in the non-saturated case. The general permanence results (excellence, local equidimensionality, preservation of regularity/normality) are also valuable and mostly self-contained. However, the key reduction in Section 3 rests on a flag-adapted Noether normalization that is asserted with an inadequate citation and not proved; this is a genuine gap in the derivation of the central claims.

major comments (2)

[Theorem 3.3, proof, first paragraph] The reduction to the polynomial case invokes [Bo72, V, §3.1, Theorem 1] for the existence of a polynomial subring A=k[x_0,…,x_m] such that R is finite over A and p_i∩A=(x_1,…,x_{k_i}) for a prescribed chain of primes p_i. The cited theorem is the standard Noether normalization theorem; it guarantees finiteness over some polynomial subring but does not by itself prescribe the contractions of a finite chain of prime ideals as coordinate ideals. This is a stronger 'flag-adapted' normalization statement, and it is load-bearing: without it the reduction to the coordinate case of Section 2 fails, and hence Theorems 3.3 and 3.7 are not proved. Please provide a complete proof of this lemma (for example, by iterating a relative Noether normalization for each quotient) or a precise reference that contains the flag-adapted version.
[Theorem 3.3, proof, second paragraph] The equality ht p_i = ht r_i is attributed to [Ma87, Theorem 9.4]. That theorem is the going-up theorem; height preservation in a finite extension of domains does not follow from going-up alone. In the present situation A is a polynomial ring and hence normal, so going-down holds for the finite extension A⊂R, and the height equality is valid; but the justification should be stated explicitly. As written, the proof relies on a theorem that does not directly supply the asserted equality.

minor comments (5)

[Definition 1.6] The definition of ht(q/p) has the chain direction reversed: it should read p=p_0 ⊊ p_1 ⊊ … ⊊ p_n = q. The present wording q=p_0 ⊊ … ⊊ p_n=p is inconsistent with the use of ht(p_n/p_0) later.
[Introduction] Typo: 'Jackobson radical' should be 'Jacobson radical'.
[Notation 3.1] Typo: 'filed' should be 'field'.
[Proposition 2.5, proof] The kernel of the third map is denoted 'rr'; this appears to be a typographical artifact. Use a consistent notation such as \mathfrak r_r or P_r.
[Theorem 3.3, proof] The equality Frac(A)⊗_A C_ΓA = C_ΓA is true because r_0=(0), so C_ΓA is already a localization at (0); a one-line justification would improve readability.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity; central results are derivational and independent of self-citations.

full rationale

The paper's central claims—the dimension formula and the semilocality criterion for ind-pro completions of essentially finite type algebras—are derived through an internal chain of structural lemmas rather than fitted to the conclusion. Section 1 proves general facts (flatness, excellence, local equidimensionality, and the reduction dim C_ΔR = ht p0 + dim C_Δ~(R/p0)) from standard commutative algebra. Section 2 computes the polynomial/coordinate-hyperplane case by induction, constructing explicit prime ideals to compute the generic formal fiber; this is a genuine derivation, not a renaming or a fitted prediction. Section 3 reduces the general case to the polynomial case via Noether normalization and going-up/down arguments from [Bo72] and [Ye92]. The sole self-citation is [Ba25] in Proposition 1.13, but the proof of that proposition is included in the paper and uses external results [Hu91], [GS71], [Ma87], so the self-citation is not load-bearing. The main correctness concern is the flag-adapted Noether normalization invoked in Theorem 3.3 ('By [Bo72, Chapter V, §3.1, Theorem 1], there exists a polynomial subring A = k[x0,...,xm] in R such that R is finite over A and r_i = p_i ∩ A = (x_1,...,x_{k_i})...'); if the cited theorem does not supply the simultaneous coordinate contractions, the proof has a gap. However, an unproved or misattributed normalization lemma is a missing argument, not circularity: it does not make the dimension formula or semilocality criterion an input by construction, nor does it reduce the conclusion to a self-citation chain. The manuscript itself flags the limitations of the main theorem in Remark 3.5 and gives a counterexample for non-essentially-finite-type rings, which further indicates the claims are not definitionally forced. Overall, no circular step can be exhibited, so the circularity score is low.

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

The central claims rest on standard commutative algebra results plus one unproved stronger Noether normalization (coordinate contractions), which is the main load-bearing assumption.

assumptions (6)

standard math Noether normalization theorem (Bourbaki V, §3.1, Theorem 1)
Used in Theorem 3.3 to reduce to polynomial ring case.
ad hoc to paper Flag-adapted Noether normalization: existence of polynomial subring A with p_i ∩ A = coordinate ideals
Asserted in Theorem 3.3 without proof; the cited Bourbaki theorem does not cover the coordinate contraction part.
standard math tr.deg_K K[[y]] = ∞
Used in Prop 2.3 and 2.5 to construct algebraically independent power series.
standard math Completions of quasi-excellent rings are excellent ([KS21, Main Theorem 2])
Basis of Theorem 1.14 excellence induction.
standard math Going-up/going-down theorems for finite/flat morphisms ([Ma87, Theorems 9.4, 9.5])
Used in Theorem 3.3 to transfer dimension equalities from polynomial ring to finite extension.
standard math Ratliff's characterization of catenary/universally catenary rings ([Ra71])
Used in Theorem 1.18 local equidimensionality proof.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Structure of ind-pro completions of Noetherian rings." pith.science (2026). https://pith.science/paper/SJYLUHJW

@misc{pith2026260112016,
  author       = {Pith},
  title        = {Pith review of: Structure of ind-pro completions of Noetherian rings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/SJYLUHJW}},
  note         = {Machine review of arXiv:2601.12016}
}

read the original abstract

We prove some results on the structure of ind-pro completions of Noetherian rings along flags of prime ideals. In particular, we compute the Krull dimension and deduce the criterion on semilocality in the case of essentially of finite type algebras over a field. We also show that ind-pro completion inherits properties of the base ring such as normality, regularity, local equidimensionality, etc.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 2 linked inside Pith

[1]

Badulin, Embeddings and intersections of adelic groups , preprint, arXiv:2510.22408 https://arxiv.org/abs/2510.22408, 2025

D. Badulin, Embeddings and intersections of adelic groups , preprint, arXiv:2510.22408 https://arxiv.org/abs/2510.22408, 2025

arXiv 2025
[2]

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
[3]

Bourbaki, Commutative Algebra , Hermann, Paris, 1972

N. Bourbaki, Commutative Algebra , Hermann, Paris, 1972

1972
[4]

S. M. Fleming, L. Ji, S. Loepp, P. M. McDonald, N. Pande, D. Schwein, Completely controlling the dimensions of formal fiber rings at prime ideals of small height, Journal of Commut. Algebra , 11 :3 (2019), 363--388

2019
[5]

Greco, P

S. Greco, P. Salmon, Topics in m -adic Topologies, Springer-Verlag Berlin, 1971

1971
[6]

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
[7]

Kurano, K

K. Kurano, K. Shimomoto, Ideal-adic completion of quasi-excellent rings (after Gabber), Kyoto J. Math., 61 :3 (2021), 707--722

2021
[8]

Matsumura, Commutative algebra, W.A

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

1970

Show all 16 references

[9]

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
[10]

Matsumura, On the Dimension of Formal Fibres of a Local Ring, Algebraic Geometry and Commutative Algebra, In Honor of Masayoshi Nagata, 1 (1988), 261--266

H. Matsumura, On the Dimension of Formal Fibres of a Local Ring, Algebraic Geometry and Commutative Algebra, In Honor of Masayoshi Nagata, 1 (1988), 261--266

1988
[11]

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
[12]

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
[13]

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
[14]

L. J. Ratliff, Jr., Characterizations of catenary rings, American Journal of Mathematics, 93 :4 (1971), 1070--1108

1971
[15]

The Stacks Project Authors, Stacks Project, http://stacks.math.columbia.edu http://stacks.math.columbia.edu
[16]

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

Pith tools

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

[1] [1]

Badulin, Embeddings and intersections of adelic groups , preprint, arXiv:2510.22408 https://arxiv.org/abs/2510.22408, 2025

D. Badulin, Embeddings and intersections of adelic groups , preprint, arXiv:2510.22408 https://arxiv.org/abs/2510.22408, 2025

arXiv 2025

[2] [2]

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

[3] [3]

Bourbaki, Commutative Algebra , Hermann, Paris, 1972

N. Bourbaki, Commutative Algebra , Hermann, Paris, 1972

1972

[4] [4]

S. M. Fleming, L. Ji, S. Loepp, P. M. McDonald, N. Pande, D. Schwein, Completely controlling the dimensions of formal fiber rings at prime ideals of small height, Journal of Commut. Algebra , 11 :3 (2019), 363--388

2019

[5] [5]

Greco, P

S. Greco, P. Salmon, Topics in m -adic Topologies, Springer-Verlag Berlin, 1971

1971

[6] [6]

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

[7] [7]

Kurano, K

K. Kurano, K. Shimomoto, Ideal-adic completion of quasi-excellent rings (after Gabber), Kyoto J. Math., 61 :3 (2021), 707--722

2021

[8] [8]

Matsumura, Commutative algebra, W.A

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

1970