---
title: Jet Closure in Algebraic Geometry
url: https://www.emergentmind.com/topics/jet-closure
type: topic
---

# Jet Closure in Algebraic Geometry

Searching arXiv for papers specifically on “jet closure” in algebraic geometry and commutative algebra.
Jet closure is a closure operation on ideals of a local \(k\)-algebra defined through the behavior of local jet schemes. Introduced by de Fernex, Ein, and Ishii in the study of the local isomorphism problem, it formalizes when two ideals are indistinguishable by \(m\)-th order infinitesimal data at a point; its limiting version is arc closure, defined through all finite jet levels at once [1704.07494]. Subsequent work has recast jet closure and jet support closure as invariants of singularities, introduced associated local algebras and filtrations, and computed them explicitly for homogeneous ideals, monomial ideals, and simple plane curve singularities [2507.05796].

## 1. Jet schemes, local jets, and the definition of jet closure

For a scheme \(X\) over a field \(k\), the \(m\)-jet scheme \(X_m\) represents the functor
\[
Z \mapsto \operatorname{Hom}_k\!\bigl(Z\times_k \operatorname{Spec} k[t]/(t^{m+1}),X\bigr),
\]
and the arc space \(X_\infty\) is the inverse limit \(\varprojlim_m X_m\) [1704.07494]. If \(x\in X\), the local \(m\)-jets at \(x\) are the fiber
\[
X_m^x := \pi_m^{-1}(x),
\]
where \(\pi_m:X_m\to X\) is the canonical projection.

In the affine case \(X=\operatorname{Spec}R\), the jet rings \(R_m\) are described using universal Hasse–Schmidt derivations \(D_i\), or equivalently the Hasse–Schmidt algebra \(HS_B^m\) when \(R=B\) is a \(k\)-algebra [1704.07494, 2507.05796]. For an ideal \(\mathfrak a\subset R\), its \(m\)-th jet ideal is
\[
\mathfrak a_m := (D_i(f)\mid f\in \mathfrak a,\ 0\le i<m+1)\subset R_m.
\]

For a local \(k\)-algebra \((R,\mathfrak m)\), the \(m\)-jet closure of \(\mathfrak a\) is
\[
\mathfrak a^{m\text{-jc}}
:=
\{\,f\in R\mid (f)_m\subset \mathfrak a_m \ \text{mod}\ \mathfrak mR_m\,\}.
\]
The case \(m=\infty\) is the arc closure,
\[
\mathfrak a^{\mathrm{ac}}:=\mathfrak a^{\infty\text{-jc}}.
\]
Geometrically, \(\mathfrak a^{m\text{-jc}}\) is the largest ideal \(\mathfrak b\subset R\) such that the local \(m\)-jet schemes of \(V(\mathfrak a)\) and \(V(\mathfrak b)\) coincide at the closed point [1704.07494].

## 2. Variants, intrinsic structure, and relation to integral closure

Jet closure sits inside a small family of jet-theoretic closure operations [1704.07494].

| Operation | Definition | Geometric criterion |
|---|---|---|
| \(m\)-jet closure \(\mathfrak a^{m\text{-jc}}\) | \((f)_m\subset \mathfrak a_m \bmod \mathfrak mR_m\) | equality of local \(m\)-jet schemes |
| arc closure \(\mathfrak a^{\mathrm{ac}}\) | \(\mathfrak a^{\infty\text{-jc}}\) | equality at all finite jet levels |
| \(m\)-jet support closure \(\mathfrak a^{m\text{-jsc}}\) | \((f)_m\subset \sqrt{\mathfrak a_m}\bmod \mathfrak mR_m\) | equality of reduced local \(m\)-jet schemes |
| jet support closure \(\mathfrak a^{\mathrm{jsc}}\) | \(\bigcap_{m\in\mathbb N}\mathfrak a^{m\text{-jsc}}\) | equality of reduced local jets for all finite \(m\) |
| arc support closure \(\mathfrak a^{\mathrm{asc}}\) | \(\mathfrak a^{\infty\text{-jsc}}\) | reduced equality at arc level |

These operations are intrinsic in the sense that the \(m\)-jet closure of \(\mathfrak a\) is the inverse image of the \(m\)-jet closure of the zero ideal in \(R/\mathfrak a\), and the same holds for the support variants [1704.07494]. For the zero ideal, jet closure admits a kernel description: if \(\lambda_m:R\to (R/\mathfrak mR_m)[t]/(t^{m+1})\) is induced by the universal local \(m\)-jet, then
\[
(0)^{m\text{-jc}}=\ker(\lambda_m).
\]

