arXiv:1608.03499v1 [math.AC] 11 Aug 2016

VERONESEAN ALMOST BINOMIAL ALMOST COMPLETE
INTERSECTIONS
THOMAS KAHLE AND ANDRÉ WAGNER
Abstract. The second Veronese ideal In contains a natural complete intersection
Jn generated by the principal 2-minors of a symmetric (n × n)-matrix. We determine
subintersections of the primary decomposition of Jn where one intersectand is omitted.
If In is omitted, the result is the other end of a complete intersection link as in liaison
theory. These subintersections also yield interesting insights into binomial ideals and
multigraded algebra. For example, if n is even, In is a Gorenstein ideal and the
intersection of the remaining primary components of Jn equals Jn + hf i for an explicit
polynomial f constructed from the fibers of the Veronese grading map.

1. Introduction
Ideals generated by minors of matrices are a mainstay of commutative algebra. Here
we are concerned with ideals generated by 2-minors of symmetric matrices. Ideals
generated by arbitrary minors of symmetric matrices have been studied by Kutz [18]
who proved, in the context of invariant theory, that the quotient rings are Cohen–
Macaulay. Results of Goto show that the quotient ring is normal with divisor class
group Z2 and Gorenstein if the format of the symmetric matrix has the same parity as
the size of the minors [11, 12]. Conca extended these results to more general sets of
minors of symmetric matrices [4] and determined Gröbner bases and multiplicity [5].
Here we are concerned only with the binomial ideal In generated by the 2-minors of
a symmetric (n × n)-matrix. This ideal cuts out the second Veronese variety and was
studied classically, for example by Gröbner [15]. It contains a complete intersection Jn
generated by the principal 2-minors (Definition 2.2). Coming from liaison theory one
may ask for the ideal Kn = Jn : In on the other side of the complete intersection link
via Jn . In this paper we determine Kn .
Example 1.1. Consider the ideal J3 = had − b2 , af − c2 , df −e2 i ⊆Q[a, b, c, d, e, f ]
a b c
generated by the principal 2-minors of the symmetric matrix b d e . It is easy to
c e f
check, for example with Macaulay2 [14], that J3 is a complete intersection and has a
Date: August 2016.
2010 Mathematics Subject Classification. Primary: 05E40; Secondary: 13A02, 13H10, 14M25,
52B20.
1

2

THOMAS KAHLE AND ANDRÉ WAGNER

prime decomposition J3 = I3 ∩ K3 where
I3 = J3 + hae − bc, cd − be, ce − bf i
is the second Veronese ideal, generated by all 2-minors, and
K3 = J3 + hae + bc, cd + be, ce + bf i
is the image of I3 under the automorphism of Q[a, . . . , f ] that maps b, c, and e to their
negatives and the remaining indeterminates to themselves. As a very special case of
Theorem 2.10 we find that the generator ae + bc is the generating function of the fiber



 
2 1 1 0 0 0
2 

u ∈ N6 : 0 1 0 2 1 0 · u = 1


0 0 1 0 1 2
1
of the Z-linear map V3 that defines the fine grading of Q[a, . . . , f ]/I3 . For n ≥ 4 the
extra generators are not binomials anymore and Kn is an intersection of ideals obtained
from In by twisting automorphisms (Definition 2.6). In Example 2.11, for n = 4, we
find K4 = J4 + hpi for one quartic polynomial p with eight terms.

General results on liaison theory of ideals of minors of symmetric matrices have been
obtained by Gorla [9, 10]. Our methods rely on the combinatorics of binomial ideals
and since Kn is not binomial we cannot explore the linkage class more with the present
method. Instead we are motivated by general questions about binomial ideals and their
intersections. For example, [17, Problem 17.1] asks when the intersection of binomial
ideals is binomial. From the primary (in fact, prime) decomposition of Jn we remove In
and intersect the remaining binomial prime ideals. The result is not binomial. If n is
even, Kn = Jn +hpi for one additional polynomial p. In the terminology of [1], Kn is thus
an almost complete intersection. It is also almost binomial, as it is principal modulo its
binomial part [16, Definition 2.1]. If n is odd, then there are n additional polynomials
(Theorem 2.10). While these numbers can be predicted from general liaison theory, our
explicit formulas reveal interesting structures at the boundary of binomiality and are
thus a first step towards [17, Problem 17.1]
We determine Kn with methods from combinatorial commutative algebra, multigradings in particular (see [19, Chapters 7 and 8]). The principal observation that drives the
proofs in Section 2 is that the Veronese-graded Hilbert function of the quotient k[x]/Jn
becomes eventually constant (Remark 2.13). The eventual value of the Hilbert function
bounds the number of terms that a graded polynomial can have. The extra generators
of Kn are the lowest degree polynomials that realize the bound. We envision that this
structure could be explored independently and brought to unification with the theory
of toral modules from [7]. Our results also have possible extensions to higher Veronese
ideals as we outline in Section 3.
Denote by cn := n2 the entries of the second diagonal in Pascal’s triangle. Throughout, let [n] := {1, . . . , n} be the set of the first n integers. The second Veronese ideal

