Abstract:We construct motivic cohomology cycles in the group $H^3_{\mathcal M}(Z,{\mathbb Q}(2))$ where $Z$ is a K3 surface obtained as a double cover of a del Pezzo surface $X$ branched at a curve in $|-2K_X|$. The construction uses (-1) curves on the del Pezzo and is a generalization of a recent pre-print of Ken Sato arXiv: <a class="link-https" data-arxiv-id="2408.09102" href="https://arxiv.org/abs/2408.09102">2408.09102</a> where he considers the case of fourfold covers of ${\mathbb P}^2$ branched at a quartic curve.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to construct indecomposable motivic cycles on double covers of K3 surfaces. Specifically, the author constructs these cycles by using (-1) -curves on del Pezzo surfaces. These cycles lie in the group \(H^3_M(\tilde{Z}, \mathbb{Q}(2))\), where \(\tilde{Z}\) is a K3 surface obtained by a branched double cover of a del Pezzo surface. The background of this problem is based on Sato's work in the preprint [Sat24], in which he studied the case of a quadruple cover of \(\mathbb{P}^2\) branched along a quartic curve, and the work in this paper can be regarded as a generalization of Sato's work.
### Main contributions of the paper
1. **Construction of motivic cycles**: The author uses (-1) -curves on del Pezzo surfaces to construct motivic cycles on K3 double covers.
2. **Proof of indecomposability**: The author proves that these constructed motivic cycles are indecomposable in general, which is achieved by analyzing the boundary map in the localization sequence.
3. **Discussion of special cases**: The author discusses in detail the special cases on del Pezzo surfaces of different degrees (such as degree 1, degree 2, degree 3) and explains how to construct and what the properties of the motivic cycles are in these cases.
### Specific methods
- **Properties of (-1) -curves**: First, the author describes in detail the (-1) -curves on del Pezzo surfaces and their images in \(\mathbb{P}^2\). The intersection properties of these curves on the branched sextic curve are the key to constructing motivic cycles.
- **Construction of motivic cycles**: Using these (-1) -curves, the author constructs motivic cycles of the form \((\tilde{D}_1, f_{\tilde{D}_1})+(\tilde{D}_2, f_{\tilde{D}_2})\), where \(\tilde{D}_1\) and \(\tilde{D}_2\) are curves on the K3 double cover, and \(f_{\tilde{D}_1}\) and \(f_{\tilde{D}_2}\) are functions on these curves.
- **Proof of indecomposability**: By analyzing the boundary map in the localization sequence, the author proves that these motivic cycles are indecomposable in general. Specifically, if the result of the boundary map contains cycles not in the universal fiber, then these motivic cycles must be indecomposable.
### Special cases
- **Degree 1 del Pezzo surface**: In this case, the del Pezzo surface can be regarded as a double cover of a quadratic cone, branched along a sextic curve. 240 (-1) -curves can be obtained by double covers of tritangent planes (planes tangent to the branched sextic curve at three points).
- **Degree 2 del Pezzo surface**: This is the case studied by Sato [Sat24]. The K3 surface is a double cover of a degree 2 del Pezzo surface, branched along a quartic curve. This quartic curve has 28 bitangents, and the corresponding 56 (-1) -curves are used to construct motivic cycles.
- **Degree 3 del Pezzo surface**: In this case, the del Pezzo surface is a cubic surface, and the (-1) -curves are 27 lines on it. The intersection properties of these lines are used to construct motivic cycles on the K3 double cover.
### Conclusion
The paper successfully constructs indecomposable motivic cycles on K3 double covers and proves the indecomposability of these cycles by the method of localization sequence. These results not only generalize Sato's work but also provide a new perspective for understanding the motivic structure of K3 surfaces.