Ind-Pro Completions in Noetherian Rings

• Ind-pro completions of Noetherian rings are constructed via alternating localization and p-adic completion along prime flags, yielding rings that capture refined local and formal properties.
• The constructions satisfy a universal property, ensuring every R-algebra that is local and complete at each prime factors uniquely through the ind-pro completion.
• These techniques enable explicit dimension calculations and preserve key features like excellence, regularity, and semilocality, with applications in higher-dimensional adelic theory and singularity analysis.

Ind-pro completions of Noetherian rings are constructed by alternately applying localization (ind-completion) and completion (pro-completion) procedures along a chosen flag of prime ideals in a Noetherian ring $R$. These constructions generalize the familiar notions of localization at a prime and completion with respect to an ideal, yielding new rings that encode fine-grained information about the local and formal structure at chains of primes. This approach, central to the perspective pioneered in higher-dimensional adelic theory and in the study of singularities and formal geometry, systematically relates the base ring and its various local and formal fibers, allowing precise control over ring-theoretic invariants and facilitating deep structural analysis (Badulin, 17 Jan 2026).

1. Foundational Constructions

Let $R$ be a Noetherian ring and $\Delta = (\p_0 \subsetneq \p_1 \subsetneq \cdots \subsetneq \p_r)$ a flag—a strictly increasing chain of prime ideals. The construction proceeds by alternating localization and completion:

• Localization (Ind-completion): For a prime $\p \subset R$, $M_\p = S_\p^{-1}M = \varinjlim_{f \notin \p} M_f$ for any $R$-module $M$, with $S_\p = R \setminus \p$ the multiplicative system.
• $\p$-adic Completion (Pro-completion): $C_\p M = \varprojlim_{l \geq 0} M/\p^l M$. The completed localization is $M_\p^\wedge = C_\p(M_\p) = \varprojlim_l (M_\p / \p^l M_\p)$.

The ind-pro completion of $R$ along $\Delta$ is defined as

$C_\Delta R = C_{\p_0}S^{-1}_{\p_0}C_{\p_1}S^{-1}_{\p_1}\cdots C_{\p_r}S^{-1}_{\p_r}R,$

alternating filtered colimit (localization) and cofiltered limit (completion). Equivalently, it can be expressed as

$C_\Delta R = \varprojlim_{l_0} \varinjlim_{f_0 \notin \p_0} \cdots \varprojlim_{l_r} \varinjlim_{f_r \notin \p_r} R/(\p_r^{l_r},\dots,\p_0^{l_0}).$

Universal property: $C_\Delta R$ is initial among $R$-algebras $T$ that are local at each $\p_i$ and $\p_i$-adically complete at each step, so any map factoring these requirements factors uniquely through $C_\Delta R$ [(Badulin, 17 Jan 2026), §1].

2. Krull Dimension of Ind-Pro Completions

A central result is the explicit calculation of the Krull dimension of $C_\Delta R$. Let $R$ be Noetherian, $\Delta = (\p_0 \subset \dots \subset \p_n)$, and

$\widetilde{\Delta} = (\p_0/\p_0 \subset \p_1/\p_0 \subset \cdots \subset \p_n/\p_0)$

the corresponding flag in $R/\p_0$.

Dimension recursion:

$\dim C_\Delta R = \mathrm{ht}(\p_0) + \dim C_{\widetilde{\Delta}}(R/\p_0)$

Dimension formula for essentially finite type $R$ over a field:

$\boxed{ \dim C_\Delta R = \mathrm{ht}(\p_0) + \mathrm{ht}(\p_n/\p_0) - n }$

If $R$ is catenary and locally equidimensional ($\mathrm{ht}(\p_n/\p_0) = \mathrm{ht}(\p_n) - \mathrm{ht}(\p_0)$), then

$\dim C_\Delta R = \mathrm{ht}(\p_n) - n$

The proofs use induction on $n$, explicit calculation in polynomial rings via coordinate-hyperplane primes, and reduction to these models via Noether normalization and the going-up/going-down theorems. This provides a direct generalization of familiar dimension-theoretic results to the ind-pro context [(Badulin, 17 Jan 2026), Thm. 3.1].

