HILBERT-SAMUEL SEQUENCES OF HOMOGENEOUS FINITE TYPE

arXiv:1410.5654v3 [] 21 Jul 2016

KONSTANTIN LOGINOV
Abstract. This paper deals with the problem of the classification of the local graded Artinian quotients K[x, y]/I where K is an algebraically closed field of characteristic 0. They
have a natural invariant called Hilbert-Samuel sequence. We say that a Hilbert-Samuel sequence is of homogeneous finite type, if it is the Hilbert-Samuel sequence of a finite number
of isomorphism classes of graded local algebras. We give the list of all the Hilbert-Samuel sequences of homogeneous finite type in the case of algebras generated by 2 elements of degree
1.

Introduction
Fix an algebraically closed field K of characteristic 0. All the algebras in this paper are associative, commutative, and over K. We study the Artinian, or, equivalently, finite-dimensional,
case. We consider the case of local algebras, because each Artinian algebra is a direct sum
of local ones. Each local Artinian algebra R has a natural invariant T(R) = (tk )k≥0 where
tk = dimK mk /mk+1 and m is the maximal ideal of R. The sequence T(R) is called HilbertSamuel sequence of R. It is meaningful to classify local algebras according to their HilbertSamuel sequences. The complete classification is known for algebras of dimension not greater
than 6. Necessary references are listed below.
We give a partial solution to the following problem, proposed by Ivan Arzhantsev: find
all the Hilbert-Samuel sequences for which the number of pairwise non-isomorphic algebras
is finite. We deal with graded algebras that can be generated by 2 elements of degree 1.
In terms of the Hilbert-Samuel sequence this is equivalent to t1 = 2. These algebras can
be realized as quotients of the polynomial ring K[x, y] by a homogeneous ideal I of finite
colength. It is known that the Hilbert-Samuel sequence of such algebras has the form T =
(1, 2, . . . , n, tn , . . . , tn+k ) where ti = i + 1 for 0 ≤ i ≤ n − 1 and n = tn−1 ≥ tn ≥ · · · ≥ tn+k
([6], Lemma 1.3). Under these assumptions, a complete solution to the problem is obtained:
in Theorem 1 we give the complete list of the Hilbert-Samuel sequences T for which there
are finitely many classes of isomorphism of graded quotients K[x, y]/I with Hilbert-Samuel
sequence T. We call them sequences of homogeneous finite type. As a consequence, for any
other sequence there are infinitely many non-isomorphic (graded) algebras with t1 = 2. We
say that these sequences are of infinite type. The result is as follows:
Theorem 1. A Hilbert-Samuel sequence with t1 = 2 is of homogeneous finite type if and only
if it is in the following table:
1

2

KONSTANTIN LOGINOV

T1
T2
T3
T4

Sequence
(1, 2, . . . , n − 1, n)
(1, 2, 1)
(1, 2, 3, 1)
(1, 2, 3, 2, 1, . . . , 1)

Restrictions
n≥2

t3 = 2, t4 = · · · = t4+k = 1,
k≥1
T5
(1, 2, . . . , n − 1, n, 1, 1, . . . , 1)
tn = · · · = tn+k = 1,
n ≥ 2, k ≥ 1
T6
(1, 2, . . . , n − 1, n, 2, 2, . . . , 2)
tn = · · · = tn+k = 2,
n ≥ 1, k ≥ 1
T7
(1, 2, . . . , n − 1, n, 2, 2, . . . , 2, 1, . . . , 1)
tn = · · · = tn+k = 2,
tn+k+1 = · · · = tn+k+l = 1,
n ≥ 1, k ≥ 1, l ≥ 1
T8
(1, 2, 3, . . . , n − 1, n, 3, 3, . . . , 3)
tn = · · · = tn+k = 3,
n ≥ 2, k ≥ 1
T9
(1, 2, 3, . . . , n − 1, n, 3, 3, . . . , 3, 1, 1, . . . , 1) tn = · · · = tn+k = 3,
tn+k+1 = · · · = tn+k+l = 1,
n ≥ 2, k ≥ 1, l ≥ 2
T10
(1, 2, 3, . . . , n − 1, n, 3, 3, . . . , 3, 2, 2, . . . , 2) tn = · · · = tn+k = 3,
tn+k+1 = · · · = tn+k+l = 2,
n ≥ 2, k ≥ 1, l ≥ 2
T11
(1, 2, 3, . . . , n − 1, n, 3, 3, . . . , 3, 2, 2, . . . , 2, tn = · · · = tn+k = 3,
1, 1, . . . , 1)
tn+k+1 = · · · = tn+k+l = 2,
tn+k+l+1 = · · · = tn+k+l+s = 1,
n ≥ 2, k ≥ 1, l ≥ 2, s ≥ 2
Table 1.

