A^1 curves on log K3 surfaces

Abstract: In this paper, we study

m a t h b b A^{1}

curves on log K3 surfaces. We classify all genuine log K3 surfaces of type II which admits countably infinite

m a t h b b A^{1}

curves.

Review text

The aim of the article under review is to study (the existence of) \(\mathbb{A}^1\) curves on genuine log \(K3\) surfaces of type II. A log \(K3\) surface of type II is by definition a pair \((X,\, D)\) of smooth projective rational surface \(X\) and a divisor \(D\) on \(X\) with logarithmic geometric genus \(1\), and logarithmic Kodaira dimension and logarithmic irregularity are zero. In the paper, it is assumed that \((X,\, D)\) is genuine: namely, the divisor \(D\) is numerically equivalent to the anticanonical divisor of \(X\), and the global sections of the sheaf of logarithmic \(1\)-forms on \(X\) are all trivial. In the first step, a classification of genuine log \(K3\) surfaces of type II is obtained by giving an explicit description of the divisor \(D\) such that a pair \((X,\, D)\) is a genuine log \(K3\) surface of type II. There are five classes C0 to C4 up to log isomorphism. With this classification, the main theorem is given that a genuine log \(K3\) surface of type II \((X,\, D)\) contains countably-many \(\mathbb{A}^1\) curves if and only if \((X,\, D)\) is log isomorphic to C0, C1, C2, or C3. Lastly, as an application, some examples of genuine log \(K3\) surfaces of type II that contain only finitely many \(\mathbb{A}^1\) curves are given. The reviewer wonders without the assumption ``genuine, if it is possible to classify all of log \(K3\) surfaces of type II, and to study the existence of \(\mathbb{A}^1\) curves on them.

Recommendations

Cited in

(5)

This page was built for publication: \(\mathbb{A}^1\) curves on log \(K3\) surfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q529240)