Rational curves and points on K3 surfaces

Fedor Bogomolov,Yuri Tschinkel

DOI: https://doi.org/10.48550/arXiv.math/0310254

2003-10-17

Abstract:We study the distribution of algebraic points on K3 surfaces.

Algebraic Geometry

What problem does this paper attempt to address?

RATIONAL POINTS ON THREE SUPERELLIPTIC CURVES

Zhongyan Shen,Tianxin Cai

DOI: https://doi.org/10.1017/s0004972711002619

2011-01-01

Bulletin of the Australian Mathematical Society

Abstract:In this paper, we obtain all rational points (x, y) on the superelliptic curvesy(k) = x(x + 2),y(k) = x(x + 2)(x + 3),y(k) = x(x + 1)(x + 3).
Low degree rational curves on quasi-polarized K3 surfaces

Sławomir Rams,Matthias Schütt

2024-03-13

Abstract:We prove that there are at most $(24-r_0)$ low-degree rational curves on high-degree models of K3 surfaces with at most Du Val singularities, where $r_0$ is the number of exceptional divisors on the minimal resolution. We also provide several existence results in the above setting (i.e. for rational curves on quasi-polarized K3 surfaces), which imply that for various values of $r_0$ our bound cannot be improved.

Algebraic Geometry
Rational Curves on Calabi-Yau Threefolds

Sheldon Katz

DOI: https://doi.org/10.48550/arXiv.alg-geom/9202001

1992-02-06

Abstract:The point is to compare the mathematical meaning of the ``number of rational curves on a Calabi-Yau threefold'' to the meaning ascribed to the same notion by string theorists.

Algebraic Geometry
Some aspects of rational points and rational curves

Olivier Wittenberg

DOI: https://doi.org/10.4171/ICM2022-3

2022-01-15

Abstract:Various methods have been used to construct rational points and rational curves on rationally connected algebraic varieties. We survey recent advances in two of them, the descent and the fibration method, in a number-theoretical context (rational points over number fields) and in an algebro-geometric one (rational curves on real varieties), and discuss the question of rational points over function fields of p-adic curves.

Algebraic Geometry,Number Theory
K3 surfaces of Kummer type in characteristic two

Igor V. Dolgachev

DOI: https://doi.org/10.1112/blms.13033

IF: 1.036

2024-03-28

Bulletin of the London Mathematical Society

Abstract:We discuss K3 surfaces in characteristic two that contain the Kummer configuration of smooth rational curves.

mathematics
Rational Points of some genus $3$ curves from the rank $0$ quotient strategy

Tony Ezome,Brice Miayoka Moussolo,Régis Freguin Babindamana

2023-11-01

Abstract:In 1922, Mordell conjectured that the set of rational points on a smooth curve $C$ over $\mathbb{Q}$ with genus $g \ge 2$ is finite. This has been proved by Faltings in 1983. However, Coleman determined in 1985 an upper bound of $#C(\mathbb{Q})$ by following Chabauty's approach which considers the special case when the Jacobian variety of $C$ has Mordell-Weil rank $< g$. In 2006, Stoll improved the Coleman's bound. Balakrishnan with her co-authors in [1] implemented the Chabauty-Coleman method to compute the rational points of genus $3$ hyperelliptic curves. Then, Hashimoto and Morrison [8] did the same work for Picard curves. But it happens that this work has not yet been done for all genus 3 curves. In this paper, we describe an algorithm to compute the complete set of rational points $C(\mathbb{Q})$ for any genus $3$ curve $C/\mathbb{Q}$ that is a degree-$2$ cover of a genus $1$ curve whose Jacobian has rank $0$. We implemented this algorithm in Magma, and we ran it on approximately $40, 000$ curves selected from databases of plane quartics and genus $3$ hyperellitic curves. We discuss some interesting examples, and we exhibit curves for which the number of rational points meets the Stoll's bound

Number Theory
Rational points on a superelliptic curve y~k = x(x + 2~m)

SHEN ZhongYan,CAI TianXin

2012-01-01

Abstract:Let k≥2 and m≥0 be intergers.We obtain all rational points(x,y) on the superelliptic curve yk = x(x + 2m).
Sato-Tate Type Distributions for Matrix Points on Elliptic Curves and Some $K3$ Surfaces

Avalon Blaser,Molly Bradley,Daniel Vargas,Kathy Xing

2023-08-05

Abstract:Generalizing the problem of counting rational points on curves and surfaces over finite fields, we consider the setting of $n \times n$ matrix points with finite field entries. We obtain exact formulas for matrix point counts on elliptic curves and certain $K3$ surfaces for "supersingular" primes. These exact formulas, which involve partitions of integers up to $n$, essentially coincide with the expected value for the number of such points. Therefore, in analogy with the Sato-Tate conjecture, it is natural to study the distribution of the deviation from the expected values for all primes. We determine the limiting distributions for elliptic curves and a family of $K3$ surfaces. For non-CM elliptic curves with square-free conductor, our results are explicit.

