Mathematics – Algebraic Geometry
Scientific paper
2011-08-26
Mathematics
Algebraic Geometry
The present paper supersedes an earlier paper arXiv:1002.3311
Scientific paper
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.
Ginzburg Victor
No associations
LandOfFree
Isospectral commuting variety, the Harish-Chandra D-module, and principal nilpotent pairs does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Isospectral commuting variety, the Harish-Chandra D-module, and principal nilpotent pairs, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Isospectral commuting variety, the Harish-Chandra D-module, and principal nilpotent pairs will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-502888