Several formal properties hold. Jet closure and jet support closure are extensive and idempotent, and jet closure satisfies
\[
\mathfrak a+\mathfrak m^{m+1}\subset \mathfrak a^{m\text{-jc}}.
\]
Arc closure is the intersection of finite jet closures,
\[
\mathfrak a^{\mathrm{ac}}=\bigcap_{m\in\mathbb N}\mathfrak a^{m\text{-jc}},
\]
and there are containments
\[
\mathfrak a\subseteq \mathfrak a^{\mathrm{ac}}\subseteq \mathfrak a^{\mathrm{jsc}}\subseteq \mathfrak a^{\mathrm{asc}}.
\]
Moreover,
\[
\mathfrak a^{m\text{-jc}}\subseteq \mathfrak a^{m\text{-jsc}}
\]
for every \(m\) [1704.07494].

The main comparison with classical closure theory is through jet support closure. If \(R\) is a local integral domain essentially of finite type over \(k\), then
\[
\mathfrak a^{\mathrm{jsc}}\subseteq \overline{\mathfrak a},
\]
and if \(R\) is regular, then
\[
\mathfrak a^{\mathrm{jsc}}=\overline{\mathfrak a},
\]
so in regular local rings essentially of finite type, jet support closure recovers integral closure [1704.07494].

## 3. The local isomorphism problem

The original motivation for jet closure was the local isomorphism problem: if a morphism of germs
\[
\varphi:(Y,y)\to (X,x)
\]
induces isomorphisms on all local jet schemes
\[
\varphi_m^{\mathrm{loc}}:Y_m^y\to X_m^x
\]
for every \(m\in \mathbb N\cup\{\infty\}\), must \(\varphi\) be an isomorphism of germs? The embedded version asks the same question under the additional assumption that \(\varphi\) is a closed immersion [1704.07494].

For a local algebra \(R=\mathcal O_{X,o}\), the embedded local isomorphism property is equivalent to the arc closedness of the zero ideal:
\[
(0)^{\mathrm{ac}}=(0).
\]
Thus the problem becomes algebraic: whether nonzero functions can vanish on all local arcs through the closed point [1704.07494].

The answer is negative in full generality. In the non-Noetherian ring
\[
R=k[[x_1,x_2,\dots]],
\qquad
\mathfrak a=(x_1x_i\mid i\ge 2),
\]
one has \(x_1\notin \mathfrak a\) but \(x_1\in \mathfrak a^{m\text{-jc}}\) for every \(m\), hence \(\mathfrak a^{\mathrm{ac}}\neq \mathfrak a\) [1704.07494].

Positive results were obtained for several important classes. The zero ideal is arc closed when \(R\) is a graded local \(k\)-algebra, when \(R\) is a reduced Noetherian local \(k\)-algebra essentially of finite type over \(k\), and when \(R=S/(f)\) with \(S\) regular essentially of finite type over \(k\) [1704.07494]. Later, Mallory’s theorem established that in Noetherian local \(k\)-algebras with separable residue field, every ideal is arc closed; as recorded in later work, this gives embedded local isomorphism for Noetherian test germs in that setting [2507.05796].

## 4. Explicit computations and basic examples

Jet closure is nontrivial even in regular complete local rings. In \(R=k[[x,y]]\), with \(\mathfrak a=(x+y^3)\) and \(\operatorname{char}k\neq 2,3\),
\[
\mathfrak a^{4\text{-jc}}=(x+y^3,xy^3)=\mathfrak a+\mathfrak m^5,
\]
showing that finite jet closure records higher-order conditions beyond ordinary ideal membership [1704.07494].

Jet support closure can be strictly smaller than integral closure in singular rings. In
\[
R=k[[x,y,z]]/(x^2+y^2+z^2),
\qquad
\mathfrak a=(x,y),
\]
the element \(z\) is integral over \(\mathfrak a\), so \(\overline{\mathfrak a}=(x,y,z)\), but \(\mathfrak a\) is jet support closed, hence
\[
\mathfrak a^{\mathrm{jsc}}=\mathfrak a\subsetneq \overline{\mathfrak a}
\]
[1704.07494].

Recent work gives large computable classes. If \(R=k[[x_1,\dots,x_n]]\) and \(I\) is extended from a homogeneous ideal in the polynomial ring, then for every \(m\ge 1\),
\[
I^{m\text{-jc}}=I+\mathfrak m^{m+1}.
\]
For a principal homogeneous ideal \((f)\) with \(\deg f=d\), this yields
\[
\dim_k R/I^{m\text{-jc}}
=
\binom{n+m}{n}-\binom{n+m-d}{n}
\]
with the stated convention for negative binomial arguments [2507.05796].

For monomial ideals, jet support closure is again monomial, and for square-free monomial generators both jet closure and jet support closure satisfy
\[
I^{m\text{-jc}}=I^{m\text{-jsc}}=I+\mathfrak m^{m+1}
\]
for all \(m\ge 1\) [2507.05796]. By contrast, in \(R=k[[x,y]]\) the homogeneous ideal
\[
I=(x^2,y^2)
\]
satisfies
\[
I^{2\text{-jsc}}=(x^2,y^2)+\mathfrak m^3+(xy),
\]
so jet support closure is more sensitive than the homogeneous formula for jet closure [2507.05796].

