PRIMARY COMPONENTS OF CODIMENSION TWO LATTICE BASIS IDEALS

arXiv:1403.0679v1 [math.AG] 4 Mar 2014

ZEKIYE SAHIN ESER AND LAURA FELICIA MATUSEVICH

A BSTRACT. We provide explicit combinatorial descriptions of the primary components of codimension two lattice basis ideals. As an application, we compute the set of parameters for which a
bivariate Horn system of hypergeometric differential equations is holonomic.

1. I NTRODUCTION
Let k be a field. A binomial is an element of a polynomial ring krxs “ krx1 , . . . , xn s with at most
two terms; a binomial ideal is one whose generators can be chosen binomial. The zero sets of
binomial ideals are unions of toric varieties, which makes binomial ideals important in algebraic
geometry, and is one reason that combinatorial methods are very effective for studying them. Beyond their intrinsic interest, binomial ideals arise naturally in various contexts, such as combinatorial game theory, algebraic statistics and dynamics of mass action kinetics, see [M11, DSS, SS10],
for references and details. These ideals are also very important in the study of hypergeometric
differential equations, as is shown in [DMM10b, BMW13].
Binomial ideals are highly structured. Assuming that the field k is algebraically closed, Eisenbud
and Sturmfels [ES98] have shown that the associated primes and primary components of a binomial ideal can be chosen binomial. In addition, when k is of characteristic zero, a combinatorial
description of the primary components of a binomial ideal was provided by Dickenstein, Matusevich and Miller in [DMM10a]. This description involves graphs whose vertices are the lattice
points in certain cones in Rn , and are thus difficult to visualize when the number of variables is
high.
If I is a binomial ideal, there exists a (multi)grading of the polynomial ring that makes I a homogeneous ideal. In fact, it is often the case that a binomial ideal is given together with a specified
grading. Depending on their behavior with respect to a given grading, the associated primes and
primary components of a binomial ideal are called toral or Andean (see Definition 3.5). In general,
the toral primary components of a binomial ideal are more easily understood combinatorially than
the Andean ones, as their graphs can actually be drawn in much lower dimension than the number
of variables.
In this article, we study the primary decomposition of codimension two lattice basis ideals, which
have a prescribed grading (see Definition 2.11, Convention 3.1 and the paragraph before Definition 5.4). In this case, it is known that the graphs controlling their toral primary components have
vertices in N2 , regardless of the dimension of the ambient polynomial ring. Our goal here is to
understand the combinatorics of the Andean primary components of a codimension two lattice
basis ideal; this is achieved in Theorem 5.1. To prove this result, we construct an infinite family
2010 Mathematics Subject Classification. Primary: 13F99, 52B20 ; Secondary: 33C70, 20M25.
The authors were partially supported by NSF Grant DMS 1001763.
1

2

ZEKIYE SAHIN ESER AND LAURA FELICIA MATUSEVICH

of graphs with vertices in N2 , that nevertheless contain enough information to produce the needed
primary components.
As was mentioned before, binomial ideals, and in particular, their primary decompositions, play
a key role in the study of hypergeometric functions. Using our new understanding of the Andean
components of a codimension two lattice basis ideal, we are able to compute the Andean arrangement (Definition 5.4) of a system of hypergeometric differential equations in two variables, which
consists of all the parameters for which such a system possesses a finite dimensional solution space
(Theorem 5.8).
Acknowledgements. We are grateful to Christine Berkesch Zamaere, Thomas Kahle, Ezra Miller,
and Christopher O’Neill for interesting conversations while we were working on this project, and
for comments on a previous version of this article.

2. G RAPHS

ASSOCIATED TO MATRICES

Throughout this article, N denotes the monoid t0, 1, 2, . . . u.
One of the main aims in [DMM10a] is to give a combinatorial description of the primary components of binomial ideals. This description involves graphs whose vertices belong to submonoids
of Zn , and more precisely, the connected components of those graphs (see, for instance, Theorem 3.2). In this section, we study graphs arising from 2 ˆ 2 integer matrices, whose vertices are
elements of N2 . These graphs are simpler than those introduced in [DMM10a], but it turns out that
they are sufficient to control the primary components of the special kind of binomial ideal we are
interested in.
We collect our results on graphs here, since they require no algebraic preliminaries, and may be
of independent combinatorial interest. In Sections 4 and 5, we use these graphs to compute the
primary components of codimension two lattice basis ideals.
Definition 2.1. Let Q be a subset of Zn and let M be an n ˆ m integer matrix. We define a graph
GQ pMq whose vertices are the elements of Q, and where two vertices u, v P Q are connected by an
edge if and only if u ´ v or v ´ u is a column of M. A connected component of GQ pMq is called
infinite, if it contains infinitely many vertices; otherwise it is called finite. A finite (or infinite)
vertex of GQ pMq is one that belongs to a finite (or infinite) connected component. If Q “ Nn , we
omit Q from the notation, and write GpMq instead of GNn pMq.
In this article, we consider graphs GQ pMq where Q is a submonoid of Zn such as Nn or Nk ˆ Zn´k
(for instance, in Proposition 4.3), or a subset of Zn , such as tu P Nn | λ1 u1 ` ¨ ¨ ¨ ` λn un “ λ0 u,
for fixed given λ0 , . . . , λn P Q (Lemma 4.6), or tu P N2 | u1 ď ℓu, for fixed given ℓ P N
(Proposition 2.5).
We are interested in the connected components of GQ pMq, and in particular, in determining
whether these connected components are infinite or finite.
Our first result concerns the connected components of GpMq, where M is a 2 ˆ 2 nonsingular
matrix whose rows lie in non adjacent (also called opposite) open quadrants of Z2 , and Q “ N2 is
omitted from the notation.

PRIMARY COMPONENTS OF CODIMENSION TWO LATTICE BASIS IDEALS

3

Proposition 2.2 (Lemma 6.5 in [DMS05]). Let M “ rµij si,jPt1,2u P Z2ˆ2 of rank two, and assume
that µ11 , µ12 ą 0 and µ21 , µ22 ă 0. Set
"
tu P N2 | u1 ă µ12 , u2 ă ´µ21 u
if |µ11 µ22 | ą |µ12 µ21 |,
R“
2
tu P N | u1 ă µ11 , u2 ă ´µ22 u
if |µ11 µ22 | ă |µ12 µ21 |.
Every finite connected component of GpMq contains exactly one vertex in R. In particular, the
number of finite connected components of GpMq is the cardinality of R, which is minp|µ11 µ22 |, |µ12 µ21 |q.

„
1
3
. GpMq has minp|´4|, |´6|q “ 4 finite connected components,
Example 2.3. Let M “
´2 ´4
which are shown in Figure 1.
z
•
• •
✳
✳ • • •
✳ ✳
✳ ✳ • •

w

F IGURE 1. The graph of M.
If M P Z2ˆ2 has all positive entries, then GpMq has no finite connected components. However,
in this case, it is not GpMq that carries the algebraic information we need later on, but a family of
subgraphs of GpMq, as follows.
Notation 2.4. Let M P Z2ˆ2 of rank two, all of whose entries are positive. For ℓ P N let Qℓ “
tu P N2 | u1 ď ℓu. We denote Gℓ pMq – GQℓ pMq, and call these graphs the band graphs of M.
Note that Gℓ pMq is the induced subgraph of GpMq whose vertices lie in Qℓ , and consequently if
ℓ ď ℓ1 , then Gℓ pMq is a subgraph of Gℓ1 pMq.
In order to understand the connected components of the band subgraphs of GpMq, we first analyze
a special case.
Proposition 2.5. Consider a rank two integer matrix

