Unirationality and geometric unirationality for hypersurfaces in positive characteristics
the University of Tokyo（东京大学）；National Center for Theoretical Sciences, Mathematics Division, National Taiwan University（台湾大学国家理论科学中心数学组）；Heinrich-Heine-Universität（杜塞尔多夫大学）
Building on work of Segre and Koll'ar on cubic hypersurfaces, we construct over imperfect fields of characteristic p\geq 3 particular hypersurfaces of degree p, which show that geometrically rational schemes that are regular and whose rational points are Zariski dense are not necessarily unirational. A likewise behaviour holds for certain cubic surfaces in characteristic p=2.
Segre proved that a smooth cubic surface over Q is unirational iff it has a rational point. We prove that the result also holds for cubic hypersurfaces over any field, including finite fields.
Let $\mathscr{X}\to W$ be a flat family of generically irreducible hypersurfaces of degree $d\geq 2$ in $\PP^n$ with singular locus of dimension $t$, with $W$ unirational of dimension $r$. We prove that if $n$ is large enough with respect to $d$, $r$ and $t$, then $\mathscr{X}$ is unirational. This extends results in \cite {Pre, HMP}.
We give examples of smooth $\k$-unirational line-free quartic hypersurfaces over a non algebraically closed field $\k$. Unlike other methods of proving unirationality, our method does not rely on existence of linear spaces on quartics.
In this paper the notion of rational simple connectedness for the quintic Fano threefold $V_5\subset \mathbb{P}^6$ is studied and unirationality of the moduli spaces $\overline{M}_{0,0}^{\text{bir}}(V_5,d)$, with $d \ge 1$, is proved. Many further unirationality results for special moduli spaces of rational curves on quadric hypersurfaces and del Pezzo surfaces are obtained via explicit birational methods.
We provide methods to construct explicit examples of $K3$ surfaces. This leads to unirational constructions of Noether--Lefschetz divisors inside the moduli space of $K3$ surfaces of genus $g$. We implement Mukai's unirationality construction of the moduli spaces of $K3$ surfaces of genus $g\in\{6,\dots, 10, 12\}$, and we also present a new constructive proof of the unirationality of the moduli space of $K3$ surfaces of genus $11$. Furthermore, we show the existence of three unirational hypersurfaces in any moduli space of $K3$ surfaces of genus $g$.
Among geometrically rational surfaces, del Pezzo surfaces of degree two over a field k containing at least one point are arguably the simplest that are not known to be unirational over k. Looking for k-rational curves on these surfaces, we extend some earlier work of Manin on this subject. We then focus on the case where k is a finite field, where we show that all except possibly three explicit del Pezzo surfaces of degree two are unirational over k.
We study rational surfaces on very general Fano hypersurfaces in $\mathbb{P}^n$, with an eye toward unirationality. We prove that given any fixed family of rational surfaces, a very general hypersurface of degree $d$ sufficiently close to $n$ and $n$ sufficiently large will admit no maps from surfaces in that family. In particular, this shows that for such hypersurfaces, any rational curve in the space of rational curves must meet the boundary. We also prove that for any fixed ratio $α$, a very general hypersurface in $\mathbb{P}^n$ of degree $d$ sufficiently close to $n$ will admit no maps fr…
Let $X_4\subset\mathbb{P}^{n+1}$ be a quartic hypersurface of dimension $n\geq 4$ over an infinite field $k$. We show that if either $X_4$ contains a linear subspace $Λ$ of dimension $h\geq \max\{2,\dim(Λ\cap \text{Sing}(X_4))-2\}$ or has double points along a linear subspace of dimension $h\geq 3$, a smooth $k$-rational point and is otherwise general, then $X_4$ is unirational over $k$. This improves previous results by A. Predonzan and J. Harris, B. Mazur, R. Pandharipande for quartics. We also provide a density result for the $k$-rational points of quartic $3$-folds with a double plane over…
Using the path lattice cohomology we provide a conceptual topological characterization of the geometric genus for certain complex normal surface singularities with rational homology sphere links, which is uniformly valid for all superisolated and Newton non--degenerate hypersurface singularities.
We prove some lower bounds on certain nonegative twists of the canonical bundle of a subvariety of a generic hypersurface in projective space. In particular we prove that the generic sextic threefold contains no rational or elliptic curves and no nondegenerate curves of genus 2.
The secant varieties of Severi varieties provide special examples of (singular) cubic hypersurfaces. An interesting question asks when a given cubic hypersurface is projectively equivalent to a secant cubic hypersurface. Inspired by the ''geometric'' Torelli theorem for smooth cubic hypersurfaces due to F. Charles, we study the geometry of lines on secant cubics and describe the Fano variety of lines. Then we verify the ''geometric'' Torelli theorem for the case of secant cubics. Namely, a cubic hypersurface is isomorphic to a secant cubic if and only if their Fano varieties of lines are isomo…
This is a survey on Zariski equisingularity. We recall its definition, main properties, and a variety of applications in Algebraic Geometry and Singularity Theory. In the first part of this survey, we consider Zariski equisingular families of complex analytic or algebraic hypersurfaces. We also discuss how to construct Zariski equisingular deformations. In the second part, we present Zariski equisingularity of hypersurfaces along a nonsingular subvariety and its relation to other equisingularity conditions. We also discuss the canonical stratification of such hypersurfaces given by the dimensi…
Let $(C,p_1,\ldots,p_n)$ be a fixed general pointed curve and let $(X,x_1,\ldots,x_n)$ be a smooth hypersurface of degree $e$ and dimension $r$ with $n$ general points. We consider the problem of enumerating maps $f:C\to X$ of degree $d$ (as measured in the ambient projective space) such that $f(p_i)=x_i$. When $e$ is small compared to $r$ and $d$ is large compared to $g$, $e$, and $r$, these numbers have been computed first by passing to a virtual count in Gromov-Witten theory obtained by Buch-Pandharipande, and then by showing (in work of the author with Pandharipande) that the virtual count…
We propose a 'geometric Chevalley-Warning' conjecture, that is a motivic extension of the Chevalley-Warning theorem in number theory. It is equivalent to a particular case of a recent conjecture of F. Brown and O.Schnetz. In this paper, we show the conjecture is true for linear hyperplane arrangements, quadratic and singular cubic hypersurfaces of any dimension, and cubic surfaces in $\Pbb^3$. The last section is devoted to verifying the conjecture for certain special kinds of hypersurfaces of any dimension. As a by-product, we obtain information on the Grothendieck classes of the affine 'Pott…
We prove that the infinitesimal variations of Hodge structure arising in a number of geometric situations are non-generic. In particular, we consider the case of generic hypersurfaces in complete smooth projective toric varieties, generic hypersurfaces in weighted projective spaces and generic complete intersections in projective space and show that, for sufficiently high degrees, the corresponding infinitesimal variations are non-generic.
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.
This paper designs an alogrithm to compute the minimal combinations of finite sets in Euclidean spaces, and applys the algorithm of study the moment maps and geometric invariant stability of hypersurfaces. The classical example of cubic curves is repeated by the algorithm. Furhtermore the alogrithm works for cubic surfaces. For given affinely indepdent subsets of monomials, the algorithm can output the unique unstable points of the Morse strata if it exists. Also there is a discussion on the affinely dependent sets of monomials.
We determine set-theoretic defining equations for the variety of hypersurfaces of degree d in an N-dimensional complex vector space that have dual variety of dimension at most k. We apply these equations to the Mulmuley-Sohoni variety, the GL_{n^2} orbit closure of the determinant, showing it is an irreducible component of the variety of hypersurfaces of degree $n$ in C^{n^2} with dual of dimension at most 2n-2. We establish additional geometric properties of the Mulmuley-Sohoni variety and prove a quadratic lower bound for the determinental border-complexity of the permanent.
Let $V$ be a complex algebraic hypersurface defined by a polynomial $f$ with Newton polytope $Δ$. It is well known that the spine of its amoeba has a structure of a tropical hypersurface. We prove in this paper that there exists a complex tropical hypersurface $V_{\infty, f}$ such that its coamoeba is homeomorphic to the closure in the real torus of the coamoeba of $V$. Moreover, the coamoeba of $V_{\infty, f}$ contains an arrangement of $(n-1)$-torus depending only on the geometry of $Δ$ and the coefficients of $f$. In addition, we can consider this arrangement, as a weighted codual hyperplan…
This paper studies geometric properties of the Iterated Matrix Multiplication polynomial and the hypersurface that it defines. We focus on geometric aspects that may be relevant for complexity theory such as the symmetry group of the polynomial, the dual variety and the Jacobian loci of the hypersurface, that are computed with the aid of representation theory of quivers.
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.
The purpose of this paper is to investigate the geometric properties of real hypersurfaces of D'Angelo infinite type in ${\mathbb C}^n$. In order to understand the situation of flatness of these hypersurfaces, it is natural to ask whether there exists a nonconstant holomorphic curve tangent to a given hypersurface to infinite order. A sufficient condition for this existence is given by using Newton polyhedra,which is an important concept in singularity theory. More precisely,equivalence conditions are given in the case of some model hypersurfaces.
In this paper, we compute an explicit matrix factorization of a rank 9 Ulrich sheaf on a general cubic hypersurface of dimension at most 7, whose existence was proved by Manivel. Instead of using invariant theory, we use Shamash's construction with a cone over the spinor variety. We also describe an algebro-geometric interpretation of our matrix factorization which connects the spinor tenfold and the Cartan cubic.
We prove geometric and cohomological stabilization results for the universal smooth degree $d$ hypersurface section of a fixed smooth projective variety as $d$ goes to infinity. We show that relative configuration spaces of the universal smooth hypersurface section stabilize in the completed Grothendieck ring of varieties, and deduce from this the stabilization of the Hodge Euler characteristic of natural families of local systems constructed from the vanishing cohomology. We prove explicit formulas for the stable values using a probabilistic interpretation, along with the natural analogs in p…
