Hermitian-symplectic and Kahler structures on degenerate twistor deformations

Andrey Soldatenkov,Misha Verbitsky
2024-07-11
Abstract:Let $(M, \Omega)$ be a holomorphically symplectic manifold equipped with a holomorphic Lagrangian fibration $\pi: M \to B$, and $\eta$ a closed $(1,1)$-form on $B$. Then $\Omega+ \pi^* \eta$ is a holomorphically symplectic form on a complex manifold which is called the degenerate twistor deformation of $M$. We prove that degenerate twistor deformations of compact holomorphically symplectic Kähler manifolds are also Kähler. First, we prove that degenerate twistor deformations are Hermitian symplectic, that is, tamed by a symplectic form; this is shown using positive currents and an argument based on the Hahn--Banach theorem, originally due to Sullivan. Then we apply a version of Huybrechts's theorem showing that two non-separated points in the Teichmüller space of holomorphically symplectic manifolds correspond to bimeromorphic manifolds if they are Hermitian symplectic.
Algebraic Geometry,Complex Variables,Differential Geometry
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to prove that degenerate twistor deformations preserve the Kähler property. Specifically, the authors explore the situation where, given a manifold \( (M, \Omega) \) with a holomorphic symplectic structure, and this manifold is equipped with a holomorphic Lagrangian fibration \( \pi: M \to B \) and a closed (1,1)-form \( \eta \), whether the complex manifold defined by the new form \( \Omega+\pi^*\eta \) still preserves the Kähler property. ### Description of the Main Problem The core problems mentioned in the paper are: - **Preservation of the Kähler Property**: That is, to prove that the degenerate twistor deformations of compact holomorphic symplectic Kähler manifolds are still Kähler. Specifically, the authors first prove that these degenerate twistor deformations are Hermitian - symplectic, that is, they are tamed by a symplectic form. This part is accomplished through positive currents and an argument based on the Hahn - Banach theorem, which was originally proposed by Sullivan. Then, they apply a version of Huybrechts' theorem, which states that if two points that are not separated in the Teichmüller space correspond to birationally equivalent manifolds, then these manifolds are Hermitian - symplectic. ### Formula Representation The key formulas involved in the discussion include: 1. **Definition of the Symplectic Form**: \[ \Omega_t:=\Omega + t\pi^*\eta \] where \( \Omega \) is the original holomorphic symplectic form, \( \eta \) is a closed (2,0)+(1,1)-form on the base \( B \), and \( t\in\mathbb{C} \). 2. **BBF Form**: \[ \int_M a^{2n}=c_M q(a)^n \] where \( q \) is the quadratic form of the Beauville–Bogomolov–Fujiki (BBF) form and \( c_M \) is a positive constant. 3. **Representation of Positive Currents**: \[ T(\alpha)=\int_M\langle\tau,\alpha\rangle d\|T\| \] where \( T \) is a positive current, \( \tau \) is a positive bivector field, and \( \|T\| \) is the total variation measure. ### Conclusion Finally, the authors prove that for compact holomorphic symplectic Kähler manifolds, their degenerate twistor deformations are still Kähler. This solves the problem proposed by E. Markman and provides an important theoretical basis for studying the geometric properties of such manifolds.