arXiv:1705.08985v2 [math.CV] 12 Aug 2017

ON FINITE DETERMINACY OF COMPLETE INTERSECTION
SINGULARITIES
JANUSZ ADAMUS AND AFTAB PATEL
Abstract. We give an elementary combinatorial proof of the following fact:
Every real or complex analytic complete intersection germ X is equisingular –
in the sense of the Hilbert-Samuel function – with a germ of an algebraic set
deﬁned by suﬃciently long truncations of the deﬁning equations of X.

1. Introduction
The question of finite determinacy is one of the central problems in singularity theory. When dealing with singularities of (real or complex) analytic sets or
mappings, one would often like to forget the original infinite transcendental data
and to work instead with its (sufficiently long) Taylor truncation. This approach is
satisfactory in many circumstances. For example, the Milnor number of an isolated
hypersurface singularity can be correctly calculated this way. In general, however,
local analytic invariants of a given singularity may differ from those of its Taylor
approximations of arbitrary length (see Example 5.5 below).
The present paper is concerned with complete intersection singularities. It seems
not so well known that, from the algebraic point of view, complete intersection
singularities are finitely determined. More precisely, as in Theorem 1.1 below,
the Hilbert-Samuel function of a (real or complex) analytic germ defined by a
regular sequence {f1 , . . . , fk } coincides with the Hilbert-Samuel function of the
germ defined by sufficiently long Taylor polynomials of the series f1 , . . . , fk . In this
sense, every transcendental complete intersection singularity is equisingular with a
germ of an algebraic set. This result follows from the work of Srinivas and Trivedi
[10]. Here, we give an elementary alternative proof.
1.1. Main results. Let K = R or C. Let x = (x1 , . . . , xm ) and let mx denote the
maximal ideal in the ring of convergent power series K{x}. For a natural number
µ ∈ N and a power series f ∈ K{x}, the µ-jet of f , denoted j µ f , is the image of
f under the canonical epimorphism K{x} → K{x}/mµ+1
. For an ideal J in K{x},
x
let
HJ (η) = dimK K{x}/(J + mη+1
), η ∈ N
x
denote the Hilbert-Samuel function of K{x}/J.
Theorem 1.1. Let X be a K-analytic subspace of Km , of dimension m − k at
0 ∈ X. Suppose that the local ring OX,0 = K{x}/I is a complete intersection, and
2010 Mathematics Subject Classification. 58K40, 32S05, 32S10, 32B99, 32C05.
Key words and phrases. ﬁnite determinacy, complete intersection, singularities, Hilbert-Samuel
function.
J. Adamus’s research was partially supported by the Natural Sciences and Engineering Research
Council of Canada.
1

2

JANUSZ ADAMUS AND AFTAB PATEL

{f1 , . . . , fk } is a regular sequence in K{x} which generates the ideal I. Then, there
exists µ0 ∈ N such that, for every µ ≥ µ0 and for every k-tuple {g1 , . . . , gk } ⊂ K{x}
satisfying j µ gi = j µ fi , i = 1, . . . , k, we have:
(i) The k-tuple {g1 , . . . , gk } is a regular sequence in K{x}
(ii) The ideal J := (g1 , . . . , gk )·K{x} satisfies HJ (η) = HI (η) for all η ∈ N.
Our proof of Theorem 1.1 is elementary. Our approach is combinatorial, via the
so called diagrams of initial exponents of Hironaka (see Section 3 for details). In
fact, Theorem 1.1 is a straightforward consequence of our main result, Theorem 5.4
below, concerning stabilization of the sequence of diagrams of initial exponents of
ideals Iµ which are Taylor approximations of a given ideal I in K{x}.
More precisely, given an ideal I in K{x}, generated by some power series f1 , . . . , fk ,
one defines Iµ to be the ideal generated by the µ-jets j µ f1 , . . . , j µ fk . As was shown
in [1], the diagram N(I) of initial exponents of the ideal I is then contained in the
diagram N(Iµ ) of Iµ , for all µ sufficiently large. Since the Iµ are generated by polynomials, it is desirable to know if there exists µ large enough so that N(Iµ ) = N(I).
Theorem 5.4 asserts that this is indeed the case when f1 , . . . , fk form a regular
sequence. This gives an affirmative answer to a recent conjecture of AdamusSeyedinejad ([1, Conj. 3.7]).
1.2. Plan of the paper. As mentioned above, our main tool here is Hironaka’s
diagram of initial exponents. We recall this notion and its relevance to the HilbertSamuel function in Section 3. Simply speaking, calculating the Hilbert-Samuel
function of a quotient K{x}/I amounts to counting the points in the complement
of the diagram of I (cf. Remark 3.3).
To make this work easily accessible to a wide audience, we recall in Section 2 the
basic notions from local algebra and analytic geometry used in the paper. We also
show there how the problem stated in Theorem 1.1 over a field K, which is either
R or C, always reduces to the complex case.
Section 4 contains the key combinatorial argument of the paper, Proposition 4.2.
Combined with Proposition 2.1 below, it allows one to relate the multiplicity of the
ring K{x}/I to the cardinality of the so-called generic level of the complement of
the diagram of I.
Section 5 is concerned with approximation of diagrams. The main results, Theorems 5.4 and 1.1, are proved in Section 6.
2. Preliminaries
A sequence of elements a1 , . . . , ak in a ring A is called a regular sequence on
A if the ideal (a1 , . . . , ak ) is proper, a1 is a non-zerodivisor in A and, for each
i = 1, . . . , k − 1, the image of ai+1 is a non-zerodivisor in A/(a1 , . . . , ai ). Recall
([11, Ch. VIII, § 9, Cor. 2]) that if A is a local ring and a ∈ A is a non-zerodivisor
then dim A/(a) = dim A − 1 (where dim denotes the Krull dimension).
A ring R is called a complete intersection if there is a regular ring A and a
regular sequence a1 , . . . , ak in A such that R ∼
= A/(a1 , . . . , ak ). In particular, if
I = (a1 , . . . , ak ) is an ideal in a regular local ring A of dimension m, then A/I is a
complete intersection if and only if its Krull dimension satisfies dim A/I = m − k.
We have the following (see, e.g., [11, Ch. VIII, § 8–10] or [8, § 13–14]):
Proposition 2.1. For an ideal I in a Noetherian local ring A, the Hilbert-Samuel
function HI (η) of A/I, for sufficiently large η ∈ N, is a polynomial of degree d =

