Michele Vergne
Quantization of Algebraic Cones and Vogan's Conjecture

Let C be a complex algebraic cone, provided with an action of a compact Lie group K. The symplectic form of the ambient complex Hermitian space induces on the regular part of C a symplectic form. Let \k be the Lie algebra of K. Let f:C\to \k^* be the Mumford moment map, that is f(v)(X)=i(v,X v), for X\in \k and v\in C. The space R(C) of regular functions on C is a semi-simple representation of K. In this article, with the help of the moment map, we give some quantitative informations on the decomposition of R(C) in irreducible representations of K. For \lambda a dominant weight, let m(\lambda) be the multiplicity of the representation of highest weight \lambda in R(C). Then, if the moment map f:C\to \k^* is proper, multiplicities m(\lambda) are finite and with polynomial growth in \lambda. Furthermore, the study of the pushforward by f of the Liouville measure gives us an asymptotic information on the function m(\lambda). For example, in the case of a faithful torus action, the pushforward of the Liouville measure by the moment map is a locally polynomial homogeneous function \ell(\lambda) on the polyhedral cone f(C)\subset \t^*, while the multiplicity function m(\lambda) for large values of \lambda is given by the restriction to the lattice of weights of a quasipolynomial function, with highest degree term equal to \ell(\lambda). If O is a nilpotent orbit of the coadjoint representation of a complex Lie group G, we show that the pushforward on \k^* of the G-invariant measure on O is the same that the pushforward of the Liouville measure on O associated to the symplectic form of the ambient complex vector space. Thus, this establishes for the case of complex reductive groups the relation, conjectured by D. Vogan, between the Fourier transform of the orbit O and multiplicities of the ring of regular functions on O.