arXiv:1510.07364v1 [math.AC] 26 Oct 2015

COMPUTING QUASIDEGREES OF A-GRADED MODULES
ROBERTO BARRERA
Abstract. We describe the main functions of the Macaulay2 package
Quasidegrees. The purpose of this package is to compute the quasidegree set of a finitely generated Zd -graded module presented as the cokernel of a monomial matrix. We provide examples with motivation coming
from A-hypergeometric systems.

1. Introduction
Throughout R = k[x1 , . . . , xn ] is a Zd -graded polynomial ring over a field
k andL
m = hx1 , . . . , xn i denotes the homogeneous maximal ideal in R. Let
M = β∈Zd Mβ be a Zd -graded R-module. The true degree set of M is
tdeg(M ) = {β ∈ Zd | Mβ 6= 0}.

The quasidegree set of M , denoted qdeg(M ), is the Zariski closure in Cd of
tdeg(M ).
The purpose of the Macaulay2[GS] package Quasidegrees[Bar] is to compute the quasidegree set of a finitely generated Zd -graded module presented
as the cokernel of a monomial matrix. By a monomial matrix, we mean
a matrix where each entry is either zero or a monomial in R. The initial
motivation for Quasidegrees was to compute the quasidegree sets of certain
local cohomology modules supported at m of Zd -graded R-modules so there
are some methods in the package specific to local cohomology. Recall that
the ith local cohomology module of M with support at the ideal I ⊂ R is the
ith right derived functor of the left exact I-torsion functor
ΓI (M ) = {m ∈ M | I t m = 0 for some t ∈ N}
on the category of R-modules.
By the vanishing theorems of local cohomology [Eis95], the quasidegree
sets of the local cohomology modules supported at m of M can be seen as
measuring how far the module is from being Cohen-Macaulay. From the
A-hypergeometric systems point of view, the quasidegree set of the nontop local cohomology modules supported at m of R/IA , where IA is the
toric ideal associated to A in R, determine the parameters β where the Ahypergeometric system HA (β) has rank higher than expected (see Section
3).
1

2

ROBERTO BARRERA