ON FINITE DETERMINACY OF COMPLETE INTERSECTION SINGULARITIES

3

dim A/I in η, whose initial coefficient is of the form e(I)/d!, where e(I) ∈ Z. The
integer e(I) is called the multiplicity of the ring A/J.
Let now K = R or C, let x = (x1 , . . . , xm ), and let K{x} denote the ring of
convergent power series in variables x with coefficients in K. Let {f1 , . . . , fk } be
a regular sequence in K{x}, and let I := (f1 , . . . , fk ) · K{x}. Let X be a complex
analytic subspace of Cm whose local ring at 0 ∈ Cm is defined by the ideal I · C{x};
i.e., OX,0 ∼
= C{x}/I · C{x}. By the Macaulay unmixedness theorem (see, e.g.,
[4, Cor. 18.14]), all associated primes of I in C{x} are of height k, and hence all
irreducible components of the germ X0 are of dimension m − k. In particular, the
germ X0 is reduced, and so X can be thought of simply as a complex analytic
subset of an open neighbourhood Ω of 0 in Cn , which is of pure dimension m − k.
Then, after a linear change of coordinates in Cm , there is a fundamental system
of neighbourhoods U = U ′ × U ′′ of 0 ∈ Cm , with U ′ ⊂ Cm−k and U ′′ ⊂ Ck , such
that the restriction π|X : X ∩ U → U ′ of the projection π : U ′ × U ′′ → U ′ is a
proper and surjective map, and (π|X )−1 (0) = {0} (see, e.g., [9, Ch. III, Prop. 4]).
Let p denote the cardinality of a generic fibre of π|X . By [3, Thm. 6.5], we have
(2.1)

p = e(I) ,

where e(I) is the multiplicity of the local ring OX,0 ∼
= C{x}/I ·C{x}.
Since X is pure-dimensional and the fibres of π|X are finite, the Remmert open
mapping theorem (see, e.g., [7, Ch. V, § 6, Thm. 2]) implies that π|X is open. It
then follows from the Cohen-Macaulayness of OX,0 and [5, Prop. 3.20] that π|X is
a flat mapping (after shrinking U , if needed). Finally, recall that, by [5, Cor. 3.13],
a finite complex analytic map ϕ : X → Y , with Y reduced, is flat if and only if the
multiplicity map
X
νϕ : Y ∋ y 7→ νϕ (y) =
dimC Oϕ−1 (y),x ∈ Z
x∈ϕ−1 (y)

is locally constant on Y . Since, over a generic y ∈ U ′ , νπ|X (y) is just the cardinality
p of the fibre (π|X )−1 (y), it follows from (2.1) that

(2.2) e(I) = dimC O(π|X )−1 (0),0 = dimC C{x1 , . . . , xk }/(I ·C{x})(0) =
dimK K{x1 , . . . , xk }/I(0) ,
where the evaluation is at xk+1 = · · · = xm = 0 (cf. Section 3). The last equality
in (2.2) follows from the fact that (I ·C{x})(0) = I(0)·C{x1 , . . . , xk }.
3. Diagram of initial exponents and Hilbert-Samuel function
In this section, we recall the notion of Hironaka’s diagram of initial exponents
as well as his division theorem. In fact, we shall only use it here in the following
simplified setting. For a detailed exposition, we refer the reader to [2].
Let K = R or C. Let x = (x1 , . . . , xm ) and let mx denote the maximal ideal in
the ring of convergent power series K{x}. We will write xβ for xβ1 1 . . . xβmm , where
β = (β1 , . . . , βm ) ∈ Nm .
Let 1 ≤ k < m be an integer. We will sometimes distinguish the last m −
k variables and write x̃ = (xk+1 , . . . , xm ), for short. In that case, for a power
series F ∈ K{x} = K{x̃}{x1 , . . . , xk }, we define its evaluation at 0 as F (0) =
F (x1 , . . . , xk , 0, . . . , 0) ∈ K{x1 , . . . , xk }, and for an ideal J in K{x} define J(0) :=
{F (0) : F ∈ J}, the evaluated ideal.

