Products of Ideals and Jet Schemes
Gleb Pogudina
Institute for Algebra
Johannes Kepler University
4040, Linz, Austria

arXiv:1610.04353v4 [math.AC] 10 Jan 2018

a

Abstract
In the present paper, we give a full description of the jet schemes of the polynomial ideal
(x1 · · · xn ) ∈ k[x1 , . . . , xn ] over a field of zero characteristic. We use this description to answer
questions about products and intersections of ideals emerged recently in algorithmic studies of
algebraic differential equations.
Keywords: jets schemes, algebraic differential equations, differential polynomials
2010 MSC: 12H20, 12H05, 14B10

1. Introduction
Properties of ideals in rings of differential polynomials are essential for the algorithmic study
of algebraic differential equations [3, 15]. The following fact is an important part of the recent
first bound for the effective differential elimination ([15]). If h1 , . . . , hn are natural numbers,
then there exists d such that for every ideals I1 , . . . , In in a commutative associative differential
algebra over a field of zero characteristic
d

(h )
(h +...+hn )
,
(1.1)
I1 1 · · · In(hn ) ⊂ (I1 · · · In ) 1
where, for an ideal I, we denote the ideal generated by derivatives of elements of I of order at
most h by I (h) . Such an inclusion allows us to reduce a problem about an arbitrary ideal to
the problem about an ideal with additional useful properties (for example, to prime ideals in
[15]). This kind of reduction is expected to have many potential applications to the algorithmic
problems about algebraic differential equations. The value of such d was not needed for obtaining
the bound in [15], but we expect that it can be used for refining this and related bounds similarly
to the way the Noether exponent was used in [3, Lemma 3.1] and [15, Lemma 5.5]. The problem
of determining the number d in (1.1) as well as many other questions about products of ideals
in differential algebras can be reduced to questions about the jet ideal of the polynomial ideal
generated by x1 · · · xn ∈ k[x1 , . . . , xn ] (see [15, Lemma 6.2]).
Recently, jet schemes were successfully applied to study singularities of algebraic varieties
(for example, [14]). In [1, 16], jet ideals of the ideal generated by x1 · · · xn were studied, minimal
primes and their multiplicities were found. In the context of differential algebra, jet schemes and
related objects proved to be one of main tools in differential algebraic geometry (see [12, 8]).
In the present paper, we generalize results of [1, 16] giving a full description of jet schemes
of the ideal generated by x1 · · · xn (Section 4), where an unexpected connection to Shubert
✩ Gleb

Pogudin’s current address: Courant Institute of Mathematical Sciences, New York University, USA.
Email address: pogudin.gleb@gmail.com (Gleb Pogudin)

Preprint submitted to Elsevier

January 11, 2018

calculus occurs (see Proposition 3.10). Then we use the obtained information in order to solve
the original problem about differential algebraic equations, namely find the minimal possible
number d in (1.1) (see Corollary 5.2 and Corollary 5.4).
We also note that our problem is connected to a classical membership problem for the
differential ideal generated by x1 . . . xn (see [9, 5, 6]). In particular, if a differential polynomial
belongs to any of the jet ideals of the polynomial ideal generated by x1 · · · xn , then it belongs
to the corresponding differential ideal, and if a differential polynomial does not belong to any
of these jet ideals, it does not belong to the differential ideal. Our structural results give an
effective way for deciding if any of these situations takes place (see Remark 5.5).
2. Preliminaries
2.1. Differential algebra
Throughout the paper, all fields are assumed to be of characteristic zero. Unless otherwise
stated, all algebras are commutative, associative, and with unity.
Let R be a ring. A map D : R → R satisfying D(a + b) = D(a) + D(b) and D(ab) =
aD(b) + D(a)b for all a, b ∈ R is called a derivation. A differential ring R is a ring with a
specified derivation. In this case, we will denote D(x) by x′ and Dn (x) by x(n) . A differential
ring that is a field will be called a differential field.
A differential ring A is said to be a differential K-algebra over a differential field K if A is a
K-algebra and the restriction of the derivation of A on K coincides with the derivation on K.
An ideal I of a differential ring R is said to be a differential ideal if a′ ∈ I for all a ∈ I. The
differential ideal generated by a1 , . . . , an ∈ I will be denoted by [a1 , . . . , an ].
Let A be a differential K-algebra. We consider the polynomial ring
A[x, x′ , . . . , x(n) , . . .],
where x, x′ , x′′ , . . . are algebraically independent variables. Extending the derivation from A
to A[x, x′ , . . .] by D(x(n) ) = x(n+1) we obtain a differential algebra. This algebra is called
the algebra of differential polynomials in x over A and we denote it by A{x}. Iterating this
construction, we define the algebra of differential polynomials in variables x1 , . . . , xn over A and
denote it by A{x1 , . . . , xn }.
2.2. Jet Schemes
For general scheme-theoretic treatment, we refer reader to [14] (the same object is called the
arc space in [12]). We will need only coordinate description of the jet ideal of the polynomial
ideal.
Let I = (g1 , . . . , gs ) be an ideal in the polynomial ring k[x1 , . . . , xn ] and m ∈ Z>0 ∪ {∞}.
By Jm (I) we will denote the m-th jet ideal of I which is an ideal in the polynomial ring
h
i
(0)
(1)
(m)
(0)
Rm = k x1 , x1 , . . . , x1 , x2 , . . . , x(m)
n

generated by coefficients of the following truncated power series


(0)
(1)
(m)
(1)
(m) m
gi x1 + x1 t + . . . + x1 tm , . . . , x(0)
+
x
t
+
.
.
.
+
x
t
∈ k[[t]]/(tm+1 ),
n
n
n

where i = 1, . . . , s.
(0)
For example, the 0-th jet ideal of I coincides with I after renaming xi into xi for all i.

2

Remark 2.1. Let us consider the infinite jet ring R∞ over
field K. It can be
 adifferential
′
(j)
(j+1)
endowed with the structure of differential K-algebra by xi
. Moreover,
= (j + 1)xi
the differential algebra obtained by this procedure
is
differentially
isomorphic
to
the algebra


(j)

of differential polynomials K{y1 , . . . , yn } via ϕ xi

(j)

=

yi
j!

. Then if coefficients of g1 , . . . , gs

are constants in K, the infinite jet ideal J∞ (I) corresponds to a differential ideal generated by
g1 (y1 , . . . , yn ), . . . , gs (y1 , . . . , yn ) in K{y1 , . . . , yn }. This correspondence will allow us to apply
results about jet schemes to problems about algebraic differential equations.
3. Facts about symmetric polynomials