3. Semilocality and Jacobson Radical Criteria

A Noetherian ring is semilocal if it has finitely many maximal ideals. The semilocality of ind-pro completions is governed by the flag's structure:

Criterion: For $R$ of essentially finite type over a field and $\Delta$ a flag,

$C_\Delta R \;\text{ is semilocal} \iff \Delta \text{ is saturated, i.e., } \mathrm{ht}(\p_i / \p_{i-1}) = 1\ \forall\,i.$

For such saturated flags, the Jacobson radical of $C_\Delta R$ is precisely $\p_0 C_\Delta R$.

Proofs leverage the result of Yekutieli, the explicit structure of completions/localizations, and classical dimension theory including constructions by Matsumura. In unsaturated cases, the generic formal fiber may have infinitely many maximal ideals, violating semilocality [(Badulin, 17 Jan 2026), Prop. 2.9, Thm. 3.3].

4. Preservation of Ring-Theoretic Properties

Ind-pro completion preserves key properties of the base ring, as established via induction on the flag length and stability properties under localization and completion:

• If $R$ is excellent, then $C_\Delta R$ is excellent [(Badulin, 17 Jan 2026), Thm. 1.6].
• If $R$ is normal, regular, Cohen–Macaulay, or reduced, so is $C_\Delta R$ [(Badulin, 17 Jan 2026), Prop. 1.8].
• If $R$ is a regular (resp. normal) domain and all $R/\p_i$ are regular (resp. normal), then $C_\Delta R$ is regular (resp. normal) [(Badulin, 17 Jan 2026), Thm. 1.9].
• If $R$ is universally catenary and locally equidimensional, so is $C_\Delta R$ [(Badulin, 17 Jan 2026), Thm. 1.10].

These properties derive from flatness of the constituent functors, stability of excellence and equidimensionality, and Ratliff’s equivalence between formal and universal catenarity.

5. Explicit Examples and Contexts of Application

Explicit computation and interpretation of $C_\Delta R$ are obtainable in important models:

• Flags in polynomial rings: For a flag of coordinate-hyperplane primes in $\Bbbk[x_1,\dots,x_m]$,

$$C_\Delta \Bbbk[x] \cong \Bbbk(x_{k_n+1},\dots,x_m)[[x_1,\dots,x_{k_0}]][[\cdots]]$$

A direct calculation confirms the dimension and semilocality criteria stated above.

• Adelic local factors: $C_\Delta R$ coincides with the completions of Beilinson–Parshin higher local fields and adelic rings along prime-ideal flags. These are critical in arithmetic geometry, as all key invariants (dimension, excellence, number of maximal ideals) of the adelic factors are precisely governed by the properties of the flag.
• Pathological cases: In non–finite-type contexts, the dimension formula can fail. For a general complete local ring of dimension $n$, its generic formal fiber may have arbitrary dimension $d < n$, demonstrating the delicacy of the finite-type assumption; such behavior is documented by Flemming, Ji, Loepp, McDonald, Pande, and Schwein.

6. Universal and Categorical Aspects

The construction $C_\Delta R$ satisfies a universal initial property: among $R$-algebras that are in succession local at each $\p_i$ and $\p_i$-adically complete as modules over the previous stage, $C_\Delta R$ is initial. Any map from $R$ to such an algebra, which inverts exactly the non-$\p_i$ elements and achieves the stated completions, factors uniquely through $C_\Delta R$. This framework gives ind-pro completions a robust place in categorical and geometric contexts, such as in the study of formal neighborhoods, higher-dimensional localizations, and the theory of formal models in arithmetic geometry [(Badulin, 17 Jan 2026), §1].

7. Significance and Further Outlook

Badulin’s framework for ind-pro completions along flags of primes clarifies how local and formal techniques interweave in modern algebraic geometry. The explicit calculations of invariants and inheritance of ring-theoretic properties enable systematic study of both classical and higher local phenomena, notably in the context of adelic geometry and the theory of singularities. The universal property positions these constructions as canonical tools in categorical approaches to algebraic geometry and arithmetic. The role of saturation and finite type is highlighted both by the positive results and by the existence of pathologies outside those hypotheses (Badulin, 17 Jan 2026).