Related papers: Rational and integral points on Markoff-type K3 su…

We describe a practical algorithm for computing Brauer-Manin obstructions to the existence of rational points on hyperelliptic curves defined over number fields. This offers advantages over descent based methods in that its correctness does…

We prove a conjecture of Odaka--Oshima, which says that there is an algebraic description of the Gromov--Hausdorff compactification of all unit-diameter hyperk\"ahler metrics on K3 surfaces. As a corollary, we obtain a classification of the…

We study arithmetic properties of derived equivalent K3 surfaces over the field of Laurent power series, using the equivariant geometry of K3 surfaces with cyclic groups actions.

We prove several results on the number of rational points on open subsets of Kummer varieties of arbitrary dimension. Some of our results are unconditional, and others depend on the Parity Conjecture (a corollary of the Conjecture of Birch…

We study the good reduction modulo p of K3 surfaces with complex multiplication. If a K3 surface with complex multiplication has good reduction, we calculate the Picard number and the height of the formal Brauer group of the reduction.…

Motivated by the picture of mirror symmetry suggested by Strominger, Yau and Zaslow, we made a conjecture concerning the Gromov-Hausdorff limits of Calabi-Yau n-folds (with Ricci-flat K\"ahler metric) as one approaches a large complex…

We show that the moduli space of $U\oplus \langle -2k \rangle$-polarized K3 surfaces is unirational for $k \le 50$ and $k \notin \{11,35,42,48\}$, and for other several values of $k$ up to $k=97$. Our proof is based on a systematic study of…

Let a,b,c,d be nonzero rational numbers whose product is a square, and let V be the diagonal quartic surface in PP^3 defined by ax^4+by^4+cz^4+dw^4=0. We prove that if V contains a rational point that does not lie on any of the 48 lines on…

We construct a smooth and projective surface over an arbitrary number field that is a counterexample to the Hasse principle but has the infinite etale Brauer-Manin set. We also construct a surface with a unique rational point and the…

We give a constructive proof of the Hodge conjecture for complex $K3$ surfaces that does not rely on Torelli-type results. Starting with an arbitrary rational $(1,1)$-class $\alpha\in H^{1,1}(X,\mathbb{Q})$, we algorithmically build a…

In this paper, we continue the study of the relation between rational points of rational elliptic surfaces and plane curves. As an application, we give first examples of Zariski pairs of cubic-line arrangements that do not involve…

We prove the conjectures of Yau-Zaslow and Gottsche concerning the number curves on K3 surfaces. Specifically, let X be a K3 surface and C be a holomorphic curve in X representing a primitive homology class. We count the number of curves of…

We develop numerical algorithms for solving the Einstein equation on Calabi-Yau manifolds at arbitrary values of their complex structure and Kahler parameters. We show that Kahler geometry can be exploited for significant gains in…

Let k be a number field and X a smooth projective k-variety. In this paper, we study the information obtainable from descent via torsors under finite k-group schemes on the location of the k-rational points on X within the adelic points.…

We study the orchard problem on cubic surfaces. We classify possibly reducible cubic surfaces $X\subseteq \mathbb{P}^3(\C)$ with smooth components on which there exist families of finite sets (of unbounded size) with quadratically many…

We study rational points on conic bundles over elliptic curves with positive rank over a number field. We show that the etale Brauer-Manin obstruction is insufficient to explain failures of the Hasse principle for such varieties. We then…

Let $V_1$ be the Fano threefold given as a hypersurface of degree 6 in $P(1,1,1,2,3)$ (over a number field $K$). Then there exists a finite extension $K'/K$ such that the set of $K'$-rational points of $X$ is Zariski dense.

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…

We proved that the union of rational curves is dense on a very general K3 surface and the union of elliptic curves is dense in the 1st jet space of a very general K3 surface, both in the strong topology.

Suppose that a Hilbert scheme of points on a K3 surface S of Picard rank one admits a rational Lagrangian fibration. We show that if the degree of the surface is sufficiently large compared to the number of points, then the Hilbert scheme…