SINGULARITIES AND HOLONOMICITY OF BINOMIAL D-MODULES

arXiv:1308.5898v2 [math.AG] 5 Mar 2014

CHRISTINE BERKESCH ZAMAERE, LAURA FELICIA MATUSEVICH, AND ULI WALTHER
A BSTRACT. We study binomial D-modules, which generalize A-hypergeometric systems. We determine explicitly their singular loci and provide three characterizations of their holonomicity. The
first of these states that a binomial D-module is holonomic if and only if its corresponding singular
locus is proper. The second characterization is an equivalence of holonomicity and L-holonomicity
for these systems. The third refines the second by giving more detailed information about the Lcharacteristic variety of a non-holonomic binomial D-module.

1. I NTRODUCTION
The main object of study in this article is the class of binomial D-modules, which generalize the Ahypergeometric system studied by Gelfand, Kapranov, and Zelevinsky [GGZ87, GKZ89, GKZ90].
We recall the definitions of both objects in Definition 2.2.
Let X be affine n-space over C, with coordinates x1 , . . . , xn . The Weyl algebra D is the ring
of differential operators on X; it is generated by the multiplication operators x1 , . . . , xn and the
differentiation operators ∂1 := ∂x∂ 1 , . . . , ∂n := ∂x∂n , subject to the Leibniz rule ∂j xi − xi ∂j = δij
(the Kronecker delta).
A projective weight vector on D is L = (Lx , L∂ ) ∈ Qn × Qn such that Lx + L∂ = c · 1n :=
c · (1, . . . , 1) for some constant c > 0. This determines
an increasing filtration L on D by Lk D :=
S
C · {xu ∂ v | L · (u, v) ≤ k} for k ∈ Q. Set L<k D := ℓ<k Lℓ D. Since c > 0, the associated graded
ring grL D is isomorphic to the coordinate ring of T ∗ X ∼
= C2n , which is a polynomial ring in 2n
k
<k
variables. For any P in L DrL D, set inL (P ) := P +L<k D ∈ grL,k D := Lk D/L<k D ⊆ grL D
and degL (P ) := k. By a slight abuse of notation, set xi := inL (xi ) and ξi := inL (∂i ), where (x, ξ)
are coordinates on T ∗ X.
For a left D-ideal I, set grL (I) := hinL (P ) | P ∈ Ii ⊆ grL (D). The L-characteristic variety of
the module D/I is
(1.1)
CharL (D/I) := Var(grL (I)) ⊆ T ∗ X ∼
= C2n .
The projective weight vector F = (0n , 1n ) := (0, . . . , 0, 1, . . . , 1) ∈ Q2n induces the order filtration on D. The F -characteristic variety of a D-module is usually called its characteristic variety.
The singular locus of D/I, denoted Sing(D/I), is the projection of CharF (D/I)rVar(ξ1 , . . . , ξn )
onto X, and as such, it is a closed subvariety of X.
2010 Mathematics Subject Classification. Primary: 32C38, 14B05; Secondary: 33C70, 14M25.
CBZ was partially supported by NSF Grants DMS 1303083, DMS 0901123, and OISE 0964985.
LFM was partially supported by NSF Grants DMS 0703866 and DMS 1001763 and a Sloan Research Fellowship.
UW partially supported by NSF Grant DMS 0901123.
1

2

CHRISTINE BERKESCH ZAMAERE, LAURA FELICIA MATUSEVICH, AND ULI WALTHER

The divisorial singular locus of D/I, denoted by Sing1 (D/I), is the codimension at most one part
of Sing(D/I). From the point of view of holomorphic solutions of systems of differential equations, there is no difference between Sing(D/I) and Sing1 (D/I) because the codimension two
singularities of holomorphic functions can be removed (see, for instance, [KK83, Theorem 7.7]).
Our first main result generalizes to binomial D-modules (Definition 2.2) a result of Gelfand and
Gelfand that describes the divisorial singular loci of A-hypergeometric systems with regular singularities [GG86]; Theorem 4.1 contains their result as a special case. Theorem 1.1 will be later
restated in more detail and proven as Corollary 4.2.
Theorem 1.1. The divisorial singular locus of a holonomic binomial D-module is the union of an
explicit family of discriminantal varieties.
For a left D-ideal I, the fact that dim(CharF (D/I)) ≥ n is known as Bernstein’s inequality [Ber72] (see also [Smi01]). This result motivates one of the key notions in the theory of
D-modules: holonomicity.
Definition 1.2. The D-module D/I is L-holonomic if its L-characteristic variety (1.1) is empty
or has dimension n. We say D/I is holonomic if it is F -holonomic for F = (0n , 1n ); the rank of
D/I is defined to be rank(D/I) := dimC(x) C(x) ⊗C[x] D/I.
The next result of this article is a characterization of the holonomicity of a binomial D-module in
terms of its singular locus, which will be proven in Section 3.
Theorem 1.3. A binomial D-module M is holonomic if and only if its singular locus Sing(M) is
a proper subset of X.
In Section 5, we use the description from Theorem 1.1 to provide another proof of Theorem 1.3 in
the case that 1n is in the Q-rowspan of A.
Our final results are two additional characterizations of the holonomicity of a binomial D-module
in terms of L-holonomicity.
Theorem 1.4. Let M be a binomial D-module.
(1) The module M is holonomic if and only if M is L-holonomic for some (equivalently, every)
projective weight vector L on D.
(2) Furthermore, the module M is not holonomic if and only if CharL (M) has a component
in T ∗ (C∗ )n of dimension greater than n for some (equivalently, every) projective weight
vector L on D.
We prove Theorem 1.4 in Section 6, using ideas from [SW08]. Note that [SST00, Theorem 1.4.12]
uses a Gröbner walk argument to show equivalence of holonomicity and L-holonomicity for any
cyclic module D/I, but with different assumptions on L than we make here: [SST00] requires that
all coordinates of L are nonnegative and Lx + L∂ > 0 coordinatewise, while we ask for projective
weight vectors, whose coordinate sums are positive, but whose individual entries may be negative.
Acknowledgements. We thank Timur Sadykov and Bernd Sturmfels for insightful conversations
related to this work. We also thank an anonymous referee for pointing out a gap that affected some
of our previous proofs; in this version, we use new arguments. A portion of this work was done
during the Institut Mittag-Leffler program on Algebraic Geometry with a view towards applications
and the MSRI program on Commutative Algebra; we are grateful to the program organizers and
participants for creating great research atmospheres.

