The number of singular points of quartic surfaces (char=2)
Fabrizio Catanese
备注：
31 pages. Essentially superseded by the following paper in two parts, entitled `Singularities of normal quartic surfaces I, II (char=2)'; some folklore or side results are used in the next paper
We show that the maximal number of singular points of a normal quartic surface $X \subset \mathbb{P}^3_K$ defined over an algebraically closed field $K$ of characteristic $2$ is at most $20$, and that if equality is attained, then the minimal resolution of $X$ is a supersingular
K3 surface and the singular points are $20$ nodes.
We produce examples with 14 nodes. In a sequel to this paper (in two parts, the second in collaboration with Matthias Schütt) we show that the optimal bound is indeed 14, and that if equality is attained, then the minimal resolution of $X$ is a supersingular
K3 surface and the singular points are $14$ nodes.
We also obtain some smaller upper bounds under several geometric assumptions holding at one of the singular points $P$ (structure of tangent cone, separability/inseparability of the projection with centre $P$).
We prove that a smooth surface, non of general type, in projective four-space, which lies on a quartic hypersurface with isolated singularities has degree at most 27 (in fact we prove a slightly more general result).
There are thirteen types of singular points for irreducible real quartic curves and seventeen types of singular points for reducible real quartic curves. This classification is originally due to D.A. Gudkov. There are nine types of singular points for irreducible complex quartic curves and ten types of singular points for reducible complex quartic curves. We derive the complete classification with proof by using the computer algebra system Maple. We clarify that the classification is based on computing just enough of the Puiseux expansion to separate the branches. Thus, the proof consists of a…
We show, in this second part, that the maximal number of singular points of a quartic surface $X \subset \mathbb{P}^3_K$ defined over an algebraically closed field $K$ of characteristic 2 is at most 14, and that, if we have 14 singularities, these are nodes and moreover the minimal resolution of $X$ is a supersingular K3 surface. We produce an irreducible component, of dimension 24, of the variety of quartics with 14 nodes. We also exhibit easy examples of quartics with 7 $A_3$-singularities.
Plane quartics containing the ten vertices of a complete pentalateral and limits of them are called Lüroth quartics. The locus of singular Lüroth quartics has two irreducible components, both of codimension two in $¶^{14}$. We compute the degree of them and we discuss the consequences of this computation on the explicit form of the Lüroth invariant. One important tool are the Cremona hexahedral equations of the cubic surface. We also compute the class in $\overline{M}_3$ of the closure of the locus of nonsingular Lüroth quartics.
In the case of the fine Simpson moduli spaces of 1-dimensional sheaves supported on plane quartics, the subvariety of sheaves that are not locally free on their support is connected, singular, and has codimension 2.
We study the rationality problem for nodal quartic double solids. In particular, we prove that nodal quartic double solids with at most six singular points are irrational, and nodal quartic double solids with at least eleven singular points are rational.
Costantini and Kappes gave an algebraic equation of the universal family over the Kenyon-Smillie (2,3,4)-Teichmüller curve. This equation gives rise to a family of projective plane quartic curves with three singular members. These singular curves are: (1) an integral nodal quartic, (2) the union of a line and a nodal cubic, and (3) a quadruple line. We determine the limit Weierstrass points on these singular curves.
We give a bound on the number of isolated, essential singularities of determinantal quartic surfaces in 3-space. We also provide examples of different configurations of real singularities on quartic surfaces with a definite Hermitian determinantal representation, and conjecture an extension of a theorem by Degtyarev and Itenberg.
Two Magma functions are given: one computes linear systems of plane curves with non-ordinary singularities and the other computes a scheme which parametrizes given degree plane curves with given singularities. These functions provide an efficient tool to construct explicit equations of singular plane algebraic curves. By computing singular branch curves, we obtain equations of normal quartic surfaces in $\mathbb C\mathbb P^3$ having the following combinations of rational double points: $\mathsf D_5\mathsf E_7\mathsf E_7,$ $\mathsf D_7\mathsf D_6\mathsf D_6,$ $\mathsf E_6\mathsf D_8\mathsf D_5,…
We show, in this first part, that the maximal number of singular points of a normal quartic surface $X \subset \mathbb{P}^3_K$ defined over an algebraically closed field $K$ of characteristic $2$ is at most $16$. We produce examples with $14$, respectively $12$, singular points and show that, under several geometric assumptions ($\mathfrak S_4$-symmetry, or behaviour of the Gauss map, or structure of tangent cone at one of the singular points $P$, separability/inseparability of the projection with centre $P$), we can obtain smaller upper bounds for the number of singular points of $X$.
We establish Manin's conjecture for a quartic del Pezzo surface split over Q and having a singularity of type A_3 and containing exactly four lines. It is the first example of split singular quartic del Pezzo surface whose universal torsor is not a hypersurface for which Manin's conjecture is proved.
Let $X\subset \mathbb{P}^4$ be a terminal factorial quartic $3$-fold. If $X$ is non-singular, $X$ is \emph{birationally rigid}, i.e. the classical MMP on any terminal $\mathbb{Q}$-factorial projective variety $Z$ birational to $X$ always terminates with $X$. This no longer holds when $X$ is singular, but very few examples of non-rigid factorial quartics are known. In this article, we first bound the local analytic type of singularities that may occur on a terminal factorial quartic hypersurface $X\subset \mathbb{P}^4$. A singular point on such a hypersurface is either of type $cA_n$ ($n\geq 1$…
We prove the sharp bound of at most 64 lines on complex projective quartic surfaces (resp. affine quartics) that are not ruled by lines. We study configurations of lines on certain non-K3 surfaces of degree four and give various examples of singular quartics with many lines.
We compute the rational cohomology of the moduli space of non-singular non-hyperelliptic complex projective curves of genus 3 with an odd theta characteristic.
This is the unabridged web version of the paper that will be published on the American Journal of Mathematics. In this paper, we study the birational geometry of certain examples of mildly singular quartic 3-folds. A quartic 3-fold is an example of a Fano variety, that is, a variety $X$ with ample anticanonical sheaf $Ø_X(-K_X)$. From the point of view of birational geometry they basically fall within two classes: either $X$ is ``close to being rational'', and then it has very many biregularly distinct birational models as a Fano 3-fold, or, at the other extreme, $X$ has a unique model and it …
We consider the class of singular double coverings $X \to \PP^3$ ramified in the degeneration locus $D$ of a family of 2-dimensional quadrics. These are precisely the quartic double solids constructed by Artin and Mumford as examples of unirational but nonrational conic bundles. With such quartic surface $D$ one can associate an Enriques surface $S$ which is the factor of the blowup of $D$ by a natural involution acting without fixed points (such Enriques surfaces are known as nodal Enriques surfaces or Reye congruences). We show that the nontrivial part of the derived category of coherent she…
We prove Manin's conjecture for two del Pezzo surfaces of degree four which are split over Q and whose singularity types are respectively 3A_1 and A_1+A_2. For this, we study a certain restricted divisor function and use a result about the equidistribution of its values in arithmetic progressions. In this task, Weil's bound for Kloosterman sums plays a key role.
We prove that the dimension of a quartic symmetroid singular along a quadric of codimension 1 is at most 4, if it is not a cone. In the maximal case, the quadric is reducible and consists of rank-3-points. If the quadric is irreducible, it consists of rank-2-points and the symmetroid is at most 3-dimensional.
For each $n \geq 3$ the authors provide an $n$-dimensional rigid compact complex manifold of Kodaira dimension $1$. First they construct a series of singular quotients of products of $(n-1)$ Fermat curves with the Klein quartic, which are rigid. Then using toric geometry a suitable resolution of singularities is constructed and the deformation theories of the singular model and of the resolutions are compared, showing the rigidity of the resolutions.
We show that the classical Fermat quartic has exactly three smooth spatial models. As a generalization, we give a classification of smooth spatial (as well as some other) models of singular $K3$-surfaces of small discriminant. As a by-product, we observe a correlation (up to a certain limit) between the discriminant of a singular $K3$-surface and the number of lines in its models. We also construct a $K3$-quartic surface with $52$ lines and singular points, as well as a few other examples with many lines or models.
Let K be a field of characteristic different from 2 and C an elliptic curve over K given by a Weierstrass equation. To divide an element of the group C by 2, one must solve a certain quartic equation. We characterise the quartics arising from this procedure and find how far the quartic determines the curve and the point. We find the quartics coming from 2-division of 2- and 3-torsion points, and generalise this correspondence to singular plane cubics. We use these results to study the question of which degree 4 maps of curves can be realised as duplication of a multisection on an elliptic surf…
We study complex spatial quartic surfaces with simple singularities up to equisingular deformations; as a first step, give a complete equisingular deformation classification of the so-called non-special simple quartic surfaces.
An asymptotic formula is established for the number of rational points of bounded height on a non-singular quartic del Pezzo surface with a conic bundle structure.
We test the methods for computing the Picard group of a $K3$ surface in a situation of high rank. The examples chosen are resolutions of quartics in $\bP^3$ having 14 singularities of type $A_1$. Our computations show that the method of R. van Luijk works well when sufficiently large primes are used.
K3 polytopes appear in complements of tropical quartic surfaces. They are dual to regular unimodular central triangulations of reflexive polytopes in the fourth dilation of the standard tetrahedron. Exploring these combinatorial objects, we classify K3 polytopes with up to $30$ vertices. Their number is $36\,297\,333$. We study the singular loci of quartic surfaces that tropicalize to K3 polytopes. These surfaces are stable in the sense of Geometric Invariant Theory.
Motivated by questions occuring in the construction of certain twistor spaces the parameter space of conics tangent to a given quartic is investigated. For a given real quartic surface in complex $\PP ^3$ that has exactly 13 ordinary nodes as singularities this parameter space is studied. In particular, its irreducible components are described.
This article focuses on the study of toric algebraic statistical models which correspond to toric Del Pezzo surfaces with Du Val singularities. A closed-form for the Maximum Likelihood Estimate of algebraic statistical models which correspond to cubic and quartic toric Del Pezzo surfaces with Du Val singular points is given. Also, we calculate the ML degrees of some toric Del Pezzo surfaces of degree less than or equal to six, which equals the degree of the surface in all the case but one, namely the quintic with two points of type $\mathbb{A}_1$.
Over a field k of characteristic 3, we prove that there are no smooth quartic surfaces S in IP^3 with more than 112 lines. Moreover, the surface with 112 lines is projectively equivalent over k-bar to the Fermat quartic. As a key ingredient, we derive a characteristic free upper bound for the number of lines met by a quadric on a smooth quartic surface.
Let X be a non-singular projective hypersurface of degree 4, which is defined over the rational numbers. Assume that X has dimension 39 or more, and that X contains a real point and p-adic points for every prime p. Then X is shown to contain infinitely many rational points.
The characteristic numbers of smooth plane quartics are computed using intersection theory on a component of the moduli space of stable maps. This completes the verification of Zeuthen's prediction of characteristic numbers of smooth plane curves. A short sketch of a computation of the characteristic numbers of plane cubics is also given as an illustration.
We prove that a K3 quartic surface defined over a field of characteristic 2 can contain at most 68 lines. If it contains 68 lines, then it is projectively equivalent to a member of a 1-dimensional family found by Rams and Schütt.
We give a defining equation of a complex smooth quartic surface containing 56 lines, and investigate its reductions to positive characteristics. This surface is isomorphic to the complex Fermat quartic surface, which contains only 48 lines. We give the isomorphism explicitly.
Rational elliptic surfaces with six singular double fibres
Università di Roma Tor Vergata（罗马托尔维加塔大学）；Università di Bologna（博洛尼亚大学）；University of Pennsylvania（宾夕法尼亚大学）；Colorado State University（科罗拉多州立大学）；Università Roma Tre（罗马第三大学）；École Polytechnique Fédérale de Lausanne（洛桑联邦理工学院）
A recent result shows that a general smooth plane quartic can be recovered from its 24 inflection lines and a single inflection point. Nevertheless, the question whether or not a smooth plane curve of degree at least 4 is determined by its inflection lines is still open. Over a field of characteristic 0, we show that it is possible to reconstruct any smooth plane quartic with at least 8 hyperinflection points by its inflection lines. Our methods apply also in positive characteristic, where we show a similar result, with two exceptions in characteristic 13.
For every p >= 5, we determine all Z_p-invariant nonsingular quartic surfaces in the three dimensional projective space over an algebraically closed field of characteristic zero. In some cases, we also determine their full projective automorphism groups.
We determine which singular del Pezzo surfaces are equivariant compactifications of G_a^2, to assist with proofs of Manin's conjecture for such surfaces. Additionally, we give an example of a singular quartic del Pezzo surface that is an equivariant compactification of a semidirect product of G_a and G_m.
A monoid hypersurface is an irreducible hypersurface of degree d which has a singular point of multiplicity d-1. Any monoid hypersurface admits a rational parameterization, hence is of potential interest in computer aided geometric design. We study properties of monoids in general and of monoid surfaces in particular. The main results include a description of the possible real forms of the singularities on a monoid surface other than the (d-1)-uple point. These results are applied to the classification of singularities on quartic monoid surfaces, complementing earlier work on the subject.
In the article we construct low-rate non-split toric $q$-ary codes on some singular surfaces. More precisely, we consider non-split toric cubic and quartic del Pezzo surfaces, whose singular points are $\mathbb{F}_{\!q}$-conjugate. Our codes turn out to be BCH ones with sufficiently large minimum distance $d$. Indeed, we prove that $d - d^* \geqslant q - \lfloor 2\sqrt{q} \rfloor - 1$, where $d^*$ is the designed minimum distance. In other words, we significantly improve upon BCH bound. On the other hand, the defect of the Griesmer bound for the new codes is $\leqslant \lfloor 2\sqrt{q} \rfloo…
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ütt theorem. Our proof offers a deeper insight into the triangle-free case and takes advantage of a special configuration of lines, thereby avoiding the technique of the flecnodal divisor. We provide several examples of non-smooth K3 quartic surfaces with many lines.
