arXiv++ Combinatorics

We study the generalization of shifted Jack polynomials to arbitrary multiplicity free spaces. In a previous paper (math.RT/0006004) we showed that these polynomials are eigenfunctions for commuting difference operators. Our central result now is the "transposition formula", a generalization of Okounkov's binomial theorem (q-alg/9608021) for shifted Jack polynomials. From this formula, we derive an interpolation formula, an evaluation formula, a scalar product, a binomial theorem, and properties of the algebra generated by the multiplication and difference operators.

Let $Δ$ be a finite set of nonzero linear forms in several variables with coefficients in a field $\mathbf K$ of characteristic zero. Consider the $\mathbf K$-algebra $C(Δ)$ of rational functions generated by $\{1/α\mid α\in Δ\}$. Then the ring $\partial(V)$ of differential operators with constant coefficients naturally acts on $C(Δ)$. We study the graded $\partial(V)$-module structure of $C(Δ)$. We especially find standard systems of minimal generators and a combinatorial formula for the Poincaré series of $C(Δ)$. Our proofs are based on a theorem by Brion-Vergne [brv1] and results by Orlik-Terao [ort2}.

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.