---
title: Normalized Formal Blow-Up in Adic Geometry
url: https://www.emergentmind.com/topics/normalized-formal-blow-up
type: topic
---

# Normalized Formal Blow-Up in Adic Geometry

Searching arXiv for recent papers on normalized formal blow-ups and related blow-up/normalization contexts.
Normalized formal blow-up is a formal-geometric modification in which an admissible formal blow-up is followed by normalization in the generic fiber. In the setting of uniform qcqs adic spaces over a Tate affinoid base, this construction is introduced as the replacement for classical admissible formal blow-ups when finite-type hypotheses are absent [2507.11073]. The central idea is that an ordinary formal blow-up may fail to preserve integral closure in the generic fiber, whereas the normalized variant restores that property and thereby becomes suitable for a Raynaud-style theory of formal models beyond the Noetherian finite-type regime [2507.11073]. The expression also sits near two adjacent but distinct usages of blow-up in the literature: blow-up of conductor ideals as a mechanism for recovering normalization in algebraic geometry [1608.04525], and formal geometric blow-up as a desingularizing coordinate method for dynamic bifurcations in PDEs [2302.06343]. These uses share the language of blow-up and normalization but address different categories, objects, and universal properties.

## 1. Formal definition in the adic setting

The modern formal-model notion is formulated over a complete adic ring \(R\) whose ideal of definition is principal, generated by a non-zero-divisor \(\varpi\in R\). Writing \(\overline R\) for the integral closure of \(R\) in \(R[\varpi^{-1}]\), one sets
\[
S \;=\;\bigl(R[\varpi^{-1}],\,\overline R\bigr).
\]
One then considers adic spaces \(X\to S\) which are quasi-compact, quasi-separated, and uniform; a formal \(R\)-model of \(X\) is an adic formal \(R\)-scheme \(\fX\) whose adic analytic generic fiber \(\fX_\eta\) recovers \(X\) [2507.11073].

Within this framework, if \(\fX\) is a locally rig-sheafy, \(\varpi\)-torsion-free, qcqs adic formal \(R\)-scheme whose generic fiber \(X=\fX_\eta\) is uniform, a morphism
\[
\fZ'\xrightarrow{\;f_0\;}\fX
\]
is called a normalized formal blow-up if it factors as
\[
\fZ'\;\longto\;\fX'=\Bl_\cJ(\fX)\;\longto\;\fX,
\]
where \(\Bl_\cJ(\fX)\to\fX\) is a \(\varpi\)-torsion-free admissible formal blow-up and the first arrow is the normalization of \(\Bl_\cJ(\fX)\) in its generic fiber [2507.11073]. Equivalently, there exist
\[
\text{(i)}\;\;\Bl_\cJ(\fX)\xrightarrow{\;\rho\;}\fX
\quad\text{and}\quad
\text{(ii)}\;\;\fZ'\xrightarrow{\;\nu\;}\Bl_\cJ(\fX),
\]
with \(\nu\) the normalization in the generic fiber [2507.11073].

This definition is designed to take over the role played by admissible formal blow-ups in the classical Raynaud theory, but now in a context where integral closure in the generic fiber must be enforced explicitly rather than assumed automatically [2507.11073].

## 2. Admissible blow-up and normalization as component operations

The first ingredient is the classical admissible formal blow-up. If \(\fX\) is an adic formal \(R\)-scheme of finite ideal type and \(\cJ\subset\cO_\fX\) is an admissible ideal, meaning locally containing an ideal of definition and of finite type, one forms
\[
\Bl_\cJ(\fX)\;\longto\;\fX
\]
by completing, on each affine chart \(\Spec A\subset\fX\), the usual algebraic blow-up \(\Proj\oplus_{n\ge0}J^n\subset\Spec A\) [2507.11073].

The second ingredient is normalization inside the generic fiber. For a locally rig-sheafy, \(\varpi\)-torsion-free, qcqs adic formal \(R\)-scheme \(\fS\) with generic fiber \(S=\fS_\eta\), pushing forward the sheaf of integral functions on \(S\) yields an adically quasi-coherent \(\cO_\fS\)-algebra
\[
\cA\;=\;{}_{S,\fS*}\,\cO^+_S,
\quad\text{and then}\quad
\fX\;=\;\Spf(\cA)\;\longto\;\fS.
\]
The resulting \(\fX\) is again \(\varpi\)-torsion-free and integrally closed in its generic fiber; this morphism is called the normalization of \(\fS\) in \(S\) [2507.11073].

The normalized formal blow-up is therefore a two-step procedure: first perform the admissible modification prescribed by an ideal, then replace the resulting formal model by its integral closure in the generic fiber. The paper stresses that the normalization step is essential in general when \(A\) is non-Noetherian or when \(X\) is not of finite type but merely uniform [2507.11073]. This suggests that “normalized” is not a cosmetic modifier but the condition ensuring compatibility between formal models and the integral structure carried by the generic fiber.

