---
title: Deformation to the Normal Cone in Algebraic Geometry
url: https://www.emergentmind.com/topics/deformation-to-the-normal-cone
type: topic
---

# Deformation to the Normal Cone in Algebraic Geometry

Deformation to the normal cone is a degeneration construction that interpolates between a space or morphism and its first-order transverse model. In the classical scheme-theoretic setting, it associates to a closed immersion a flat family over \(\mathbb A^1\) or \(\mathbb P^1\) whose generic fiber is the original ambient geometry and whose special fiber is the normal cone. In derived algebraic geometry, the construction extends from closed immersions to arbitrary morphisms of derived stacks and degenerates a morphism \(f:X\to Y\) to the zero section of the derived normal bundle \(\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])\), with the entire family realized as a derived Weil restriction along the zero section of the affine line [2511.19412].

## 1. Classical scheme-theoretic construction

For a closed immersion \(X\hookrightarrow Y\) with ideal sheaf \(I\subset \mathcal O_Y\), the normal cone is
\[
C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),
\]
and the normal sheaf is
\[
N_XY=\mathbb V_X(I/I^2).
\]
The deformation space may be written over \(\mathbb P^1\) as
\[
M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),
\]
and on the affine chart \(\mathbb A^1=\operatorname{Spec}(k[t])\) as
\[
M^\circ_XY|_{\mathbb A^1}\simeq \operatorname{Spec}(R(A,I)),\qquad
R(A,I):=\bigoplus_{k\in \mathbb Z} I^k t^{-k}\subseteq A[t,t^{-1}].
\]
Over \(\mathbb A^1\setminus\{0\}\) one recovers the original geometry, while over the special parameter one obtains the normal cone [1909.07478].

When the immersion is regular, the normal cone is the normal bundle,
\[
C_XY\simeq N_XY.
\]
This classical family is a basic device in intersection theory: it underlies the construction of the intersection product in Fulton’s framework, and it is tied to conservation-of-number arguments and Hilbert-polynomial or Samuel-multiplicity methods [2206.07954]. The same Rees-algebra pattern reappears in derived and arithmetic refinements, although the special fiber is then often a derived or compactified replacement for the classical cone.

## 2. Derived deformation for arbitrary morphisms

A central modern extension replaces the classical input of a closed immersion by an arbitrary morphism of derived stacks
\[
f:X\to Y.
\]
The derived deformation space, denoted \(\Dl_{X/Y}\), is defined so that it fits into a canonical \(\mathbb G_m\)-equivariant diagram whose generic fiber is \(f\times \id:X\times \mathbb G_m\to Y\times \mathbb G_m\) and whose special fiber over \(0\in \mathbb A^1\) is the zero section
\[
0:X\to \Nl_{X/Y}.
\]
Equivalently,
\[
\Nl_{X/Y}:=\Dl_{X/Y}\times_{\mathbb A^1}\{0\},
\]
and \(Df\) restricts on that fiber to the zero section. The paper terms \(\Dl_{X/Y}\) the deformation to the derived normal bundle, or normal deformation [2511.19412].

The construction is first formulated via moduli of virtual Cartier divisors. For a morphism \(f:X\to Y\), a virtual Cartier divisor on \(S\) over \(f\) is a virtual Cartier divisor \(D\hookrightarrow S\) equipped with a commutative square
\[
\begin{tikzcd}
D \ar{r}{i_D}\ar{d} & S \ar{d}\\
X \ar{r}{f} & Y.
\end{tikzcd}
\]
The resulting derived stack \(\cD_{X/Y}\to Y\) carries a universal virtual Cartier divisor \(\cN_{X/Y}\hookrightarrow \cD_{X/Y}\), and pulling back along \(\{0\}\to \BGm\) yields the actual \(\mathbb A^1\)-family
\[
\begin{tikzcd}
\Nl_{X/Y} \ar{r}{i_N}\ar{d} & \Dl_{X/Y} \ar{d}\\
Y \ar{r}{0} & Y\times \mathbb A^1.
\end{tikzcd}
\]
This formulation makes the deformation a property of the morphism \(f\), not merely of an embedding.

