The Strong Macdonald Conjecture

Quadratic transformations of Macdonald and Koornwinder polynomials

When one expands a Schur function in terms of the irreducible characters of the symplectic (or orthogonal) group, the coefficient of the trivial character is 0 unless the indexing partition has an appropriate form. A number of q-analogues of this fact were conjectured in math.QA/0112035; the present paper proves most of those conjectures, as well as some new identities suggested by the proof technique. The proof involves showing that a nonsymmetric version of the relevant integral is annihilated by a suitable ideal of the affine Hecke algebra, and that any such annihilated functional satisfies…

部分对称Macdonald多项式的几何实现

A Geometric Realization of Partially-Symmetric Macdonald Polynomials

本文提出猜想将部分对称Macdonald多项式与抛物线旗Hilbert概形联系，扩展了Haiman的几何实现，并证明其与代数$\mathbb{A}_{t,q}$元素作用相容作为证据。

Haglund's positivity conjecture for multiplicity one pairs

Haglund's conjecture states that $\dfrac{\langle J_λ(q,q^k),s_μ\rangle}{(1-q)^{|λ|}} \in \mathbb{Z}_{\geq 0}[q]$ for all partitions $λ,μ$ and all non-negative integers $k$, where $J_λ$ is the integral form Macdonald symmetric function and $s_μ$ is the Schur function. This paper proves Haglund's conjecture in the cases when the pair $(λ,μ)$ satisfies $K_{λ,μ}=1$ or $K_{μ',λ'}=1$ where $K$ denotes the Kostka number. We also obtain some general results about the transition matrix between Macdonald symmetric functions and Schur functions.

Wreath Macdonald polynomials and categorical McKay correspondence

Mark Haiman has reduced Macdonald positivity conjecture to a statement about geometry of the Hilbert scheme of points on the plane, and formulated a generalization of the conjectures where the symmetric group is replaced by the wreath product $S_n\ltimes (Z/r Z)^n$. He has proven the original conjecture by establishing the geometric statement about the Hilbert scheme, as a byproduct he obtained a derived equivalence between coherent sheaves on the Hilbert scheme and coherent sheaves on the orbifold quotient of ${\mathbb A}^{2n}$ by the symmetric group $S_n$. A short proof of a similar derived …

Affine Macdonald conjectures and special values of Felder-Varchenko functions

