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

# Jet Support Closure in Algebraic Geometry

Searching arXiv for papers directly relevant to jet support closure in algebraic geometry.
Jet support closure is a closure operation on ideals defined from reduced local jet schemes. In the framework introduced to study the local isomorphism problem, it assigns to an ideal \(a\subset R\) the largest ideal cutting out the same reduced local \(m\)-jet scheme as \(a\), and, after passage to all orders, a support-type analogue of arc closure. The notion sits between jet closure and integral closure: it is weaker than jet closure, recovers ordinary integral closure in regular local rings essentially of finite type over \(k\), and in singular rings can be strictly smaller. Later work recast the quotients \(R/I^{m\text{-jsc}}\) as invariants of singularities and computed them in homogeneous, monomial, weighted homogeneous, and simple-singularity settings [1704.07494]; [2507.05796].

## 1. Origin in the local isomorphism problem

The original setting is a morphism of germs of \(k\)-schemes
\[
\varphi:(Y,y)\to (X,x),
\]
which induces, for each \(m\in \mathbb N\cup\{\infty\}\), a morphism on local \(m\)-jet schemes
\[
\varphi_m^{\mathrm{loc}}:Y_y^m\to X_x^m.
\]
The basic question asks whether isomorphisms on all local jet schemes force \(\varphi\) itself to be an isomorphism. This is the local isomorphism problem. Its embedded version asks the same question under the additional assumption that \(\varphi\) is a closed immersion. The closure operations introduced from jet schemes were designed precisely to translate these geometric questions into ideal-theoretic ones [1704.07494].

For a scheme \(X\), the \(m\)-jet scheme \(X_m\) represents morphisms
\[
Z \mapsto \operatorname{Hom}_k\!\left(Z\times \operatorname{Spec}k[t]/(t^{m+1}),\,X\right),
\]
while the arc space \(X_\infty\) is the inverse limit of the \(X_m\), representing maps from \(Z\times \operatorname{Spf}k[[t]]\). For a point \(x\in X\), the local \(m\)-jets are the fiber
\[
X_x^m:=\pi_m^{-1}(x).
\]
Jet support closure arises by asking not for equality of local jet schemes as schemes, but only for equality after reduction. In that sense it is a support-theoretic weakening of jet closure, adapted to the geometry of reduced local jet fibers [1704.07494].

## 2. Definition through local jet fibers

Let \((R,\mathfrak m)\) be a local \(k\)-algebra, let \(X=\operatorname{Spec}R\), and let \(o\) be the closed point. For an ideal \(a\subset R\), the associated ideal \(a_m\subset R_m\) is defined using Hasse–Schmidt derivations by
\[
a_m=\bigl(D_i(f)\mid f\in a,\ 0\le i<m+1\bigr).
\]
The \(m\)-jet closure and the \(m\)-jet support closure are then defined in parallel [1704.07494].

| Operation | Definition | Geometric characterization |
|---|---|---|
| \(m\)-jet closure \(a^{m\text{-jc}}\) | \(f\in R\) with \((f)_m\subset a_m \bmod \mathfrak m R_m\) | largest \(b\subset R\) with \(V(b)_o^m=V(a)_o^m\) |
| \(m\)-jet support closure \(a^{m\text{-jsc}}\) | \(f\in R\) with \((f)_m\subset \sqrt{a_m} \bmod \mathfrak m R_m\) | largest \(b\subset R\) with \((V(b)_o^m)_{\mathrm{red}}=(V(a)_o^m)_{\mathrm{red}}\) |
| Infinite-order versions | \(a^{\mathrm{ac}}:=a^{\infty\text{-jc}}\), \(a^{\mathrm{asc}}:=a^{\infty\text{-jsc}}\) | arc closure and arc support closure |

The defining distinction is reduction: jet closure remembers the full scheme structure of the local jet fiber, whereas jet support closure remembers only its support. Equivalently, \(a^{m\text{-jsc}}\) is the largest ideal defining a subscheme with the same reduced local \(m\)-jets as \(V(a)\). This is the precise sense in which jet support closure is weaker than jet closure but still controlled by local jet geometry [1704.07494].