dim GT
0
2
3
3
1
2
2 if l > 1
and 3 if
l=1
3
3
3
3

Our main tool in proving Theorem 1 is a result of A. Iarrobino, see [6]. Following his notation, let HilbN K[[x, y]] be the Hilbert scheme (with reduced scheme structure) parametrizing
ideals of colength N in K[[x, y]]. Let GT be the subscheme of HilbN K[[x, y]] parametrizing the homogenenous ideals of the type T, that is having the Hilbert-Samuel sequence
T = (1, 2, . . . , n, tn , . . . , tn+k ) with n = tn−1 ≥ tn ≥ · · · ≥ tn+k . Let us denote ej = tj−1 − tj if
j ≥ n and ej = 0 otherwise. These numbers ej are called jump indices of T.
Theorem 2. [6, Theorem 2.12] In the notation as above
X
(ej + 1)ej+1
dim GT =
j≥n

In Proposition 2.1 we show that the sequences listed in Table 1 are precisely those for which
dim GT ≤ 3. The number 3 here comes from the dimension of PGL(2). The reason for this is
as follows: the group PGL(2) acts on GT identifying isomorphic algebras. As a consequence,
if dim GT > dim PGL(2) then the number of orbits is infinite and hence there are infinitely
many non-isomorphic algebras, so the sequence T is of infinite type. It remains to show
that the sequences listed above are of homogeneous finite type. This is done in Propositions
3.1 − 3.7.

HILBERT-SAMUEL SEQUENCES OF HOMOGENEOUS FINITE TYPE

3

Now we present some motivation for the problem. The classification of local finitedimensional algebras is closely related to the classification of pairs of commuting nilpotent
operators (see [3]) and to the study of punctual Hilbert scheme HilbN K[[x, y]], see [3], [6],
[7] and [8].
Local algebras arise naturally in the theory of algebraic transformation groups, as shown
by Hassett and Tschinkel. Namely, in Proposition 2.15 and Section 3 in [5] they prove that
there is a one-to-one correspondence between local algebras of dimension n + 1 and additive
structures on the projective space Pn . Recall that an additive structure on an algebraic variety
over a field K is an isomorphism class of faithful actions with an open orbit of the group Gna ,
where Ga is the additive group of K. The theory of additive structures is analogous to the
theory of toric varieties over K, that is, varieties which admit Gnm -action with an open orbit,
Gm being the multiplicative group of K. The additive case is less studied at the moment.
However, the case of additive structures on projective hypersurfaces is treated in [1] and [2]
using local algebras.
The problem of the classification of local algebras has been studied by many people. For
the algebras of dimension not greater than 6, the classification (excluding the case when
characteristic of the field is 2 or 3) was obtained in the work of Mazzola, see [7]. In fact,
Mazzola worked with nilpotent commutative associative algebras without unit, but these
algebras of dimension n clearly are in one-to-one correspondence with local algebras with
unit of dimension n + 1. He obtained the complete list of isomorphism classes (there is a
finite number of them in this case), using Hochschild cohomology theory.
A more elementary approach was used in the work of Poonen, see [9]. He provided direct
computations which are valid for a ground field of any characteristic.
Iarrobino studied local algebras extensively, see his work [6].
Surpunenko (see [12]) showed that the number of pairwise non-isomorphic algebras is infinite in any dimension greater than 6. He worked with matrix algebras to show that. See also
[13].
The results of the paper can be generalized in two ways. Firstly, one can consider local
algebras with arbitrary t1 . However, the situation seems to be much more complicated in
this case. Secondly, one can study non-graded local algebras. In our case, when t1 = 2, one
may hope to find infinite families of non-isomorphic algebras for some of the sequences that
we list in Theorem 1.
The author is grateful to Ivan Arzhantsev for posing the problem and encouraging in writing
the paper, to Ilya Kazachkov and the University of Basque Country for their hospitality during
the work on the second version of this paper, and to the referee for the careful reading of the
paper and many valuable remarks.
1. Preliminaries
Fix a base field K which we assume to be algebraically closed of characteristic zero. We
consider commutative associative local finite-dimensional algebras R over K with identity and
the maximal ideal m. The word “algebra” means this throughout the paper.
Let us make some preliminary remarks concerning the structure of such algebras. First
of all, since K is algebraically closed and R is finite-dimensional we have R/m ≃ K. It is
easy to see that the ideal m is nilpotent. It is also well known that if the images of the
elements x1 , . . . , xn span m/m2 then these elements generate the ideal m and the algebra R as

