Related papers: The flex divisor of a K3 surface
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…
Let $(X\ni x,B)$ be an lc surface germ. If $X\ni x$ is klt, we show that there exists a divisor computing the minimal log discrepancy of $(X\ni x,B)$ that is a Koll\'ar component of $X\ni x$. If $B\not=0$ or $X\ni x$ is not Du Val, we show…
In this paper the three-dimensional divisorial contractions $f\colon Y\to (X\ni P)$ are classified provided that $\Exc f=E$ is an irreducible divisor, $f(E)=P$, the variety $Y$ has canonical singularities and $(X\ni P)$ is a toric terminal…
In this paper we classify the topological invariants of the possible branch loci of a smooth double cover $f:X\rightarrow Y$ of a K3 surface $Y$. We describe some geometric properties of $X$ which depend on the properties of the branch…
This is an improved version of the eprint previously entitled "Unexpected isomorphisms between hyperk\"ahler fourfolds." We study smooth projective hyperk\"ahler fourfolds that are deformations of Hilbert squares of K3 surfaces and are…
Let $S$ be a smooth affine surface of logarithmic Kodaira dimension one and let $(V,D)$ be a pair of a smooth projective surface $V$ and a simple normal crossing divisor $D$ on $V$ such that $V \setminus \operatorname{Supp} D = S$. In this…
We consider normal projective n-dimensional varieties X whose anticanonical divisor class -K is ample and where every Weil divisor is a rational multiple of K. The index i is the largest integer such that K/i exists as a Weil divisor. We…
The Noether-Lefschetz theorem asserts that any curve in a very general surface $X$ in $\mathbb P^3$ of degree $d \geq 4$ is a restriction of a surface in the ambient space, that is, the Picard number of $X$ is $1$. We proved previously that…
We exhibit a pseudoeffective R-divisor D_\lambda on the blow-up of P^3 at nine very general points which lies in the closed movable cone and has negative intersections with a set of curves whose union is Zariski dense. It follows that the…
We prove sharp $L^2$ Fourier restriction inequalities for compact, smooth surfaces in $\mathbb{R}^3$ equipped with the affine surface measure or a power thereof. The results are valid for all smooth surfaces and the bounds are uniform for…
A convex lattice polygon Delta determines a pair (S,L) of a toric surface together with an ample toric line bundle on S. The Severi degree N^{Delta,delta} is the number of delta-nodal curves in the complete linear system |L| passing through…
Fixing two positive integers $d$ and $k$, a positive number $v$, and a positive integer $I$, we prove that the K-semistable domain of the log pair $(X, \sum_{j=1}^kD_j)$ is a rational polytope lying in the $k$-dimensional simplex…
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 K(X) be the collection of all non-zero finite dimensional subspaces of rational functions on an n-dimensional irreducible variety X. For any n-tuple L_1,..., L_n in K(X), we define an intersection index [L_1,..., L_n] as the number of…
We study effective divisors $D$ on surfaces with $H^0(\mathcal O_D)=k$ and $H^1(\mathcal O_D)=H^0(\mathcal O_D(D))=0$. We give a numerical criterion for such divisors, following a general investigation of negativity, rigidity and…
Let $(X,\Delta)$ be a projective klt pair, and $f:X\to Y$ a fibration to a smooth projective variety $Y$ with strictly nef relative anti-log canonical divisor $-(K_{X/Y}+\Delta)$. We prove that $f$ is a locally constant fibration with…
We describe a notion of lattice polarization for rational elliptic surfaces and weak del Pezzo surfaces, and describe the complex moduli of the former and the K\"{a}hler cone of the latter. We then propose a version of mirror symmetry…
S. Kond\=o used periods of $K3$ surfaces to prove that the moduli space of genus three curves is birational to an arithmetic quotient of a complex 6-ball. In this paper we study Heegner divisors in the ball quotient, given by arithmetically…
In Cogdell et al., \it LMS Lecture Notes Series \bf 459, \rm 393--427 (2020), \rm the authors proved an analogue of Kronecker's limit formula associated to any divisor $\mathcal D$ which is smooth in codimension one on any smooth K\"ahler…
For any integer $l\geq 1$, let $p_1, p_2, \ldots, p_{l+2}$ be distinct prime numbers $\geq 5.$ For all real numbers $X>1,$ we let $N_{3,l}(X)$ denote the number of real quadratic fields $K$ whose absolute discriminant $d_K\leq X$ and $d_K$…