## Homological methods for hypergeometric families

HTML articles powered by AMS MathViewer

- by Laura Felicia Matusevich, Ezra Miller and Uli Walther PDF
- J. Amer. Math. Soc.
**18**(2005), 919-941 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
[Hot98]Hotta Ryoshi Hotta, - 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
[MM05]MM Laura Felicia Matusevich and Ezra Miller, - 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**

*Equivariant ${D}$-modules*, 1998. arXiv:math.RT/9805021

*Combinatorics of rank jumps in simplicial hypergeometric systems*, Proc. Amer. Math. Soc., to appear, 2005. arXiv:math.AC/0402071 [MW04]MW Laura Felicia Matusevich and Uli Walther,

*Arbitrary rank jumps for $A$-hypergeometric systems through Laurent polynomials*, 2004. arXiv:math.CO/0404183

## Similar Articles

## Additional Information

**Laura Felicia Matusevich**- Affiliation: Department of Mathematics, Harvard University, Cambridge, Massachusetts 02138
- Address at time of publication: Department of Mathematics, University of Pennsylvania, Philadelphia, Pennsylvania 19104
- MR Author ID: 632562
- Email: lfm@math.upenn.edu
**Ezra Miller**- Affiliation: School of Mathematics, University of Minnesota, Minneapolis, Minnesota 55455
- Email: ezra@math.umn.edu
**Uli Walther**- Affiliation: Department of Mathematics, Purdue University, West Lafayette, Indiana 47907
- Email: walther@math.purdue.edu
- Received by editor(s): June 22, 2004
- Published electronically: May 25, 2005
- Additional Notes: The first author was partially supported by a postdoctoral fellowship from MSRI and an NSF Postdoctoral Fellowship

The second author was partially supported by NSF Grant DMS-0304789

The third author was partially supported by the DfG, the Humboldt foundation, and NSF Grant DMS-0100509 - © Copyright 2005
American Mathematical Society

The copyright for this article reverts to public domain 28 years after publication. - Journal: J. Amer. Math. Soc.
**18**(2005), 919-941 - MSC (2000): Primary 13N10, 13D45, 14D99, 13F99, 16E99; Secondary 32C38, 35A27, 14M25, 70F20, 33C70, 13C14, 13D07
- DOI: https://doi.org/10.1090/S0894-0347-05-00488-1
- MathSciNet review: 2163866

Dedicated: Uli Walther dedicates this paper to the memory of his father, Hansjoachim Walther.