HyperKähler manifolds and birational transformations (Q1394599): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claims |
||
Property / author | |||
Property / author: Shing Tung Yau / rank | |||
Property / reviewed by | |||
Property / reviewed by: Q1365857 / rank | |||
Revision as of 14:29, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | HyperKähler manifolds and birational transformations |
scientific article |
Statements
HyperKähler manifolds and birational transformations (English)
0 references
2002
0 references
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.
0 references
hyperKähler manifolds
0 references
birational correspondence
0 references
minimal models
0 references
Mori contraction
0 references
smooth projective symplectic variety
0 references
Yau theorem
0 references
coisotropic embedding
0 references