VERONESEAN ALMOST BINOMIAL ALMOST COMPLETE INTERSECTIONS

3

lives in the polynomial ring k[Ncn+1 ] in cn+1 indeterminates over a field k. For polynomial rings and quotients modulo binomial ideals we use monoid algebra notation (see,
for instance, [17, Definition 2.15]). We make no a-priori assumptions on k regarding
its characteristic or algebraic closure, although care is necessary in characteristic two.
The variables of k[Ncn+1 ] are denoted xij , for i, j ∈ [n] with the implicit convention that
xij = xji . For brevity we avoid a comma between i and j. We usually think about
upper triangular matrices, that is i ≤ j. The Veronese ideal In is the toric ideal of the
Veronese multigrading NVn , defined by the (n × cn+1 )-matrix Vn with entries


2 if i = j = k,
(Vn )i,jk := 1 if i = j, or i = k, but not both,

0 otherwise.

That is, the columns of Vn are the non-negative integer vectors of length n and weight
two. For b ∈ NVn , the fiber is Vn−1 [b] = {u ∈ Ncn+1 : Vn u = b}. Computing the Vn degree of a monomial is easy: just count how often each row or column index appears in
the monomial. For example, deg(x12 xnn ) = (1, 1, 0, . . . , 0, 2). We do not distinguish row
and column vectors notationally, in particular we write columns as rows when convenient. Gröbner bases for a large class of toric ideals including In have been determined
by Sturmfels [20, Theorem 14.2]. The Veronese lattice Ln ⊆ Zcn+1 is the kernel of Vn .
The rank of Ln is cn since the rank of Vn is n and cn+1 − n = cn . Lemma 2.1 gives
a lattice basis. With {eij , i ≤ j ∈ [n]} a standard basis of Zcn+1 , we use the following
notation
[ij|kl] := eik + ejl − eil − ejk ∈ Zcn+1 .
Then [ij|kl] is the exponent vector of the minor xik xjl − xil xjk .
1.1. Acknowledgement. The authors are grateful to Aldo Conca for posing the question of determining the link of the Veronese variety through its complete intersection
of principal minors and valuable comments on an early version of the manuscript. During the initial stages of this work, Thomas Kahle was supported by the research focus
dynamical systems of the state Saxony-Anhalt. André Wagner’s research is carried out
in the framework of Matheon supported by Einstein Foundation Berlin.
2. Decomposing and Recomposing
Lemma 2.1. The set
B = {[in|jn] : i, j ∈ [n − 1]}
is a lattice basis of the Veronese lattice Ln .
Proof. Write the elements of B as the columns of a (cn+1 × cn )-matrix B. Deleting the
rows corresponding to indices (i, n) for i ∈ [n] yields the identity matrix Icn . Thus
B spans a lattice of the correct rank and that lattice is saturated. Indeed, the Smith

4

THOMAS KAHLE AND ANDRÉ WAGNER

normal form of B must equal the identity matrix Icn concatenated with a zero matrix.
Thus the quotient by the lattice spanned by B is free.