4

JANUSZ ADAMUS AND AFTAB PATEL

We define a total ordering of Nm by lexicographic ordering of the (m + 1)-tuples
(|β|, β1 , . . . , βm ), where
P β = (β1 , . . . , βm ) and |β| := β1 + · · · + βm is the length of β.
The support of F = β∈Nm fβ xβ is defined as supp(F ) := {β ∈ Nm : fβ 6= 0}. The
initial exponent of F , denoted exp(F ), is the minimum (with respect to the above
total ordering) over all β ∈ supp(F ). Similarly, supp(F (0)) = {(β1 , . . . , βm ) ∈
supp(F ) : βk+1 = · · · = βm = 0} and exp(F (0)) = min{β ∈ supp(F (0))}, for the
evaluated series (with respect to the total ordering induced on Nk ). Of course,
supp(F (0)) ⊂ supp(F ).
Given an ideal J in K{x}, we denote by N(J) the diagram of initial exponents
of J, that is,
N(J) = {exp(F ) : F ∈ J \ {0}} .
Similarly, for the evaluated ideal J(0), we set
N(J(0)) = {exp(F (0)) : F ∈ J, F (0) 6= 0} .
Note that every diagram N(J) ⊂ Nm satisfies the equality N(J) + Nm = N(J).
(Indeed, for β ∈ N(J) and γ ∈ Nm , one can choose F ∈ J such that exp(F ) = β;
then xγ F ∈ J and hence β + γ = exp(xγ F ) is in N(J).)
Remark 3.1. Let D(m) = {N ⊂ Nm : N + Nm = N} be the collection of diagrams
in Nm . It is not difficult to show that, for every N ∈ D(m), there exists a unique
smallest (finite) set V (N) ⊂ N such that V (N) + Nm = N (see, e.g., [2, Lem. 3.8]).
The elements of V (N) are called the vertices of the diagram N.
We now recall a combinatorial interpretation of Hironaka’s division theorem:
For a proper ideal J in K{x}, set ∆ = Nm \ N(J), and define K{x}∆ = {F ∈
K{x} : supp(F ) ⊂ ∆}. Consider the canonical projection K{x} → K{x}/J and its
restriction to K{x}∆, called κ.
Proposition 3.2 (cf. [6, § 6, Prop. 9]). The mapping κ : K{x}∆ → K{x}/J is
surjective. In other words, every power series F ∈ K{x}\J is congruent modulo J
to a power series supported in Nm \ N(J).
Remark 3.3. The above proposition allows one to express the Hilbert-Samuel
function of an ideal in terms of the complement of the diagram of initial exponents
of that ideal: Let x = (x1 , . . . , xm ), and let mx be the maximal ideal in K{x}. For
an ideal J in K{x}, let HJ (η) = dimK K{x}/(J + mη+1
x ) denote the Hilbert-Samuel
function of K{x}/J. It follows from Proposition 3.2 that
(3.1)

HJ (η) = # (Nm \ N(J)) ∩ {β ∈ Nm : |β| ≤ η}.

We complete this section with the following simple but useful observation.
Proposition 3.4. For an ideal J in K{x}, the following conditions are equivalent:
(i) dim(K{x}/J) ≤ dim K{x} − k.
(ii) After a linear change of coordinates in Kn , the diagram N(J) has a vertex
on each of the first k coordinate axes in Nm .
Proof. Condition (ii) clearly implies (i). On the other hand, (i) implies that (after
a linear change of coordinates, if needed) K{x}/J is a finite K{x̃}-module, where
x̃ = (xk+1 , . . . , xm ) (see, e.g., [9, Ch. III, Prop. 2]). The latter is equivalent to
saying that the images of x1 , . . . , xk in K{x}/J are integral over K{x̃}. Therefore,
by Proposition 3.2, for every i = 1, . . . , k, the complement of the diagram N(J)
in Nm contains at most finitely many elements on the i’th coordinate axis in Nm .
Hence (ii).


ON FINITE DETERMINACY OF COMPLETE INTERSECTION SINGULARITIES

5

4. Counting points in the complement of a diagram
Let k and m be positive integers, with k < m. For a diagram N ∈ D(m), set
∆(N) := Nm \ N. Define
(k)

Dk (m) := {N ∈ D(m) : ∃α ∈ Z+ s. t. (α, 0, . . . , 0), . . . , (0, . . . , α , 0, . . . ) ∈ N} .
Then, N ∈ Dk (m) if and only if ∆(N) ⊂ {0, . . . , α − 1}k × Nm−k for some α ∈ Z+ .
Equivalently, N has a vertex on each of the first k coordinate axes in Nm (cf.
Remark 3.1). Further, let Dk∗ (m) denote the set of those N ∈ Dk (m) that have no
vertices on any other coordinate axis of Nm .
For N ∈ Dk∗ (m) and a = (ak+1 , . . . , am ) ∈ Nm−k , define
La (N) := {(β1 , . . . , βk ) ∈ Nk : (β1 , . . . , βk , ak+1 , . . . , am ) ∈ ∆(N)} ,
and let δa (N) := # La (N) denote the cardinality of La (N). We will call La (N) the
a-level of ∆(N).
Remark 4.1. Note that, by finitness of the vertex set V (N) (Remark 3.1), for
every N ∈ Dk∗ (m) there exists N ∈ N such that
La (N) = La′ (N) for all a, a′ ∈ Nm−k \{(βk+1 , . . . , βm ) : βi < N, i = k+1, . . . , m} .
We may thus speak of the generic level La (N) of ∆(N).
The following result is the key technical ingredient of our arguments.
Proposition 4.2. Let k and m be positive integers, with k < m. Let N ∈ Dk∗ (m),
and let δ be the cardinality of the generic level of ∆(N). Then, for sufficiently large
η ∈ N, the function
ΦN (η) := # ∆(N) ∩ {β ∈ Nm : |β| ≤ η}
is a polynomial in η of degree m − k with initial coefficient