SINGULARITIES AND HOLONOMICITY OF BINOMIAL D-MODULES

2. A- HYPERGEOMETRIC

SYSTEMS AND BINOMIAL

3

D- MODULES

In this section, we introduce the A-hypergeometric systems and their generalizations, called binomial D-modules [DMM10b], and we recall the structure of their L-characteristic varieties.
Convention 2.1. Throughout this article, A = [ a1 a2 · · · an ] is an integer d × n matrix whose
columns span Zd as a lattice. We also require that A be pointed, meaning that there exists h ∈ Qd
such that h · ai > 0 for i = 1, . . . , n.
The matrix A determines a (C∗ )d -action on X by
t ⋄ p = (ta1 p1 , . . . , tan pn ) for t = (t1 , . . . , td ) ∈ (C∗ )d and p = (p1 , . . . , pn ) ∈ X.

This action passes to the Weyl algebra D via
t ⋄ xi := tai xi

and

t ⋄ ∂i = t−ai ∂i

for i = 1, . . . , n.

Definition 2.2. Let A = [aij ] be as in Convention 2.1. We define the Euler operators for A to be
n
X
aij xj ∂j for i = 1, . . . , d.
(2.1)
Ei :=
j=1

We denote by EA the sequence E1 , . . . , Ed , and for β ∈ Cd , we denote by EA − β the sequence
E1 − β1 , . . . , Ed − βd . Let I ⊆ C[∂1 , . . . , ∂n ] = C[∂] be a binomial ideal, that is, an ideal generated
by binomials and monomials. We assume that I is equivariant with respect to the (C∗ )d -action on
C[∂] induced by A. Given β ∈ Cd , a binomial D-module is of the form
D
D
:=
.
(I, EA − β)
D · I + D · (EA − β)

Definition 2.3. The binomial ideal

IA := h∂ u − ∂ v | u, v ∈ Nn , Au = Avi ⊆ C[∂]

(2.2)

is called the toric ideal associated to A. Here we take the convention that N denotes the natural
numbers including zero. The left D-ideal
HA (β) := D · (IA , EA − β)

is called an A-hypergeometric system, and D/HA (β) is called an A-hypergeometric D-module.
Every associated prime of a binomial ideal is also binomial, and every prime binomial ideal is
isomorphic to a toric ideal up to a rescaling of the variables [ES96]. Thus, toric ideals can be
thought of as the building blocks for all binomial ideals. In [DMM10b], A-hypergeometric systems
are shown to play a similar fundamental role in the structure of binomial D-modules. We now
recall the characterization of holonomicity for binomial D-modules from [DMM10b].
The action of the torus (C∗ )d on C[∂] defines a multigrading on this ring, called the A-grading,
with deg(xi ) = − deg(∂
L i ) := ai . A binomial ideal I ⊆ C[∂] is torus equivariant if and only if it is
A-graded. If M = α∈Zd Mα is an A-graded C[∂]-module, then the set of quasidegrees of M is
qdeg(M) := {α ∈ Zd | Mα 6= 0}

where the closure is taken in the Zariski topology of Cd .

Zariski

⊆ Cd ,

Let C be a primary component of an A-graded binomial ideal I ⊆ C[∂],
√ which can be chosen
to be binomial by [ES96]. If the A-graded Hilbert function of C[∂]/ C is bounded, then the

4

CHRISTINE BERKESCH ZAMAERE, LAURA FELICIA MATUSEVICH, AND ULI WALTHER

√
component C , along with its corresponding associated prime C , is called toral. Otherwise, they
are called Andean. Examples and more details can be found in [DMM10a].
Theorem 2.4. [DMM10b, Theorem 6.3] Let I ⊆ C[∂] be an A-graded binomial ideal. The binomial D-module D/(I, EA − β) is holonomic if and only if −β lies outside the union of the sets
qdeg(C[∂]/C ), running over the Andean components C of the binomial ideal I.

We next reproduce results of Schulze and Walther [SW08] that set-theoretically describe the Lcharacteristic variety of D/HA (β).
Let A and h = (h1 , . . . , hd ) be as in Convention 2.1, and let L = (Lx , L∂ ) ∈ Q2n be a projective
weight vector on D. Choose ε > 0 such that h · ai + ε L∂i > 0 for i = 1, . . . , n, and denote by Hε
the hyperplane in PdQ given by {(y0 : y1 : · · · : yd ) ∈ PdQ | ε y0 + h1 y1 + · · · + hd yd = 0}. The
L-polyhedron of A is the convex hull of {(1 : 0d ), (L∂1 : a1 ), . . . , (L∂n : an )} in the affine space
PdQ r Hε . The L-umbrella of A, denoted Φ(A, L), is the set of faces of the L-polyhedron of A that
do not contain (1 : 0d ).
Let τ ∈ Φ(A, L). We identify τ with the subset of {1, . . . , n} indexing the columns of A belonging
to τ . Whenever it is convenient, we also identify τ with the set {ai | i ∈ τ }, as well as with the
matrix whose columns are ai for i ∈ τ . We denote by τ̄ the set {1, . . . , n} r τ .