„
r s
M“
a b
such that r ě s ą 0, 0 ă a ď b, and gcdpr, sq “ 1. If ℓ ă r ` s ´ 1, then every connected
component of Gℓ pMq is finite. If ℓ ě r ` s ´ 1, then for every w0 P t0, 1, . . . , ℓu there exists z0 P N
such that pw0 , z0 q belongs to an infinite component of Gℓ pMq.
Before proving this result, we introduce some auxiliary notions, and provide some examples.
Given M as above, the graphs Gℓ pMq have two types of edges: those parallel to the first column
of M are called the r-edges of Gℓ pMq, and those parallel to the second column of M are called
the s-edges of Gℓ pMq. If r “ s, we could refer to these edges as a-edges and b-edges.

4

ZEKIYE SAHIN ESER AND LAURA FELICIA MATUSEVICH

Definition 2.6. Let M be as in Theorem 2.5, and consider N2 with coordinates w, z. A vertex of
Gℓ pMq is called a turn if it is adjacent to both an r-edge and an s-edge of Gℓ pMq. A turn pw0 , z0 q
is called a left turn if there is a vertex adjacent to pw0 , z0 q whose w-coordinate is smaller than w0 .
Turns that are not left turns are called right turns. Intuitively, when we walk along a connected
component of Gℓ pMq in the direction that increases z, we turn left at a left turn, and right at a right
turn.
Example 2.7. Let
M“

„


4
1

7
1

The band graphs G4 pMq and G7 pMq are illustrated in Figure 2.
z

z
•

•

•

•

•

left turn
•
•

•
w
G4 pMq

•

•

•

•
G7 pMq

w

F IGURE 2. Examples of band graphs.
All of the connected components of G4 pMq and G7 pMq are finite. The minimum ℓ P N such that
Gℓ pMq has an infinite connected component is ℓ “ 10 (see Figure 3).
z

•
•
•

•

•
•

•
•

•

•

•

•
w

G10 pMq

F IGURE 3. A band graph with an infinite component.
Proof of Proposition 2.5. Write r “ sq1 ` q2 where 0 ď q2 ă s. We claim that any connected
component of Gr pMq contains at most 2q1 `2 vertices (implying that Gr pMq, and therefore Gℓ pMq
for ℓ ď r, has no infinite connected components). A connected component of Gr pMq can only
contain one r-edge since the w-coordinates of vertices in Gr pMq are bounded by r. Thus, we can
have at most two turns in such a connected component. We can connect at most q1 -many s-edges
at each turn. Including the turns, the number of vertices in a connected component of Gr pMq is at
most equal to 2q1 ` 2.

PRIMARY COMPONENTS OF CODIMENSION TWO LATTICE BASIS IDEALS

5

We observe that a modification of the argument above shows that a connected component of Gℓ pMq
is infinite if and only if it contains infinitely many left turns.
Now consider Gr`t pMq where 0 ď t ă s. We show that Gr`t pMq has an infinite connected
component if and only if t “ s ´ 1. Note that not all components of Gr`t pMq have left turns, for
instance, the vertex pr ` t, 0q is itself a connected component, which therefore has no turns. In
what follows, we study how many left turns a connected component can have.
The ordering ą on the elements of N2 defined by pw, zq ą pw 1 , z 1 q if z ą z 1 , or z “ z 1 and w 1 ą w,
induces a total ordering on the set of left turns of a given component of Gr`t pMq.
Let C be a connected component of Gr`t pMq, and suppose that pw0 , z0 q is a left turn in C. We
wish to produce the next left turn of C according to ą, if it exists. Since pw0 , z0 q is a left turn in C,
we have pw0 ´ r, z0 ´ aq P C. This is a right turn, because Gr`t pMq cannot contain two adjacent
r-edges, as the w-coordinates of the vertices of Gr`t pMq are bounded by r ` t, and t ă s. We
attach s-edges to pw0 ´ r, z0 ´ aq, to produce a vertex pw0 ´ r, z0 ´ aq ` pqs, qbq P C, where q ą 0
is as large as possible. The integer q is produced by writing r ` t´ pw0 ´ rq “ qs ` rr ` t´ pw0 ´ rq
mod ss, where rα mod βs denotes the remainder of α upon division by β, for α, β P Z, α ą 0.
If pw0 ´ r, z0 ´ aq ` pqs, qbq is coordinatewise greater than or equal to pr, aq, then pw0 ´ r, z0 ´
aq ` pqs, qbq is a left turn of C which is greater according to ą than pw0 , z0 q. Now, z0 ´ a ě 0 and
b ě a imply that z0 ´ a ` qb ě a. Therefore, in order for pw0 ´ r, z0 ´ aq ` pqs, qbq to be a left turn,
we need r ď w0 ´ r ` qs “ r ` t ´ rr ` t ´ pw0 ´ rq mod ss, or equivalently, t ě r2r ` t ´ w0
mod ss.
Replacing pw0 , z0 q by pw0 ´r, z0 ´aq`pqs, qbq, we see that the condition needed for the existence of
a left turn which is greater according to ą than pw0 ´r, z0 ´aq`pqs, qbq is t ě r2r`t´pw0 ´r`qsq
mod ss “ r3r ` t ´ w0 mod ss.
Continuing in this manner, the existence of infinitely many left turns in C is equivalent to requiring
t ě rℓr ` t ´ w0 mod ss for all ℓ ą 0. However, since gcdpr, sq “ 1, there exists ℓ ą 0 such that
rpℓr ` t ´ w0 mod ss “ s ´ 1. Therefore, if t ă s ´ 1, C has finitely many left turns, and is finite,
and if t “ s ´ 1, C has infinitely many left turns, and is infinite.
If t ă s ´ 1, a component of Gr`t pMq either has no left turns or finitely many left turns, which
shows that Gr`t pMq has no infinite components.
Let t “ s ´ 1 and w0 P t0, . . . , r ` s ´ 1u. If w0 ě r, then for large enough z0 , pw0 , z0 q is a vertex
of both an r- and an s-edge whose other vertex has lower z-coordinate, and is therefore a left turn
in its connected component, which is thus infinite. If w0 ă r, we can choose z0 sufficiently large
such that attaching as many s-edges to pw0 , z0 q as possible yields a left turn, which implies that the
component of pw0 , z0 q is infinite.
Finally, if ℓ ą r ` s ´ 1, for each 0 ď t ď ℓ ´ pr ` s ´ 1q, Gℓ pMq contains as a subgraph the image
of Gr`s´1pMq under the translation pw, zq ÞÑ pw`t, zq. This implies that for each w0 P t0, . . . , ℓu,
there is z0 ą 0 such that pw0 , z0 q is an infinite vertex of Gℓ pMq.

In the previous statement, we assumed that the entries in the top column of M were relatively
prime. We now remove that assumption.
Theorem 2.8. Consider a rank two matrix
„

r s
M“
a b



6

ZEKIYE SAHIN ESER AND LAURA FELICIA MATUSEVICH

where r, s, a, b are positive integers, r ě s, a ď b and gcdpr, sq “ d ě 1. The minimal ℓ P N
such that Gℓ pMq has an infinite connected component is ℓ “ r ` s ´ d. If 0 ď t ă d and
w0 P t0, . . . , r ` s ´ d ` tu, there exists z0 such that pw0 , z0 q is an infinite vertex of Gr`s´d`t pMq
if and only if w0 is divisible by d. If ℓ ą r ` s, for each w0 P t0, . . . , ℓu, there exists z0 such that
pw0 , z0 q is an infinite vertex of Gℓ pMq.

„
2 6
. When ℓ “ 6, the band graph G6 pMq has an infinite connected
Example 2.9. Let M “
1 2
component. However, the vertices pw, zq where w is odd are finite vertices for all z; see Figure 4.
z

