Related papers: Rational points on twisted K3 surfaces and derived…
We show that the count of rational points by de la Bret\`{e}che, Browning and Salberger on the Cayley ruled cubic surface extends to all non-normal integral hypercubics which are not cones.
A variety $X/k$ is said to have the Hilbert Property if $X(k)$ is not thin. We shall describe some examples of varieties, for which the Hilbert Property is a new result. We give a criterion for determining when the Hilbert Property for a…
The Tate conjecture for squares of K3 surfaces over finite fields was recently proved by Ito-Ito-Koshikawa. We give a more geometric proof when the characteristic is at least 5. The main idea is to use twisted derived equivalences between…
Generalizing a recent construction of Yang and Yu, we study to what extent one can intersect Hassett's Noether-Lefschetz divisors $\mathcal{C}_d$ in the moduli space of cubic fourfolds $\mathcal{C}$. In particular, we exhibit arithmetic…
We construct the moduli space of cubic surfaces which do not admit a Sylvester form as an arithmetic quotient, and determine the graded ring of modular forms of even weights.
We establish the sharp estimate <<_d N^{2/d} for the number of rational points of height at most N on an irreducible projective curve of degree d. We deduce this from a result for general hypersurfaces that is sensitive to the coefficients…
For infinitely many $d$, Hassett showed that special cubic fourfolds of discriminant $d$ are related to polarized K3 surfaces of degree $d$ via their Hodge structures. For half of the $d$, each associated K3 surface $(S,L)$ canonically…
We show that if over some number field there exists a certain diagonal plane cubic curve that is locally solvable everywhere, but that does not have points over any cubic galois extension of the number field, then the algebraic part of the…
We classify rotational surfaces in the three-dimensional Euclidean space whose Gaussian curvature $K$ satisfies \begin{equation*} K\Delta K - \|\nabla K\|^2-4K^3 = 0. \end{equation*} These surfaces are referred to as rotational Ricci…
In this paper, we complete the long-standing challenge to establish a Khintchine-type theorem for arbitrary nondegenerate manifolds in $\mathbb{R}^n$. In particular, our main result finally removes the analyticity assumption from the…
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…
We proved the existence of rational curves in every linear system on a general K3 surface and that all rational curves in the hyperplane class are nodal on a general K3 surface of small genus.
We prove the homological mirror symmetry conjecture of Kontsevich for K3 surfaces in the following form: The Fukaya category of a projective K3 surface is equivalent to the derived category of coherent sheaves on the mirror, which is a K3…
We give several new constructions for moderate rank elliptic curves over $\mathbb{Q}(T)$. In particular we construct infinitely many rational elliptic surfaces (not in Weierstrass form) of rank 6 over $\mathbb{Q}$ using polynomials of…
Every Fourier--Mukai equivalence between the derived categories of two K3 surfaces induces a Hodge isometry of their cohomologies viewed as Hodge structures of weight two endowed with the Mukai pairing. We prove that this Hodge isometry…
We study rational points on the elliptic surface given by the equation: $$y^2 = x^3 + AxQ(u,v)^2 + BQ(u,v)^3,$$ where $A,B\in \mathbb{Z}$ satisfy that $4A^3-27B^2\neq 0$ and $Q(u,v)$ is a positive-definite quadratic form. We prove…
We enhance the Khovanov TQFT using basepoint actions, over the field with two elements. Our enhanced Khovanov TQFT behaves similarly to gauge/Floer theoretic invariants of the double branched cover with opposite orientation: they both are…
We find three families of twisting maps of K^m with K^n. One of them is related to truncated quiver algebras, the second one consists of deformations of the first and the third one requires m=n and yields algebras isomorphic to M_n(K).…
We develop a theory of Prym varieties and cubic threefolds over fields of characteristic $2$. As an application, we prove that smooth cubic threefolds are non-rational over an arbitrary field and solve a conjecture of Deligne regarding…
In this survey we discuss the problem of the existence of rational curves on complex surfaces, both in the K\"ahler and non-K\"ahler setup. We systematically go through the Enriques--Kodaira classification of complex surfaces to highlight…