ScalingStacks

5.1.1 K3 example [03UK]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

5.1.1 K3 example

In the case of collapsing K3 surfaces the corresponding intergal Monge-Ampère manifold has an explicit description.

Let SS be a complex surface endowed with a holomorphic non-vanishing volume form ΩS\Omega_{S}, and π:S→C\pi:S\to C be a holomorphic fibration over a complex curve CC, such that fibers of π\pi are non-singular elliptic curves.

We define a metric gCg_{C} on CC as the Kähler metric associated with the (1,1)(1,1)-form π∗​(ΩS∧Ω¯S)\pi_{\ast}(\Omega_{S}\wedge\overline{\Omega}_{S}). Let us choose (locally on CC) a basis (γ1,γ2)(\gamma_{1},\gamma_{2}) in H1​(π−1​(x),𝐙),x∈CH_{1}(\pi^{-1}(x),{{\bf Z}}),x\in C. We define two closed 1-forms on CC by the formulas

αi=Re(∫γiΩS),i=1,2.\alpha_{i}=Re\left(\int_{\gamma_{i}}\Omega_{S}\right),\,\,\,i=1,2\,\,.

It follows that αi=d​xi\alpha_{i}=dx_{i} for some functions xi,i=1,2x_{i},i=1,2. We define a 𝐙{\bf Z}-affine structure on CC, and the corresponding connection ∇\nabla, by saying that (x1,x2)(x_{1},x_{2}) are 𝐙{\bf Z}-affine coordinates (compare with 3.2.4). One can check directly that (C,gC,∇)(C,g_{C},\nabla) is a Monge-Ampère manifold. In a typical example of elliptic fibration of a K3 surface, one gets C=𝐂​P1∖{x1,…,x24}C={{\bf C}P}^{1}\setminus\{x_{1},...,x_{24}\}, where {x1,…,x24}\{x_{1},...,x_{24}\} is a set of distinct 2424 points in 𝐂​P1{{\bf C}P}^{1}. M. Gross and P. Wilson (see [GW]) proved that there exists a family of K3 surfaces with Calabi-Yau metrics collapsing to S2≃𝐂​P1S^{2}\simeq{\bf C}P^{1} with the intergal Monge-Ampère structure described above.

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.