Algebraic \(A\)-hypergeometric functions (Q967636): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 01:46, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Algebraic \(A\)-hypergeometric functions |
scientific article |
Statements
Algebraic \(A\)-hypergeometric functions (English)
0 references
30 April 2010
0 references
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.
0 references
\(A\)-hypergeometric functions
0 references
\(A\)-hypergeometric system
0 references
Pochhammer cycle
0 references
Euler integral
0 references
interlacing condition.
0 references