δ
.
(m − k)!

For the proof of the proposition, we will need the following simple observation,
which we prove for the sake of completeness.
Lemma 4.3. Let Std denote the number of d-tuples (β1 , . . . , βd ) ∈ Nd satisfying
β1 + · · · + βd ≤ t ,

where t ∈ N .

Then, Std is a polynomial of degree d in t with leading coefficient 1/d!
Proof. We proceed by induction on d. For d = 1, clearly St1 = t + 1, as required.
Suppose then that d + 1 ≥ 2 and we have
Std =

1 d
t + ad−1 td−1 + · · · + a0 .
d!

To find Std+1 , let S̃ξ be the number of solutions in Nd to
β1 + · · · + βd ≤ t − ξ .
Observe that Std+1 =

Pt

ξ=0

d
S̃ξ = St−ξ
=

S̃ξ . By the inductive hypothesis, we have
1
(t − ξ)d + ad−1 (t − ξ)d−1 + · · · + a0 ,
d!

6

JANUSZ ADAMUS AND AFTAB PATEL

hence, after rearranging the terms of Std , . . . , S0d ,
!
!
!
t
t
t
X
X
X
1
1 .
id−1 + · · · + a0
id + ad−1
(4.1)
Std+1 =
d! i=0
i=0
i=0
Pn ν
Now, for n, ν ≥ 1, consider the sum Sν (n) :=
i=0 i . We shall show, by
induction on ν, that Sν (n) is a polynomial in n of degree ν+1 with leading coefficient
1/(ν + 1). Indeed, for ν = 1, we have S1 (n) = n(n + 1)/2, as required. For ν ≥ 2,
the identity

ν 
X
ν +1 r
ν+1
ν+1
p
(p + 1)
−p
=
r
r=0

summed up over p = 1, . . . , n, yields
 n

ν 
ν 
X
ν +1 X r X ν +1
Sr (n) ,
(n + 1)ν+1 − 1 =
p =
r
r
r=0
p=1
r=0
hence
(4.2)

(n + 1)ν+1 − 1
Sν (n) =
−
ν +1

Pν−1
r=0

ν+1
r


Sr (n)
.
ν +1

By the inductive hypothesis, the second summand on the right hand side of (4.2)
is a polynomial in n of degree ν, and hence the degree and leading coefficient of
Sν (n), as determined by the first summand, are ν + 1 and 1/(ν + 1), respectively.
Finally, applying the above to (4.1) with ν = t, we obtain
1
1
·
td+1 + φ(t) ,
d! d + 1
where φ is a polynomial in t of degree less than d + 1.
Std+1 =



We are now ready to prove Proposition 4.2.
Proof of Proposition 4.2. Let N ∈ N be such that La = La′ for all a, a′ ∈ Nm−k \ Γ,
where Γ = {(βk+1 , . . . , βm ) : βi < N, i = k + 1, . . . , m} (see Remark 4.1). Pick
a ∈ Nm−k \ Γ.
Pm−k
By finiteness of Γ, there is a constant C such that ΦN (η) = C + i=1 Pi (η),
where P1 (η) is the number of m-tuples (β1 , . . . , βm ) in Nm satisfying
β1 + · · · + βm
βk+1

≤
≥

η
N

(β1 , . . . , βk )

∈

La ,

and, for i > 1, Pi (η) is the number of m-tuples (β1 , . . . , βm ) in Nm satisfying
β1 + · · · + βm ≤
βk+1 <
..
.

η
N

βk+i−1
βk+i

<
≥

N
N

(β1 , . . . , βk )

∈

La .

ON FINITE DETERMINACY OF COMPLETE INTERSECTION SINGULARITIES

7

It now suffices to show that, for η sufficiently large, P1 (η) is a polynomial in η of
degree m − k with initial coefficient δa /(m − k)!, and each Pi (η), for i > 1, is a
polynomial in η of degree strictly less than m − k.
First, let us consider P1 (η). By applying a coordinate transformation βk+1 :=
βk+1 + N , we see that P1 (η) is the same as the number of m-tuples satisfying
β1 + · · · + βm ≤
(β1 , . . . , βk ) ∈

η−N
La .

We define Cν to be the number of m-tuples (β1 , . . . , βm ) in Nm satisfying
β1 + · · · + βm

≤

η−N

β1 + · · · + βk

=

ν

(β1 , . . . , βk )

∈

La .

