Hyperkähler metrics near Lagrangian submanifolds and symplectic groupoids (Q2065872)

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.