Abstract
In this article, we investigate Muirhead’s classical system of differential operators for the hypergeometric function \(\,{_1F_{\!\!\;1}}\,\) of a matrix argument. We formulate a conjecture for the combinatorial structure of the characteristic variety of its Weyl closure which is both supported by computational evidence as well as theoretical considerations. In particular, we determine the singular locus of this system.
Introduction
Hypergeometric functions are probably the most famous special functions in mathematics and their study dates back to Euler, Pfaff, and Gauß, earlier contributions to the development of the theory are due to Wallis, Newton, and Stirling, we refer to Dutka (1984). Around the origin, they have the series expansion
where \(p,\, q\) are nonnegative integers with \(q+1\ge p\) and \((a)_n=a\ldots (a+n1)\) denotes the Pochhammer symbol. Hypergeometric functions are ubiquitous in mathematics and physics: they are intimately related to the theory of differential equations and show up at prominent places in physics such as the hydrogen atom. In recent years, there has been renewed interest in the subject coming from the connection with toric geometry established in Gelfand et al. (1989, 1990) and the interplay with mirror symmetry, see also the article (Reichelt et al. 2020) in this volume for more details and further references.
A natural generalization are hypergeometric functions of a matrix argument X as introduced by Herz (1955, Section 2) using the Laplace transform. Herz was building on work of Bochner (1952). Ever since, they have been a recurrent topic in the theory of special functions. In Constantine (1963, Section 5), Constantine expressed these functions as a series of zonal polynomials, thereby establishing a link with the representation theory of \(\hbox {GL}_{n}\). This series expansion bears a striking likeness to (1.1) and is usually written as
where the \(\lambda \) are partitions of n and the \((a_i)_\lambda \), \((c_j)_\lambda \) are certain generalized Pochhammer symbols, see Definition 3.2.
In this article, we examine the differential equations the hypergeometric function \({_1F_{\!\!\;1}}(a;c)\) of a matrix argument X satisfies from the point of view of algebraic analysis. If X is an \((m\times m)\)matrix, the function (1.2) only depends on the eigenvalues \(x_1,\ldots ,x_m\) counted with multiplicities. So we may equally well assume that \(X={\text {diag}}(x_1,\ldots ,x_m)\) is a diagonal matrix. Muirhead (1970) showed that the linear partial differential operators
\(k=1,\ldots ,m\), annihilate \({_1F_{\!\!\;1}}(a;c)\) wherever they are defined. We denote by \(P_k\) the differential operator obtained from \(g_k\) by clearing denominators and consider the left ideal \(I_m\,{:}{=}\,( P_1,\ldots ,P_m ) \) in the Weyl algebra \(D_m\), see Sect. 4. We refer to \(I_m\) as the Muirhead ideal or the Muirhead system of differential equations and denote by \(W(I_m)\) its Weyl closure. Our main result is:
Theorem 5.1
The singular locus of \(I_m\) agrees with the singular locus of \(W(I_m)\). It is the hyperplane arrangement
This leads to a lower bound for the characteristic variety of \(I_m\), by which we essentially mean the characteristic variety of the \(D_m\)module \(D_m/I_m\). We would like to point out that the terminology used in this article is a slight modification and refinement of the usual definition in the theory of Dmodules, taking schemetheoretic structures into account. For details, see Definition 2.1 and the remarks thereafter.
Corollary 5.7
The characteristic variety of \(W(I_m)\) contains the zero section and the conormal bundles of the irreducible components of \({{{\mathscr {A}}}}\), i.e.,
Here, \(\widehat{(\cdot )}\) means that the corresponding entry gets deleted. Note that the varieties on the right hand side of (1.5) are conormal varieties for the natural symplectic structure on \(T^*{{\mathbb {A}}}^m\), see Sect. 2.2. More precisely, they are the conormal varieties to the irreducible components of the divisor \({{{\mathscr {A}}}}\) of singularities of the Muirhead system. To formulate our conjecture about the structure of the characteristic variety of \(W(I_m)\), we introduce the following notation. Let \(J_0J_1\ldots J_k\) denote a partition of \([m]=\{1,\ldots ,m\}\), such that only \(J_0\) may possibly be empty. We denote by \(Z_{J_0J_1\ldots J_k}\) the linear subspace given by the vanishing of all \(x_i\) for \(i\in J_0\) and all \(x_ix_j\) for \(i,j \in J_\ell \) and \(\ell \in [k]\). For a smooth subvariety \(Y\subseteq {{\mathbb {A}}}^m\), we denote by \( N^*Y\subseteq T^*{{\mathbb {A}}}^m \) the conormal variety to Y. Then our conjecture can be phrased as follows:
Conjecture 6.2
Let \(C_{J_0J_1\ldots J_k} \,{:}{=}\,N^*Z_{J_0J_1\ldots J_k}\). The (reduced) characteristic variety of \(W( I_m )\) is the following arrangement of mdimensional linear spaces:
In particular, it has \(B_{m+1}\) many irreducible components, where \(B_n\) denotes the nth Bell number.
By an explicit analysis of the differential operators in \( I_m\), we also obtain an upper bound for \({{\,\mathrm{Char}\,}}(I_m)\). For a partition \(J_0J_1 \dots J_k\), we define certain subspaces \({{\widehat{C}}}_{J_0J_1 \dots J_k} \subseteq T^*{{\mathbb {A}}}^m\) such that \(C_{J_0J_1 \dots J_k} \subseteq {{\widehat{C}}}_{J_0J_1 \dots J_k}\) with equality if and only if \({\left J_\ell \right }\le 2\) for all \(\ell \ge 1\), see (6.3) for the precise definition.
Proposition 6.3
The (reduced) characteristic variety of \( I_m \) is contained in the arrangement of the linear spaces \({{\widehat{C}}}_{J_0J_1 \dots J_k}\):
It is the upper and lower bound together with explicit computations in the computer algebra system Singular for small values of m, see Sect. 6.3, that led us to formulate Conjecture 6.2. We believe that it may contribute to a better understanding of the hypergeometric function \({_1F_{\!\!\;1}}\). As \( I_m\) turns out to be nonholonomic in general, it seems that one should rather work with its Weyl closure \(W(I_m)\), for which, in general, generators are not known. Clearly, one has \({{\,\mathrm{Char}\,}}(W(I_m))\subseteq {{\,\mathrm{Char}\,}}(I_m)\). Therefore, Proposition 6.3 in particular also gives an upper bound for \({{\,\mathrm{Char}\,}}(W(I_m))\).
Applications and related work
Hypergeometric functions of a matrix argument possess a rich structure and are highly fascinating objects. Not surprisingly, there is by now a long list of interesting applications in various areas such as number theory, numerical mathematics, random matrix theory, representation theory, statistics, and others; the following short list does not claim to be exhaustive.
The relation to representation theory and statistics is classical. For the link to representation theory, we refer to Beerends and Opdam (1993) and references therein. The connection with multivariate statistics was already present in Herz (1955) through the connection to the Wishart distribution, see (Herz 1955, Section 8).
Unlike in the onevariable case, hypergeometric functions of a matrix argument have been studied from the point of view of holonomic systems only recently. The first instance we know of appeared in arithmetic (Ibukiyama et al. 2012). Motivated by the study of Siegel modular forms and the computation of special values of Lfunctions, the authors of Ibukiyama et al. (2012) study solutions of certain systems of differential equations. They are equivalent to Muirhead’s system, see e.g. their Proposition 7.4 and Theorem 7.5. Holonomicity is shown explicitly in Ibukiyama et al. (2012, Theorem 9.1). Apart from number theory, hypergeometric functions of a matrix argument and holonomic systems also made an appearance in random matrix theory (Desrosiers and Liu 2015).
A large impetus came from numerical analysis with the advent of the holonomic gradient descent and the holonomic gradient method developed in Nakayama et al. (2011). These methods allowed to numerically evaluate and minimize several functions that are of importance in multivariate statistics. In Nakayama et al. (2011) and Koyama et al. (2014), these methods are applied to the Fisher–Bingham distribution. In Hashiguchi et al. (2013), the holonomic gradient method is used to approximate the cumulative distribution function of the largest root of a Wishart matrix. Motivated by this method, several teams, mainly in Japan, have studied Muirhead’s systems from the Dmodule point of view such as Hashiguchi et al. (2013, 2018), Noro (2016) and Sei et al. (2013). This is the starting point for our contribution. We examine the Dmodule theoretic properties of Muirhead’s ideal for the hypergeometric function \({_1F_{\!\!\;1}}\) of a matrix argument from a completely and consistently algebraic point of view.
Outline.
This article is organized as follows. In Sect. 2, we recall some basic facts about the Weyl algebra and \(D_m\)ideals. We recall the notion of holonomic functions and give a characterization that is well suited for testing holonomicity. In Sect. 3, we discuss hypergeometric functions of a matrix argument. In Sect. 4, we define the Muirhead ideal \( I_m\) and collect what is known about holonomicity of \( I_m\) and its Weyl closure. Section 5 contains our main results. We investigate the Muirhead ideal of operators annihilating \({_1F_{\!\!\;1}}\) and determine its singular locus. This section also contains some results about holomorphic and formal solutions of the Muirhead system. The characteristic variety of this ideal and its Weyl closure is investigated in Sect. 6. Conjecture 6.2 suggests that the characteristic variety of the Weyl closure can be described in a combinatorial way, using partitions of sets. We also discuss some basic computations in low dimensions.
For computations around the characteristic variety, we mainly used the libraries dmod (Levandovskyy and Morales 2013), dmodapp (Levandovskyy and Andres 2013), and dmodloc (Levandovskyy and Andres 2013) in Singular (Decker et al. 2019). We also performed some Gröbner basis computations in the rational Weyl algebra, where we used the Mathematica (W. R. Inc 2017) package HolonomicFunctions (Koutschan).
The Weyl algebra
In this section, we recall basic facts about the Weyl algebra, the characteristic variety, and the definition of holonomic functions. We mainly follow the presentation and notation given in Saito et al. (2000) and Sattelberger and Sturmfels (2019).
Ideals and characteristic varieties
We start by introducing some notation and terminology. Throughout this article, \({{\mathbb {N}}}\) denotes the natural numbers including 0. For \(m\in {{\mathbb {N}}}_{>0}\), we denote by
the mth Weyl algebra and by
the ring of differential operators with rational functions as coefficients. In this article, we refer to \(R_m\) as mth rational Weyl algebra. For a commutative ring A, we will abbreviate \( A[x] = A[x_1,\ldots ,x_m]\) the polynomial ring and \(A(x)= A(x_1,\ldots ,x_m)\) the field of rational functions. We will also use \(\xi \) as a set of variables so that e.g. \({\mathbb {C}}(x)[\xi ] ={\mathbb {C}}(x_1,\ldots ,x_m)[\xi _1,\ldots ,\xi _m]\).
For a vector \(w = (u,v) \in {{\mathbb {R}}}^{2m}\) with \(u+v \ge 0\) componentwise, we define a partial order on the monomials \(x^\alpha \partial ^\beta \in {{\mathbb {C}}}[x_1,\ldots ,x_m] \langle \partial _1,\ldots ,\partial _m \rangle \) for \(\alpha ,\beta \in {{\mathbb {N}}}^{m}\) by comparing the quantity
where the indices refer to the coordinates of the vectors. We refer to w as a weight vector and to \({\text {deg}_w}\) as the wdegree. With the notation \(e=(1,\ldots ,1)\in {{\mathbb {N}}}^m\) and \(w=(0,e)\) we recover the order of a partial differential operator as the leading exponent for this wdegree.
Given an operator \(P\in D_m\) and a weight vector \(w\in {{\mathbb {R}}}^{2m}\), we define its initial form \({{\,\mathrm{in}\,}}_w(P)\) to be the sum of all terms of maximal wdegree. Note that one has to write P in the basis \(x^\alpha \partial ^\beta \) in order to compute the wdegree, i.e., one has to bring all differentials to the right.
The initial form \({{\,\mathrm{in}\,}}_w(P)\) can be viewed as the class of P of the associated graded algebra \({{\,\mathrm{gr}\,}}_w(D_m)\) to the filtration of \(D_m\) induced by w. The relation \(\partial _i x_i  x_i \partial _i = 1\) in \(D_m\) induces the relation
To highlight this commutator relation notationally, one writes \(\xi _i\) instead of \(\partial _i\) in \({{\,\mathrm{gr}\,}}_{(u,v)}(D_m)\) for all indices i with \(u_i + v_i = 0\). In particular,
A \(D_m\)ideal is a left \(D_m\)ideal. For a \(D_m\)ideal I, the initial ideal with respect to w is the left ideal
A \(D_m\)module is a left \(D_m\)module. \(\text {Mod}(D_m)\) denotes the category of \(D_m\)modules. Likewise for \(R_m\)ideals and \(R_m\)modules, respectively. Next we recall the important notions of a characteristic variety and of holonomicity.
Definition 2.1
The characteristic variety of a \(D_m\)ideal I is the subscheme of \({{\mathbb {A}}}^{2m}\) determined by the ideal \( {{\,\mathrm{in}\,}}_{(0,e)}(I) \subseteq {\mathbb {C}}[x_1,\ldots ,x_m][\xi _1,\ldots ,\xi _m] \) and is denoted by \({{\,\mathrm{Char}\,}}(I)\). The \(D_m\)ideal I is called holonomic if \({{\,\mathrm{in}\,}}_{(0,e)}(I)\) has dimension m.
Remark 2.2

