English

The Koszul complex of a moment map

Symplectic Geometry 2013-06-12 v3 Group Theory Representation Theory

Abstract

Let KU(V)K\to U(V) be a unitary representation of the compact Lie group KK. Then there is a canonical moment mapping ρ ⁣:Vk\rho\colon V\to\mathfrak k^*. We have the Koszul complex K(ρ,C(V)){\mathcal K}(\rho,\mathcal C^\infty(V)) of the component functions ρ1,...,ρk\rho_1,...,\rho_k of ρ\rho. Let G=KCG=K_{\mathbb C}, the complexification of KK. We show that the Koszul complex is a resolution of the smooth functions on ρ1(0)\rho^{-1}(0) if and only if G\GL(V)G\to\GL(V) is 1-large, a concept introduced in earlier work of the second author. Now let MM be a symplectic manifold with a Hamiltonian action of KK. Let ρ\rho be a moment mapping and consider the Koszul complex given by the component functions of ρ\rho. We show that the Koszul complex is a resolution of the smooth functions on Z=ρ1(0)Z=\rho^{-1}(0) if and only if the complexification of each symplectic slice representation at a point of ZZ is 1-large.

Cite

@article{arxiv.1205.4608,
  title  = {The Koszul complex of a moment map},
  author = {Hans-Christian Herbig and Gerald W. Schwarz},
  journal= {arXiv preprint arXiv:1205.4608},
  year   = {2013}
}

Comments

8 pages, final version, to appear in Journal of Symplectic Geometry

R2 v1 2026-06-21T21:07:16.573Z