Hilbert schemes, polygraphs and the Macdonald positivity conjecture

  title={Hilbert schemes, polygraphs and the Macdonald positivity conjecture},
  author={Mark D. Haiman},
  journal={Journal of the American Mathematical Society},
  • M. Haiman
  • Published 25 October 2000
  • Mathematics
  • Journal of the American Mathematical Society
We study the isospectral Hilbert scheme X_n, defined as the reduced fiber product of C^2n with the Hilbert scheme H_n of points in the plane, over the symmetric power S^n C^2. We prove that X_n is normal, Cohen-Macaulay, and Gorenstein, and hence flat over H_n. We derive two important consequences. (1) We prove the strong form of the "n! conjecture" of Garsia and the author, giving a representation-theoretic interpretation of the Kostka-Macdonald coefficients K_{lambda,mu}(q,t). This… 
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
Wreath Macdonald polynomials and the categorical
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
New derived autoequivalences of Hilbert schemes and generalised Kummer varieties
We show that for every smooth projective surface X and every $n\ge 2$ the push-forward along the diagonal embedding gives a $P^{n-1}$-functor into the $S_n$-equivariant derived category of X^n. Using
Let3 be the space of symmetric functions, and let V k be the subspace spanned by the modified Schur functions {Sλ[X/(1−t)]}λ1≤k. We introduce a new family of symmetric polynomials,{A λ [X; t]}λ1≤k,
Rational Cherednik algebras and Hilbert schemes, II: Representations and sheaves
Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c = e H_c e. Then U_c is filtered by order of differential operators with associated graded ring gr U_c =
Generalizations of the flag variety tied to the Macdonald-theoretic delta operators
The coinvariant ring is the quotient Rn = C[x1, . . . , xn]/〈e1, . . . , en〉 of the polynomial ring C[x1, . . . , xn] by the ideal generated by the n elementary symmetric polynomials e1, . . . , en.
Rational Cherednik algebras and Hilbert schemes
Let Hc be the rational Cherednik algebra of type An−1 with spherical subalgebra Uc=eHce. Then Uc is filtered by order of differential operators, with associated graded ring gr Uc=C[h⊕ h∗]W where W is
GKM spaces, and the signed positivity of the nabla operator
We show that the Frobenius character of the equivariant Borel-Moore homology H ̊ pZkq of a certain positive GLn-version of the unramified affine Springer fiber studied by Goreski, Kottwitz and
Recently M. Haiman, N. Loehr and the author [J. Amer. Math. Soc. 18 (2005), 735–761] proved that for μ a partition of n, the modified Macdonald polynomial H̃μ[z1, . . . , zn; q, t] can be expressed


Hilbert schemes, wreath products, and the McKay correspondence
Various algebraic structures have recently appeared in a parallel way in the framework of Hilbert schemes of points on a surface and respectively in the framework of equivariant K-theory
Plethystic Formulas for Macdonald q, t-Kostka Coefficients
Abstract This work is concerned with the Macdonald q ,  t -analogue of the Kostka matrix. This matrix relates the two parameter Macdonald basis { P μ ( x ;  q ,  t )} to the modified Schur basis { S
Identities and Positivity Conjectures for some remarkable Operators in the Theory of Symmetric Functions
Abstract. Let Jμ[X; q, t] be the integral form of the Macdonald polynomial and set Hμ[X; q, t] = tJμ[X/(1− 1/t); q, 1/t ], where n(μ) = ∑ i(i− 1)μi. This paper focusses on the linear operator ∇
Double affine Hecke algebras and Macdonald's conjectures
In this paper we prove the main results about the structure of double affine Hecke algebras announced in [C1], [C2]. The technique is based on the realization of these algebras in terms of
Plethystic Formulas and Positivity for q,t -Kostka Coefficients
Our results concern the Macdonald q, t-Kostka coefficients K λµ(q, t). More precisely we work here with the expressions \(\tilde K_{\lambda \mu } (q,t) = t^{n(\mu )} K_{\lambda \mu } (q,1/t)\) where
On certain graded Sn-modules and the q-Kostka polynomials
Green polynomials and singularities of unipotent classes
Conjectures on the Quotient Ring by Diagonal Invariants
AbstractWe formulate a series of conjectures (and a few theorems) on the quotient of the polynomial ring $$\mathbb{Q}[x_1 , \ldots ,x_n ,y_1 , \ldots ,y_n ]$$ in two sets of variables by the ideal
McKay correspondence
1 Introduction Conjecture 1.1 (since 1992) G ⊂ SL(n, C) is a finite subgroup. Assume that the quotient X = C n /G has a crepant resolution f : Y → X (this just means that K Y = 0, so that Y is a "
McKay correspondence for symplectic quotient singularities
Let V be a finite-dimensional complex vector space, and G ⊂ SL(V ) a finite subgroup. The quotient variety X = V/G is usually singular. If dim V = 2, then there exists a canonical smooth projective