No label defined (Q4790338)

This is a survey on Hamiltonian group actions, mainly concentrated on the commutativity of geometric quantization and symplectic quotient, which is stated as the coincidence of the equivariant index \(\chi (X, L)^G\) of the Dolbeault-Dirac operator on a symplectic manifold \(X\) with an almost complex structure \(J\) compatible with the symplectic form \(\omega\) and the index \(\chi(X_0,L_0)\) of the Dolbeault-Dirac operator on its symplectic quotient \(X_0\) provided \(X_0\) is nonsingular \((L\) the line bundle with the Chern class \(\omega\), Theorem 3.2, cf. \textit{L. C. Jeffrey} and \textit{F. C. Kirwan} [Topology 36, 647-693 (1997; Zbl 0876.55007)], \textit{E. Meinrenken} [Adv. Math. 134, 240-277 (1998; Zbl 0929.53045)], \textit{Y. Tian} and \textit{W. Zhang} [Invent. Math. 132, 229-259 (1998; Zbl 0944.53047)]). Before stating this theorem, definitions of the momentum map, Hamiltonian group action and symplectic quotient (symplectic reduction) are exposed together with Hamiltonian group actions and some of their associated symplectic quotients (Sec. 2). In Sect. 3, beside dealing with the coincidence \(\chi(X,L)^G =\chi(XL_0)\), its refinement in the case \((X,\omega,J)\) is Kähler due to \textit{C. Teleman} [Ann. Math (2) 152, 1-43 (2000; Zbl 0980.53102)] and extension to the case \(X_0\) has singularities due to \textit{E. Meinrenken} and \textit{R. Sjamaar} [Topology 38, 699-762 (1999; Zbl 0928.37013)] are also explained. As applications of Theorem 3.2, the author's computation of the intersection pairing and the volume of symplectic quotients of products of spheres in reviewed in Sec. 4 [\textit{T. Takakura}, Int. J. Math. 12, 97-111 (2001; Zbl 1110.53309)]. Then after dealing with the Verlinde formula and Witten's volume formula [\textit{L. Witten}, Commun. Math. Phys. 141, 153-209 (1991; Zbl 0762.53063), \textit{L. C. Jeffrey} and \textit{F. C. Kirwan}, Ann. Math. (2) 148, 109-196 (1998; Zbl 0949.14021), \textit{C. Sorger}, Astérisque 237, 87-114 (1996; Zbl 0878.17024)], the \(g=0\) case is related to the previous calculation and the infinite sums in Witten's volume formula is expressed as a finite sum in a suitable case (Prop. 5.4). For the entire collection see [Zbl 0997.00013].