HyperKähler manifolds and birational transformations (Q1394599)

Let \(X\) be a smooth projective symplectic variety of dimension \(2n\) with a holomorphic symplectic form \(\omega\). Then it admits a hyper-kähler structure by the Yau theorem. The authors prove the following theorem which shows that a small Mori contraction necessarily coincides (generically) with the null foliation of the symplectic form along the exceptional locus. Theorem A: Let \(\pi : X \rightarrow Z \) be a small bi-rational contraction, \(B\) an arbitrary irreducible component of the degenerated locus and \(F\) a generic fiber on \(\pi : B \rightarrow S= \pi(B)\). Then \(T_bF = (T_bB)^{\perp}\) for generic \(b \in F_{\text reg} \cap B_{\text reg}\). In particular, 1) the inclusion \(j : B \rightarrow X\) is a coisotropic embedding; 2) the null foliation of \(\omega| _\omega\) through generic points of \(B\) coincides with generic fibers of \(\pi : B \rightarrow S\). As consequences, they derive the following results. Theorem B: Let \(\pi: X \rightarrow Z\) be a small bi-rational contraction and \(B\) the exceptional locus. Assuming that \(\pi: B \rightarrow S = \pi(B)\) is a small fibration. Then \(\pi : B \rightarrow S\) is a \(\mathbb P^r\)-bundle over \(S\) where \(r = \text{codim}\,B \geq 2\). Theorem C: Let \(B\) be a smooth subvariety of a projective symplectic variety \(X\) of dimension \(2n\). Assume that \(B\) can be contracted to a point. Then \(B\) is isomorphic to \(\mathbb P^n\). Theorem D: Let \(B\) be an arbitrary subvariety of a projective symplectic variety \(X\). Assume that \(B\) can be contracted to a point. Then \(B\) is Lagrangian.