Abstract:Let $M$ be a holomorphically symplectic complex manifold, not necessarily compact or quasiprojective, and $X \subset M$ a compact Lagrangian submanifold. We construct a deformation to the normal cone, showing that a neighbourhood of $X$ can be deformed to its neighbourhood in $T^*X$. This is used to study Lagrangian submanifolds which can be bimeromorphically contracted to a point. We prove that such submanifolds are biholomorphic to $CP^n$, and show that a certain neighbourhood of $X$ is symplectically biholomorphic to a neighbourhood of the zero section of its cotangent bundle. This gives a holomorphic version of the Weinstein's normal neighbourhood theorem.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is a specific problem in the intersection of complex geometry and symplectic geometry, namely the properties of holomorphic Lagrangian sub - manifolds that can be birationally contracted. Specifically, the author explores the following two core problems: 1. **Prove the structure of compact Lagrangian sub - manifolds that can be birationally contracted**: The author proves that if a compact Lagrangian sub - manifold $X$ in a holomorphic symplectic manifold $M$ can be birationally contracted to a point, then $X$ must be isomorphic to the complex projective space $\mathbb{CP}^n$. This conclusion is obtained by studying the local geometric properties of Lagrangian sub - manifolds and their behavior in holomorphic symplectic manifolds. 2. **Symplectic isomorphism of neighborhoods**: Further, the author proves that a certain neighborhood of such a Lagrangian sub - manifold $X$ is holomorphically symplectically isomorphic to a certain neighborhood of the zero section of its cotangent bundle $T^*X$ in the sense of symplectic geometry. This gives a holomorphic version of the Weinstein standard neighborhood theorem. ### Specific problems and solutions - **Problem description**: - Let $M$ be a holomorphic symplectic manifold, and $X\subset M$ be a compact Lagrangian sub - manifold. - If $X$ can be birationally contracted to a point, what is the structure of $X$? - Can the neighborhood of $X$ be holomorphically symplectically isomorphic to the neighborhood of the zero section of $T^*X$? - **Solution**: - **Step 1**: By analyzing the local geometric properties of Lagrangian sub - manifolds and combining the methods of birational geometry, it is proved that $X$ must be isomorphic to $\mathbb{CP}^n$. This part mainly depends on the properties of Moishezon manifolds and the MMP (minimal model program) method. - **Step 2**: Using Moser's lemma and its holomorphic version, a deformation from $M$ to $T^*X$ is constructed, thus proving that the neighborhood of $X$ is holomorphically isomorphic to the neighborhood of the zero section of $T^*X$ in the sense of symplectic geometry. ### Key results - **Theorem 2.1**: Let $X$ be a compact, birationally contractible Lagrangian sub - manifold in a holomorphic symplectic manifold $M$, then $X$ is isomorphic to $\mathbb{CP}^n$. - **Theorem 1.2**: Let $(M, I, \Omega)$ be a holomorphic symplectic manifold, $E\subset M$ be a compact holomorphic Lagrangian sub - manifold, and $E$ can be birationally contracted to a point. Then $E$ is isomorphic to $\mathbb{CP}^n$, and a certain neighborhood of $E$ is holomorphically symplectically isomorphic to a certain neighborhood of the zero section of $T^*\mathbb{CP}^n$ in the sense of symplectic geometry. These results provide an important theoretical basis for understanding the local geometric structure of Lagrangian sub - manifolds in holomorphic symplectic manifolds.

Normal form of bimeromorphically contractible holomorphic Lagrangian submanifolds

On algebraically coisotropic submanifolds of holomorphic symplectic manifolds

Sections of Lagrangian fibrations on holomorphic symplectic manifolds

Normal almost contact structures and non-Kaehler compact complex manifolds

Normal forms for CR singular codimension two Levi-flat submanifolds

Contraction centers in families of hyperkahler manifolds

On the monodromy of holomorphic differential systems

Minimal Lagrangian submanifolds via the geodesic Gauss map

Lagrangian branes with boundary and symplectic methods for stable generalized complex manifolds

Non-metrizable manifolds and contractibility

On non-elliptic symplectic manifolds

HARMONIC MORPHISMS AND SUBMANIFOLDS WITH CONFORMAL SECOND FUNDAMENTAL FORMS

Aspherical Lagrangian submanifolds, Audin's conjecture and cyclic dilations

Normal Holomorphic Mappings in Complex Space

Hamiltonian-Minimal Lagrangian Submanifolds in Complex Space Forms

On normal forms of complex points of small $\mathcal{C}^{2}$-perturbations of real $4$-manifolds embedded in a complex $3$-manifold

A normal line congruence and minimal ruled Lagrangian submanifolds in CP n

Hermitian-symplectic and Kahler structures on degenerate twistor deformations

Changing topological type of compression bodies through cone manifolds

Holomorphic De Rham Cohomology of Strongly Pseudoconvex CR Manifolds with S1-actions

Rigidity Theorems For Lagrangian Submanifolds of $C^n$ and $CP^n$ With Conformal Maslov Form