We study the mixed Hodge structure on the third homology group of a threefold which is the double cover of projective three-space ramified over a quartic surface with a double conic. We deal with the Torelli problem for such threefolds.
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.
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.
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$.
An ordinary plane of a finite set of points in real 3-space with no three collinear is a plane intersecting the set in exactly three points. We prove a structure theorem for sets of points spanning few ordinary planes. Our proof relies on Green and Tao's work on ordinary lines in the plane, combined with classical results on space quartic curves and non-generic projections of curves. This gives an alternative approach to Ball's recent results on ordinary planes, as well as extending them. We also give bounds on the number of coplanar quadruples determined by a finite set of points on a rationa…
The log canonical thresholds of irreducible quasi-ordinary hypersurface singularities are computed, using an explicit list of pole candidates for the motivic zeta function found by the last two authors.
In this paper we study some properties of the class of nu-quasi-ordinary hypersurface singularities. They are defined by a very mild condition on its (projected) Newton polygon. We associate with them a Newton tree and characterize quasi-ordinary hypersurface singularities among nu-quasi-ordinary hypersurface singularities in terms of their Newton tree. A formula to compute the discriminant of a quasi-ordinary Weierstrass polynomial in terms of the decorations of its Newton tree is given. This allows to compute the discriminant avoiding the use of determinants and even for non Weierstrass prep…
Toric embedded resolutions of quasi-ordinary hypersurface singularities
利用复解析超曲面的复环态射,建立了复解析超曲面的拟寻常奇点的两个嵌入式分解过程,其中复环态射只依赖于奇点的拟寻常投影的特征单项式.这个结果回答了Lipman在Equisingularity and simultaneous奇点的分解,奇点的分解,Progress in Mathematics No.181,2000,485-503中的一个公开问题。在第一个过程中,奇异性被嵌入为超曲面。在第二个过程中,这是灵感的工作戈尔丁和Teissier的平面曲线(见解决奇异的平面解析分支与一个环面态射,loc。引用,第315-340页),我们以一个环面态射提供其嵌入分辨率的方式将奇点重新嵌入到更大维度的仿射空间中。我们比较这两个程序,我们表明,他们符合适当的假设。
The geometric motivic Poincaré series of a germ $(S,0)$ of complex algebraic variety takes into account the classes in the Grothendieck ring of the jets of arcs through $(S,0)$. Denef and Loeser proved that this series has a rational form. We give an explicit description of this invariant when $(S,0)$ is an irreducible germ of quasi-ordinary hypersurface singularity in terms of the Newton polyhedra of the logarithmic jacobian ideals. These ideals are determined by the characteristic monomials of a quasi-ordinary branch parametrizing $(S,0)$.
A quasi-ordinary polynomial is a monic polynomial with coefficients in the power series ring such that its discriminant equals a monomial up to unit. In this paper we study higher derivatives of quasi-ordinary polynomials, also called higher order polars. We find factorizations of these polars. Our research in this paper goes in two directions. We generalize the results of Casas-Alvero and our previous results on higher order polars in the plane to irreducible quasi-ordinary polynomials. We also generalize the factorization of the first polar of a quasi-ordinary polynomial (not necessary irred…
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,…
Let $f(Y)\in K[[X_1,\dots,X_d]][Y]$ be a quasi-ordinary Weierstrass polynomial with coefficients in the ring of formal power series over an algebraically closed field of characteristic zero. In this paper we study the discriminant $D_f$ of $f(Y)-V$, where $V$ is a new variable. We show that the Newton polytope of $D_f$ depends only on contacts between the roots of $f(Y)$. Then we prove that $f(Y)$ is irreducible if and only if the Newton polytope of $D_f$ satisfies some arithmetic conditions. Finally we generalize these results to quasi-ordinary power series.
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.
We construct two small resolutions of singularities of the Coble fourfold (the double cover of the four-dimensional projective space branched over the Igusa quartic). We use them to show that all $S_6$-invariant three-dimensional quartics are birational to conic bundles over the quintic del Pezzo surface with the discriminant curves from the Wiman-Edge pencil. As an application, we check that $S_6$-invariant three-dimensional quartics are unirational, obtain new proofs of rationality of four special quartics among them and irrationality of the others, and describe their Weil divisor class grou…
We present algorithms for reconstructing, up to unavoidable projective automorphisms, surfaces with ordinary singularities in three dimensional space starting from their silhouette, or "apparent contour" - namely the branching locus of a projection on the plane - and the projection of their singular locus.
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.
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…
The Hodge spectrum is an important analytic invariant of singularities encoding the Hodge filtration and the monodromy of the Milnor fiber. Explicit formulas exist for only a few cases. In this article the main result is a combinatorial formula for homogeneous polynomials in three variables whose reduced one define projective curve arrangements having only ordinary multiple points.
In this paper we give a complete description of the irreducible components of the jet schemes (with origin in the singular locus) of a two-dimensional quasi-ordinary hypersurface singularity. We associate with these components and with their codimensions and embedding dimensions, a weighted graph. We prove that the data of this weighted graph is equivalent to the data of the topological type of the singularity. We also determine a component of the jet schemes (or equivalently, a divisor on $\mathbb{A}^3$), that computes the log canonical threshold of the singularity embedded in $\mathbb{A}^3$.…
We describe the singularities and related properties of the arrangement of 21 reducible polars of Klein's quartic, containing Klein's well-known arrangement of $21$ lines.
We show that smooth curves in the same biliaison class on a hypersurface in $\mathbf{P}^3$ with ordinary singularities are linearly equivalent. We compute the invariants $h^0(\mathscr{I}_C(d))$, $h^1(\mathscr{I}_C(d))$ and $h^1(\mathscr{O}_C(d))$ of a curve $C$ on such a surface $X$ in terms of the cohomologies of divisors on the normalization of $X$. We then study general projections in $\mathbf{P}^3$ of curves lying on the rational normal scroll $S(a,b)\subset\mathbf{P}^{a+b+1}$. If we vary the curves in a linear system on $S(a,b)$ as well as the projections, we obtain a family of curves in …
As an application of universal polynomials for local and multi-singularities of maps, we revisit classical enumerative formulae of Salmon-Cayley-Zeuthen for projective surfaces and analogous formulae of Segre-(B.)Severi-Roth for projective $3$-folds. In particular, several examples of actual computation are given using universal polynomials for computing weighted Euler characteristics of singularity loci.
We investigate the existence of complete intersection threefolds $X \subset \mathbb{P}^n$ with only isolated, ordinary multiple points and we provide some sufficient conditions for their factoriality.
Given an irreducible hypersurface singularity of dimension $d$ (defined by a polynomial $f\in K[[ {\bf x} ]][z]$) and the projection to the affine space defined by $K[[ {\bf x} ]]$, we construct an invariant which detects whether the singularity is quasi-ordinary with respect to the projection. The construction uses a weighted version of Hironaka's characteristic polyhedron and successive embeddings of the singularity in affine spaces of higher dimensions. When $ f $ is quasi-ordinary, our invariant determines the semigroup of the singularity and hence it encodes the embedded topology of the s…
Klein's simple group $H$ of order $168$ is the automorphism group of the plane quartic curve $C$, called Klein quartic. By Torelli Theorem, the full automorphism group $G$ of the Jacobian $J=J(C)$ is the group of order $336$, obtained by adding minus identity to $H$. The quotient variety $J/G$ can be alternatively represented as the quotient $\mathbb C^3/\tilde G$ of the complex $3$-space by the complex crystallographic group $\tilde G$, the extension of $G$ by the period lattice of the Klein quartic. Moreover, it turns out that $\tilde G$ is generated by affine complex reflections. According …
In this paper we characterize the Blowing-up maps of ordinary singularities for which there exists a natural Gysin morphism, i.e. a bivariant class $θ\in Hom_{D(Y)}(Rπ_*\mathbb Q_X, \mathbb Q_Y)$, compatible with pullback and with restriction to the complement of the singularity.
We study nodal del Pezzo 3-folds of degree $1$ (also known as double Veronese cones) with $28$ singularities, which is the maximal possible number of singularities for such varieties. We show that they are in one-to-one correspondence with smooth plane quartics and use this correspondence to study their automorphism groups. As an application, we find all $G$-birationally rigid varieties of this kind, and construct an infinite number of non-conjugate embeddings of the group $\mathfrak{S}_4$ into the space Cremona group.
We construct a quartic threefold with L-rational singularities which has torsion in its middle homology group. This answers a question of Brown and Schnetz for all fields of characteristic zero.
We study the geometry of quintic threefolds $X\subset \mathbb{P}^4$ with only ordinary triple points as singularities. In particular, we show that if a quintic threefold $X$ has a reducible hyperplane section then $X$ has at most $10$ ordinary triple points, and that this bound is sharp. We construct various examples of quintic threefolds with triple points and discuss their defect.
We consider the derived category of an Artin-Mumford quartic double solid blown-up at ten ordinary double points. We show that it has a semi-orthogonal decomposition containing the derived category of the Enriques surface of a Reye congruence. This answers affirmatively a conjecture by Ingalls and Kuznetsov.
Let Y be a hypersurface in projective space having only ordinary double points as singularities. We prove a variant of a conjecture of L. Wotzlaw on an algebraic description of the graded quotients of the Hodge filtration on the top cohomology of the complement of Y except for certain degrees of the graded quotients, as well as its extension to the Milnor cohomology of a defining polynomial of Y for degrees a little bit lower than the middle. These partially generalize theorems of Griffiths and Steenbrink in the Y smooth case, and enable us to determine the structure of the pole order spectral…
We investigate the structure of a variety of new Moishezon twistor spaces, by utilizing the pluri-half-anti-canonical map from the twistor spaces. Each of these twistor spaces is bimeromorphic to a double covering of a scroll of planes over a rational normal curve, and the branch divisor of the double cover is a cut of the scroll by a quartic hypersurface. In particular, the double covering has a pencil of Del Pezzo surfaces of degree two. Correspondingly, the twistor spaces have a pencil of rational surfaces with big anti-canonical class. The base locus of the last pencil is a cycle of ration…
We study the deformation theory of a Q-Fano 3-fold with only terminal singularities. First, we show that the Kuranishi space of a Q-Fano 3-fold is smooth. Second, we show that every Q-Fano 3-fold with only "ordinary" terminal singularities is Q-smoothable, that is, it can be deformed to a Q-Fano 3-fold with only quotient singularities. Finally, we prove Q-smoothability of a Q-Fano 3-fold assuming the existence of a Du Val anticanonical element. As an application, we get the genus bound for primary Q-Fano 3-folds with Du Val anticanonical elements.
There exists a well established differential topological theory of singularities of ordinary differential equations. It has mainly studied scalar equations of low order. We propose an extension of the key concepts to arbitrary systems of ordinary or partial differential equations. Furthermore, we show how a combination of this geometric theory with (differential) algebraic tools allows us to make parts of the theory algorithmic. Our three main results are firstly a proof that even in the case of partial differential equations regular points are generic. Secondly, we present an algorithm for th…
A homotopical treatment of intersection cohomology recently developed by Chataur-Saralegui-Tanré associates a "perverse algebraic model" to every topological pseudomanifold, extending Sullivan's presentation of rational homotopy to intersection cohomology. In this context, there is a notion of "intersection-formality", measuring the vanishing of Massey products in intersection cohomology. In the present paper, we study the perverse algebraic model of complex projective varieties with isolated singularities. We endow such invariant with natural mixed Hodge structures. This allows us to prove so…