SearcharxivSearch

arXiv · 2402.12588

Local and local-to-global Principles for zero-cycles on geometrically Kummer $K3$ surfaces

Abstract

Let $X$ be a $K3$ surface over a $p$-adic field $k$ such that for some abelian surface $A$ isogenous to a product of two elliptic curves, there is an isomorphism over the algebraic closure of $k$ between $X$ and the Kummer surface associated to $A$. Under some assumptions on the reduction types of the elliptic curve factors of $A$, we prove that the Chow group $A_0(X)$ of zero-cycles of degree $0$ on $X$ is the direct sum of a divisible group and a finite group. This proves a conjecture of Raskind and Spiess and of Colliot-Th\'{e}l\`{e}ne and it is the first instance for $K3$ surfaces when this conjecture is proved in full. This class of $K3$'s includes, among others, the diagonal quartic surfaces. In the case of good ordinary reduction we describe many cases when the finite summand of $A_0(X)$ can be completely determined. Using these results, we explore a local-to-global conjecture of Colliot-Th\'{e}lene, Sansuc, Kato and Saito which, roughly speaking, predicts that the Brauer-Manin obstruction is the only obstruction to Weak Approximation for zero-cycles. We give examples of Kummer surfaces over a number field $F$ where the ramified places of good ordinary reduction contribute nontrivially to the Brauer set for zero-cycles of degree $0$ and we describe cases when an unconditional local-to-global principle can be proved, giving the first unconditional evidence for this conjecture in the case of $K3$ surfaces.

Explore related subjects

Keep this discovery

BibTeXRIS

Evangelia Gazaki, Jonathan Love. 2024-02-19. Local and local-to-global Principles for zero-cycles on geometrically Kummer $K3$ surfaces. https://doi.org/10.2140/akt.2026.11.359

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Perverse Euler Characteristics of Hermitian Locally Symmetric Spaces

We prove that finite-volume locally Hermitian symmetric spaces of noncompact type have nonnegative perverse Euler characteristics. To show this, we obtain a nefness result for the logarithmic cotangent bundle of a smooth toroidal compactification. Combining this with a positivity criterion for Euler characteristics of perverse sheaves, we deduce the nonnegativity result. We further prove that the inequality is strict for perverse sheaves with full support. As applications, we get nonnegativity results for perverse Euler characteristics on various moduli spaces.

math.AG

Coupled Pklt Tuples and Varieties of Pklt Type

We introduce asymptotic multiplier ideal sheaves and log canonical thresholds associated with tuples of pseudoeffective divisors on a projective klt pair. We prove that the threshold of a coupled potentially klt tuple is computed by a quasi-monomial valuation. For varieties of potentially klt type, we prove that every big divisor admits a birational Zariski decomposition with semiample positive part. We also prove finite generation of multisection rings of big divisors and give a criterion for a variety of potentially klt type to be a Mori dream space.

math.AG

Graded Betti numbers of general curves of large degree

Let $C$ be a smooth projective complex curve of genus $g$ and gonality $k$, and $L$ be a very ample line bundle on $C$. When $L$ has sufficiently large degree, the vanishing and nonvanishing of the Koszul cohomology groups $K_{p,q}(C,L)$ have been determined previously, but the exact values of the graded Betti numbers $\kappa_{p,q}(C, L)$ remain largely unknown. In this paper, we give explicit closed formulas for all graded Betti numbers $\kappa_{p,q}(C, L)$ when the Brill--Noether locus $W_k^1(C)$ has the expected dimension and $H^1(C, L \otimes \omega_C^{-1})=0$. Consequently, we determine the complete Betti table for a general curve when $\deg L \geq 4g-3$ or when $\deg L \geq 3g-3$ and $L$ is general. We also explicitly compute the Boij--S\"{o}derberg coefficient of the section ring $R(C, L)$ governing asymptotic purity, and show eventual monotonicity of the remaining coefficients: they decrease for hyperelliptic curves and increase under a natural generic reducedness assumption on the relevant Brill--Noether loci.

math.AG