Isospectral commuting variety, the Harish-Chandra D-module, and principal nilpotent pairs
From MaRDI portal
Publication:447769
DOI10.1215/00127094-1699392zbMATH Open1271.14064arXiv1108.5367OpenAlexW1668683386MaRDI QIDQ447769FDOQ447769
Authors: Victor Ginzburg 
Publication date: 29 August 2012
Published in: Duke Mathematical Journal (Search for Journal in Brave)
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.
Full work available at URL: https://arxiv.org/abs/1108.5367
Recommendations
group actionWeil groupHodge filtrationHarish-Chandra moduleHilbert scheme of n pointsHodge D-modulesisotypic component
Cites Work
- Title not available (Why is that?)
- Commutative families of functions related to consistent Poisson brackets
- Vanishing theorems and character formulas for the Hilbert scheme of points in the plane
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Hilbert schemes, polygraphs and the Macdonald positivity conjecture
- Lie Group Representations on Polynomial Rings
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- On a Harish-Chandra homomorphism
- Title not available (Why is that?)
- Modules de Hodge polarisables. (Polarisable Hodge modules)
- \(D\)-modules, perverse sheaves, and representation theory. Translated from the Japanese by Kiyoshi Takeuchi
- Invariant Differential Operators on a Reductive Lie Algebra and Weyl Group Representations
- Invariants of Finite Reflection Groups
- Differential operators on homogeneous spaces. II : relative enveloping algebras
- A generalized Harish-Chandra isomorphism
- Title not available (Why is that?)
- The sum of generalized exponents and Chevalley's restriction theorem for modules of covariants
- Two-generated commutative subalgebras of \(M_ n(F)\)
- Nilpotent commuting varieties of reductive Lie algebras
- Principal nilpotent pairs in a semisimple Lie algebra. I
- Almost-commuting variety, D-modules, and Cherednik algebras
- Macdonald positivity via the Harish-Chandra \(D\)-module
- The invariant holonomic system on a semisimple Lie algebra
- Irregular and singular loci of commuting varieties
- Title not available (Why is that?)
- Hall algebras of curves, commuting varieties and Langlands duality
- On commuting varieties of upper triangular matrices
- Title not available (Why is that?)
- Semi-simplicity of invariant holonomic systems on a reductive Lie algebra
- Invariant Differential Operators and an Homomorphism of Harish-Chandra
- The kernel of an homomorphism of Harish-Chandra
- Brave new algebraic geometry and global derived moduli spaces of ring spectra
- Invariant Differential Operators and Distributions on a Semisimple Lie Algebra
- Some Irreducible Representations of Weyl Groups
- Nilpotent bicone and characteristic submodule of a reductive Lie algebra
- On the nullcone of representations of reductive groups.
Cited In (18)
- Multi-graded nilpotent tuples
- Singularities of \(G\)-saturation
- Macdonald positivity via the Harish-Chandra \(D\)-module
- Autoduality of compactified Jacobians for curves with plane singularities
- Matrix valued commuting differential operators with \(A_2\) symmetry
- Uniformization of semistable bundles on elliptic curves
- Shuffle algebras, lattice paths and the commuting scheme
- Coherent Springer theory and the categorical Deligne-Langlands correspondence
- Representations of rational Cherednik algebras with minimal support and torus knots.
- On Procesi bundles
- Loop spaces and representations
- Title not available (Why is that?)
- A generalized Harish-Chandra isomorphism
- Unramified affine Springer fibers and isospectral Hilbert schemes
- Parabolic induction and the Harish-Chandra D-module
- Elliptic Springer theory
- On inductive construction of Procesi bundles
- On commuting varieties of parabolic subalgebras
This page was built for publication: Isospectral commuting variety, the Harish-Chandra \(\mathcal D\)-module, and principal nilpotent pairs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q447769)