## 5. Singularities, associated local algebras, and the jet index

A central development is the introduction of the local algebras
\[
A_{I,m}^{\mathrm{jet}}:=R/I^{m\text{-jc}},
\qquad
A_{I,m}^{\mathrm{js}}:=R/I^{m\text{-jsc}}
\]
for \(R=k[[x_1,\dots,x_n]]\). These are invariants of the singularity germ: if \(R/I\cong R/J\) as local rings, then
\[
R/I^{m\text{-jc}}\cong R/J^{m\text{-jc}},
\qquad
R/I^{m\text{-jsc}}\cong R/J^{m\text{-jsc}}
\]
for every \(m\ge 1\) [2507.05796].

The \(m\)-jet closures form a descending chain
\[
R\supset I^{0\text{-jc}}:=\mathfrak m\supset I^{1\text{-jc}}\supset I^{2\text{-jc}}\supset\cdots,
\]
with
\[
I^{(m+1)\text{-jc}}\subset I^{m\text{-jc}}.
\]
This yields a filtration \(f_I\) on \(R/I\) in the sense of Rees; it satisfies
\[
f_I(x-y)\ge \min\{f_I(x),f_I(y)\},
\qquad
f_I(xy)\ge f_I(x)+f_I(y),
\]
and one also has
\[
I^{p\text{-jc}}I^{q\text{-jc}}\subset I^{(p+q+1)\text{-jc}},
\qquad
\mathfrak m\, I^{m\text{-jc}}\subset I^{(m+1)\text{-jc}}
\]
[2507.05796].

When \(R/I\) is Artinian, the descending chain stabilizes: there exists \(s\) such that
\[
I^{s\text{-jc}}=I.
\]
The smallest such \(s\) is the jet index \(j(I)\), which measures the finite jet level at which jet closure recovers the ideal [2507.05796].

For isolated hypersurface singularities, this produces explicit invariants. If
\[
f=x_1^{a_1+1}+\cdots+x_n^{a_n+1},
\]
then for the Jacobian ideal \(J(f)=(x_1^{a_1},\dots,x_n^{a_n})\),
\[
j(f)=a_1+\cdots+a_n-n
\]
[2507.05796]. The same work defines jet Milnor and jet Tjurina indices using \(J(f)\) and \((f,J(f))\), and formulates the conjecture
\[
j_\tau(f)+1=N\bigl((f,J(f))\bigr)
\]
for isolated singularities.

The simple plane curve singularities \(A_n,D_n,E_6,E_7,E_8\) exhibit especially explicit behavior. For example, if
\[
A_{n-1}: I=(x^2+y^n),
\]
then
\[
I^{m\text{-jc}}=I+\mathfrak m^{m+1}\quad \text{for } m\le n,
\]
while at \(m=n+1\),
\[
I^{m\text{-jc}}=I+\mathfrak m^{m+1}+(x^3).
\]
More generally, later work shows that simple plane curve singularities are classified by finitely many jet support closure algebras: if \(M\) is the maximum of the Milnor numbers of two simple singularities, then
\[
R/I_1\cong R/I_2
\quad\Longleftrightarrow\quad
R/I_1^{m\text{-jsc}}\cong R/I_2^{m\text{-jsc}}
\ \text{for all } m\le M+1
\]
[2507.05796].

## 6. Terminology and cross-disciplinary usage

In algebraic geometry and commutative algebra, jet closure refers to the closure operations just described, built from local jet schemes, Hasse–Schmidt derivations, and arc spaces [1704.07494, 2507.05796]. The term is not uniform across the wider arXiv literature. In fluid mechanics, “closure” in jet problems refers to resonance closure in jet screech or turbulence closure in free and plunging jets [2107.06429, 2306.12695, 2107.13736]. In relativistic astrophysics, “closure relations” for structured jets link temporal and spectral slopes in gamma-ray burst afterglows [1909.11691]. This disciplinary divergence is substantive rather than terminological: only the algebraic-geometric usage defines a closure operation on ideals through jet schemes.

Within its own field, jet closure occupies a distinctive position among closure operations. It is defined by infinitesimal test objects rather than by valuations, Frobenius powers, or continuous coefficients, and jet support closure interfaces directly with integral closure in regular local rings [1704.07494]. The subsequent introduction of the algebras \(R/I^{m\text{-jc}}\), \(R/I^{m\text{-jsc}}\), the filtration \(f_I\), and the jet index shows that jet closure is not only a device for the local isomorphism problem, but also a source of computable invariants of singularities [2507.05796].

Source: https://www.emergentmind.com/topics/jet-closure