The Koszul complex of a moment map

Abstract: Let

K o U (V)

be a unitary representation of the compact Lie group

K

. Then there is a canonical moment mapping

h o c o l o n V o m a t h f r a k k^{*}

. We have the Koszul complex

m a t h c a l K (h o, m a t h c a l C^{i} n f t y (V))

of the component functions

h o_{1}, ..., h o_{k}

of

h o

. Let

G = K_{m a t h b b C}

, the complexification of

K

. We show that the Koszul complex is a resolution of the smooth functions on

h o^{- 1} (0)

if and only if

G o G L (V)

is 1-large, a concept introduced in earlier work of the second author. Now let

M

be a symplectic manifold with a Hamiltonian action of

K

. Let

h o

be a moment mapping and consider the Koszul complex given by the component functions of

h o

. We show that the Koszul complex is a resolution of the smooth functions on

Z = h o^{- 1} (0)

if and only if the complexification of each symplectic slice representation at a point of

Z

is 1-large.

Recommendations

Cited in

(14)

This page was built for publication: The Koszul complex of a moment map