✳
•
✳
✳ •
✳ • ✳ • ✳ •
• ✳ • ✳ • ✳
• ✳ • ✳
✳ w
F IGURE 4. The band graph G6 pMq.
Proof. Let M̂ be the (integer) matrix obtained from M by dividing r and s by d, so that Proposition 2.5 applies to the band graphs of M̂.
Let ℓ P N and set ℓ̂ “ tℓ{du, the integer part of ℓ{d. We show that Gℓ pMq is a disjoint union of
graphs isomorphic to Gℓ̂ pM̂ q or Gℓ̂´1 pM̂q.
Let pw0 , z0 q P N2 such that w0 ď ℓ, so that pw0 , z0 q is a vertex of Gℓ pMq. Write w0 “ ŵ0 d ` t0
where t0 is an integer with 0 ď t0 ă d.
If t0 “ 0, then pw0 , z0 q belongs to the image of the map ϕℓ,0 : Gℓ̂ pMq Ñ Gℓ pMq defined on vertices
by pw, zq ÞÑ pdw, zq. Since r and s are divisible by d, any vertex in the connected component
of Gℓ pMq that contains pw0 , z0 q also has its d-coordinate divisible by d. This implies that the
connected component of pw0 , z0 q in Gℓ pMq is the image under ϕℓ,0 of the connected component of
pw0 {d “ ŵ0 , z0 q in Gℓ̂ pM̂ q.
If t0 ą 0, consider the map ϕℓ,t0 : Gℓ̂´1 pMq Ñ Gℓ pMq defined on vertices by pw, zq ÞÑ pdw `
t0 , zq. Since r and s are divisible by d, the w-coordinates of all the vertices of Gℓ pMq connected
to pw0 , z0 q are congruent to t0 modulo d. This implies that the connected component of pw0 , z0 q in
Gℓ pMq is the image under ϕℓ,t0 of the connected component of pŵ0 , z0 q in Gℓ̂´1 pM̂ q.
Note that the images of the maps ϕℓ,i have no common vertices, and their union is Gℓ pMq. Now
use Proposition 2.5 to obtain the desired conclusions.

We now explain how to construct graphs arising from binomial ideals. Lemma 2.12 relates these
graphs and those associated to matrices in the case of lattice basis ideals.
Definition 2.10. Let P be a monoid. A binomial ideal I in the monoid ring krP s defines a graph
GP pIq whose vertices are the elements of P and whose edges are pairs pu, vq P P ˆ P such that

PRIMARY COMPONENTS OF CODIMENSION TWO LATTICE BASIS IDEALS

7

xu ´ ρxv P I for some ρ P k r t0u. A connected component of GP pIq is said to be infinite if
it consists of infinitely many vertices; otherwise it is called finite. A vertex of GP pIq is called an
infinite vertex if it belongs to an infinite connected component, otherwise it is called a finite vertex.
If P “ Nn , we omit P from the notation, and write G pIq instead of GP pIq.
Note that if I Ă krP s is a binomial ideal, any connected component of GP pIq is a complete graph.
We are ready to introduce our main objects of study.
Definition 2.11. If µ P Zn , define µ` , µ´ P Nn via pµ` qi “ maxpµi , 0q and pµ´ qi “ maxp´µi , 0q,
so that µ “ µ` ´ µ´ . Let M be n ˆ m integer matrix. We define a binomial ideal associated to M
as follows:
IpMq “ xxµ` ´ xµ´ | µ is a column of My Ď krx1 , . . . , xn s “ krNn s.
If M has rank m, then IpMq is called a lattice basis ideal.
Lemma 2.12. Let M be an n ˆ m integer matrix of rank m, and IpMq its corresponding lattice
basis ideal as in Definition 2.11. Let τ Ď t1, . . . , nu and let P “ Nτ ˆ Zτ̄ . Then u, v P P are
connected in GP pkrP s ¨ IpMqq if and only if they are connected in GP pMq.
Proof. Assume that u, v P P are connected in GP pMq. We show that xu ´ xv P krP s ¨ IpMq by
induction on the length of the path connecting u to v. If this path has length one, then u and v are
connected by an edge of GP pMq, meaning that u ´ v or v ´ u, say u ´ v, equals a column µ of
M. Then u ´ v “ µ “ µ` ´ µ´ , so that v ´ µ´ “ u ´ µ` — ν. Since v ´ µ´ ` µ` “ u P P
and for all i, pµ` qi and pµ´ qi are not simultaneously nonzero, we see that ν P P . But then
xu ´ xv “ xν pxµ` ´ xµ´ q P krP s ¨ IpMq, as we wished.
Now assume that u and v are connected in GP pMq by a path of length ℓ ą 1. This means that there
are vertices u “ ν p0q , ν p1q , . . . , ν pℓq “ v of GP pMq such that pν piq , ν pi`1q q is an edge of GP pMq
for i “ 0, . . . , ℓ. By inductive hypothesis, since ν p1q and v are connected in GP pMq by a path of
p1q
p1q
length ℓ ´ 1, we have xν ´ xv P krP s ¨ IpMq. But we also know xu ´ xν P krP s ¨ IpMq. We
conclude that xu ´ xv P krP s ¨ IpMq, and therefore u and v are connected in GP pIpMqq.
For the converse, we start by noting that a lattice basis ideal (and its extension to krP s) contains no
monomials. This follows, for instance, from Lemma 7.6 in [MS], which implies that the saturation
pIpMq : xx1 ¨ ¨ ¨ xn y8 q Ď krxs is not the unit ideal.
Since every connected component of GP pIpMqq is a complete graph, if u and v are connected
in GP pIpMqq, then pu, vq is an edge in GP pIpMqq. Thus, there exists nonzero ρ P k such that
xu ´ ρxv P krP s ¨ IpMq, and if µp1q , . . . , µpmq are the columns of M, we can write xu ´ ρxv “
pmq
pmq
p1q
p1q
F1 pxqpxµ` ´ xµ´ q ` ¨ ¨ ¨ ` Fm pxqpxµ` ´ xµ´ q for certain F1 , . . . , Fm P krP s. We can represent
this expression as a subgraph K of GP pMq: for every term λxν in Fi , K contains the edge pν `
piq
piq
µ` , ν ` µ´ q and its corresponding vertices. We label this edge by the coefficient λ, and we label
each vertex by the combination of the labels of the edges adjacent to it, with a positive sign if we
piq
piq
piq
piq
look at the vertex ν ` µ` of pν ` µ` , ν ` µ´ q, and a negative sign for the vertex ν ` µ´ . Thus,
the only two vertices with nonzero labels are u and v.
Let Ku be the connected component of K containing u. We wish to show that v is a vertex in Ku ,
as this implies that u and v are connected in GP pMq. But if this is not the case, we can use Ku to
piq
piq
piq
piq
form a polynomial expression with a summand λxν pxµ` ´ xpµ´ q for each edge pν ` µ` , ν ` µ´ q

8

ZEKIYE SAHIN ESER AND LAURA FELICIA MATUSEVICH

labeled by λ in Ku , and this expression equals the sum over the vertices in Ku of the label of
each vertex times the corresponding monomial. Since the only vertex with a nonzero label in Ku
is u (that label is 1), then we obtain an expression for xu as a combination of the generators of
krP s ¨ IpMq. This contradicts the fact that krP s ¨ IpMq contains no monomials.

With the hypotheses and notation of the previous result, we see that we can construct GP pIpMqq
by adding edges to GP pMq until each connected component becomes a complete graph.
Given an arbitrary binomial ideal I Ď krP s, it is always possible to construct a subgraph of GP pIq
using a generating set of I, so that the underlying vertex sets of their connected components are
the same (and therefore, saturating the connected components of this subgraph with edges yields
GP pIq). For this purpose, not every generating set of I contains sufficient information. What is
needed is a generating set of I that contains all the generators of the maximal monomial ideal in I.
The statement (and proof) of this generalization are more technical, but follow along the same lines
as above. We point out that special cases of this result can be found in the literature, for example
Lemmas 1 and 2 in [MM82].
3. P RIMARY

DECOMPOSITION OF BINOMIAL IDEALS

In this section we review important facts about the primary decomposition of binomial ideals, and
especially of lattice basis ideals (Definition 2.11).
Recall that N “ t0, 1, 2, . . . u. We work in the polynomial ring krx1 , . . . , xn s “ krNn s where k is
an algebraically closed field. Unless otherwise specified, k is of characteristic zero (in Section 5,
we use k “ C).
The associated primes of lattice basis ideals were studied by Hoşten and Shapiro in [HS00]; they
show that the minimal primes of such an ideal are determined by the sign patterns of the entries of
the corresponding matrix. In this article, we study lattice basis ideals arising from n ˆ 2 integer
matrices, known as codimension two lattice basis ideals.
Convention 3.1. From now on, B “ rbij s is an n ˆ 2 integer matrix of rank 2. The rows of B are
denoted by b1 , . . . , bn , and its columns by B1 , B2 . Fix an integer pn ´ 2q ˆ n matrix A such that
AB “ 0, and whose columns span Zn´2 as a lattice.
Since B has rank two, the ideal IpBq from Definition 2.11 is a complete intersection. Therefore
all of its associated primes are minimal. By Corollary
ś 2.1 in [HS00], the set of associated primes
of IpBq consists of the associated primes of pI : p ni“1 xi q8 q and the monomial primes xxi , xj y if
bi and bj lie in opposite open quadrants of Z2 .
ś
All of the associated primes of pI : p ni“1 xi q8 q are isomorphic, by rescaling the variables, to
IA “ xxv` ´ xv´ | v P Zn , Av “ 0y, where A is as in Convention 3.1. The prime ideal IA
is called the toric ideal associated to A. It is shown in [ES98] that the primary components of
IpBq corresponding to these associated primes are the associated primes themselves (since the
characteristic of the underlying field k is zero). Thus, we now turn our attention to the primary
components of IpBq arising from monomial associated primes.
One of the main results in [ES98] is that any binomial prime ideal in krxs is of the form krxs ¨ J `
xxi | i P σy, where σ Ď t1, . . . , nu and J Ă krxj | j R σs is isomorphic to a toric ideal by rescaling
the variables. In characteristic zero, the primary component of a binomial ideal I corresponding

PRIMARY COMPONENTS OF CODIMENSION TWO LATTICE BASIS IDEALS

9

ś
to such an associated prime is of the form prI ` Js : r jRσ xj s8 q ` M , where M is a monomial
ideal generated by elements of krxi | i P σs. A key idea from [DMM10a] is that the graphs from
Definition 2.10 can be used to determine the monomials in the primary components of a binomial
ideal. A specific result in this vein is Theorem 3.2 below, which describes the primary component
of a binomial ideal corresponding to a monomial associated prime.
We first set up some notation. Given σ Ď t1, . . . , nu, we set σ̄ “ t1, . . . , nu r σ. Denote Nσ “
tu P Nn | ui “ 0 for i R σu, and Zσ̄ “ tu P Zn | ui “ 0 for i P σu. We consider P “ Nσ ˆ Zσ̄ as
a submonoid of Zn . The corresponding monoid ring is krP s “ krNσ ˆ Zσ̄ s “ krx˘
j | j R σsrxi |
i P σs.
Theorem 3.2 (Theorem 2.15, [DMM10a]). Let k be an algebraically closed field (of any characteristic) and I Ă krxs a binomial ideal. Let σ Ď t1, . . . , nu, and set P “ Nσ ˆ Zσ̄ . If xxi | i P σy
is a minimal prime of I, its corresponding primary component is
˙
ˆ
ź
8
` xxu | u P Nn is an infinite vertex of GP pkrP s ¨ Iqy.
I : p xj q
(3.1)
jRσ

Moreover, the only monomials in these primary components are those of the form xu such that
u P Nn is an infinite vertex of GP pkrP s ¨ Iq.
Remark 3.3. Note that the monomial ideal in (3.1) is generated by monomials xu where uj “ 0 if
j R σ. Indeed, if u P Nn is an infinite vertex of GP pkrP s ¨ Iq, so is u ´ û, where ûi “ 0 if i P σ and
ûj “ uj if j R σ. This is because monomials in the variables xj for j R σ are units in krP s.
The following useful criterion to identify the infinite components of GP pkrP s ¨ Iq is a special case
of Lemma 2.10 in [DMM10a].
Lemma 3.4. Let I Ď krx1 , . . . , xn s be a binomial ideal, σ Ď t1, . . . , nu, and P “ Nσ ˆ Zσ̄ .
A connected component of GP pkrP s ¨ Iq is infinite if and only if it contains two distinct vertices
u, v P P such that u ´ v P P .
The graphs GP pkrP s ¨ Iq used in Theorem 3.2 have vertices in P “ Nσ ˆ Zσ̄ . When n is large, we
cannot hope to compute the finite (or infinite) connected components of GP pkrP s ¨ Iq by simply
drawing the graph. In certain situations, other graphs, whose ambient lattice is lower dimensional,
contain the same information as G ` P pkrP s ¨ Iq. This happens, for instance, when xxi | i P σy
behaves well with respect to a given grading, as follows.
The matrix A in Convention 3.1 can be used to define a Zn´2 -grading of krxs, where degpxi q
is defined to be the ith column of A. The ideal IpBq is homogeneous with respect to this Agrading (as are therefore its associated primes and primary components). The associated primes
(and primary components) of an A-graded ideal are classified according to their A-graded behavior.
Definition 3.5. Let I Ď krxs be an A-graded binomial ideal, and p an associated prime of I. If the
A-graded Hilbert function of krxs{p is bounded, then p and the corresponding primary component
of I, are called toral. Otherwise, they are called Andean.
Example 3.6. Among the associated primes of the codimension two lattice basis ideal IpBq, the
only Andean ones are the monomial primes xxi , xj y such that the corresponding rows of B, bi and
bj , are linearly dependent (and in opposite open quadrants of Z2 ).
To see this, first observe that the A-graded Hilbert function of krxs{IA takes only the values zero
and one (and the same holds for the other non-monomial associated primes of IpBq). On the

10

ZEKIYE SAHIN ESER AND LAURA FELICIA MATUSEVICH

other hand, whether the Hilbert function of krxs{xxi , xj y is bounded depends on the rank of the
submatrix of A indexed by t1, . . . , nu r ti, ju: boundedness is equivalent to this submatrix having
full rank, and this happens exactly when bi and bj are linearly independent.
The toral components of an A-graded binomial ideal are more accessible combinatorially than
the Andean ones in general. The following result illustrating this fact is a consequence of Theorem 4.13 from [DMM10a].
Theorem 3.7. Let I be an A-graded binomial ideal in krxs, where k is algebraically closed of
characteristic zero, and assume that p “ xxi | i P σy is a toral minimal prime of I. Define the
binomial ideal I¯ “ I ¨ krxs{xxj ´ 1 | j R σy Ă krNσ s by setting xj “ 1 for j R σ. The p-primary
component of I is:
˙
ˆ
ź
8
¯
` xxu | u P Nσ is an infinite vertex of G pIqy.
I : p xj q
jRσ

¯ has vertices in Nσ , and the cardinality of
The main feature of the previous theorem is that G pIq
σ can be much smaller than n. In the case of codimension two lattice basis ideals, Nσ “ N2 ,
regardless of the number of variables n. In fact, if xxi , xj y is a toral associated prime of IpBq, then
|b |
|b |
|b |
|b |
IpBq “ xxi i1 ´ xj j1 , xi i2 ´ xj j2 y Ă krxi , xj s, and by Lemma 2.12, G pIpBqq can be constructed
from the graph GpMq associated to the 2 ˆ 2 matrix M whose rows are bi and bj . But we have
already characterized the connected components of GpMq in Proposition 2.2, so we can describe
the corresponding primary component by applying Theorem 3.7.
When k is of characteristic zero, this yields a very satisfactory picture of the toral components
of a codimension two lattice basis ideal: the primary components corresponding to non-monomial
associated primes are isomorphic to toric ideals by rescaling the variables; the primary components
corresponding to monomial toral primes are described by Theorem 3.7 and Proposition 2.2.
Example 3.8. Let
ﬁ
2
4
—´4 ´6 ﬃ
ﬃ
—
3ﬃ
— 2
ﬃ
—
3ﬃ
—´1
B“—
ﬃ,
—´1 ´2 ﬃ
— 2 ´6 ﬃ
ﬃ
—
–´8 ´12ﬂ
´3 ´6
6
4
8 3
4 3 3
2 2 2
so that IpBq “ xx1 x3 x6 ´ x2 x4 x5 x7 x8 , x1 x3 x4 ´ x62 x25 x66 x12
7 x8 y.
»

The rows p2, 4q„and p´4,´6q are linearly independent and lie in opposite open quadrants, so we
2
4
. We can compute the monomials of the xx1 , x2 y-primary component of
consider M “
´4 ´6
IpBq by looking the graph of GpMq; see Figure 5.
By Theorem 3.7, the xx1 , x2 y-primary component of IpBq is:
pIpBq : p

ź

ℓ‰1,2

xℓ q8 q ` xx41 , x62 , x21 x22 y “ xx41 , x62 , x21 x22 , x42 x4 x5 x87 x38 ´ x21 x23 x26 y.

PRIMARY COMPONENTS OF CODIMENSION TWO LATTICE BASIS IDEALS

11

uy
•
•
❍

•
•
•
❍

•
•
❍

ux

F IGURE 5. The graph of GpMq
4. C ODIMENSION

TWO LATTICE BASIS IDEALS IN THREE VARIABLES

In this section, we study the Andean components of codimension two lattice basis ideals in three
variables.
Notation 4.1. For this section only, and except where otherwise noted, we let B be 3 ˆ 2 matrix
of full rank 2 as follows:
»
ﬁ
r
s
B “ –´λr ´λsﬂ
a
b
where r, s, a, b P Zą0 , a ď b, r ě s, gcdpr, sq “ d, and 0 ă λ “ p{q in lowest terms. We work in
the polynomial ring krx, y, zs. The lattice basis ideal associated to B is IpBq “ xxr z a ´y λr , xs z b ´
y λs y Ď krx, y, zs. We let P “ N2 ˆ Z, and work with krP s “ krz ˘ srx, ys.

Remark 4.2. For a codimension two lattice basis ideal IpBq arising from a 3 ˆ 2 matrix B as in
Notation 4.1, a vertex u “ pux , uy , uz q of G pIpBqq that lies on a hyperplane uy “ ´λux ` λℓ, for
ℓ P Q, can only be connected to other vertices on that hyperplane. This follows from Lemma 2.12
since the columns of B are parallel to the hyperplane uy “ ´λux .
For B as above, we wish to compute the primary component of IpBq corresponding to the (Andean) associated prime xx, yy. According to Theorem 3.2, we need to understand the graph arising
from the extension of IpBq to krz ˘ srx, ys “ krP s.
The following proposition shows that all the information we need about the infinite components
of GP pkrP s ¨ IpBqq is contained in the infinite components of G pIpBqq, consequently the graph
GpBq can be used to compute the primary component of IpBq corresponding to the associated
prime xx, yy.
Proposition 4.3. Let B and P “ N2 ˆ Z as in Notation 4.1. Then
tpux , uy q P N2 | Duz P Z such that pux , uy , uz q is an infinite vertex of GP pkrP s ¨ IpBqqu “
tpux , uy q P N2 | Duz P N such that pux , uy , uz q is an infinite vertex of G pIpBqqu.

12

ZEKIYE SAHIN ESER AND LAURA FELICIA MATUSEVICH

Consequently, the primary component of IpBq corresponding to the associated prime xx, yy is:
pI : z 8 q ` xxux y uy | Duz P N such that pux , uy , uz q is an infinite vertex of GpBqy.
Proof. If u “ pux , uy , uz q P N3 is an infinite vertex of G pIpBqq, then it is clear that it is also an
infinite vertex of GP pkrP s ¨ IpBqq.
Let u “ pux , uy , uz q P P be an infinite vertex of of GP pkrP s ¨ IpBqq. By Lemma 3.4 there exists
v “ pvx , vy , vz q, ṽ “ pṽx , ṽy , ṽz q P N2 ˆ Z connected to u such that ṽx ě vx and ṽy ě vy . Since u
is connected to v, we can find a nonzero ρ P k such that xux y uy z uz ´ ρxvx y vy z vz P krP s ¨ IpBq, and
by clearing denominators, we can produce µ P N such that z µ pxux y uy z uz ´ ρxvx y vy z vz q P IpBq; in
particular, µ`uz and µ`vz are non negative. Thus, the vertices pux , uy , uz `µq, pvx , vy , vz `µq P N3
are connected in G pIpBqq. Enlarging µ as needed, we may assume that pux , uy , uz `µq, pvx , vy , vz `
µq, pṽx , ṽy , ṽz ` µq are coordinatewise non negative and connected in G pIpBqq.
By Remark 4.2, there exists ℓ P Q such that vy “ ´λvx ` λℓ and ṽy “ ´λṽx ` λℓ, so that
ṽy ´ vy “ ´λpṽx ´ vx q. Since λ ą 0 and ṽx ´ vx , ṽy ´ vy are non negative, we see that vx “ ṽx
and vy “ ṽy .
In conclusion, the vertices pvx , vy , vz ` µq, pvx , vy , ṽz ` µq P N3 are connected in GpIpBqq; since
either pvx , vy , vz ` µq ´ pvx , vy , ṽz ` µq or pvx , vy , ṽz ` µq ´ pvx , vy , vz ` µq belongs to N3 , we see
that these vertices belong to an infinite component of G pIpBqq by Lemma 3.4. As these vertices
are connected to pux , uy , uz ` µq, we conclude that this is an infinite vertex of G pIpBqq.
The last statement now follows from Theorem 3.2, Remark 3.3 and Lemma 2.12.



For the remainder of this section, we study the connected components of the graph GpBq for B as
in Notation 4.1. The following definition is motivated by Remark 4.2.
Definition 4.4. For a matrix B as in Notation 4.1 and ℓ P p1{pqN, set Spℓq “ Nn X tpux , uy , uz q |
uy “ ´λux ` λℓu. The graph GSpℓq pBq is called the ℓth-slice graph of B. Slice graphs are
illustrated in Figure 6.
Ť
By Remark 4.2, GpBq equals the (disjoint) union ℓPp1{pqN GSpℓq pBq as a graph.
The following result groups the slice graphs of B according to isomorphism.

Lemma 4.5. Let B as in Notation 4.1. Suppose pcx , cy , cz q P N3 is a vertex of GSpℓq pBq, where
ℓ P p1{pqN. Write cx “ qc̄x `i, cy “ pc̄y `j, where c̄x , c̄y , i, j P N and 0 ď i ă q, 0 ď j ă p. Then
GSpℓq pBq is isomorphic to the slice graph GSpℓ´i´j{λqpBq that contains pqc̄x , pc̄y , cz q as a vertex.
Consequently, in order to understand the (connected components of) all the slice graphs of B, it is
enough to understand GSpℓq pBq for ℓ P qN.
Proof. The desired isomorphism ϕij between GSpℓq pBq and GSpℓ´i´j{λq pBq is defined by
pux , uy , uz q ÞÑ pux ´ i, uy ´ j, uz q.
Note that a vertex of the form pqc̄x , pc̄y , cz q P N3 , where c̄x , c̄y P N belongs to a slice graph
GSpℓ̄q pBq where ℓ̄ P qN.

Our next step is to “straighten out” the slice graphs of B. Recall the notation of Notation 4.1.
Given ℓ P N, let φℓ : N2 Ñ Z3 be the injective function defined by pw, kq ÞÑ pqw, λpqℓ ´ qwq, kq “
pqw, ppℓ ´ wq, kq. Note that the image φℓ ptpw, kq P N2 | 0 ď w ď ℓ, 0 ď kuq is the intersection
with N3 of the hyperplane given by uy “ ´λux ` λqℓ.

PRIMARY COMPONENTS OF CODIMENSION TWO LATTICE BASIS IDEALS

13

uz

•
•

•

•

•

GSp4q pBq
•

•

•
GSp7q pBq
•
uy

•
•
•

•
•

ux
F IGURE 6. Slice graphs for IpBq “ xx4 z ´ y 4 , x7 z ´ y 7 y.
“ s{q ‰
Lemma 4.6. Let B be as in Notation 4.1 and set M “ r{q
. Given ℓ P N, define φℓ as above.
a b
The image under φℓ of the band graph Gℓ pMq (see Notation 2.4) is the slice graph GSpqℓq pBq. 
Since we have already studied the connected components of the band graphs Gℓ pMq, we are ready
to compute the primary component of IpBq associated to xx, yy.
Theorem 4.7. Let B as in Notation 4.1. The primary component of IpBq corresponding to the
associated prime xx, yy is
pIpBq : z 8 q ` xy λpr`s´dq , xd y λpr`s´2dq , x2d y λpr`s´3dq , . . . , xr`s´d y.
Proof. By Theorem 3.2, the desired component is pIpBq : z 8 q ` M , where
M “ xxux y uy | Duz P Z with u “ pux , uy , uz q an infinite vertex of GN2 ˆZ pIpBqqy.
By Proposition 4.3, we can use G pIpBqq instead of GN2 ˆZ pIpBqq in the definition of M , and by
Lemma 2.12, we can use GpBq instead of G pIpBqq.
Now combine Remark 4.2, Lemmas 4.5 and 4.6 and Theorem 2.8 to obtain the desired result.
5. L ATTICE



BASIS IDEALS AND HYPERGEOMETRIC SYSTEMS

In this section we state and prove our main result, Theorem 5.1, that gives an explicit expression
for the Andean primary components of a codimension two lattice basis ideal. We also provide an
application to the study of hypergeometric systems of differential equations.

14

ZEKIYE SAHIN ESER AND LAURA FELICIA MATUSEVICH

Theorem 5.1. Let B as in Convention 3.1, and suppose that bi , bj are linearly dependent rows
of B lying in opposite open quadrants of Z2 . Without loss of generality, assume that bi1 , bi2 ą 0,
let d “ gcdpbi1 , bi2 q, and write λ “ ´bj1 {bi1 “ ´bj2 {bi2 ą 0. The primary component of IpBq
corresponding to the associated prime xxi , xj y is
ź
λpb `b ´dq
λpb `b ´2dq
λpbi1 `bi2 ´3dq
pIpBq : p
xk q8 q ` xxj i1 i2 , xdi xj i1 i2
, x2d
, . . . , xibi1 `bi2 ´d y.
i xj
k‰i,j

λpbi1 `bi2 ´dq

The only monomials in this ideal are those in xxj

λpbi1 `bi2 ´2dq

, xdi xj

, . . . , xibi1 `bi2 ´d y.

Proof.” Let σı “ ti, ju, and set P “ Nσ ˆ Zσ̄ . Choose 0 ă a ď b P Z such that the matrix
bi1 bi2
B̂ “ bj1 bj2 has rank 2. Our result follows from Theorems 4.7 and 3.2 if we show that
a

b

tpui , uj q P Nσ | Du P P an infinite vertex of GP pIpBqqu “

tpc1 , c2 q P N2 | Dc3 P Z with pc1 , c2 , c3 q an infinite vertex of GN2 ˆZ pIpB̂qq.
By Lemma 2.12, it is enough to show that
tpui , uj q P Nσ | Du P P with ui and uj an infinite vertex of GP pBqu “
tpc1 , c2 q P N2 | Dc3 P Z with pc1 , c2 , c3 q an infinite vertex of GN2 ˆZ pB̂q.

(5.1)

We show Ď; the other inclusion is similar.
Let pui , uj q P Nσ , such that there is u P Nσ ˆ Zσ̄ (whose ith and jth coordinate are ui and uj )
that is an infinite vertex of GP pBq. By Lemma 3.4, there are v, ṽ P P connected to u such that
ṽ ´ v P P . Then there is a sequence of vertices u “ µp1q , . . . , µpℓ1 q “ v, µpℓ1 `1q , . . . , µpℓ2 q “ ṽ P P
such that pµpkq , µpk`1q q is an edge in GP pBq for k “ 1, . . . ℓ2 ´ 1.
Recall that B1 and B2 are the columns of B, and denote B̂1 and B̂2 the columns of B̂. Define
$
B̂1
if µpk`1q ´ µpkq “ B1 ,
’
’
&
´B̂1
if µpk`1q ´ µpkq “ ´B1 ,
v pkq “
’
B̂2
if µpk`1q ´ µpkq “ B2 ,
’
%
´B̂2
if µpk`1q ´ µpkq “ ´B2 .

Choose any c P Z and let ν p1q “ pui , uj , cq. Set also ν pk`1q “ ν pkq `v pkq for k “ 1, . . . , ℓ2 ´1. Then
the first and second coordinates of ν pkq are equal to the ith and jth coordinates of µpkq respectively,
which implies that ν p1q , . . . , ν pℓ2 q P N2 ˆ Z. By construction, pν pkq , ν pk`1q q is an edge of GN2 ˆZ pB̂q
for k “ 1, . . . , ℓ2 ´ 1, so that in particular, ν p1q , ν pℓ1 q and ν pℓ2 q belong to the same connected
component of GN2 ˆZ pB̂q. Moreover, ṽ´v P P implies that ν pℓ2 q ´ν pℓ1 q P N2 ˆZ, so by Lemma 3.4,
ν p1q is an infinite vertex of GN2 ˆZ pB̂q, and we conclude that pui , uj q belongs to the right hand side
of (5.1).

We use Theorem 5.1 to study hypergeometric differential equations. For the remainder of this
article, we work over the field k “ C.
Definition 5.2. Let B “ pbrs q P Znˆ2 as in Convention 3.1, and let κ P Cn . We use this information to define a system of partial differential equations in two variables, called a bivariate

PRIMARY COMPONENTS OF CODIMENSION TWO LATTICE BASIS IDEALS

15

hypergeometric system of Horn type, and denoted HornpB, κq, as follows. (Colored symbols are
added for convenience.)
´1 ˆ
ź br1
ź

˙
Bϕpz1 , z2 q
Bϕpz1 , z2 q
` br2 z2
` κr ´ ℓ “
br1 z1
Bz
Bz
1
2
br1 ą0 ℓ“0
˙
ˆ
r1 ´1
ź ´bź
Bϕpz1 , z2 q
Bϕpz1 , z2 q
` br2 z2
` κr ´ ℓ ,
z1
br1 z1
Bz1
Bz2
br1 ă0 ℓ“0
˙
´1 ˆ
ź br2
ź
Bϕpz1 , z2 q
Bϕpz1 , z2 q
br1 z1
` br2 z2
` κr ´ ℓ “
Bz
Bz
1
2
br2 ą0 ℓ“0
ˆ
˙
r2 ´1
ź ´bź
Bϕpz1 , z2 q
Bϕpz1 , z2 q
br1 z1
z2
` br2 z2
` κr ´ ℓ .
Bz1
Bz2
b ă0 ℓ“0
r2

Example 5.3. Hypergeometric systems contain as examples many widely studied systems of differential equations. For example, the Appell system F1 :
ˆ
˙
Bϕpz1 , z2 q
Bϕpz1 , z2 q
Bϕpz1 , z2 q
z1
` z2
`γ´1 “
Bz1
Bz1
Bz2
˙ˆ
˙
ˆ
Bϕpz1 , z2 q
Bϕpz1, z2 q
Bϕpz1 , z2 q
`β
z1
` z2
`α ,
z1
Bz1
Bz1
Bz2
ˆ
˙
Bϕpz1 , z2 q
Bϕpz1 , z2 q
Bϕpz1 , z2 q
z1
` z2
`γ´1 “
Bz2
Bz1
Bz2
ˆ
˙ˆ
˙
Bϕpz1 , z2 q
Bϕpz1 , z2 q
Bϕpz1, z2 q
1
z1
z1
`β
` z2
`α ,
Bz1
Bz1
Bz2
» 1 1ﬁ

arises from the matrix B “ –

´1 ´1
1 0ﬂ
0 1
´1 0
0 ´1

and the vector κ “ pγ ´ 1, ´α, 0, 0, ´β, ´β 1q P C6 . It is

clear that if α “ γ ´ 1, then the space of germs of holomorphic solutions of the Appell system
near a generic nonsingular point is infinite-dimensional, as any solution of z1 pBϕpz1 , z2 q{Bz1 q `
z2 pBϕpz1 , z2 q{Bz2 q ` α “ 0 is a solution of the Appell system. The converse of this statement,
though non-obvious, is also true. In fact, the necessary and sufficient constraints on the parameters
κ for the system HornpB, κq to have a finite dimensional solution space can be determined using
the primary decomposition of the lattice basis ideal IpBq (see [DMM10b, Theorem 6.2]). The
relevant object is the Andean arrangement of the lattice basis ideal IpBq (see Definition 5.4 below).
Recall from Convention 3.1 that we have been given a matrix A P Zpn´2qˆn such that AB “ 0,
and whose columns a1 , . . . , an span Zn´2 as a lattice. The ideal IpBq is homogeneous with respect
to the Zn´2 -grading on Crxs defined by degpxi q “ ai for i “ 1, . . . , n. If V is a Zn´2 -graded
Crxs-module, we define the set of degrees of V as follows:
degpV q “ tα P Zn´2 | Vα ‰ 0u.
Definition 5.4. Let V be a Zn´2 -graded module and consider degpV q as a subset of Cn´2 . The
Zariski closure of degpV q in Cn´2 is called the set of quasidegrees of V , denoted qdegpV q.

16

ZEKIYE SAHIN ESER AND LAURA FELICIA MATUSEVICH

If A and B are as in Convention 3.1, the Andean arrangement of IpBq is the union over the Andean
components C of IpBq of qdegpCrxs{C q.
The Andean arrangement of IpBq is a finite union of translates of some faces of the cone Rą 0A of
non-negative combinations of the columns of A (see [DMM10b, Lemma 6.2]), so it is, indeed, an
arrangement of affine spaces.
The importance of this notion can be seen in the following result, which is a special case of
[DMM10b, Theorem 6.3].
Theorem 5.5. Let A and B as in Convention 3.1. Assume that the span of the columns of B
contains no nonzero coordinatewise non negative element (equivalently, the cone over the columns
of A contains no lines). The Horn system HornpB, κq has a finite dimensional solution space if
and only if Aκ lies outside the Andean arrangement of IpBq.
In fact, we can state a stronger result. A left ideal J in the ring Dℓ of linear partial differential
operators with polynomial coefficients in ℓ variables is holonomic if Extj pDℓ {J, Dℓ q “ 0 whenever
j ‰ ℓ. Holonomic ideals have finite dimensional solution spaces; the converse of this statement,
while untrue in general (see [BMW13, Example 9.1]), does hold for bivariate Horn systems.
Theorem 5.6 (Corollary 9.6 in [BMW13]). Let A and B be as in Convention 3.1. Assume that the
span of the columns of B contains no nonzero coordinatewise non negative element (equivalently,
the cone over the columns of A contains no lines). The Horn system HornpB, κq is holonomic if
and only if Aκ lies outside the Andean arrangement of IpBq.
As a consequence of Theorem 5.1, we are able to explicitly compute the Andean arrangement of
IpBq for a codimension two lattice basis ideal, thus providing a concrete description of the set
of parameters for which a Horn system in two variables is holonomic (and has finite dimensional
solution space). We first compute the quasidegree set for a single Andean component of IpBq.
Proposition 5.7. Let B be as in Convention 3.1, and suppose bi , bj , λ, d are as in Theorem 5.1.
Denote by C the component of IpBq associated to xxi , xj y. Write λ “ p{q where p and q are
relatively prime integers, and assume that the vector with ith coordinate p, jth coordinate q and
all other coordinates equal to zero is the first row of A. Then
ˆ
˙ !
(
Crxs
β P Cn´2 | β1 P t0, 1, . . . , pbi1 ` pbi2 ´ 1u r
if d{q “ 1,
( tpbi1 ` pbi2 ´ pu
qdeg
“
n´2
β
P
C
|
β
P
t0,
1,
.
.
.
,
pb
`
pb
´
1u
if d{q ą 1.
1
i1
i2
C
Proof. We start by justifying the assumption that the first row of A consists of zeros except for the
ith coordinate which equals p and the jth coordinate which equals q. We have a choice of A in
Convention 3.1: any A whose rows are a basis of the left kernel of B, and whose columns span Zd
as a lattice can be used. Since the row we want is an element of the left kernel of B, and its only
two nonzero entries are relatively prime, we are allowed to use it.
As bi and bj are linearly dependent, the submatrix of A with columns ak for k ‰ i, j has rank n´ 3.
Because the first row of this submatrix consists of all zeros, we see that, fixing natural numbers
ui , uj and varying uk P N for k ‰ i, j, the points Au are Zariski dense in the set tβ P Cn´3 | β1 “
pu1 ` qu2 u.
Now note that the degree α graded piece pCrxs{C qα equals 0 for α P Zn´2 if and only if Crxsα Ď
C ; also Crxsα is spanned by monomials, and the only monomials in C are those in M “
λpb `b ´dq
λpb `b ´2dq
xxj i1 i2 , xdi xj i1 i2
, . . . , xibi1 `bi2 ´d y.

PRIMARY COMPONENTS OF CODIMENSION TWO LATTICE BASIS IDEALS

17

Thus,
(
u
qdegpCrxs{C q “ β P Cn´3 | β1 P tpui ` quj | ui , uj P N and xui i xj j R M u .

For fixed ℓ, consider the line Lℓ “ tpw, zq | pui ` quj “ ℓu. Given ℓ P N; we wish to know wether
or not all pui , uj q P N2 X Lℓ are exponent vectors of monomials in M . By construction of M
this occurs if ℓ ě pbi1 ` qbi2 . If ℓ ă pbi1 ` qbi2 , then Lℓ always contains an exponent vector of
a monomial not in M , unless d “ q, in which case the intersection N2 X Lppbi1 `bi2 ´1q consists of
exponent vectors of monomials in M .

Theorem 5.8. Let B be as in Convention 3.1, and let
S “ tti, ju | the rows bi and bj of B are linearly dependent in opposite open quadrants u.
For each σ “ ti, ju P S , assume i ă j and let λσ “ ´bj1 {bi1 “ ´bj2 {bi2 . Write λσ “ pσ {qσ
for pσ , qσ P N relatively prime. We can find hσ P Qn´2 such that hσ A has ith coordinate pσ , jth
coordinate qσ , and all other entries equal to zero. The Andean arrangement of IpBq equals
ˇ
)
!
ď !
ˇ
t0, 1, . . . , p |b | ` pσ |bi2 | ´ 1u r tpσ |bi1 | ` pσ |bi2 | ´ pσ u if dσ {qσ “ 1,
.
β P Cn´2 ˇhσ ¨ β P t0, 1, . . . , pσσ |bi1
if dσ {qσ ą 1.
i1 | ` pσ |bi2 | ´ 1u
σ“ti,juPS

Example 5.9. We apply the previous
» 1 1 ﬁresult to the case Appell F1 , and compute the Andean ar-

rangement of IpBq for B “ –

´1 ´1
1 0ﬂ
0 1 .
´1 0
0 ´1

Only the first two rows of B are linearly dependent in

2

opposite open quadrants of Z , and we can choose A “

„

1
0
0
1

1
0
0
0

0
1
0
0

0
0
1
0

0
1
0
1

0
0
1
1


. The Andean arrangement of

IpBq equals
tβ P C4 | β1 P t0, 1u r t1uu “ tβ P C4 | β1 “ 0u.
By Theorems 5.5 and 5.6, the system HornpB, κq for κ “ pγ ´ 1, α, 0, 0, ´β, ´β 1q is holonomic
if and only if it has a finite dimensional solution space, if and only if β1 “ γ ´ 1 ´ α “ 0, as we
claimed in Example 5.3.
At first glance, there is no obvious relationship between the Horn system HornpB, κq and the lattice
basis ideal IpBq, so it is unclear why the Andean arrangement of IpBq influences the behavior of
HornpB, κq. The key idea is due to Gelfand, Graev, Kapranov and Zelevinsky, who introduced a
system
B |u`| ψpy1 , . . . , yn q
pu q

pu q

“

B |u´ | ψpy1 , . . . , yn q
pu q

pu q

By1 ` 1 ¨ ¨ ¨ Byn ` n
By1 ´ 1 ¨ ¨ ¨ Byn ´ n
n
ÿ
ψpy1 , . . . , yn q
“ pAκqi ψpy1 , . . . , yn q
aij
By
j
j“1

for u a column of B,
for i “ 1, . . . n ´ 2,

denoted HpB, Aκq, and noticed that if ϕpz1 , z2 q is a solution of HornpB, κq then y κϕpy B1 , y B2 q is
a solution of HpB, Aκq (recall that B1 and B2 are the columns of B). Since HpB, Aκq contains
the generators of the lattice basis ideal IpBq as differential equations, it is natural that the behavior
of IpBq should impact HpB, Aκq. We illustrate this mechanism in an example.
” 2 4ı
Example 5.10. Let B “ ´2 ´4 . We use A “ r 1 1 0 s. The Andean arrangement of IpBq equals
1 1
the quasidegree set of the component corresponding to the associated prime xx1 , x2 y. In this case,

18

ZEKIYE SAHIN ESER AND LAURA FELICIA MATUSEVICH

λ “ 1 “ p “ q, and gcdp2{q, 4{qq “ 2, so we know that Aκ “ 2 ` 4 ´ 2 “ 4 implies that
HornpB, κq is not holonomic, and has infinite dimensional solution space. Let us exhibit infinitely
many linearly independent solutions for HornpB, p1, 3, 0qq.
It is easier to produce solutions if we start by considering HpB, 4q. Intuitively, the vertices in
a connected component of G pIpBqq that lies in the ℓth slice graph of IpBq, are the monomials
appearing in a series expansion of a solution of HpB, A ¨ pλℓ, 0, 0qq “ HpB, ℓq. Since their
monomial sets are disjoint, solutions arising from different connected components are linearly
independent. Each slice graph contains infinitely many vertices, so the only way this method
produces a finite dimensional solution space is if the connected components contain infinitely
many vertices (and thus give rise to solutions that are infinite series). If the connected components
of a given slice graph are all finite, there must be infinitely many of them, and this provides an
infinite dimensional subspace of the solution space of HpB, ℓq.
More concretely, for ℓ “ 4 and any k P N, tp1, 3, kq, p3, 1, k ` 1qu is a connected component
of GSp4q pIpBqq. We propose a solution of HpB, 4q which is a linear combination of y1 y23y3k and
y13 y2 y3k`1. Solving for the coefficients, we see that fk py1 , y2, y3 q “ pk ` 1qy1y23 y3k ` y13 y2 y3k`1 is a
solution of HpB, 4q.
We know that if we can write f py1 , y2 , y3q “ y1 y23 F py12y3 {y22 , y14y3 {y24 q, and f py1 , y2, y3 q is a solution of HpB, 4q, then F pz1 , z2 q is a solution of HornpB, p1, 3, 0qq. Using the expression y3 “
py12 y3 {y22q2 {py14 y3 {y24q, we see that fk py1 , y2 , y3 q “ y1 y23 Fk py12y3 {y22 , y14 y3 {y24q, where Fk pz1 , z2 q “
pk ` 1qpz12 {z2 qk p1 ` z1 q. The functions Fk pz1 , z2 q span an infinite dimensional subspace of the
solution space of HornpB, p1, 3, 0qq. Note that in this example, there is no obvious common factor
in the equations HornpB, p1, 3, 0qq, as was the case for the Appell system F1 .

R EFERENCES
[BMW13]
[DMM10a]
[DMM10b]
[DMS05]
[DSS]
[ES98]
[HS00]

[MM82]
[M11]

[MS]
[SS10]

Christine Berkesch-Zamaere, Laura Felicia Matusevich and Uli Walther, Torus equivariant Dmodules and hypergeometric systems. Preprint, 2013. arXiv:1308:5901.
Alicia Dickenstein, Laura Felicia Matusevich and Ezra Miller, Combinatorics of binomial primary
decomposition, Math. Z. 264 (2010), no. 4, 745–763.
Alicia Dickenstein, Laura Felicia Matusevich and Ezra Miller, Binomial D-modules, Duke Math. J.
151 (2010), no. 3, 385–429.
Alicia Dickenstein, Laura Felicia Matusevich and Timur Sadikov, Bivariate hypergeometric Dmodules, Adv. Math. 196 (2005), no. 1, 78–123.
Mathias Drton, Bernd Sturmfels and Seth Sullivant, Lectures on Algebraic Statistics, Oberwolfach
Seminars, 40. Birkhauser, Basel, 2009.
David Eisenbud and Bernd Sturmfels, Binomial ideals. Duke Math. J. 84 (1996), no. 1, 1–45.
Serkan Hosten and Jay Shapiro, Primary decomposition of lattice basis ideals, Symbolic computation
in algebra, analysis, and geometry (Berkeley, CA, 1998). J. Symbolic Comput. 29 (2000), no. 4–5,
625–639.
Ernst Mayr and Albert Meyer, The complexity of the word problem for commutative semigroups and
polynomial ideals, Adv. in Math. 46 (1982), no. 3, 305–329.
Ezra Miller, Theory and applications of lattice point methods for binomial ideals, Combinatorial
aspects of commutative algebra and algebraic geometry, 99–154, Abel Symp., 6, Springer, Berlin,
2011.
Ezra Miller and Bernd Sturmfels. Combinatorial Commutative Algebra, Graduate Texts in Mathematics, 227. Springer-Verlag, New York, 2005.
Anne Shiu and Bernd Sturmfels, Siphons in chemical reaction networks Bull. Math. Biol. 72 (2010),
no. 6, 1448–1463.

PRIMARY COMPONENTS OF CODIMENSION TWO LATTICE BASIS IDEALS

D EPARTMENT OF M ATHEMATICS , T EXAS A&M U NIVERSITY , C OLLEGE S TATION , TX 77843.
E-mail address: sahin@math.tamu.edu
D EPARTMENT OF M ATHEMATICS , T EXAS A&M U NIVERSITY , C OLLEGE S TATION , TX 77843.
E-mail address: laura@math.tamu.edu

19