Later work gives a closely related formulation
\[
I^{m\text{-}jsc}:=\{f\in R \mid (f)_m\subset \sqrt{I_m+\mathbf m R_m}\},
\]
and expresses jet support closure as a kernel of a natural jet-theoretic map. In particular, for the zero ideal there is a map
\[
\nu_m:R\to (R_m/\mathbf m R_m)_{\mathrm{red}}[t]/(t^{m+1}),
\qquad
\nu_m(f)=\sum_{i=0}^m d_i(f)t^i,
\]
with
\[
(0)^{m\text{-jsc}}=\ker(\nu_m).
\]
This formulation makes the support-theoretic character of the construction particularly explicit [2507.05796].

## 3. Structural properties and closure hierarchy

Jet support closure is part of a small hierarchy of jet-theoretic closure operations. For every ideal \(a\),
\[
a^{m\text{-jc}}\subset a^{m\text{-jsc}}.
\]
Passing to all finite orders, the paper defines
\[
a^{\mathrm{jsc}}:=\bigcap_{m\in\mathbb N} a^{m\text{-jsc}},
\]
and shows that this is itself a closure operation:
\[
a\subset a^{\mathrm{jsc}}=(a^{\mathrm{jsc}})^{\mathrm{jsc}}.
\]
It also establishes the chain
\[
a^{\mathrm{ac}}\subset a^{\mathrm{jsc}}\subset a^{\mathrm{asc}},
\]
where \(a^{\mathrm{ac}}\) is the arc closure and \(a^{\mathrm{asc}}\) is the arc support closure. Thus \(a^{\mathrm{jsc}}\) is intermediate between the scheme-theoretic arc closure and the support-theoretic infinite-order closure [1704.07494].

From the later invariant-theoretic viewpoint, jet support closure is compatible with quotient formation. If \(\phi:R\to R/I\) is the quotient map, then jet support closure of \(I\) in \(R\) agrees with jet support closure of the zero ideal in \(R/I\). Moreover, if \(\phi:R\to R\) is an isomorphism and \(\phi(I)=J\), then
\[
R/I^{m\text{-jsc}}\cong R/J^{m\text{-jsc}}
\]
for every \(m\ge 1\). In this sense the algebras \(R/I^{m\text{-jsc}}\) are invariants of the singularity \(R/I\), rather than artifacts of a chosen embedding [2507.05796].

The support closure is therefore both geometric and intrinsic. Geometrically it is characterized by reduced local jet fibers; algebraically it is idempotent and functorial enough to descend to singularity invariants. This dual character explains why the notion is useful both in the local isomorphism problem and in explicit singularity calculations.

## 4. Comparison with integral closure

A central comparison theorem places jet support closure against classical integral closure. If \(R\) is a local integral domain essentially of finite type over \(k\), then for every ideal \(a\),
\[
a^{\mathrm{jsc}}\subset \overline a,
\]
where \(\overline a\) denotes the integral closure. If, in addition, \(R\) is regular, then equality holds:
\[
a^{\mathrm{jsc}}=\overline a.
\]
Accordingly, in regular local rings jet support closure recovers ordinary integral closure, while in singular rings it can be strictly smaller and hence more sensitive [1704.07494].

The standard example in the singular case is
\[
R=k[[x,y,z]]/(x^2+y^2+z^2), \qquad a=(x,y).
\]
Here
\[
\overline a=(x,y,z),
\]
but \(a\) is nevertheless jet support closed. This example shows that jet support closure is not merely a reformulation of integral closure. It detects a finer relationship between an ideal and the reduced local jet fibers of its zero set [1704.07494].

Later computations reinforce that finer behavior. For monomial ideals, jet support closure remains monomial, but it does not behave additively in general:
\[
I^{m\text{-jsc}}+J^{m\text{-jsc}}\neq (I+J)^{m\text{-jsc}}.
\]
That failure is consistent with its geometric definition: equality of reduced local jet fibers is not additive in the same way as many valuation-theoretic constructions [2507.05796].

## 5. Relation to the embedded local isomorphism problem