Number Theory,Algebraic Geometry
The polarized degree of irrationality of $K3$ surfaces

Federico Moretti

2023-04-27

Abstract:Given a polarized variety $(X,L)$ we use an elementary observation to produce projections of low degree $ X\subset \mathbb{P}(H^0(L^\vee)) \dashrightarrow \mathbb P ^r $ via vector bundles. For surfaces this observation can be used to show that maps of the degree at most $d$ move in families. In the case of polarized $K3$ surfaces we study projections of the lowest possible degree up to genus $6$ and we give a new upper bound for higher genera. As a different application of our construction we exhibit new rational maps of low degree for some hyper-Kähler varieties, abelian varieties and Gushel-Mukai threefolds.

Algebraic Geometry
Reduction of Brauer classes on K3 surfaces, rationality and derived equivalence

Sarah Frei,Brendan Hassett,Anthony Várilly-Alvarado

DOI: https://doi.org/10.1515/crelle-2022-0056

2022-10-01

Journal fur die reine und angewandte Mathematik

Abstract:Given a smooth projective variety over a number field and an element of its Brauer group, we consider the specialization of the Brauer class at a place of good reduction for the variety and the class. We are interested in the case of K3 surfaces. We show that a Brauer class on a very general polarized K3 surface over a number field becomes trivial after specialization at a set of places of positive natural density. We deduce that there exist cubic fourfolds over number fields that are conjecturally irrational, with rational reduction at a positive proportion of places. We also deduce that there are twisted derived equivalent K3 surfaces which become derived equivalent after reduction at a positive proportion of places.

mathematics
K3 surfaces associated to a cubic fourfold

Claudio Pedrini

2024-05-20

Abstract:Let $X\subset ¶^5$ be a smooth cubic fourfold. A well known conjecture asserts that $X$ is rational if and only if there an Hodge theoretically associated K3 surface $S$. The surface $S$ can be associated to $X$ in two other different ways. If there is an equivalence of categories $\sA_X \simeq D^b(S,\alpha)$ where $\sA_X$ is the Kuznetsov component of $D^b(X)$ and $\alpha$ is a Brauer class, or if there is an isomorphism between the transcendental motive $t(X)$ and the (twisted ) transcendental motive of a K3 surface$S$. In this note we consider families of cubic fourfolds with a finite group of automorphisms and describe the cases where there is an associated K3 surface in one of the above senses.

Algebraic Geometry
On the degree of irrationality of low genus $K3$ surfaces

Federico Moretti,Andrés Rojas

2024-01-08

Abstract:Given a general polarized $K3$ surface $S\subset \mathbb P^g$ of genus $g\le 14$, we study projections $S\hookrightarrow \mathbb P^g\dashrightarrow \mathbb P^2$ of minimal degree and their variational structure. In particular, we prove that the degree of irrationality of all such surfaces is at most $4$, and that for $g=7,8,9,11$ there are no rational maps $S\dashrightarrow \mathbb P^2$ of degree $3$ induced by the primitive linear system. Our methods combine vector bundle techniques à la Lazarsfeld with derived category tools, and also make use of the rich theory of singular curves on $K3$ surfaces.

Algebraic Geometry
On two-elementary K3 surfaces with finite automorphism group

Adrian Clingher,Andreas Malmendier,Flora Poon

2024-10-22

Abstract:We study complex algebraic K3 surfaces of Picard ranks 11, 12, and 13 of finite automorphism group that admit a Jacobian elliptic fibration with a section of order two. We prove that the K3 surfaces admit a birational model isomorphic to a projective quartic hypersurface and construct geometrically the frames of all supported Jacobian elliptic fibrations. We determine the dual graphs of all smooth rational curves for these K3 surfaces, the polarizing divisors, and the embedding of the reducible fibers in each frame into the corresponding dual graph.

Algebraic Geometry
Sato–Tate Type Distributions for Matrix Points on Elliptic Curves and Some K3 Surfaces

Avalon Blaser,Molly Bradley,Daniel A.N. Vargas,Kathy Xing,Daniel Vargas

DOI: https://doi.org/10.1016/j.jnt.2024.01.010

IF: 0.679

2024-02-01

Journal of Number Theory

Abstract:Generalizing the problem of counting rational points on curves and surfaces over finite fields, we consider the setting of n × n matrix points with finite field entries. We obtain exact formulas for matrix point counts on elliptic curves and certain K3 surfaces for “supersingular” primes. These exact formulas, which involve partitions of integers up to n, essentially coincide with the expected value for the number of such points. Therefore, in analogy with the Sato–Tate conjecture, it is natural to study the distribution of the deviation from the expected values for all primes. We determine the limiting distributions for elliptic curves and a family of K3 surfaces. For non-CM elliptic curves with square-free conductor, our results are explicit.

mathematics
Mukai's program for non-primitive curves on K3 surfaces

Yiran Cheng,Zhiyuan Li,Haoyu Wu

2022-01-01