## 3. The normal bundle as cotangent-complex geometry

In the derived setting, the transverse object is controlled intrinsically by the relative cotangent complex. If \(f:X\to Y\) admits a cotangent complex, the conormal complex is defined by
\[
\sNv_{X/Y}:=\sL_{X/Y}[-1].
\]
The special fiber of the deformation is then identified \(\mathbb G_m\)-equivariantly over \(X\) by
\[
\Nl_{X/Y}\simeq \V_X(\sNv_{X/Y})=\V_X(\sL_{X/Y}[-1]).
\]
Using duality, this is the derived vector bundle attached to the \(1\)-shifted relative tangent bundle \(\mathbb T_{X/Y}[1]\) [2511.19412].

A key mapping-theoretic formula is
\[
\Maps_Y(S,\Nl_{X/Y}) \simeq \Maps_Y(S[\sO_S[1]],X),
\]
where \(S[\sO_S[1]]\) is the trivial square-zero extension. Combined with the universal property of \(\sL_{X/Y}\),
\[
\Maps_{\QCoh(U)}(u^*\sL_{X/Y},\sF) \simeq \operatorname{Der}_U(X/Y;\sF),
\]
this identifies the normal bundle with the vector bundle stack associated to \(\sL_{X/Y}[-1]\). The normal direction is therefore intrinsic and does not depend on choosing an embedding.

A related prestack-level formulation appears in shifted symplectic geometry. There the deformation to the normal cone of a morphism \(f:L\to X\) is defined by the relative mapping prestack
\[
D_{L/X}=\operatorname{Map}_{X\times \mathcal O}(X\times B\mathbb G_m,\;L\times \mathcal O),\qquad
\mathcal O=[\mathbb A^1/\mathbb G_m],
\]
and its special fiber is
\[
(D_{L/X})_0\simeq \operatorname{Map}_X(X\times \mathbb A^1[-1],L)\simeq T[1](L/X).
\]
If \(L\to X\) is \(n\)-shifted Lagrangian, this special fiber identifies with \(T^*[n]L\), and the special-fiber morphism becomes the zero section \(L\to T^*[n]L\) [2407.08622].

## 4. Derived Weil restriction and algebraicity

The main mechanism behind the derived construction is derived Weil restriction. For any morphism \(h:S\to T\), base change
\[
h^*:\dStk_{/T}\to \dStk_{/S}
\]
admits a right adjoint
\[
h_*:\dStk_{/S}\to \dStk_{/T},
\]
characterized by
\[
\Maps_T(U,h_*(X))\simeq \Maps_S(U\times_T S,X).
\]
For the zero section
\[
0:Y\to Y\times \mathbb A^1,
\]
the normal deformation is exactly the derived Weil restriction
\[
\Dl_{X/Y}\simeq 0_*(X\xrightarrow{f}Y).
\]
Equivalently, the quotient-stack form satisfies
\[
\cD_{X/Y} \simeq \quo{0}_*(X\times\BGm \xrightarrow{f\times\id} Y\times\BGm).
\]
There is also a mapping-stack description
\[
\Dl_{X/Y} \simeq \uMaps_{Y\times\A^1}(Y, X\times \A^1).
\]
This reframes deformation to the normal bundle as a right adjoint to the zero-fibre functor [2511.19412].

A technical heart of the theory is the algebraicity of these Weil restrictions for finite but possibly non-flat morphisms. If \(h:S\to T\) is afp finite of Tor-amplitude \(\le d\), and \(f:X_1\to X_2\) is an \(n\)-representable locally hfp morphism over \(S\), then
\[
h_*(f):h_*(X_1)\to h_*(X_2)
\]
is \((n+d)\)-representable. For a virtual Cartier divisor \(h:S\to T\), if \(f\) is locally of finite type and \(n\)-representable over \(S\), then \(h_*(f)\) is \((n+1)\)-representable. Since the zero section is a virtual Cartier divisor, it follows that if \(f:X\to Y\) is locally of finite type and \(n\)-representable, then \(\Dl_{X/Y}\to Y\times \A^1\) is \((n+1)\)-representable.