(1)
Note that \(\left( 0 \right) \) and \(D_m\) are not holonomic. Therefore, if I is a holonomic ideal, it is a nonzero, proper \(D_m\)ideal.

(2)
Recall that as a consequence of an important theorem of Sato et al. (1971), we have \(\dim Z\ge m\) for all irreducible components Z of \({{\,\mathrm{Char}\,}}(I)\), see also the discussion in Sect. 2.2.

(3)
It is worthwhile to remark that the scheme structure of the characteristic variety is not uniquely determined by the \(D_m\)module \(D_m/I\). Intrinsic invariants of \(D_m/I\) are the set \({{\,\mathrm{Char}\,}}(I)^{{\text {red}}}\) and the multiplicity of its irreducible components, see e.g. (Hotta et al. 2008, Section 2.2). The point is that—unlike in the commutative world—I cannot be recovered as the annihilator of the \(D_m\)module \(D_m/I\), and so there can be \(I\ne J \subseteq D_m\) with \(D_m/I {\ \cong \ }D_m/J\).
Conormality of the characteristic variety
We remark that \( {{\mathbb {A}}}^{2m} = {\text {Spec}}{{\mathbb {C}}}[x_1,\ldots ,x_m,\xi _1,\ldots ,\xi _m]\) should actually be considered as the cotangent bundle \(T^*{{\mathbb {A}}}^m\) where the \(\xi _i\) are the coordinates in the fiber of the canonical morphism \( T^*{{\mathbb {A}}}^m \rightarrow {{\mathbb {A}}}^m\) and the \(x_i\) are the coordinates in the base. Being a cotangent bundle, \(T^*{{\mathbb {A}}}^m\) carries a natural (algebraic) symplectic form \(\sigma \) which can explicitly be described in coordinates as
The symplectic structure gives rise to the notion of a Lagrangian subvariety, that is, a subvariety \(Z\subseteq T^*{{\mathbb {A}}}^m\) such that at every smooth point \(z\in Z^{{\text {reg}}}\), the tangent space \(T_zZ \subseteq T_z(T^*{{\mathbb {A}}}^m) \,=\, T^*{{\mathbb {A}}}^m\) is isotropic (i.e., \(\sigma \) vanishes identically on this subspace) and maximal with this property. Note that a Lagrangian subvariety automatically has dimension m. Examples for Lagrangian subvarieties in \(T^*{{\mathbb {A}}}^m\) are conormal varieties. Given a subvariety \(X \subseteq {{\mathbb {A}}}^m\), the associated conormal variety \(N^*_X\) is defined as the Zariski closure of the conormal bundle \(N_{X^{{\text {reg}}}/{{\mathbb {A}}}^m}^* \subseteq T^*{{\mathbb {A}}}^m\). This is always a Lagrangian subvariety. We will make use of the following (special case of) important results due to Sato et al. (1971, Theorem 5.3.2), see also Gabber’s article (Gabber 1981, Theorem I) for an algebraic proof.
Theorem 2.3
Let I be a \(D_m\)ideal. Then \({{\,\mathrm{Char}\,}}(I) \subseteq T^*{{\mathbb {A}}}^m\) is coisotropic. If I is holonomic, every irreducible component Z of the characteristic variety \( {{\,\mathrm{Char}\,}}(I) \) is a conormal variety. In particular, Z is Lagrangian.
To be more precise, the references above show that Z is Lagrangian. By definition, the characteristic variety is stable under the \({{\mathbb {C}}}^*\)action given by scalar multiplication in the fibers of \( T^*{{\mathbb {A}}}^m \rightarrow {{\mathbb {A}}}^m\), and therefore it is conormal by Kashiwara (1975, Lemma (3.2)), see also (Hotta et al. 2008, Theorem E.3.6).
Holonomic functions
In this section, we recall the definition of a holonomic function and give a characterization of this notion which turns out to be very useful in practice.
Definition 2.4
Let M be a \(D_m\)module and \(f\in M\). The annihilator of f is the \(D_m\)ideal
An element \(f\in M\) is holonomic if its annihilator is a holonomic \(D_m\)ideal.
The definition generalizes in an obvious way to arbitrary subsets \(N\subseteq M\). If M is a space of functions (e.g. holomorphic, multivalued holomorphic, smooth etc.) and \(f\in M\) is holonomic, then we refer to f as a holonomic function. The definition of a holonomic function first appeared in the article Zeilberger (1990).
Definition 2.5
The Weyl closure of a \(D_m\)ideal I is the \(D_m\)ideal
We clearly have \( I \subseteq W(I)\). A \(D_m\)ideal I is Weyl closed if \( I = W(I)\, \) holds.
In general, it is a challenging task to compute the Weyl closure of a \(D_m\)ideal, see Tsai (2000) for the onedimensional case and Tsai (2002) in general. The following property is in particular shared by spaces of functions.
Definition 2.6
A \(D_m\)module M is torsionfree if it is torsionfree as module over \({\mathbb {C}}[x_1,\ldots ,x_m]\).
This class of \(D_m\)modules allows to deduce further properties of annihilating \(D_m\)ideals.
Lemma 2.7
Let \(M\in \text {Mod}\left( D_m\right) \) be torsionfree and N a subset of M. Then \(\text {Ann}_{D_m}\left( N\right) \) is Weyl closed.
Proof
Write a given \(P\in W( \text {Ann}_{D_m}(N))\) as \(P=\sum _i q_iP_i\) where \(q_i \in R_m\) and \(P_i \in \text {Ann}_{D_m}(N)\). We choose \(h\in {\mathbb {C}}[x_1,\ldots ,x_m]\) such that \(h P \in \text {Ann}_{D_m}(N)\). Then for every \(f\in N\) we have \(hP\bullet f=0\) and therefore \(P\bullet f=0\), since M is torsionfree. \(\square \)
Definition 2.8
For a \(D_m\)ideal I, its singular locus is the set
where \(\pi \) denotes the projection \(T^* {{\mathbb {A}}}^m \rightarrow {{\mathbb {A}}}^m\) and the union is over all irreducible components Z of \({{\,\mathrm{Char}\,}}(I)\) distinct from the zero section \(\{\xi _1=\cdots =\xi _m=0\}\) as sets. Moreover, we denote by
the holonomic rank of I.
The second equality is a standard fact, we refer to Saito et al. (2000, Section 1.4). If I is a holonomic \(D_m\)ideal, \({{\,\mathrm{rank}\,}}(I)\) gives the dimension of the space of holomorphic solutions to I in a simply connected domain outside the singular locus of I by the theorem of Cauchy–Kowalevski–Kashiwara Theorem (Kashiwara 1983, p. 44), see also (Saito et al. 2000, Theorem 1.4.19). The following result clarifies the relationship between the holonomic rank and holonomicity.
Lemma 2.9
(Saito et al. 2000, Theorem 1.4.15) Let I be a \(D_m\)ideal. If I has finite holonomic rank, then its Weyl closure W(I) is a holonomic \(D_m\)ideal.
The following characterization of holonomicity is useful.
Proposition 2.10
Let M be a torsionfree \(D_m\)module and \(f\in M\). Then the following statements are equivalent.

(1)
f is holonomic.

(2)
For all \( k= 1,\ldots ,m\), there exists a natural number \(m(k)\in {{\mathbb {N}}}\) and a nonzero differential operator \(P_k=\sum _{\ell =0}^{m(k)} a_\ell (x_1,\ldots ,x_m)\partial _k^\ell \in {\text {Ann}}_{D_m}(f).\)

