\(BC_n\)-symmetric abelian functions (Q850991)

The present work is an extension of the author's results obtained in [Transform. Groups 10, No.1, 63--132 (2005; Zbl 1080.33018)], especially concerning the Koorwinder polynomials, which are generalized to a family of biorthogonal abelian functions. A number of properties of these functions are proven, most notably analogues of Macdonald's conjectures. More precisely, the author begins this work with the definition and basic properties of balanced interpolation polynomials, in particular, considering four of the main perfect cases satisfying extra vanishing properties; the fifth (elliptic) perfect case is the subject of the remainder of the article. The author defines a family of \(BC_{n}\)-symmetric theta functions, parametrized by partitions contained in a rectangle and defined via vanishing conditions. The key property of these functions is a difference equation, from which the extra vanishing property follows. He also defines a corresponding family of abelian functions indexed by all partitions of length at most \(n\). Evaluating an interpolation abelian function at a partition gives a generalized binomial coefficient. The author studies these coefficients and obtains a pair of identities generalizing Jackson's summation and Bailey transformation respectively; each identity involves a sum over partitions contained in a skew Young diagram of a product of binomial coefficients. Using these, some unexpected symmetries of binomial coefficients are derived, relating a coefficient to coefficients with conjugated or complemented partitions. By this, a number of properties of interpolation functions, including a connection coefficient formula, a branching rule, a Pieri identity, and a Cauchy identity are proven. Then the author introduces the biorthogonal functions, defined via an expansion in interpolation functions. Using the interpolation function identities he proves a number of identities for the biorthogonal functions; in addition to the analogue of Macdonald's conjectures for Koornwinder polynomials, he obtains connection coefficients, a quasi-branching rule, a quasi-Pieri identity and a Cauchy identity. Next the author shows that the interpolation and biorthogonal functions can be defined purely algebraically. He sketches a purely algebraic derivation of the identities obtained earlier in this paper. Using his results on interpolation functions the author defines a family of perfect bigrids based on elliptic curves. Degeneration classes of these bigrids are also obtained. Finally, the author considers some open problems relating to interpolation and biorthogonal functions.