Bivariate hypergeometric D-modules

DOI10.1016/J.AIM.2004.08.012MaRDI QIDQ2566194zbMATH OpenOpenAlexFDO

Authors Laura Felicia Matusevich, Alicia Dickenstein, T. M. Sadykov

Publication date 22 September 2005

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0310003

zbMATH Keywords

holonomic \(D\)-modulesholonomic rankHorn systemshypergeometric functions

Mathematics Subject Classification ID

Toric varieties, Newton polyhedra, Okounkov bodies (14M25) Sheaves of differential operators and their modules, (D)-modules (32C38) Appell, Horn and Lauricella functions (33C65) Other hypergeometric functions and integrals in several variables (33C70) Overdetermined systems of PDEs with variable coefficients (35N10)

Abstract: We undertake the study of bivariate Horn systems for generic parameters. We prove that these hypergeometric systems are holonomic, and we provide an explicit formula for their holonomic rank as well as bases of their spaces of complex holomorphic solutions. We also obtain analogous results for the generalized hypergeometric systems arising from lattices of any rank.

Review text

The authors obtain several results on bivariate Horn systems. It is obtained a formula for the rank of a system of two hypergeometric equations in two variables when the parameters are generic. This rank is equal to \(3\) for \(F_1\) and to \(4\) for Horn's \(G_3\). A Horn system \(\text{Horn}({\mathcal B},c)\) is defined as a left ideal in a Weyl algebra \(D_m\) and it is proved that such a system is holonomic and its rank is equal to \(d_1d_2-\sum\,\nu_{ij}\), with the sum of the indices corresponding to linearly dependent rows \(b_i\), \(b_j\). There are given the \(A\)-hypergeometric solutions. The author also describes the space of Puiseux polynomial solutions of \(\text{Horn}({\mathcal B},c)\). The paper also contains descriptions of solutions to hypergeometric recurrences with finite support and solutions of hypergeometric systems arising from lattices. For fully supported hypergeometric functions there is given an explicit construction.

Recommendations

• Analytic complexity of hypergeometric functions satisfying systems with holonomic rank two
• Binomial \(D\)-modules
• Maximally reducible monodromy of bivariate hypergeometric systems
• Hypergeometric functions and rings generated by monomials
• On the Horn system of partial differential equations and series of hypergeometric type

Cites work

• Binomial ideals
• Bounds on degrees of projective schemes
• Elimination theory in codimension 2
• General hypergeometric systems of equations and series of hypergeometric type
• Gröbner deformations of hypergeometric differential equations
• scientific article; zbMATH DE number 4079772 (Why is no real title available?)
• scientific article; zbMATH DE number 3786948 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 1917719 (Why is no real title available?)
• scientific article; zbMATH DE number 835749 (Why is no real title available?)
• scientific article; zbMATH DE number 3219699 (Why is no real title available?)
• Hypergeometric functions and rings generated by monomials
• Hypergeometric functions and toric varieties
• Hypergeometric functions of two variables
• Initial complexes of prime ideals
• Logarithm-free A-hypergeometric series
• Mixed matrices and binomial ideals
• On the Horn system of partial differential equations and series of hypergeometric type
• Primary decomposition of lattice basis ideals
• Singularities of hypergeometric functions in several variables

Cited in

(21)

• Weyl closure of hypergeometric systems
• Primary components of codimension two lattice basis ideals
• On normalized Horn systems
• Analytic complexity of hypergeometric functions satisfying systems with holonomic rank two
• Combinatorics of binomial primary decomposition
• Torus equivariant \(D\)-modules and hypergeometric systems
• Maximally reducible monodromy of bivariate hypergeometric systems
• Multidegree for bifiltered D-modules and hypergeometric systems
• Complete intersections in toric ideals
• On the Horn system of partial differential equations and series of hypergeometric type
• D-modules over the arrangements of hyper planes
• scientific article; zbMATH DE number 7324574 (Why is no real title available?)
• Hypergeometric functions and Feynman diagrams
• Hypergeometric systems of equations with maximally reducible monodromy
• BIVARIATE DIMENSION POLYNOMIALS AND NEW INVARIANTS OF FINITELY GENERATED D-MODULES
• Upper Bounds for the Analytic Complexity of Puiseux Polynomial Solutions to Bivariate Hypergeometric Systems
• scientific article; zbMATH DE number 7742559 (Why is no real title available?)
• On the rank of an A$A$‐hypergeometric D$D$‐module versus the normalized volume of A$A$
• Graceful bases in solution spaces of differential and difference equations
• Counting solutions to binomial complete intersections
• Binomial \(D\)-modules

Describes a project that uses

Uses Software

• Macaulay2

This page was built for publication: Bivariate hypergeometric \(D\)-modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2566194)