The Veronese ideal contains a codimension cn complete intersection Jn generated by
the principal 2-minors.
Definition 2.2. The principal minor ideal Jn is generated by all principal 2-minors
xii xjj − x2ij of a generic symmetric matrix. The principal minor lattice L′n is the lattice
generated by the corresponding exponent vectors [ij|ij], i, j ∈ [n].
It can be seen that the principal minor lattice is minimally generated by [ij|ij]. It
is an unsaturated lattice meaning that it cannot be written as the kernel of an integer
matrix, or equivalently, that the quotient Zcn+1 /L′n has torsion. Since there are no nontrivial coefficients on the binomials in Jn , Proposition 2.4 below says that it is a lattice
ideal with lattice L′n . The twisted group algebra in [17, Definition 10.4] is just a group
algebra. Its torsion subgroup is given in the following proposition.
Proposition 2.3. The principal minor lattice is minimally generated by
B′ = {2[in|jn] : i 6= j ∈ [n − 1]} ∪ {[in|in] : i ∈ [n − 1]}.
Furthermore the group Ln /L′n is (isomorphic to) (Z/2Z)cn−1 .
Proof. It holds that 2[in|jn] = [in|in] + [jn|jn] − [ij|ij] and the map which includes
the span of the elements [ij|ij] into L′n is unimodular. A presentation of the group
can be read off the Smith normal form of the matrix whose columns are a lattice basis.
Since B′ is a basis of L′n , the columns and rows can be arranged so that the diagonal
matrix diag(2, . . . , 2, 1, . . . , 1) with cn−1 entries 2 is the top (cn ×cn )-matrix of the Smith
normal form. Any entry below a two is divisible by two and thus row operations can
be used to zero out the the bottom part of the matrix. This yields the Smith normal
form.

The difference between the basis in Definition 2.2 and B′ is that transition matrix
from B to B′ is diagonal. Thus it is easy to describe the fundamental zonotope of B′ .
If char(k) = 2, then Jn is primary over In . In all other characteristics one can see that
the Veronese ideal In is a minimal prime and in fact a primary component of Jn . These
statements follow from [8] and are summarized in Proposition 2.9 below. Towards this
observation, the next proposition says that Jn is a mesoprime ideal.
Proposition 2.4. Jn is a mesoprime binomial ideal and its associated lattice is L′n .
+

−

Proof. According to [17, Definition 10.4] we show that Jn = hxu − xu : u ∈ L′n i, since
the quotient by this ideal is the group algebra k[Zcn+1 /L′n ]. By the correspondence
between non-negative lattice walks and binomial ideals [6, Theorem 1.1] we prove that
for any u = u+ − u− ∈ L′n , the parts u+ , u− ∈ Ncn+1 can be connected using moves
[ij|ij] without leaving Ncn+1 .

VERONESEAN ALMOST BINOMIAL ALMOST COMPLETE INTERSECTIONS

5

The vectors u+ , u− can be represented by upper triangular non-negative integer matrices. From Definition 2.2 it is obvious that all off-diagonal entries of u+ − u− are
divisible by two. Since
+

+

−

−

hxu − xu : u ∈ L′n i : xij = hxu − xu : u ∈ L′n i
for any variable xij , we can assume that u+ and u− have disjoint supports and thus
individually have off-diagonal entries divisible by two. Consequently the moves [ij|ij]
allow to reduce all off-diagonal entries to zero, while increasing the diagonal entries. As
visible from its basis, the lattice L′n contains no nonzero diagonal matrices and thus u+
and u− have been connected to the same diagonal matrix.

Remark 2.5. From Proposition 2.3 it follows immediately that the group algebra

k[Zcn+1 ]/Jnk[Zcn+1 ] is isomorphic to k[Zn ⊕ (Z/2Z)cn−1 ]. In particular k[Ncn+1 ]/Jn is
finely graded by the monoid NVn ⊕ (Z/2Z)cn−1 .

Definition 2.6. A Z2 -twisting is a ring automorphism of a (Laurent) polynomial ring
that maps the indeterminates either to themselves or to their negatives.
The lattice points in a fundamental zonotope of L′n play an important role in the
following developments. The most succinct way to encode them is using their generating function (which in this case is simply a polynomial in the Laurent ring k[Zcn+1 ]).
The explicit form, of course, depends on the coordinates chosen. The next lemma is
immediate from the definition of B′ .
Lemma 2.7. Let M = {[in|jn] : i 6= j ∈ [n − 1]}. The generating function of the
fundamental zonotope of B′ is
Y
Y
+
−
pn =
(xm + 1) =
(xm + xm )
m∈M

m∈M

