Fano varieties and linear sections of hypersurfaces

This article proves hypersurfaces of degree d in projective n-space are "rationally simply-connected" if $d^2 \leq n$. In a forthcoming paper, de Jong and I prove a slightly weaker result when $d^2 \leq n+1$.

We study the variation of linear sections of hypersurfaces in $\mathbb{P}^n$. We completely classify all plane curves, necessarily singular, whose line sections do not vary maximally in moduli. In higher dimensions, we prove that the family of hyperplane sections of any smooth degree $d$ hypersurface in $\mathbb{P}^n$ vary maximally for $d \geq n+3$. In the process, we generalize the classical Grauert-Mulich theorem about lines in projective space, both to $k$-planes in proje...

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 fixe...

In this paper we try to further explore the linear model of the moduli of rational maps. Our attempt yields following results. Let $X\subset \mathbf P^n$ be a generic hypersurface of degree $h$. Let $R_d(X, h)$ denote the open set of the Hilbert scheme parameterizing irreducible rational curves of degree $d$ on $X$. We obtain that (1) If $4\leq h\leq n-1$, $R_d(X, h)$ is an integral, local complete intersection of dimension \begin{equation} (n+1-h)d+n-4. \end{equation} (2) ...

Let $k$ be an integer such that $1\leq k\leq n-5$, and $X_{2n-2-k}\subset \mathbf P^n$ a general projective hypersurface of degree $d=2n-2-k$. In this paper we prove that the only $k$-dimensional subvariety $Y$ of $X_{2n-2-k}$ having geometric genus zero is the one covered by the lines. As an immediate corollary we obtain that, for $n>5$, the general $X_{2n-3}\subset \mathbf P^n$, contains no rational curves of degree $\delta >1$.

We consider the Fano scheme $F_k(X)$ of $k$--dimensional linear subspaces contained in a complete intersection $X \subset \mathbb{P}^n$ of multi--degree $\underline{d} = (d_1, \ldots, d_s)$. Our main result is an extension of a result of Riedl and Yang concerning Fano schemes of lines on very general hypersurfaces: we consider the case when $X$ is a very general complete intersection and $\Pi_{i=1}^s d_i > 2$ and we find conditions on $n$, $\underline{d}$ and $k$ under which ...

Fix positive integers $n,r,d$. We show that if $n,r,d$ satisfy a suitable inequality, then any smooth hypersurface $X\subset \mathbb{P}^n$ defined over a finite field of characteristic $p$ sufficiently large contains a rational $r$-plane. Under more restrictive hypotheses on $n,r,d$ we show the same result without the assumption that $X$ is smooth or that $p$ is sufficiently large.

This is a continuation of "Rational curves on hypersurfaces of low degree", math.AG/0203088. We prove that if d^2+d+1 < n and d > 2, then for a general hypersurface X_d in P^n of degree d, for each degree e the space of rational curves of degree e on X is itself a rationally connected variety.

On a general Fano hypersurface in projective space, we determine for infinitely many $k$ the minimal degree $e$ of a rational curve through a general collection of $k$ points. In the case of a hypersurface of index 1, our results hold for all $k\geq 1$. In an appendix, M.C. Chang proves an arithmetical result which implies that in the case of index $>1$, the density of the set of curve degrees $e$ covered by our method is approximately $\frac{(n-d)(d-\frac{5}{2})}{(n-2)d}$.

We prove that a very general complex hypersurface of degree $n+1$ in $\mathbb{P}^{n+1}$ containing an $r$-plane with multiplicity $m$ is not stably rational for $n \ge 3$, $m, r > 0$ and $n \ge m+r$. We also investigate failure of stable rationality of a very general hypersurface of degree $n+1$ in $\mathbb{P}^{n+1}$ admitting several isolated ordinary double points.