The correlation functions of vertex operators and Macdonald polynomials

The n-point correlation functions introduced by Bloch and Okounkov have already found several geometric connections and algebraic generalizations. In this note we formulate a q,t-deformation of this n-point function. The key operator used in our formulation arises from the theory of Macdonald polynomials and affords a vertex operator interpretation. We obtain closed formulas for the n-point functions when n = 1,2 in terms of the basic hypergeometric functions. We further generalize the q,t-deformed n-point function to more general vertex operators.     

A combinatorial formula for Macdonald polynomials

In this paper we use the combinatorics of alcove walks to give uniform combinatorial formulas for Macdonald polynomials for all Lie types. These formulas resemble the formulas of Haglund, Haiman and Loehr for Macdonald polynomials of type GLn. At q=0 these formulas specialize to the formula of Schwer for the Macdonald spherical function in terms of positively folded alcove walks and at q=t=0 these formulas specialize to the formula for the Weyl character in terms of the Littelmann path model (in the positively folded gallery form of Gaussent and Littelmann).     

Unipotent Brauer Character Values of GL(n, \mathbb{F}_q ) and the Forgotten Basis of the Hall Algebra

We give a formula for the values of irreducible unipotent p-modular Brauer characters of at unipotent elements, where p is a prime not dividing q, in terms of (unknown!) weight multiplicities of quantum GL _n and certain generic polynomials S _,(q). These polynomials arise as entries of the transition matrix between the renormalized Hall-Littlewood symmetric functions and the forgotten symmetric functions. We also provide an alternative combinatorial algorithm working in the Hall algebra for computing S _,(q).     

Bilinear Summation Formulas from Quantum Algebra Representations

The tensor product of a positive and a negative discrete series representation of the quantum algebra U_q(su(1,1)) decomposes as a direct integral over the principal unitary series representations. Discrete terms can appear, and these terms are a finite number of discrete series representations, or one complementary series representation. From the interpretation as overlap coefficients of little q-Jacobi functions and Al-Salam and Chihara polynomials in base q and base q^–1, two closely related bilinear summation formulas for the Al-Salam and Chihara polynomials are derived. The formulas involve Askey-Wilson polynomials, continuous dual q-Hahn polynomials and little q-Jacobi functions. The realization of the discrete series as q-difference operators on the spaces of holomorphic and anti-holomorphic functions, leads to a bilinear generating function for a certain type of ₂₁-series, which can be considered as a special case of the dual transmutation kernel for little q-Jacobi functions.     

Character Formulas for q-Rook Monoid Algebras

The q-rook monoid R _n(q) is a semisimple (q)-algebra that specializes when q 1 to [R _n], where R _n is the monoid of n × n matrices with entries from {0, 1} and at most one nonzero entry in each row and column. We use a Schur-Weyl duality between R _n(q) and the quantum general linear group to compute a Frobenius formula, in the ring of symmetric functions, for the irreducible characters of R _n(q). We then derive a recursive Murnaghan-Nakayama rule for these characters, and we use Robinson-Schensted-Knuth insertion to derive a Roichman rule for these characters. We also define a class of standard elements on which it is sufficient to compute characters. The results for R _n(q) specialize when q = 1 to analogous results for R _n.     

Macdonald operators at infinity

We construct a family of pairwise commuting operators such that the Macdonald symmetric functions of infinitely many variables x ₁,x ₂,… and of two parameters q,t are their eigenfunctions. These operators are defined as limits at N→∞ of renormalized Macdonald operators acting on symmetric polynomials in the variables x ₁,…,x _N . They are differential operators in terms of the power sum variables \(p_{n}=x_{1}^{n}+x_{2}^{n}+\cdots\) and we compute their symbols by using the Macdonald reproducing kernel. We express these symbols in terms of the Hall–Littlewood symmetric functions of the variables x ₁,x ₂,…. Our result also yields elementary step operators for the Macdonald symmetric functions.     

Modular Transformations of Ramanujan's Fifth and Seventh Order Mock Theta Functions

In his last letter to Hardy, Ramanujan defined 17 functions F(q), where |q| < 1. He called them mock theta functions, because as q radially approaches any point e ^2ir (r rational), there is a theta function F _r(q) with F(q) – F _r(q) = O(1). In this paper we obtain the transformations of Ramanujan's fifth and seventh order mock theta functions under the modular group generators + 1 and –1/, where q = e ⁱ. The transformation formulas are more complex than those of ordinary theta functions. A definition of the order of a mock theta function is also given.     

Algebraic Integrability of Macdonald Operators and Representations of Quantum Groups

In this paper we construct examples of commutative rings of difference operators with matrix coefficients from representation theory of quantum groups, generalizing the results of our previous paper [ES] to the q-deformed case. A generalized Baker–Akhiezer function is realized as a matrix character of a Verma module and is a common eigenfunction for a commutative ring of difference operators. In particular, we obtain the following result in Macdonald theory: at integer values of the Macdonald parameter k, there exist difference operators commuting with Macdonald operators which are not polynomials of Macdonald operators. This result generalizes an analogous result of Chalyh and Veselov for the case q=1, to arbitrary q. As a by-product, we prove a generalized Weyl character formula for Macdonald polynomials (= Conjecture 8.2 from [FV]), the duality for the -function, and the existence of shift operators.     

The Liouville Field Theory Zero-Mode Problem

