arXiv++ Combinatorics

We give an r-dimensional generalization of H. S. Shukla's very-well-poised 8-psi-8 summation formula. We work in the setting of multiple basic hypergeometric series very-well-poised over the root system A_{r-1}, or equivalently, the unitary group U(r). Our proof, which is already new in the one-dimensional case, utilizes an A_{r-1} nonterminating very-well-poised 6-phi-5 summation by S. C. Milne, a partial fraction decomposition, and analytic continuation.

We give multidimensional generalizations of several transformation formulae for basic hypergeometric series of a specific type. Most of the upper parameters of the series differ multiplicatively from corresponding lower parameters by a nonnegative integer power of the base q. In one dimension, formulae for such series have been found, in the q -> 1 case, by B. M. Minton and P. W. Karlsson, and in the basic case by G. Gasper, by W. C. Chu, and more recently by the author. Our identities involve multilateral basic hypergeometric series associated to the root system A_r (or equivalently, the unitary group U(r+1)).

Let R and S be two irreducible root systems spanning the same vector space and having the same Weyl group W, such that S (but not necessarily R) is reduced. For each such pair (R,S) we construct a family of W-invariant orthogonal polynomials in several variables, whose coefficients are rational functions of parameters $q,t_1,t_2,...,t_r$, where r (=1,2 or 3) is the number of W-orbits in R. For particular values of these parameters, these polynomials give the values of zonal spherical functions on real and p-adic symmetric spaces. Also when R=S is of type $A_n$, they conincide with the symmetric polynomials described in I. G. Macdonald, Symmetric Functions and Hall Polynomials, 2nd edition, Oxford University Press (1995), Chapter VI.

In this article, we derive some identities for multilateral basic hypergeometric series associated to the root system A_n. First, we apply Ismail's argument to an A_n q-binomial theorem of Milne and derive a new A_n generalization of Ramanujan's 1-psi-1 summation theorem. From this new A_n 1-psi-1 summation and from an A_n 1-psi-1 summation of Gustafson we deduce two lemmas for deriving simple A_n generalizations of bilateral basic hypergeometric series identities. These lemmas are closely related to the Macdonald identities for A_n. As samples for possible applications of these lemmas, we provide several A_n extensions of Bailey's 2-psi-2 transformations, and several A_n extensions of a particular 2-psi-2 summation.

We study root systems equipped with a basis of dominant weights such that certain axioms hold. This formalism allows to define a linear basis P of the space of Weyl group invariant polynomials. This basis is actually a family depending on at least one parameter. Our main result is the construction of difference operators which are simultaneously diagonalized by P. From this, Pieri type rules are derived. This generalizes results for shifted Jack polynomials. Even though the approach is purely combinatorial, the main motivation comes from multiplicity free actions of reductive groups on vector spaces. Then the algebra of invariant differential operators has a distinguished basis, the Capelli operators, which gives rise to a basis P as above. The paper ends with a comprehensive table detailing the combinatorial structure of multiplicity free actions.

A boolean term order is a total order on subsets of [n]={1,...,n} such that \emptyset < alpha for all nonempty alpha contained in [n], and alpha < beta implies alpha \cup gamma < beta \cup gamma for all gamma which do not intersect alpha or beta. Boolean term orders arise in several different areas of mathematics, including Gröbner basis theory for the exterior algebra, and comparative probability. The main result of this paper is that boolean term orders correspond to one element extensions of the oriented matroid M(B_n), where B_n is the root system {e_i:1 \leq i \leq n \} \cup {e_i \pm e_j :1 \leq i < j \leq n}. This establishes boolean term orders in the frame work of the Baues problem. We also define a notion of coherence for a boolean term order, and a flip relation between different term orders. Other results include examples of noncoherent term orders, including an example exhibiting flip deficiency, and enumeration of boolean term orders for small values of n.

A multidimensional generalization of Bailey's very-well-poised bilateral basic hypergeometric ${}_6ψ_6$ summation formula and its Dougall type ${}_5H_5$ hypergeometric degeneration for $q\to 1$ is studied. The multiple Bailey sum amounts to an extension corresponding to the case of a nonreduced root system of certain summation identities associated to the reduced root systems that were recently conjectured by Aomoto and Ito and proved by Macdonald. By truncation, we obtain multidimensional analogues of the very-well-poised unilateral (basic) hypergeometric Rogers ${}_6φ_5$ and Dougall ${}_5F_4$ sums (both nonterminating and terminating). The terminating sums may be used to arrive at product formulas for the norms of recently introduced ($q$-)Racah polynomials in several variables.