Dualizing, projecting, and restricting GKZ systems
Abstract
Let $A$ be an integer matrix, and assume that its semigroup ring $\mathbb{C}[\mathbb{N}A]$ is normal. Fix a face $F$ of the cone of $A$. We show that the projection and restriction of an $A$-hypergeometric system to the coordinate subspace corresponding to $F$ are essentially $F$-hypergeometric; moreover, at most one of them is nonzero. We also show that, if $A$ is in addition homogeneous, the holonomic dual of an $A$-hypergeometric system is itself $A$-hypergeometric. This extends a result of Uli Walther, proving a conjecture of Nobuki Takayama in the normal homogeneous case.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2018
- DOI:
- 10.48550/arXiv.1805.02727
- arXiv:
- arXiv:1805.02727
- Bibcode:
- 2018arXiv180502727S
- Keywords:
-
- Mathematics - Algebraic Geometry;
- Mathematics - Commutative Algebra;
- 14F10 (Primary);
- 14M25;
- 32S35;
- 32C38
- E-Print:
- Made some small fixes based on referee suggestions