4

KONSTANTIN LOGINOV

well, thanks to Nakayama’s lemma. The minimal number of generators of R is equal to the
dimension of m/m2 . Moreover, the elements xk11 . . . xknn for k1 + · · · + kn = k span mk /mk+1 .
Recall the following definition.
Definition 1.1. The Hilbert-Samuel sequence of an algebra R is the sequence T = T(R) =
(t0 , t1 , . . . ) with ti = ti (R) = dimK mi /mi+1 where m0 = R.
Occasionally we say that an algebra R is of the type T(R). Since R is finite-dimensional,
only a finite number of ti are non-zero, so we write only non-zero terms of the sequence. As
we have mentioned above dimK R/m = t0 (R) = 1. We introduce the following definition.
Definition 1.2. A Hilbert-Samuel sequence T is called a sequence of finite type if there is
only a finite number of pairwise non-isomorphic algebras with this sequence. Otherwise, T is
called a sequence of infinite type.
Example 1.3. Any sequence with t1 = 1 is of finite type. Moreover, one can show that
t1 (R) = 1 implies T(R) = (1, 1, . . . , 1), that is ti = 1 for 0 ≤ i ≤ n − 1, tj = 0 for j ≥ n for
some n, and R ≃ K[x]/(xn ).
We address the following problem: find all the Hilbert-Samuel sequences of finite type. We
give a solution to this problem for graded algebras generated by two elements of degree 1,
that is t1 = 2. This case is especially nice since we have the following proposition ([6], Lemma
1.3).
Proposition 1.4. If R is an algebra with t1 (R) = 2 then its Hilbert-Samuel sequence has the
form (1, 2, 3, . . . , n, tn , . . . , tn+k ) where ti = i + 1 for 0 ≤ i ≤ n − 1 and n = tn−1 ≥ tn ≥ · · · ≥
tn+k ≥ 0 for some n ≥ 2, k ≥ 0. Conversely, for any sequence of this form there is an algebra
with this sequence.
The next definition is useful for us.
Definition 1.5. The associated graded algebra of a local algebra R with maximal ideal m is
the vector space
∞
M
Gr(R) =
mk /mk+1
k=0

with multiplication defined on the direct summands in the following way: let ū ∈ mk /mk+1 ,
v̄ ∈ ml /ml+1 and u ∈ mk , v ∈ ml be their representatives. Then we define ūv̄ = uv ∈ mk+l /
mk+l+1 .
It is easy to see that R and Gr(R) are isomorphic as vector spaces. In the following
definition the standard grading on the ring of polynomials is assumed.
Definition 1.6. An ideal I in K[x1 , . . . , xn ] is called homogeneous if for any polynomial f ∈ I
all the homogeneous components of f are contained in I.
It is easy to see that a local algebra is isomorphic to a quotient of the ring of polynomials
by a homogeneous ideal if and only if it is isomorphic to its associated graded algebra. Such
algebras are graded and generated by elements of degree 1.
We denote the space of homogeneous polynomials of degree n in K[x, y] as K[x, y]n and
the n-th homogeneous component of a homogeneous ideal I as In . We also write (f )n for the
n-th component of an homogeneous ideal (f ) generated by a homogeneous polynomial f .

HILBERT-SAMUEL SEQUENCES OF HOMOGENEOUS FINITE TYPE

5

Definition 1.7. A Hilbert-Samuel sequence T is called a sequence of homogeneous finite type
if there is only a finite number of pairwise non-isomorphic graded (and generated by elements
of degree 1) algebras with such a Hilbert-Samuel sequence. Otherwise, T is called a sequence
homogeneous infinite type.
To solve the problem of finding all the Hilbert-Samuel sequences of finite type completely
in the case t1 = 2 one has to construct infinite families of non-graded algebras of the types
listed in Table 1 or to prove that there are none.
2. Dimension counting
Proposition 2.1. The sequences T in Table 1 are precisely those for which the inequality
dim GT ≤ 3 holds.
Proof. We classify the sequences T = (1, 2, . . . , n, tn , . . . , tn+k ) with n = tn−1 ≥ tn ≥ · · · ≥
tn+k according to the parameter n. It can be defined as the first index i such that ti 6= i + 1.
Since in our case t1 = 2 we have n ≥ 2. We denote dim GT as d = d(T) for brevity. We
compute d(T) using Theorem 2.
We first consider the case n = 2. Let us start with the subcase e2 = t1 − t2 = 2. We use
the graphic representations of the corresponding Hilbert-Samuel sequences. The following
diagram corresponds to the sequence (1, 2) which is a special case of T1 :

