schemes, polygraphs and the Macdonald positivity conjecture

Abstract

Abstract. We study the isospectral Hilbert scheme Xn, defined as the reduced fiber product of (C 2) n with the Hilbert scheme Hn of points in the plane C 2, over the symmetric power S n C 2 = (C 2) n /Sn. By a theorem of Fogarty, Hn is smooth. We prove that Xn is normal, Cohen-Macaulay, and Gorenstein, and hence flat over Hn. 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λµ(q, t). This establishes the Macdonald positivity conjecture, namely that Kλµ(q, t) ∈ N[q, t]. (2) We show that the Hilbert scheme Hn is isomorphic to the G-Hilbert scheme (C 2) n //Sn of Nakamura, in such a way that Xn is identified with the universal family over (C 2) n //Sn. From this point of view, Kλµ(q, t) describes the fiber of a character sheaf Cλ at a torus-fixed point of (C 2) n //Sn corresponding to µ. The proofs rely on a study of certain subspace arrangements Z(n, l) ⊆ (C 2) n+l, called polygraphs, whose coordinate rings R(n, l) carry geometric information about Xn. The key result is that R(n, l) is a free module over the polynomial ring in one set of coordinates on (C 2) n. This is proven by an intricate inductive argument based on elementary commutative algebra.