The Eckardt hypersurface in $\mathbb{P}^{19}$ parameterizes smooth cubic surfaces with an Eckardt point, which is a point common to three of the $27$ lines on a smooth cubic surface. We describe the cubic surfaces lying on the singular locus of the model of this hypersurface in $\mathbb{P}^4$, obtained via restriction to the space of cubic surfaces possessing a so-called Sylvester form. We prove that inside the moduli of cubics, the singular locus corresponds to a reducible surface with two rational irreducible components intersecting along two rational curves. The two curves intersect in two points corresponding to the Clebsch and the Fermat cubic surfaces. We observe that the cubic surfaces parameterized by the two components or the two rational curves are distinguished by the number of Eckardt points and automorphism groups.
Let $X$ be a smooth hypersurface of degree $n\geq 3$ in $\mathbb{P}^n$. We prove that the log canonical threshold of $H\in|-K_X|$ is at least $\frac{n-1}{n}$. Under the assumption of the Log minimal model program, we also prove that a hyperplane section $H$ of $X$ is a cone in $\mathbb{P}^{n-1}$ over a smooth hypersurface of degree $n$ in $\mathbb{P}^{n-2}$ if and only if the log canonical threshold of $H$ is $\frac{n-1}{n}$.
A point P on a smooth hypersurface X of degree d in an N-dimensional projective space is called a star point if and only if the intersection of X with the embedded tangent space T_P(X) is a cone with vertex P. This notion is a generalization of total inflection points on plane curves and Eckardt points on smooth cubic surfaces in three-dimensional projective space. We generalize results on the configuration space of total inflection points on plane curves to star points. We give a detailed description of the configuration space for hypersurfaces with two or three star points. We investigate co…
The Hessian of a general cubic surface is a nodal quartic surface, hence its desingularisation is a K3 surface. We determine the transcendental lattice of the Hessian K3 surface for various cubic surfaces (with nodes and/or Eckardt points for example). Classical invariant theory shows that the moduli space of cubic surfaces is a weighted projective space. We describe the singular locus and some other subvarieties of the moduli space.
We show that the Zariski closure of the set of hypersurfaces of degree $M$ in ${\mathbb P}^{M}$, where $M\geq 5$, which are either not factorial or not birationally superrigid, is of codimension at least $\binom{M-3}{2}+1$ in the parameter space.
We consider the closed locus of $r$-tuples of hypersurfaces in $\mathbb{P}^r$ with positive dimensional intersection, and show in a large range of degrees that its largest component is the locus of $r$-tuples of hypersurfaces whose intersection contains a line. We then apply our methods to obtain new results on the largest components of the locus of hypersurfaces with positive dimensional singular loci and the locus of smooth hypersurfaces with a higher dimensional family of lines through a point than expected.
We show that if a cubic hypersurface with positive dual defect over the complex number field is not a cone, then either the hypersurface coincides with the secant variety of the singular locus, or the hypersurface contains a linear subvariety of dimension greater than the dual defect such that the intersection of the singular locus and a general contact locus is contained in the linear subvariety.
The characteristic polynomial of an $r$-tuple $(A_1,..., A_r)$ of $n \times n$ matrices is the determinant $\det(x_0 I + x_1 A_1 + ... + x_r A_r)$. We show that if $r$ is at least 3 and $A = (A_1,..., A_r)$ is an $r$-tuple of matrices in general position, then up to conjugacy there are only finitely many $r$-tuples of matrices with the same characteristic polynomial as $A$. Equivalently, the locus of determinantal hypersurfaces of degree $n$ in $P^r$ is irreducible of dimension $(r-1)n^2 + 1$.
We consider the locus of $r$-tuples of homogeneous forms of some fixed degree whose common vanishing locus in $\mathbb{P}^r$ is positive dimensional. We show that any component of maximal dimension of that locus either consists of homogeneous forms all vanishing on some line or homogeneous forms where a proper subset fail to intersect properly.
We give a formula in terms of multidimensional resultants for an equation for the flex locus of a projective hypersurface, generalizing a classical result of Salmon for surfaces. Using this formula, we compute the dimension of this flex locus, and an upper bound for the degree of its defining equations. We also show that, when the hypersurface is generic, this bound is reached, and that the generic flex line is unique and has the expected order of contact with the hypersurface.
We develop a general approach to prove K-stability of Fano varieties. The new theory is used to (a) prove the existence of Kähler-Einstein metrics on all smooth Fano hypersurfaces of Fano index two, (b) to compute the stability thresholds for hypersurfaces at generalized Eckardt points and for cubic surfaces at all points, and (c) to provide a new algebraic proof of Tian's criterion for K-stability, amongst other applications.
Hypersurface simple K3 singularities defined by nondegenerate quasi-homogeneous polynomials are classified into ninety five classes in term of the weight of the polynomial by T. Yonemura. We consider versal deformations of them. It has been conjectured that the stratum $μ$ =const of the versal deformation of any nondegenerate hypersurface simple K3 singularity is equivalent to the $δ_m$ constant locus. It holds true for the case deformations are also nondegenerate by K. Watanabe. On the other hand, it follows from Reid that the $δ_m$ constant locus includes the $μ$ constant locus generally. We…
We show that the Chern-Schwartz-MacPherson class of a hypersurface X in a nonsingular variety M `interpolates' between two other notions of characteristic classes for singular varieties, provided that the singular locus of X is smooth and that certain numerical invariants of X are constant along this locus. This allows us to define a lift of the Chern-Schwartz-MacPherson class of such `nice' hypersurfaces to intersection homology. As another application, the interpolation result leads to an explicit formula for the Chern-Schwartz-MacPherson class of X in terms of its polar classes.
We employ the formalism of vanishing cycles and perverse sheaves to introduce and study the vanishing cohomology of complex projective hypersurfaces. As a consequence, we give upper bounds for the Betti numbers of projective hypersurfaces, generalizing those obtained by different methods by Dimca in the isolated singularities case, and by Siersma-Tibăr in the case of hypersurfaces with a $1$-dimensional singular locus. We also prove a supplement to the Lefschetz hyperplane theorem for hypersurfaces, which takes the dimension of the singular locus into account, and we use it to give a new proof…
Given an ample real Hermitian holomorphic line bundle $L$ over a real algebraic variety $X$, the space of real holomorphic sections of $L^{\otimes d}$ inherits a natural Gaussian probability measure. We prove that the probability that the zero locus of a real holomorphic section $s$ of $L^{\otimes d}$ defines a maximal hypersurface tends to $0$ exponentially fast as $d$ goes to infinity. This extends to any dimension a result of Gayet and Welschinger valid for maximal real algebraic curves inside a real algebraic surface. The starting point is a low degree approximation property which relates …
Let $X$ be an irreducible, reduced complex projective hypersurface of degree $d$. A point $P$ not contained in $X$ is called uniform if the monodromy group of the projection of $X$ from $P$ is isomorphic to the symmetric group $S_d$. We prove that the locus of non--uniform points is finite when $X$ is smooth or a general projection of a smooth variety. In general, it is contained in a finite union of linear spaces of codimension at least $2$, except possibly for a special class of hypersurfaces with singular locus linear in codimension $1$. Moreover, we generalise a result of Fukasawa and Taka…
A polar hypersurface P of a complex analytic hypersurface germ, f=0, can be investigated by analyzing the invariance of certain Newton polyhedra associated to the image of P, with respect to suitable coordinates, by certain morphisms appropriately associated to f. We develop this general principle of Teissier (see Varietes polaires. I. Invariants polaires des singularites d'hypersurfaces, Invent. Math. 40 (1977), 3, 267-292) when f=0 is a quasi-ordinary hypersurface germ and P is the polar hypersurface associated to any quasi-ordinary projection of f=0. We build a decomposition of P in bunches…
We characterize the smallest codimension components of the Hodge locus of smooth degree $d$ hypersurfaces of the projective space $\mathbb{P}^{n+1}$ of even dimension $n$, passing through the Fermat variety (with $d\neq 3,4,6$). They correspond to the locus of hypersurfaces containing a linear algebraic cycle of dimension $\frac{n}{2}$. Furthermore, we prove that among all the local Hodge loci associated to a non-linear cycle passing through Fermat, the ones associated to a complete intersection cycle of type $(1,1,\ldots,1,2)$ attain the minimal possible codimension of their Zariski tangent s…
We prove birational superrigidity of every hypersurface of degree N in P^N with singular locus of dimension s, under the assumption that N is at least 2s+8 and it has only quadratic singularities of rank at least N-s. Combined with the results of I. A. Chel'tsov and T. de Fernex, this completes the list of birationally superrigid singular hypersurfaces with only ordinary double points except in dimension 4 and 6. Further we impose an additional condition on the base locus of a birational map to a Mori fiber space. Then we prove conditional birational superrigidity of certain smooth Fano hypers…
This article presents the theory of focal locus applied to the hypersurfaces in the projective space which are (finitely) covered by linear spaces and such that the tangent space is constant along these spaces.
We show that for every smooth generic projective hypersurface $X\subset\mathbb P^{n+1}$, there exists a proper subvariety $Y\subsetneq X$ such that $\operatorname{codim}_X Y\ge 2$ and for every non constant holomorphic entire map $f\colon\mathbb C\to X$ one has $f(\mathbb C)\subset Y$, provided $°X\ge 2^{n^5}$. In particular, we obtain an effective confirmation of the Kobayashi conjecture for threefolds in $\mathbb P^4$.
Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional at the origin, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber, $F_{f, \mathbf 0}$, of $f$ at the origin, with either integral or $\mathbb Z/p\mathbb Z$ coefficients. If the critical locus of $f$ has arbitrary dimension, we show that the smallest possibly non-zero reduced Betti number of $F_{f, \mathbf 0}$ completely determines if $f$ defines a family of isolated singularities, over a smooth base, with constant Milnor number. This result has a n…
Suppose that $f$ defines a singular, complex affine hypersurface. If the critical locus of $f$ is one-dimensional, we obtain new general bounds on the ranks of the homology groups of the Milnor fiber of $f$. This result has an interesting implication on the structure of the vanishing cycles in the category of perverse sheaves.
We provide a classification of developable cubic hypersurfaces in $\mathbb P^4$. Using the correspondence between forms of degree $3$ on $\mathbb P^4$ and Artinian Gorenstein $\mathbb K$-algebras, given by Macaulay-Matlis duality, we describe the locus in ${\rm GOR}(1,5,5,1)$ corresponding to those algebras which satisfy the Strong Lefschetz property.
Coble type hypersurfaces and hyperkähler fourfolds
Universität des Saarlandes（萨尔兰大学）；Université Paris Cité and Sorbonne Université（巴黎西岱大学和索邦大学）；Universitat de Barcelona（巴塞罗那大学）；Università degli Studi di Milano（米兰大学）
We introduce an upper semi-continuous function that stratifies the highest multiplicity locus of a hypersurface in arbitrary characteristic (over a perfect field). The blow-up along the maximum stratum defined by this function leads to a form of simplification of the singularities, also known as a reduction to the monomial case.
Let X be an irreducible, reduced complex projective hypersurface of degree d. A uniform point for X is a point P such that the projection of X from P has maximal monodromy. We extend and improve some results concerning the finiteness of the locus of non-uniform points for projections of hypersurfaces obtained by the authors and Cuzzucoli only for P not contained in X.
Inspired by recent work of Kopparty-Moshkovitz-Zuiddam and motivated by problems in combinatorics and hypergraphs, we introduce the notion of the symmetric geometric rank of a symmetric tensor. This quantity is equal to the codimension of the singular locus of the hypersurface associated to the tensor. We first derive fundamental properties of the symmetric geometric rank. Then, we study the space of symmetric tensors of prescribed symmetric geometric rank, which are spaces of homogeneous polynomials whose corresponding hypersurfaces have a singular locus of bounded codimension.
It is shown that an irreducible cubic hypersurface with nonzero Hessian and smooth singular locus is the secant variety of a Severi variety if and only if its Lie algebra of infinitesimal linear automorphisms admits a nonzero prolongation.
Using a part of XJC-correspondence by Pirio and Russo, we classify cubic forms $f$ whose Hessian matrices induce matrix factorizations of themselves. When it defines a reduced hypersurface, it satisfies the "secant-singularity" correspondence, that is, it coincides with the secant locus of its singular locus. In particular, when $f$ is irreducible, its singular locus is either one of four Severi varieties.
We study the connected component of the automorphism group of a cubic hypersurface over complex numbers. When the cubic hypersurface has nonzero Hessian, this group is usually small. But there are examples with unusually large automorphism groups: the secants of Severi varieties. Can we characterize them by the property of having unusually large automorphism groups? We study this question from the viewpoint of prolongations of the Lie algebras. Our result characterizes the secants of Severi varieties, among cubic hypersurfaces with nonzero Hessian and smooth singular locus, in terms of prolong…
We determine conditions on q for the nonexistence of deep holes of the standard Reed-Solomon code of dimension k over F_q generated by polynomials of degree k+d. Our conditions rely on the existence of q-rational points with nonzero, pairwise-distinct coordinates of a certain family of hypersurfaces defined over F_q. We show that the hypersurfaces under consideration are invariant under the action of the symmetric group of permutations of the coordinates. This allows us to obtain critical information concerning the singular locus of these hypersurfaces, from which the existence of q-rational p…
A congruence is a surface in the Grassmannian $\mathrm{Gr}(1,\mathbb{P}^3)$ of lines in projective $3$-space. To a space curve $C$, we associate the Chow hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ consisting of all lines which intersect $C$. We compute the singular locus of this hypersurface, which contains the congruence of all secants to $C$. A surface $S$ in $\mathbb{P}^3$ defines the Hurwitz hypersurface in $\mathrm{Gr}(1,\mathbb{P}^3)$ of all lines which are tangent to $S$. We show that its singular locus has two components for general enough $S$: the congruence of bitangents and the c…
The aim of this fisrt part is to introduce, for a rather large class of hypersurface singularities with 1 dimensionnal locus, the analog of the Brieskorn lattice at the origin (the singular point of the singular locus). The main results are the finitness theorem for the corresponding (a,b)-module obtained via Kashiwara's constructibility theorem, and non torsion results for a plane curve singularity (not nessarily reduced) and for the suspension of such non torsion cases with an isolated singularity.
Let $k$ be an algebraically closed field. Fix integers $n$ and $b$ with $n\geq 3$ and $1\leq b\leq n-1.$ Let $T^d_k$ be the moduli space of hypersurfaces $[F]$ in $\mathbb{P}^n_k$ of degree $l$ whose singular locus contains a subscheme of dimension $b$ with Hilbert polynomial among the Hilbert polynomials of $b$-dimensional integral closed subschemes of $\mathbb{P}^n$ of degree $d$. We prove that when $l$ is sufficiently large and $2\leq d\leq \frac{l+1}{2},$ any irreducible component $Z$ of $T^d_k$ satisfies $Z=T^1_k$ or $\dim Z<\dim T^1_k.$
The focal locus $Σ_X$ of an affine variety $X$ is roughly speaking the (projective) closure of the set of points $O$ for which there is a smooth point $x \in X$ and a circle with centre $O$ passing through $x$ which osculates $X$ in $x$. Algebraic geometry interprets the focal locus as the branching locus of the endpoint map $ε$ between the Euclidean normal bundle $N_X$ and the projective ambient space ($ε$ sends the normal vector $O-x$ to its endpoint $O$), and in this paper we address two general problems : 1) Characterize the "degenerate" case where the focal locus is not a hypersurface 2) …
Let $X$ be a cubic hypersurface in $\mathbb P^6$ or a hypersurface of degree greater than equal to $7$ in $\mathbb P^5$. In this note we try to understand, for a very general hyperplane section of $X$, the non-injectivity locus of the corresponding push-forward homomorphism at the level of Chow group of certain dimension.
Let X be a geometrically integral projective cubic hypersurface defined over the rationals, with dimension D and singular locus of dimension at most D-4. For any ε>0, we show that X contains O(B^{D+ε}) rational points of height at most B. The implied constant in this estimate depends upon the choice of εand the coefficients of the cubic form defining X.
We fix a counting function of multiplicities of algebraic points in a projective hypersurface over a number field, and take the sum over all algebraic points of bounded height and fixed degree. An upper bound for the sum with respect to this counting function will be given in terms of the degree of the hypersurface, the dimension of the singular locus, the upper bounds of height, and the degree of the field of definition.
Let g be a cubic polynomial with integer coefficients and n>9 variables, and assume that the congruence g=0 modulo p^k is soluble for all prime powers p^k. We show that the equation g=0 has infinitely many integer solutions when the cubic part of g defines a projective hypersurface with singular locus of dimension <n-10. The proof is based on the Hardy-Littlewood circle method.
We introduce and study the vanishing homology of singular projective hypersurfaces. We prove its concentration in two levels in case of 1-dimensional singular locus $Σ$, and moreover determine the ranks of the nontrivial homology groups. These two groups depend on the monodromy at special points of $Σ$ and on the effect of the monodromy of the local system over its complement.
In this paper we investigate the divisor $\mathcal C_{14}$ inside the moduli space of smooth cubic hypersurfaces in $\mathbb P^5$, whose generic element is a smooth cubic containing a smooth quartic scroll. Using the fact that all degenerations of quartic scrolls in $\mathbb P^5$ contained in a smooth cubic hypersurface are surfaces with one apparent double point, we conclude that every cubic hypersurface belonging to $\mathcal C_{14}$ is rational. As an application of our results and of the construction of some explicit examples contained in the Appendix, we also prove that the Pfaffian locus…
We deal with the quasi-symmetric algebra introduced by Paolo Aluffi, here named (embedded) Aluffi algebra. The algebra is a sort of "intermediate" algebra between the symmetric algebra and the Rees algebra of an ideal, which serves the purpose of introducing the characteristic cycle of a hypersurface in intersection theory. The results described in the present paper have an algebraic flavor and naturally connect with various themes of commutative algebra, such as standard bases á la Hironaka, Artin--Rees like questions, Valabrega--Valla ideals, ideals of linear type, relation type and analytic…
The goal of this paper is to propose a theory of mirror symmetry for varieties of general type. Using Landau-Ginzburg mirrors as motivation, we describe the mirror of a hypersurface of general type (and more generally varieties of non-negative Kodaira dimension) as the critical locus of the zero fibre of a certain Landau-Ginzburg potential. The critical locus carries a perverse sheaf of vanishing cycles. Our main results shows that one obtains the interchange of Hodge numbers expected in mirror symmetry. This exchange is between the Hodge numbers of the hypersurface and certain Hodge numbers d…
We relate the geometry of curves to the notion of hyperbolicity in real algebraic geometry. A hyperbolic variety is a real algebraic variety that (in particular) admits a real fibered morphism to a projective space whose dimension is equal to the dimension of the variety. We study hyperbolic varieties with a special interest in the case of hypersurfaces that admit a real algebraic ruling. The central part of the paper is concerned with secant varieties of real algebraic curves where the real locus has the maximal number of connected components, which is determined by the genus of the curve. Fo…
Let $X$ be a very general hypersurface of degree $d$ in $\mathbb{P}^n$. We investigate positivity properties of the spaces $R_e(X)$ of degree $e$ rational curves in $X$. We show that for small $e$, $R_e(X)$ has no rational curves meeting the locus of smooth embedded curves. We show that for $n \leq d$, there are no rational curves in the locus $Y \subset X$ swept out by lines. And we exhibit differential forms on a smooth compactification of $R_e(X)$ for every $e$ and $n-2 \geq d \geq \frac{n+1}{2}$.
