Algebraic \(A\)-hypergeometric functions
type: Item
instance of: scholarly article
title: Algebraic \(A\)-hypergeometric functions
zbMATH Open document ID: 1251.33011
author: Frits Beukers
published in: Inventiones Mathematicae
publication date: 2010-04-30T00:00:00Z
full work available at URL: https://arxiv.org/abs/0812.1134
review text: The author considers \(A\)-hypergeometric functions, where as usual \(A\subset \mathbb{Z}^r\), \(r\in \mathbb{N}\), consists of \(N\) vectors \(\mathbf{a}_1, \ldots, \mathbf{a}_N\) whose \(\mathbb{Z}\)-span equals \(\mathbb{Z}^r\) and for which there exists a linear form \(h\) on \(\mathbb{R}^r\) such that \(h(\mathbf{a}_i) = 1\), for all \(i = 1, \ldots, N\), and \(A\)-hypergeometric equations of the from \[ \square_{\mathbf{l}} \Phi = \prod_{l_i > 0} \partial_i^{l_i}\Phi - \prod_{l_i=0}\partial_i^{|l_i|}\Phi = 0, \] and \[ Z_i \Phi = \left(\sum_{j=1}^N a_{ij} v_j \partial_j - \alpha_i\right)\Phi = 0, \quad i = 1, \ldots, r. \] Here, \(\alpha\) is a vector of parameters in \(\mathbb{Q}^r\), \(a_{ij}\) are the components of vector \(\mathbf{a}_i\), and \(\mathbf{l} = (l_1, \ldots, l_N)\in L\subset \mathbb{Z}^N\) , where \(L\) denotes the lattice of relations such that \(\sum_{i=1}^N l_i \mathbf{a}_i = 0\). The above system of equations is denoted by \(H_A(\alpha)\). The author requires the system \(H_A(\alpha)\) to satisfy one additional condition, namely that the \(\mathbb{R}_{\geq 0}\)-span of \(A\) intersected with \(\mathbb{Z}^r\) equals the \(\mathbb{Z}_{\geq 0}\)-span of \(A\). This condition ensures that the dimension of \(H_A(\alpha)\) equals the volume of the \(A\)-polytope \(Q(A)\). A combinatorial criterion is formulated and proved to decide whether an \(A\)-hyperbolic system \(H_A(\alpha)\) has a full set of algebraic solutions or not. In the case of the one-dimensional setting of hypergeometric functions, this criterion generalizes the so-called interlacing condition.
Mathematics Subject Classification ID: 33C65
Mathematics Subject Classification ID: 33C70
Mathematics Subject Classification ID: 13N10
zbMATH DE Number: 5702980
zbMATH Keywords: \(A\)-hypergeometric functions
zbMATH Keywords: \(A\)-hypergeometric system
zbMATH Keywords: Pochhammer cycle
zbMATH Keywords: Euler integral
zbMATH Keywords: interlacing condition.
reviewed by: Peter Massopust
MaRDI profile type: Publication
OpenAlex ID: W2146471746
arXiv ID: 0812.1134
cites work: Hypergeometric functions and rings generated by monomials
cites work: ALGEBRAIC APPELL-LAURICELLA FUNCTIONS
cites work: Monodromy for the hypergeometric function \(_ nF_{n-1}\)
cites work: Q3999153
cites work: Q4280723
cites work: Generating functional of correlation functions for the nonlinear Schrödinger equation
cites work: Generalized Euler integrals and \(A\)-hypergeometric functions
cites work: APPELL'S F4 WITH FINITE IRREDUCIBLE MONODROMY GROUP
cites work: APPELL'S HYPERGEOMETRIC SYSTEMS F2 WITH FINITE IRREDUCIBLE MONODROMY GROUPS
cites work: Algebraic solutions of differential equations (p-curvature and the Hodge filtration)
cites work: A conjecture in the arithmetic theory of differential equations
cites work: Q4017449
cites work: Homological methods for hypergeometric families
cites work: Q4169631
cites work: Hypergeometric Functions, My Love
DOI: 10.1007/S00222-010-0238-Y
description: scientific article