Example 3.11 . [00QH]
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
Example 3.11.
For generic quartic K3 surfaces, the following simple situation models a small neighbourhood of the 24 points on . Locally the dominant monomials are , where are -coodinates which vanish on toric boundaries, and is a -coordinate; together are local coordinates on . The local model hypersurface is
so can be used as local coordinates on the hypersurface. The holomorphic volume form on the hypersurface is (up to a normalising factor)
This is the typical boundary type behaviour. A significant part of the boundary type region overlaps with the toric region. In this example, when is not too small, we can view as a -coordinates, so provides a toric type chart, as we can express . In this chart
which agrees with the standard holomorphic volume form in toric type charts. The same behaviour happens when is not too small. The problem mentioned in Remark 3.10 is due to the fact that this local model is only a valid approximate description of the K3 for satisfying some inequality constraints. The prescription of charts of boundary type means that we are simultaneously using the charts for many choices of parameters . Notice the scaling symmetry
means that there is no obviously preferred chart of boundary type. More concrete examples can be found in [30, section 1.1.6].