Deformation to the Normal Cone in Algebraic Geometry

• Deformation to the Normal Cone is a geometric degeneration technique that creates a flat family linking an ambient space with its first-order transverse normal model.
• It leverages classical constructions like the Rees algebra and blow-ups, while extending to derived settings via Weil restriction and cotangent complex formulations.
• The method finds broad applications in moduli theory, intersection calculations, and analytic/arithmetic degenerations, unifying traditional and modern geometric techniques.

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 (Hekking et al., 24 Nov 2025).

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 P^1$0 as

$\mathbb P^1$1

Over $\mathbb P^1$2 one recovers the original geometry, while over the special parameter one obtains the normal cone (Aranha et al., 2019).

When the immersion is regular, the normal cone is the normal bundle,

$\mathbb P^1$3

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 (Ni, 2022). 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

$\mathbb P^1$4

The derived deformation space, denoted $\mathbb P^1$5, is defined so that it fits into a canonical $\mathbb P^1$6-equivariant diagram whose generic fiber is $\mathbb P^1$7 and whose special fiber over $\mathbb P^1$8 is the zero section

$\mathbb P^1$9

Equivalently,

$f:X\to Y$0

and $f:X\to Y$1 restricts on that fiber to the zero section. The paper terms $f:X\to Y$2 the deformation to the derived normal bundle, or normal deformation (Hekking et al., 24 Nov 2025).

The construction is first formulated via moduli of virtual Cartier divisors. For a morphism $f:X\to Y$3, a virtual Cartier divisor on $f:X\to Y$4 over $f:X\to Y$5 is a virtual Cartier divisor $f:X\to Y$6 equipped with a commutative square

$f:X\to Y$7

The resulting derived stack $f:X\to Y$8 carries a universal virtual Cartier divisor $f:X\to Y$9, and pulling back along $\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])$0 yields the actual $\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])$1-family

$\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])$2

This formulation makes the deformation a property of the morphism $\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])$3, 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 $\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])$4 admits a cotangent complex, the conormal complex is defined by

$\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])$5

The special fiber of the deformation is then identified $\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])$6-equivariantly over $\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])$7 by

$\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])$8

Using duality, this is the derived vector bundle attached to the $\Nl_{X/Y}\simeq \V_X(\sL_{X/Y}[-1])$9-shifted relative tangent bundle $X\hookrightarrow Y$0 (Hekking et al., 24 Nov 2025).

A key mapping-theoretic formula is

$X\hookrightarrow Y$1

where $X\hookrightarrow Y$2 is the trivial square-zero extension. Combined with the universal property of $X\hookrightarrow Y$3,

$X\hookrightarrow Y$4

this identifies the normal bundle with the vector bundle stack associated to $X\hookrightarrow Y$5. 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 $X\hookrightarrow Y$6 is defined by the relative mapping prestack

$X\hookrightarrow Y$7

and its special fiber is

$X\hookrightarrow Y$8

If $X\hookrightarrow Y$9 is $I\subset \mathcal O_Y$0-shifted Lagrangian, this special fiber identifies with $I\subset \mathcal O_Y$1, and the special-fiber morphism becomes the zero section $I\subset \mathcal O_Y$2 (Calaque et al., 2024).

4. Derived Weil restriction and algebraicity

The main mechanism behind the derived construction is derived Weil restriction. For any morphism $I\subset \mathcal O_Y$3, base change

$I\subset \mathcal O_Y$4

admits a right adjoint

$I\subset \mathcal O_Y$5

characterized by

$I\subset \mathcal O_Y$6

For the zero section

$I\subset \mathcal O_Y$7

the normal deformation is exactly the derived Weil restriction

$I\subset \mathcal O_Y$8

Equivalently, the quotient-stack form satisfies

$I\subset \mathcal O_Y$9

There is also a mapping-stack description

$$C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),$$0

This reframes deformation to the normal bundle as a right adjoint to the zero-fibre functor (Hekking et al., 24 Nov 2025).

A technical heart of the theory is the algebraicity of these Weil restrictions for finite but possibly non-flat morphisms. If $$C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),$$1 is afp finite of Tor-amplitude $$C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),$$2, and $$C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),$$3 is an $$C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),$$4-representable locally hfp morphism over $$C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),$$5, then

$$C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),$$6