In this section we collect facts about the ideal generated by symmetric polynomials with zero
constant term, which plays a central role in Shubert calculus (see [10, 11]). We also introduce
algebras Aλ (k) (Definition 3.3) which locally describe the jet schemes of the ideal (x1 · · · xn )
(Section 4).
Consider the algebra k[z1 , . . . , zℓ ] of polynomials over k. By z we denote the tuple (z1 , . . . , zℓ ).
By hd (z) we denote the complete symmetric polynomial of degree d which is a sum of all monomials of degree d in z1 , . . . , zℓ :
X
hd (z) =
zi1 zi2 · · · zid .
i1 6i2 6...6id

By zk we denote the tuple (zk , . . . , zℓ ). For example, z1 = z, zℓ = (zℓ ), and hd (zℓ ) = zℓd .
By IS ⊂ k[z1 , . . . , zℓ ] we denote the ideal generated by all symmetric polynomials with respect
to z1 , . . . , zℓ with zero constant term. We will use the following lemma which follows from
Proposition 2.1 and Remark 2.1 from [13].
Lemma 3.1. Polynomials h1 (z1 ), h2 (z2 ), . . . , hℓ (zℓ ) constitute a Gröbner basis of IS with respect
to lexicographical ordering z1 > z2 > . . . > zℓ .
Also, for every j > i, the polynomial hj (zi ) lies in IS .
Throughout the rest of the section, we will refer to the basis from Lemma 3.1 as the basis
of IS .
Lemma 3.2. Let p(z) ∈ k[z1 , . . . , zℓ ], and d > 1. By p̃ we denote the reduction of p with respect
to the Gröbner basis of IS with respect to lexicographic ordering with z1 > z2 > . . . > zℓ . Then
p(z1 , . . . , zs , zs+1 , . . . , zℓ ) = p(z1 , . . . , zs+1 , zs , . . . , zℓ )
implies
p̃(z1 , . . . , zs , zs+1 , . . . , zℓ ) = p̃(z1 , . . . , zs+1 , zs , . . . , zℓ ).
Proof. By gi we denote the i-th element of the Gröbner basis of IS . Lemma 3.1 implies that
there are ℓ of them, and gi = hi (zi ). We will prove that if p is not reduced with respect to
g1 , . . . , gℓ , then there exists q(z) such that the leading monomial of q is lower then the leading
monomial of p, q is also symmetric with respect to zs and zs+1 , and p − q ∈ IS . We can not
apply this procedure infinitely many times, so at some point we will obtain q such that q is
symmetric with respect to zs and zs+1 and reduced with respect to g1 , . . . , gℓ . The uniqueness
of the reduction with respect to a Gröbner basis implies that q = p̃.
So, assume that p is not reduced with respect to IS . Since the reduction with respect to a
Gröbner basis is always equal to the lead-reduction, the leading monomial of p is not reduced
with respect to gi for some i. Let the leading monomial of p be M1 = z1d1 · · · zℓdℓ . Due to the
d
ds
symmetry, the monomial M2 = z1d1 · · · zs s+1 zs+1
· · · zℓdℓ occurs in p with the same coefficient, say
c. Since M1 is greater or equal then M2 , ds > ds+1 . We consider three cases
3