## 3. Universal property and coordinate construction

A central structural fact is the universal property of normalization. If
\[
g_0\colon\fZ\longto\fS
\quad\text{and}\quad
f_0\colon\fX\longto\fS
\]
are affine morphisms of \(\varpi\)-torsion-free formal \(R\)-schemes, both integrally closed in their common generic fiber \(X\), with \(g_{0,\eta}=f_{0,\eta}=\id_X\), then there is a unique isomorphism \(\fZ\cong\fX\) over \(\fS\) [2507.11073]. In particular, the factorization of a normalized formal blow-up is characterized universally among formal modifications dominating the same admissible blow-up [2507.11073].

On an affine chart \(\fX=\Spf(A)\), if \(J=(f_1,\dots,f_r)\subset A\) is an open ideal of definition, the admissible blow-up is covered by affines
\[
\Spf\Bigl(A\bigl\langle\tfrac{f_1,\dots,f_r}{f_i}\bigr\rangle\Bigr)
\qquad(i=1,\dots,r),
\]
where
\[
A\bigl\langle\tfrac{f_1,\dots,f_r}{f_i}\bigr\rangle
=
\widehat{A\bigl[\tfrac{J}{f_i}\bigr]}
=
\varprojlim_n
A\bigl[\tfrac{J}{f_i}\bigr]\big/\!(\varpi^n).
\]
The normalization step then replaces each completed blow-up algebra by its integral closure in its generic fiber [2507.11073]. A global description is also available as the relative \(\Spf\) of the pushed-forward integral ring of power-bounded functions on the generic fiber [2507.11073].

Two consequences follow directly from the source material. First, the normalized blow-up is determined simultaneously by a birational modification on the formal side and by an integrality condition on the analytic generic fiber. Second, because the final object is integrally closed in its generic fiber, it occupies the correct place in the category of formal models used to recover uniform qcqs adic spaces [2507.11073].

## 4. Relation to classical admissible formal blow-ups

The relation to classical admissible blow-ups is explicit. If the original ideal \(J\) is already normal, meaning \(J^n\cap A=J^n\) for all \(n\), then the normalization step does nothing, and a normalized blow-up agrees with the classical admissible blow-up [2507.11073]. In that case the older and newer notions coincide.

In general, however, the extra normalization is what ensures that all formal models produced remain integrally closed in their generic fibers [2507.11073]. This distinction is decisive outside the classical Noetherian finite-type regime. The finite-type case behaves more rigidly: the paper states that when \(\fX\) is topologically of finite type, any normalized formal blow-up is dominated by a single admissible blow-up [2507.11073]. It also notes that, in the finite-type case, the resulting equivalence recovers the classical Raynaud–Bosch–Lütkebohmert equivalence once one observes that normalization is automatic in the Noetherian setting [2507.11073].

A compact comparison is useful.

| Notion | Defining step | When it suffices |
|---|---|---|
| Admissible formal blow-up | Complete the algebraic blow-up along an admissible ideal | Classical finite ideal type setting [2507.11073] |
| Normalized formal blow-up | Admissible formal blow-up followed by normalization in the generic fiber | Uniform qcqs, non-finite-type, integrally closed formal-model setting [2507.11073] |

The broader significance is methodological. The normalized variant is not merely a refinement of the admissible blow-up; it is the morphism class by which the category of integrally closed formal models must be localized in order to match the category of uniform qcqs adic spaces [2507.11073].

## 5. Structural properties and role in Raynaud-style theory

Several stability properties are recorded. If
\[
\fX''\to\fX'\to\fX
\]
are normalized formal blow-ups, then the composite is again a normalized formal blow-up [2507.11073]. Formation of admissible blow-ups and of the subsequent normalization commutes with base change of divided power-free formal schemes [2507.11073]. On each closed fiber \(\fX_s\), the normalized blow-up is proper and generically an isomorphism, hence finite over a dense open [2507.11073].

These properties are tied to the categorical role of the construction. The paper states an analog of Raynaud theory: the category of qcqs, stably uniform, integrally closed formal \(R\)-schemes, localized by normalized blow-ups, is equivalent to the category of uniform qcqs adic spaces over \(S\) [2507.11073]. Normalized blow-ups therefore supply the “birational” moves needed for descent, comparison of special and generic fibers, and the study of coherent sheaves on non-Noetherian adic spaces, including perfectoid spaces [2507.11073].