Let Cτ denote the conormal space to the orbit under the torus action of the point 1τ in Cn whose
coordinates indexed by τ are
Q equal to 1 and those indexed by τ̄ are equal to 0. Writing xξ :=
(x1 ξ1 , . . . , xn ξn ) and ξτ := j∈τ ξj , the Zariski closure of Cτ , denoted Cτ , is equal to the Zariski
closure in T ∗ (Cn ) of the variety in T ∗ (Cn ) r Var(ξτ ) defined by
C[ξτ−1 ] ⊗C[ξτ ] (hξi | i ∈
/ τ i + hξ u − ξ v | u, v ∈ Nn , ui = vi = 0 for i ∈
/ τ, Au = Avi + hAxξi) .
(2.3)
Note that the polynomials in (2.3) can be viewed as to not involve the variables xi for i ∈
/ τ ; in
particular, if (x, ξ) ∈ Cτ , then (Cτ̄ × xτ ) × {ξ} ⊆ Cτ . Here Cτ̄ denotes the affine subspace of X
whose coordinates indexed by τ are zero, and xτ is the point in Cτ whose coordinates indexed by
τ coincide with those of x.
Theorem 2.5. [SW08, see Corollary 4.17] The L-characteristic variety of D/HA (β) is
G
[
CharL (D/HA (β)) =
Cτ =
Cτ .
τ ∈Φ(A,L)

τ ∈Φ(A,L)

We conclude this section with a result from [CF12] that describes the L-characteristic variety of a
holonomic binomial D-module.
Theorem 2.6. [CF12, Theorem 4.3] If the binomial D-module M = D/(I, EA −β) is holonomic,
then the L-characteristic
variety of M is the union of the L-characteristic varieties of the binomial
√
modules D/( C , EA − β), where the union runs over the toral primary components C of I such
that −β ∈ qdeg(C[∂]/C ).
Remark 2.7. Note that Theorem 2.6 in particular states that if a binomial D-module is holonomic,
then it is L-holonomic for all projective
√ weight vectors L. This follows because A-hypergeometric
D-modules, such as the modules D/( C , EA − β) for C toral as above, are always L-holonomic.
This observation proves one of the implications of Theorem 1.3.
7

SINGULARITIES AND HOLONOMICITY OF BINOMIAL D-MODULES

3. F INITE

5

RANK , SINGULAR LOCI , AND HOLONOMICITY

In this section, we prove Theorem 1.3, which relates holonomicity to the singular locus of a binomial D-module. We begin by pointing out that for an arbitrary left D-ideal I, the holonomicity
of D/I implies the properness of its singular locus [Bjö79, Subsection 5.4.6]. That the converse
holds is a special feature of binomial D-modules.
Example 3.1. Over X = C2 , the module D/hx1 i is not holonomic because its characteristic variety is a hypersurface in C4 . However, Sing(D/hx1 i) = Var(x1 ), and as such, it is a proper subset
of X. For other examples of non-holonomic modules with proper singular loci, see Example 3.3
and [SST00, Example 1.4.10].
7
As shown by Kashiwara, holonomicity implies finite rank (see [SST00, Proposition 1.4.9]). Note
that although the module D/hx1 i in Example 3.1 is not holonomic, it is of finite rank. (In fact,
it has rank 0.) We show now that for an arbitrary cyclic module D/I, the finite rank condition is
equivalent to the properness of Sing(D/I).
Proposition 3.2. If I is a left D-ideal, then D/I is of finite rank if and only if Sing(D/I) is a
proper subset of X.
Proof. To begin, note that by [SST00, Corollary 1.4.14], the rank of D/I equals
dimC(x) C(x) ⊗C[x] grF (D/I),
which is the length of grF (D/I)hξi over grF (D)hξi . Thus, rank(D/I) < ∞ is equivalent to
grF (D/I)hξi being an Artinian grF (D)hξi -module. To put this another way, for all (minimal) primes
p of grF (I), the ring (grF (D)/p)hξi is Artinian. Equivalently, for all (minimal) primes p of grF (I),
p is not properly contained in hξi; in other words, such a p either equals hξi or contains an element
in grF (D) that lies outside of hξi. This means exactly that each (minimal) prime of grF (I) that
is different from hξi contains a nontrivial polynomial in x. This is because grF (I), and hence
each of its (minimal) primes, is ξ-homogeneous and hξi contains all elements of positive degree.
Therefore, the rank of D/I is finite exactly when grF (I) : hξi∞ contains a polynomial in x, which
is equivalent to properness of the singular locus of D/I, as desired.

Proof of Theorem 1.3. It is known that for binomial D-modules, holonomicity is equivalent to having finite rank [DMM10b, Theorem 6.3]. Thus, the result follows by combining [SST00, Proposition 1.4.9], Proposition 3.2, and [DMM10b, Theorem 6.3].

For any left D-ideal I, Sing1 (D/I) is a closed subvariety of X, and its properness is equivalent to
the properness of Sing(D/I). Thus, in Section 5, we use our description of the divisorial singular
locus of a binomial D-module (in Corollary 4.2 and Proposition 5.1) to give a more direct and
elementary proof of Theorem 1.3 in the case that 1n is in the Q-rowspan of A.
Theorem 1.3 was inspired by [PST05, Proof of Theorem 7], where Proposition 3.2 was used for
Horn hypergeometric systems. Horn hypergeometric systems are closely related to certain binomial D-modules (see [BMW13]); however, even for these systems, properness of the singular locus
is not equivalent to holonomicity, as shown in the following example.

6

CHRISTINE BERKESCH ZAMAERE, LAURA FELICIA MATUSEVICH, AND ULI WALTHER

Example 3.3. On X = C3 , let θi := xi ∂i for 1 ≤ i ≤ 3. The left D-ideal
I = D · h(θ1 + 2θ2 + θ3 + 2)θ1 − x1 (θ1 + 2θ2 )θ1 ,

(θ1 + 2θ2 + θ3 + 2)(θ1 + 2θ2 + θ3 + 1)θ2 + x2 (θ1 + 2θ2 )(θ1 + 2θ2 + 1)θ2 ,
(θ1 + 2θ2 + θ3 + 2) + x3 θ3 i

is a nonconfluent Horn hypergeometric system of finite rank. However, D/I is not holonomic, as
witnessed by the component Var(hx3 , x1 ξ1 + x2 ξ2 i) of its characteristic variety. On the other hand,
computations in Macaulay2 [M2] verify that Sing(D/I) is indeed a proper subset of X.
7
4. T HE

SINGULAR LOCUS OF A BINOMIAL

D- MODULE

The goal of this section is to produce a polynomial that defines the divisorial singular locus of a
binomial D-module, see Corollary 4.2.
We first consider the divisorial singular locus of an A-hypergeometric system. By definition, the
divisorial singular locus of D/HA (β) is obtained by removing the variety Var(ξ1 , . . . , ξn ) from
CharF (D/HA (β)), projecting the resulting set onto X, and discarding the components of codimension two or higher. Recall that F = (0n , 1n ) is the projective weight vector
F that induces the
order filtration on D. Using the description of CharF (D/HA (β)) as the union τ ∈Φ(A,F ) Cτ from
Theorem 2.5, this projection procedure can be applied to each variety Cτ (or Cτ ) individually.
A theorem of Gelfand, Kapranov, and Zelevinsky [GKZ88, GKZ89] describes the divisorial singular locus of an A-hypergeometric system when the columns of A lie on a hyperplane off the origin,
equivalently, when D/HA (β) is regular holonomic. The following Theorem 4.1 generalizes this
result by removing the assumption on A.
Let f = x̄1 ta1 + · · · + x̄n tan . The Zariski closure of the set


∂f
∗ d
n
(t̄) = 0 for i = 1, . . . , d
x̄ ∈ C ∃ t̄ ∈ (C ) such that f (t̄) =
∂ti
is called the A-discriminantal variety. If this (irreducible) variety is a hypersurface, its defining
polynomial is called the A-discriminant, denoted ∆A . If the codimension of the A-discriminantal
variety is at least 2, then we set ∆A = 1. The principal A-determinant, denoted EA , is defined
in [GKZ94, Chapter 10, Equation 1.1]. For the purposes of this article, we need to know only that
Y
EA = ±
(∆τ )µ(τ )
τ face of conv(A)

for certain positive integers µ(τ ). See [GKZ94, Chapter 10, Theorem 1.2] for more details, as well
as [Kap91] for a parametric treatment of A-discriminants.
Theorem 4.1. The divisorial singular locus of an A-hypergeometric system D/HA (β) is the zero
set of the product of the τ -discriminants, for the faces τ of Φ(A, F ). In particular, if all of the
columns of A lie in a hyperplane off the origin, then Sing1 (D/HA (β)) = Var(EA ).
Proof. First consider the case that all of the columns of A lie in a hyperplane off the origin. Then
¯ ∈ Cτ . Since Cτ is the conormal
Φ(A, F ) has a unique maximal face τ = {1, . . . , n}. Let (x̄, ξ)
P
∗ d
a1
¯
space to the orbit of 1τ , there is a t̄ ∈ (C ) such that ξ = (t̄ , . . . , t̄an ). Consider f = nj=1 x̄j taj ,

SINGULARITIES AND HOLONOMICITY OF BINOMIAL D-MODULES

7

a Laurent polynomial in t1 , . . . , td with coefficients x̄1 , . . . , x̄n . By our hypothesis on A, the vector
1n lies in the Q-rowspan of A. Thus Axξ = 0 from (2.3) imply that f (t̄) = 0. In addition,
n
n
X
X
∂f
aj
ti
=
(aj )i x̄j t̄ =
aij x̄j ξ¯j = (Axξ)i = 0 for 1 ≤ i ≤ d,
∂ti t=t̄ j=1
j=1
∂f
and therefore ∂t
(t̄) = 0. Conversely, the vanishing of these derivatives at t̄ implies that Axξ = 0.
i
We thus conclude that the codimension one part of the closure of the projection of Cτ onto the
x-coordinates is the zero locus of the A-discriminant. Since we need to apply this procedure to
every τ ∈ Φ(A, F ), which in this case is the face lattice of conv(A) = conv({a1 , . . . , an }), we see
that the divisorial singular locus of D/HA (β) is the zero set of the product of the τ -discriminants
for all the faces τ ∈ Φ(A, F ), which is also the zero set of the principal A-determinant EA .

For the general case, fix a maximal face τ of Φ(A, F ). By definition, the points ai ∈ τ lie on a
hyperplane off the origin. Thus using the argument above, we see that for all σ ∈ Φ(A, F ) with
σ ⊆ τ , projecting Cσ to X and discarding varieties of codimension two or higher contributes a
factor of the principal τ -determinant Eτ to the polynomial defining the divisorial singular locus of
D/HA (β). In conclusion, Sing1 (D/HA (β)) is the zero set of the product of the τ -discriminants,
for all τ ∈ Φ(A, F ), or equivalently, the zero set of the product of the principal τ -determinants, for
all the maximal faces τ ∈ Φ(A, F ).


Returning to the case of a binomial D-module M = D/(I, EA − β), recall from Theorem 2.6 that
the L-characteristic variety of M is the union of L-characteristic varieties of A-hypergeometric
systems (up to a rescaling of the variables) given by certain toral associated primes of I. An
alternative
characterization for the toral components of I is that C is toral if and only if D ·
√
( C , EA − β) is isomorphic to an Ã-hypergeometric system by √
rescaling the variables, where Ã
is the submatrix of A consisting of the columns ai such that ∂i ∈
/ C [DMM10a, Corollary 4.8].

This observation provides a description of the characteristic variety of a binomial D-module in
terms of those of such Ã-hypergeometric modules. Consequently, the divisorial singular locus of
a holonomic binomial D-module can be expressed in terms of principal τ -determinants.

Corollary 4.2.
√ The singular locus of a holonomic binomial D-module D/(I, EA − β) is the union
of Sing(D/( C , EA − β)), where the union runs over the toral primary components C of I such
that −β ∈ qdeg(C[∂]/C ). The divisorial singular locus of D/(I, EA − β) is a union of rescaled
discriminantal varieties, given by the product of the rescaled τ -discriminants for τ ∈ Φ(Ap , L),
where, for a toral associated prime p of I, the matrix Ap has columns ai whenever ∂i ∈
/ p.
5. H OLONOMICITY

OF BINOMIAL

D- MODULES

VIA SINGULAR LOCI

In this section, we give an alternative proof to Theorem 1.3 in the special case that 1n belongs to
the Q-rowspan of A. We make this assumption throughout this section only.
Proposition 5.1. Let A be as in Convention 2.1 and assume that 1n is in the Q-rowspan of A. Let
Ă ∈ Zk×n be of full rank k with d < k < n, and assume that A is the submatrix of Ă consisting of
its first d rows. Then Sing1 (D/(IĂ , EA − β)) = X.
In Proposition 5.1, the Euler operators in D/(IĂ , EA −β) come from A, so we are working with an
Ă-hypergeometric system where some Euler operators have been removed. By a theorem of Kashiwara, the solution space of germs of holomorphic solutions at a nonsingular point of a holonomic

8

CHRISTINE BERKESCH ZAMAERE, LAURA FELICIA MATUSEVICH, AND ULI WALTHER

module is finite dimensional [SST00, Theorem 1.4.19]. Thus D/(IĂ , EA − β) is not holonomic
because its solution space has uncountable dimension. (It is the direct sum of the solution spaces
of D/(IĂ , EĂ − β̆), running over β̆ ∈ Ck whose first d coordinates coincide with β.)
Proof of Proposition 5.1. Since D · (IA , EA − β) ⊇ D · (IĂ , EA − β), the corresponding singular
loci satisfy the reverse inclusion, namely
Sing(D/(IA , EA − β)) ⊆ Sing(D/(IĂ , EA − β)).
The singular locus on the right hand side is equivariant with respect to the action of (C∗ )k induced
by Ă, and in particular, by the action of (C∗ )k−d induced by Ă rA, which is notation for the matrix
whose rows are the last k − d rows of Ă. Consequently,
(C∗ )k−d ⋄ Sing(D/(IA , EA − β)) ⊆ Sing(D/(IĂ , EA − β)).

(5.1)

Our goal is to prove that the set on the left hand side of (5.1) is dense in X, from which the result
follows, since singular loci are closed in X.
The divisorial singular locus of D/(IA , EA − β) is defined by the principal A-determinant EA . The
Newton polytope of EA is the secondary polytope of A [GKZ94, Theorem 10.1.4] has dimension
m = n − d [GKZ94, Theorem 7.1.7], and its real affine span is a translate of kerR (A) [GKZ94,
Proposition 7.1.11]. This implies that EA cannot be homogeneous with respect to the grading
induced by Ă, because if it were, the affine span of its Newton polytope would be contained in
a translate of kerR (Ă), which has dimension n − k < n − d. Therefore EA has an irreducible
factor G that is not Ă-homogeneous, so Var(G) is not (C∗ )k−d -equivariant. Note that G cannot be
a monomial, so a generic point in the hypersurface Var(G) is not on any coordinate hyperplane.
Consider the map
(C∗ )k−d × (Sing(D/(IA , EA − β))) −→ Sing(D/(IĂ , EA − β)) ⊆ X
(s, x) 7→ s ⋄ x
given by the action of Ă r A. The closure of the image of (C∗ )k−d × Var(G) under this map is an
irreducible subvariety of X. It contains the hypersurface Var(G), and this containment is proper
because Var(G) is not (C∗ )k−d -equivariant. Therefore the closure of the image of (C∗ )k−d ×

Var(F ) must be all of X. But then it follows that Sing(D/(IĂ , EA − β)) = X.
A second proof of Theorem 1.3, in the case that the Q-rowspan of A contains 1n . For A as in Convention 2.1 with 1n in the Q-rowspan of A, let I ⊆ C[∂] be an A-graded binomial ideal. We
consider the binomial D-module M = D/(I, EA − β).
In light of the description of the divisorial singular locus of a holonomic binomial D-module in
Corollary 4.2, we may assume that M is not holonomic. All of the associated primes of I are of
the form p = C[∂] · (I0 + h∂i | i ∈
/ σi), where σ ⊆ {1, . . . , n}, I0 is generated by binomials
in C[∂j | j ∈ σ] =: C[∂σ ], and I0 ∩ C[∂σ ] is isomorphic to a toric ideal after rescaling the
variables [ES96, Corollary 2.6].

By [DMM10b, Theorem 6.3], if M is not holonomic, then there exists a primary component C
of I corresponding to an Andean associated prime p such that −β ∈ qdeg(C[∂]/C ). Theorem 5.6 from [DMM10b] implies that D/(C , EA − β) is not holonomic. The argument in the
proof of [DMM10b, Theorem 5.6] allows us to reduce to the case when −β ∈ qdeg(C[∂]/p). In

SINGULARITIES AND HOLONOMICITY OF BINOMIAL D-MODULES

9

this case, the Andean condition ensures that D/(p, EA − β) is (after rescaling of the variables) a
binomial D-module as in Proposition 5.1. From that result, we conclude that
X = Sing(D/(p, EA − β)) ⊆ Sing(D/(C , EA − β)) ⊆ Sing(M) ⊆ X,
so that Sing(M) = X, as desired.



6. T HE L- HOLONOMICITY

OF BINOMIAL

D- MODULES

In this section, we prove Theorem 1.4 using ideas from [SW08].
Notation 6.1. For A as in Convention 2.1, let Ă ∈ Zk×n denote a matrix of full rank k with
d < k < n, and assume that A is the submatrix of Ă consisting of its first d rows. Let L ∈ Qn ×Qn
be a projective weight vector.
Given a face τ ∈ Φ(Ă, L), we let ∂τ =

Q

i∈τ

∂i and use the following notation:

C̆τ := {(x, ξ) | ξi 6= 0 for all i ∈ τ } ∩ Var(hξi | i ∈
/ τ i + grL (IĂ ) + grL (EA − β)).
We will below modify some ideas in the proof of [SW08, Theorem 3.10] to suit our purposes. For
convenience, we list some of the key points here. Recall that the L-graded ideal grL (IĂ ) ⊆ grL (D)
has a minimal component for every τ ∈ Φ(Ă, L) of (highest possible) dimension k − 1. Such a
τ is called a facet of Φ(Ă, L). Since IĂ ⊆ C[∂], we have abused notation and written grL (IĂ ) in
place of grL (D · IĂ ).
Proposition 6.2. Let Ă be as in Notation 6.1. Then for any facet τ ∈ Φ(Ă, L), C̆τ is contained in
CharL (D/(IĂ , EA − β)).
Proof. Fix a facet τ ∈ Φ(Ă, L); then the matrix τ has full rank k. We may use the argument
of [SW08, Theorem 3.10], which is based on the fact that grL (EĂ ) is a regular sequence on
grL (D[∂τ−1 ]/IĂ ). Thus grL (EA ) must be a regular sequence on grL (D[∂τ−1 ]/IĂ ). A standard argument on the spectral sequence of a filtered complex shows that


D[∂τ−1 ]
grL (D[∂τ−1 ])
L
gr
= L
.
(IĂ , EA − β)
gr (IĂ ) + grL (EA − β)
(Compare, for example, with [SST00, Theorem 4.3.5] for a version close to our context.) Now
note that
/ τ i + grL (IĂ ) + grL (EA − β),
grL (IĂ ) + grL (EA − β) ⊆ hξi | i ∈
so after localizing at ∂τ , we conclude that C̆τ is contained in CharL (D/(IĂ , EA − β)).



Proposition 6.3. If Ă is as in Notation 6.1, then D/(IĂ , EA − β) fails to be L-holonomic for all
projective weight vectors L.
Proof. Fix a projective weight vector L. By Proposition 6.2, C̆τ ⊆ CharL (D/(IĂ , EA − β)) for
each face τ ∈ Φ(Ă, L) of dimension k − 1. The proof also shows that grL (EA − β) is a regular
sequence on grL (D[∂τ−1 ]/IĂ ), and therefore dim(C̆τ ) = n + k − d > n. Thus D/(IĂ , EA − β)
fails to be L-holonomic.


10

CHRISTINE BERKESCH ZAMAERE, LAURA FELICIA MATUSEVICH, AND ULI WALTHER

Proof of Theorem 1.4.(1). Let M = D/(I, E − β) be a binomial D-module. If M is holonomic,
then it is L-holonomic for all projective weight vectors L, as we saw in Remark 2.7.
Now we assume that M is a non-holonomic binomial D-module and show that it is not L-holonomic for any projective weight vector L. The associated primes of I are of the form p = C[∂] · (I0 +
h∂i | i ∈
/ σi), where σ ⊆ {1, . . . , n}, I0 is generated by binomials in C[∂j | j ∈ σ] =: C[∂σ ], and
I0 ∩ C[∂σ ] is isomorphic to a toric ideal after rescaling the variables [ES96, Corollary 2.6].

By [DMM10b, Theorem 6.3], if M is not holonomic, then there exists a primary component C
of I corresponding to an Andean associated prime p such that −β ∈ qdeg(C[∂]/C ). Theorem 5.6 from [DMM10b] implies that D/(C , EA −β) is not holonomic. The argument in the proof
of [DMM10b, Theorem 5.6] allows us to reduce to the case when −β ∈ qdeg(C[∂]/p). In this case,
the Andean condition ensures that D/(p, EA − β) is (after rescaling of the variables) a binomial
D-module as in Notation 6.1. In particular, we have reduced to the case that M = D/(IĂ , EA −β),
where Ă is as in Notation 6.1. Thus, the proof is complete by Proposition 6.3.

We now prove a stronger version of Proposition 6.3.
Proposition 6.4. If Ă is as in Notation 6.1, then CharL (D/(IĂ , EA − β)) has a component in
T ∗ (C∗ )n of dimension n + k − d.
Proof. Let ăi denote the ith column of Ă, and consider the Ă-grading on D, given by deg(xi ) =
ăi = − deg(∂i ). Fix some βĂ ∈ Ck that agrees with β in its first d coordinates, and let K• (EĂ −
βĂ ; N) and H• (EĂ − βĂ ; N) respectively denote the Euler–Koszul complex and its homology,
where N is an Ă-graded C[∂]-module and the action of Ei − βi on an Ă-homogeneous element y
in D ⊗C[∂] N is given by (Ei − βi ) ◦ y := (Ei − βi − degi (y))y. Background and properties of
Euler–Koszul homology can be found in [MMW05, SW08].
Recall that the L-initial terms of xj and ∂j are denoted by xj and ξj respectively. Let τ be a facet
Q
Q
of Φ(Ă, L), and set ξτ := j∈τ ξj and ∂τ := j∈τ ∂j . By [SW08], the spectral sequence
H• (grL (D[∂τ−1 ] ⊗D K• (EĂ − βĂ ; D/IĂ ))) ⇒ grL (D)[ξτ−1] ⊗grL (D) grL (H• (EĂ − βĂ , D/IĂ ))

induced by the L-filtration on the localized Euler–Koszul complex to D/IĂ collapses. We recall
the reason for the collapse. Localizing grL (D)/grL (IĂ ) at ξτ 6= 0 singles out the component of
/ τ i, where Iτ ⊆ C[∂j | j ∈ τ ] is the toric ideal defined
grL (IĂ ) that is primary to grL (Iτ ) + hξi | i ∈
by (the submatrix of Ă whose columns are indexed by) τ . In all smooth points of the zero set of
grL (Iτ )+hξi | i ∈
/ τ i, the symbols grL (EĂ ) cut out the conormal space Cτ of the (C∗ )k -orbit under
the action defined by Ă on the point 1τ . The collapse then follows from grL (EĂ − βĂ ) forming a
regular sequence on grL (D)[ξτ−1]/ grL (D)[ξτ−1 ] · grL (IĂ ) .
The facet τ may or may not be a pyramid in the sense of [SW12, Definition 2.4]. (It is said that τ
is a pyramid if there is a column i ∈ τ with dim(τ r i) < dim(τ ).) It follows from Remark 2.5 in
loc. cit. that there is a unique face σ of τ such that τ is a pyramid over σ and σ is not a pyramid. In
particular, slightly abusing notation, Iτ = Iσ and Iτ -primary ideals are Iσ -primary ideals. Hence

H• (grL (D[∂σ−1 ] ⊗D K• (EĂ − βĂ ; D/IĂ ))) ⇒ grL (D)[ξσ−1] ⊗grL (D) grL (H• (EĂ − βĂ , D/IĂ ))

also collapses because grL (EĂ ) is a regular sequence on grL (D)[ξσ−1 ]/ grL (D)[ξσ−1] · grL (IĂ ) . In

L
−1
L
−1
L
))
,
))
=
gr
(D)[ξ
]/
gr
(D)[ξ
]
·
(P
+
gr
(E
(β
particular, grL (D)[ξσ−1]⊗grL (D) grL (D/H
τ
σ
σ
Ă
Ă
Ă

where Pτ is the grL (Iτ ) + hξi | i ∈
/ τ i -primary component of grL (IĂ ).

SINGULARITIES AND HOLONOMICITY OF BINOMIAL D-MODULES

11

It follows that in grL (D)[ξσ−1], grL (EA ) is regular on grL (IĂ ) and

grL (D)[ξσ−1 ] ⊗grL (D) grL (D/(IĂ , EA − β) = grL (D)[ξσ−1 ]/ grL (D)[ξσ−1] · (Pτ + grL (EA )) .

We now must show that the variety of (Pτ + grL (EA )) ⊆ grL (D)[ξσ−1] has a component of dimension at least n + 1 that meets T ∗ (C∗ )n .
The regularity of grL (EA ) on grL (IĂ ) in the localized ring ensures that every component of
grL [ξσ−1 ](Pτ + grL (EA )) has dimension 2n − d − (n − d) = n + k − d, as τ is a facet and so
the height of Pτ is n − d.√It remains to be shown that one of its components meets T ∗ (C∗ )n . We
may safely replace Pτ by Pτ = grL (Iτ ) + hξi | i ∈
/ τ i = grL (Iσ ) + hξi | i ∈
/ τ i. Then we have


L
−1
L
L
L
−1
L
gr (D)[ξσ ] gr (Iσ )+hξi | i ∈
/ τ i+gr (EA ) = gr (D)[ξσ ] gr (Iσ )+hξi | i ∈
/ τ i+grL (EA,τ ) ,

where EA,τ denotes the Euler operators arising from the submatrix of A whose columns are indexed
by τ . As τ ⊇ σ is a pyramid, the right hand side above is equal to

grL (D)[ξσ −1 ] grL (Iσ ) + hξi | i ∈
/ τ i + grL (EA,σ ) + hxi ξi | i ∈ τ r σi ,

and, in particular, it is contained in the ideal grL (D)[ξσ−1 ] grL (Iσ ) + hξi | i ∈
/ σi + grL (EA,σ ) of
height n − d + k.

To avoid confusion, for σ ∈ Φ(Ă, L), we denote by Cσ,Ă the conormal space to the orbit of the
point 1σ ∈ Cn under the (C∗ )k -action (defined by Ă). Previously defined for τ ∈ Φ(A, L) and the
corresponding (C∗ )d -action, such a conormal was written Cτ , see (2.3).

Suppose now that Var grL (D)[ξσ−1] grL (Iσ ) + hξi | i ∈
/ σi + grL (EA,σ ) does not meet T ∗ (C∗ )n .
Note that this variety does, however, contain the conormal Cσ,Ă . Hence none of its components
containing Cσ,Ă can meet T ∗ (C∗ )n in ξσ 6= 0. Since components are by definition irreducible,
any such component will be contained in a hyperplane Var(xi ) inside the cotangent space of
Cn r Var(ξσ ). In particular, this must then hold for Cσ,Ă itself because its generic point is over
ξσ 6= 0. We show now that this is impossible.
Let Var(xi ) be the presumed hyperplane that contains Cσ,Ă ; since for the (C∗ )k -orbit of 1σ the
variable xi is a cotangent variable, this implies that the toric ideal Iσ does not involve ∂i . In turn,
σ must be a pyramid by [SW12, Remark 2.5]. However, this contradicts our choices, so Cσ,Ă must
meet T ∗ (C∗ )n . A fortiori, so will any component of grL (D)[ξσ−1](Pτ +grL (EA )) that contains Cσ,Ă ,
and hence grL (IĂ + hEA − βi) has a component of dimension n + k − d that meets T ∗ (C∗ )n . 
It would be interesting to determine the structure of CharL (D/(IĂ , EA − β)). Frequently, different
facets of the L-umbrella of A give rise to the same “bad” component in the proof of Proposition 6.4.
Proof of Theorem 1.4.(2). Fix a projective weight vector L on D. By Theorem 1.4.(1), we may
replace “holonomic” by “L-holonomic.” The “if” direction is clear from the definition of L-characteristic variety. For the “only if” direction, as in the proof of Theorem 1.4.(1) above, we can
immediate reduce to the case of M as in Proposition 6.4, establishing the desired result.

R EFERENCES
[BMW13] Christine Berkesch Zamaere, Laura Felicia Matusevich, and Uli Walther, Torus equivariant D-modules
and hypergeometric systems, 2013, available at arXiv:1308.5901.
[Ber72]
I. N. Bernšteı̆n, Analytic continuation of generalized functions with respect to a parameter, Funkcional.
Anal. i Priložen. 6 (1972), no. 4, 26–40.

12

CHRISTINE BERKESCH ZAMAERE, LAURA FELICIA MATUSEVICH, AND ULI WALTHER

[Bjö79]

Jan-Erik Björk, Rings of differential operators, North-Holland Mathematical Library, 21. North-Holland
Publishing Co., Amsterdam-New York, 1979.
[CF12]
Marı́a-Cruz Fernández-Fernández and Francisco-Jesús Castro-Jiménez, On irregular binomial D-modules. Math. Z. 272 (2012), no. 3-4, 1321–1337.
[DMM10a] Alicia Dickenstein, Laura Felicia Matusevich and Ezra Miller, Combinatorics of binomial primary decomposition, Math Z., 264, no. 4, (2010) 745–763.
[DMM10b] Alicia Dickenstein, Laura Felicia Matusevich, and Ezra Miller, Binomial D-modules, Duke Math. J. 151
no. 3 (2010), 385–429.
[ES96]
David Eisenbud and Bernd Sturmfels, Binomial ideals, Duke Math. J. 84 (1996), no. 1, 1–45.
[GG86]
I. M. Gel′ fand and S. I. Gel′ fand, Generalized hypergeometric equations, Dokl. Akad. Nauk SSSR 288
(1986), no. 2, 279–283.
[GGZ87] I. M. Gel′ fand, M. I. Graev, and A. V. Zelevinskiı̆, Holonomic systems of equations and series of hypergeometric type, Dokl. Akad. Nauk SSSR 295 (1987), no. 1, 14–19.
[GKZ88] I. M. Gel′ fand, A. V. Zelevinskiı̆, and M. M. Kapranov, Equations of hypergeometric type and Newton
polyhedra, Dokl. Akad. Nauk SSSR 300 (1988), no. 3, 529–534; translation in Soviet Math. Dokl. 37
(1988), no. 3, 678–682.
[GKZ89] I. M. Gel′ fand, A. V. Zelevinskiı̆, and M. M. Kapranov, Hypergeometric functions and toric varieties,
Funktsional. Anal. i Prilozhen. 23 (1989), no. 2, 12–26. Correction in ibid, 27 (1993), no. 4, 91.
[GKZ90] I. M. Gelfand, M. Kapranov, and A. V. Zelevinsky, Generalized Euler integrals and A-hypergeometric
functions. Adv. Math. 84 (1990), no. 2, 255–271.
[GKZ94] I. M. Gelfand, M. Kapranov, and A. V. Zelevinsky, Discriminants, resultants and multidimensional determinants, Mathematics: Theory & Applications. Birkhäuser Boston, Inc., Boston, MA, 1994.
[Kap91]
M. M. Kapranov, A characterization of A-discriminantal hypersurfaces in terms of the logarithmic Gauss
map, Math. Ann. 290 (1991), 277–285.
[KK83]
Ludger Kaup and Burchard Kaup, Holomorphic functions of several variables, de Gruyter Studies in
Mathematics, 3. Walter de Gruyter & Co., Berlin, 1983.
[M2]
Daniel R. Grayson and Michael E. Stillman, Macaulay 2, a software system for research in algebraic
geometry, available at http://www.math.uiuc.edu/Macaulay2/.
[MMW05] Laura Felicia Matusevich, Ezra Miller, and Uli Walther, Homological methods for hypergeometric families, J. Amer. Math. Soc. 18 (2005), no. 4, 919–941.
[PST05]
Mikael Passare, Timur Sadykov, and August Tsikh, Singularities of hypergeometric functions in several
variables, Compos. Math. 141 (2005), no. 3, 787–810.
[SST00]
Mutsumi Saito, Bernd Sturmfels, and Nobuki Takayama, Gröbner Deformations of Hypergeometric Differential Equations, Springer–Verlag, Berlin, 2000.
[SW08]
Mathias Schulze and Uli Walther, Irregularity of hypergeometric systems via slopes along coordinate
subspaces, Duke Math. J. 142 (2008), no. 3, 465–509.
[SW12]
Mathias Schulze and Uli Walther, Resonance equals reducibility for A-hypergeometric systems, Algebra
Number Theory 6 (2012), no. 3, 527–537.
[Smi01]
Gregory G. Smith, Irreducible components of characteristic varieties, J. Pure Appl. Algebra 165 (2001),
no. 3, 291–306.
S CHOOL

OF

M ATHEMATICS , U NIVERSITY

OF

M INNESOTA , M INNEAPOLIS , MN 55455.

E-mail address: cberkesc@math.umn.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
D EPARTMENT OF M ATHEMATICS , P URDUE U NIVERSITY , W EST L AFAYETTE , IN 47907.
E-mail address: walther@math.purdue.edu

