Counterexamples to hyperkahler Kirwan surjectivity

Publication date 26 April 2019

Abstract: Suppose that M is a complete hyperkahler manifold with a compact Lie group K acting via hyperkahler isometries and with hyperkahler moment map

(m u_{m a t h b b C}, m u_{m a t h b b R}) : M i g h t a r r o w m a t h f r a k k^{*} o t i m e s o p e r a t o r n a m e I m (m a t h b b H)

. It is a long-standing problem to determine when the hyperkahler Kirwan map

H_{K}^{*} (M, m a t h b b Q) l o n g r i g h t a r r o w H^{*} (M / / K, m a t h b b Q)

is surjective. We show that for each

n g e q 2

, the natural

U (n)

-action on

M = T^{*} (S L_{n} i m e s m a t h b b C^{n})

admits a hyperkahler quotient for which the hyperkahler Kirwan map fails to be surjective. As a tool, we establish a ``Kahler

=

GIT quotient assertion for products of cotangent bundles of reductive groups, equipped with the Kronheimer metric, and representations.

This page was built for publication: Counterexamples to hyperkahler Kirwan surjectivity

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