This placement in the formal-model equivalence clarifies why normalized formal blow-ups are introduced at all. Classical admissible blow-ups suffice in the conventional Noetherian finite-type environment, but once one passes to uniform qcqs adic spaces without finite-type assumptions, admissible blow-ups alone no longer generate the correct localization unless integral closure in the generic fiber is restored [2507.11073].

## 6. Examples and adjacent notions of normalization by blow-up

Three examples in the formal-model setting illustrate the construction. For the open unit disc
\[
\fX=\Spf\bigl(R[[T]]\bigr),
\]
blowing up \((\varpi,T)\) gives charts
\[
R\langle T/\varpi\rangle,
\qquad
R[[T]]\langle \varpi/T\rangle,
\]
and normalizing restores the usual two-chart description of the unit disc after removing the origin [2507.11073]. Over a perfectoid base, starting from
\[
\fX=\Spf\bigl(R[[T^{1/p^\infty}]]\bigr),
\]
a similar blow-up in \((\varpi,T)\) yields the perfectoid open disc, and the normalization step reflects passage to the integral perfectoid algebra \(R\langle T^{1/p^\infty}\rangle^\circ\) [2507.11073]. For the Fargues–Fontaine curve, one forms the formal model \(\Spf\,\A_{\inf}(R^{\!+})\) and then inverts the divisor \((p,[\pi^\flat])\) by blow-up followed by normalization; this recovers the subspace \(Y_R\subset\Spf(\A_{\inf})_\eta\) whose quotient by Frobenius is the Fargues–Fontaine curve [2507.11073].

A related but algebraically different phenomenon appears in the study of conductor ideals. For a reduced Nagata scheme \(X\) with finite normalization \(\nu\colon\widetilde X\to X\), the blow-up of the conductor \(C_{\widetilde X/X}\) recovers the normalization precisely when the pulled-back conductor \(\nu^!\O_X=C_{\widetilde X/X}\cdot\O_{\widetilde X}\) is an invertible fractional ideal on \(\widetilde X\) [1608.04525]. In dimension one, \(\Bl_{C_{\widetilde X/X}}X=\widetilde X\) always, recovering Wilson’s statement for curves [1608.04525]. In the reduced Gorenstein Nagata case with Cohen–Macaulay normalization, one has
\[
\Bl_{C_{\widetilde X/X}}X=\widetilde X
\quad\Longleftrightarrow\quad
\widetilde X\text{ is Gorenstein}
\]
[1608.04525].

The formal-model normalized blow-up and the conductor blow-up theorem both intertwine blow-up with normalization, but they do so in distinct categories. The former normalizes a formal blow-up in its generic fiber; the latter characterizes when a blow-up of a specific ideal already equals the normalization of a scheme [2507.11073; 1608.04525]. A plausible implication is that both bodies of work fit a broader pattern in which blow-ups of carefully chosen ideals become effective only after one imposes an invertibility or integral-closure condition on the transformed object.

## 7. Terminological boundaries and common confusions

The phrase “formal blow-up” also occurs in a separate analytic-dynamical literature where it denotes a geometric desingularization method for bifurcation problems in PDEs rather than a formal-model construction. In the Swift–Hohenberg equation with slow parameter drift,
\[
\partial_tu=-(1+\partial_x^2)^2u+\mu u-u^3,
\qquad
\dot\mu=\epsilon,
\qquad
0<\epsilon\ll1,
\]
the blow-up introduces
\[
u(x,t)=r\,\psi(X,T),\qquad
\mu=r^2\bar\mu,\quad \epsilon=r^2\bar\epsilon,\qquad
X=rx,\quad T=r^2t,
\]
together with the normalization condition \(\bar\mu^2+\bar\epsilon^2=1\) [2302.06343]. The origin \(\mu=\epsilon=0\) is replaced by a blow-up cylinder \(r=0\), \((\bar\mu,\bar\epsilon)\in S^1\), and overlapping charts yield modulation equations of real Ginzburg–Landau type [2302.06343].

Despite the shared vocabulary of blow-up and normalization, this PDE usage is conceptually different from normalized formal blow-up in adic geometry. Here “normalization” is a gauge condition removing homogeneity scaling in \((\mu,\epsilon)\), not normalization in the sense of integral closure [2302.06343]. Confusing these notions would conflate a coordinate desingularization in infinite-dimensional dynamics with a birational-integral modification of formal schemes.

For that reason, precise usage is important. In contemporary arithmetic and adic geometry, “normalized formal blow-up” refers to the morphism obtained by taking an admissible formal blow-up and then normalizing it in the generic fiber, with universal and categorical properties tailored to the theory of formal models of uniform qcqs adic spaces [2507.11073]. In adjacent literatures, similar words may encode fundamentally different constructions.

Source: https://www.emergentmind.com/topics/normalized-formal-blow-up