T1 , d = 0
If e2 = 1, we have two sequences T2 = (1, 2, 1) and (1, 2, 1, 1, . . . , 1) which is a special case
of T5 . They give different values of d:
...
T5 , d = 1

T2 , d = 2

In what follows we do not write the sequence but only show the corresponding diagram. If
e2 = 0 we have three possibilities:
...
T6 , d = 2

...
T7 , d = 3

...
...
T7 , d = 2

We see that in all these cases we have d ≤ 3. Now we turn to sequences with n = 3. We
consider the case n = 3, e3 = 3:

T1 , d = 0

6

KONSTANTIN LOGINOV

We turn to the case n = 3, e3 = 2.

...
T5 , d = 1

T3 , d = 3
The case n = 3, e3 = 1:

...
d=4

T4 , d = 3

d=4

...
T6 , d = 2

...
T7 , d = 3

...
T7 , d = 2

...

Consider the case e3 = 0. We do not list all the possibilities, instead we notice that if
e3 = 0 then
X
X
X
d=
(ej + 1)ej+1 ≥
ej+1 =
ej = t2 = n = 3.
j≥3

j≥3

j≥3

It follows that if we want d = 3 we must have ej = 0 whenever ej+1 > 0. The inequality
d ≤ 3 yields the following diagrams:

...
T8 , d = 3

...
T10 , d = 3

...

...
T9 , d = 3

...

...

...
T11 , d = 3

...

to deal with the general case n ≥ 4. First of all, notice that d ≥
PNow we are ready
P
e
,
and
e
j≥n j+1
j≥n j = tn−1 = n ≥ 4. Hence to obtain d ≤ 3 we must have en ≥ n − 3,
that is tn ≤ 3.
We start with the case tn = 0 in which case we get the sequence T1 with d = 0.

HILBERT-SAMUEL SEQUENCES OF HOMOGENEOUS FINITE TYPE

7

If tn = 1 then en = n − 1 ≥ 3 and so to get d ≤ 3 we must have en+1 = 0, since
d ≥ (en + 1)en+1 . We obtain the sequence T5 . In this case d = 1.
If tn = 2 then en = n − 2 ≥ 2 and again to get d ≤ 3 we must have en+1 ≤ 1. If
en+1 = 0 we get two options: T6 (in this case d = 2) and T7 (in this case d = 3 or d = 2
depending on the P
number of tj = 1). If en+1 = 1 then tn = 2, tn+1 = 1 and hence d =
(n − 2 + 1) × 1 + j≥n+1 ej+1 ≥ 3 + tn+1 = 4.
Finally, if tn = 3 then en = n − 3 ≥ 1 and to get d ≤ 3 again we get en+1 ≤ 1. If ej+1 = 0
we get the sequences T9 , T10 , T11 with d = 3 in each case. If ej+1 = 1 we get tn = 3, tn+1 = 2.
Hence d ≥ 2 + 2 = 4. The proof is complete.

3. Sequences of homogeneous finite type
In this section we prove that the sequences listed in Table 1 are of homogeneous finite type.
Proposition 3.1. For any n ≥ 2 there is only one algebra (up to isomorphism) of the type
T1 = (1, 2, . . . , n − 1, n),
that is ti = i + 1 for 0 ≤ i ≤ n − 1, tj = 0 for j ≥ n.
Proof. Pick two generators x, y of m and notice that there are no non-trivial relations containing monomials in x, y of degree less than n. On the other hand, any monomial in x and
y of degree n or more equals zero. Hence our algebra is isomorphic to K[x, y]/(x, y)n .