We quantize the canonical free-field zero modes p, q on the half-plane p > 0 for both Liouville field theory and its reduced Liouville particle dynamics. We describe the particle dynamics in detail, calculate one-point functions of particle vertex operators, deduce their zero-mode realization on the half-plane, and prove that the particle vertex operators act self-adjointly on the Hilbert space L ²(₊) because of symmetries generated by the S-matrix. Similarly, we obtain the self-adjointness of the corresponding Liouville field theory vertex operator in the zero-mode sector by applying the Liouville reflection amplitude, which is derived by the operator method.     

Scalar Products of Symmetric Functions and Matrix Integrals

We present relations between Hirota-type bilinear operators, scalar products on spaces of symmetric functions, and integrals defining matrix-model partition functions. Using the fermionic Fock space representation, we prove an expansion of an associated class of KP and 2-Toda tau functions _r,n in a series of Schur functions generalizing the hypergeometric series and relate it to the scalar product formulas. We show how special cases of such tau functions can be identified as formal series for partition functions. A closed form expansion of log _r,n in terms of Schur functions is derived.     

Katriel’s Operators for Products of Conjugacy Classes of S<Subscript>n</Subscript>

We define a family of differential operators indexed with fixed point free partitions. When these differential operators act on normalized power sum symmetric functions q(x), the coefficients in the decomposition of this action in the basis q(x) are precisely those of the decomposition of products of corresponding conjugacy classes of the symmetric group S_n. The existence of such operators provides a rigorous definition of Katriels elementary operator representation of conjugacy classes and allows to prove the conjectures he made on their properties.Work partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada.Work partially supported by ECs Research Training Network Algebraic Combinatorics in Europe (grant HPRN-CT-2001-00272).     

Rodrigues Formulas for the Macdonald Polynomials

We present formulas of Rodrigues type giving the Macdonald polynomials for arbitrary partitionsλthrough the repeated application of creation operatorsB_k,k=1, …, ℓ(λ) on the constant 1. Three expressions for the creation operators are derived one from the other. When the last of these expressions is used, the associated Rodrigues formula readily implies the integrality of the (q, t)-Kostka coefficients. The proofs given in this paper rely on the connection between affine Hecke algebras and Macdonald polynomials.     

On Some Integrals Involving the Hurwitz Zeta Function: Part 2

We establish a series of indefinite integral formulae involving the Hurwitz zeta function and other elementary and special functions related to it, such as the Bernoulli polynomials, ln sin(q), ln (q) and the polygamma functions. Many of the results are most conveniently formulated in terms of a family of functions A _k(q) := k(1 – k, q), k , and a family of polygamma functions of negative order, whose properties we study in some detail.     

An (inverse) Pieri formula for Macdonald polynomials of type C

We give an explicit Pieri formula for Macdonald polynomials attached to the root system C _n (with equal multiplicities). By inversion we obtain an explicit expansion for two-row Macdonald polynomials of type C.     

Evolution in a Gaussian Random Field

We consider an evolution process in a Gaussian random field V(q) with the mean ‹V(q)› = 0 and the correlation function W(|q – q|) ‹V(q)V(q)›, where q ^d and d is the dimension of the Euclidean space ^d . For the value ‹G(q,t;q ₀)›, t > 0, of the Green's function of the evolution equation averaged over all realizations of the random field, we use the Feynman–Kac formula to establish an integral equation that is invariant with respect to a continuous renormalization group. This invariance property allows using the renormalization group method to find an asymptotic expression for ‹G(q,t;q ₀)› as |q – q ₀| and t .     

Nonsymmetric interpolation macdonald polynomials and \mathfrak{g}\mathfrak{l}_n basic hypergeometric series

The Knop-Sahi interpolation Macdonald polynomials are inhomogeneous and nonsymmetric generalisations of the well-known Macdonald polynomials. In this paper we apply the interpolation Macdonald polynomials to study a new type of basic hypergeometric series of type . Our main results include a new q-binomial theorem, a new q-Gauss sum, and several transformation formulae for series. *Supported by the ANR project MARS (BLAN06-2 134516). **Supported by the NSF grant DMS-0401387. ***Supported by the Australian Research Council.     

On the Eigenvalues and Eigenfunctions of the Sturm--Liouville Operator with a Singular Potential

In this paper we consider the Sturm--Liouville operators generated by the differential expression -y+q(x)y and by Dirichlet boundary conditions on the closed interval [0,]. Here q(x) is a distribution of first order,, i.e., q(x)dx L ₂[0,]. Asymptotic formulas for the eigenvalues and eigenfunctions of such operators which depend on the smoothness degree of q(x) are obtained.     

Quasi-Hopf twistors for elliptic quantum groups

The Yang-Baxter equation admits two classes of elliptic solutions, the vertex type and the face type. On the basis of these solutions, two types of elliptic quantum groups have been introduced (Foda et al. [FIJKMY1], Felder [Fe]). Frønsdal [Fr1, Fr2] made a penetrating observation that both of them are quasi-Hopf algebras, obtained by twisting the standard quantum affine algebraU _q(g). In this paper we present an explicit formula for the twistors in the form of an infinite product of the universalR matrix ofU _q(g). We also prove the shifted cocycle condition for the twistors, thereby completing Frønsdal's findings.This construction entails that, for generic values of the deformation parameters, the representation theory forU _q(g) carries over to the elliptic algebras, including such objects as evaluation modules, highest weight modules and vertex operators. In particular, we confirm the conjectures of Foda et al. concerning the elliptic algebraA _q,p ( ).Dedicated to Professor Mikio Sato on the occasion of his seventieth birthday