Abstract: Mukai's program seeks to recover a K3 surface $X$ from any curve $C$ on it by exhibiting it as a Fourier-Mukai partner to a Brill-Noether locus of vector bundles on the curve. In the case $X$ has Picard number one and the curve $C\in |H|$ is primitive, this was confirmed by Feyzbakhsh for $g\geq 11$ and $g\neq 12$. More recently, Feyzbakhsh has shown that certain moduli spaces of stable bundles on $X$ are isomorphic to the Brill-Noether locus of curves in $|H|$ if $g$ is sufficiently large. In this paper, we work with irreducible curves in a non-primitive ample linear system $|mH|$ and prove that Mukai's program is valid for any irreducible curve when $g\neq 2$, $mg\geq 11$ and $mg\neq 12$. Furthermore, we introduce the destabilising regions to improve Feyzbakhsh's analysis. We show that there are hyper-K\"ahler varieties as Brill-Noether loci of curves in every dimension.
Points on Rational Normal Curves and the ABCT Variety

Daniele Agostini,Lakshmi Ramesh,Dawei Shen

2024-12-17

Abstract:The ABCT variety is defined as the closure of the image of $G(2,n)$ under the Veronese map. We realize the ABCT variety $V(3,n)$ as the determinantal variety of a vector bundle morphism. We use this to give a recursive formula for the fundamental class of $V(3,n)$. As an application, we show that special Schubert coefficients of this class are given by Eulerian numbers, matching a formula by Cachazo-He-Yuan. On the way to this, we prove that the variety of configuration of points on a common divisor on a smooth variety is reduced and irreducible, generalizing a result of Caminata-Moon-Schaffler.

Algebraic Geometry,Mathematical Physics,Combinatorics
On K3 surfaces which dominate Kummer surfaces

Shouhei Ma

DOI: https://doi.org/10.48550/arXiv.0905.4107

2011-09-02

Abstract:We study isogeny relations between K3 surfaces and Kummer surfaces. Specifically, we prove a Torelli-type theorem for the existence of rational maps from K3 surfaces to Kummer surfaces, and a Kummer sandwich theorem for K3 surfaces with Shioda-Inose structure.

Algebraic Geometry
$\mathbb{A}^1$ curves on log K3 surfaces

Xi Chen,Yi Zhu

DOI: https://doi.org/10.1016/j.aim.2017.04.020

2016-02-06

Abstract:In this paper, we study $\mathbb{A}^1$ curves on log K3 surfaces. We classify all genuine log K3 surfaces of type II which admits countably infinite $\mathbb{A}^1$ curves.

Algebraic Geometry
Non-thin rational points for elliptic K3 surfaces

Damián Gvirtz-Chen,Giacomo Mezzedimi

2024-04-10

Abstract:We prove that elliptic K3 surfaces over a number field which admit a second elliptic fibration satisfy the potential Hilbert property. Equivalently, the set of their rational points is not thin after a finite extension of the base field. Furthermore, we classify those families of elliptic K3 surfaces over an algebraically closed field which do not admit a second elliptic fibration.

Algebraic Geometry,Number Theory
The 2-divisibility of divisors on K3 surfaces in characteristic 2

Toshiyuki Katsura,Shigeyuki Kondō,Matthias Schütt

2024-10-18

Abstract:We show that K3 surfaces in characteristic 2 can admit sets of $n$ disjoint smooth rational curves whose sum is divisible by 2 in the Picard group, for each $n=8,12,16,20$. More precisely, all values occur on supersingular K3 surfaces, with exceptions only at Artin invariants 1 and 10, while on K3 surfaces of finite height, only $n=8$ is possible.

Algebraic Geometry,Cryptography and Security

Rational curves and points on K3 surfaces

RATIONAL POINTS ON THREE SUPERELLIPTIC CURVES

Low degree rational curves on quasi-polarized K3 surfaces

Rational Curves on Calabi-Yau Threefolds

Some aspects of rational points and rational curves

K3 surfaces of Kummer type in characteristic two

Rational Points of some genus $3$ curves from the rank $0$ quotient strategy

Rational points on a superelliptic curve y~k = x(x + 2~m)

Sato-Tate Type Distributions for Matrix Points on Elliptic Curves and Some $K3$ Surfaces

The polarized degree of irrationality of $K3$ surfaces

Reduction of Brauer classes on K3 surfaces, rationality and derived equivalence

K3 surfaces associated to a cubic fourfold

On the degree of irrationality of low genus $K3$ surfaces

On two-elementary K3 surfaces with finite automorphism group

Sato–Tate Type Distributions for Matrix Points on Elliptic Curves and Some K3 Surfaces

Mukai's program for non-primitive curves on K3 surfaces

Points on Rational Normal Curves and the ABCT Variety

On K3 surfaces which dominate Kummer surfaces

$\mathbb{A}^1$ curves on log K3 surfaces

Non-thin rational points for elliptic K3 surfaces

The 2-divisibility of divisors on K3 surfaces in characteristic 2