Related papers: 800 conics in a smooth quartic surface
Let M_0^R be the moduli space of smooth real cubic surfaces. We show that each of its components admits a real hyperbolic structure. More precisely, one can remove some lower-dimensional geodesic subspaces from a real hyperbolic space H^4…
We study quartic surfaces that admit a group of projective automorphisms isomorphic to icosahedron group.
In characteristic $p>0$ and for $q$ a power of $p$, we compute the number of nonplanar rational curves of arbitrary degrees on a smooth Hermitian surface of degree $q+1$ under the assumption that the curves have a parametrization given by…
For each finite primitive subgroup $G$ of $\operatorname{PGL}_4(\mathbb{C})$, we find all the smooth $G$-invariant quartic surfaces. We also find all the faithful representations in $\operatorname{PGL}_4(\mathbb{C})$ of the smooth quartic…
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…
We show that the number of lines contained in a supersingular quartic surface is 40 or at most 32, if the characteristic of the field equals 2, and it is 112, 58, or at most 52, if the characteristic equals 3. If the quartic is not…
A very general surface of degree at least four in projective space of dimension three contains no curves other than intersections with surfaces. We find a formula for the degree of the locus of surfaces of degree at least five which contain…
Based on high precision computation of periods and lattice reduction techniques, we compute the Picard group of smooth surfaces. We also study the lattice reduction technique that is employed in order to quantify the possibility of…
A classical question in geometry is whether surfaces with given geometric features can be realized as embedded surfaces in Euclidean space. In this paper, we construct an immersed, but not embedded, infinite $\{3,7\}$-surface in…
We determine projective equations of smooth complex cubic fourfolds with symplectic automorphisms by classifying 6-dimensional projective representations of Laza and Zheng's 34 groups. In particular, we determine the number of irreducible…
We consider an integrable system in five unknowns having three quartics invariants. We show that the complex affine variety defined by putting these invariants equal to generic constants, completes into an abelian surface; the jacobian of a…
We show that there cannot be more than 64 lines on a quartic surface admitting isolated rational double points over an algebraically closed field of characteristic $p \neq 2,\,3$, thus extending Segre--Rams--Sch\"utt theorem. Our proof…
We compute the rational cohomology of the universal family of smooth cubic surfaces using Vassiliev's method of simplicial resolution. Modulo embedding, the universal family has cohomology isomorphic to that of $\mathbb{P}^2$. A consequence…
In this paper we classify completely all regular minimal surfaces with K^2=8, p_g=4 whose canonical map is composed with an involution. We obtain six unirational families of respective dimensions 28,28,32,33,38,34. The last two are…
A triangulation of a surface is irreducible if there is no edge whose contraction produces another triangulation of the surface. In this work we propose an algorithm that constructs the set of irreducible triangulations of any surface with…
We construct the first examples of rationally convex surfaces in the complex plane with hyperbolic complex tangencies. In fact, we give two very different types of rationally convex surfaces: those that admit analytic fillings by…
In this note we construct an unlimited family of irregular algebraic surfaces of general type with canonical map of degree $ 8 $, irregularity $ 1 $ and arbitrarily large geometric genus such that the image of the canonical map is not a…
Answering a question posed by Enriques, we construct a minimal smooth algebraic surface $S$ of general type over the complex numbers with $K^2 = 45$ and $p_g = 4$, and with birational canonical map. Our surface is a regular (q=0) ball…
We find all analytic surfaces in space R^3 such that through each point of the surface one can draw two circular arcs fully contained in the surface. The proof uses a new decomposition technique for quaternionic matrices.
We construct a smooth complex projective rational surface with infinitely many mutually non-isomorphic real forms. This gives the first definite answer to a long standing open question if a smooth complex projective rational surface has…