Related papers: Rational points on twisted K3 surfaces and derived…
Let $X$ be a cubic surface over a global field $k$. We prove that a Brauer-Manin obstruction to the existence of $k$-points on $X$ will persist over every extension $L/k$ with degree relatively prime to $3$. In other words, a cubic surface…
We prove that there exists a number field $\fie$ and a smooth projective $\mathrm{K3}$ surface $S_{22}$ (of genus $12$) over $\fie$ such that the geometric Picard number of $S_{22}$ is equal to $1$ and the $\fie$-rational points of $S_{22}$…
We address the problem of classification of hyper-K\"ahler fourfolds with $b_2=23$. In particular we prove some special cases of the Conjecture of O'Grady about hyper-K\"ahler $4$-folds numerically equivalent to the Hilbert scheme of two…
In this paper, we check that Fano schemes of lines on certain rational cubic fourfolds are birational to Hilbert schemes of two points on K3 surfaces.
We consider smooth projective curves C/$\mathbb{F}$ over a finite field and their symmetric squares $C^{(2)}$. For a global function field $K/\mathbb{F}$, we study the $K$-rational points of $C^{(2)}$. We describe the adelic points of…
A complex projective manifold is rationally connected, resp. rationally simply connected, if finite subsets are connected by a rational curve, resp. the spaces parameterizing these connecting rational curves are themselves rationally…
The Links-Quivers Correspondence predicts that the generating function for the symmetric (or antisymmetric) colored HOMFLY-PT polynomials for links can be put in a "quiver form," so that the generating function is expressed in terms of a…
Let $p$ and $q$ be distinct primes. Consider the Shimura curve $\mathcal{X}$ associated to the indefinite quaternion algebra of discriminant $pq$ over $\mathbb{Q}$. Let $J$ be the Jacobian variety of $\mathcal{X}$, which is an abelian…
A determination of the fixed components, base points and irregularity is made for arbitrary numerically effective divisors on any smooth projective rational surface having an effective anticanonical divisor. All of the results are proven…
We generalize an inequality for convex lattice polygons -- aka toric surfaces -- to general rational surfaces.
We study finite abelian groups acting on three-dimensional rationally connected varieties. We concentrate on the groups of K3 type, that is, abelian extensions by a cyclic group of groups that faithfully act on a K3 surface. In particular,…
We analyze the structure of simply-connected Enriques surface in characteristic two whose K3-like covering is normal, building on the work of Ekedahl, Hyland and Shepherd-Barron. We develop general methods to construct such surfaces and the…
In this paper, we give an elementary new method for determining the rational points on algebraic curves using torsion packets. We also provide examples of curves for which all rational points can be completely determined by our method.
Despite the transcendental nature of the twistor construction, the algebraic fibres of the twistor space of a K3 surface share certain arithmetic properties. We prove that for a polarized K3 surface with complex multiplication, all…
A bidouble cover is a flat $G:=\left(\mathbb{Z}/2\mathbb{Z}\right)^2$-Galois cover $X \rightarrow Y$. In this situation there exist three intermediate quotients $Y_1,Y_2$ and $Y_3$ which correspond to the three subgroups…
Motivated by problems arising in the relative trace formula and arithmetic invariant theory we prove the existence of rational points on orbits arising from certain infinitesimal symmetric spaces. As an application, we prove analogous…
For any $n\geq 3$, we prove that there exist equivalences between these apparently unrelated objects: irreducible $n$-dimensional non degenerate projective varieties $X\subset \mathbb P^{2n+1}$ different from rational normal scrolls and…
We give a description of the category of ordinary K3 surfaces over a finite field in terms of linear algebra data over Z. This gives an analogue for K3 surfaces of Deligne's description of the category of ordinary abelian varieties over a…
Let $X$ be a smooth cubic hypersurface of dimension $n \ge 1$ over the rationals. It is well-known that new rational points may be obtained from old ones by secant and tangent constructions. In view of the Mordell--Weil theorem for $n=1$,…
Let $\mathscr{E}\rightarrow\mathbb{P}^1_\mathbb{Q}$ be a non-trivial rational elliptic surface over $\mathbb{Q}$ with base $\mathbb{P}^1_\mathbb{Q}$ (with a section). We conjecture that any non-trivial elliptic surface has a Zariski-dense…