Hyperkähler metrics near Lagrangian submanifolds and symplectic groupoids

DOI10.1515/CRELLE-2021-0059MaRDI QIDQ2065872zbMATH OpenOpenAlexFDO

Publication date 13 January 2022

Published in Journal für die Reine und Angewandte Mathematik (Search for Journal in Brave)

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

holomorphic Poisson manifold holomorphic symplectic manifold hyper-Kähler manifold Lagrangian submanifold symplectic realization twistor theory

Mathematics Subject Classification ID

Hyper-Kähler and quaternionic Kähler geometry, ``special geometry (53C26) Twistor methods in differential geometry (53C28) Lagrangian submanifolds; Maslov index (53D12) Poisson manifolds; Poisson groupoids and algebroids (53D17)

Abstract: The first part of this paper is a generalization of the Feix-Kaledin theorem on the existence of a hyperkahler metric on a neighbourhood of the zero section of the cotangent bundle of a Kahler manifold. We show that the problem of constructing a hyperkahler structure on a neighbourhood of a complex Lagrangian submanifold in a holomorphic symplectic manifold reduces to the existence of certain deformations of holomorphic symplectic structures. The Feix-Kaledin structure is recovered from the twisted cotangent bundle. We then show that every holomorphic symplectic groupoid over a compact holomorphic Poisson surface of Kahler type has a hyperkahler structure on a neighbourhood of its identity section. More generally, we reduce the existence of a hyperkahler structure on a symplectic realization of a holomorphic Poisson manifold of any dimension to the existence of certain deformations of holomorphic Poisson structures adapted from Hitchin's unobstructedness theorem.

Review text

This article concerns certain local constructions of (pseudo-)hyper-Kähler structures via twistor methods. After a clear exposition of the general twistor theory underlying the construction, the first main result is proven in section 3. Let \((M,\Omega_0)\) be a holomorphic symplectic manifold and let \(X\subset M\) be a complex Lagrangian submanifold with inclusion map \(\iota\) which furthermore admits some (pseudo-)Kähler form \(\omega\). Now suppose there exists a real-analytic deformation of holomorphic symplectic structures \(\Omega_\zeta\), where \(\zeta\) takes values in a neighborhood of \(0\in \mathbb{C}\), such that \(\iota^*\Omega_\zeta=2i\zeta\omega\). Then the author proves that there exists a (pseudo-)hyper-Kähler structure on a neighborhood \(U\subset M\) of \(X\) given by a triple \((\omega_I,\omega_J,\omega_K)\) of Kähler forms such that \(\Omega_0=\omega_J+i\omega_K\) and \(\iota^*\omega_I=\omega\). Taking for \((X,\omega)\) a real-analytic (pseudo-)Kähler manifold and for \((M,\Omega_0)\) its cotangent bundle endowed with its canonical holomorphic symplectic form, this result reduces to the celebrated Feix-Kaledin construction of (pseudo-)hyper-Kähler structures on open subsets of the zero section of cotangent bundles. In the remainder of the paper, the above theorem is applied to holomorphic Poisson manifolds and their symplectic realizations. First, recall that a holomorphic Poisson manifold is a complex manifold endowed with a holomorphic bivector field \(\sigma\) such that the bilinear operator on holomorphic functions given by \(\{f,g\}=\sigma(\mathrm{d}f,\mathrm{d}g)\) satisfies the Jacobi identity. Furthermore, a symplectic realization of a holomorphic Poisson manifold \((X,\sigma)\) is a holomorphic symplectic manifold \((M,\Omega_0)\) containing \(X\) as a complex Lagrangian submanifold with a surjective, holomorphic Poisson submersion \(s:M\to X\) such that the inclusion map \(\iota:X\to M\) is a section of \(s\). It is known that such symplectic realizations always exist. Now, the content of the second main theorem of the article is that every symplectic realization of a holomorphic Poisson manifold \(X\) admits a deformation of the required type, and hence a local (pseudo-)hyper-Kähler structure on a neighborhood of \(X\), provided we can solve certain differential equations on \(X\). Again, the Feix-Kaledin construction can be viewed as a special case. Finally, it is shown that the differential equations of the second main theorem can always be solved in case \(X\) is compact and of complex dimension two.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Hyperkähler metrics near Lagrangian submanifolds and symplectic groupoids

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