2. Quasidegrees
The main function of Quasidegrees is quasidegrees, which computes
the quasidegree set of a module that is presented by a monomial matrix.
We use the idea of standard pairs of monomial ideals to compute the
quasidegree set of a Zd -graded R-module. Given a monomial xu and a
subset Z ⊂ {x1 , . . . , xn }, the pair (xu , Z) indexes the monomials xu · xv
where supp(xv ) ⊂ Z. A standard pair of a monomial ideal I ⊂ R is a pair
(xu , Z) satisfying:
(1) supp(xu ) ∩ Z = ∅,
(2) all of the monomials indexed by (xu , Z) are outside of I,
(3) (xu , Z) is maximal in the sense that (xu , Z) * (xv , Y ) for any other
pair (xv , Y ) satisfying the first two conditions.
To compute the quasidegree set of M we first find a monomial presentation
of M so that M is the cokernel of a monomial matrix φ. We then compute
the standard pairs of the ideals generated by the rows of φ and to each
standard pair we associate the degrees of the corresponding variables. The
following algorithm is implemented in Quasidegrees. The input is an Rmodule presented by a monomial matrix φ : Rs → Rt . As in Macaulay2, we
write the degree of the kth factor of Rt next to the kth row of the matrix φ.
Algorithm 1 Compute qdeg(M )
Input: R-module M presented by monomial matrix
φ = αi [cj,k xuj,k ] : Rs → Rt
Output: qdeg(M )
Q=∅
for 1 ≤ k ≤ t do
uk,1 , c xuk,2 , . . . , c xuk,s i}
SP = {standard pairs of hcP
k,s
k,2
k,1 x
u
Q = Q ∪ {deg(x ) + αk + xi ∈F C · deg(xi ) | (xu , Z) ∈ SP }
end for
return Q
In the implementation of Algorithm 1 in Macaulay2, we represent the
output as a list of pairs (u, Z) with u ∈ Qd and Z ⊂ Qd where the pair
(u, Z) represents the plane
X
u+
C · v.
v∈Z

The union of these planes over all such pairs in the output is the quasidegree
set of M .
The following is an example of Quasidegrees computing the quasidegree
set of an R-module:
i1 : R=QQ[x,y,z]
o1 = R

COMPUTING QUASIDEGREES OF A-GRADED MODULES

o1
i2
o2
o2
i3
o3

:
:
=
:
:
=

3

PolynomialRing
I=ideal(x*y,y*z)
ideal (x*y, y*z)
Ideal of R
M=R^1/I
cokernel | xy yz |
1

o3
i4
o4
o4

: R-module, quotient of R
: Q = quasidegrees M
= {{0, {| 1 |}}, {0, {| 1 |, | 1 |}}}
: List
The above example displays a caveat of quasidegrees in that there may
be some redundancies in the output. By a redundacy, we mean when one
plane in the output is contained in another. The redundancy above is clear:
qdeg(k[x, y, z]/hxy, yzi) = C = {z1 + z2 ∈ C | z1 , z2 ∈ C}.

The function removeRedundancy gets rid of redundancies in the list of
planes:
i5 : removeRedundancy Q
o5 = {{0, {| 1 |, | 1 |}}}
o5 : List
3. Quasidegrees and hypergeometric systems
In this section, we discuss the motivation for Quasidegrees and the methods in Quasidegrees that aid us in our studies. Let A = [a1 a2 · · · an ] be
an integer (d × n)-matrix with ZA = Zd and such that the cone over its
columns is pointed. There is a natural Zd -grading of R by the columns
of A given by deg(xj ) = aj , the jth column of A. A module that is homogeneous with respect to this grading is said to be A-graded. By the
assumptions on A, R is positively graded by A, that is, the only polynomials of degree 0 are the constants. Given such a matrix A and a polynomial
ring R in n variables,the method
 toAgradedRing gives R an A-grading.
1111 1
For example, let A = 0 0 1 1 0 . We make the A-graded polynomial ring
0 1 1 0 −2
Q[x1 , x2 , x3 , x4 , x5 ] :
i6 : A=matrix{{1,1,1,1,1},{0,0,1,1,0},{0,1,1,0,-2}}
o6 = | 1 1 1 1 1 |
| 0 0 1 1 0 |
| 0 1 1 0 -2 |
3
5
o6 : Matrix ZZ <--- ZZ
i7 : R=QQ[x_1..x_5]
o7 = R
o7 : PolynomialRing
i8 : R=toAgradedRing(A,R)

4

o8
o8
i9
o9

ROBERTO BARRERA

=
:
:
=

R
PolynomialRing
describe R
QQ[x , x , x , x , x , Degrees => {{1}, {1}, {1}, {1},
1
2
3
4
5
{0} {0} {1} {1}
{0} {1} {1} {0}
------------------------------------------------------{1 }}, Heft => {1, 2:0}, MonomialOrder =>
{0 }
{-2}
------------------------------------------------------{MonomialSize => 32}, DegreeRank => 3]
{GRevLex => {5:1} }
{Position => Up
}

The toric ideal associated to A in R is the binomial ideal
IA = hxu − xv : Au = Avi.
The method toricIdeal computes the toric ideal associated to A in the ring
R. We continue with the A and R from the above example and compute
the toric ideal IA associated to A in R:
i10 : I=toricIdeal(A,R)
2
2
2
3
o10 = ideal (x x - x x , x x - x x , x x - x x x , x 1 3
2 4
1 4
3 5
1 4
2 3 5
1
------------------------------------------------------2
x x )
2 5
o10 : Ideal of R
We now introduce A-hypergeometric systems. Given a matrix A ∈ Zd×n
as above and a β ∈ Cd , the A-hypergeometric system with parameter β ∈ Cd
[SST00], denoted HA (β), is the system of partial differential equations:
∂ |u|
∂ |v|
φ(x)
=
φ(x) for all u, v, Au = Av
∂xv
∂xu
n
X
∂
φ(x) = βi φ(x), for i = 1, . . . , d.
aij xj
∂xj
j=1

Such systems are sometimes called GKZ-hypergeometric systems. The
function gkz in the Macaulay2 package Dmodules computes this system as

COMPUTING QUASIDEGREES OF A-GRADED MODULES

5

an ideal in the Weyl algebra. The rank of HA (β) is
rank(HA (β)) = dimC



germs of holomorphic solutions of HA (β)
near a generic nonsingular point



.

The function holonomicRank in Dmodules computes the rank of an Ahypergeometric system. In general, rank is not a constant function of β.
Denote vol(A) to be d! times the Euclidean volume of conv(A ∪ {0}) the
convex hull of the columns of A and the origin in Rd . The following theorem
gives the parameters β for which rank(HA (β)) is higher than expected:
Theorem 3.1. [MMW05] Let HA (β) be an A-hypergeometric system with
L
i
parameter β. If β ∈ qdeg( d−1
i=0 Hm (R/IA )) then rank(HA (β)) > vol(A).
Otherwise, rank(HA (β)) = vol(A).
Since Theorem 3.1 was the initial motivation for Quasidegrees, the package has a method quasidegreesLocalCohomology (abbreviated QLC) to
compute the quasidegree set of the local cohomology modules Hmi (R/IA ).
If the input is an integer i and the R-module R/IA , then the method computes qdeg(Hmi (R/IA )). If the input is only the module R/IA , the method
computes the quasidegree set in Theorem 3.1.
We use graded local duality to compute the local cohomology modules of
a finitely generated A-graded R-module supported at the maximal ideal m:
Theorem 3.2. (Graded local duality [BH98, Mil01]) Given an A-graded
R-module M , there is an A-graded vector space isomorphism
n−i
(M, R)α ∼
ExtR
= Homk (Hmi (M )−α−εA , k)
P
where m = hx1 , . . . , xn i and εA = nj=1 aj .

The algorithm implemented for quasidegreesLocalCohomology is essentially Algorithm 1 applied to the Ext-modules of M with the additional twist
of εA coming from local duality. For our purposes, we exploit the fact that
the higher syzygies of R/IA are generated by monomials in Rm (see [MS05],
Chapter 9).
Continuing our running example, we use quasidegreesLocalCohomology
L
i
to compute the quasidegree set of d−1
i=0 Hm (R/IA ):
i11 : M=R^1/I
o11 = cokernel | x_1x_3-x_2x_4 x_1x_4^2-x_3^2x_5
x_1^2x_4-x_2x_3x_5 x_1^3-x_2^2x_5 |
1
o11 : R-module, quotient of R
i12 : quasidegreesLocalCohomology M
o12 = {{| 0 |, {| 1 |}}}
| 0 |
| 0 |
| 1 |
| -2 |
o12 : List

6

ROBERTO BARRERA

Thus
(1)

qdeg

d−1
M
i=0

!

Hmi (R/IA )

=

h0i
0
1

+C·

h

1i
0 .
−2

As a check, we use the methods gkz and holonomicRank from the package
Dmodules to compute rank(HA (0)) and rank(HA (β)) for two different β in
(1) and demonstrate a rank jump:
i13 : holonomicRank gkz(A,{0,0,0}) -- vol A in this case
o13 = 4
i14 : holonomicRank gkz(A,{0,0,1})
o14 = 5
i15 : holonomicRank gkz(A,{3/2,0,-2})
o15 = 5
References
[Bar]

Roberto Barrera. Quasidegrees:
a package to compute quasidegrees.
http://www.math.tamu.edu/ rbarrera/software/.
[BH98]
Winfried Bruns and H. Jürgen Herzog. Cohen-Macaulay rings. Cambridge University Press, 1998.
[Eis95]
David Eisenbud. Commutative algebra : with a view toward algebraic geometry.
Graduate texts in mathematics. Springer, New York, Berlin, Heildelberg, 1995.
Rimpr. corr. en 1996. Autres tirages : 1999, 2004.
[GS]
Daniel R. Grayson and Michael E. Stillman. Macaulay2, a software system for research in algebraic geometry. Available at
http://www.math.uiuc.edu/Macaulay2/.
[Mil01]
Ezra Miller. Graded Greenlees-May duality and the Čech hull. In Lecture Notes
in Pure and Appl. Math., volume 226, pages 233–253, 2001.
[MMW05] Laura Felicia Matusevich, Ezra Miller, and Uli Walther. Homological methods
for hypergeometric families. J. Am. Math. Soc., 18(4):919–941, 2005.
[MS05]
Ezra Miller and Bernd Sturmfels. Combinatorial commutative algebra. Graduate texts in mathematics. Springer, New York, 2005.
[SST00]
Mutsumi Saito, Bernd Sturmfels, and Nobuki Takayama. Gröbner deformations of hypergeometric differential equations. Algorithms and Computation in
Mathematics. 6. Berlin: Springer., 2000.
Department of Mathematics, Texas A&M University
E-mail address: rbarrera@math.tamu.edu

