A note on higher cohomology groups of Kähler quotients

DOI10.1023/A:1006712005064MaRDI QIDQ1840704zbMATH OpenFDO

Authors Siye Wu

Publication date 27 January 2004

Published in Annals of Global Analysis and Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9809192

zbMATH Keywords

cohomology groupnoncompact Kähler manifoldsprequantum line bundle

Mathematics Subject Classification ID

Sheaves and cohomology of sections of holomorphic vector bundles, general results (32L10) Geometric quantization (53D50)

Abstract: Consider a holomorphic torus action on a possibly non-compact K"ahler manifold. We show that the higher cohomology groups appearing in the geometric quantization of the symplectic quotient are isomorphic to the invariant parts of the corresponding cohomology groups of the original manifold. For non-Abelian group actions on compact K"ahler manifolds, this result was proved recently by Teleman and by Braverman. Our approach is applying the holomorphic instanton complex to the prequantum line bundles over the symplectic cuts. We also settle a conjecture of Zhang and the present author on the exact sequence of higher cohomology groups in the context of symplectic cutting.

Review text

Let \(G\) be a compact Lie group and \({\mathfrak g}\) its Lie algebra. Suppose \(G\) acts on a symplectic manifold \((X,w)\) in a Hamiltonian fashion, with moment map \(\mu:X\to{\mathfrak g}^*\). If 0 is a regular value of \(\mu\) and \(G\) acts freely on \(\mu^{-1}(0)\), then the symplectic quotient \(X_0= \mu^{-1}(0)/G\) is a smooth symplectic manifold. A prequantum line bundle \(L\) on \((X,w)\) is a complex line bundle whose curvature is \(\frac 1i w\). Suppose such a bundle \(L\) exists and the \(G\)-action lifts to \(L\), then the bundle \(L\) descends to a prequantum line bundle \(L_0\) on \(X_0\). Guillemin and Sternberg show that if \(X\) is compact and Kähler then \[ H^0(X,{\mathcal O}(L))^G\cong H^0(X_0,{\mathcal O}(L_0)). \] In this paper it is shown that \[ H^k(X,{\mathcal O}(L))^G\cong H^k(X_0,{\mathcal O}(L_0)) \] for all \(k\geq 0\) for a class of noncompact Kähler manifolds with \(\mathbb{C}^*\)-actions satisfying certain assumptions.

Recommendations

• scientific article; zbMATH DE number 3880866
• Equivariant cohomologies and Kähler geometry
• Abelianization for hyper-Kähler quotients
• Kirwan surjectivity for the equivariant Dolbeault cohomology
• scientific article; zbMATH DE number 17182

Cited in

(4)

• On the Hodge-type decomposition and cohomology groups of k-Cauchy-Fueter complexes over domains in the quaternionic space
• A Note on the Fundamental Group of Kodaira Fibrations
• Background cohomology of a non-compact Kähler G-manifold
• On the cohomology of hyperkähler quotients

This page was built for publication: A note on higher cohomology groups of Kähler quotients

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840704)