The closure-theoretic approach achieves its strongest geometric consequence through arc closure. For a germ \((X,o)\) with local ring \(R=\mathcal O_{X,o}\), the germ has the embedded local isomorphism property if and only if the zero ideal is arc closed:
\[
(0)^{\mathrm{ac}}=(0).
\]
Since
\[
(0)^{\mathrm{ac}}=\bigcap_{m\in\mathbb N}(0)^{m\text{-jc}},
\]
the embedded local isomorphism problem becomes the question whether any nonzero function can have the same local arcs as \(0\). Jet support closure enters this framework as the weaker support-type companion to jet closure, clarifying what remains visible after reduction of the local jet schemes [1704.07494].

The paper proves that the embedded local isomorphism problem has a negative answer in general. There exists a local \(k\)-algebra whose zero ideal is not arc closed; the construction proceeds from
\[
R=k[[x_1,x_2,\dots]]
\]
with infinitely many variables and a suitable ideal \(a\), and passing to \(R/a\) yields a local algebra whose zero ideal is not arc closed. Consequently, there exist germs that do not have the embedded local isomorphism property [1704.07494].

At the same time, several positive cases are established. The zero ideal is arc closed if \(R\) is a graded local \(k\)-algebra, if \(R\) is a reduced Noetherian local algebra essentially of finite type over \(k\), or if \(R=S/(f)\) where \(S\) is regular essentially of finite type over \(k\) and \(f\in S\). Hence the embedded local isomorphism property holds for homogeneous germs, germs of reduced schemes of finite type over \(k\), and germs of hypersurfaces in smooth varieties. The paper also leaves open the Noetherian question: if \(R\) is a Noetherian local \(k\)-algebra, is every ideal arc closed? A positive answer would extend the embedded local isomorphism property to all Noetherian germs, while a negative answer would exhibit a nontrivial closure operation stronger than integral closure in the Noetherian setting [1704.07494].

## 6. Later invariant-theoretic and computational developments

Later work develops jet support closure as an explicit invariant of singularities. It introduces two local algebras associated to jet closure and jet support closure, proves that they are invariants under analytic isomorphism, and investigates them for monomial ideals, homogeneous ideals, and simple plane curve singularities. In that framework, jet support closure becomes not only a conceptual bridge from jet geometry to local algebra, but also a computable object [2507.05796].

Several classes admit especially simple formulas. If \(I\) is a monomial ideal with square-free generators, then
\[
I^{m\text{-jsc}}=I+\mathbf m^{m+1}.
\]
For a reduced homogeneous polynomial \(f(x_1,\dots,x_n)\),
\[
(f)^{m\text{-jsc}}=(f)+\mathbf m^{m+1}.
\]
In these cases jet closure and jet support closure coincide with the obvious truncation by \(\mathbf m^{m+1}\), so the reduced local jet fiber retains exactly the expected finite-order information [2507.05796].

For general monomial ideals, the description is combinatorial. A monomial
\[
x_1^{b_1}\cdots x_n^{b_n}
\]
lies in \(I^{m\text{-jsc}}\) if and only if for every \((t_1,\dots,t_n)\in\mathbb N^n\) satisfying
\[
t_1b_1+\cdots+t_nb_n\le m,
\]
there exists a monomial generator
\[
x_{i_1}^{a_1}\cdots x_{i_s}^{a_s}\in I
\]
such that
\[
t_{i_1}a_1+\cdots+t_{i_s}a_s\le m.
\]
For weighted homogeneous polynomials in two variables the paper gives explicit piecewise formulas. For instance, for the \(A_{2n-1}\) singularity \(I=(x^2+y^{2n})\), if \(m<2n\), then
\[
I^{m\text{-jsc}}=(x^2,xy^{\lceil m/2\rceil},y^{m+1}),
\qquad
\dim_k R/I^{m\text{-jsc}}=m+1+\left\lceil \frac{m}{2}\right\rceil.
\]
Analogous formulas are obtained for \(A_{2n}\), \(D_n\), and \(E_6,E_7,E_8\) [2507.05796].

These explicit computations feed back into the local isomorphism problem. For simple curve singularities, if
\[
M:=\max\{\mu(R/I_1),\mu(R/I_2)\},
\]
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.
\]
Thus finitely many jet support closures determine the singularity in this class. The same paper also introduces a jet filtration and a jet index, primarily for jet closure, thereby extending the original closure-theoretic program from existence questions to quantitative invariants of how finite jet orders recover the base scheme [2507.05796].

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