It is useful for the further development to pick the second representation of pn in
Lemma 2.7 as a representative of pn in polynomial ring k[Ncn+1 ]. Its image in the
quotient k[Ncn+1 ]/Jn also has a natural representation. The terms of pn can be identified
with upper triangular integer matrices which arise as sums of positive and negative parts
of elements of M. A positive part of [in|jn] ∈ M has entries 1 at positions (i, j) and
(n, n) while a negative part has two entries 1 in the last column, but not at (n, n).
Modulo the moves B′ , any exponent matrix of a monomial of pn can be reduced to have
only entries 0 or 1 in its off-diagonal positions.
Remark 2.8. A simple count yields that pn has Vn -degree (n − 2, . . . , n − 2, 2cn−1).
In the natural representation of monomials of pn as integer matrices with entries 0/1
off the diagonal, there is a lower bound for the value of the (n, n) entry. To achieve
the lowest value, one would fill the last column with entries 1 using negative parts of
elements of M, and then use positive parts (which increase (n, n)). For example, if
n is even, there is one term of pn whose last column arises from the negative parts of

6

THOMAS KAHLE AND ANDRÉ WAGNER

[1n|2n], [3n|4n], . . . , [(n−3)n|(n−2)n] and then positive parts of the remaining elements
of M. If n is odd, then there is one term of pn , whose n-th column is (1, . . . , 1, σn−1 )
for some value σn−1 . In fact, since |M| = cn−1 , the lowest possible value of the (n, n)
⌋.
entry is σn−1 = cn−1 − ⌊ n−1
2
The primary decomposition of Jn is given by [8, Theorem 2.1 and Corollary 2.2].
Proposition 2.9. If char(k) = 2, the Jn is primary over In . In all other characteristics,
there exists 2cn−1 Z2 -twisting φi with i ∈ [cn−1 ], such that the complete intersection Jn
has prime decomposition
\
(1)
Jn =
φi (In ).
i

Theorem 2.10. If n is odd intersecting all but one of the components in (1) yields
\
φi (In ) = Jn + hφl (p+
n,i ) : i ∈ [n]i,
i6=l

