Linear subspaces of minimal codimension in hypersurfaces
David Kazhdan, Alexander Polishchuk
备注：
15 pages, v2 substantially rewritten: added Conjecture B and a result on hypersurfaces of rank 2; the result on Schmidt rank is moved to another paper; v3: modified Conjecture B and added examples in the introduction
Let $k$ be a perfect field and let $X\subset {\mathbb P}^N$ be a hypersurface of degree $d$ defined over $k$ and containing a linear subspace $L$ defined over an algebraic closure $\overline{k}$ with $\mathrm{codim}_{{\mathbb P}^N}L=r$. We show that $X$ contains a linear subspace $L_0$ defined over $k$ with $\mathrm{codim}_{{\mathbb P}^N}L\le dr$. We conjecture that the intersection of all linear subspaces (over $\overline{k}$) of minimal codimension $r$ contained in $X$, has codimension bounded above only in terms of $r$ and $d$. We prove this when either $d\le 3$ or $r\le 2$.
In the present note we study configurations of codimension 2 flats in projective spaces and classify those with the smallest rate of growth of the initial sequence. Our work extends those of Bocci, Chiantini in P^2 and Janssen in P^3 to projective spaces of arbitrary dimension.
We show that for a smooth hypersurface $X\subset \bbP^n$ of degree at least 2, there exist arithmetically Cohen-Macaulay (ACM) codimension two subvarieties $Y\subset X$ which are not an intersection $X\cap{S}$ for a codimension two subvariety $S\subset\bbP^n$. We also show there exist $Y\subset X$ as above for which the normal bundle sequence for the inclusion $Y\subset X\subset\bbP^n$ does not split.
We show that the Zariski canonical stratification of complex hypersurfaces is locally bi-Lipschitz trivial along the strata of codimension two. More precisely, we study Zariski equisingular families of surface, not necessarily isolated, singularities in $\mathbb{C}^3$. We show that a natural stratification of such a family given by the singular set and the generic family of polar curves provides a Lipschitz stratification in the sense of Mostowski. In particular, such families are bi-Lipschitz trivial by trivializations obtained by integrating Lipschitz vector fields.
We prove that for any cubic polynomial of slice rank $r$, the intersection of all linear subspaces of minimal codimension contained in the corresponding hypersurface has codimension $\le r^2+\frac{(r+1)^2}{4}+r$ in the affine space. This is deduced from the following result of independent interest. Consider the intersection $I$ of linear ideals $(P_i)$ in $k[x_1,\ldots,x_n]$, with $\dim P_i\le r$. Then the number of quadratic generators of $I$ is $\le r^2$.
We present a polynomial partitioning theorem for finite sets of points in the real locus of an irreducible complex algebraic variety of codimension at most two. This result generalizes the polynomial partitioning theorem on the Euclidean space of Guth and Katz, and its extension to hypersurfaces by Zahl and by Kaplan, Matoušek, Sharir and Safernová. We also present a bound for the number of incidences between points and hypersurfaces in the four-dimensional Euclidean space. It is an application of our partitioning theorem together with the refined bounds for the number of connected components …
We present a variant of the classical Darboux-Jouanolou Theorem. Our main result provides a characterization of foliations which are pull-backs of foliations on surfaces by rational maps. As an application, we provide a structure theorem for foliations on 3-folds admitting an infinite number of extremal rays.
We ask when certain complete intersections of codimension $r$ can lie on a generic hypersurface in $\PP^n$. We give a complete answer to this question when $2r \leq n+2$ in terms of the degrees of the hypersurfaces and of the degrees of the generators of the complete intersection.
On étudie les cycles algébriques de codimension 3 sur les hypersurfaces cubiques lisses de dimension 5. Pour une telle hypersurface, on démontre d'une part que son groupe de Griffiths des cycles de codimension 3 est trivial et d'autre part que l'application d'Abel-Jacobi induit un isomorphisme entre son groupe de Chow des cycles de codimension 3 algébriquement equivalents à zéro et sa jacobienne intermédiaire. ---------- We study 2-cycles of a smooth cubic hypersurface of dimension 5. We show that the Griffiths group of 2-cycles is trivial and the Abel-Jacobi map induces an isomorphism between…
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$.
In the paper we compute the virtual dimension (defined by the Hilbert polynomial) of a space of hypersurfaces of given degree containing $s$ codimension 2 general linear subspaces in $\mathbb{P}^n$. We use Veneroni maps to find a family of unexpected hypersurfaces (in the style of B. Harbourne, J. Migliore, U. Nagel, Z. Teitler) and rigorously prove and extend examples presented in the paper by B. Harbourne, J. Migliore and H. Tutaj-Gasińska.
We study the component H_n of the Hilbert scheme whose general point parameterizes a pair of codimension two linear subspaces in P^n for n > 2. We show that H_n is smooth and isomorphic to the blow-up of the symmetric square of G(n-2,n) along the diagonal. Further H_n intersects only one other component in the full Hilbert scheme, transversely. We determine the stable base locus decomposition of its effective cone and give modular interpretations of the corresponding models, hence conclude that H_n is a Mori dream space.
Kyoji Saito defined a residue map from the logarithmic differential 1-forms along a reduced complex analytic hypersurface to the meromorphic functions on the hypersurface. He studied the condition that the image of this map coincides with the weakly holomorphic functions, that is, with the functions on the normalization. With Michel Granger, the author proved that this condition is equivalent to the hypersurface being normal crossing in codimension one. In this article, the condition is given a natural interpretation in terms of regular differential forms beyond the hypersurface case. For redu…
In this paper we propose and prove an explicit formula for computing the degree of Fano schemes of linear subspaces on general hypersurfaces. The method used here is based on the localization theorem and Bott's residue formula in equivariant intersection theory.
In this paper the codimension of the complement to the set of factorial hypersurfaces of degree $d$ in ${\mathbb P}^N$ is estimated for $d\geqslant 4$, $N\geqslant 7$.
In the paper we present new examples of unexpected varieties. The research on unexpected varieties started with a paper of Cook II, Harbourne, Migliore and Nagel and was continued in the paper of Harbourne, Migliore, Nagel and Teitler. Here we present three ways of producing unexpected varieties that expand on what was previously known. In the paper of Harbourne, Migliore, Nagel and Teitler, cones on varieties of codimension 2 were used to produce unexpected hypersurfaces. Here we show that cones on positive dimensional varieties of codimension 2 or more almost always give unexpected hypersurf…
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 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 study the moduli space of $d$-dimensional linear subspaces contained in a fixed $(d+1)$-dimensional linear variety $X$, and its tropicalization. We prove that these moduli spaces are linear subspaces themselves, and thus their tropicalization is completely determined by their associated (valuated) matroids. We show that these matroids can be interpreted as the matroid of lines of the hyperplane arrangement corresponding to $X$, and generically are equal to a Dilworth truncation of the free matroid. In this way, we can describe combinatorially tropicalized Fano schemes and tropicalizations o…
For a projective variety $Z$ and for any integer $p$, define the $p$-th Néron-Severi group $NS_p(Z)$ of $Z$ as the image of the cycle map $A_{p}(Z)\to H_{2p}(Z; \mathbb{C})$. Now let $X\subset \Ps^{2m+1}$ ($m\geq 1$) be a projective variety of dimension $2m-1$, with isolated singularities, complete intersection of a smooth hypersurface of degree $k$, with a hypersurface of degree $n>max\{k, 2m+1\}$, and let $F$ be a general hypersurface of degree $n$ containing $X$. We prove that the natural map $NS_m(X)\to NS_m(F)$ is surjective, and that if $dim NS_m(F)=1$ then $dim NS_m(X)=1$. In particular…
Let $X$ be an arbitrary smooth hypersurface in $\mathbb{C} \mathbb{P}^n$ of degree $d$. We prove the de Jong-Debarre Conjecture for $n \geq 2d-4$: the space of lines in $X$ has dimension $2n-d-3$. We also prove an analogous result for $k$-planes: if $n \geq 2 \binom{d+k-1}{k} + k$, then the space of $k$-planes on $X$ will be irreducible of the expected dimension. As applications, we prove that an arbitrary smooth hypersurface satisfying $n \geq 2^{d!}$ is unirational, and we prove that the space of degree $e$ curves on $X$ will be irreducible of the expected dimension provided that $d \leq \fr…
We prove that the determinantal complexity of a hypersurface of degree $d > 2$ is bounded below by one more than the codimension of the singular locus, provided that this codimension is at least $5$. As a result, we obtain that the determinantal complexity of the $3 \times 3$ permanent is $7$. We also prove that for $n> 3$, there is no nonsingular hypersurface in $\mathbf{P}^n$ of degree $d$ that has an expression as a determinant of a $d \times d$ matrix of linear forms while on the other hand for $n \le 3$, a general determinantal expression is nonsingular. Finally, we answer a question of R…
We consider smooth codimension two subcanonical subvarieties in $\mathbb{P}^n$ with $n \geq 5$, lying on a hypersurface of degree $s$ having a linear subspace of multiplicity $(s-2)$. We prove that such varieties are complete intersections. We also give a little improvement to some earlier results on the non existence of rank two vector bundles on $\mathbb{P}^4$ with small Chern classes.
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.
In this paper, we prove that the Milnor fibre of a singularity over an i.c.i.s. of dimension 3 has the homotopy type of a bouquet of spheres, provided that the function that defines the singularity has finite extended codimension with respect to the ideal that defines the i.c.i.s.
Consider a linear realization of a matroid over a field. One associates with it a configuration polynomial and a symmetric bilinear form with linear homogeneous coefficients. The corresponding configuration hypersurface and its non-smooth locus support the respective first and second degeneracy scheme of the bilinear form. We show that these schemes are reduced and describe the effect of matroid connectivity: for (2-)connected matroids, the configuration hypersurface is integral, and the second degeneracy scheme is reduced Cohen-Macaulay of codimension 3. If the matroid is 3-connected, then al…
We consider Fano sevenfolds $Y$ obtained by intersecting the Grassmannian $\hbox{Gr}(3,6)$ with a codimension 2 linear subspace (with respect to the Plücker embedding). We prove that the motive of $Y$ is Kimura finite-dimensional. We also prove the generalized Hodge conjecture for all powers of $Y$.
We study completely reducible fibers of pencils of hypersurfaces on $\mathbb P^n$ and associated codimension one foliations of $\mathbb P^n$. Using methods from theory of foliations we obtain certain upper bounds for the number of these fibers as functions only of $n$. Equivalently this gives upper bounds for the dimensions of resonance varieties of hyperplane arrangements. We obtain similar bounds for the dimensions of the characteristic varieties of the arrangement complements.
We single out some problems of Schubert calculus of subspaces of codimension 2 that have the property that all their solutions are real provided that the data are real. Our arguments explore the connection between subspaces of codimension 2 and rational functions of one variable.
We prove that the preimage of a germ of a singular analytic hypersurface under a germ of a finite holomorphic map $g: (\mathbb{C}^n,0) \rightarrow (\mathbb{C}^n,0)$ is again singular. This provides a generalization of previous results of this nature by Ebenfelt-Rothschild [Comm. Anal. Geom. 15 (2007), no. 2, 491-507], Lebl [arXiv:0812.2498], and Denkowski [Manuscripta Math. 149 (2016), no. 1-2, 83-91]. The same statement is proved for pullbacks of singular codimension one holomorphic foliations.
Let $H \subset {\mathbb P}^n$ be a real-analytic subvariety of codimension one induced by a real-analytic curve in the Grassmannian $G(n+1,n)$. Assuming $H$ has a global defining function, we prove $H$ is Levi-flat, the closure of its smooth points of top dimension is a union of complex hyperplanes, and its singular set is either of dimension $2n-2$ or dimension $2n-4$. If the singular set is of dimension $2n-4$, then we show the hypersurface is algebraic and the Levi-foliation extends to a singular holomorphic foliation of ${\mathbb P}^n$ with a meromorphic (rational of degree 1) first integr…
Given a projective variety $X$ of codimension $k+1$ in $\mathbb{P}^n$ the Chow hypersurface $Z_X$ is the hypersurface of the Grassmannian $\operatorname{Gr}(k, n)$ parametrizing projective linear spaces that intersect $X$. We introduce the tropical Chow hypersurface $\operatorname{Trop}(Z_X)$. This object only depends on the tropical variety $\operatorname{Trop}(X)$ and we provide an explicit way to obtain $\operatorname{Trop}(Z_X)$ from $\operatorname{Trop}(X)$. We also give a geometric description of $\operatorname{Trop}(Z_X)$. We conjecture that, as in the classical case, $\operatorname{Tro…
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…
Let $X$ be a hypersurface of degree $d$ in $\Bbb P^n$ and $F_X$ be the scheme of $\Bbb P^r$'s contained in $X$. If $X$ is generic, then $F_X$ will have the expected dimension (or empty) and its class in the Chow ring of $G(r+1,n+1)$ is given by the top Chern class of the vector bundle $S^dU^*$, where $U$ is the universal subbundle on the Grassmannian $G(r+1,n+1)$. When we deform a generic $X$ into a degenerate $X_0$, the dimension of $F_X$ can jump. In this case, there is a subscheme $F_{lim}$ of $F_{X_0}$ with the expected dimension which consists of limiting $\Bbb P^r$'s in $X_0$ with respec…
