Related papers: Rational maps and $\mathrm{K3}$ surfaces
We investigate the universal Severi variety of rational curves on K3 surfaces, which parametrises irreducible rational curves in a fixed class on varying K3 surfaces of fixed genus. We investigate the conjecuted irreducibility of this space…
We show that on every elliptic K3 surface $X$ there are rational curves $(R_i)_{i\in \mathbb{N}}$ such that $R_i^2 \to \infty$, i.e., of unbounded arithmetic genus. Moreover, we show that the union of the lifts of these curves to…
We construct a surface of general type with canonical map of degree 12 which factors as a triple cover and a bidouble cover of $\mathbb P^2$. We also show the existence of a smooth surface with $q=0,$ $\chi=13$ and $K^2=9\chi$ such that its…
The degree of irrationality $irr(X)$ of a $n$-dimensional complex projective variety $X$ is the least degree of a dominant rational map $X\dashrightarrow \mathbb{P}^n$. It is a well-known fact that given a product $X\times \mathbb{P}^m$ or…
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.
We prove that a K3 surface with an automorphism acting on the global $2$-forms by a primitive $m$-th root of unity, $m \neq 1,2,3,4,6$, does not degenerate (assuming the existence of the so-called Kulikov models). A key result used to prove…
We study the projective models of complex K3 surfaces polarized by a line bundle L such that all smooth curves in |L| have non-general Clifford index. Such models are in a natural way contained in rational normal scrolls. We use this study…
In this paper we show that not all affine rational complex surfaces can be parametrized birationally and surjectively. For this purpose, we prove that, if S is an affine complex surface whose projective closure is smooth, a necessary…
Fix a K3 lattice $\Lambda$ of rank two and $L\in\Lambda$ a big and nef divisor that is positive enough. We prove that the generic $\Lambda$-polarised K3 surface has an integral nodal rational curve in the linear system $|L|$, in particular…
We study K3 surfaces with 9 cusps, i.e. 9 disjoint $A_2$ configurations of smooth rational curves, over algebraically closed fields of characteristic $p\neq 3$. Much like in the complex situation studied by Barth, we prove that each such…
We prove that the moduli spaces of K3 surfaces with non-symplectic involution are rational for four deformation types. With the previous results, this establishes the rationality of those moduli spaces except two classical cases.
We prove that there is a smooth quartic K3 surface automorphism that is not derived from the Cremona transformation of the ambient three-dimensional projective space. This gives a negative answer to a question of Professor Marat Giz.atullin
We consider projective rational strong Calabi dream surfaces: projective smooth rational surfaces which admit a constant scalar curvature K\"ahler metric for every K\"ahler class. We show that there are only two such rational surfaces,…
Let $(S,L)$ be a polarized K3 surface with $\mathrm{Pic}(S) = \mathbb{Z}[L]$ and $L\cdot L=2g-2$, let $C$ be a nonsingular curve of genus $g-1$ and let $f:C\to S$ be such that $f(C) \in \vert L \vert$. We prove that the Gaussian map…
We show that every supersingular K3 surface is birational to a double cover of a projective plane.
We construct explicit examples of $K3$ surfaces over ${\mathbb Q}$ having real multiplication. Our examples are of geometric Picard rank 16. The standard method for the computation of the Picard rank provably fails for the surfaces…
It was proved by Tien-Cuong Dinh and me that there is a smooth complex projective surface whose automorphism group is discrete and not finitely generated. In this paper, we will show that there is a smooth projective surface, birational to…
The aim of this paper is twofold. First of all, we confirm a few basic criteria of the finiteness of real forms of a given smooth complex projective variety, in terms of the Galois cohomology set of the discrete part of the automorphism…
Let $S$ be a rational projective surface given by means of a projective rational parametrization whose base locus satisfies a mild assumption. In this paper we present an algorithm that provides three rational maps $f,g,h:\mathbb{A}^2 --\to…
By restricting to (a linear subspace of) an affine chart in projective space, a complex stably rational or unirational manifold of dimension $m$ is meromorphically dominable by $\mathbb C^m$, i.e., admits a meromorphic dominating map from…