Irregularity of hypergeometric systems via slopes along coordinate subspaces

Abstract

We study the irregularity sheaves attached to the $A$-hypergeometric $D$-module $M_A(\beta )$ introduced by Gel'fand et al., where $A\in {\mathbb{Z}}^{d\times n}$ is pointed of full rank and $\beta \in {\mathbb{C}}^d$. More precisely, we investigate the slopes of this module along coordinate subspaces. In the process we describe the associated graded ring to a positive semigroup ring for a filtration defined by an arbitrary weight vector $L$ on torus equivariant generators. To this end we introduce the $(A,L)$-umbrella, a simplicial complex determined by $A$ and $L$, and identify its facets with the components of the associated graded ring. We then establish a correspondence between the full $(A,L)$-umbrella and the components of the $L$-characteristic variety of $M_A(\beta )$. We compute in combinatorial terms the multiplicities of these components in the $L$-characteristic cycle of the associated Euler-Koszul complex, identifying them with certain intersection multiplicities. We deduce from this that slopes of $M_A(\beta )$ are combinatorial, independent of $\beta$, and in one-to-one correspondence with jumps of the $(A,L)$-umbrella. This confirms a conjecture of Sturmfels and gives a converse of a theorem of Hotta: $M_A(\beta )$ is regular if and only if $A$ defines a projective variety.

44 pages, 3 figures, choose PS or PDF to see figures, new Lemma 2.8 fills gap in previous version of Lemma 2.12, error in previous version of Theorem 3.2 repaired by considering L-holonomic modules in Sections 3.2 and 4.2

References in corpus (3)

• Irregularity of hypergeometric systems via slopes along coordinate subspaces
• Equivariant D-modules
• Irreducible components of characteristic varieties

Cited by in corpus (26)

• Irregularity of hypergeometric systems via slopes along coordinate subspaces
• Resonance equals reducibility for A-hypergeometric systems
• Kinematic singularities of Feynman integrals and principal A-determinants
• Laurent Polynomials, GKZ-hypergeometric Systems and Mixed Hodge Modules
• Binomial D-modules
• Algebraic aspects of hypergeometric differential equations
• Systems of parameters and holonomicity of A-hypergeometric systems
• Hypergeometric Hodge modules
• Confluent A-hypergeometric functions and rapid decay homology cycles
• Gevrey expansions of hypergeometric integrals I
• Gevrey solutions for irregular hypergeometric systems I
• Cohen-Macaulayness and computation of Newton graded toric rings
• On Irregularities of Fourier Transforms of Regular Holonomic D-Modules
• Monodromy at infinity of $A$-hypergeometric functions and toric compactifications
• Characteristic cycles and Gevrey series solutions of $A$-hypergeometric systems
• Local cohomology -- an invitation
• A geometric degree formula for $A$-discriminants and Euler obstructions of toric varieties
• Irregular hypergeometric D-modules
• Gevrey solutions of the irregular hypergeometric system associated with an affine monomial curve
• Gauss-Manin systems of families of Laurent polynomials and A-hypergeometric systems
• On the parametric behavior of A-hypergeometric series
• On the $b$-functions of hypergeometric systems
• Logarithmic A-hypergeometric series
• Monodromies at infinity of confluent A-hypergeometric functions
• Gevrey and formal Nilsson solutions of $A$-hypergeometric systems
• On Irregular Binomial $D$-modules