CC BY
10
УДК 517.55
Hypergeometric Systems with Polynomial Bases
Timur M.Sadykov*
Institute of Mathematics, Siberian Federal University, av. Svobodny 79, Krasoyarsk, 660041
Russia
Received 1.09.2007, accepted 5.12.2007 We prove that any simplicial or parallelepipedal hypergeometric configuration admits a Puiseux polynomial basis in its solution space for suitable values of its parameters.
Key words: Puiseux polynomial basis, hypergeometric systems.
1. Notation, Definitions and Preliminaries
The purpose of this paper is to study three important classes of hypergeometric systems of partial differential equations. The systems under study are shown to have bases in their solution spaces that consist of elementary functions. Moreover, their solution spaces split into direct sums of subspaces which are invariant under the action of monodromy. Throughout the paper we will be using the following definition.
Definition 1. A formal Laurent series
^(si,...,sn)xs11 ...<”- (1)
is called hypergeometric if for any i = 1 ,...,n the quotient ip(s + ej)/y>(s) is a rational function in s. Throughout the paper we denote this rational function by Pi(s)/Qi(s + ej). Here {ej}n=i is the standard basis of the lattice Zn. By the support of this series we mean the subset of Zn on which <p(s) = 0. We say that such a series is fully supported, if the convex hull of its support contains (a translation of) an open n-dimensional cone.
A hypergeometric function is a (multi-valued) analytic function obtained by means of analytic continuation of a hypergeometric series along all possible paths.
Theorem 1 (Ore, Sato [5],[2]). The coefficients of a hypergeometric series are given by the formula
m
<p(s) = tsU(s) nr«Aj,s> + cj), (2)
i=i
where ts = tl1 ...tn, tj,Cj G C, Aj G Zn and U(s) is a rational function.
We will call any function of the form (2) the Ore-Sato coefficient of a hypergeometric series.
Throughout the paper we assume (unless otherwise stated) that the parameters ci of the Ore-Sato
coefficients we are dealing with are generic.
* e-mail: [email protected] © Siberian Federal University. All rights reserved
Definition 2. The Horn system of an Ore-Sato coefficient. A (formal) Laurent series ^(s)xs
whose coefficient satisfies the relations ip(s + ei)/ip(s) = Pi(s)/Qi(s + ei) is a (formal) solution to the following system of partial differential equations of hypergeometric type
XiPi(0)y(x) = Qi(0)y(x), i = 1,...,n. (3)
d
Here 0 = (0i,...,0n), 9i = xi——. The system (3) will be referred to as the Horn hypergeometric
dxi
system defined by the Ore-Sato coefficient ip(s) (see [2]) and denoted by Horn(^).
We will often be dealing with the important special case of an Ore-Sato coefficient (2) where ti = 1 for any i = 1,...,n and U(s) = 1. The Horn system associated with such an Ore-Sato coefficient will be denoted by Horn(A, c), where A is the matrix with the rows Ai,..., Am.
Definition 3. The Ore-Sato coefficient (2), the corresponding hypergeometric series (1), and the associated hypergeometric system (3) are called nonconfluent if
E Ai = 0. (4)
i=l
Definition 4. For a pair of vectors (a, b), (c, d) G Z2 we set
, ^ ( min(|ad|, \bc\), if (a,b), (c,d) are in opposite open quadrants of Z2,
’ ’ ’ \ 0 otherwise.
The number v(a,b; c,d) is called the index associated to the lattice vectors (a,b) and (c,d). The index of the rows of a 2 x 2 matrix M will be denoted by v(M).
Definition 5. By the initial exponent of a multiple hypergeometric series
^ 'Yll v(si,...,sn)xi1 ...<"
sG Zn
we will mean the vector (ai,. .. ,an) G Cn. Observe that the initial exponent of such a series is only defined up to shifts by integer vectors.
Definition 6. A series solution f (x) = caxa to a Horn system is called pure if for any
aG A
a, j3 G A we have a = mod Zn. In other words, a series solution is called pure if it is given by the product of a monomial and a Laurent series. A set of series {fk (x)}k=i is called a pure basis of the solution space of a Horn system in a neighbourhood of a nonsingular point x G Cn if every fk converges at x, is a pure solution and together they span a linear space whose dimension equals the holonomic rank of the Horn system.
Since a Horn system has polynomial coefficients, it follows that any of its Puiseux series solutions can be written as a finite linear combination of pure solutions to the same system of equations. Moreover, in a neighbourhood of a nonsingular point, a pure basis in the local solution space of a Horn system is defined uniquely up to permutation and multiplication of its elements with nonzero constants. In this paper we will neglect this unessential difference between pure bases of solutions. The pure basis of a hypergeometric system is especially convenient for computing monodromy since, within the domain of convergence of the basis series, the monodromy matrices are diagonal.
Definition 7. The support S of a series solution to (3) is called irreducible if there exists no series solution to (3) supported in a proper nonempty subset of S.
Definition 8. Let <p(s) be an Ore-Sato coefficient and let f (x) be a Puiseux polynomial solution to Horn(ip). If there exists a multi-index I = {ii,. .., in} C {1,.. ., m} with different components such that for any s G suppf there exists j G I and k G {0,. .. ,j — 1} such that (Aj, s) + cj + k = 0 then f is called stable Puiseux polynomial solution to Horn(ip).
i
Any Puiseux series solution (centered at the origin) of a Horn system with generic parameters is either a fully supported series or a stable Puiseux polynomial. Indeed, for a polynomial to be a solution to a hypergeometric system, its exponents must satisfy a system of linear algebraic equations. The generic parameters assumption implies that the right-hand sides of these equations are also generic and hence the system of linear algebraic equations is defined by a square nondegenerate matrix. The corresponding solutions to the hypergeometric system are precisely stable polynomials.
We will be using the following notation throughout the paper. For a vector x = (xi,... ,xn), we will denote by ex the vector (eXl,..., eXn). By diag(x) we will denote the diagonal matrix with the elements xi , . . . , xn on the main diagonal.
2. Atomic Horn Systems
Let M G GL(n, Z) be an integer nondegenerate square matrix and a G Cn a parameter vector. The (confluent) Horn system Horn(M, a) associated with this data will be called atomic. An atomic system can be transformed into a system of differential equations with constant coefficients by means of the isomorphism in Corollary 5.2 in [1]. In accordance with the Malgrange-Ehrenpreis-Palamodov fundamental principle (see Chapter 6 in [3]), an atomic system only has elementary solutions which can be expressed in terms of Puiseux polynomials and exponential functions. In the present section, we carry out a detailed analysis of the properties of a general atomic hypergeometric system. The reason for studying atomic systems is that the supports and the initial exponents of a Horn system with generic parameters can be recovered from an atomic systems associated with it.
Theorem 2. Let M G GL(n, Z) be an integer nondegenerate square matrix, a G Cn, and let Horn(M, a) denote an atomic system of hypergeometric differential equations defined by this data.
1. The dimension of the space F of fully supported solutions to Horn(M, a) at a point x G (C*)n equals | det M\. A basis in this space is given by any maximal set of linearly independent germs of the generating solution
x-M-1 a exp |—x-M-1pj | , (5)
j=i
where ej = (0,.. ., 1,.. ., 0) (1 in the j-th position).
2. Apart from (5) and its analytic continuations, an atomic Horn system only has stable Puiseux polynomial solutions. The subspace of Puiseux polynomial solutions to Horn(M, a) and the subspace of its fully supported solutions are both invariant under the action of monodromy.
3. A solution to an atomic system can only be singular on the union of coordinate hyperplanes {x G Cn : xi ••• xn = 0}. The initial exponents of the elements of the pure basis in the subspace of fully supported solutions to Horn(M,a) are given by {wk }k=0i M1 = (-M-i(Zn + a))/Zn. Here Zn + a denotes the shift of the integer lattice by the vector a. Denote by w(i),. .., w(n) the columns of the matrix whose rows are the vectors Wk, k = 1, ..., | det M\. The action of monodromy on the pure basis of the subspace F is given by the matrices {diag(e2niw(j) )}n=v
Proof. (1) The number of fully supported solutions to an atomic system can be computed by means of Corollary 5.2 in [1] and the formula for the holonomic rank of the Gelfand-Kapranov-Zelevinsky system of equations. Let us show that the generating solution (5) is indeed a solution to the hypergeometric system Horn(M, a). We denote by Mi,..., Mn the rows of the matrix M and choose e > 0 to be sufficiently small. For k G Nn let t(k) = {s G Cn : |(Mj, s) + aj + kj | = e, for any j = 1,... ,n} be the n-dimensional cycle around one of the singularities of the Ore-Sato
coefficient defining an atomic system. Furthermore let C = ^2 t(k). By Proposition 4 in [4] a
keNn
solution to Horn(M, a) can be represented by the following multiple Mellin-Barnes integral which by computing residues can be transformed into a hypergeometric Puiseux series:
I f U ^((Mj, s) + aj) xi . .. x6nn dsi . .. ds
l)n J j=i
(2ni
C
j=i
Jk|
E 4r-x-M"1M°} = x-M-1a E j-^n (~r-M-1”
—x x {-* ') - (6)
keNn keNn j=i
kj
= x-M-1a exp | -V x-M-1’>
exp 1-^..
Thus the function (5) satisfies the hypergeometric system in question. The dimension of the linear span of all analytic continuations of (5) equals | det M| and hence any maximal linearly independent set of germs of the generating solution at a nonsingular point is a basis in the subspace of fully supported solutions to an atomic system.
(2) The singular locus of the integrand of the Mellin-Barnes integral representing a solution to an atomic system contains the smallest possible number of families of singular hyperplanes (equal to the dimension n of the ambient space). Thus by definition any series solution to an atomic system is either a fully supported (Puiseux) series or a stable (Puiseux) polynomial. The subspace of Puiseux polynomial solutions of any system of equations (not necessarily atomic or even hypergeometric) is unvariant under the action of monodromy. The invariance of the subspace of fully supported solutions follows from the form of the generating solution (5).
(3) By (1) and (2) any element of the pure basis of an atomic system is either a Puiseux
polynomial or the product of a monomial and an entire function. Thus the singular locus of an atomic system is contained in {x G Cn : xi • • • xn = 0}. The branching of such a family of functions is the same as that of a family of Puiseux monomials. Thus the action of monodromy on the pure basis of the subspace F is given by diagonal matrices determined by the initial exponents of the fully supported solutions. These exponents are derived from the Puiseux series expansion (6) for the generating solution to the atomic system. □
Example 1. Let the hypergeometric configuration be defined by the matrix
/ 2 11 M = | 12 0 111
the atomic Horn system Horn(M, (a, ft, y)t) has rank two. A basis in its solution space is given by the functions
x-a+Yy- 11-a+P+l) z-11-«-^+37) expf x— + ^ ,
\\fyz '2 Vy x /
x-a+Yy-21-a+P+Y)z-2 (-a-^+37) (_____x______Vf _ -vV^\
y z H -yz3/2 —y x ).
In the case of two variables it is possible to tell exactly how many Puiseux polynomial solutions an atomic system might have and what their initial exponents are. The following theorem is a consequence of Theorem 5.3 and Lemma 4.5 in [1] and the rank formula for the Gelfand-Kapranov-Zelevinsky hypergeometric system.
Theorem 3. 1. For any 2 x 2 nondegenerate integer matrix
m=i “ d
c d
n
and any c G C2
rank(Horn(M, c)) = | det(M)| + v(M).
Moreover, there exist | det(M)| fully supported series solutions of Horn(M,c) while the remaining v(M) solutions are stable Puiseux polynomials.
2. In the case when v(M) > 0 we may without loss of generality assume that a,b > 0 and c,d < 0 (see proof of Lemma 6.3 in [1]). Under this assumption, the initial exponents of the Puiseux polynomial solutions to Horn(M,c) are given by M-1Rm, where
„ = ( {(u,v) G N2 : u < b, v < -c}, if IadI > \bcI,
M \ {(u,v) G N2 : u < a, v < -d}, if IadI < \bcI.
Definition 9. For m > n let A be a m x n integer matrix of rank n with the rows Ai, .. ., Am
and let c G Cm be a vector of parameters. Let I = (ii, ... ,in) be a multi-index such that the square
matrix Ai with the rows Ai1 ,...,Ain is nondegenerate. Let ci denote the vector (ci1 ,...,cin). The hypergeometric system Horn(Ai, ci) will be referred to as an atomic system associated with the system Horn(A, c). The number of atomic systems associated with a hypergeometric system Horn(A, c) equals the number of maximal nondegenerate square submatrices of the matrix A.
The importance of atomic hypergeometric systems lies in the fact that, as long as the supports of series solutions are concerned, a generic hypergeometric system is built of associated atomic systems. Indeed, the set of supports of solutions to a hypergeometric system with generic parameters consists of supports of solutions to associated atomic systems. In particular, the initial exponents of Puiseux polynomial solutions to a hypergeometric system are precisely the initial exponents of Puiseux polynomials which satisfy the associated atomic systems.
Example 2. The atomic hypergeometric system defined by the matrix
' -1 2
3 -5
x(3dx - 59y)(30x - 50y + 1)(3dx - 50y + 2) - (-0X + 20y),
4 /„n m , -\ (7)
and the zero parameter vector has the form x(30x - 50y)(30x - 50y
y(-0x + 20y )(-0x + 20y + ^ - n4=0(3°x - 50y + j).
The pure basis in the solution space of this system is given by the functions 1, x-2y-i, x-4y-2, 6x-5y-3 + x-6y-3, 24x-7y-4 + x-8y-4, e-xy-x3y2.
Example 3. The atomic hypergeometric system defined by the matrix
' -3 1
4 -2
and the zero parameter vector has the form
x nj=0(40x - 20y + j) - (-30x + 0y )(-30x + 0y + 1)(-30x + 0y +2), y(-30x + 0 y) - (40x - 20y )(40x - 20y + ^.
(8)
A basis in the solution space of this system is given by the functions 1, xi/2y‘3/2, 2xy2 - xyj,
6xj/2y7/2 - x3/2y9/2, e-x1/2y3/2-xy2, ex1/2y3/2
x 1 y 1 -xy
3. Configurations with Polynomial Bases
In this section, we consider a class of hypergeometric systems whose solution space consists of (Puiseux) polynomials. Apart from systems with rational bases of solutions, such systems have the simplest possible monodromy representation since the corresponding monodromy groups are generated by diagonal matrices.
3.1. Simplicial Configurations
An important special instance of a general nonconfluent Horn system is the system defined by a matrix whose rows are the vertices of an n-dimensional integer simplex. More precisely, let M € GL(n, Z) be an integer nondegenerate square matrix and a € Cn a parameter vector. Let a = (a, an+1) € Cn+1. Denote by M1,..., Mn the rows of the matrix M and let Mn+1 = -M1-.. .-Mn. Let M be the (n +1) x n matrix with the rows M1,..., Mn+1. The (nonconfluent) Horn system Horn(M, a) associated with this data will be called simplicial.
Proposition 1. A simplicial Horn system Horn(M, a) admits the following generating solution:
1^EX-M J , (9)
where ej = (0, .. ., 1, .. ., 0) (1 in the j-th position). Any solution to the Horn system Horn(M, a) is either in the linear span of analytic continuations of the generating solution or is a Puiseux polynomial.
Proof. By Proposition 4 in [4] the multiple Mellin-Barnes integral
1 /. n+1
n T((Mi,s) + ai) xi ...xSnn dsi ...dsn (10)
'i)n j n_i
(2ni)n
C
is a solution of the simplicial Horn system Horn(M, a). Here the contour of integration C is defined to be the sum of all elements of a suitable basis for n-dimensional homologies of the complement of the singularities of the integrand in (10) as in Proposition 4 in [4]. Since the matrix M is
n
nondegenerate, the function Y\r((Mi,s) + ai) has isolated singularities at the solutions of the
i=1
system of linear equations
Mis + ai = -mi, i = 1,...,n, (11)
where m = (mi,..., mn) G N". The residues at these singularities are ( — 1)lml/(m! IM|). The value of the weight function T({Mn+1, s) + an+\) at the solution of (11) is given by
r({Mn+i,M 1(-m — a)) + an+i)=r ^^3 Mi,M 1(m + a)) + an+i^ = r(|m| + |a|). (12)
Using the summation formula
3 ( —1)|m|r(|m| + X)/m! xm = T(A)(1 + |x|)-A
and Theorem 5 in [4] we arrive at (9). The second claim of the proposition is proved as in Theorem 2. □
Example 4. The Horn system
x(2dx + dy - 7)(20x + dy - 6)(0X + 2dy - 7) - (ex + dy - 3)(ex + dy - 10/3)(0x + dy -11/3), y(2dx + dy - 7)(0x + 29y - 7)(0x + 29y - 6) - (Ox + 0y - 3)(0x + 0y - 10/3)(0x + 0y - 11/3)
is holonomic and its holonomic rank equals 9. The pure basis in its solution space is given by the Puiseux polynomials y4/x, y11/3/x1/3, x1/3y10/3, x10/3y1/3, x11/3/y1/3, x4/y,
x3 + 2x2y - 54x3y + 2xy2 - 108x2y2 + y3 - 54xy3, 10x7/3y4/3 + 10x4/3y7/3 - 9x7/3y7/3,
4x8/3y2/3 + 6x5/3y5/3 - 27x8/3y5/3 + 4x2/3y8/3 - 27x5/3y8/3.
The six Puiseux monomials are stable while the last three solutions are not.
Fig. 1. The supports of solutions
In this picture, the small filled circles correspond to the monomial solutions, the big filled circles
indicate the Puiseux trinomial while the remaining two polynomials correspond to the small and big empty circles respectively.
3.2. Parallelepipeds
Let M € GL(n, Z) be an integer nondegenerate square matrix and let a, j3 € Cn be two parameter vectors. Denote by MI the 2n x n matrix obtained by joining together the rows of the matrices M and -M. The rows of such a matrix define the vertices of a parallelpiped of nonzero n-dimensional volume. Let a be the vector with the components (a.1, .. ., an, 31, ..., 3n). It turns out that the corresponding Horn system Horn(M, a) admits a simple basis of solutions.
Proposition 2. The Horn system Horn(M, a) admits the following generating solution:
is either in the linear span of analytic continuations of the generating solution or is a Puiseux polynomial.
The proof of this proposition is analogous to the proof of Proposition 1 above.
Corollary 1. Any Horn system defined by a matrix whose rows are the vertices of a simplex or a parallelepiped admits a basis of Puiseux polynomials for suitable values of its parameters. In particular, the solution space of such a system splits into the direct sum of one-dimensional invariant subspaces. The monodromy representation of such a Horn system is reducible.
Example 5. The Horn system
is holonomic and its holonomic rank equals 5. The pure basis in its solution space is given by the
(13)
where ej = (0, .. ., 1, .. ., 0) (1 in the j-th position). Any solution to the Horn system Horn(M, a)
+24x1/3y2/3 + 6x4/3y2/3 + 4x4/3y5/3,
4x-4/3 y-5/3 + 6x-4/3y-2/3 + 24x-1/3y-2/3 + x2/3 y-2/3+
+ 16x-1/3y1/3 + 24x2/3y1/3 + 6x2/3y4/3 + 4x5/3y4/3.
The only stable solutions in this example are the Laurent monomials x2y2 and x-2y-2.
Gratefully acknowledge the financial support of the SFU by SM project, grant 45.2007.
References
[1] A.Dickenstein, L.Matusevich, T.Sadykov, Bivariate hypergeometric D-modules, Adv. in Math., 196(2005), no. 1, 78-123.
[2] I.M.Gelfand, M.I.Graev, V.S.Retach, General hypergeometric systems of equations and series of hypergeometric type, Russian Math. Surveys, 47(1992), no. 4, 1-88.
[3] V.P.Palamodov, Linear differential operators with constant coefficients, Moscow, Nauka, 1967 (Russian).
[4] T.M.Sadykov, On a multidimensional system of hypergeometric differential equations, Siberian Math. J., 39(1998), 986-997.
[5] M.Sato, Theory of prehomogeneous vector spaces (algebraic part), Nagoya Math. J., 120 (1990), 1-34.