Further, let Bν be the number of (m − k)-tuples (βk+1 , . . . , βm ) in Nm−k satisfying
βk+1 + · · · + βm ≤ η − ν − N,
and let Dν be the number of k-tuples (β1 , . . . , βk ) in La satisfying
β1 + · · · + βk = ν.
P∞
Then, for every ν ∈ N, we have Cν = Bν Dν . Note also that P1 (η) = ν=0 Cν .
Now, since N has a vertex on each of the first k coordinate axes in Nm , there
exists M > 0 such that Dν = 0 for all ν ≥ M , and hence
(4.3)

δa =

M
X

Dν ,

ν=0

and P1 (η) =

M
X

Bν D ν .

ν=0

m−k
Note that, in terms of Lemma 4.3, Bν = Sη−ν−N
, and thus, by that lemma,

P1 (η) =

M
X

ν=0

Dν ·




(η − ν − N )m−k
+ φ(η − ν − N ) ,
(m − k)!

where φ is a polynomial of degree strictly less than m−k. It follows that the leading
PM
Dν
δa
coefficient of P1 (η) is equal to ν=0
, which is
, by (4.3), as required.
(m − k)!
(m − k)!
Next, we show that Pi (η) is a polynomial of degree less than m−k, for any i > 1.
Indeed, for i > 1, let Qi = {(α1 , . . . , αi−1 ) ∈ Ni−1 : αj < N for j = 1, . . . , i − 1},
and let Fµ be the number of (i − 1)-tuples (βk+1 , . . . , βk+i−1 ) in Qi satisfying
βk+1 + · · · + βk+i−1 = µ .
Let R ∈ N be such that Fµ = 0 for µ ≥ R, and let Dν be defined as above. Also,
we apply the coordinate transformation βk+i := βk+i + N , as before. Let B̄ν,µ be
the the number of (m − k − i + 1)-tuples (βk+i , . . . , βm ) in Nm−k−i+1 satisfying
βk+i + · · · + βm ≤ η − ν − µ − N ,

8

JANUSZ ADAMUS AND AFTAB PATEL

and let C̄µ,ν be the number of m-tuples (β1 , . . . , βm ) in Nm satisfying
β1 + · · · + βm
β1 + · · · + βk

≤
=

(β1 , . . . , βk ) ∈
βk+1 + · · · + βk+i−1 =
(βk+1 , . . . , βk+i−1 )

∈

η−N
ν
La
µ
Qi .

Then, C̄µ,ν = Dν B̄µ,ν Fµ , for all ν, µ ∈ N, and Pi (η) =
the choice of M and R,
Pi (η) =

M X
R
X

P∞ P∞
µ=0

ν=0

C̄µ,ν . Thus, by

Dν B̄ν,µ Fµ .

ν=0 µ=0
m−k−i+1
Note that, in terms of Lemma 4.3, B̄ν,µ = Sη−ν−µ−N
, and hence, by that lemma
and because i > 1, we get deg Pi < m − k, which completes the proof.


5. Approximation of diagrams
Let K = R or C. Let x = (x1 , . . . , xm ) and let mx denote the maximal ideal
of K{x}. Recall that, for a natural number µ ∈ N and a power series f ∈ K{x},
the µ-jet of f , denoted j µ f , is the image of f under the canonical epimorphism
K{x} → K{x}/mµ+1
.
x
In the present section we study the relations between the diagram of initial exponents of a given ideal in K{x} and those of its Taylor approximations. Throughout
this section, we will use the following notation: Let f1 , . . . , fk be a finite collection
of power series in K{x} and let
I = (f1 , . . . , fk ) · K{x} .
For a natural number µ, let Iµ denote the ideal generated by the µ-jets j µ fi ,
i = 1, . . . , k, that is,
Iµ = (j µ f1 , . . . , j µ fk ) · K{x} .
The following simple observation will be used often in our considerations.
Remark 5.1. Given a power series F ∈ K{x}, suppose that µ ≥ |exp(F )|. Then
exp(G) = exp(F )
µ

for every G ∈ K{x} with j G = j µ F .
Let us recall now a results from [1] describing the connection between the diagram
of initial exponents of I and those of its approximations Iµ . We include a short
proof for the reader’s convenience.
Lemma 5.2 (cf. [1, Lem. 3.2]). Let I and {Iµ }µ∈N be as above. Let l0 be the maximum of lengths of vertices of the diagram N(I). Then:
(i) For every µ ≥ l0 and every k-tuple {g1 , . . . , gk } satisfying j µ gi = j µ fi ,
i = 1, . . . , k, the ideal J := (g1 , . . . , gk )·K{x} satisfies N(J) ⊃ N(I).
In particular, N(Iµ ) ⊃ N(I) for all µ ≥ l0 .
(ii) Given l ≥ l0 , for all µ ≥ l and every k-tuple {g1 , . . . , gk } satisfying j µ gi =
j µ fi , i = 1, . . . , k, the ideal J := (g1 , . . . , gk )·K{x} satisfies
N(J) ∩ {β ∈ Nm : |β| ≤ l} = N(I) ∩ {β ∈ Nm : |β| ≤ l} .

ON FINITE DETERMINACY OF COMPLETE INTERSECTION SINGULARITIES

9

