Linear subspaces of hypersurfaces

DOI10.1215/00127094-2021-0035MaRDI QIDQ821480zbMATH OpenOpenAlexFDO

Authors Roya Beheshti, Eric Riedl

Publication date 20 September 2021

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1903.02481

zbMATH Keywords

birational geometryhypersurfacesunirationality

Mathematics Subject Classification ID

Rationality questions in algebraic geometry (14E08) Families, moduli of curves (algebraic) (14H10)

Abstract: Let $X$ be an arbitrary smooth hypersurface in $mathbbCmathbb{P}^n$ of degree $d$. We prove the de Jong-Debarre Conjecture for $ngeq2d-4$: the space of lines in $X$ has dimension $2n-d-3$. We also prove an analogous result for $k$-planes: if $$, 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 $ngeq{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 $dleqfrace+ne+1$.

Review text

Let \(X\) be a smooth hypersurface of degree \(d\) in \(\mathbb{CP}^n\). The Hilbert scheme parametrizing \(k\) dimensional linear subspaces contained in \(X\) is denoted \(F_k(X)\). In particular, \(F_1(X)\) parametrizes lines contained in \(X\) (commonly know as Fano variety of lines on \(X\)). A well known conjecture in the field, due to Debarre and de Jong, states that the variety of lines \(F_1(X)\) has the expected dimension \(2n-3-d\) when \(n\geq d\). It is a classically known result in the field that the conjecture holds for \(d=3\). \textit{A. Collino} [J. Lond. Math. Soc., II. Ser. 19, 257--267 (1979; Zbl 0432.14024)] proved the conjecture for \(d=4\). In an unpublished work, Debarre showed the conjecture to be true when \(d\leq 5\). In [Duke Math. J. 95, No. 1, 125--160 (1998; Zbl 0991.14018)] the three authors proved the statement when \(d\) is small with respect to \(n\). The cases \(d\leq 6\) was settled in [\textit{R. Beheshti}, J. Reine Angew. Math. 592, 1--21 (2006; Zbl 1094.14029); [\textit{J. M. Landsberg} and \textit{C. Robles}, J. Lond. Math. Soc., II. Ser. 82, No. 3, 733--746 (2010; Zbl 1221.14058); \textit{J. Landsberg} and \textit{O. Tommasi}, Mich. Math. J. 59, No. 3, 573--588 (2010; Zbl 1209.14035)]. The cases \(d\leq 8\) were proven by \textit{R. Beheshti} [Math. Ann. 360, No. 3--4, 753--768 (2014; Zbl 1304.14065)]. In the paper under review, the two authors prove the Debarre-de Jong conjecture when \(n\geq 2d-4\). The key ingredient is a result (Lemma 2.1) that provides an upper bound to the dimension of the locus of tangency of a smooth hypersurface with varieties cut out by lower degree equations. The authors also prove a similar result for the space \(F_k(X)\). Namely, they show that if \(n\geq 2\binom{d+k-1}{k}+k\) then \(F_k(X)\) is irreducible of the expected dimension. As an application, it is proven the unirationality of smooth hypersurfaces for which the inequality \(n\geq 2^{d!}\) holds.

Recommendations

• Linear subvarieties of hypersurfaces
• Linear subspaces of minimal codimension in hypersurfaces
• Sur les hypersurfaces contenant des espaces linéaires
• Linear spaces of quadric hypersurfaces
• Linear combinations of hypersurfaces in hyperbolic space
• Hypersurfaces containing flat subspaces
• Linear spaces on the intersection of cubic hypersurfaces
• Matrix subspaces and determinantal hypersurfaces
• Linear subspace arrangements associated with normal surface singularities

Cites work

• 3264 and all that. A second course in algebraic geometry
• Big polynomial rings and Stillman's conjecture
• Geometric Manin's conjecture and rational curves
• scientific article; zbMATH DE number 3572315 (Why is no real title available?)
• scientific article; zbMATH DE number 510520 (Why is no real title available?)
• scientific article; zbMATH DE number 3257058 (Why is no real title available?)
• Hypersurfaces of low degree
• Hypersurfaces that are not stably rational
• Hypersurfaces with too many rational curves
• Kontsevich spaces of rational curves on Fano hypersurfaces
• Linear subvarieties of hypersurfaces
• Lines and osculating lines of hypersurfaces
• Lines on projective hypersurfaces
• Nonrational Hypersurfaces
• Notes on stable maps and quantum cohomology
• On the Debarre-de Jong and Beheshti-Starr conjectures on hypersurfaces with too many lines
• Rational curves on hypersurfaces of low degree
• Rational Curves on Smooth Cubic Hypersurfaces
• Rational curves on smooth hypersurfaces of low degree
• Small subalgebras of polynomial rings and Stillman's conjecture
• Stably irrational hypersurfaces of small slopes
• The intermediate Jacobian of the cubic threefold
• THE LINEAR SYZYGIES OF GENERIC FORMS

Cited in

(16)

• Fano schemes of complete intersections in toric varieties
• Linear spaces on rational hypersurfaces of odd degree
• Linear subvarieties of hypersurfaces
• Restrictions on rational surfaces lying in very general hypersurfaces
• FANO HYPERSURFACES WITH ARBITRARILY LARGE DEGREES OF IRRATIONALITY
• scientific article; zbMATH DE number 7302741 (Why is no real title available?)
• THE DENSITY OF RATIONAL POINTS ON NON-SINGULAR HYPERSURFACES, II
• HORIZONTAL SUBSPACES IN THE BUNDLE OF LINEAR FRAMES
• Clustered families and applications to Lang‐type conjectures
• Linear subspaces of minimal codimension in hypersurfaces
• Rational endomorphisms of Fano hypersurfaces
• On the Debarre-de Jong and Beheshti-Starr conjectures on hypersurfaces with too many lines
• On the asymptotic enumerativity property for Fano manifolds
• A motivic circle method
• On the rationality problem for low degree hypersurfaces
• Linear spaces on the intersection of cubic hypersurfaces

Describes a project that uses

Uses Software

• Book3264Examples

This page was built for publication: Linear subspaces of hypersurfaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q821480)