is $$C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),$$7-representable. For a virtual Cartier divisor $$C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),$$8, if $$C_XY=\operatorname{Spec}_X\!\Big(\bigoplus_{k\ge 0} I^k/I^{k+1}\Big),$$9 is locally of finite type and $N_XY=\mathbb V_X(I/I^2).$0-representable over $N_XY=\mathbb V_X(I/I^2).$1, then $N_XY=\mathbb V_X(I/I^2).$2 is $N_XY=\mathbb V_X(I/I^2).$3-representable. Since the zero section is a virtual Cartier divisor, it follows that if $N_XY=\mathbb V_X(I/I^2).$4 is locally of finite type and $N_XY=\mathbb V_X(I/I^2).$5-representable, then $N_XY=\mathbb V_X(I/I^2).$6 is $N_XY=\mathbb V_X(I/I^2).$7-representable.

The same framework gives cotangent-complex formulas for Weil restriction. For a sharp morphism $N_XY=\mathbb V_X(I/I^2).$8,

$N_XY=\mathbb V_X(I/I^2).$9

and for proper representable $\mathbb P^1$0 of finite Tor-amplitude,

$\mathbb P^1$1

Applied to the normal deformation, if $\mathbb P^1$2 is perfect then

$\mathbb P^1$3

and

$\mathbb P^1$4

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 $\mathbb P^1$5 is a closed immersion, then

$\mathbb P^1$6

When $\mathbb P^1$7 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 (Hekking et al., 24 Nov 2025).

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

$\mathbb P^1$8

embeds as a closed substack

$\mathbb P^1$9

and it is the schematic closure of $$M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),$$0 inside $$M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),$$1. Likewise,

$$M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),$$2

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

$$M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),$$3

is affine, and one defines the extended Rees algebra by

$$M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),$$4

Its generic and special-fiber behavior is

$$M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),$$5

and

$$M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),$$6

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 $$M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),$$7, the blow-up $$M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),$$8 is defined as the derived stack classifying excessive virtual Cartier divisors over $$M^\circ_XY:=\operatorname{Bl}_{X\times\{\infty\}}(Y\times \mathbb P^1)\;-\;\operatorname{Bl}_{X\times\{\infty\}}(Y\times\{\infty\}),$$9. Its exceptional divisor is

$\mathbb P^1$00

and one has

$\mathbb P^1$01

where $\mathbb P^1$02. 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 $\mathbb P^1$03, one has an intrinsic normal cone $\mathbb P^1$04 and a deformation space

$\mathbb P^1$05

whose generic fiber is $\mathbb P^1$06 and whose special fiber is $\mathbb P^1$07. In the relatively Deligne–Mumford case, this recovers the intrinsic normal cone of Behrend–Fantechi (Aranha et al., 2019). 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 $\mathbb P^1$08 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

$\mathbb P^1$09

extending the isomorphism over $\mathbb P^1$10. For curves inside symplectic surfaces, $\mathbb P^1$11 is an open dense subset of the relative moduli space, and generalized Kummer varieties degenerate to natural symplectic subvarieties of the Hitchin system (Zhao, 21 Nov 2025).

There are also analytic and differential-geometric variants. For a manifold $\mathbb P^1$12 with embedded submanifold $\mathbb P^1$13,

$\mathbb P^1$14

with zoom action

$\mathbb P^1$15

On this smooth DNC, homogeneous distributions on the complement of $\mathbb P^1$16 admit homogeneous extensions, and the ambiguity is described by homogeneous distributions supported on $\mathbb P^1$17 (Chamoux, 28 May 2025). A related construction builds rescaled bundles over $\mathbb P^1$18, 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 (Braverman et al., 2022).

Arithmetic and metric degenerations give further variants. In Arakelov geometry, one uses a deformation to the projective completion of the cone $\mathbb P^1$19, together with a deformed seminormed line bundle $\mathbb P^1$20, and proves conservation of arithmetic Hilbert invariants along the deformation (Ni, 2022). The same projective-completion framework is used in a proof of the arithmetic Hilbert-Samuel theorem by deformation (Ni, 2022). In Kähler geometry, the degeneration to the normal cone of a divisor $\mathbb P^1$21 appears as a test configuration whose central fiber is the projective cone $\mathbb P^1$22, and conic Kähler–Einstein metrics on $\mathbb P^1$23 converge globally to a Kähler–Einstein metric on $\mathbb P^1$24 as the cone angle approaches the threshold value $\mathbb P^1$25 (Biquard et al., 2024).

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 $\mathbb P^1$26; in shifted symplectic geometry it becomes $\mathbb P^1$27 or $\mathbb P^1$28; and in analytic settings it underlies tangent-groupoid, heat-kernel, and microlocal constructions.