The first part of the next proposition is a special case of a general classification result
proved in [11] by J. Sally. See also [10].
Proposition 3.2. The sequences
T2 = (1, 2, 1), T3 = (1, 2, 3, 1)
are of homogeneous finite type.
Proof. Consider an algebra R ≃ K[x, y]/I for some ideal I with T(R) = T2 . Up to a scalar
there is only one non-zero element z ∈ m2 . We define a map
θ : m/m2 → m2 = hzi ≃ K
in the following way:
θ(ax̄ + bȳ) = (ax + by)2 = (a2 u0 + 2abu1 + b2 u2 )z
where x̄, ȳ are images of x, y in m/m2 , x2 = u0 z, xy = u1 z, y 2 = u2 z, and a, b, u0 , u1 , u2 ∈ K.
Notice that θ is non-zero (since the powers of linear forms span K[x, y] for any n ≥ 1) map
that is a polynomial in a, b which we can think of as homogeneous coordinates on P1 . The
roots of this polynomial are two points in P1 . If they are different then after a linear change
of coordinates we may assume them to be [1 : 0] and [0 : 1]. If they coincide we may assume
it is [1 : 0]. In the first case we get an algebra
K[x, y]/(x2 , y 2) + (x, y)3
and in the second case we get
K[x, y]/(xy, y 2) + (x, y)3.

8

KONSTANTIN LOGINOV

The case T3 is analogous. We define a map
θ : m/m2 → m3 = hzi ≃ K
as follows:
θ(ax̄ + bȳ) = (ax + by)3 = (a3 u0 + 3a2 bu1 + 3ab2 u2 + b3 u3 )z
where x3 = u0 z, x2 y = u1 z, xy 2 = u2 z, y 3 = u3 z, and a, b, u0 , u1 , u2 , u3 ∈ K. Hence we get a
non-zero polynomial map of degree 3 in coordinates a, b. We have three possibilities: all three
roots of this polynomial are different, two of them coincide or all of them coincide. Hence we
get three isomorphism classes of algebras of type T3 .

The next lemma is crucial for this section. It demonstrates that if there are several equal
numbers tn = tn+1 = · · · = tn+k for k ≥ 1 in T then the ideal I where R = K[x, y]/I must be
of special form.
Lemma 3.3. Let R = K[x, y]/I be a local Artinian algebra with I homogeneous. Let the
Hilbert-Samuel sequence of R be
T = (1, 2, t2 , . . . , tn−1 , s, s, . . . , s, tn+k+1 , . . . )
where t2 , . . . , tn−1 are arbitrary, tn = · · · = tn+k = s, for k ≥ 1 and arbitrary s. Then there
is a polynomial h ∈ K[x, y]s such that (h)n = In .
Proof. We have dimK In = n + 1 − s. Suppose that all the polynomials in In have exactly m
common linear factors, 0 ≤ m ≤ n. Hence
In = hhq1 , . . . , hqn+1−s i = hhq1 , . . . , qn+1−s i
where h is the product of all the common linear factors and qi are polynomials of degree
n − m without common factors. It follows that
dimK In = n + 1 − s ≤ n − m + 1 = dimK K[x, y]n−m
and hence m ≤ s.
On the other hand, since tn+1 = s we have dimK In+1 = n + 2 − s, that is dimK In+1 =
dimK In + 1. We can choose a basis f1 , . . . , fr for In where r = n + 1 − s such that
fi = xdi y n−di + ai,di −1 xdi −1 y n−di+1 + · · · + ai,0 y n
where d1 > · · · > dr for 1 ≤ i ≤ r and ai,j ∈ K are such that ai,dj = 0 for j > i. Consider the
following elements of In+1 :
xf1 , xf2 , . . . , xfr , yfr .
Since our basis elements have different x-degrees, these polynomials are linearly independent,
and since dimK In+1 = r + 1 it follows that
hxf1 , xf2 , . . . , xfr , yfr i = In+1 .
Hence yfi for 1 ≤ i ≤ r − 1 can be expressed as a linear combination of xfi+1 , . . . , xfr , yfr .
But then, comparing the x-leading terms of these polynomials, we see that necessarily di =
di+1 + 1. Hence after linear change we may assume that our basis has the form (here d = d1 ):
f1 = xd y n−d + a1,d−r xd−r y n−d+r + · · · + a1,0 y n ,
...
d−r+1 n−d+r−1

fr = x

y

+ ar,d−r xd−r y n−d+r + · · · + ar,0 y n .

HILBERT-SAMUEL SEQUENCES OF HOMOGENEOUS FINITE TYPE

9