1. i 6= s and i 6= s + 1. Let us consider
(
2
gi , if ds > ds+1 ,
p − c M1z+M
i
i
q=
M1
p − c zi gi , if ds = ds+1 .
i

The terms cM1 cancel, so the leading monomial of q is less then M1 . Moreover, q is still
symmetric with respect to zs and zs+1 .
2. i = s. Since ds > s, Lemma 3.1 implies that hds (zs ), hds +i (zs+1 ) ∈ IS for every i > 0. By
N we denote dsMd1s+1 . Consider
zs zs+1



d

s+1
q = p − cN zs+1
hds (zs ) −

d

s+1
We denote zs+1
hds (zs ) and



ds+1

dP
s+1

d

X
i=1

zsds+1−i hds +i (zs+1 ) .

−i

zs s+1 hds +i (zs+1 ) by f1 and f2 , respectively. Since

i=1

d

s+1
ds > ds+1 , the leading monomial of f1 − f2 is zsds zs+1
. Hence, the leading monomial of q
is less than the leading monomial of p. Since N does not involve neither zs , nor zs+1 , it is
sufficient to prove that f1 − f2 is symmetric with respect to zs and zs+1 . The polynomial
f1 is a sum of all monomials S in zs of the total degree ds + ds+1 with degzs+1 S > ds+1 .
The polynomial f2 is a sum of all monomials S in zs of the total degree ds + ds+1 with
degzs S < ds+1 . Let S1 = z1e1 · · · zℓeℓ be an arbitrary monomial of the total degree ds +ds+1 ,
e
es
and S2 = z1e1 · · · zs s+1 zs+1
· · · zℓeℓ is the monomial symmetric to S1 with respect to zs and
zs+1 . We also assume that es > es+1 . It is sufficient to prove that S1 and S2 occur in
f1 − f2 with the same coefficient. There are three cases:

(a) es > es+1 > ds+1 . Then S1 and S2 occur in f1 , but none of them occurs in f2 .
(b) ds+1 > es > es+1 . Then S1 and S2 occur in f2 , but none of them occurs in f1 .
(c) es > ds+1 > es+1 . Then S2 occurs both in f1 and f2 , so f1 − f2 does not involve S2 .
Also, S1 does not occur in f1 and f2 .
3. i = s + 1. Since ds > ds+1 , p is also not reduced with respect to gs , so this case can be
reduced to the previous.
Definition 3.3. Let us remind that by IS we denote the ideal of k[z1 , . . . , zℓ ] generated by
symmetric polynomials with respect to z1 , . . . , zℓ without constant term. For the rest of the
section, we fix a positive integer n. For the vector λ = (λ1 , . . . , λn ) ∈ Zn>0 , by Λi we denote the
partial sum λ1 + . . . + λi−1 , assuming also Λ1 = 0. Assume that Λn+1 = λ1 + . . . + λn = ℓ.
We will say that a polynomial p ∈ k[z1 , . . . , zℓ ] is λ-symmetric if it is symmetric with respect
to zΛi +1 , . . . , zΛi+1 for every 1 6 i 6 n. The notion of λ-symmetric polynomials generalizes the
notion of block-symmetric polynomials [2].
For Lemmas 3.4 and 3.5, we fix some λ = (λ1 , . . . , λn ) ∈ Zn>0 such that λ1 + . . . + λn = ℓ.
We denote the elementary symmetric polynomial of degree d in t1 , . . . , tr by σd (t1 , . . . , tr ) for
any variables t1 , . . . , tr and 1 6 d 6 r.
Lemma 3.4. Let p ∈ k[z1 , . . . , zℓ ] be a λ-symmetric polynomial belonging to IS . Then there
exist λ-symmetric polynomials a1 , . . . , aℓ ∈ k[z1 , . . . , zℓ ] such that
p = a1 σ1 (z1 , . . . , zℓ ) + . . . + aℓ σℓ (z1 , . . . , zℓ ).
4

Proof. Since p ∈ IS , there exist b1 , . . . , bℓ ∈ k[z1 , . . . , zℓ ] such that
p = b1 σ1 (z1 , . . . , zℓ ) + . . . + bℓ σℓ (z1 , . . . , zℓ ).

(3.1)

Let G := Sλ1 × . . . × Sλn ⊂ Sℓ be a subgroup in the group of all permutations of z1 , . . . , zℓ . We
consider a linear operator Symλ on k[z1 , . . . , zm ] defined by
Symλ (q) :=

1 X
σ(q), for q ∈ k[z1 , . . . , zℓ ].
|G|
σ∈G

Then we have Symλ (ab) = a Symλ (b) for every λ-symmetric a and every b ∈ k[z1 , . . . , zℓ ].
Moreover Symλ (b) is λ-symmetric for every b ∈ k[z1 , . . . , zℓ ]. Applying Symλ to both sides
of (3.1), we obtain
p = Symλ (b1 )σ1 (z1 , . . . , zℓ ) + . . . + Symλ (bℓ )σℓ (z1 , . . . , zℓ ).
Since every polynomial in the image of Symλ is λ-symmetric, we set ai := Symλ (bi ) for every
1 6 i 6 ℓ.
Lemma 3.5. Let p ∈ k[z1 , . . . , zℓ ] be a λ-symmetric polynomial. Then p belongs to the subalgebra
generated by

σj (zΛi +1 , . . . , zΛi+1 ) | 1 6 i 6 n, 1 6 j 6 λi .

Proof. We will prove the statement of the lemma by induction on n. The base case n =
1 is exactly the fundamental theorem on symmetric polynomials. Let n > 1 and consider
N
P
ai mi , where ai ∈
a λ-symmetric polynomial p ∈ k[z1 , . . . , zℓ ]. We write p in the form
i=1

k[z1 , . . . , zΛn−1 ] and mi are distinct monomials in zΛn−1 +1 , . . . , zΛn . Since p is λ-symmetric, ai =
aj for every 1 6 i, j 6 N such that mi and mj can be obtained from each other by permuting the
M
P
bi si , where
variables. Grouping together mi ’s with equal ai ’s, we obtain a representation p =
i=1

bi ∈ k[z1 , . . . , zΛn−1 ] and si is a symmetric polynomial in zΛn−1 +1 , . . . , zΛn . The fundamental
theorem on symmetric polynomials imply that each si is contained in the subalgebra generated
by σ1 (zΛn−1 +1 , . . . , zΛn ), . . ., σλn (zΛn−1 +1 , . . . , zΛn ). Since p is λ-symmetric, b1 , . . . , bM are
(λ1 , . . . , λn−1 )-symmetric, so they belong to the subalgebra generated by

σj (zΛi +1 , . . . , zΛi+1 ) | 1 6 i 6 n − 1, 1 6 j 6 λi
due to the induction hypothesis. Thus, the lemma is proved.

Definition 3.6. By Aλ (k) we denote the subalgebra of k[z1 , . . . , zℓ ]/IS consisting of images of
all λ-symmetric polynomials.
Lemma 3.7. For all ℓ ∈ Z>0 and λ ∈ Zn>0 with λ1 + . . . + λn = ℓ,
ℓ!
.
dimk Aλ (k) = Q
n
λi !
i=1

Proof. Let us identify every element of Aλ (k) with its normal form with respect to the Gröbner
basis {g1 , . . . , gℓ } from Lemma 3.1. Lemma 3.2 implies that Aλ (k) consists of polynomials p
such that p is reduced with respect to {g1 , . . . , gℓ }, and p is λ-symmetric. By G we denote the
5

subgroup of Sℓ such that for every σ ∈ G and Λi + 1 6 j 6 Λi+1 , σ(j) satisfies Λi + 1 6 σ(j) 6
Λi+1 . Then G ∼
= Sλ1 × Sλ2 × . . . × Sλn .
By B we denote the set of vectors d = (d1 , . . . , dℓ ) ∈ Zℓ>0 such that dΛi +1 6 Λi and
dΛi +1 > dΛi +2 > . . . > dΛi+1 for every i 6 n. For every such vector, we associate the polynomial
fd =

X

dℓ
d2
d1
.
· · · zσ(ℓ)
zσ(2)
zσ(1)

σ∈G

We claim that these polynomials constitute a k-basis of Aλ (k). The leading monomial of fd
is z1d1 · · · zℓdℓ , so polynomials fd have distinct leading monomials. Hence, they are linearly
independent. It is sufficient to prove that for every p ∈ Aλ (k), the leading monomial of p
coincides with the leading monomial of fd for some d. If M = z1e1 · · · zℓeℓ is the leading monomial
of p, then eΛi +1 6 Λi for all i since p is reduced with respect to the Gröbner basis. Assume also
that for some k and i such that Λi + 1 6 k < Λi+1 , we have ek < ek+1 . Due to the symmetry,
e

the monomial M

e

k
zkk+1 zk+1
ek+1
e
zkk zk+1

, which is larger than M , occurs in p. Hence, the exponent of M lies

in B.
Thus, we need to compute the cardinality of B. For every fixed i, the number of tuples
(dΛi +1 , . . . , dΛi+1 ) such that Λi > dΛi +1 > . . . > dΛi+1 is equal to the number of multisets of size
Λi+1 − Λi = λi whose elements are chosen from {0, 1, . . . , Λi }. The number of such multisets is
Λi +λi
. Hence, the total number of elements in B is
= Λλi+1
λi
i

n 
Y
Λi+1

i=1

λi

ℓ!
= Q
.
n
λi !
i=1

Definition 3.8. For every i 6 n, by Aiλ (k) we denote the subalgebra of Aλ (k) consisting of
images of symmetric polynomials from k[zΛi +1 , . . . , zΛi+1 ].
For every nonzero a ∈ Aλ (k), by ν(a) we denote the minimal total degree of a monomial in
the reduction of a with respect to the Gröbner basis of IS . Note that since IS is homogeneous,
ν(a) does not depend on the ordering of variables. We also observe that if ab 6= 0, then
ν(ab) = ν(a) + ν(b).
The following Propositions 3.9 and 3.10 are important for applications of our results to
differential algebra (see the proof of Theorem 5.1).
Proposition 3.9. Let a ∈ Aiλ (k) be an element such that ν(a) = r > 0. Then ad = 0 for all
d > λri (ℓ − λi ).
Proof. Reordering variables if necessary, we can assume that i = 1. Then a is an image of
p(z1 , . . . , zλ1 ), where p is a symmetric polynomial in z1 , . . . , zλ1 over k without constant term.
Let g1 , . . . , gℓ be the Gröbner basis of IS from Lemma 3.1. Lemma 3.2 implies, that for every
d, the reduction of p(z1 , . . . , zλ1 )d with respect to this basis is a polynomial symmetric with
respect to z1 , . . . , zλ1 and with respect to all other variables. Let us denote this reduction by q.
Since degz1 q < degz1 g1 = 1, q does not involve z1 . Symmetry implies that q does not involve
also z2 , . . . , zλ1 . Analogously, for i > λ1 we have degzi q < degzλ +1 gλ1 +1 = λ1 + 1. Hence, the
1
total degree of q does not exceed λ1 (ℓ − λ1 ). On the other hand, IS is a homogeneous ideal, so
the total degree of q can not be less than ν(pd ) = dr. Thus, for all d > λr1 (ℓ − λ1 ), q is zero.
Proposition 3.10. Let a = xΛi +1 + . . . + xΛi+1 ∈ Aiλ (k). Then aλi (ℓ−λi ) 6= 0.

6

Proof. Our proof will use some facts about Shubert polynomials, in particular, Monk’s formula.
For details and profound account, we refer reader to the original paper [11] and the monograph
[10]. We will briefly recall the most important facts. Shubert polynomials are polynomials in
z1 , . . . , zℓ indexed by permutations. By Sω we will denote the Shubert polynomial corresponding
to a permutation ω ∈ Sℓ . We will use several properties of these polynomials:
1. The set of all Shubert polynomials in z1 , . . . , zℓ constitute a k-basis of k[z1 , . . . , zℓ ]/IS
(see [10, Prop. 2.5.3]).
2. By si we denote the transposition (i, i + 1) ∈ Sℓ . Then Ssi = z1 + . . .+ zi (see [10, §2.7.1]).
3. (Monk’s formula) For every permutation ω ∈ Sℓ :
X
Sω(jk)
Ssr · Sω ≡

(mod IS ),

j6r<k
l(ω(jk))=l(ω)+1

where l(ω) is the number of inversions in ω (see [10, Th. 2.7.1] and [11, Th. 3]).
Let us return to the proof of the proposition. Reordering variables if necessary, we may
assume that i = 1. Using the language of Shubert polynomials, we want to prove that
λ (ℓ−λ )
λ (ℓ−λ )
λ (ℓ−λ )
Ssλ11 1 = Ssλ11 1 Se 6= 0 (mod IS ), where e is the identity in Sℓ . The expression Ssλ11 1
can be represented as a sum of Shubert polynomials with non negative integer coefficients by
applying Monk’s formula λ1 (ℓ − λ1 ) − 1 times. Due to Monk’s formula, every summand in this
representation corresponds to some permutation ω such that l(ω) = λ1 (ℓ − λ1 ) and ω can be
written as a product of λ1 (ℓ − λ1 ) transpositions of the form (jk), where j 6 λ1 < k. Showing
that there exists at least one such permutation would imply that there is at least one such
λ (ℓ−λ )
summand, so Ssλ11 1 6= 0 (mod IS ). We claim that the following permutation satisfies both
properties


1
2
. . . λ1 λ1 + 1 λ1 + 2 . . .
ℓ
.
ω=
ℓ − λ1 + 1 ℓ − λ1 + 2 . . . ℓ
1
2
. . . ℓ − λ1
Direct computation shows that the number of inversions is exactly λ1 (ℓ − λ1 ). The second
condition is satisfied, because ω admits the following representation
ω=

λ1
Y

(iℓ)(i ℓ − 1) · · · (i λ1 + 1).

i=1

Remark 3.11. It can be shown, that ω in the proof above is the only permutation such that
l(ω) = λ1 (ℓ − λ1 ) and ω can be written as a product of λ1 (ℓ − λ1 ) transpositions of the form
(jk), where j 6 λ1 < k. Then we will obtain the congruence Ssλ1 ≡ N Sω (mod IS ), where N
is the number of representations of ω as a product of λ1 (ℓ − λ1 ) transpositions of the form (jk),
where j 6 λ1 < k.
For the special case λ = (2, 1, . . . , 1), there is a one-to-one correspondence between the set
of such representations and the set of expressions containing ℓ − 2 pair of parenthesis, which
are correctly matched, where transpositions of the form (1i) correspond to open parenthesis,
and transpositions of the form (2i) correspond to close parenthesis (it can be proved using
the combinatorial discussion after Th. 3 in [11]). Thus, in this case N = Cℓ−2 , the ℓ − 2-th
Catalan number. Moreover, since ω is a Grassmanian permutation, [10, Prop. 2.6.8] implies
that Sω = z32 · · · zℓ2 . Hence, we obtain the following curious congruence
(z1 + z2 )2(ℓ−2) ≡ Cℓ−2 z32 · · · zℓ2
7

(mod IS ).

4. Structure of the jet schemes of x1 · · · xn
The following theorem describes the structure of the m-th jet ideal of (x1 · · · xn ) in terms of
algebras Aλ (k) introduced in Definition 3.3. For an arbitrary λ = (λ1 , . . . , λn ) ∈ Zn>0 such that
i
h
(j)
λ1 + . . . + λn = m + 1, by pλ we denote the prime ideal in R = k xi | 1 6 i 6 n, 0 6 j 6 m
(j)

generated by polynomials xi with 1 6 i 6 n and 0 6 j < λi . In [1, Th. 2.2] it is proved that
minimal primes of Jm (x1 · · · xn ) are exactly all ideals of the form pλ .
Theorem 4.1.
 Consider R and pλ defined above. If we denote
 Let n, m be positive integers.
(j)
the subfield k xi | 1 6 i 6 n, λi 6 j 6 m of the field of fractions of R by Kλ , then
(R/Jm (x1 · · · xn ))pλ ∼
= Aλ (Kλ ) ,

where the isomorphism is an isomorphism of Kλ -algebras.
Lemma 3.7 and Theorem 4.1 imply the following corollary, which gives an alternative proof
of the main result of [16].
Corollary 4.2. For every λ = (λ1 , . . . , λn ) such that λ1 + . . . + λn = m + 1, the multiplicity of
the ideal Jm (x1 · · · xn ) along pλ is equal to λ(m+1)!
.
1 !···λn !
Proof of Theorem 4.1. For every i 6 n, we set Λi = λ1 + . . . + λi−1 (and Λ0 = 0). We will
denote Jm (x1 · · · xn ) by Jm .
Assume that λi = m + 1 for some i, say for i = 1. Then λ = (m + 1, 0, . . . , 0). The
(0)
(m)
ideal generated by Jm in the localization Rpλ is (x1 , . . . , x1 ), so (R/Jm )pλ ∼
= Kλ . Since
∼
Aλ (Kλ ) = Kλ , in what follows we can assume that λi 6 m for all i.
By Qλ we denote the primary component of Jm corresponding to prime ideal pλ . Let
B = (R/Jm )pλ = (R/Qλ )pλ . Then B is a local Kλ -algebra with maximal ideal pλ B. For every
element a ∈ Rpλ , by a we will denote its image in B.
We also introduce a local algebra Cλ (k) defined by
Cλ (k) = k [yi,j | 1 6 i 6 n, 0 6 j < λi ] /I,
where I is generated by nonleading coefficients of the polynomial
n
Y

i=1


yi,0 + yi,1 t + . . . + yi,λi −1 tλi −1 + tλi .

We denote the coefficient of the monomial tk in the above polynomial by fk . Thus, I =
(f0 , . . . , fm ). It will turn out that Aλ (Kλ ), B, and Cλ (Kλ ) are isomorphic.
Lemma 4.3. For every field k, local k-algebras Aλ (k) and Cλ (k) are isomorphic.
Proof. Consider two polynomial algebras S1 = k [yi,j | 1 6 i 6 n, 0 6 j < λi ] and S2 = k[z1 , . . . , zm+1 ].
Then Cλ (k) = S1 /I, where I is defined above, and Aλ (k) ⊂ A(k) = S2 /IS , where IS is the ideal
generated by all polynomials symmetric with respect to z1 , . . . , zm+1 without constant terms.
Furthermore,
IS = (σ1 (z1 , . . . , zm+1 ), . . . , σm+1 (z1 , . . . , zm+1 )),
where σd (z1 , . . . , zm+1 ) denotes the elementary symmetric polynomial in z1 , . . . , zm+1 of degree
1 6 d 6 m + 1. We define a k-algebra homomorphism α : S1 → S2 by
α(yi,j ) = σλi −j (zΛi +1 , . . . , zΛi+1 ).
8

(4.1)

Since elementary symmetric polynomials are algebraically independent, α is injective. Extending
α to S1 [t] → S2 [t] by α(t) = t, we obtain
!
n
Y

λi −1
λi
=
α
yi,0 + yi,1 t + . . . + yi,λi −1 t
+t
i=1

n
Y

i=1
m+1
Y


α(yi,0 ) + α(yi,1 )t + . . . + α(yi,λi −1 )tλi −1 + tλi =

(t + zi ) =

i=1

m+1
X

σm+1−i (z1 , . . . , zm+1 )ti .

i=0

Hence, α(fk ) = σm+1−k (z1 , . . . , zm+1 ) for 0 6 k 6 m, so α(I) ⊂ α(S1 ) ∩ IS . We claim that
α(I) = α(S1 ) ∩ IS . Let α(p) ∈ α(S1 ) ∩ IS , where p ∈ S1 . Since α(p) is λ-symmetric, Lemma 3.4
m+1
P
aj σj (z1 , . . . , zm+1 ).
implies that there exist λ-symmetric a1 , . . . , am+1 ∈ S2 such that α(p) =
j=1

Lemma 3.5 implies that there exist
! q1 , . . . , qm+1 ∈ S1 such that aj = α(qj ) for all 1 6 j 6 m + 1.
m+1
P
Hence, α(p) = α
qj fm+1−j , so the injectivity of α implies that p ∈ I.
j=1

Since α(I) = α(S1 ) ∩ IS , α defines an injective homomorphism β : S1 /I → S2 /IS , which
gives us the embedding β : Cλ (k) → A(k). Lemma 3.5 together with (4.1) imply that the
image β(Cλ (k)) coincides with the set of all λ-symmetric polynomials, so β gives a desired
isomorphism.
Lemma 4.4. There exists a surjective homomorphism ϕλ : Cλ (Kλ ) → B.

(m)
(1)
(0)
Proof. We set Xi (t) = xi + xi t + . . . + xi tm ∈ Rpλ [t]/ tm+1 . For fixed i 6 n, we will
find b0 , . . . , bm−λi ∈ Rpλ such that the polynomial Xi (t)Pi (t), where Pi (t) = b0 + b1 t + . . . +
bm−λi tm−λi , is equal to some monic polynomial of degree λi modulo tm+1 . Then elements
b0 , . . . , bm−λi should satisfy the following linear system

 (λ )
  
(m)
(m−1)
xi
xi i . . . xi
bm−λi
0
 .
.. 
..
 ..   .. 
..

 ..
  
.
. 
.

 .  = . .

(λi +1)  
(λi )
b1  0

 ... ...
xi
xi
(λi )
(λi −1)
b0
1
x
... ... x
i

i

(λ )

The matrix M of this system is upper-triangular modulo ideal pλ Rpλ with xi i on the diagi +1
satisfying this system. Moreover,
onal, so there is a unique vector (bm−λi , . . . , b1 , b0 ) ∈ Rpm−λ
λ
b0 ∈
/ pλ Rpλ .
We denote the product Xi (t)Pi (t) reduced modulo tm+1 by Qi (t) = ai,0 + ai,1 t + . . . +
(λ −1)
(0)
∈ pλ Rpλ , elements ai,0 , . . . , ai,λi −1 also lie in pλ Rpλ ,
ai,λi −1 tλi −1 + tλi . Since xi , . . . , xi i
so their images in B are nilpotents. We also note that
!
!
n
n
n
Y
Y
Y
Pi (t)
(mod tm+1 ).
(4.2)
Xi (t) ·
Qi (t) ≡
i=1

i=1

i=1

In what follows, the image of element a ∈ Rpλ in B will be denoted by a. By S we denote
(λ )
(m)
(λ )
the k-subalgebra of B generated by a0 , . . . , aλi −1 , xi i , . . . , xi , and the inverse of xi i , we
9

(0)

(λ −1)

c

∈ S. For every j, bj can be written as cj ,
set also p = pλ B ∩ S. We claim that xi , . . . , xi i
(λi )
(m)
where c = det M and cj is a polynomial in xi , . . . , xi over k. Then the following matrix
equality


  (λi −1)  
xi
cai,λi −1
c0 c1 . . . cλi −1
(λ −2) 
 0 c0 . . . cλi −1  
cai,λi −2 
xi i  



=

(4.3)


 .. . .

..
.
.
.


.
.
.


.

.
.
.
.
 . 
(0)
cai,0
0 ... 0
c0
xi
(0)

(λ −1)

can be considered as a system of polynomial equations in xi , . . . , xi i
over S. We denote
the matrix in the left-hand side of (4.3) by N . Vector (0, . . . , 0) ∈ S λi gives a solution of
this system modulo p. The jacobian matrix of the system (4.3) at (0, . . . , 0) is equal to N

λi (m−λi )
(λ )
modulo p. The determinant det N = cλ0 i at (0, . . . , 0) is equal to xi i
modulo p,
so it is an invertible element of S. Since p is a nilpotent ideal, S is complete with respect to
it. Thus, Hensel’s Lemma ([7, Sect. 4]) implies that there exists a unique solution of (4.3) in
S λi , which is equal to (0, . . . , 0) modulo p. Repeating the same argument for algebra B and
ideal pλ B, we have that(4.3) has a unique
 solution in B ⊃ S. Hence, these solutions coincide,
(0)

(λ −1)

(0)

(λ −1)

. So, xi , . . . , xi i
∈ S, and B is generated by
and are both equal to xi , . . . , xi i
{ai,j | 1 6 i 6 n, 0 6 j < λi } as a Kλ -algebra.
Consider
Qn ϕ : Kλ [yi,j | 1 6 i 6 n, 0 6 j < λi ] → B defined by ϕ(yi,j ) = ai,j . Since the coefficiets of i Xi (t) generate Jm (x1 · · · xn ), equality (4.2) implies that Ker ϕ ⊃ I, so we obtain
a homomorphism ϕλ : Cλ (Kλ ) → B. Since ai,j generate B over Kλ , ϕλ is surjective, so we are
done.
Let us return to the proof of Theorem 4.1. Lemma 4.3 and Lemma 4.4 imply that for every
λ ∈ Zn>0 such that λ1 + . . . + λn = m + 1 inequality
dimKλ (R/Jm (x1 · · · xn ))pλ 6 dimKλ Aλ (Kλ )

(4.4)

holds. Moreover, the equality in (4.4) would imply that ϕλ is an isomorphism.
The left-hand side of (4.4) is the multiplicity of Jm along pλ . Every pλ defines an affine
subspace, so has degree one. Since Jm is an ideal of codimension m + 1 generated by m + 1
polynomials, Bézout theorem ([4, Th. 1.7.7]) implies that the sum of multiplicities of these
prime components is equal to the product of degrees of generating polynomials. The latter is
equal to nm+1 . Summing up inequality (4.4) for all λ such that λ1 + . . . + λn = m + 1, we obtain
nm+1 6

X

dim Aλ (Kλ ) = (Lemma 3.7) =

X

λ1 +...+λn =m+1

λ

(m + 1)!
= nm+1 .
λ1 ! · · · λn !

Thus, all inequalities of the form (4.4) are equalities, so all ϕλ are isomorphisms.
Corollary 4.5. Let us consider the isomorphism
ψλ : (R/Jm (x1 · · · xn ))pλ → Aλ (Kλ )


(j)
lies in Aiλ (Kλ ).
from Theorem 4.1. For every 1 6 i 6 n and 0 6 j < λi , the image ψλ xi

 
(j)
= λi − j (see Definition 3.3).
Moreover, ν ψλ xi

10

Proof. In what follows we will use the notation from the proof of Theorem 4.1. Let us fix i and
(j)
j such that 1 6 i 6 n and 0 6 j < λi . The proof of Lemma 4.4 implies that the image of xi in
the algebra Cλ (Kλ ) lies in the subalgebra generated by yi,0 , . . . , yi,λi −1 . The construction of the
isomorphism between Cλ (Kλ ) and Aλ (Kλ ) (see (4.1)) implies that the images of yi,0 , . . . , yi,λi −1
lie in Aiλ (Kλ ).
In order to prove the second claim we need to introduce some notation. Due to the proof of
Theorem 4.1, the isomorphism ψλ can be factored as ψλ = β ◦ γ, where β : Cλ (Kλ ) → Aλ (Kλ )
is the isomorphism constructed in Lemma 4.3, and
γ : Bλ = (R/Jm (x1 · · · xn ))pλ → Cλ (Kλ )
is the inverse to the isomorphism ϕλ constructed in Lemma 4.4 (its injectivity proved in Theorem 4.1). For elements b ∈ Bλ and c ∈ Cλ (Kλ ), we can define function ν by ν(c) = ν(β(c)) and
(j)
ν(b) = ν(γ(b)). Our goal can be reformulated as ν(xi ) > λi − j. Definitions of β and γ imply
that ν(ai,j ) = ν(yi,j ) = λi − j, and for every invertible element z from Aλ (Kλ ), Bλ , or Cλ (Kλ )
we have ν(z) = 0.
We will prove the second claim of the corollary by induction on j. For the case j = 0, we
(0)
consider the last equation in (4.3). Since c and c0 are invertible, we have ν(xi ) = ν(ai,0 ) = λi .
For an arbitrary j, we consider (λi − j)-th equation in (4.3). Again, due to invertibility of c, ν of
(j)
the right-hand side is λi − j. The value of ν of all summands on the left-hand
 side except c0 xi
(j)

is larger than λi − j due to the induction hypothesis. Since c0 is invertible, ν xi

= λi − j.

5. Applications to differential algebra
Theorem 5.1. Let K be a differential field, (h1 , . . . , hn ) ∈ Zn>0 , and H = h1 + . . . + hn . By Ih
we denote the ideal


y1 · · · yn , (y1 · · · yn )′ , . . . , (y1 · · · yn )(h) ⊂ K{y1 , . . . yn }.
Then

(h )

(h )

1. The differential polynomial y1 1 · · · yn n does not lie in the radical of IH−1 .

d
(h )
(h )
2. The minimal d such that y1 1 · · · yn n
∈ IH is equal to max (hi + 1)(H − hi ) + 1.
16i6n

Proof. The first claim can be deduced from the result of [1], but we prefer to give a more straightforward argument. Let us consider a (not differential) homomorphism ϕ : K{y1 , . . . , yn } → K
defined by
(


0, if j < hi ,
(j)
=
ϕ yi
1, otherwise.
For every tuple (i1 , . . . , in ) ∈ Zn>0 such that i1 + . . . + in = h 6 H − 1, there exists j such




(i )
(i )
that ij < hj . Hence, ϕ y1 1 · · · yn n = 0, so ϕ (y1 · · · yn )(h) = 0. On the other hand,


(h )
(h )
ϕ y1 1 · · · yn n = 1. Thus, the first claim is proved.
By D we denote the number max (hi + 1)(H − hi ). We want to formulate our problem using
16i6n
i
h
(j)
the language of jet ideals. Since the ideal IeH = IH ∩K yi | 1 6 i 6 n, j 6 H is also generated
11

by y1 · · · yn , (y1 · · · yn )′ , . . . , (y1 · · · yn )(H) , it sufficient to consider IeH . Similarly to Remark 2.1,
the isomorphism
i
i
h
h
(j)
(j)
ψ : K yi | 1 6 i 6 n, j 6 H → RH = K xi | 1 6 i 6 n, j 6 H

(j)
(j)
e to the H-th jet ideal of x1 · · · xn . We denote the latter
defined by ψ(yi ) = j!xi sends
 IH Q
(h1 )
(hn )
(h )
(h )
by JH . Since ψ y1 · · · yn
= ( ni=1 hi !) x1 1 · · · xn n , it is sufficient to prove that the

d
(h )
(h )
minimal d such that x1 1 · · · xn n
∈ JH is equal to D + 1.
First, we prove that for every d > D



(h1 )

x1

n)
· · · x(h
n

d

∈ JH .

Let us consider a minimal prime of JH . Due to the discussion before Theorem 4.1, it is of the
form pλ , where λ = (λ1 , . . . , λn ) ∈ Zn>0 such that λ1 + . . . + λn = H + 1. Theorem 4.1 also
implies that
Bλ = (K{x1 , . . . , xn }/JH )pλ ∼
= Aλ (L)
d

(h )
(h )
for some field L. It is sufficient to show that for all λ the image of x1 1 · · · xn n
in this
localization is zero. Since
λ
+
.
.
.
+
λ
=
H
+
1
>
h
+
.
.
.
+
h
,
there
exists
i
such
that
h
1
n
i < λi .
 1
 n
(hi )
Due to Corollary 4.5, ν ψλ xi
= λi − hi , so Proposition 3.9 implies, that in Bλ


(hi )

xi

d0

= 0, if d0 >

λi
(H + 1 − λi ).
λi − hi

Since H − hi > H + 1 − λi and (λi − hi )(hi + 1) > λi , so we obtain
D > (hi + 1)(H − hi ) >

λi
(H + 1 − λi ).
λi − hi

d

(h )
Hence, xi i
= 0 in Bλ .


D
(h )
(h )
Now it is sufficient to prove that x1 1 · · · xn n
∈
/ JH . Without loss of generality, we can

assume that h1 > h2 > . . . > hn , so D = (h1 + 1)(H − h1 ). Set λ = (h1 + 1, h2 , . . . , hn ) and
Hi = (h1 + 1) + h2 + . . . + hi−1 = λ1 + . . . + λi−i
for all i 6 n. We define a homomorphism ψ : RH → Aλ (K) ⊂ K[z1 , . . . , zH+1 ]/IS by


σλi −j zHi +1 , . . . , zHi+1 , if j < λi ,
 

(j)
= 1, if j = λi ,
ψ xi


0, otherwise.

We claim that JH ⊂ Ker ψ. Note that coefficients of 1, t, . . . , tH in the product
n  
 




Y
(H)
(1)
(0)
tH ∈ Aλ (K)[t]
t + . . . + ψ xi
+ ψ xi
ψ xi
i=1

12

are exactly images of generators of JH . Similarly to the proof of Lemma 4.3, we obtain
n  
  H+1




Y
Y
(H)
(1)
(0)
(t + zi ) =
tH =
t + . . . + ψ xi
+ ψ xi
ψ xi
i=1

i=1

H+1
X

σi (z1 , . . . , zH+1 )tH+1−i + tH+1 = tH+1 .

i=1




(h )
(h )
Hence, JH ⊂ Ker ψ. On the other hand, ψ x1 1 . . . xn n = z1 + . . . + zh1 +1 . Proposition 3.10

D 

D
(h )
(h )
(h )
(h )
implies that ψ
x1 1 · · · xn n
6= 0, so x1 1 . . . xn n
∈
/ JH .

Corollary 5.2. Let n be a positive integer, and h1 , . . . , hn be non negative integers with the
sum H := h1 + . . . + hn . Then for ideals (not necessarily differential) I1 , . . . , In in a differential
K-algebra A the following inclusion holds
max(hi +1)(H−hi )+1

(h )
⊂ (I1 · · · In )(h1 +...+hn ) .
I1 1 · · · In(hn )

Proof. In Section 5 of [15] (see Corollary 6.2 and Lemma 6.3) it was proved that if for some s

s 

(h )
′
(h1 +...+hn )
n)
⊂ K{x1 , . . . , xn },
∈
x
·
·
·
x
,
(x
·
·
·
x
)
,
.
.
.
,
(x
·
·
·
x
)
x1 1 · · · x(h
1
n
1
n
1
n
n
then for the same s the inclusion
s

(h )
I1 1 · · · In(hn ) ⊂ (I1 · · · In )(h1 +...+hn )

(5.1)

holds for any ideals in any differential polynomial ring K{y1 , . . . , yN }.
We claim that the same inclusion also holds in any commutative associative
differential
K
s
(h1 )
(hn )
algebra A. Let I1 , . . . , In be ideals in A. Let a be any element of I1 · · · In
. Then

s
(h1 )
(hn )
there are finitely generated ideals J1 ⊂ I1 , . . ., Jn ⊂ In such that a ∈ J1 · · · Jn
. Let
a1 , . . . , aN be the union of the sets of generators of J1 , . . . , Jn . Consider a homomorphism of
differential K-algebras ϕ : K{y1 , . . . , yN } → A defined by ϕ(yi ) = ai . Then (5.1) implies that
(h1 +...+hm )
every b ∈ ϕ−1 (a) belongs to ϕ−1 (J1 ) · · · ϕ−1 (Jn )
. Applying ϕ, we conclude that
(h1 +...+hm )

a ∈ (J1 · · · Jn )

⊂ (I1 · · · In )

(h1 +...+hm )

,

so the claim is proved.
Now the corollary follows directly from Theorem 5.1.
Remark 5.3. Theorem 5.1 also shows that the degree in Corollary 5.2 can not be lower. As
an example we can take principal ideals I1 = (x1 ), I2 = (x2 ), . . ., In = (xn ) in K{x1 , . . . , xn }.
Analogously to [15, Corollary 6.3] one can use the inclusions
n

(J1 ∩ . . . ∩ Jn ) ⊂ J1 · · · Jn ⊂ J1 ∩ . . . ∩ Jn
valid for arbitrary ideals in any K-algebra to deduce the following result from Corollary 5.2.

13

Corollary 5.4. Let n be a positive integer, and h1 , . . . , hn be non negative integers with the
sum H := h1 + . . . + hn . Then for ideals (not necessarily differential) I1 , . . . , In in a differential
K-algebra A, the following inclusion holds

n max(hi +1)(H−hi )+n
(h )
(h +...+hn )
⊂ (I1 ∩ . . . ∩ In ) 1
.
I1 1 ∩ . . . ∩ In(hn )

Remark 5.5. Theorem 5.1 also gives a partial solution for classical membership problem
for differential ideal [x1 . . . xn ] ∈ K{x1 , . . . , xn }. More precisely, it implies that if for every
h1 , . . . , hn ∈ Z>0 and H = h1 + . . . + hn
d

(h )
n)
∈ [x1 · · · xn ],
(5.2)
x1 1 · · · x(h
n
where d = max (hi + 1)(H − hi ) + 1. Possibly, the result of such form can be also deduced using
16i6n

techniques of [6], but it is not straightforward.
Let us also note, that unlike Theorem 5.1 the degree d in (5.2) is not optimal in general. In
other words, taking more prolongations, it is possible to lower the degree d. For example, in the
5

(2) (2)
∈ [x1 x2 ].
case n = 2 and h1 = h2 = 2 the result of Levi ([9, Th. 3.2]) implies that x1 x2
Acknowledgements
This work was supported by the Austrian Science Fund FWF grant Y464-N18 and NSF
grants CCF-1563942, CCF-0952591, DMS-1606334.
The author is grateful to Alexey Ovchinnikov and Thieu Vo Ngoc for useful discussions and
to the referee for numerous comments and suggestions, which helped to improve the paper.
References
References
[1] R. Goward Jr. and K. Smith. The jet scheme of a monomial scheme. Comm. Algebra, 35
(5):1591–1598, 2006. URL http://dx.doi.org/10.1080/00927870500454927.
[2] Frederic Green, Daniel Kreymer, and Emanuele Viola. Block-symmetric polynomials correlate with parity better than symmetric. computational complexity, 26(2):323–364, 2017.
URL https://doi.org/10.1007/s00037-017-0153-3.
[3] R. Gustavson,
M. Kondratieva,
and A. Ovchinnikov.
New effective
differential Nullstellensatz.
Adv. Math.,
290:1138–1158, 2016.
URL
http://dx.doi.org/10.1016/j.aim.2015.12.021.
[4] R. Hartshorne. Algebraic Geometry, volume 52 of Grad. Texts in Math. Springer New York,
1977.
[5] A.P. Hillman, D.G. Mead, K.B. O’Keefe, and E.S. O’Keefe.
Ideals generated by products.
Proc. Amer. Math. Soc., 17(3):717–719, 1966.
URL
http://www.jstor.org/stable/2035398.
[6] A.P. Hillman, D.G. Mead, K.B. O’Keefe, and E.S. O’Keefe. A dynamic programming
generalization of xy to n variables. Proc. Amer. Math. Soc., 17(3):720–723, 1966. URL
http://www.jstor.org/stable/2035399.
[7] F.-V. Kuhlmann. Valuation theoretic and model theoretic aspects of local uniformization.
In Resolution of Singularities: a research textbook in tribute to Oskar Zariski, volume 181
of Progr. in Math. Birkhäiser, 1997.
14

[8] O. Léon Sanchez.
On the model companion of partial differential fields
with an automorphism.
Israel J. Math., 212(1):419–442, 2016.
URL
http://dx.doi.org/10.1007/s11856-016-1292-y.
[9] H. Levi. On the structure of differential polynomials and on their theory of ideals. Trans.
Amer. Math. Soc., 51:532–568, 1942. URL http://www.jstor.org/stable/1990077.
[10] L. Manivel. Symmetric functions, Shubert polynomials and degeneracy loci, volume 6 of
SMF/AMS Texts and Monographs. 2001.
[11] D. Monk. The geometry of flag manifolds. Proc. London Math. Soc. (3), (9):253–268, 1959.
[12] R. Moosa and T. Scanlon. Jet and prolongation spaces. J. Ints. Math. Jussieu, 9(2):
391–430, 2010. URL http://dx.doi.org/10.1017/S1474748010000010.
[13] T. Mora and M. Sala.
On the Gröbner bases of some symmetric systems and
their application to coding theory. J. Symbolic Comput., 35(2):177–194, 2003. URL
http://dx.doi.org/10.1016/S0747-7171(02)00131-1.
[14] M. Mustata.
Jet schemes of locally complete intersection canonical
singularities.
Invent.
Math.,
145(3):397–424,
2001.
URL
http://dx.doi.org/10.1016/S0747-7171(02)00131-1.
[15] Alexey Ovchinnikov, Gleb Pogudin, and N. Thieu Vo. Upper bound for effective differential
elimination. Submitted., 2016. URL https://arxiv.org/abs/1610.04022.
[16] C. Yeun. The multiplicity of jet schemes of a simple normal crossing divisor. Comm. Algebra,
35(12):3909–3911, 2007. URL http://dx.doi.org/10.1080/00927870701512168.

15

