Homological methods for hypergeometric families

Matusevich, Laura; Miller, Ezra; Walther, Uli

doi:10.1090/S0894-0347-05-00488-1

Homological methods for hypergeometric families
HTML articles powered by AMS MathViewer

by Laura Felicia Matusevich, Ezra Miller and Uli Walther

J. Amer. Math. Soc. 18 (2005), 919-941

DOI: https://doi.org/10.1090/S0894-0347-05-00488-1

Published electronically: May 25, 2005

PDF | Request permission

Abstract:

We analyze the behavior of the holonomic rank in families of holonomic systems over complex algebraic varieties by providing homological criteria for rank-jumps in this general setting. Then we investigate rank-jump behavior for hypergeometric systems $H_A(\beta )$ arising from a $d \times n$ integer matrix $A$ and a parameter $\beta \in \mathbb {C}^d$. To do so we introduce an Euler–Koszul functor for hypergeometric families over $\mathbb {C}^d$, whose homology generalizes the notion of a hypergeometric system, and we prove a homology isomorphism with our general homological construction above. We show that a parameter $\beta \in \mathbb {C}^d$ is rank-jumping for $H_A(\beta )$ if and only if $\beta$ lies in the Zariski closure of the set of $\mathbb {C}^d$-graded degrees $\alpha$ where the local cohomology $\bigoplus _{i < d} H^i_\mathfrak m(\mathbb {C}[\mathbb {N} A])_\alpha$ of the semigroup ring $\mathbb {C}[\mathbb {N} A]$ supported at its maximal graded ideal $\mathfrak m$ is nonzero. Consequently, $H_A(\beta )$ has no rank-jumps over $\mathbb {C}^d$ if and only if $\mathbb {C}[\mathbb {N} A]$ is Cohen–Macaulay of dimension $d$.

References

Alan Adolphson, Hypergeometric functions and rings generated by monomials, Duke Math. J. 73 (1994), no. 2, 269–290. MR 1262208, DOI 10.1215/S0012-7094-94-07313-4
Alan Adolphson, Higher solutions of hypergeometric systems and Dwork cohomology, Rend. Sem. Mat. Univ. Padova 101 (1999), 179–190. MR 1705287
Winfried Bruns and Jürgen Herzog, Cohen-Macaulay rings, Cambridge Studies in Advanced Mathematics, vol. 39, Cambridge University Press, Cambridge, 1993. MR 1251956
J.-E. Björk, Rings of differential operators, North-Holland Mathematical Library, vol. 21, North-Holland Publishing Co., Amsterdam-New York, 1979. MR 549189
Eduardo Cattani, Carlos D’Andrea, and Alicia Dickenstein, The ${\scr A}$-hypergeometric system associated with a monomial curve, Duke Math. J. 99 (1999), no. 2, 179–207. MR 1708034, DOI 10.1215/S0012-7094-99-09908-8
Eduardo Cattani, Alicia Dickenstein, and Bernd Sturmfels, Rational hypergeometric functions, Compositio Math. 128 (2001), no. 2, 217–239. MR 1850183, DOI 10.1023/A:1017541231618
David A. Cox and Sheldon Katz, Mirror symmetry and algebraic geometry, Mathematical Surveys and Monographs, vol. 68, American Mathematical Society, Providence, RI, 1999. MR 1677117, DOI 10.1090/surv/068
David Eisenbud, Commutative algebra, Graduate Texts in Mathematics, vol. 150, Springer-Verlag, New York, 1995. With a view toward algebraic geometry. MR 1322960, DOI 10.1007/978-1-4612-5350-1
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 (Russian); English transl., Soviet Math. Dokl. 36 (1988), no. 1, 5–10. MR 902936
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 (Russian); English transl., Funct. Anal. Appl. 23 (1989), no. 2, 94–106. MR 1011353, DOI 10.1007/BF01078777
Robin Hartshorne, Algebraic geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, 1977. MR 0463157, DOI 10.1007/978-1-4757-3849-0

Equivariant ${D}$-modules

arXiv:math.RT/9805021

Laura Felicia Matusevich, Rank jumps in codimension 2 $A$-hypergeometric systems, J. Symbolic Comput. 32 (2001), no. 6, 619–641. Effective methods in rings of differential operators. MR 1866707, DOI 10.1006/jsco.2001.0486
Laura Felicia Matusevich, Exceptional parameters for generic $\scr A$-hypergeometric systems, Int. Math. Res. Not. 22 (2003), 1225–1248. MR 1967406, DOI 10.1155/S1073792803211156

Combinatorics of rank jumps in simplicial hypergeometric systems

arXiv:math.AC/0402071

Arbitrary rank jumps for $A$-hypergeometric systems through Laurent polynomials

arXiv:math.CO/0404183

Ezra Miller, Graded Greenlees-May duality and the Čech hull, Local cohomology and its applications (Guanajuato, 1999) Lecture Notes in Pure and Appl. Math., vol. 226, Dekker, New York, 2002, pp. 233–253. MR 1888202
Ezra Miller and Bernd Sturmfels, Combinatorial commutative algebra, Graduate Texts in Mathematics, vol. 227, Springer-Verlag, New York, 2005. MR 2110098
Mutsumi Saito, Isomorphism classes of $A$-hypergeometric systems, Compositio Math. 128 (2001), no. 3, 323–338. MR 1858340, DOI 10.1023/A:1011877515447
Mutsumi Saito, Logarithm-free $A$-hypergeometric series, Duke Math. J. 115 (2002), no. 1, 53–73. MR 1932325, DOI 10.1215/S0012-7094-02-11512-9
Mutsumi Saito, Bernd Sturmfels, and Nobuki Takayama, Gröbner deformations of hypergeometric differential equations, Algorithms and Computation in Mathematics, vol. 6, Springer-Verlag, Berlin, 2000. MR 1734566, DOI 10.1007/978-3-662-04112-3
Bernd Sturmfels and Nobuki Takayama, Gröbner bases and hypergeometric functions, Gröbner bases and applications (Linz, 1998) London Math. Soc. Lecture Note Ser., vol. 251, Cambridge Univ. Press, Cambridge, 1998, pp. 246–258. MR 1708882