In what follows we show that yf1 = xf2 . Indeed, we know that for some ui ∈ K
yf1 = xf2 + u3 xf3 + · · · + ur xfr + ur+1yfr .
But now substituting fi we have
xd y n−d+1 + a1,d−r xd−r y n−d+r+1 + · · · + a1,0 y n+1 = yf1 =
= xd y n−d+1 + u3 xd−1 y n−d+2 + · · · + ur xd−r+2 y n−d+r−1 + ur+1 xd−r+1 y n−d+r +
+ vr+2 xd−r y n−d+r+1 + · · · + vd−2 y n+1
for some vj ∈ K. Hence all the ui = 0, and yf1 = xf2 as claimed. Arguing as above we
have
yf1 = xf2 , yf2 = xf3 , . . . , yfr−1 = xfr .
Hence the decomposition of fi into a product of linear forms differs from that of f1 by at
most i − 1 linear forms, 2 ≤ i ≤ r = n − s + 1. Hence all the fi have at least n − (n − s) = s
common linear factors, and then m ≥ s.
So we have m = s. Thus dimK In = dimK K[x, y]n−m and In = hK[x, y]n−m = (h)n for
h ∈ K[x, y]s as claimed.

Let us apply this result to the remaining sequences.
Proposition 3.4. The sequence
T = (1, 2, . . . , n, s, s, . . . , s)
where ti = i + 1 for 0 ≤ i ≤ n − 1, tn = · · · = tn+k = s, k ≥ 1 is of homogeneous finite type
for s ≤ 3, n ≥ 2. This sequence corresponds to the types T5 , T6 , T8 .
Proof. Let R = K[x, y]/I be a local Artinian algebra with I homogeneous and T(R) = T .
By the previous lemma we know that In = (h)n for some polynomial h ∈ K[x, y]s . Moreover,
I is generated by its n-th component In as an ideal. Indeed, let J = (In ). Then J ⊆ I and
n + 2 − s ≤ dimK Jn+1 ≤ dimK In+1 = n + 2 − s and hence Jn+1 = In+1 . We proceed by
induction and see that I = J.
Hence there is one-to-one correspondence between subspaces In (that in this case determine
the ideal I and hence the algebra R) and polynomials h of degree s ≤ 3. Since up to change
of coordinates there are finitely many such polynomials, we get that this sequence is of
homogeneous finite type.

Proposition 3.5. The following sequences are of homogeneous finite type for n ≥ 3:

where tn = · · · = tn+k

T9 = (1, 2, 3, . . . , n − 1, n, 3, 3, . . . , 3, 1, 1, . . . , 1),
= 3, tn+k+1 = · · · = tn+k+l = 1, n ≥ 3, k ≥ 1, l ≥ 2;

T10 = (1, 2, 3, . . . , n − 1, n, 3, 3, . . . , 3, 2, 2, . . . , 2),
where tn = · · · = tn+k = 3, tn+k+1 = · · · = tn+k+l = 2, n ≥ 2, k ≥ 1, l ≥ 2;
T11 = (1, 2, 3, . . . , n − 1, n, 3, 3, . . . , 3, 2, 2, . . . , 2, 1, 1, . . . , 1),
where tn = · · · = tn+k = 3, tn+k+1 = · · · = tn+k+l = 2, tn+k+l+1 = · · · = tn+k+l+s = 1,
n ≥ 3, k ≥ 1, l ≥ 2, s ≥ 2.

10

KONSTANTIN LOGINOV

Proof. Let R = K[x, y]/I be a local Artinian algebra with I homogeneous and T(R) = T9 .
By Lemma 3.3, In = (f )n for some f ∈ K[x, y]3 and In+k+1 = (h)n+k+1 for some linear form
h. Counting dimensions as in the proof of the previous proposition we see that In+i = (f )n+i
for 0 ≤ i ≤ k and In+k+i = (h)n+k+i for i ≥ 1. Thus f and h define I uniquely. We have
(f )n+k+1 ⊆ In+k+1 = (h)n+k+1 and hence h divides f . Since deg f = 3 up to a change of
coordinates there are finitely many possibilities to choose a pair (f, h) such that h divides f ,
and thus T9 is of homogeneous finite type.
The case T10 is analogous, with polynomial h being of degree 2.
In the case T11 arguing by analogy we have a triple (f, g, h) where f ∈ K[x, y]3 , g ∈
K[x, y]2 , f ∈ K[x, y]1 , h divides g, g divides f , and In = (f )n , In+k+1 = (g)n+k+1, In+k+l+1 =
(h)n+k+l+1 . Again, as up to a change of coordinates there are finitely many choices of such a
triple we get that T9 is of homogeneous finite type.