Proof. Fix µ ≥ l0 and let g1 , . . . , gk ∈ K{x} be such that j µ gi = j µ fi , i = 1, . . . , k.
By Remark 3.1, for the proof of (i) it suffices to show that the vertices of N(I) are
contained in N(J). Let then F ∈ I be a representative of a vertex of N(I). We can
Pk
write F = i=1 hi fi , for some hi ∈ K{x}. Then,
k
k
k
k
X
X
X
X
hi g i ) ,
hi ·j µ gi ) = j µ (
hi ·j µ fi ) = j µ (
hi f i ) = j µ (
jµF = jµ(
i=1

i=1

i=1

i=1

since the power series of a product up to order µ depends only on the power series
up to order µ of its factors. Hence, by Remark 5.1, we have equality of the initial
Pk
exponents exp(F ) = exp( i=1 hi gi ). It follows that exp(F ) ∈ N(J), which proves
(i).
For the proof of part (ii), fix l ≥ l0 . Let µ ≥ l and let g1 , . . . , gk ∈ K{x} be such
that j µ gi = j µ fi , i = 1, . . . , k. By part (i), it now suffices to show that
N(J) ∩ {β ∈ Nm : |β| ≤ l} ⊂ N(I) ∩ {β ∈ Nm : |β| ≤ l} .
Pick β ∗ ∈ Nm \ N(I) with |β ∗ | ≤ l. Suppose that β ∗ ∈ N(J). Then, one can choose
P
G ∈ J with exp(G) = β ∗ . Write G = ki=1 hi · gi for some hi ∈ K{x}. We have
k
k
k
k
X
X
X
X
hi f i ) ,
hi · j µ f i ) = j µ (
hi · j µ g i ) = j µ (
hi g i ) = j µ (
j µG = j µ(
i=1

i=1

i=1

i=1

Pk
and since µ ≥ l ≥ |exp(G)|, it follows that exp(G) = exp( i=1 hi fi ), by Remark 5.1
again. Therefore β ∗ ∈ N(I); a contradiction.

Lemma 5.3. Let I = (f1 , . . . , fk ) · K{x} be such that the diagram N(I) has finite
complement in Nm (i.e., N(I) ∈ Dm (m)). Then, there exists µ0 ∈ N such that,
for all µ ≥ µ0 and all k-tuples {g1 , . . . , gk } satisfying j µ gi = j µ fi , i = 1, . . . , k, the
ideal J := (g1 , . . . , gk ) · K{x} satisfies N(J) = N(I). In particular, N(Iµ ) = N(I)
for all µ ≥ µ0 .
Proof. Let l0 be the maximum of lengths of vertices of the diagram N(I), let l1 :=
max{|exp(fi )| : i = 1, . . . , k}, and let l2 := max{|β| : β ∈ Nm \ N(I)} + 1. Set
µ0 := max{l0 , l1 , l2 }.
Pick µ ≥ µ0 and g1 , . . . , gk ∈ K{x}, such that j µ gi = j µ fi for i = 1, . . . , k.
Set J := (g1 , . . . , gk ) · K{x}. Then, Remark 5.1 and inequality µ ≥ l1 imply that
exp(gi ) = exp(fi ) for i = 1, . . . , k.
Pk
Let F ∈ I be a representative of a vertex β ∗ of N(I). Then, F = i=1 hi fi ,
for some h1 , . . . , hk ∈ K{x}. Since µ ≥ l0 , we have |exp(F )| ≤ µ and hence, by
Remark 5.1, exp(F ) = exp(j µ (F )). Therefore,
k
k
X
X
hi j µ fi )) =
hi fi )) = exp(j µ (
exp(F ) = exp(j µ (
i=1

i=1

k
k
X
X
µ
µ
hi gi )) ,
hi j gi )) = exp(j (
exp(j (
µ

i=1

i=1

P
and thus exp(F ) = exp( ki=1 hi gi ), by Remark 5.1 again. It follows that β ∗ ∈ N(J),
and hence N(I) ⊂ N(J), since β ∗ was an arbitrary vertex.
Conversely, let G ∈ J be a representative of a vertex β̃ of N(J). Then, G =
Pk
i=1 hi gi , for some h1 , . . . , hk ∈ K{x}. The inequality |exp(G)| ≤ µ0 now follows

10

JANUSZ ADAMUS AND AFTAB PATEL

from the definition of µ0 and the inclusion Nm \ N(J) ⊂ Nm \ N(I) proved above.
P
One shows as above that then exp(G) = exp( ki=1 hi fi ), by Remark 5.1, and hence
β̃ ∈ N(I). Since β̃ was an arbitrary vertex, we get N(J) ⊂ N(I), which completes
the proof.

Note that, in general, there need not be equality between the diagrams of I
and Iµ , for µ arbitrarily large. This is shown in Example 5.5 below. In [1], the
authors conjectured that the equality holds for large µ in case when I is a complete
intersection. This is indeed the case. More generally, we have the following result.
Theorem 5.4. Suppose that I is an ideal in K{x} generated by a regular sequence
{f1 , . . . , fk }. Then, there exists µ0 ∈ N such that, for every µ ≥ µ0 and for every
k-tuple {g1 , . . . , gk } in K{x} satisfying j µ gi = j µ fi , i = 1, . . . , k, we have:
(i) The k-tuple {g1 , . . . , gk } forms a regular sequence in K{x}
(ii) After a linear change of coordinates in Km which makes K{x}/I into a finite
K{x̃}-module, the ideal J := (g1 , . . . , gk )· K{x} satisfies N(J) = N(I).
We shall prove Theorem 5.4 in Section 6.
Example 5.5 ([1, Ex. 3.5]). Let I be an ideal in K{x, y} generated by f1 and f2
of the form
f1 = x3 y + xy 4 + xy 5 + xy 6 + . . . ,
f2 = x2 y 3 + y 6 + y 7 + y 8 + . . . .
Then, for every µ ≥ 5, we have y 2 ·j µ f1 − x·j µ f2 = xy µ+1 , hence (1, µ+ 1) ∈ N(Iµ ).
However, (1, k) ∈
/ N(I) for any k ≥ 1.
We prove the latter by contradiction. Suppose there exists F ∈ I with exp(F ) =
(1, k0 ) for some k0 ∈ N. Choose h1 , h2 ∈ K{x, y} so that F = h1 f1 + h2 f2 .
Let axα1 y α2 and bxβ1 y β2 be the initial terms of h1 and h2 respectively. Clearly,
in(h1 )·in(f1 )+in(h2 )·in(f2 ) = 0, for otherwise the x-component of exp(h1 f1 +h2 f2 )
would not be 1. Therefore, axα1 +3 y α2 +1 +bxβ1 +2 y β2 +3 = 0. It follows that α1 +1 =
β1 , α2 = β2 + 2, and a + b = 0. Consequently,
(5.1)

in(h1 ) · f1 + in(h2 ) · f2 = 0.
(1)

(1)

(1)

Now, set hi := hi − in(hi ), i = 1, 2. By (5.1), we get h1 f1 + h2 f2 = F . Hence,
(1)
(1)
by repeating the above argument, in(h1 ) · f1 + in(h2 ) · f2 = 0. We can thus set
(2)
(2)
(1)
(1)
(2)
hi := hi − in(hi ), i = 1, 2, and again obtain h1 f1 + h2 f2 = F . By induction,
(j−1)
(j−1)
(j)
), i = 1, 2, then
− in(hi
if hi = hi
(5.2)

(j)

(j)

h1 f1 + h2 f2 = F, for all j.
(j+1)

is strictly greater than
Note that, for every j ≥ 1, the initial exponent of hi
(j)
that of hi , by construction. Therefore, by the Krull Intersection Theorem, the
(j)
(j)
sequences (h1 )j≥1 and (h2 )j≥1 converge to zero in the Krull topology of K{x, y}.
It follows from (5.2) that 0 · f1 + 0 · f2 = F , hence F = 0, which contradicts the
choice of F .


ON FINITE DETERMINACY OF COMPLETE INTERSECTION SINGULARITIES

11

6. Proofs of the main results
Lemma 6.1. Let {f1 , . . . , fk } be a regular sequence in K{x} and let I = (f1 , . . . , fk )·
K{x}. Then, there exists a positive integer µ0 such that, after a linear change of
coordinates in Km , for every µ ≥ µ0 and a k-tuple {g1 , . . . , gk } in K{x} satisfying
j µ gi = j µ fi , i = 1, . . . , k, we have:
(i) The g1 , . . . , gk form a regular sequence in K{x}
(ii) The ideal J := (g1 , . . . , gk )· K{x} satisfies N(J(0)) = N(I(0)), where the
evaluation is at xk+1 = · · · = xm = 0.
Proof. By assumption on f1 , . . . , fk , we have dim K{x}/I = m − k. Hence, by
Proposition 3.4, after a linear change of coordinates in Km , we may assume that
the diagram N(I) has a vertex on each of the first k coordinate axes of Nm . It
follows that the complement Nk \ N(I(0)) is a finite set. Note that the ideal I(0)
is generated by the f1 (0), . . . , fk (0).
Let now µ0 ∈ N be the constant from Lemma 5.3 (for the ideal I(0)). Pick
µ ≥ µ0 and g1 , . . . , gk in K{x} such that j µ gi = j µ fi , i = 1, . . . , k, and set J :=
(g1 , . . . , gk ) · K{x}. We then have j µ (gi (0)) = (j µ gi )(0) = (j µ fi )(0) = j µ (fi (0)),
for i = 1, . . . , k, and hence, by Lemma 5.3, the ideal J(0) satisfies N(J(0)) =
N(I(0)). This proves (ii). Moreover, the last equality implies that the complement
Nk \ N(J(0)) is finite, and so the Krull dimension of K{x1 , . . . , xk }/J(0) is zero.
Hence, dim K{x}/J = m − k, which means that the k generators g1 , . . . , gk of J
form a regular sequence in K{x}.

We are now ready to prove Theorem 5.4.
Proof of Theorem 5.4. By assumption on f1 , . . . , fk , we have dim K{x}/I = m − k.
Hence, by Proposition 3.4, after a linear change of coordinates in Km , we may
assume that N(I) ∈ Dk∗ (m). By Proposition 2.1, Remark 3.3, and Proposition 4.2,
we thus have
(6.1)

e(I) = δ(N(I)) ,

where e(I) is the multiplicity of the ring K{x}/I, and δ(N(I)) is the cardinality
of the generic level of ∆(N(I)). By Proposition 3.2, dimK K{x1 , . . . , xk }/I(0) =
# (Nk \ N(I(0))), and hence, (2.2) and (6.1) imply that
(6.2)

δ(N(I)) = # (Nk \ N(I(0))) .

Let now l0 be the maximum of lengths of vertices of N(I), and let µ0 be the
greater of l0 and the µ0 from Lemma 6.1. Pick µ ≥ µ0 , and let {g1 , . . . , gk } be
an arbitrary k-tuple in K{x} satisfying j µ gi = j µ fi , i = 1, . . . , k. By Lemma 6.1,
g1 , . . . , gk form a regular sequence in K{x}, and the ideal J := (g1 , . . . , gk )· K{x}
satisfies N(J(0)) = N(I(0)). Thus,
(6.3)

# (Nk \ N(J(0))) = # (Nk \ N(I(0))) ,

and the finiteness of the above number implies that N(J) ∈ Dk∗ (m). We may thus
repeat the first part of the proof for J in place of I, and conclude that the equality
(6.2) holds for J as well. Hence, by (6.3),
(6.4)

δ(N(J)) = δ(N(I)) ,

where δ(N(J)) is the cardinality of the generic level of ∆(N(J)). However, by
Lemma 5.2(i), we have N(J) ⊃ N(I), and hence the generic level of ∆(N(J)) is a

12

JANUSZ ADAMUS AND AFTAB PATEL

subset of the generic level of ∆(N(I)). Therefore, by (6.4), they must be equal. It
follows that N(J) = N(I), by Lemma 5.2(ii), which completes the proof.

Remark 6.2. It is perhaps useful to know that, in fact, Theorem 5.4 holds for an
arbitrary field K of characteristic zero contained in C. Indeed, all the components
used in the above proof hold in this general setting, since this is the case for the
Weierstrass Division Theorem (see, e.g., [2]) used implicitly in Proposition 3.4.
Also, for any K as above and any mx -primary ideal J, we have equality of dimensions
of vector spaces dimK K{x}/J = dimC C{x}/J · C{x}.
Proof of Theorem 1.1. Theorem 1.1 follows immediately from Theorem 5.4, Remark 3.3, and the fact that the Hilbert-Samuel function of K{x}/I is invariant
under linear coordinate changes in Km .

Remark 6.3. The proof of Theorem 5.4 implies immediately that in the case
when X is a hypersurface (i.e., when I = (f1 ) is a principal ideal in K{x}), the
Hilbert-Samuel function HI (η) is uniquely determined by the multiplicity e(I).
More precisely, for every µ ≥ e(I) and every g1 ∈ K{x} satisfying j µ g1 = j µ f1 ,
the ideal J := (g1 ) satisfies HJ (η) = HI (η) for all η ∈ N. Indeed, for a principal
I, δ(N(I)) (and hence e(I), by (6.1)) is equal to the cardinality of the zero level
L0 (N(I)) of ∆(N(I)), since N(I) has only one vertex (which after a linear change
of coordinates in Km may be assumed to lie on the first coordinate axis in Nm ).
The length l0 of this vertex is then equal to |exp(f1 (0))| = |exp(f1 )|.
References
1. J. Adamus and H. Seyedinejad, Finite determinacy and stability of flatness of analytic mappings, Canad. J. Math. 69 (2017), 241–257.
2. E. Bierstone and P. D. Milman, The local geometry of analytic mappings, Dottorato di Ricerca
in Matematica, ETS Editrice, Pisa, 1988.
3. R. N. Draper, Intersection theory in analytic geometry, Math. Ann. 180 (1969), 175–204.
4. D. Eisenbud, Commutative algebra with a view toward algebraic geometry, Grad. Texts in
Math. 150, Springer, New York, 1995.
5. G. Fischer, Complex analytic geometry, Lecture Notes in Math. 538, Springer, Berlin, Heidelberg, New York, 1976.
6. H. Hironaka, Stratification and flatness, Real and Complex Singularities, Proc. Oslo 1976, ed.
Per Holm, Sijthoﬀ and Noordhoﬀ (1977), 199–265.
7. S. Lojasiewicz, Introduction to Complex Analytic Geometry, Birkhäuser, Basel, Boston,
Berlin, 1991.
8. H. Matsumura, Commutative ring theory. Second edition, Cambridge Studies in Advanced
Math. 8, Cambridge University Press, Cambridge, 1989.
9. R. Narasimhan, Introduction to the Theory of Analytic Spaces, Lecture Notes in Math. 25,
Springer, Berlin, New York, 1966.
10. V. Srinivas and V. Trivedi, The invariance of Hilbert functions of quotients under small perturbations, J. Algebra 186 (1996), 1–19.
11. O. Zariski and P. Samuel, Commutative algebra. Vol. II, Graduate Texts in Math. 29, Springer,
New York, Heidelberg, 1975.
Department of Mathematics, The University of Western Ontario, London, Ontario,
Canada N6A 5B7
E-mail address: jadamus@uwo.ca
Department of Mathematics, The University of Western Ontario, London, Ontario,
Canada N6A 5B7
E-mail address: apate378@uwo.ca

