Isospectral commuting variety, the Harish-Chandra D-module, and principal nilpotent pairs

Abstract

Let g be a complex reductive Lie algebra with Cartan algebra h. Hotta and Kashiwara defined a holonomic D-module M, on g x h, called Harish-Chandra module. We relate gr(M), an associated graded module with respect to a canonical Hodge filtration on M, to the isospectral commuting variety, a subvariety of g x g x h x h which is a ramified cover of the variety of pairs of commuting elements of g. Our main result establishes an isomorphism of gr(M) with the structure sheaf of X_norm, the normalization of the isospectral commuting variety. It follows, thanks to the theory of Hodge modules, that the normalization of the isospectral commuting variety is Cohen-Macaulay and Gorenstein, confirming a conjecture of M. Haiman. We deduce, using Saito's theory of Hodge D-modules, that the scheme X_norm is Cohen-Macaulay and Gorenstein. This confirms a conjecture of M. Haiman. Associated with any principal nilpotent pair in g, there is a finite subscheme of X_norm. The corresponding coordinate ring is a bigraded finite dimensional Gorenstein algebra that affords the regular representation of the Weyl group. The socle of that algebra is a 1-dimensional vector space generated by a remarkable W-harmonic polynomial on h x h. In the special case where g=gl_n the above algebras are closely related to the n!-theorem of Haiman and our W-harmonic polynomial reduces to the Garsia-Haiman polynomial. Furthermore, in the gl_n case, the sheaf gr(M) gives rise to a vector bundle on the Hilbert scheme of n points in C^2 that turns out to be isomorphic to the Procesi bundle. Our results were used by I. Gordon to obtain a new proof of positivity of the Kostka-Macdonald polynomials established earlier by Haiman.

The present paper supersedes an earlier paper arXiv:1002.3311

References in corpus (3)

• A generalized Harish-Chandra isomorphism
• Some remarks on varieties of pairs of commuting upper triangular matrices and an interpretation of commuting varieties
• Some combinatorial identities related to commuting varieties and Hilbert schemes

Cited by in corpus (10)

• Elliptic Springer Theory
• Coherent Springer theory and the categorical Deligne-Langlands correspondence
• Loop Spaces and Representations
• Representation Homology, Lie Algebra Cohomology and Derived Harish-Chandra Homomorphism
• Uniformization of semistable bundles on elliptic curves
• Projective dimension and commuting variety of a reductive Lie algebra
• On the Commuting variety of a reductive Lie algebra
• Some combinatorial identities related to commuting varieties and Hilbert schemes
• Parabolic induction and the Harish-Chandra D-module
• On the generalized commuting varieties of a reductive Lie algebra