Proposition 3.6. The sequence
T4 = (1, 2, 3, 2, 1, 1, . . . , 1),
where t3 = 2, t4 = · · · = t4+k = 1, k ≥ 1 is of homogeneous finite type.
Proof. Let R = K[x, y]/I be a local Artinian algebra with I homogeneous and T(R) = T4 .
By Lemma 3.3 we have
I4 = hhq1 , q2 , q3 , q4 i ≃ hq1 , q2 , q3 , q4 i ⊆ K[x, y]3
where h is a linear form and the qi are linearly independent forms with no common factors.
Thus they span K[x, y]3 . We may assume that h = x. Notice that yI3 ⊆ I4 , thus each form
in I3 is a multiple of x. To choose a subspace I3 in K[x, y]3 that consists of polynomials that
have x as a factor is the same as to choose two non-proportional polynomials ax2 + bxy + cy 2
and dx2 + exy + f y 2 with a, b, c, d, e, f ∈ K.
If a = d = 0 we have the subspace hxy, y 2i. If a 6= 0 or d 6= 0 we can assume this subspace
to be hx2 + cy 2 , xy + f y 2i or hx2 + bxy, y 2i. In the second case after rescaling y we have
hx2 + xy, y 2i.
Now consider the first case. If c = 0 then after rescaling y we have hx2 , xy + y 2 i in the case
f 6= 0 and hx2 , xyi in the case f = 0. If c 6= 0 we may add the second polynomial multiplied
by a constant to the first one to get the full square (x + uy)2 for some u ∈ K. We make a
linear change: x → x + uy, y → y. Then we have hx2 , y 2 + wxyi, w ∈ K. If w 6= 0 then after
rescaling we get hx2 , x2 + xyi if w 6= 0 and if w = 0 we get hx2 , y 2i. Hence there are a finite
number of isomorphism classes.

Proposition 3.7. The sequence
T7 = (1, 2, 3, . . . , n, 2, 2, . . . , 2, 1, . . . , 1)
with ti = i + 1, 0 ≤ i ≤ n − 1, tn = · · · = tn+k = 2, tn+k+1 = · · · = tn+k+1+l = 1, n ≥ 1, k ≥
1, l ≥ 0 is of homogeneous finite type.
Proof. Let R = K[x, y]/I be a local Artinian algebra with I homogeneous and T(R) = T7 .
We have In = (f )n for f ∈ K[x, y]2 so we may assume first that f has two distinct roots,

HILBERT-SAMUEL SEQUENCES OF HOMOGENEOUS FINITE TYPE

11

f = xy. We have tn+k = 2, tn+k+1 = 1 so In+k = (f )n+k , In+k+1 = (f )n+k+1 + hhi for some
homogeneous polynomial h of degree n + k + 1. Since
(f )n+k+1 = (xy)n+k+1 = hxn+k y, xn+k−1y 2, . . . , xy n+k i
we may assume that h = axn+k+1 + by n+k+1 for a, b ∈ K. Rescaling x and y we get h =
xn+k+1 + y n+k+1 or (permuting x and y if necessary) h = xn+k+1 .
Now assume f = x2 . In the notation as above we can assume that h = axy n+k + by n+k+1.
Again by a linear change we can get either h = xy n+k + y n+k+1 or h = xy n+k or h = y n+k+1.
Thus we have a finite number of possibilities, and hence the sequence T is of finite type. 
4. Proof of the main result
We start with the following lemma.
Lemma 4.1. If two graded Artinian quotients R1 ≃ K[x, y]/I1 and R2 ≃ K[x, y]/I2 , where I1
and I2 are homogeneous ideals, are isomorphic then they are isomorphic as graded algebras,
by which we mean an isomorphism that preserves grading on both algebras.
Proof. Suppose that φ : R1 → R2 is a given isomorphism. We have φ(x) = ax + by + f ,
φ(y) = cx + dy + g for some a, b, c, d ∈ K and f, g ∈ K[x, y] of degree two or more. Clearly,
elements of the form xk1 y k2 with k1 + k2 = k generate mki /mk+1
≃ K[x, y]k /(Ii )k where mi
i
is the maximal ideal of Ri , for i = 1, 2, k ≥ 0. Notice that φ induces an isomorphism mk1 /
mk+1
≃ mk2 /mk+1
for any k ≥ 0 by sending x̄k1 ȳ k2 to (ax̄ + bȳ)k1 (cx̄ + dȳ)k2 . Consider a
1
2
new map ψ : R1 → R2 that sends x to ψ(x) = ax + by, y to ψ(y) = cx + dy where a, b, c, d
are the same as above. This is a homomorphism of algebras since φ is a homomorphism,
and the ideals I1 and I2 are homogeneous. Notice that ψ also induces an isomorphism mk1 /
mk+1
≃ mk2 /mk+1
1
2 . Hence ψ is surjective, and since R1 and R2 have the same dimension as
algebras over K, it is injective, and thus ψ is an isomorphism.

