Abstract:We study an irreducible component $H(X)$ of the Hilbert scheme $Hilb^{2t+2}(X)$ of a smooth cubic hypersurface $X$ containing two disjoint lines. For cubic threefolds, $H(X)$ is always smooth, as shown in <a class="link-https" data-arxiv-id="2010.11622" href="https://arxiv.org/abs/2010.11622">arXiv:2010.11622</a>. We provide a second proof and generalize this result to higher dimensions. Specifically, for cubic hypersurfaces of dimension at least four, we show $H(X)$ is normal, and it is smooth if and only if $X$ lacks certain "higher triple lines." Using Hilbert-Chow morphism, we describe the birational geometry of $H(X)$. As an application, when $X$ is a general cubic fourfold, a natural double cover of $H(X)$ yields a smooth model extending a rational map considered by Voisin.

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is the properties of the Hilbert scheme composed of a pair of skew lines on a smooth cubic hypersurface. Specifically: 1. **For cubic three - dimensional hypersurfaces**: - The paper provides a second proof of the smoothness of the Hilbert scheme $H_p(X)$ (Theorem 1.2). Here, $X$ is a smooth cubic three - dimensional hypersurface. 2. **For cubic hypersurfaces of higher dimensions**: - For smooth cubic hypersurfaces of at least four dimensions, the properties of the Hilbert scheme $H_p(X)$ are studied. In particular, the paper shows that $H_p(X)$ is normal, and $H_p(X)$ is smooth if and only if $X$ does not contain certain "higher - order triple lines" (Theorem 1.6). 3. **Describe the birational geometry of $H_p(X)$ using the Hilbert - Chow map**: - Through the Hilbert - Chow map, the author describes the birational geometric structure of $H_p(X)$ and discusses its relationship with the rational map constructed by Voisin in the general case. ### Specific problems and solutions - **The core of the problem**: Determine when the Hilbert scheme $H_p(X)$ is smooth. - **Solutions**: - For cubic three - dimensional hypersurfaces, the author uses the geometric properties of the Abel - Jacobi map and the theta divisor of the intermediate Jacobi variety to prove the smoothness of $H_p(X)$. - For cubic hypersurfaces of higher dimensions, the author introduces the concept of "higher - order triple lines" and proves the smoothness condition of $H_p(X)$ by calculating the rank of the Jacobian matrix. Specifically, if there are no higher - order triple lines in $X$, then $H_p(X)$ is smooth; otherwise, it may be singular. ### Definition of higher - order triple lines - A line $L$ on a smooth cubic hypersurface $X$ is called a higher - order triple line if there exists a linear subspace $P^{n - 2}$ of codimension 2 such that the intersection $P^{n - 2}\cap X$ is singular along $L$ and has an $A2$ singularity in the transverse direction. ### Main conclusions - **Theorem 1.6**: Let $X$ be a smooth cubic hypersurface of at least four dimensions. Then $H_p(X)$ is normal. It is smooth if and only if $X$ has no higher - order triple lines. Through these studies, the author not only generalizes the existing results but also deeply explores the influence of higher - order triple lines on the Hilbert scheme and provides new tools and methods for understanding more complex geometric structures.

Hilbert Scheme of a Pair of Skew Lines on a Cubic Hypersurface

The geometry of double nested Hilbert schemes of points on curves

On the Hilbert scheme of curves in higher-dimensional projective space

On the Hessian of Cubic Hypersurfaces

On some components of Hilbert schemes of curves

Components of the Hilbert Scheme of smooth projective curves using ruled surfaces II: existence of non-reduced components

Simplices osculating rational normal curves

Linear subspaces of the intersection of two quadrics via Kuznetsov component

Rational lines on cubic hypersurfaces II

Irreducible components of Hilbert scheme of points on non-reduced curves

The Hilbert scheme of points on a threefold, I

Generically nonreduced components of Hilbert schemes on fourfolds

Secant variety and syzygies of Hilbert scheme of two points

Counting triangles in smooth cubic hypersurfaces

Lines on the secant cubic hypersurfaces of Severi varieties

Linear subspaces in cubic hypersurfaces

Hodge cycles for cubic hypersurfaces

On the duals of smooth projective complex hypersurfaces

Non-reduced Components of the Hilbert Scheme of Curves Using Triple Covers

Hilbert scheme of linearly normal curves in $\mathbb{P}^r$ with index of speciality five and beyond