Source author record

S. Ole Warnaar

S. Ole Warnaar appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

14works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

14 published item(s)

preprint2016arXiv

A framework of Rogers-Ramanujan identities and their arithmetic properties

The two Rogers-Ramanujan $q$-series \[ \sum_{n=0}^{\infty}\frac{q^{n(n+σ)}}{(1-q)\cdots (1-q^n)}, \] where $σ=0,1$, play many roles in mathematics and physics. By the Rogers-Ramanujan identities, they are essentially modular functions. Their quotient, the Rogers-Ramanujan continued fraction, has the special property that its singular values are algebraic integral units. We find a framework which extends the Rogers-Ramanujan identities to doubly-infinite families of $q$-series identities. If $a\in\{1,2\}$ and $m,n\geq 1$, then we have \[ \sum_{\substack{λλ_1\leq m}} q^{a|λ|} P_{2λ}(1,q,q^2,\dots;q^n) =\textrm{"infinite product modular function"}, \] where the $P_λ(x_1,x_2,\dots;q)$ are Hall-Littlewood polynomials. These $q$-series are specialized characters of affine Kac--Moody algebras. Generalizing the Rogers-Ramanujan continued fraction, we prove in the case of $\textrm{A}_{2n}^{(2)}$ that the relevant $q$-series quotients are integral units.

preprint2016arXiv

Discrete analogues of Macdonald-Mehta integrals

We consider discretisations of the Macdonald--Mehta integrals from the theory of finite reflection groups. For the classical groups, $\mathrm{A}_{r-1}$, $\mathrm{B}_r$ and $\mathrm{D}_r$, we provide closed-form evaluations in those cases for which the Weyl denominators featuring in the summands have exponents $1$ and $2$. Our proofs for the exponent-$1$ cases rely on identities for classical group characters, while most of the formulas for the exponent-$2$ cases are derived from a transformation formula for elliptic hypergeometric series for the root system $\mathrm{BC}_r$. As a byproduct of our results, we obtain closed-form product formulas for the (ordinary and signed) enumeration of orthogonal and symplectic tableaux contained in a box.

preprint2013arXiv

Constant term identities and Poincare polynomials

In 1982 Macdonald published his now famous constant term conjectures for classical root systems. This paper begins with the almost trivial observation that Macdonald's constant term identities admit an extra set of free parameters, thereby linking them to Poincare polynomials. We then exploit these extra degrees of freedom in the case of type A to give the first proof of Kadell's orthogonality conjecture---a symmetric function generalisation of the q-Dyson conjecture or Zeilberger-Bressoud theorem. Key ingredients in our proof of Kadell's orthogonality conjecture are the polynomial lemma of Karasev and Petrov, the scalar product for Demazure characters and (0,1)-matrices.

preprint2013arXiv

The A_{2n}^{(2)} Rogers-Ramanujan identities

The famous Rogers-Ramanujan and Andrews--Gordon identities are embedded in a doubly-infinite family of Rogers-Ramanujan-type identities labelled by positive integers m and n. For fixed m and n the product side corresponds to a specialised character of the affine Kac-Moody algebra A_{2n}^{(2)} at level m, and is expressed as a product of n^2 theta functions of modulus 2m+2n+1, or by level-rank duality, as a product of m^2 theta functions. Rogers-Ramanujan-type identities for even moduli, corresponding to the affine Lie algebras C_n^{(1)} and D_{n+1}^{(2)}, are also proven.

preprint2012arXiv

Logarithmic and complex constant term identities

In recent work on the representation theory of vertex algebras related to the Virasoro minimal models M(2,p), Adamovic and Milas discovered logarithmic analogues of (special cases of) the famous Dyson and Morris constant term identities. In this paper we show how the identities of Adamovic and Milas arise naturally by differentiating as-yet-conjectural complex analogues of the constant term identities of Dyson and Morris. We also discuss the existence of complex and logarithmic constant term identities for arbitrary root systems, and in particular prove complex and logarithmic constant term identities for the root system G_2.

preprint2010arXiv

A q-rious positivity

The $q$-binomial coefficients $\qbinom{n}{m}=\prod_{i=1}^m(1-q^{n-m+i})/(1-q^i)$, for integers $0\le m\le n$, are known to be polynomials with non-negative integer coefficients. This readily follows from the $q$-binomial theorem, or the many combinatorial interpretations of $\qbinom{n}{m}$. In this note we conjecture an arithmetically motivated generalisation of the non-negativity property for products of ratios of $q$-factorials that happen to be polynomials.

preprint2010arXiv

The sl_3 Selberg integral

Using an extension of the well-known evaluation symmetry, a new Cauchy-type identity for Macdonald polynomials is proved. After taking the classical limit this yields a new sl_3 generalisation of the famous Selberg integral. Closely related results obtained in this paper are an sl_3-analogue of the Askey-Habsieger-Kadell q-Selberg integral and an extension of the q-Selberg integral to a transformation between q-integrals of different dimensions.

preprint2009arXiv

Branching rules for symmetric Macdonald polynomials and sl_n basic hypergeometric series

A one-parameter generalisation R_λ(X;b) of the symmetric Macdonald polynomials and interpolations Macdonald polynomials is studied from the point of view of branching rules. We establish a Pieri formula, evaluation symmetry, principal specialisation formula and q-difference equation for R_λ(X;b). We also prove a new multiple q-Gauss summation formula and several further results for sl_n basic hypergeometric series based on R_λ(X;b).