The same framework gives cotangent-complex formulas for Weil restriction. For a sharp morphism \(h:S\to T\),
\[
\sL_{h_*(X_1)/h_*(X_2)} = h'_\sharp \varepsilon^*(\sL_{X_1/X_2}),
\]
and for proper representable \(h\) of finite Tor-amplitude,
\[
\sL_{h_*(X_1)/h_*(X_2)} \simeq h'_* \big(\varepsilon^*(\sL_{X_1/X_2}) \otimes p^*\omega_{S/T}\big).
\]
Applied to the normal deformation, if \(\sL_{X/Y}\) is perfect then
\[
\sL_{\cD_{X/Y}/Y\times\AGm} \to i_{\cN,*}(\sL_{\cN_{X/Y}/X\times\BGm})
\]
and
\[
\sL_{\cD_{X/Y}/Y} \to i_{\cN,*}(\sL_{\cN_{X/Y}/X})
\]
are invertible, expressing that the cotangent theory of the total deformation is supported on the special fiber.

## 5. Classical comparison, Rees algebras, and blow-ups

For closed immersions, the derived deformation is closely related to the classical blow-up model. If \(f:X\hookrightarrow Y\) is a closed immersion, then
\[
\Dl_{X/Y} \simeq \Bl_{X\times\{0\}/Y\times\A^1}\setminus \Bl_{X\times\{0\}/Y\times\{0\}.
\]
When \(f\) is regular in the classical sense, this recovers Verdier’s classical deformation to the normal cone. In the underived regular case, the derived deformation therefore reproduces the usual blow-up or Rees-algebra construction [2511.19412].

For a non-regular underived closed immersion, the comparison is subtler. The total derived deformation does not truncate directly to the classical deformation to the normal cone. Instead, the classical deformation to the intrinsic normal cone
\[
\sfD_{X_\cl/Y_\cl}
\]
embeds as a closed substack
\[
\sfD_{X_\cl/Y_\cl}\hookrightarrow (\Dl_{X/Y})_\cl,
\]
and it is the schematic closure of \(Y_\cl\times \Gm\) inside \((\Dl_{X/Y})_\cl\). Likewise,
\[
\msf{C}_{X_\cl/Y_\cl}\hookrightarrow (\Nl_{X/Y})_\cl
\]
is a closed immersion. The derived construction therefore produces deformation to the derived normal bundle first, while the classical intrinsic normal cone is recovered after truncation and schematic closure.

The Rees-algebra interpretation persists in derived form. For a closed immersion, the morphism
\[
u:\Dl_{X/Y}\to Y\times \A^1
\]
is affine, and one defines the extended Rees algebra by
\[
\Rext_{X/Y}:=u_*\sO_{\Dl_{X/Y}}.
\]
Its generic and special-fiber behavior is
\[
\Rext_{X/Y} \otimes_{\sO_Y[t^{-1}]} \sO_Y[t,t^{-1}] \simeq \sO_Y[t,t^{-1}],
\]
and
\[
\Rext_{X/Y} \otimes_{\sO_Y[t^{-1}]} \sO_Y[t^{-1}]/(t^{-1}) \simeq f_*\Sym^*_{\sO_X}(\sNv_{X/Y}).
\]
This is the derived replacement for the classical statement that the Rees algebra restricts away from the origin to the original space and at the origin to the associated graded algebra.

Derived blow-ups are built from the same formalism. For a closed immersion \(i:X\hookrightarrow Y\), the blow-up \(\Bl_{X/Y}\) is defined as the derived stack classifying excessive virtual Cartier divisors over \(i\). Its exceptional divisor is
\[
\El_{X/Y}\simeq \P_X(N_{X/Y}) := [(N_{X/Y}\setminus X)/\Gm],
\]
and one has
\[
\Bl_{X/Y}\simeq \uProj_Y(\R_{X/Y}),
\]
where \(\R_{X/Y}=(\Rext_{X/Y})_{\ge 0}\). This generalizes earlier quasi-smooth derived blow-up theories to arbitrary closed centers.

## 6. Generalizations and applications across adjacent fields

The deformation-to-the-normal-cone formalism extends beyond schemes and derived stacks. For a locally finite type morphism of higher Artin stacks \(X\to Y\), one has an intrinsic normal cone \(C_{X/Y}\) and a deformation space
\[
M^\circ_{X/Y}\to \mathbb P^1
\]
whose generic fiber is \(Y\) and whose special fiber is \(C_{X/Y}\). In the relatively Deligne–Mumford case, this recovers the intrinsic normal cone of Behrend–Fantechi [1909.07478]. This places the construction directly inside virtual intersection theory and obstruction-theoretic geometry.

In moduli theory, deformation to the normal cone can commute with formation of moduli spaces. For a closed immersion \(i:Y\hookrightarrow X\) of smooth complex projective varieties, the operations of taking Simpson moduli of stable sheaves and taking deformation to the normal cone commute in the sense that there is an injective morphism
\[
\psi: D_{\mathcal M_Y/\mathcal M_X} \to \mathcal M_{D_{Y/X}/\mathbb C},
\]
extending the isomorphism over \(\mathbb C^*\). For curves inside symplectic surfaces, \(D_{\mathcal M_Y/\mathcal M_X}\) is an open dense subset of the relative moduli space, and generalized Kummer varieties degenerate to natural symplectic subvarieties of the Hitchin system [2511.17700].

There are also analytic and differential-geometric variants. For a manifold \(M\) with embedded submanifold \(V\),
\[
\operatorname{DNC}(M,V)= M\times \mathbb R^* \sqcup N_V^M\times \{0\},
\]
with zoom action
\[
(x,X,0)\mapsto (x,sX,0),\qquad (x,t\neq 0)\mapsto (x,s^{-1}t).
\]
On this smooth DNC, homogeneous distributions on the complement of \(V\times \mathbb R\) admit homogeneous extensions, and the ambiguity is described by homogeneous distributions supported on \(V\times \mathbb R\) [2505.22885]. A related construction builds rescaled bundles over \(\mathrm{DNC}(V,M)\), generalizing Higson–Yi’s rescaled spinor bundle on the tangent groupoid and supporting applications to the Kirillov character formula and to equivariant Witten and Novikov deformations [2210.14359].

Arithmetic and metric degenerations give further variants. In Arakelov geometry, one uses a deformation to the projective completion of the cone \(D_YX\to \mathbb P^1_A\), together with a deformed seminormed line bundle \(\overline{L'}\), and proves conservation of arithmetic Hilbert invariants along the deformation [2206.07954]. The same projective-completion framework is used in a proof of the arithmetic Hilbert-Samuel theorem by deformation [2207.05165]. In Kähler geometry, the degeneration to the normal cone of a divisor \(D\subset X\) appears as a test configuration whose central fiber is the projective cone \(\overline L\), and conic Kähler–Einstein metrics on \(X\) converge globally to a Kähler–Einstein metric on \(\overline L\) as the cone angle approaches the threshold value \(\beta_*=(\alpha-1)/n\) [2407.01150].

Taken together, these developments suggest that deformation to the normal cone is not only a construction in intersection theory, but a general degeneration principle linking ambient geometry to an intrinsic transverse model. In classical algebraic geometry that model is the normal cone; in derived geometry it is the vector bundle stack \(\V_X(\sL_{X/Y}[-1])\); in shifted symplectic geometry it becomes \(T[1](L/X)\) or \(T^*[n]L\); and in analytic settings it underlies tangent-groupoid, heat-kernel, and microlocal constructions.

Source: https://www.emergentmind.com/topics/deformation-to-the-normal-cone