Related papers: Explicit equations of 800 conics on a Barth-Bauer …
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 develop a mixed-characteristic version of the Mori-Mukai technique for producing rational curves on K3 surfaces. We reduce modulo p, produce rational curves on the resulting K3 surface over a finite field, and lift to characteristic…
We show that the moduli space of ordered 5 points on the projective line is isomorphic to an arithmetic quotient of a complex ball by using the theory of periods of K3 surfaces. We also discuss a relation between our uniformization and the…
The Cayley cubic surface is given by the equation sum_{i=1}^4 X_i^{-1}=0. We show that the number of non-trivial primitive integer points of size at most B is of exact order B(log B)^6, as predicted by Manin's conjecture.
We consider the action of the group $\mathrm{PGL}_4(K)$ on the smooth cubic surfaces of $\mathbb{P}^3_K$ ($K$ an algebraically closed field of characteristic zero). We classify, in an explicit way, all the smooth cubic surfaces with non…
The notion of constant cycle curves on K3 surfaces is introduced. These are curves that do not contribute to the Chow group of the ambient K3 surface. Rational curves are the most prominent examples. We show that constant cycle curves…
In this article we find all (decomposable and indecomposable) $6\times 6$ linear determinantal representations of smooth Weierstrass cubics. As a corollary we verify the Kippenhahn conjecture for $M_6$.
The aim of this paper is to show that using some natural curve arrangements in algebraic surfaces and Hirzebruch-Kummer covers one cannot construct new examples of ball-quotients, i.e., minimal smooth complex projective surfaces of general…
An orbifold version of Bogomolov decomposition theorem is established for compact K\"ahler spaces with quotient singularities and first Chern class zero.The proof is a direct adaptation of the classical smooth case, using Ricci-flat…
We study the higher Chow groups $CH^2(X,1)$ and $CH^3(X,2)$ of smooth, projective algebraic surfaces over a field of char 0. We develop a theoretical framework to study them by using so-called higher normal functions and higher…
We study the curvature of a smooth algebraic surface $X\subset \mathbb R^3$ of degree $d$ from the point of view of algebraic geometry. More precisely, we consider umbilical points and points of critical curvature. We prove that the number…
We construct explicit equations of Cartwright-Steger and related surfaces.
We prove that every K3 surface with automorphism group $(\mathbb{Z}/2\mathbb{Z})^2$ admits an explicit birational model as a double sextic surface. This model is canonical for Picard number greater than 10. For Picard number greater than 9,…
The moduli space of stable real cubic surfaces is the quotient of real hyperbolic four-space by a discrete, nonarithmetic group. The volume of the moduli space is 37\pi^2/1080 in the metric of constant curvature -1. Each of the five…
For each $1\leq n\leq6$ we present formulas for the number of $n-$nodal curves in an $n-$dimensional linear system on a smooth, projective surface. This yields in particular the numbers of rational curves in the system of hyperplane…
The quotient space of a $K3$ surface by a finite group is an Enriques surface or a rational surface if it is smooth. Finite groups where the quotient space are Enriques surfaces are known. In this paper, by analyzing effective divisors on…
We isolate a class of smooth rational cubic fourfolds X containing a plane whose associated quadric surface bundle does not have a rational section. This is equivalent to the nontriviality of the Brauer class of the even Clifford algebra…
It is proved that a smooth rational surface in projective four-space, which is ruled by cubics or quartics has degree at most 12. It is also proved that a smooth rational surface in projective four-space which is the image of Fn by a linear…
Let k be a field of characteristic other than 2,3. We prove that there are no geometrically smooth quartic surfaces in IP^3 with more than 64 lines. As a key step, we derive the sharp bound that any line meets at most 20 other lines on a…
In this paper we classify complex K3 surfaces with non-symplectic automorphism of order 8 that leaves invariant a smooth elliptic curve. We show that the rank of the Picard group is either 10, 14 or 18 and the fixed locus is the disjoint…