(3)
The annihilator of f has finite holonomic rank.
Proof
By the elimination property for holonomic ideals in the Weyl algebra (cf. (Zeilberger 1990, Lemma 4.1), with a proof attributed to Bernstein), (1)\(\Rightarrow \)(2) holds. The equivalence (2)\(\iff \!\!\!\)(3) is obvious. Finally, (3)\(\Rightarrow \)(1) follows from combining Lemma 2.7 with Lemma 2.9. \(\square \)
Without the condition of torsionfreeness, there are counterexamples to the validity of (3)\(\Rightarrow \)(1), see e.g. (Saito et al. 2000, Example 1.4.10).
Hypergeometric functions of a matrix argument
In this section, we are going to introduce the hypergeometric functions of a matrix argument in the sense of Herz (1955), see Definition 3.2. We will follow Constantine’s approach (Constantine 1963) via zonal polynomials.
Zonal polynomials
Zonal polynomials are important in multivariate analysis with applications in multivariate statistics. Their theory has been developed by James (1960; 1961) and subsequent works, see the introduction of Chapter 12 of Farrell’s monograph (Farrell 1976) for a more complete list. The definition given by James in James (1961) relies on representation theoretic work of É. Cartan (1929) and James also credits (Hua 1955, 1959), see (Hua 1963) for an English translation. As a general reference, the reader may consult the monographs of Farrell (1976, Chapter 12), Takemura (1984), and Muirhead (1982). The presentation here follows (Muirhead 1982, Chapter 7).
Let m be a fixed positive integer. Throughout, we only consider partitions of the form \( \lambda \,= \,(\lambda _1,\ldots ,\lambda _m)\) of an integer \( d = {\left \lambda \right }\,{:}{=}\,\lambda _1+\cdots +\lambda _m\) with \( \lambda _1 \ge \lambda _2 \ge \cdots \ge \lambda _m \ge 0\) if not explicitly stated otherwise.
Definition 3.1
For all partitions \( \, \lambda = (\lambda _1,\ldots ,\lambda _m)\, \) of d, the zonal polynomials \( C_\lambda \, \in \, {{\mathbb {C}}}[x_1,\ldots ,x_m]\) are defined to be the unique symmetric homogeneous polynomials of degree d satisfying the following three properties.

(1)
The leading monomial with respect to the lexicographic order \(\prec _{\mathrm{lex}}\) with \(x_m \prec _{\mathrm{lex}}\dots \prec _{\mathrm{lex}}x_1\) is \({{\,\mathrm{LM}\,}}_{\prec _{\mathrm{lex}}}(C_\lambda ) =x^\lambda = x_1^{\lambda _1}\cdots x_m^{\lambda _m}\).

(2)
The functions \(C_\lambda \) are eigenfunctions of the operator
$$\begin{aligned} \Delta \,= \, \sum _{i=1}^m x_i^2 \partial _i^2 \,+\, \sum _{\begin{array}{c} i,j = 1\\ i\ne j \end{array}}^m \frac{x_i^2}{x_ix_j} \partial _i , \end{aligned}$$i.e, \(\Delta \bullet C_\lambda =\alpha _\lambda \cdot C_\lambda \) for some \( \alpha _\lambda \in {{\mathbb {C}}}\).

