Hyperkähler structures and infinite-dimensional Grassmannians

In this paper, we describe an example of a hyperkähler quotient of a Banach manifold by a Banach Lie group. Although the initial manifold is not diffeomorphic to a Hilbert manifold (not even to a manifold modelled on a reflexive Banach space), the quotient space obtained is a Hilbert manifold, which can be furthermore identified either with the cotangent space of a connected component Grj res (j ∈ Z), of the restricted Grassmannian or with a natural complexification of this connected component, thus proving that these two manifolds are isomorphic hyperkähler manifolds. Moreover, Kähler potentials associated with the natural complex structure of the cotangent space of Grj res and with the natural complex structure of the complexification of Grj res are computed using Kostant–Souriau’s theory of prequantization. © 2006 Elsevier Inc. All rights reserved.