cn+1
that are given as
where p+
] are homogeneous polynomials of degree (n−1)
n,i ∈ k[N
2
−1
generating functions of the fibers Vn [(n − 2, . . . , n − 2) + ei ]. If n is even, then the
n(n−2)
same holds for a single polynomial p+
, given as the generating function
n of degree
2
−1
of Vn [(n − 2, . . . , n − 2)].
2

The proof of Theorem 2.10 occupies the remainder of the section after the following
example.
Example 2.11. The complete intersection J4 is a lattice ideal for the lattice L′4 . In
the basis B′ , it is generated by the six elements
{2[i4|j4] : i < j ∈ [3]} ∪ {[i4|i4] : i ∈ [3]}.
Three of the six elements correspond to principal minors:
x11 x44 − x214 , x22 x44 − x224 , x33 x44 − x234
The other elements give the binomials
x212 x244 − x214 x224 , x213 x244 − x214 x234 , x223 x244 − x224 x234
These six binomials do not generate J4 , but J4 equals the saturation with respect to
the product of the variables [19, Lemma 7.6]. The 23 = 8 minimal prime components of
Jn are obtained by all possible twist combinations of the monomials ±x14 x24 , ±x14 x34 ,
±x24 x34 . Consider the mysterious polynomial
p4 = (x12 x44 + x14 x24 )(x13 x44 + x14 x34 )(x23 x44 + x24 x34 ),
which is the generating function of the fundamental zonotope of L′4 in the basis B′ and of
V4 -degree (2, 2, 2, 6). In the Laurent ring k[Z10 ], the desired ideal J4 : I4 equals J4 +hp4 i.
To do the computation in the polynomial ring, we need to saturate with respect to

VERONESEAN ALMOST BINOMIAL ALMOST COMPLETE INTERSECTIONS

7

Q

xij . If n is even, this saturation generates one polynomial, if n is odd, it generates
n polynomials. Here, where n = 4, the ideal J4 : I4 is generated by J4 and the single
polynomial
ij

p+
4 = x11 x22 x33 x44 + x11 x23 x24 x34 + x13 x14 x22 x34 + x12 x14 x24 x33
+ x13 x14 x23 x24 + x12 x14 x23 x34 + x12 x13 x24 x34 + x12 x13 x23 x44 .
2
Modulo the binomials in J4 , the polynomial p+
4 equals p4 /x44 (Lemma 2.17).

As a first step towards the proof of Theorem 2.10 we compute the monoid Q under
which k[Ncn+1 ]/Jn is finely graded, meaning that its Q-graded Hilbert function takes
values only zero or one. That is, we make Remark 2.5 explicit.
Lemma 2.12. Fix b ∈ cone(Vn ) for some n. The equivalence classes of lattice points
in the fiber Vn−1 [b], modulo the moves B′ , are in bijection with set of 0/1 matrices
u ∈ {0, 1}cn+1 of the following form
• uii = 0, for all i ∈ [n]
• uin = 0, for all i ∈ [n]
• b − V n u ∈ Nn .
Proof. Each equivalence class of upper triangular matrices has a representative whose
off-diagonal entries are all either zero or one. The bijection maps such an equivalence
class to the cn−1 entries that are off-diagonal and off the last column. To prove that
this is a bijection it suffices to construct the inverse map. To this end, let u satisfy the
properties in the statement. In each row i = 1, . . . , n, there are two values unspecified:
the diagonal entry and the entry in the last column. Given bi , and using the choice of
representative modulo B′ whose last column entries is either 0 or 1, fixes the diagonal
entry too by linearity. Therefore the map is a bijection.

Remark 2.13. If bi ≥ (n − 2) for all i ∈ [n], then any 0/1 upper triangular (n − 2)matrix is a possible choice for the off-diagonal off-last column entries of u in Lemma 2.12.
An upper triangular (n − 2)-matrix has cn−1 entries. Thus all those fibers have equivalence classes modulo B′ that are in bijection with {0, 1}cn−1 . In particular, each of those
fibers, has the same number of equivalence classes.
Remark 2.14. Remark 2.13 implies that in the Vn -grading, k[Ncn+1 ]/Jn is toral as in
[7, Definition 4.3]: its Vn -graded Hilbert function is globally bounded by 2cn−1 .
If n is odd, then (n − 2, . . . , n − 2) ∈
/ NVn . Therefore the minimal (with respect to
addition in the semigroup cone(Vn )) fibers that satisfy Remark 2.13 are (n − 1, n −
2, . . . , n − 2), . . . , (n − 2, . . . , n − 2, n − 1). If n is even, there is only one minimal fiber.
For the proof of Theorem 2.10 it is convenient to work in the quotient ring k[Ncn+1 ]/Jn .
Since In ⊇ Jn and In is finely graded by NVn , each equivalence class is contained in
a single fiber Vn−1 [b] and each fiber breaks into equivalence classes. The following
definition sums the monomials corresponding to these classes for specific fibers.

8

THOMAS KAHLE AND ANDRÉ WAGNER

Definition 2.15. The minimal saturated fibers are the minimal fibers that satisfy Remark 2.13. The generating function of the equivalence class in a minimal saturated
fiber is denoted by p+
n,i . That is
X
p+
=
xa ∈ k[Ncn+1 ]/Jn .
n,i
a∈Vn−1 [bi ]/L′n

where bi := (n − 2, . . . , n − 2) + ei if n is odd and bi = (n − 2, . . . , n − 2) if n is even.
If n is even, Definition 2.15 postulates only one polynomial which is simply denoted
when convenient. Sometimes, however, it can be convenient to keep the indices.

p+
n

Remark 2.16. The construction of a generating function of equivalence classes of
elements of the fiber in Definition 2.15 can be carried out for any fiber of Vn . For the
fiber (n − 2, . . . , n − 2, 2cn−1) we get the polynomial pn from Lemma 2.7.
2

⌋ (that is cn−1 − n−2
= (n−2)
for even n, and
The quantity σn−1 = cn−1 − ⌊ n−1
2
2
2
(n−1)(n−3)
n−1
cn−1 − 2 =
for odd n) appeared in Remark 2.8 and shows up again in the
2
next lemma: it almost gives the saturation exponent when passing from the Laurent
ring to the polynomial ring.
Lemma 2.17. As elements of k[Ncn+1 ]/Jn , if n is even then, xσnnn−1 p+
n,i = pn , and if n
σn−1 +1 +
is odd, then, xnn
pn,i = xin pn .
Proof. If n is even, the product xσnnn−1 p+
n,i has Vn -degree (n − 2, . . . , n − 2, 2cn−1 ). If n
σn−1 +1 +
is odd, the degree of xnn
pn,i equals (n − 2, . . . , n − 2, 2cn−1 + 1) + ei . Now these

products equal pn if n is even and xin pn if n is odd by Remarks 2.13 and 2.16.
Lemma 2.18. If n is odd, then for any triple of distinct indices i, j, k ∈ [n], in

k[Ncn+1 ]/Jn we have xij p+n,k = xjk p+n,i .

Proof. By Proposition 2.4, the variables are nonzerodivisors on k[Ncn+1 ]/Jn . The multidegree of p+
n,k satisfies the conditions of Remark 2.13, thus there are bijections between
+
the monomials of xij p+
n,k and xjk pn,i . Since all relations in Jn are equalities of monomials,
multiplication with a variable does not touch coefficients.

The following lemma captures an essential feature of our situation. Since the Vn graded Hilbert function of k[Ncn+1 ] is globally bounded, there is a notion of longest
homogeneous polynomial as one that uses all monomials in a given Vn -degree. If such a
polynomial is multiplied by a term, it remains a longest polynomial.
Lemma 2.19. The Vn -graded Hilbert functions of the k[Ncn+1 ]/Jn -modules, hpn i and
hp+
n,i i, i = 1, . . . , n take only zero and one as their values.
Proof. We only prove the statement for hpn i since the same argument applies also to
hp+
n,i i. The claim is equivalent to the statement that any f ∈ hpn i is a term (that is,

VERONESEAN ALMOST BINOMIAL ALMOST COMPLETE INTERSECTIONS

9

a monomial times a scalar) times pn . Let f = gpn with a Vn -homogeneous g. Let
t1 , . . . , ts be the terms of g. Since pn is the sum of all monomials of degree deg(pn ), and
multiplication by a term does not produce any cancellation, the number of terms of ti pn
equals that of pn . By Remark 2.13, the monomials in degree deg(ti pn ) are in bijection
with the monomials in degree deg(pn ), and therefore all ti pn are scalar multiples of the
generating function of the fiber for deg(ti pn ).

Q
∞
Lemma 2.20. For any i ∈ [n], hp+
= hp+
n,i i :
n,k : k ∈ [n]i.
ij xij

Proof. If n is odd, the containment of p+
n,k in the left hand side follows immediately
from Lemma 2.18. If n is even, it is trivial. For the other containment, let f be a
Vn -homogeneous polynomial that satisfies mf ∈ hp+
n,i i for some monomial m. We want
+
+
f ∈ hpn,k : k ∈ [n]i. By Lemma 2.19, mf = tpn,i for some term t. Since mf has the
same number of terms as f and also the same number of terms as tp+
n,i , this number
must be 2cn−1 . By Remark 2.13, the only Vn -homogeneous polynomials with 2cn−1 terms
are monomial multiples of the p+

n,k for k ∈ [n].
Q
∞
Proposition 2.21. (Jn + hpn i) :
x
= Jn + hp+
ij
n,j , j ∈ [n]i.
ij
Proof. Throughout we work in the quotient ring S := k[Ncn+1 ]/Jn and want to show
!∞
Y
hpn i :
xij
= hp+
n,j , j ∈ [n]i.
ij

Lemma 2.17 gives the inclusion ⊇, since it shows that, modulo Jn , a monomial multiple
of p+
n,i is equal to either pn or xin pn and thus lies in hpn i. For the other containment let
!∞
Y
f ∈ hpn i :
xij
,
ij

that is mf ∈ hpn i for some monomial m in S. This implies mf = gpn for some
+
′
polynomial g ∈ S. By Lemma 2.17, xin mf = g ′p+
n,i for some g ∈ S. So, xin mf ∈ hpn,i i

and thus f ∈ hp+
n,i i : xin m. Lemma 2.20 shows that f ∈ hpn,k : k ∈ [n]i.
Having identified the minimal saturated fibers, the longest polynomials, and computed the saturation with respect to the variables xij , we are now ready to prove
Theorem 2.10.
Proof of Theorem 2.10. After a potential renumbering, assume φ1 is the identity. It
suffices to prove the theorem for the omission of the Veronese ideal i = 1 from the
intersection. The remaining cases follow by application of φl to the ambient ring.

10

THOMAS KAHLE AND ANDRÉ WAGNER

Consider the extensions Jn k[Zcn+1 ] and In k[Zcn+1 ] to the Laurent polynomial ring.
By the general Theorem 2.22
\
φi (In k[Zcn+1 ]) = Jn k[Zcn+1 ] + hpn i.
i6=1

Pulling back to the polynomial ring, we have
\
Y
φi (In ) = (Jn + hpn i) : ( xij )∞ .
xij

i6=1

Contingent on Theorem 2.22, the result now follows from Proposition 2.21.



We have reduced the proof of Theorem 2.10 to a general result on intersection in the
Laurent ring. It is a variation of [8, Theorem 2.1]. According to [8, Section 2], any
binomial ideal in the Laurent polynomial ring k[Z] is defined by its lattice L ⊆ Zn of
exponents and a partial character ρ : L → k∗ . Such an ideal is denoted I(ρ) where the
lattice L is part of the definition of ρ.
Theorem 2.22. Let k be a field such that char(k) is either zero or does not divide the
order of the torsion part of Zn /L and I(ρ) ⊆ k[Zn ] be binomial. Let I(ρ) = I(ρ′1 ) ∩ . . . ∩
I(ρ′k ) be a primary decomposition of I(ρ) over the algebraic closure k of k. Omitting
one component I(ρ′i∗ ) yields
\
I(ρ′i ) = I(ρ) + ρ′i∗ (pL )
i6=i∗

where pL is the generating function of a fundamental zonotope of the lattice L.
Proof. A linear change of coordinates in Zn corresponds to a multiplicative change of
coordinates in k[Zn ]. Since the inclusion of L ⊆ Zn can be diagonalized using the Smith
normal form, one can reduce to the case that I(ρ) is generated by binomials xqi i − 1.
This case follows by multiplication of the results in the univariate case. The univariate
case, in turn, is up to scaling given by the polynomials (xn − 1)/(x − 1).

The assumption on char(k) in Theorem 2.22 can be relaxed at the cost of a case
distinction similar to that in [8, Theorem 2.1].
The explicit form of pL depends on a choice of lattice basis. Because the notions
lattice basis ideal and lattice ideal are not the same in the polynomial ring (they are in
the Laurent polynomial ring), one needs to pull back using colon ideals to get a result
in the polynomial ring. Even if in the Laurent ring the subintersection in Theorem 2.22
is principal modulo I(ρ), it need not be principal in the polynomial ring (as visible
in Theorem 2.10). It would be very nice to find more effective methods for binomial
subintersections in the polynomial ring, but at the moment the following remark is all
we have.

VERONESEAN ALMOST BINOMIAL ALMOST COMPLETE INTERSECTIONS

11

Remark 2.23. Under the field assumptions in Theorem 2.22, let I ⊆ k[Nn ] be a
lattice ideal in a polynomial ring with indeterminates x1 , . . . , xn . There exists a partial
character ρ : L → k∗ such that I = I(ρ)∩ k[Nn ]. The intersection of all but one minimal
primary component of I is
n
Y
n
(I(ρ) + ρ(pL )) ∩ k[N ] = (I + ρ(p)m) : ( xi )∞ .
i=1

where pL is the generating function of a fundamental zonotope of L, and m is any
monomial such that ρ(pL )m ∈ k[Nn ].
3. Extensions
The broadest possible generalization of the results in Section 2 may start from an
arbitrary toric ideal I ⊆ k[Nn ], corresponding to a grading matrix V ∈ Nd×n , and a
subideal J ⊆ I, for example a lattice basis ideal. One can then ask when the quotient
k[Nn ]/J is toral in the grading V . The techniques in Section 2 depend heavily on this
property and the very controllable stabilization of the Hilbert function. One can get
the feeling that this happens if J ⊆ I is a lattice ideal for some lattice that is of finite
index in the saturated lattice kerZ (V ). However, such a J cannot always be found: by a
result of Cattani, Curran, and Dickenstein, there exist toric ideals that do not contain
a complete intersection of the same dimension [3].
A more direct generalization of the results of Section 2 was suggested to us by Aldo
Conca. The d-th Veronese grading Vd,n has as its columns all vectors of length n and
weight d. The corresponding toric ideal is the d-th Veronese ideal Id,n ⊆ S = k[NN ] and
it contains a natural complete intersection Jd,n defined as follows. The set of columns of
Vd,n includes the multiples
the unit vectors D := {dei , i = 1, . . . , n}. For any column
Q vof
d
i
v∈
/ D, let fv = xv − i xdei . Then J = hfv : v ∈
/ Di ⊆ Id,n is a complete intersection
with codim(Jd,n ) = codim(Id,n ). It is natural to conjecture that a statement similar to
Proposition 2.4 is true. In this case, however, the group L/L′ (cf. Proposition 2.3) has
higher torsion. This implies that the binomial primary decomposition of J exists only
if k has corresponding roots of unity. By results of Goto and Watanabe [13, Chapter 3]
on the canonical module (cf. [2, Exercise 3.6.21]) the ring S/I is Gorenstein if and only
if d|n, so that J : I is equal to J + (p) for some polynomial p exactly in this situation.
In Section 2, the notation can be kept in check because there is a nice representation of
monomials as upper triangular matrices (Proposition 2.4, Lemma 2.12, etc.). To manage
the generalization, it will be an important task to find a similarly nice representation.
It is entirely possible that something akin to the string notation of [20, Section 14]
does the job. Additionally, experimentation with Macaulay2—which has informed
the authors of this paper—will be hard. For example, for d = 3, n = 4, the group L/L′
from Proposition 2.3 is isomorphic to (Z/3Z)13 which means that a prime decomposition
of J3,4 has 1594323 components. Computing subintersections of it is out of reach. It
may be possible to compute a colon ideal like (J3,4 : I3,4 ) directly, but off-the-shelf
methods failed for us.

12

THOMAS KAHLE AND ANDRÉ WAGNER

References
1. Robert Berger, Differentialmoduln eindimensionaler lokaler Ringe, Mathematische Zeitschrift 81
(1963), no. 4, 326–354.
2. Winfried Bruns and Jürgen Herzog, Cohen–Macaulay rings, Cambridge University Press, 1998.
3. Eduardo Cattani, Raymond Curran, and Alicia Dickenstein, Complete intersections in toric ideals,
Proceedings of the American Mathematical Society 135 (2007), no. 2, 329–335.
4. Aldo Conca, Divisor class group and canonical class of determinantal rings defined by ideals of
minors of a symmetric matrix, Archiv der Mathematik 63 (1994), no. 3, 216–224.
, Gröbner bases of ideals of minors of a symmetric matrix, Journal of Algebra 166 (1994),
5.
no. 2, 406–421.
6. Persi Diaconis, David Eisenbud, and Bernd Sturmfels, Lattice walks and primary decomposition,
Mathematical Essays in Honor of Gian-Carlo Rota (B. Sagan and R. Stanley, eds.), Progress in
Mathematics, vol. 161, Birkhauser, Boston, 1998, pp. 173–193.
7. Alicia Dickenstein, Laura Matusevich, and Ezra Miller, Combinatorics of binomial primary decomposition, Mathematische Zeitschrift 264 (2010), no. 4, 745–763.
8. David Eisenbud and Bernd Sturmfels, Binomial ideals, Duke Mathematical Journal 84 (1996),
no. 1, 1–45.
9. Elisa Gorla, The G-biliaison class of symmetric determinantal schemes, Journal of Algebra 310
(2007), no. 2, 880–902.
10.
, Symmetric ladders and G-biliaison, Liaison, Schottky Problem and Invariant Theory,
Springer, 2010, pp. 49–62.
11. Shiro Goto, The divisor class group of a certain Krull domain, J. Math. Kyoto Univ. 17 (1977),
47–50.
12. Shiro Goto, On the Gorensteinness of determinantal loci, Journal of Mathematics of Kyoto University 19 (1979), no. 2, 371–374.
13. Shiro Goto and Keiichi Watanabe, On graded rings I, Journal of the Mathematical Society of
Japan 30 (1978), no. 2, 179–213.
14. Daniel R. Grayson and Michael E. Stillman, Macaulay2, a software system for research in algebraic
geometry, Available at http://www.math.uiuc.edu/Macaulay2/.
15. Wolfgang Gröbner, Über Veronesesche Varitäten und deren Projektionen, Archiv der Mathematik
16 (1965), no. 1, 257–264.
16. Anders Jensen, Thomas Kahle, and Lukas Katthän, Finding binomials in polynomial ideals,
preprint, arXiv:1607:02135 (2016).
17. Thomas Kahle and Ezra Miller, Decompositions of commutative monoid congruences and binomial
ideals, Algebra and Number Theory 8 (2014), no. 6, 1297–1364.
18. Ronald E Kutz, Cohen–Macaulay rings and ideal theory in rings of invariants of algebraic groups,
Transactions of the American Mathematical Society 194 (1974), 115–129.
19. Ezra Miller and Bernd Sturmfels, Combinatorial commutative algebra, GTM, vol. 227, Springer,
Berlin, 2005.
20. Bernd Sturmfels, Gröbner bases and convex polytopes, University Lecture Series, vol. 8, American
Mathematical Society, Providence, RI, 1996.
Otto-von-Guericke Universität, Magdeburg, Germany
URL: http://www.thomas-kahle.de
Technische Universität Berlin, Berlin, Germany
URL: http://page.math.tu-berlin.de/~wagner

