Related papers: Noether-Lefschetz general complete intersection K3…

Let $S$ be a regular surface endowed with a very ample line bundle $\mathcal O_S(h_S)$. Taking inspiration from a very recent result by D. Faenzi on $K3$ surfaces, we prove that if $\mathcal O_S(h_S)$ satisfies a short list of technical…

We prove rationality results for moduli spaces of elliptic K3 surfaces and elliptic rational surfaces with fixed monodromy groups.

We prove that any surjective self-morphism with $\delta_f > 1$ on a potentially dense smooth projective surface defined over a number field $K$ has densely many $L$-rational points for a finite extension $L/K$.

We settle the first step for the classification of surfaces of general type with K^2 = 8, p_g = 4 and q = 0, classifying the even surfaces (K is 2-divisible). The first even surfaces of general type with $K^2=8$, $p_g=4$ and $q=0$ were…

We study a family of lattice polarized $K3$ surfaces which is an extension of the family of Kummer surfaces derived from principally polarized Abelian surfaces. Our family has two special properties. First, it is coming from a resolution of…

When studying mirror symmetry in the context of K3 surfaces, the hyperkaehler structure of K3 makes the notion of exchanging Kaehler and complex moduli ambiguous. On the other hand, the metric is not renormalized due to the higher amount of…

We review recent developments in the arithmetic of K3 surfaces. Our focus lies on aspects of modularity, Picard number and rational points. Throughout we emphasise connections to geometry.

A strongly reflective modular form with respect to an orthogonal group of signature (2,n) determines a Lorentzian Kac--Moody algebra. We find a new geometric application of such modular forms: we prove that if the weight is larger than n…

For a fixed $d \ge 5$, the Noether-Lefschetz locus parametrizes smooth degree $d$ surfaces in $\mathbb{P}^3$ with Picard number greater than $1$. This is a countable union of proper algebraic varieties. It is known (due to works of Voisin,…

We give a vanishing and classification result for holomorphic differential forms on smooth projective models of the moduli spaces of pointed K3 surfaces. We prove that there is no nonzero holomorphic k-form for 0<k<10 and for even k>19. In…

Consider a rational elliptic surface over a field $k$ with characteristic $0$ given by $\mathcal{E}: y^2 = x^3 + f(t)x + g(t)$, with $f,g\in k[t]$, $\text{deg}(f) \leq 4$ and $\text{deg}(g) \leq 6$. If all the bad fibres are irreducible,…

We show that normal K3 surfaces with ten cusps exist in and only in characteristic 3. We determine these K3 surfaces according to the degrees of the polarizations. Explicit examples are given.

We consider the geometry of a general polarized K3 surface $(S,h)$ of genus 16 and its Fourier-Mukai partner $(S',h')$. We prove that $S^{[2]}$ is isomorphic to the moduli space $M_{S'}(2,h',7)$ of stable sheaves with Mukai vector…

In this paper I consider a quintic surface in $\pp^3$, general in the sense of Noether-Lefschetz theory. The vector bundles of rank 2 on this surface which are $\mu$-stable with respect to the hyperplane section and have $c_1 = K$, the…

Let C be a general element in the locus of curves in M_g lying on some K3 surface, where g is congruent to 3 mod 4 and greater than or equal to 15. Following Mukai's ideas, we show how to reconstruct the K3 surface as a Fourier-Mukai…

Using the theory of holes of the Leech lattice and Borcherds method for the computation of the automorphism group of a K3 surface, we give an effective bound for the set of isomorphism classes of projective models of fixed degree for…

The name "K3 surfaces" was coined by A. Weil in 1957 when he formulated a research programme for these surfaces and their moduli. Since then, irreducible holomorphic symplectic manifolds have been introduced as a higher dimensional analogue…

Let $S \subset \P^n$ be a smooth quartic hypersurface defined over a number field $K$. If $n \ge 4$, then for some finite extension $K'$ of $K$ the set $S(K')$ of $K'$-rational points of $S$ is Zariski dense.

We show that for any $N>0$ there exists a natural even $n>N$ such that the discriminant of moduli of K3 surfaces of the degree $n$ is not equal to the set of zeros of any automorphic form on the corresponding IV type domain. We give the…

Let (S,H) be a polarized K3 surface, $E$ be a coherent sheaf on S and W be a linear subspace in the space of global sections H^0(S,E). If we are lucky, there is an exact sequence 0 -> W tensor O -> E -> E' -> 0, which gives a correspondence…