We refine the statement of the denominator and evaluation conjectures for affine Macdonald polynomials proposed by Etingof-Kirillov Jr. and prove the first non-trivial cases of these conjectures. Our results provide a q-deformation of the computation of genus 1 conformal blocks via elliptic Selberg integrals by Felder-Stevens-Varchenko. They allow us to give precise formulations for the affine Macdonald conjectures in the general case which are consistent with computer computations. Our method applies recent work of the second named author to relate these conjectures in the case of $U_q(\wideh…

Macdonald polynomials, Laumon spaces and perverse coherent sheaves

Let $G$ be an almost simple simply connected complex Lie group, and let $G/U_-$ be its base affine space. In this paper we formulate a conjecture, which provides a new geometric interpretation of the Macdonald polynomials associated to $G$ via perverse coherent sheaves on the scheme of formal arcs in the affinization of $G/U_-$. We prove our conjecture for $G=SL(N)$ using the so called Laumon resolution of the space of quasi-maps (using this resolution one can reformulate the statement so that only "usual" (not perverse) coherent sheaves are used). In the course of the proof we also give a $K$…

Five-term relation and Macdonald polynomials

The non-commutative five-term relation $T_{1,0} T_{0,1} = T_{0,1} T_{1,1} T_{1,0}$ is shown to hold for certain operators acting on symmetric functions. The "generalized recursion" conjecture of Bergeron and Haiman is a corollary of this result.

Twisted strong Macdonald theorems and adjoint orbits

The strong Macdonald theorems state that, for $L$ reductive and $s$ an odd variable, the cohomology algebras $H^*(L[z]/z^N)$ and $H^*(L[z,s])$ are freely generated, and describe the cohomological, $s$-, and $z$-degrees of the generators. The resulting identity for the $z$-weighted Euler characteristic is equivalent to Macdonald's constant term identity for a finite root system. We calculate $H^*(\mathfrak{p} / z^N \mathfrak{p})$ and $H^*(\mathfrak{p}[s])$ for $\mathfrak{p}$ a standard parahoric in a twisted loop algebra, giving strong Macdonald theorems that take into account both a parabolic …

科幻猜想与Loehr--Warrington公式的推广

Extending the science fiction and the Loehr--Warrington formula

本文通过引入Macdonald分段多项式，统一并推广了科幻猜想中的相交多项式与Loehr--Warrington公式，从而证明Loehr--Warrington猜想并拓展Macdonald正性。

Macdonald 相干测度的大数定律

A law of large numbers for Macdonald coherent measures

本文证明了 Macdonald 相干测度的大数定律猜想，即行和列长度除以图大小收敛于特化参数，方法结合了单项式估计、指数倾斜与二项式分解。

A representation-theoretic proof of the branching rule for Macdonald polynomials

We give a new representation-theoretic proof of the branching rule for Macdonald polynomials using the Etingof-Kirillov Jr. expression for Macdonald polynomials as traces of intertwiners of U_q(gl_n). In the Gelfand-Tsetlin basis, we show that diagonal matrix elements of such intertwiners are given by application of Macdonald's operators to a simple kernel. An essential ingredient in the proof is a map between spherical parts of double affine Hecke algebras of different ranks based upon the Dunkl-Kasatani conjecture.

Composition Kostka functions

Macdonald defined two-parameter Kostka functions K_{λμ}(q,t) where λ, μare partitions. The main purpose of this paper is to extend his definition to include all compositions as indices. Following Macdonald, we conjecture that also these more general Kostka functions are polynomials in q and t^{1/2} with non-negative integers as coefficients. If q=0 then our Kostka functions are Kazhdan-Lusztig polynomials of a special type. Therefore, our positivity conjecture combines Macdonald positivity and Kazhdan-Lusztig positivity and hints towards a connection between Macdonald and Kazhdan-Lusztig theor…

Macdonald operators and quantum Q-systems for classical types

We propose solutions of the quantum Q-systems of types $B_N,C_N,D_N$ in terms of $q$-difference operators, generalizing our previous construction for the Q-system of type $A$. The difference operators are interpreted as $q$-Whittaker limits of discrete time evolutions of Macdonald-van Diejen type operators. We conjecture that these new operators act as raising and lowering operators for $q$-Whittaker functions, which are special cases of graded characters of fusion products of KR-modules.

A proof of the $\frac{n!}{2}$ conjecture for hook shapes

A well-known representation-theoretic model for the transformed Macdonald polynomial $\widetilde{H}_μ(Z;t,q)$, where $μ$ is an integer partition, is given by the Garsia-Haiman module $\mathcal{H}_μ$. We study the $\frac{n!}{k}$ conjecture of Bergeron and Garsia, which concerns the behavior of certain $k$-tuples of Garsia-Haiman modules under intersection. In the special case that $μ$ has hook shape, we use a basis for $\mathcal{H}_μ$ due to Adin, Remmel, and Roichman to resolve the $\frac{n!}{2}$ conjecture by constructing an explicit basis for the intersection of two Garsia-Haiman modules.

A proof of the Extended Delta Conjecture

We prove the Extended Delta Conjecture of Haglund, Remmel, and Wilson, a combinatorial formula for $Δ_{h_l}Δ' _{e_k} e_{n}$, where $Δ' _{e_k}$ and $Δ_{h_l}$ are Macdonald eigenoperators and $e_n$ is an elementary symmetric function. We actually prove a stronger identity of infinite series of $GL_m$ characters expressed in terms of LLT series. This is achieved through new results in the theory of the Schiffmann algebra and its action on the algebra of symmetric functions.

Tensor products of irreducible representations of the group G = GL(3,q)

We describe the tensor products of two irreducible linear complex representations of the finite general linear group G = GL(3,q) in terms of induced representations by linear characters of maximal torii and also in terms of Gelfand-Graev representations. Our results include MacDonald's conjectures for G and at the same time they are extensions to G of finite counterparts to classical results on tensor products of holomorphic and anti-holomorphic representations of the group SL(2, R). Moreover they provide an easy way to decompose these tensor products, with the help of Frobenius reciprocity. W…