Nilsson solutions for irregular A-hypergeometric systems

From MaRDI portal



Abstract: We study the solutions of irregular A-hypergeometric systems that are constructed from Gr"obner degenerations with respect to generic positive weight vectors. These are formal logarithmic Puiseux series that belong to explicitly described Nilsson rings, and are therefore called (formal) Nilsson series. When the weight vector is a perturbation of (1,...,1), these series converge and provide a basis for the (multivalued) holomorphic hypergeometric functions in a specific open subset of complex n-space. Our results are more explicit when the parameters are generic or when the solutions studied are logarithm-free. We also give an alternative proof of a result of Schulze and Walther that inhomogeneous A-hypergeometric systems have irregular singularities.


The authors investigate \(A\)-hypergeometric systems \(H_A(\beta)\) with parameter vector \(\beta\in \mathbb{C}^d\), \(d\in \mathbb{N}\). In particular, the formal basic Nilsson solutions of \(H_A(\beta)\) in the direction of a weight vector \(w\in \mathbb{R}^n_{> 0}\) are studied. The \(\mathbb{C}\)-span of the basic Nilsson solutions of \(H_A(\beta)\) in the direction of \(w\) is called the space of formal Nilsson series solutions of \(H_A(\beta)\) in the direction of \(w\) and is denoted by \(\mathcal{N}_w (H_A(\beta))\). The relationship between \(\mathcal{N}_w (H_A(\beta))\) and the solution space of an associated regular holonomic hypergeometric system is explained. A linear map \(\rho\) between the aforementioned spaces is constructed and it is proved that \(\rho\) is injective and describes its image.NEWLINENEWLINEMoreover, a combinatorial formula for the dimension of \(\mathcal{N}_w (H_A(\beta))\) over \(\mathbb{C}\) is presented, and it is shown that the logarithmic-free basic Nilsson solutions of \(H_A(\beta)\) in the direction of \(w\) span the vector space of formal logarithmic-free \(A\)-hypergeometric systems in the direction \(w\).NEWLINENEWLINEFinally, the convergence of formal Nilsson solutions to \(A\)-hypergeometric systems is analyzed. In particular, an explicit construction for a basis of the space of multivalued holomorphic solutions of \(H_A(\beta)\) is given.











This page was built for publication: Nilsson solutions for irregular A-hypergeometric systems

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