Abstract:In this paper, we give an explicit construction of higher Chow cycles of type $(2,1)$ on $K3$ surfaces obtained as quadruple coverings of the projective plane ramified along smooth quartics. The construction uses a pair of bitangents of the quartics. We prove that the higher Chow cycles generate a rank 2 subgroup in the indecomposable part of the higher Chow group for very general members, by using a specialization argument and an explicit computation of the regulator map.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to construct and study high - order Chow cycles on K3 surfaces attached to plane quartic curves. Specifically, the author aims to:
1. **Explicit construction**: Give a specific construction method for high - order Chow cycles of type (2, 1), which are located on K3 surfaces obtained by quadruple covering branched by smooth quartic curves.
2. **Generate subgroups**: Prove that these high - order Chow cycles can generate a subgroup of rank 2 in the indecomposable part of the high - order Chow group in very general members.
### Specific problem description
In algebraic geometry, K - theory and number theory, the high - order Chow groups \(CH^p(X, q)\) are generalizations of the classical Chow groups. However, when the codimension \(p>1\), the explicit structures of the high - order Chow groups of most varieties are still unknown. This paper focuses on the first non - classical high - order Chow group \(CH^2(X, 1)\) of K3 surfaces \(X\).
- **Decomposable part**: The decomposable part is generated by the intersection products of cycles of lower codimension, and this part is relatively easy to handle.
- **Indecomposable part**: The author focuses on the quotient group \(CH^2(X, 1)/CH^2(X, 1)_{\text{dec}}\), called the indecomposable part, denoted as \(CH^2(X, 1)_{\text{ind}}\).
### Main contributions
1. **New construction**: The author constructs high - order Chow cycles on K3 surfaces using a pair of bitangents.
2. **Rank 2 subgroup**: Prove that for very general members \(s\in S\), these high - order Chow cycles generate a subgroup of rank 2 in \(CH^2(X_s, 1)_{\text{ind}}\).
3. **Non - lattice - polarized varieties**: This is the first example of constructing indecomposable high - order Chow cycles on a family of non - lattice - polarized varieties.
### Method overview
- **Jacobian definition**: Define the Jacobian \(J(X, \sigma)\) of a K3 surface with a fourth - order non - symmetric automorphism.
- **Abel - Jacobi mapping**: Use the corresponding Abel - Jacobi mapping to map high - order Chow cycles into the Jacobian.
- **Analysis of special members**: By considering a special one - dimensional family of varieties containing Fermat curves, prove that the images of these high - order Chow cycles are non - torsion elements in very general members.
### Conclusion
Finally, the author proves that for very general \(s\in S\), the high - order Chow cycles \(\xi_s\) and \(\sigma^*(\xi_s)\) generate a subgroup of rank 2 in \(CH^2(X_s, 1)_{\text{ind}}\), thus showing that the rank of \(CH^2(X_s, 1)_{\text{ind}}\) is at least 2.
This result not only promotes the understanding of high - order Chow groups, but also provides new tools and perspectives for the study of non - lattice - polarized varieties.