(3)
We have
$$\begin{aligned} (x_1 + \cdots + x_m)^d \,= \, \sum _{{\left \lambda \right }=d} C_\lambda . \end{aligned}$$
The uniqueness and existence of course have to be proven, we refer to Muirhead (1982, Section 7.2), where also the eigenvalues \(\alpha _\lambda \) are determined to be
Zonal polynomials can be explicitly calculated by a recursive formula for the coefficients in a basis of monomial symmetric functions. From this it follows that zonal polynomials have in fact rational coefficients. The space of symmetric polynomials has a basis given by symmetrizations of monomials. We can enumerate this basis by ordered partitions; the partition of a given basis element is its leading exponent in the lexicographic order. For a partition \( \lambda = (\lambda _1,\ldots ,\lambda _m)\) we put:
where \({\mathfrak {S}}_m.\lambda \) denotes the orbit of the mth symmetric group \({\mathfrak {S}}_m\). We write the zonal polynomials with respect to this basis:
Zonal polynomials can now be computed explicitly thanks to the following recursive formula:
where the sum runs over all (not necessarily ordered) partitions \( {\kappa \,= \, (\kappa _1,\ldots ,\kappa _m)}\) such that there exist \(i < j\) with \( \kappa _k = \mu _k\) for all \(k\ne i,j\) and \( \kappa _i = \mu _i+t\), \(\kappa _j = \mu _jt\) for some \(t \in \{1,\ldots ,\mu _j\}\) and such that \( \mu < \kappa \le \lambda \) after reordering \(\kappa \).
Hypergeometric functions of a matrix argument
Let \(X \in {{\mathbb {C}}}^{m\times m}\) be a square matrix and \( \lambda = (\lambda _1,\ldots ,\lambda _m)\) a partition. One defines the zonal polynomial \(C_\lambda (X)\) as
where \(x_1,\ldots ,x_m\) are the eigenvalues of X counted with multiplicities. Note that \(C_\lambda (X)\) is welldefined because \(C_\lambda \) is a symmetric polynomial.
Definition 3.2
The hypergeometric function of a matrix argument X is given by
where, for a partition \(\lambda =(\lambda _1,\ldots ,\lambda _{m})\), the symbol \((a)_{\lambda }\) denotes the generalized Pochhammer symbol
Here, for an integer \(\ell \), the quantity \( (a)_\ell =a(a+1)\cdots (a+\ell 1)\) with \((a)_0=1\) is the usual Pochhammer symbol.
The parameters \(a_1, \ldots , a_p\) and \(c_1, \ldots , c_q\) in this definition are allowed to attain all complex values such that all the denominators \((c_i)_\lambda \) do not vanish. Explicitly,
Remark 3.3
If \(X=\text {diag}(x_1,0,\ldots ,0)\), it follows straight forward from Definition 3.1 of zonal polynomials that \( {_pF_{\! q}}(a_1,\ldots ,a_p;c_1,\ldots ,c_q)(X) \) is the classical hypergeometric function \( {_pF_{\! q}}(a_1,\ldots ,a_p;c_1,\ldots ,c_q)(x_1)\) in one variable. Therefore, Definition 3.2 is indeed an appropriate generalization of hypergeometric functions in one variable.
The convergence behavior of the hypergeometric function of a matrix argument is analogous to the onevariable case, basically with the same proof. For \(p\le q\), this series converges for all X. For \(p=q+1\), this series converges for \(\Vert X \Vert < 1\), where \(\Vert \cdot \Vert \) denotes the maximum of the absolute values of the eigenvalues of X. If \(p> q+1\), the series diverges for all \(X\ne 0\).
Annihilating ideals of \({_1F_{\!\!\;1}}\)
Let \({_1F_{\!\!\;1}}\) be the hypergeometric function of a matrix argument as introduced in Definition 3.2. In this section, we systematically study a certain ideal that annihilates \({_1F_{\!\!\;1}}\). This function depends on two complex parameters a, c satisfying condition (3.2), which in this case means
As discussed in the last section, the value of this function on a symmetric matrix \(X\in {{\mathbb {C}}}^{m\times m}\) is the same as the value on the unique semisimple element in the \(\hbox {GL}_m({{\mathbb {C}}})\) (conjugacy) orbit closure of X. We may thus restrict our attention to the case where X is diagonal. Then this hypergeometric function satisfies the following differential equations.
Setup and known results about the annihilator
Theorem 4.1
(Muirhead 1982, Theorem 7.5.6) Let \(m\in {{\mathbb {N}}}_{>0}\) and let \(a,c \in {{\mathbb {C}}}\) be parameters with c satisfying (4.1). The function \( {_1F_{\!\!\;1}}(a;c)\) of a diagonal matrix argument \( X={\text {diag}}(x_1,\ldots ,x_m)\, \) is the unique solution F of the system of the m linear partial differential equations given by the operators
\( k= 1,\ldots ,m,\) subject to the conditions that F is symmetric in \(x_1,\ldots ,x_m\), and F is analytic at \(X=0\), and \(F(0)=1\).
In fact, we will point out in Proposition 5.8 that in this theorem, the condition of symmetry in \(x_1, \ldots , x_m\) can be dropped as it is implied by the other conditions. By using the identity
the operators from (4.2) can be written as
Clearing the denominators in (4.2), we obtain
Definition 4.2
We denote by \(I_m\) the \(D_m\)ideal generated by \( P_1,\ldots ,P_m\) and call it the Muirhead ideal.
Note that, by construction,
Our goal is to systematically study the ideal \( I_m\). In this direction, Hashiguchi–Numata–Takayama–Takemura obtained the following result in Hashiguchi et al. (2013).
Theorem 4.3
(Hashiguchi et al. 2013, Theorem 2) For the graded lexicographic term order on \(R_m\), a Gröbner basis of \(R_m I_m\) is given by \(\{g_k = x_k \partial _k^2 + \text {l.o.t.} \mid k=1,\ldots ,m\}\).
An immediate consequence is:
Corollary 4.4
The holonomic rank of \( I_m\) is given by \({{\,\mathrm{rank}\,}}(I_m)=2^m\). In particular, the Weyl closure \(W(I_m)\) of \( I_m\) and the function \({_1F_{\!\!\;1}}\) of a diagonal matrix are holonomic.
Proof
This immediately follows from Theorem 4.3 and Lemma 2.9. \(\square \)
At the end of Section 5 in Hashiguchi et al. (2013), it is conjectured that \( I_m\) is holonomic. Via direct computation they show that \(I_2\) is holonomic in Appendix A of the paper. One can still verify holonomicity of \(I_3\) for generic parameters a, c through a computation in Singular. It turns out, however, that the above conjecture does not hold. We are thankful to N. Takayama for pointing out that the \(D_4\)ideal \( I_4 \) was shown to be nonholonomic in the Master’s thesis (Kondo 2013). We give an easy alternative argument for this in Example 6.6.
Analytic solutions to the Muirhead ideal
In this section, we determine the singular locus of the Muirhead ideal \( I_m\) and of its Weyl closure:
Theorem 5.1
Let \(m \in {{\mathbb {N}}}_{>0}\) and let \(a,c \in {{\mathbb {C}}}\) be parameters. Then the singular locus of \( I_m\) agrees with the singular locus of \(W(I_m)\). It is the hyperplane arrangement
To be more precise, in this section we will prove the statement under the additional
Assumption 5.2
The parameter c satisfies condition (4.1).
Note that this condition makes the function \({_1F_1(a;c)}\) welldefined. However, we would like to point out that this assumption is not necessary; a proof of the stronger statement is given in Appendix A. We are grateful to the anonymous referee for suggesting to investigate restriction modules which are the central tool in the proof presented there. As these are different techniques, we deem it worthwhile to also present our original proof, which is the purpose of this section.
The inclusion \({\text {Sing}}(I_m) \subseteq {{{\mathscr {A}}}}\) is readily seen from
To prove the reverse containment, we investigate analytic solutions to the Muirhead system locally around points in the components of the arrangement \({{{\mathscr {A}}}}\). Our main technical tool is the following observation resembling (Saito et al. 2000, Theorem 2.5.5):
Lemma 5.3
Let I be a \(D_m\)ideal and let \(u \in {{\mathbb {R}}}_{\ge 0}^m\). Then
where \({{\,\mathrm{Sol}\,}}_{{{\mathbb {C}}}\llbracket x \rrbracket }(\cdot )\) denotes the solution space in the formal power series ring \({{\mathbb {C}}}\llbracket x\rrbracket \).
Proof
For \(f = \sum _{\alpha \in {{\mathbb {N}}}^m} \lambda _\alpha x^\alpha \in {{\mathbb {C}}}\llbracket x \rrbracket \), we denote^{Footnote 1}
If \(P = {{\,\mathrm{in}\,}}_{(u,u)}(P) + {\tilde{P}} \in D_m\) annihilates \(f = {{\,\mathrm{in}\,}}_{u}(f) + {\tilde{f}}\), then
and all monomials appearing in the expanded expression \({\tilde{P}} \bullet f + {{\,\mathrm{in}\,}}_{(u,u)}(P) \bullet f\) are of higher udegree than those of \({{\,\mathrm{in}\,}}_{(u,u)}(P) \bullet {{\,\mathrm{in}\,}}_{u}(f)\). Hence, \({{\,\mathrm{in}\,}}_{(u,u)}(P)\) annihilates \({{\,\mathrm{in}\,}}_{u}(f)\). This shows that for every \(D_m\)ideal I, we have
Let F be a basis of the solution space \({{\,\mathrm{Sol}\,}}_{{{\mathbb {C}}}\llbracket x \rrbracket }(I)\). Replacing F by a suitable linear combination of its elements, we can assure that the initial forms \({{\,\mathrm{in}\,}}_{u}(f)\) for \(f \in F\) are linearly independent. Then (5.2) implies
\(\square \)
In the following two lemmata, we apply Lemma 5.3 to the Muirhead system and bound the spaces of analytic solutions locally around general points in \({{{\mathscr {A}}}}\). Note that up to \({\mathfrak {S}}_m\)symmetry, there are two types of components in \({{{\mathscr {A}}}}\), namely \(\{x \in {{\mathbb {C}}}^m \mid x_1 = 0\}\) and \(\{x \in {{\mathbb {C}}}^m \mid x_1 = x_2\}\). Lemma 5.4 considers points that lie in exactly one component of \({{{\mathscr {A}}}}\) of the first type, while Lemma 5.5 is concerned with the second type.
Lemma 5.4
Let \(p \in {{\mathbb {C}}}^m\) be a point with distinct coordinates, one of which is zero. If \(a,c \in {{\mathbb {C}}}\) with \(c \notin (m1)/2 {{\mathbb {N}}}\), then the space of formal power series solutions to \( I_m\) centered at p is of dimension at most \(2^{m1}\).
Proof
Since \( I_m\) is invariant under the action of the symmetric group \({\mathfrak {S}}_m\), we may assume that the point \(p = (p_1, \ldots , p_m)\) has the unique zero coordinate \(p_1 = 0\). Studying formal power series solutions to \( I_m\) around p is equivalent to substituting \(x_i\) by \(x_i + p_i\) in each of the generators \(P_1, \ldots , P_m\) and to studying the solutions in \({{\mathbb {C}}}\llbracket x \rrbracket \) of the resulting operators. Let us define \(u \,{:}{=}\,(3,2,\ldots ,2) \in {{\mathbb {R}}}^m\). Examining the expression for \(P_1, \ldots , P_m\), we observe that
where \(\theta _i \,{:}{=}\,x_i \partial _i\) and \({\left. P_i \right _{x\, \mapsto x+p}}\) denotes the operator obtained from \(P_i\) by replacing x with \(x+p\). Note that an operator \(P(\theta _1,\ldots ,\theta _m)\in {{\mathbb {C}}}[\theta _1, \ldots , \theta _m] \subseteq D_m\) acts on the onedimensional vector spaces \({{\mathbb {C}}}\cdot x^\alpha \) for \(\alpha \in {{\mathbb {N}}}^m\) with eigenvalue \(P(\alpha )\). In particular, the space of solutions in \({{\mathbb {C}}}\llbracket x \rrbracket \) of the operators (5.3) is spanned by the \(2^{m1}\) monomials \(x^{\alpha }\) with \(\alpha _1 = 0\) and \(\alpha _i \in \{0,1\}\) for all \(i \ge 2\). Here, we have used that \(\frac{m + 1}{2}  c \notin {{\mathbb {N}}}_{>0}\) by Assumption 5.2 on c, which guarantees that formal power series solutions to \(\theta _1 + c  \frac{m + 1}{2}\) are constant in \(x_1\). In particular, from Lemma 5.3, we conclude
\(\square \)
Lemma 5.5
Let \(p = (p_1, \ldots , p_m) \in ({{\mathbb {C}}}^*)^m\) with \(\#\{p_1, \ldots , p_m\} = m1\). For all \(a,c \in {{\mathbb {C}}}\), the space of formal power series solutions to \( I_m\) centered at p is of dimension at most \(2^{m2} \cdot 3\).
Proof
We proceed similar to the proof of Lemma 5.4. By symmetry of \(I_m\), we may assume that \(p_1 = p_2\), while all other pairs of coordinates of p are distinct. Denote \(e\,{:}{=}\,(1, \ldots , 1) \in {{\mathbb {N}}}^m\). Then
with \(\theta _i \,{:}{=}\,x_i \partial _i\). From the identity \(\theta _i \bullet x^\alpha = \alpha _i x^\alpha \) for all \(\alpha \in {{\mathbb {N}}}^m\) we deduce that a basis of \({{\,\mathrm{Sol}\,}}_{{{\mathbb {C}}}\llbracket x \rrbracket }\big (\big \{{\left. P_i \right _{x\,\mapsto x+p}} \mid i\big \}\big )\) is given by \(f(x_1,x_2) x_3^{\alpha _3} x_4^{\alpha _4} \ldots x_m^{\alpha _m}\), where \({\alpha _3, \ldots , \alpha _m \in \{0,1\}}\) and where f varies over a basis of
The latter is a 3dimensional vector space spanned by \(\{1,\, x_1+x_2,\, x_1^2+6x_1 x_2 + x_2^2\}\). This can be easily verified as follows. After the change of variables
this system becomes
From summing these two equations, we observe that a solution \(f \in {{\mathbb {C}}}\llbracket y_1, y_2 \rrbracket \) needs to be annihilated by the operator \(\partial _{y_1} \partial _{y_2}\). Therefore, we can write any solution as \(f = \sum _{i \ge 0} \lambda _i y_1^i + \sum _{j \ge 1} \mu _j y_2^j\). Plugging this into \((y_2(\partial _{y_1} + \partial _{y_2})^2 + \partial _{y_2}) \bullet f = 0\), we observe that \(\lambda _i = \mu _i = 0\) for all \(i \ge 3\), \(\mu _1 = 0\) and \(\lambda _2 = 2 \mu _2\), leading to the basis of solutions
With this, we have argued that the solution space of \({{\,\mathrm{in}\,}}_{(e,e)}\big ({\left. I_m \right _{x\,\mapsto x+p}}\big )\) is at most \(3 \cdot 2^{m2}\)dimensional. Together with Lemma5.3, this proves the claim. \(\square \)
Proof of Theorem 5.1
First, we observe that
and hence
where \(\pi :T^* {{\mathbb {A}}}^m \rightarrow {{\mathbb {A}}}^m\) denotes the natural projection. By definition of the singular locus, this proves the containment
For the reverse inclusion, consider a point \(p \in {{\mathbb {C}}}^m\) contained in exactly one irreducible component of \({{{\mathscr {A}}}}\). By Lemmas 5.4 and 5.5, the space of formal power series solutions to \( I_m\) (or, equivalently, to \(W(I_m)\)) around p is of dimension strictly smaller than \(2^m = {{\,\mathrm{rank}\,}}(I_m) = {{\,\mathrm{rank}\,}}(W(I_m))\). In particular, p needs to be a singular point of \( I_m\) and of \(W(I_m)\), as otherwise the Cauchy–Kowalevski–Kashiwara Theorem implies the existence of \(2^m\) linearly independent analytic solutions around p. In particular, the singular loci of \( I_m\) and of \(W(I_m)\) must contain those points. Since singular loci are closed, we conclude that they contain the entire arrangement \({{{\mathscr {A}}}}\).
Remark 5.6
The condition (4.1) on the parameter c is very natural from the point of view of analytic functions, as the hypergeometric function \({_1F_{\!\!\;1}}(a;c)\) of a diagonal matrix argument is only defined under this condition.^{Footnote 2} However, the Muirhead ideal itself is defined for arbitrary \(a,c \in {{\mathbb {C}}}\) and is the more interesting object from the point of view of Dmodule theory.
The description of the singular locus in Theorem 5.1 gives rise to the following lower bound on the characteristic variety. In Sect. 6, we will also discuss an upper bound and a conjectural description of the characteristic variety.
Corollary 5.7
The characteristic variety of \(W(I_m)\) contains the zero section and the conormal bundles of the irreducible components of \({{{\mathscr {A}}}}\), i.e.,
Proof
As already noted in the introduction after (1.5), the linear spaces on the right hand side of the claimed inclusion are conormal varieties. By Theorem 2.3, the conormal varieties to the irreducible components of \({\text {Sing}}(W(I_m))\) are contained in \({{\,\mathrm{Char}\,}}(W(I_m))\). Moreover, the zero section \(V\left( \xi _1, \ldots , \xi _m\right) \) is always contained in the characteristic variety. Theorem 5.1 concludes the proof. \(\square \)
Above, we have studied bounds on solutions to the Muirhead system locally around points in \({{\mathbb {C}}}^m\) contained in exactly one component of \({{{\mathscr {A}}}}\), while the Cauchy–Kowalevski–Kashiwara Theorem describes the behavior around points in \({{\mathbb {C}}}^m {\setminus } {{{\mathscr {A}}}}\). A more detailed study around special points \(p \in {{{\mathscr {A}}}}\) where several components of \({{{\mathscr {A}}}}\) intersect may be of interest.
We finish this section by looking at the most degenerate case: \(p = 0\). Recall from Theorem 4.1 that \({}_1F_{\!\!\;1}\) is the unique analytic solution to \( I_m\) around 0 that is symmetric and normalized to attain the value 1 at the origin. In fact, the restricting factor assuring uniqueness here is not the symmetry, but the analyticity around 0. Namely, using the techniques presented before, we arrive at the following refinement of Theorem 4.1:
Proposition 5.8
Let \(m \in {{\mathbb {N}}}_{>0}\) and let \(a,c \in {{\mathbb {C}}}\) be parameters with c satisfying (4.1). Then \({}_1F_{\!\!\;1}(a;c)\) is the unique formal power series solution to \( I_m\) around 0 with \({}_1F_{\!\!\;1}(a;c)(0) = 1\). In particular, \({}_1F_{\!\!\;1}(a;c)\) is the unique convergent power series solution to \(I_m\) around 0 with \({}_1F_{\!\!\;1}(a;c)(0) = 1\).
Proof
Consider any weight vector \(u \in {{\mathbb {R}}}_{\ge 0}^m\) with \(0< u_1< u_2< \cdots < u_m\). From the definition of \(P_1, \ldots , P_m\), we see that for all \(i \in \{1,\ldots ,m\}\):
where \(\theta _i \,{:}{=}\,x_i \partial _i\). In particular, the Weyl closure of \({{\,\mathrm{in}\,}}_{(u,u)}(I)\) contains the operators \(Q_i \,{:}{=}\,2\theta _i^2 + (2ci1)\theta _i\sum _{j=i+1}^m \theta _j\). The action of operators in \({{\mathbb {C}}}[\theta _1, \ldots , \theta _m] \subseteq D_m\) on \({{\mathbb {C}}}\llbracket x \rrbracket \) diagonalizes with respect to the basis of \({{\mathbb {C}}}\llbracket x \rrbracket \) given by the monomials. In particular, \({{\,\mathrm{Sol}\,}}_{{{\mathbb {C}}}\llbracket x \rrbracket }(Q_1, \ldots , Q_m)\) is a subspace of \({{\,\mathrm{Sol}\,}}_{{{\mathbb {C}}}\llbracket x \rrbracket }({{\,\mathrm{in}\,}}_{(u,u)}(I))\) spanned by monomials. Therefore, by Lemma 5.3, it suffices to show that the only monomial annihilated by \(Q_1, \ldots , Q_m\) is 1.
Let \(\alpha \in {{\mathbb {N}}}^m\) be such that \(x^\alpha \) is annihilated by \(Q_1, \ldots , Q_m\). Assume for contradiction that \(\alpha \ne 0\) and let \(i \in \{1,\ldots ,m\}\) be maximal such that \(\alpha _i \ne 0\). Then
Note that \(c \notin \{\frac{k}{2} \mid k \in {{\mathbb {Z}}},\, k \le m1\}\) guarantees \(2\ell + 2ci1 \ne 0\) for all positive integers \(\ell \). This contradicts the assumption \(\alpha _i \ne 0\). We conclude that
and therefore \(\dim {{\,\mathrm{Sol}\,}}_{{{\mathbb {C}}}\llbracket x \rrbracket }(I_m) \le 1\). The last claim is now immediate. \(\square \)
Characteristic variety of the Muirhead ideal
In this section, we give a conjectural description of the (reduced) characteristic variety of the Weyl closure of the Muirhead ideal \(I_m \), see Conjecture 6.2. The conjecture based on our computations and further evidence is provided by the partial results obtained in Corollary 5.7 and Proposition 6.3. The description of \( {{\,\mathrm{Char}\,}}\left( W(I_m)\right) \) is combinatorial in nature and would imply that the number of irreducible components is given by the \((m+1)\)st Bell number \(B_{m+1}\).
Conjectural structure of the characteristic variety
Let us first explain some notations.
Notation 6.1
We denote \([m]=\{1,\ldots ,m\}\). We consider partitions of this set \([m]=J_0 \sqcup J_1 \sqcup \cdots \sqcup J_k\), where \(J_0\) is allowed to be empty, the \(J_i\) with \(i\ne 0\) are nonempty, and we consider the \(J_1, \ldots , J_k\) as unordered. Taking into account that \( J_0\) plays a distinguished role, we denote such a partition by \(J_0 \mid J_1\ldots J_k\).
For a partition \( [m] = J_0 \mid J_1 \dots J_k\), we denote by \(C_{J_0J_1\ldots J_k}\) the mdimensional linear subspace
of \(T^*{{\mathbb {A}}}^m = {{\mathbb {A}}}^{2m} = {\text {Spec}}{{\mathbb {C}}}[x_1,\ldots ,x_m,\xi _1, \ldots ,\xi _m]\).
Let \(B_k \in {{\mathbb {N}}}\) denote the kth Bell number, i.e., the number of partitions of a set of size k. For example \(B_1=1\), \(B_2=2\), \(B_3=5\), \(B_4=15\), \(B_5=52\), and so on. For the Muirhead ideal \(I_m\), the characteristic variety of its Weyl closure \(W(I_m)\) has the following conjectural description.
Conjecture 6.2
The (reduced) characteristic variety of \(W(I_m )\) is the following arrangement of mdimensional linear spaces:
In particular, \({{\,\mathrm{Char}\,}}(W(I_m))\) has \(B_{m+1}\) many irreducible components.
As \(I_4\) is not holonomic, it does not seem reasonable to make predictions about \({{\,\mathrm{Char}\,}}(I_m)\). The better object to study is its Weyl closure, which is challenging to compute. The appearance of the Bell numbers in the conjecture is explained by the following observation: We have a bijection of sets
defined by \(J_0 \,{:}{=}\,{\tilde{J}}_i {\setminus } \{0\} \, \) for \( 0\in {\tilde{J}}_i\), where on the right hand side of (6.2), the symmetric group \({\mathfrak {S}}_k\) acts on \(J_1\sqcup \cdots \sqcup J_k\). It is important to note that \(J_0\) is allowed to be empty, and \( J_0\) is the only set among the \(J_i\) and \({\tilde{J}}_j\) with this property.
Bounds for the characteristic variety
Next, we give an upper bound for the reduced characteristic variety \({{\,\mathrm{Char}\,}}(I_m)^{\mathrm{red}}\) and hence a fortiori an upper bound for \({{\,\mathrm{Char}\,}}(W(I_m))^{{\text {red}}}\). By upper bound, we mean a variety containing the given variety. Note that we already proved a lower bound for \({{\,\mathrm{Char}\,}}(W(I_m))\) in Corollary 5.7.
For a partition \(J_0 \mid J_1\ldots J_k\) of [m], we defined the linear subspace \( C_{J_0J_1\dots J_k}\) of \({{\mathbb {A}}}^{2m}\) in (6.1). We denote by \( {{\widehat{C}}}_{J_0J_1\dots J_k} \, \) the linear space
of \({{\mathbb {A}}}^{2m}\). Clearly, \({{\widehat{C}}}_{J_0J_1\dots J_k} \supseteq C_{J_0J_1\dots J_k}\), with equality if and only if \(J_\ell  \le 2\) for \(\ell = 1, \ldots , k\). Further evidence for Conjecture 6.2 is given by the following result.
Proposition 6.3
The (reduced) characteristic variety of \( I_m \) is contained in the arrangement of the linear spaces \({{\widehat{C}}}_{J_0J_1 \dots J_k}\):
In particular, this also gives an upper bound for \({{\,\mathrm{Char}\,}}(W(I_m))^{\mathrm{red}}\).
Proof
The characteristic variety of \(I_m\) is defined by the vanishing of the symbols \({{\,\mathrm{in}\,}}_{(0,e)}(P) \in {{\mathbb {C}}}[x][\xi ]\) of all operators \(P \in I_m\). Hence, describing explicit symbols in \({{\,\mathrm{in}\,}}_{(0,e)}(I_m)\) bounds \({{\,\mathrm{Char}\,}}(I_m)\) from above. We observe that
Moreover, for \(i \ne j\), consider the following operators in \(I_m\):
This expression can be seen as the Spair of the operators \(P_i\) and \(P_j\) for graded term orders on \(R_m\). A straightforward computation by hand reveals that
for some \(Q_{ij} \in {{\mathbb {C}}}[x][\xi ]\).
Since these operators lie in the Muirhead ideal, we have
so it suffices to see that Z is settheoretically contained in the union of all \({{\widehat{C}}}_{J_0J_1\dots J_k}\). We prove this by the comparing their fibers over \({{\mathbb {A}}}^m = {\text {Spec}}{{\mathbb {C}}}[x_1,\ldots ,x_m]\). Let \( z = (z_1,\ldots ,z_m) \in {{\mathbb {A}}}^m\) and let \( [m]= J_0 \sqcup J_1 \sqcup \cdots \sqcup J_k\) be a partition of [m] such that
Note that this partition is uniquely determined by the point z up to permuting \(J_1, \ldots , J_k\). Let F denote the fiber of Z over the point z. We claim that F is settheoretically contained in the fiber of \( {{\widehat{C}}}_{J_0J_1 \dots J_k}\) over z.
To prove this claim, it suffices to see that for all singletons \(J_{\ell } = \{n\}\) and twoelement sets \(J_{\ell '}= \{i,j\}\) in our partition, where \(1\le \ell ,\,\ell '\le k\), the polynomials \( \xi _n^2\) and \( (\xi _i+\xi _j)^3\) vanish on F. But for those n, i, j, the polynomial
is a nonzero multiple of \(\xi _n^2\) by (6.4), since \(J_{\ell }\) is a singleton, and
is a nonzero multiple of \((\xi _i+\xi _j)^3\). Here, we have used that \(z_i=z_j\) by construction of the partition \(J_0J_1 \dots J_k\).
Both (6.5) and (6.6) vanish on F by the definition of Z, and hence \(\xi _n\) and \(\xi _i+\xi _j\) vanish on the set \(F^{\mathrm{red}}\), disregarding the scheme structure. This shows that \(F^\mathrm{red}\subseteq {{\widehat{C}}}_{J_0J_1 \dots J_k}\). In particular,
concluding the proof. \(\square \)
Examples
The computational difficulty of questions concerning the characteristic variety \({{\,\mathrm{Char}\,}}(I_m)\), the Weyl closure \(W(I_m)\), its characteristic variety, irreducible components, and more increases rapidly with the number of variables m. For \(m=2,3,\) we succeed with straightforward computations in Singular to obtain the characteristic variety and its decomposition into irreducible components. For \(m=2\), also the Weyl closure \(W(I_m)\) is computable, but already for \(m=3\) this is no longer feasible. For \(m=4\), none of the computer calculations terminate. We provide more precise information in the following examples.
Example 6.4
We consider the case \(m=2\). We perform our computations for generic a, c, i.e., in
with indeterminates a, c. Computations in Singular show that the characteristic variety \({{\,\mathrm{Char}\,}}\left( I_2\right) \) settheoretically decomposes into the following five irreducible components
Already for \(m=2\), the ideal \( I_m\) and its Weyl closure \(W(I_m)\) differ. The operator
is clearly in \(W(I_2){\setminus } I_2\). In fact, \(W(I_2)=I_2+(P)\). Moreover, \( {{\,\mathrm{Char}\,}}(I_2)^{{\text {red}}}={{\,\mathrm{Char}\,}}(W(I_2))^{{\text {red}}}\) but the multiplicities of the irreducible components are different. In the order of appearance in (6.7), the irreducible components have multiplicities 4, 2, 2, 4, 3 in \(I_2\) and 3, 2, 2, 4, 1 in \(W(I_2)\).
The decomposition (6.7) will also turn out to be a byproduct of our more general result presented in Proposition 6.3.
Example 6.5
Next we consider the case \(m=3\). Computations for generic a, c in Singular show that \({{\,\mathrm{Char}\,}}\left( I_3\right) \) decomposes into the \(15=B_4\) irreducible components
as predicted by Conjecture 6.2.
If we compare this to our upper bound for the characteristic variety \({{\,\mathrm{Char}\,}}(W(I_3))\) from Proposition 6.3, we see that the only difference between the components in (6.1) and (6.3) is that instead of \( V(x_1,x_2,x_3)\) and \(V(x_1x_2,\, x_2x_3,\,\xi _1+\xi _2+\xi _3)\), we only have the component \( B\,{:}{=}\,V(x_1x_2,\, x_2x_3)\subseteq T^*{{\mathbb {A}}}^3\) in the upper bound. However, the Weyl closure is holonomic by Lemma 2.9 and thus the components of its characteristic variety are the conormals to their projections to \({{\mathbb {A}}}^3\) by Theorem 2.3. Such a projection is a closed subvariety of the diagonal \(V(x_1x_2,\,x_2x_3) \subseteq {{\mathbb {A}}}^3\), hence either equal to it or equal to a point. The corresponding conormal varieties are \( V(x_1x_2,\,x_2x_3,\,\xi _1+\xi _2+\xi _3)\) and the cotangent spaces to the points \(p_\lambda \,{:}{=}\,(\lambda ,\lambda ,\lambda )\) for some \(\lambda \in {{\mathbb {C}}}\). It turns out that the components \( V(x_1x_2,\,x_2x_3,\,\xi _1+\xi _2+\xi _3)\) and \(V(x_1,x_2,x_3)\) of \({{\,\mathrm{Char}\,}}(W(I_3))\) are the only ones contained in B. In other words, the cotangent spaces to \(p_\lambda \) are not contained in the characteristic variety unless \(\lambda =0\). It does not seem to be very pleasant to verify this last claim by hand. The operator P of lowest order we found in \(D_3\) whose symbol \({{\,\mathrm{in}\,}}_{(0,e)}(P)\) does not vanish on \(p_\lambda \) with \(\lambda \ne 0\) has order 4 and one needs coefficients of order 6 to show that \(P\in I_3\).
It is striking that the components of \({{\,\mathrm{Char}\,}}(W(I_3))\) contained in B are exactly those conormal bundles contained in B that are bihomogeneous in the \(x_i\) and the \(\xi _j\). According to Conjecture 6.2, all components should have this property but for the time being we do not see how to deduce bihomogeneity in general, see also Problem 6.8.
Example 6.6
Computations in Singular for fixed a, c over a finite field suggest that \({{\,\mathrm{Char}\,}}\left( I_4 \right) \) decomposes into \( 51=B_51 \) irreducible components. One of them, \( K \,{:}{=}\,V(x_1x_2,\,x_1x_3,\,x_1x_4)\), is 5dimensional. The analogous computations over \( {{\mathbb {Q}}}(a,c)\) do not terminate. We can nevertheless verify its existence via the following trick. Instead of \(I_4\), we consider the ideal \(J_4 \,{:}{=}\,I_4+(x_1x_2)\). Then we clearly have:
The computation of \({{\,\mathrm{Char}\,}}(J_4)\) is much simpler and immediately terminates. It turns out that \( K \subseteq {{\,\mathrm{Char}\,}}(J_4)\). Therefore, \({{\,\mathrm{Char}\,}}(I_4)\) contains the 5dimensional component K and we conclude that \(I_4\) is not holonomic.
Open problems concerning the characteristic variety
As the examples above indicated, there are a lot of open problems which we would like to put forward.
Problem 6.7
Compute the Weyl closure \(W(I_m)\) of \( I_m \) for any m.
A first step would be to explicitly write down differential operators in \(W(I_m){\ \setminus \ }I_m\).
Problem 6.8
Show that \({{\,\mathrm{Char}\,}}(W(I_m))\) (and possibly \({{\,\mathrm{Char}\,}}(I_m)\)) are invariant under the action of \({\mathbb {C}}^{*}\times {\mathbb {C}}^{*}\) on \(T^*{{\mathbb {A}}}^m={{\mathbb {A}}}^m\times {{\mathbb {A}}}^m\) given by scalar multiplication on the factors.
This would of course be an immediate consequence of a proof of Conjecture 6.2. It should however be easier to tackle Problem 6.8 directly. One strategy could be to write down a flat oneparameter family of ideals \(\{J_t\}_{t\in {{\mathbb {A}}}^1}\), such that \(J_1=I_m\) and \(J_0\) has an action by \({\mathbb {C}}^{*} \times {\mathbb {C}}^{*}\) and then to see how to relate the characteristic varieties in a flat family.
One way to realize such a oneparameter family concretely is to apply a suitable \({\mathbb {C}}^{*}\)action to \(I_m\) and take the limit as the parameter t of \({\mathbb {C}}^{*}\) goes to zero. If e.g. we decree the \(x_i\) to have weight zero and the \(\xi _i\) have weight one, the commutator relation of the Weyl algebra is preserved and for each t we obtain an ideal \(J_t\) as claimed. The flat limit is stable under the \({{\mathbb {C}}}^*\)action and can be found by applying the action to a Gröbner basis. Note that the action on \(J_0\) induces an action of \({{\mathbb {C}}^{*} \times {\mathbb {C}}^{*}}\) on \({{\,\mathrm{Char}\,}}(J_0)\), as the latter always has a \({\mathbb {C}}^{*}\)action given by scalar multiplication on the fibers of \(T^*{{\mathbb {A}}}^m \rightarrow {{\mathbb {A}}}^m\).
There are also other instances of annihilating ideals related by oneparameter families. It is classically known that the hypergeometric functions \({_0F_{\!\!\;1}}\) and \({}_1F_{\!\!\;1}\) are related to one another through a scaling and limit process. More precisely, \({_1F_{\!\!\;1}}(a;c)\big (\frac{1}{a}X\big ) \rightarrow {_0F_{\!\!\;1}}(c)(X)\) as \( a\rightarrow \infty \), see (Muirhead 1982, Section 7.5). Also, the hypergeometric function \({_0F_{\!\!\;1}}\) is known to be annihilated by the operators
where \( k =1,\ldots ,m\). One directly checks that the \(g_k\) from (4.2) scale accordingly to give the system (6.8), see (Muirhead 1982, Theorem 7.5.6).
Problem 6.9
Can the scaling relation between \({_0F_{\!\!\;1}}\) and \({}_1F_{\!\!\;1}\) be used to deduce a relation between the characteristic varieties of \( I_m\) and the corresponding ideal generated by the operators (6.8)?
We would like to mention that \({_0F_{\!\!\;1}}\) naturally appears when investigating the normalizing constant of the Fisher distribution on \(\text {SO(3)}\), as described in Sei et al. (2013).
Outlook
We think that Conjecture 6.2 deserves further study and that it will be helpful to get a better understanding of the hypergeometric function \({_1F_{\!\!\;1}}\) of a matrix argument. The goal of the present article was to put forward this very clear and intriguing conjecture and to provide some evidence for it. The context in which we studied the function \({_1F_{\!\!\;1}}\) was rather conceptual, but our methods were mainly ad hoc. We believe that, eventually, the problem should be addressed using more advanced methods from Dmodule theory. For this, one should look for a more intrinsic description of the Muirhead ideal—or rather its Weyl closure. In particular, it would be interesting to understand if there is some generalization of GKZ systems and a relation to the hypergeometric function of a matrix argument similar to the onevariable case. We hope to be able to tackle these problems in the future.
Notes
 1.
 2.
References
Beerends, R.J., Opdam, E.M.: Certain hypergeometric series related to the root system \(BC\). Trans. Am. Math. Soc. 339(2), 581–609 (1993)
Bochner, S.: Bessel functions and modular relations of higher type and hyperbolic differential equations. Commun. Sém. Math. Univ. Lund [Medd. Lunds Univ. Mat. Sem.], 1952(Tome, Tome Supplémentaire):12–20 (1952)
Cartan, E.: Sur la détermination d’un système orthogonal complet dans un espace de Riemann symétrique clos. Rend. Circ. Mat. Palermo 53, 217–252 (1929)
Constantine, A.G.: Some noncentral distribution problems in multivariate analysis. Ann. Math. Stat. 34, 1270–1285 (1963)
Decker, W., Greuel, G.M., Pfister, G., Schönemann, H.: Singular 412—a computer algebra system for polynomial computations. http://www.singular.unikl.de (2019)
Desrosiers, P., Liu, D.Z.: Selberg integrals, superhypergeometric functions and applications to \(\beta \)ensembles of random matrices. Random Matrices Theory Appl. 4(2), 1550007 (2015)
Dutka, J.: The early history of the hypergeometric function. Arch. Hist. Exact Sci. 31(1), 15–34 (1984)
Farrell, R.H.: Techniques of Multivariate Calculation. Lecture Notes in Mathematics, vol. 520. Springer, Berlin (1976)
Gabber, O.: The integrability of the characteristic variety. Am. J. Math. 103(3), 445–468 (1981)
Gelfand, I.M., Kapranov, M.M., Zelevinsky, A.V.: Generalized Euler integrals and \(A\)hypergeometric functions. Adv. Math. 84(2), 255–271 (1990)
Gelfand, I.M., Zelevinskiĭ, A.V., Kapranov, M.M.: Hypergeometric functions and toric varieties. Funkt. Anal. i Prilozhen. 23(2), 12–26 (1989)
Hashiguchi, H., Numata, Y., Takayama, N., Takemura, A.: The holonomic gradient method for the distribution function of the largest root of a Wishart matrix. J. Multivar. Anal. 117, 296–312 (2013)
Hashiguchi, H., Takayama, N., Takemura, A.: Distribution of the ratio of two Wishart matrices and cumulative probability evaluation by the holonomic gradient method. J. Multivar. Anal. 165, 270–278 (2018)
Hattori, R., Takayama, N.: The singular locus of Lauricella’s \(F_C\). J. Math. Soc. Jpn. 66(3), 981–995 (2014)
Herz, C.S.: Bessel functions of matrix argument. Ann. Math. 2(61), 474–523 (1955)
Hotta, R., Takeuchi, K., Tanisaki, T.: \(D\)Modules, Perverse Sheaves, and Representation Theory, Volume 236 of Progress in Mathematics. Birkhäuser Boston Inc, Boston (2008). (Translated from the 1995 Japanese edition by Takeuchi)
Hua, L.K.: On the theory of functions of several complex variables. III. On a complete orthonormal system in the hyperbolic space of symmetric and skewsymmetric matrices. Acta Math. Sin. 5, 205–242 (1955)
Hua, L.K.: Harmonic analysis of functions of several complex variables in classical domains (Russian). Translated from the Chinese by M. A. Evgrafov; edited by M. I. Graev. Izdat. Inostr. Lit., Moscow (1959)
Hua, L.K.: Harmonic analysis of functions of several complex variables in the classical domains, volume 6 of Translations of Mathematical Monographs. American Mathematical Society, Providence, R.I., 1979. Translated from the Russian, which was a translation of the Chinese original, by Leo Ebner and Adam Korányi, With a foreword by M. I. Graev, Reprint of the 1963 edition
Ibukiyama, T., Kuzumaki, T., Ochiai, H.: Holonomic systems of Gegenbauer type polynomials of matrix arguments related with Siegel modular forms. J. Math. Soc. Jpn. 64(1), 273–316 (2012)
James, A.T.: The distribution of the latent roots of the covariance matrix. Ann. Math. Stat. 31, 151–158 (1960)
James, A.T.: Zonal polynomials of the real positive definite symmetric matrices. Ann. Math. 2(74), 456–469 (1961)
Kashiwara, M.: On the maximally overdetermined system of linear differential equations. I. Publ. Res. Inst. Math. Sci. 10, 563–579 (1974/75)
Kashiwara, M.: Systems of microdifferential equations, volume 34 of Progress in Mathematics. Birkhäuser Boston, Inc., Boston, MA, 1983. Based on lecture notes by Teresa Monteiro Fernandes translated from the French, With an introduction by JeanLuc Brylinski
Kondo, T.: On a holonomic system of partial differential equations satisfied by \({_1F_1}\) of a matrix argument (in Japanese). Master’s thesis, Kobe university (2013)
Koutschan, C.: Holonomic functions: a mathematica package for dealing with multivariate holonomic functions, including closure properties, summation, and integration
Koyama, T., Nakayama, H., Nishiyama, K., Takayama, N.: Holonomic gradient descent for the Fisher–Bingham distribution on the \(d\)dimensional sphere. Comput. Stat. 29(3–4), 661–683 (2014)
Levandovskyy, V., Andres, D.: dmodapp.lib. A singular 412 library for applications of algebraic \(D\)modules. http://www.singular.unikl.de (2013)
Levandovskyy, V., Andres, D.: dmodloc.lib. A singular 412 library for localization of algebraic \(D\)modules and applications. http://www.singular.unikl.de (2013)
Levandovskyy, V., Morales, J. M.: dmod.lib. A singular 412 library for algorithms for algebraic \(D\)modules. http://www.singular.unikl.de, (2013)
Muirhead, R.J.: Systems of partial differential equations for hypergeometric functions of matrix argument. Ann. Math. Stat. 41, 991–1001 (1970)
Muirhead, R.J.: Aspects of Multivariate Statistical Theory. Wiley Series in Probability and Mathematical Statistics. Wiley, New York (1982)
Nakayama, H., Nishiyama, K., Noro, M., Ohara, K., Sei, T., Takayama, N., Takemura, A.: Holonomic gradient descent and its application to the Fisher–Bingham integral. Adv. Appl. Math. 47(3), 639–658 (2011)
Noro, M.: System of partial differential equations for the hypergeometric function \({_1F_1}\) of a matrix argument on diagonal regions. ISSAC ’16: Proceedings of the ACM on International Symposium of Symbolic and Algebraic Computation, pp. 381–388 (2016)
Reichelt, T., Schulze, M., Sevenheck, C., Walther, U.: Algebraic aspects of hypergeometric differential equations (2020)
Saito, M., Sturmfels, B., Takayama, N.: Gröbner Deformations of Hypergeometric Differential Equations. Algorithms and Computation in Mathematics, vol. 6. Springer, Berlin (2000)
Sato, M., Kawai, T., Kashiwara, M.: Microfunctions and pseudodifferential equations. In Hyperfunctions and pseudodifferential equations (Proc. Conf., Katata, 1971; dedicated to the memory of André Martineau), Lecture Notes in Mathematics, vol. 287, pp. 265–529 (1973)
Sattelberger, A.L., Sturmfels, B.: \(D\)modules and holonomic functions. Preprint arXiv:1910.01395 [math.AG] (2019)
Sei, T., Shibata, H., Takemura, A., Ohara, K., Takayama, N.: Properties and applications of Fisher distribution on the rotation group. J. Multivar. Anal. 116, 440–455 (2013)
Sei, T., Shibatam, A., Takemura, H., Ohara, K., Takayama, N.: Properties and applications of the fisher distribution on the rotation group. J. Multivar. Anal. 116, 440–455 (2013)
Takemura, A.: Zonal Polynomials. Institute of Mathematical Statistics Lecture NotesMonograph Series, vol. 4. Institute of Mathematical Statistics, Hayward (1984)
Tsai, H.: Weyl closure of a linear differential operator. J. Symbol. Comput. 29(4–5), 747–775 (2000). (Symbolic computation in algebra, analysis, and geometry (Berkeley, CA, 1998))
Tsai, H.: Algorithms for associated primes, Weyl closure, and local cohomology of \(D\)modules. Local Cohomology and Its Applications (Guanajuato, 1999), volume 226 of Lecture Notes in Pure and Application and Mathematics, pp. 169–194. Dekker, New York (2002)
W. R. Inc. Mathematica, Version 11.2. Champaign, IL (2017)
Zeilberger, D.: A holonomic systems approach to special functions identities. J. Comput. Appl. Math. 32(3), 321–368 (1990)
Acknowledgements
We are thankful to András Lőrincz, Christian Sevenheck, Bernd Sturmfels, and Nobuki Takayama for insightful discussions. We are grateful to the anonymous referee for valuable hints on literature and for proposing a strategy that led to an alternative proof of our main theorem using different techniques and enabled us to remove a technical condition on a parameter. We refer to the discussion in Sect. 5 and Appendix A for details. P.G. acknowledges partial support by the DFG grant Se 1114/52. C.L. was supported by the DFG through the research grants Le 3093/22 and Le 3093/31.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix A: Singular locus for special parameters
Appendix A: Singular locus for special parameters
In Sect. 5, we discussed the singular locus of the Muirhead ideal and of its Weyl closure for those parameters a, c, for which the hypergeometric function \({_1F_{\!\!\;1}}(a;c)\) of a diagonal matrix argument is defined. In this appendix, we prove Theorem 5.1 without any restriction on the parameter \(c \in {{\mathbb {C}}}\). We are grateful to the referee for proposing an approach based on restriction modules, which finally led to the proof presented here. We would like to point out that similar problems have been studied in the literature. In Hattori and Takayama (2014), the singular locus of a holonomic system annihilating Lauricella’s hypergeometric function \(F_C\) was computed using a different technique. Hattori–Takayama used Gröbner bases and syzygies to compute a certain Extmodule whereas we analyze restriction modules on coordinate hyperplanes by a more elementary, computational argument. It would be interesting to compare the two methods more thoroughly.
Even though our approach in Sect. 5 for studying the singular locus rests only on the differential operators, defined regardless of the value of the parameters, the need to consider nonspecial parameters shows up in one subtle step of the computations: To prove that the coordinate hyperplanes \( \{x \in {{\mathbb {C}}}^m \mid x_i = 0\}\) lie in the singular locus of \(W(I_m)\), in Lemma 5.4 our proof relied on the condition \(c \notin \frac{m1}{2}  {{\mathbb {N}}}\). Note that this is the only step in the proof of Theorem 5.1 that does not work for arbitrary \(c \in {{\mathbb {C}}}\). In particular, the diagonal hyperplanes were shown to lie in the singular locus for any c by Lemma 5.5. Therefore, to prove Lemma 5.1, it suffices (by symmetry) to show that the hyperplane \( H \,{:}{=}\,\{x \in {{\mathbb {C}}}^m \mid x_m = 0\}\) is contained in the singular locus of \(W(I_m)\).
For this, we investigate the \(D_{m1}\)module \(D_m/(W(I_m) + x_m D_m)\), which is the restriction module of \(D_m/W(I_m)\) with respect to H. Its holonomic rank coincides with the dimension of the space of formal power series solutions to \(W(I_m)\) centered at a general point of H. Hence, recalling that \({{\,\mathrm{rank}\,}}(W(I_m)) = 2^m\) by Corollary 4.4, we can conclude Theorem 5.1 from the following result:
Proposition A.1
Let \(a,c \in {{\mathbb {C}}}\) be arbitrary parameters. Then the holonomic rank of the restriction module \(D_m/(W(I_m) + x_m D_m)\) is strictly smaller than \(2^m\).
Proof
Consider the localized Weyl algebra
which is the ring of differential operators with rational function coefficients that do not have poles along the hyperplane \(\{x \in {{\mathbb {C}}}^m \mid x_m = 0\}\). Denote by \(J_m\) the ideal \(W(I_m) \cap D_{(x_m)} \subseteq D_{(x_m)}\). Then the inclusion \(D_m \subseteq D_{(x_m)}\) induces an isomorphism of \(R_{m1}\)modules
By definition, the holonomic rank of the restriction module \(D_m/(W(I_m) + x_m D_m)\) is the dimension of the \(R_{m1}\)module M as a vector space over \({{\mathbb {C}}}(x_1,\dots ,x_{m1})\). Therefore, our aim is to bound \(\dim _{{{\mathbb {C}}}(x_1,\dots ,x_{m1})} M\). Note that
is a free \(R_{m1}\)module isomorphic to \( R_{m1}^{\oplus \infty } \) with the countable basis \(\{1,\partial _m, \partial _m^2,\dots \}\). For each operator \(Q \in D_{(x_m)}\), we write \( \, {\left. Q \right _{x_m=0}} \, \) for the unique expression \( \sum _{i=0}^k Q_i \partial _m^{i}\) with \(Q_i \in R_{m1}\) representing it in \(D_{(x_m)}/x_m D_{(x_m)}\). Then M is the quotient of \(D_{(x_m)}/x_m D_{(x_m)}\) by the \(R_{m1}\)submodule
We equip \(D_{(x_m)}/x_m D_{(x_m)}\) with a total order \(\prec \) on its \({{\mathbb {C}}}(x_1,\dots ,x_{m1})\)basis of monomials \(\{\partial ^\alpha = \partial _1^{\alpha _1} \dots \partial _{m1}^{\alpha _{m1}} \partial _m^{\alpha _m} \mid \alpha \in {{\mathbb {N}}}^m\}\) as follows: For \(\alpha , \beta \in {{\mathbb {N}}}^m\),
where \(\prec _{\mathrm{grlex}}\) denotes the graded lexicographic order on \({{\mathbb {N}}}^{m1}\). This is a POT term order (“position over term”) on the free \(R_{m1}\)module \(D_{(x_m)}/x_m D_{(x_m)} \cong R_{m1}^{\oplus \infty }\), cf. (Saito et al. 2000, Sect. 5.2). The dimension of M over \({{\mathbb {C}}}(x_1,\dots ,x_{m1})\) agrees with that of the associated graded module
where \( {{\,\mathrm{in}\,}}_\prec (N)\, \) is the \({{\mathbb {C}}}(x_1,\dots ,x_{m1})[\xi _1,\dots ,\xi _{m1}]\)submodule generated by the initial forms of elements in N with respect to \(\prec \).
Our approach is now to explicitly write out (\(\prec \)initial forms of) elements in N to bound the holonomic rank of the restriction module. Note that the Muirhead operators \(g_1,\dots , g_m\) from (4.3) lie in \(J_m\), hence \({\left. \partial _m^k g_i \right _{x_m = 0}} \in N\) for all \(i = 1,\dots , m\) and \(k \in {{\mathbb {N}}}\). If \(i \ne m\), one computes that
Hence, \(x_i \xi _i^2 \, \partial _m^k \in {{\,\mathrm{in}\,}}_{\prec }(N)\) for all \(i \le m1\), \(k \in {{\mathbb {N}}}\).
Moreover, a straightforward computation reveals that \( {\left. (\partial _m^k g_m) \right _{x_m = 0}} \, \) equals
In particular, we see that \(\partial _m^{k+1} \in {{\,\mathrm{in}\,}}_{\prec }(N)\) for all \(k \in {{\mathbb {N}}}\) with \(c+k\frac{m1}{2} \ne 0\).
For the case that \(c \notin \frac{m1}{2}  {{\mathbb {N}}}\), we conclude that \({{\,\mathrm{gr}\,}}^{\prec }(M)\) is generated over \({{\mathbb {C}}}(x_1,\dots ,x_{m1})\) by the \(2^{m1}\) elements \(\xi _1^{\alpha _1} \cdots \xi _{m1}^{\alpha _{m1}}\) with \(\alpha \in \{0,1\}^{m1}\). This shows
reproving Lemma 5.4.
Now, we turn to the remaining case \(c = \frac{m1}{2}  s\) for some \(s \in {{\mathbb {N}}}\). In this case, (A.1) for \(k \in \{0, s\}\) and (A.2) for \(k \in {{\mathbb {N}}}{\setminus } \{s\}\) show that \({{\,\mathrm{gr}\,}}^{\prec }(M)\) is generated over \({{\mathbb {C}}}(x_1,\dots ,x_{m1})\) by the \(2^m\) elements \(\xi _1^{\alpha _1} \cdots \xi _{m1}^{\alpha _{m1}} \, \partial _m^r\) with \(\alpha \in \{0,1\}^{m1}\) and \(r \in \{0,s+1\}\). It suffices to prove that there is a linear dependence among these generators. Then we can conclude that
In the following lemma, we leverage (A.2) for \(k = s\) to show the linear dependence, concluding the proof. \(\square \)
Lemma A.2
Let \(a \in {{\mathbb {C}}}\), \(s \in {{\mathbb {N}}}\) and \(c = \frac{m1}{2}  s\). For each \(r \in \{1,\dots ,s+1\}\), there exists an element in N of the form
where \(q_\tau ^{\smash [t]{(r)}} \in {{\mathbb {C}}}(x_1,\dots ,x_{m1})\) and for each r there is at least one \(\tau \) with \(q_\tau ^{\smash [t]{(r)}} \ne 0\). In particular (setting \(r = s+1\)), the elements \(\big \{\partial _1^{\tau _1} \dots \partial _{m1}^{\tau _{m1}} \mid \tau \in \{0,1\}^{m1}\big \}\) of M are not linearly independent over \({{\mathbb {C}}}(x_1,\dots ,x_{m1})\).
Proof
We fix m and s, and for \(\tau \in \{0,1\}^{m1}\), we denote \(\tau  := \tau _1+\dots +\tau _{m1}\). By induction on r, we prove the following:

(i)
\(x_1^{r\tau } q_\tau ^{\smash [t]{(r)}} \in {{\mathbb {C}}}[x_1,\dots ,x_{m1}]_{(x_1)}\) for all \(\tau \in \{0,1\}^{m1}\).

(ii)
\({\left. \bigg (x_1^r q_{(0,0,\dots ,0)}^{\smash [t]{(r)}}\bigg ) \right _{x_1 = 0}} = 0\).

(iii)
\({\left. \bigg (x_1^{r1} q_{(1,0,\dots ,0)}^{\smash [t]{(r)}}\bigg ) \right _{x_1 = 0}} \in \frac{1}{2^{2r1}} {{\mathbb {Z}}}{\setminus } \frac{1}{2^{2r2}} {{\mathbb {Z}}}\).
Note that the expressions in (ii) and (iii) are welldefined because of (i). In particular, condition (iii) guarantees that \(q_{(1,0,\dots ,0)}^{\smash [t]{(r)}} \ne 0\).
For \(r = 1\), let \(H_1\) be the negative of (A.2) with \(k = 0\), which is of the desired form with
For the induction step, fix \(k \ge 1\) and assume that the operators \(H_r\) have been constructed with properties (i) to (iii) for \(r \le k\). We wish to construct \(H_{k+1}\). For this, we start with a suitable multiple of the expression (A.2) and reduce it with respect to \(\prec \) modulo the expressions \(H_r\) for \(r \le k\) and the expressions \({\left. g_i \right _{x_m=0}}\) for \(i < m\) from (A.1). To verify the desired properties, we do not get around carrying out the calculations. Explicitly, the following element arises after the reductions modulo only the expressions \(H_r\) for \(r \le k\):
Note that in \({\widetilde{H}}_{k+1}\), all terms involving \(\partial _m^r\) for \(r \notin \{0,k+1\}\) cancel, the term \(\partial _m^{k+1}\) only occurs with coefficient \(s\cdots (sr+1)\), and all other terms are of the form \(p \partial _1^{\alpha _1} \dots \partial _{m1}^{\alpha _{m1}}\) with \(p \in {{\mathbb {C}}}(x_1,\dots , x_{m1})\) and \(\alpha \in \{0,1,2\}^{m1}\). We define \(H_{k+1}\) as the expression obtained by further reducing \({\widetilde{H}}_{k+1}\) modulo the expressions \({\left. g_i \right _{x_m=0}}\) for \(i \le m1\). For this, note that \({\left. g_i \right _{x_m=0}}\) for \(i < m\) are the Muirhead operators (4.2) in dimension \(m1\), and are in particular a Gröbner basis for \(\prec \) by Theorem 4.3.
Denote by \(\nu :{{\mathbb {C}}}(x_1,\dots ,x_{m1}) \rightarrow {{\mathbb {Z}}}\cup \{\infty \}\) the discrete valuation with valuation ring \({{\mathbb {C}}}[x_1,\dots ,x_{m1}]_{(x_1)}\), i.e.,
With this notation, property (i) can be reformulated as \(\nu (q_\tau ^{\smash [t]{(r)}}) \ge \tau r\).
In \(R_{m1}\), a reduction with respect to \(\prec \) modulo the Muirhead operator \({\left. g_i \right _{x_m=0}}\) for \(i \le m\) replaces
Applying this reduction to \(p \partial ^\alpha \) with \(p \in {{\mathbb {C}}}(x_1,\dots ,x_{m1})\), \(\alpha \in \{0,1,2\}^{m1}\) yields only terms \(p' \partial ^{\alpha '}\) with \(\alpha '\nu (p') \le \alpha \nu (p)\), and equality can only hold for \(i = 1\). Therefore, to prove property (i) for \(H_{k+1}\), it suffices to show that \({\widetilde{H}}_{k+1}\) has only terms \(p \partial ^\alpha \) with \(\alpha \nu (p) \le k+1\). This can easily be seen by substituting (A.2) and (A.3) (for \(r \le k\)) into the definition of \({\widetilde{H}}\), and using that property (i) holds for \(r \le k\) by the induction hypothesis.
We now turn to verifying properties (ii) and (iii). For this, we denote
for all \(r \in \{1,\dots ,k+1\}\). To determine \({\bar{q}}_\tau ^{\smash [t]{(k+1)}}\), we restrict our attention to those terms \(p \partial ^\alpha \) in \(H_{k+1}\) for which the \(\alpha \nu (p)\) attains the maximum, namely \(k+1\). As we have seen above in (A.4), for this purpose, the terms of \({{\widetilde{H}}}_{k+1}\) that get reduced modulo \({\left. g_i \right _{x_m=0}}\) for \(2 \le i \le m1\) can be ignored, and it suffices to carry out the reductions of \({\widetilde{H}}_{k+1}\) modulo the single Muirhead operator \({\left. g_1 \right _{x_m=0}}\), which results in
Expanding this expression and dismissing all terms \(p \partial ^\alpha \) with \(\alpha \nu (p) < k+1\) or with \(\alpha _i > 1\), one reads off for all \(\tau \in \{0,1\}^{m1}\) the recursion
where \(e_j \,{:}{=}\,(0,\dots ,0,1,0,\dots ,0) \in {{\mathbb {N}}}^{m1}\) with entry 1 at the jth position.
In particular, we immediately see that \({\bar{q}}_{(0,0\dots ,0)}^{\smash [t]{(k+1)}} = 0\), as \({\bar{q}}_{(0,0\dots ,0)}^{\smash [t]{(r)}} = 0\) for \(r \le k\) by the induction hypothesis, proving property (ii). Now, considering the above formula for \(\tau = e_1\), we get
From the induction hypothesis, we see that the unique term of smallest 2adic valuation in this expression is \(\frac{1}{4} {\bar{q}}_{e_1}^{\smash [t]{(k)}} \in \frac{1}{2^{2k+1}} {{\mathbb {Z}}}{\setminus } \frac{1}{2^{2k}} {{\mathbb {Z}}}\). This shows property (iii) and concludes the proof. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Görlach, P., Lehn, C. & Sattelberger, AL. Algebraic analysis of the hypergeometric function \(\,{_1F_{\!\!\;1}}\,\) of a matrix argument. Beitr Algebra Geom (2020). https://doi.org/10.1007/s1336602000546z
Received:
Accepted:
Published:
Keywords
 Algebraic analysis
 Hypergeometric function
 Characteristic variety
 Singular locus
 Holonomic function
Mathematics Subject Classification
 Primary 34M15
 33C70
 Secondary 34M35
 13P10
 14Q15