Now we are ready to prove the main result.
Proof of Theorem 1. Let R1 ≃ K[x, y]/I1 and R2 ≃ K[x, y]/I2 be local Artinian algebras with
I1 and I2 homogeneous ideals. Lemma 4.1 shows that if two graded algebras R1 and R2
are isomorphic then there is an isomorphism that preserves grading on both algebras. This
isomorphism can be lifted to a linear automorphism of K[x, y] which sends I1 to I2 . Hence
we have an algebraic action of the group PGL(2) on the algebraic variety (for the proof that
the Hilbert scheme is in fact an algebraic variety see [6, Theorem 2.9]) GT parametrizing
homogeneous ideals that correspond to local algebras of the type T. The orbits of this action
correspond bijectively to isomorphism classes of algebras. The dimension of GT is known
from Theorem 2.
If dim GT > dim PGL(2) = 3 then the number of the orbits of this action is infinite, and
there are infinitely many non-isomorphic algebras of the type T. Hence we have to deal with
the case dim GT ≤ 3. All the sequences T that satisfy this inequality are listed in Table 1
by Proposition 2.1. Then in Propositions 3.1 − 3.7 it is proved that these sequences are of
homogeneous finite type, and the statement follows.


12

KONSTANTIN LOGINOV

References
[1] I.V.Arzhantsev and A.B.Popovskiy, Additive actions on projective hypersurfaces. In: Automorphisms in
Birational and Affine Geometry, Levico Terme, Italy, October 2012, Springer Proceedings in Mathematics
and Statistics 79, Springer, 2014, 17-33.
[2] I.V.Arzhantsev and E.V.Sharoyko, Hassett-Tschinkel correspondence: Modality and projective hypersurfaces. Journal of Algebra 348 (2011), no. 1, 217-232.
[3] R. Basili and A. Iarrobino, Pairs of commuting nilpotent matrices, and Hilbert function. J. Algebra, Vol.
320, Issue 3, 2008, 1235-1254
[4] J. Briancon, Description de Hilbn C{x, y}, Invent. Math 41 (1) (1977) 45?89.
[5] B. Hassett, Yu. Tschinkel, Geometry of equivariant compactifications of Gna , Int. Math. Res. Not., 1999,
1211-1230.
[6] A. Iarrobino Punctual Hilbert schemes, Mem. Amer. Math. Soc. 10 (1977), no. 188.
[7] F. H. S. Macaulay, On a method of dealing with the intersection of plane curves, Trans. Amer. Math.
Soc. 5 (4) (1904) 385-410.
[8] G. Mazzola, Generic finite schemes and Hochschild cocycles, Comment. Math. Helv. 55 (1980), no. 2,
267-293.
[9] H. Nakajima, Lectures on Hilbert schemes of points on surfaces. University Lecture Series 18, AMS,
Providence, Rhode Island, 1999.
[10] B. Poonen, Isomorphism types of commutative algebras of finite rank over an algebraically closed field,
Computational Arithmetic Geometry, Contemporary Math. 463 (2008), Amer. Math. Soc., 111-120
[11] J. Sally, The Poincare series of stretched Cohen-Macaulay rings, Canad. J. Math 32 (1980), no. 5,
307?318.
[12] D. A. Suprunenko, On maximal commutative subalgebras of the full linear algebra, Uspehi Mat. Nauk
(N.S.) 11 (1956), no. 3(69), 181-184 (Russian).
[13] D. A. Suprunenko and R. I. Tyshkevich, Perestanovochnye matritsy (Commuting Matrices), Nauka i
Tehnika, Minsk, 1966 (Russian); English transl. in Commutative matrices, Academic Press, 1968.
Faculty of Mathematics, National Research University Higher School of Economics.
119048 Moscow, Usacheva str., 6
E-mail address: kostyaloginov@gmail.com

