Introduction
There has been a great deal of recent interest and progress in studying issues of rationality for algebraic varieties (cf. [Reference KollárKol95, Reference VoisinVoi15, Reference VoisinVoi14, Reference TotaroTot16, Reference Hassett, Pirutka and TschinkelHPT16]). The purpose of this paper is to investigate a complementary circle of questions: in what manner can one quantify and control ‘how irrational’ a given projective variety
$X$
might be? We consider various measures of irrationality for hypersurfaces of large degree in projective space and other varieties. The theme is that positivity properties of canonical bundles lead to lower bounds for these invariants. In particular, we prove the main conjecture of [Reference Bastianelli, Cortini and De PoiBCDP14] that if
$X\subseteq \mathbf{P}^{n+1}$
is a very general smooth hypersurface of dimension
$n$
and degree
$d\geqslant 2n+1$
, then any dominant rational mapping
$f:X{\dashrightarrow}\mathbf{P}^{n}$
must satisfy
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU1.gif?pub-status=live)
We also propose a number of open problems involving this circle of ideas, and we show how our methods lead to simple new proofs of theorems of Ran [Reference RanRan91] and Beheshti and Eisenbud [Reference Beheshti and EisenbudBE10] concerning varieties of multi-secant lines.
To start with some background, recall that the gonality
$\operatorname{gon}(C)$
of an irreducible complex projective curve
$C$
is defined to be the least degree of a branched covering
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU2.gif?pub-status=live)
where
$C^{\prime }$
is the normalization of
$C$
. Thus
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU3.gif?pub-status=live)
and it is profitable in general to view
$\operatorname{gon}(C)$
as measuring the failure of
$C$
to be rational. Because of this there has been a certain amount of interest over the years in bounding from below the gonality of various natural classes of curves. For instance, a classical theorem of Noether states that if
$C\subseteq \mathbf{P}^{2}$
is a smooth plane curve of degree
$d\geqslant 3$
, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU4.gif?pub-status=live)
with the relevant coverings given by projection from a point of
$C$
. This was generalized to complete intersection and other curves in [Reference LazarsfeldLaz97, Example 4.12] and [Reference Hartshorne and SchlesingerHS11] by means of vector bundle techniques. Abramovich [Reference AbramovichAbr96] used results of Li and Yau to obtain a linear lower bound on the gonality of modular curves. In a somewhat different direction, it was established in [Reference LazarsfeldLaz96] that the Buser–Sarnak invariant of
$\text{Jac}(C)$
is linearly bounded above by
$\operatorname{gon}(C)$
, and the behavior of gonality in certain towers of coverings was studied by Hwang and To [Reference Hwang and ToHT12] as a consequence of relations they established between gonality and injectivity radii. The paper [Reference Bakker and TsimermanBT13] contains some interesting applications of the results of Hwang–To.
Several authors have proposed and studied some analogous measures of irrationality for an irreducible complex projective variety
$X$
of arbitrary dimension
$n$
. We will be principally concerned here with three of these, the degree of irrationality, the connecting gonality, and the covering gonality of
$X$
, defined as follows:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU5.gif?pub-status=live)
(Note that the curves
$C$
computing the connecting and covering gonalities are allowed to be singular.) Thus
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU6.gif?pub-status=live)
and in general one has the inequalities
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn1.gif?pub-status=live)
The integer
$\operatorname{irr}(X)$
is perhaps the most natural generalization of the gonality of a curve, but
$\operatorname{cov.gon}(X)$
often seems to be easier to control.Footnote
1
Another invariant, suggested by Voisin, is the least degree
$v(X)$
of one-parameter families of Chow-constant zero-cycles that cover
$X$
. This satisfies
$v(X)\leqslant \operatorname{cov.gon}(X)$
.
The degree of irrationality was introduced by Heinzer and Moh in [Reference Heinzer and MohHM82], and Yoshihara subsequently computed it for several classes of surfaces [Reference YoshiharaYos94, Reference Tokunaga and YoshiharaTY95, Reference YoshiharaYos00, Reference YoshiharaYos98, Reference YoshiharaYos96]. Lopez and Pirola [Reference Lopez and PirolaLP95] showed in passing that if
$X\subseteq \mathbf{P}^{3}$
is a surface of degree
$d\geqslant 4$
, then
$\operatorname{cov.gon}(X)=d-2$
. Along similar lines, Fakhruddin established in his note [Reference FakhruddinFak02] that given any integer
$c>0$
, a very general hypersurface of sufficiently large degree in any smooth variety does not contain any curves of gonality less than or equal to
$c$
. However, as a measure of irrationality, it seems that the covering gonality was first studied systematically in [Reference BastianelliBas12], where the first author computes
$\operatorname{cov.gon}(X)$
and bounds
$\operatorname{irr}(X)$
when
$X=C_{2}$
is the symmetric square of a curve
$C$
.
The present work was most directly motivated by the paper [Reference Bastianelli, Cortini and De PoiBCDP14] in which Cortini and the first two authors consider the question of computing the degree of irrationality of a smooth projective hypersurface
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU7.gif?pub-status=live)
of degree
$d$
and dimension
$n\geqslant 2$
, generalizing the result of Noether for plane curves cited above. They show to begin with that if
$d\geqslant n+3$
, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn2.gif?pub-status=live)
It can happen that
$\operatorname{irr}(X)<d-1$
, but it was established in [Reference Bastianelli, Cortini and De PoiBCDP14] that if
$X$
is a very general surface of degree
$d\geqslant 5$
or threefold of degree
$d\geqslant 7$
, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU8.gif?pub-status=live)
and the exceptional cases were classified in these dimensions. It was conjectured there that this statement extends to hypersurfaces of all dimensions.
Our first results concern covering gonality.
Theorem A. Let
$X\subseteq \mathbf{P}^{n+1}$
be a smooth hypersurface of dimension
$n$
and degree
$d\geqslant n+2$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU9.gif?pub-status=live)
More generally, we show that
$v(X)\geqslant d-n$
. Observe that one recovers, in particular, the lower bound (2) of Bastianelli, Cortini and De Poi on the degree of irrationality of such hypersurfaces. In fact it suffices in the theorem that
$X$
is normal with at worst canonical singularities, and in this setting the statement is best possible for every
$n\geqslant 2$
and
$d\geqslant n+2$
. On the other hand, the covering gonality of a smooth hypersurface
$X$
can be bounded from above by considering families of singular plane curves covering
$X$
(cf. Example 1.7 and Remark 1.8).
We actually prove that the conclusion of the theorem and the bound for
$v(X)$
hold for any smooth projective variety
$X$
with
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU10.gif?pub-status=live)
where
$B$
is a
$(d-n-2)$
-very ample divisor on
$X$
and
$E$
is effective.Footnote
2
Thus we deduce the following.
Corollary B. Let
$M$
be a smooth projective variety, and let
$A$
be a very ample divisor on
$M$
. There is an integer
$e=e(M,A)$
depending only on
$M$
and
$A$
with the property that if
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU11.gif?pub-status=live)
is any smooth divisor, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU12.gif?pub-status=live)
In particular, the degree of irrationality of
$X_{d}$
goes to infinity with
$d$
. (One can prove this last fact directly using the ideas of [Reference Lopez and PirolaLP95, Reference BastianelliBas12, Reference Bastianelli, Cortini and De PoiBCDP14, Reference Guerra and PirolaGP08]: see Remark 3.2.) As noted above, Fakhruddin proved in [Reference FakhruddinFak02] the closely related result that in the situation of the Corollary, there is a linear function
$d(c)$
such that a very general divisor
$X_{d}\in |dA|$
actually contains no curves of gonality less than or equal to
$c$
provided that
$d\geqslant d(c)$
. (Compare Proposition 3.8 below.)
Returning to smooth hypersurfaces in projective space, our second theorem proves the main conjecture of [Reference Bastianelli, Cortini and De PoiBCDP14].
Theorem C. Let
$X\subseteq \mathbf{P}^{n+1}$
be a very general smooth hypersurface of dimension
$n$
and degree
$d\geqslant 2n+1$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU13.gif?pub-status=live)
Furthermore, if
$d\geqslant 2n+2$
, then any rational mapping
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU14.gif?pub-status=live)
is given by projection from a point of
$X$
.
The proof of Theorem A, which is quite quick and elementary, occupies § 1: there we work on an arbitrary smooth variety whose canonical bundle satisfies a suitable positivity property. Voisin’s invariant
$v(X)$
is studied in § 2 using the ideas introduced by Mumford in [Reference MumfordMum69]. These results actually imply Theorem 1.10, but we felt that it was worthwhile nonetheless to present the elementary and transparent proof of that statement.
For Theorem C, which appears in § 3, we start with the set-up established in [Reference Bastianelli, Cortini and De PoiBCDP14]. It is shown there that if
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU15.gif?pub-status=live)
is a rational mapping with
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU16.gif?pub-status=live)
then each of the fibres of
$f$
spans a line in
$\mathbf{P}^{n+1}$
provided that
$d\geqslant 2n+1$
. Furthermore these lines form a congruence of order one on
$\mathbf{P}^{n+1}$
, meaning that a general point of
$\mathbf{P}^{n+1}$
lies on exactly one of the lines. The main effort in [Reference Bastianelli, Cortini and De PoiBCDP14] was to use results on the classification of such congruences to show that
$X$
must contain a rational curve when
$n=2$
or
$n=3$
, which forces
$X$
to be special provided that
$d\geqslant 2n+1$
. The new point here is the observation that in arbitrary dimension
$n$
, whether or not
$X$
contains a rational curve, one can locate on
$X$
a relatively large subvariety covered by curves of gonality
$e\leqslant n$
. On the other hand, drawing on computations of the third author and Voisin in [Reference EinEin88, Reference VoisinVoi96], one can bound the dimension of a subvariety of small covering gonality in a very general hypersurface. Theorem C follows. The common thread in these arguments is that the invariants we consider are ultimately controlled by measuring the positivity of canonical bundles.
In § 4 we present a number of conjectures and open problems. It turns out that the computations in § 3 also lead to quick new proofs of results of Ran [Reference RanRan91] and Beheshti and Eisenbud [Reference Beheshti and EisenbudBE10] concerning varieties with many highly secant lines. These appear in Appendix A.
The reader will see that the methods of the present paper are rather elementary, and several of the ideas involved are at least implicit in earlier work such as [Reference Lopez and PirolaLP95, Reference FakhruddinFak02, Reference KnutsenKnu01, Reference BastianelliBas12, Reference Bastianelli, Cortini and De PoiBCDP14, Reference Guerra and PirolaGP08]. However, we have tried to pull things together in a natural way by focusing on a specific birational measure of positivity for the canonical bundle (Definition 1.1). We hope that this might help to lay the foundation for further work on what we consider to be an interesting circle of questions.
In an earlier version of this paper, the last three authors proved the conjecture of [Reference Bastianelli, Cortini and De PoiBCDP14] under the stronger numerical hypothesis
$d\geqslant 3n$
, which the first two authors weakened somewhat in an appendix. Voisin subsequently showed us how to get this down to
$d>\frac{5}{2}n$
, after which the first two authors were able to prove Theorem C as stated above.Footnote
3
The present paper represents a pooling of these efforts.
We are honored to dedicate this paper to János Kollár on the occasion of his sixtieth birthday. Beyond guiding the direction of algebraic geometry over three decades, János has been instrumental to the work of the third and fourth authors through his encouragement and generosity with ideas. It is a pleasure to have this opportunity to express our admiration and thanks.
Concerning notation and conventions, we work throughout over the complex numbers. As usual, morphisms are indicated by solid arrows, while rational mappings are dashed. We have taken the customary liberties in confounding line bundles and divisors.
1 Birational positivity and covering gonality
In this section we study the covering gonality of a projective variety
$X$
, and prove Theorem A from the Introduction. The basic strategy is to bound
$\operatorname{cov.gon}(X)$
in terms of the positivity of the canonical bundle
$K_{X}$
. So we start with some remarks on birational measures of positivity for line bundles.
Let
$X$
be an irreducible projective variety. Given an integer
$p\geqslant 0$
, recall that a line bundle
$L$
on
$X$
is said to be
$p$
-very ample if the restriction map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU17.gif?pub-status=live)
is surjective for every finite subscheme
$\unicode[STIX]{x1D709}\subseteq X$
of length
$p+1$
. In other words, one asks that every subscheme of length
$p+1$
imposes independent conditions on the sections of
$L$
. The condition we focus on here is a birational analogue of this.
Definition 1.1. A line bundle
$L$
on
$X$
satisfies property
$\operatorname{(BVA)}_{p}$
if there exists a proper Zariski-closed subset
$Z=Z(L)\subsetneq X$
depending on
$L$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn3.gif?pub-status=live)
surjects for every finite subscheme
$\unicode[STIX]{x1D709}\subset X$
of length
$p+1$
whose support is disjoint from
$Z$
.
Thus
$\operatorname{(BVA)}_{0}$
is equivalent to requiring that
$L$
be effective, and
$\operatorname{(BVA)}_{1}$
is what is often called ‘birationally very ample’.Footnote
4
This property was considered in [Reference KnutsenKnu01, Reference Knutsen, Syzdek and SzembergKSS09] (under a different name).
The following remarks yield a supply of examples.
Example 1.2. Let
$X$
be an irreducible projective variety.
-
(i) If
$L$ is a line bundle on
$X$ satisfying
$\operatorname{(BVA)}_{p}$ and
$E$ is an effective divisor on
$X$ , then
${\mathcal{O}}_{X}(L+E)$ satisfies
$\operatorname{(BVA)}_{p}$ .
-
(ii) Suppose that
$f:X\longrightarrow Y$ is a birational morphism of irreducible projective varieties. If
$L$ is a line bundle on
$Y$ satisfying
$\operatorname{(BVA)}_{p}$ , then
$f^{\ast }L$ satisfies
$\operatorname{(BVA)}_{p}$ on
$X$ .
-
(iii) More generally, let
$f:X\longrightarrow Y$ be a morphism which is birational onto its image, and suppose that
$L$ satisfies
$\operatorname{(BVA)}_{p}$ on
$Y$ . Assume moreover that
$f(X)$ is not contained in the exceptional set
$Z\subseteq Y$ arising in the definition of property
$\operatorname{(BVA)}_{}$ . Then
$f^{\ast }L$ satisfies
$\operatorname{(BVA)}_{p}$ on
$X$ .
-
(iv) Suppose that
$$\begin{eqnarray}f:X\longrightarrow \mathbf{P}\end{eqnarray}$$
$X$ to some projective space which is birational onto its image. Then
$f^{\ast }{\mathcal{O}}_{\mathbf{P}}(p)$ satisfies
$\operatorname{(BVA)}_{p}$ .
-
(v) Suppose that
$$\begin{eqnarray}X\subseteq \mathbf{P}^{n+1}\end{eqnarray}$$
$d\geqslant n+2$ with at worst canonical singularities, and let
$\unicode[STIX]{x1D707}:X^{\prime }\longrightarrow X$ be a resolution of singularities. Then the canonical bundle
$K_{X^{\prime }}$ of
$X^{\prime }$ satisfies
$\operatorname{(BVA)}_{d-n-2}$ .
Indeed, (i), (ii) and (iii) are clear from the definition, while (iv) is a consequence of (ii) and the elementary fact that
${\mathcal{O}}_{\mathbf{P}}(p)$
is
$p$
-very ample. For (v), it follows from the definition of canonical singularities that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU20.gif?pub-status=live)
where
$H$
is the pull-back of the hyperplane bundle on
$X$
and
$E$
is effective. So the assertion follows from (i) and (iv).
The relevance of this notion to questions of gonality arises from the following elementary observation.
Lemma 1.3. Let
$C$
be a smooth projective curve of genus
$g$
whose canonical bundle
$K_{C}$
satisfies
$\operatorname{(BVA)}_{p}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU21.gif?pub-status=live)
Proof. We may suppose
$g\geqslant 2$
. Let
$A$
be a globally generated line bundle of degree
$d\leqslant g-1$
on
$C$
. Then the divisor
$\unicode[STIX]{x1D709}$
of any section of
$A$
fails to impose independent conditions on
$|K_{C}|$
. Hence if
$K_{C}$
satisfies
$\operatorname{(BVA)}_{p}$
, then one must have
$d\geqslant p+2$
.◻
We now turn to coverings by curves of specified gonality. Let
$X$
be an irreducible projective variety.
Definition 1.4. A covering family of curves of gonality
$c$
on
$X$
consists of a smooth family
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU22.gif?pub-status=live)
of irreducible projective curves parametrized by an irreducible variety
$T$
, together with a dominant morphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU23.gif?pub-status=live)
satisfying both the following:
-
(i) for a general point
$t\in T$ , the fibre
$C_{t}=_{\text{def}}\,\unicode[STIX]{x1D70B}^{-1}(t)$ is a smooth curve with
$\operatorname{gon}(C_{t})=c$ ;
-
(ii) for general
$t\in T$ , the map
$f_{t}:C_{t}\longrightarrow X$ is birational onto its image.
By standard arguments, the existence of such a family is equivalent to asking that
$X$
contains a (possibly singular) curve of gonality
$c$
passing through a general point.
Remark 1.5. We make some remarks about the formal properties of this definition.
-
(i) After replacing
$T$ by a desingularization, one can suppose without loss of generality that
$T$ and
${\mathcal{C}}$ are non-singular.
-
(ii) Given a covering family as above, after restricting to a suitable subvariety of
$T$ we may suppose without loss of generality that
$\dim {\mathcal{C}}=\dim X$ , so that, in particular, the morphism
$$\begin{eqnarray}f:{\mathcal{C}}\longrightarrow X\end{eqnarray}$$
-
(iii) Suppose that
$\unicode[STIX]{x1D70B}:{\mathcal{C}}\longrightarrow T$ ,
$f:{\mathcal{C}}\longrightarrow X$ is a covering family with
${\mathcal{C}}$ and
$T$ non-singular, and let
$\unicode[STIX]{x1D708}:{\mathcal{C}}^{\prime }\longrightarrow {\mathcal{C}}$ be the blowing up of
${\mathcal{C}}$ along a smooth center. Then there is a non-empty Zariski-open subset
$T_{0}\subseteq T$ over which the restrictions of the two maps
$$\begin{eqnarray}{\mathcal{C}}^{\prime }\longrightarrow T,\quad {\mathcal{C}}\longrightarrow T\end{eqnarray}$$
$2$ , and hence maps to a subset of
$T$ having codimension greater than or equal to
$1$ .)
-
(iv) Let
$\unicode[STIX]{x1D70B}:{\mathcal{C}}\longrightarrow T$ ,
$f:{\mathcal{C}}\longrightarrow X$ be a covering family with
${\mathcal{C}}$ and
$T$ smooth, and let
$$\begin{eqnarray}\unicode[STIX]{x1D707}:X^{\prime }\longrightarrow X\end{eqnarray}$$
$T_{0}\subseteq T$ so that the restriction
$\unicode[STIX]{x1D70B}_{0}:{\mathcal{C}}_{0}\longrightarrow T_{0}$ extends to a family
$$\begin{eqnarray}f^{\prime }:{\mathcal{C}}_{0}\longrightarrow X^{\prime }.\end{eqnarray}$$
${\mathcal{C}}^{\prime }\longrightarrow {\mathcal{C}}$ that admits an extension
$f^{\prime }:{\mathcal{C}}^{\prime }\longrightarrow X^{\prime }$ . The assertion then follows from (iii).)
As in the Introduction, we focus on the smallest gonality of such a covering family.
Definition 1.6. The covering gonality
$\operatorname{cov.gon}(X)$
of
$X$
is the least integer
$c>0$
for which such a covering family exists.
It follows from Remark 1.5(iv) that this is indeed a birational invariant.
Example 1.7 (Examples of covering gonality).
Here are some examples where the covering gonality can be estimated or computed.
-
(i) Let
$X$ be a
$K3$ surface. By a theorem of Bogomolov and Mumford [Reference Mori and MukaiMM83, p. 351]
$X$ is covered by (singular) elliptic curves. Hence
$\operatorname{cov.gon}(X)=2$ . If
$X$ is an abelian surface, then similarly
$\operatorname{cov.gon}(X)=2$ : in fact,
$X$ is covered by curves of genus less than or equal to
$2$ .Footnote 5
-
(ii) Let
$X=C_{2}$ be the symmetric square of a smooth curve
$C$ of genus
$g\geqslant 3$ . Then
$X$ is covered by copies of
$C$ via the double covering
$C\times C\longrightarrow X$ . Bastianelli [Reference BastianelliBas12] shows that these curves compute the covering gonality of
$X$ , i.e.
$\operatorname{cov.gon}(X)=\operatorname{gon}(C)$ .
-
(iii) Let
$X\subseteq \mathbf{P}^{3}$ be a smooth surface of degree
$d\geqslant 4$ , let
$x\in X$ be a general point, and let
$T_{x}\subseteq \mathbf{P}^{3}$ be the tangent plane to
$X$ at
$x$ . Then
$$\begin{eqnarray}D_{x}=T_{x}\cap X\end{eqnarray}$$
$d$ with a double point, which has gonality
$d-2$ . Therefore
$\operatorname{cov.gon}(X)\leqslant d-2$ . In fact, Lopez and Pirola [Reference Lopez and PirolaLP95] show that this is the unique family of minimal gonality for general
$X$ , and hence
$\operatorname{cov.gon}(X)=d-2$ . One can evidently arrange for such a curve to pass through two general points of
$X$ , and hence
$\operatorname{conn.gon}(X)=d-2$ .
-
(iv) Suppose now that
$X\subseteq \mathbf{P}^{4}$ is a smooth threefold of degree
$d\geqslant 5$ . A dimension count predicts that
$X$ should be covered by a two-dimensional family of plane curves of degree
$d$ with triple points. One can prove, either directly or (as Jason Starr pointed out) by a degeneration, that this is indeed the case. Hence
$$\begin{eqnarray}\operatorname{cov.gon}(X)\leqslant d-3,\end{eqnarray}$$
$d$ and larger dimension. It then follows from Corollary 1.11 that
$\operatorname{cov.gon}(X)=d-3$ for a general threefold of degree
$d$ .
-
(v) Let
$X\subseteq \mathbf{P}^{n+1}$ be a hypersurface of degree
$d>n$ having an ordinary singular point
$p\in X$ of multiplicity
$n$ : in particular,
$X$ has only canonical singularities. Projection from
$p$ gives rise to a rational map
$X{\dashrightarrow}\mathbf{P}^{n}$ of degree
$d-n$ , and the inverse images of lines
$\ell \subseteq \mathbf{P}^{n}$ then yield a covering of
$X$ by curves of gonality less than or equal to
$d-n$ . Therefore
$\operatorname{cov.gon}(X)\leqslant d-n$ , and it follows from Corollary 1.11 below that in fact
$\operatorname{cov.gon}(X)=d-n$ .
Remark 1.8 (Covering gonality of very general hypersurface).
By starting with some of the ideas used in the proof of Theorem C in § 3, the first author, Ciliberto, Flamini and Supino [Reference Bastianelli, Ciliberto, Flamini and SupinoBCFS17] have computed the covering gonality of a very general hypersurface
$X_{d}\subseteq \mathbf{P}^{n+1}$
of degree
$d\gg 0$
in almost all cases. Specifically, they show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU30.gif?pub-status=live)
The numerics here are essentially what one finds by looking for plane curves with singular points covering
$X$
, as in Examples 1.7(iii) and (iv).
Recall that if
$D\longrightarrow C$
is a branched covering of irreducible projective curves, then
$\operatorname{gon}(D)\geqslant \operatorname{gon}(C)$
. This implies the analogous statement for covering gonality.
Lemma 1.9. Let
$f:X\longrightarrow Y$
be a generically finite surjective mapping between irreducible projective varieties. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU31.gif?pub-status=live)
The main theorem of this section asserts that the covering gonality of a smooth projective variety is bounded by the positivity of its canonical bundle. When
$\dim X=2$
the statement was established in [Reference Knutsen, Syzdek and SzembergKSS09, § 3].
Theorem 1.10. Let
$X$
be a smooth projective variety, and suppose that there is an integer
$p\geqslant 0$
such that its canonical bundle
$K_{X}$
satisfies property
$\operatorname{(BVA)}_{p}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU32.gif?pub-status=live)
Proof. This is very elementary. Suppose that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU33.gif?pub-status=live)
is a covering family of curves of gonality
$c$
. Thanks to Remark 1.5(i) and (ii), there is no loss of generality in assuming that
${\mathcal{C}}$
and
$T$
are smooth, and that
$f$
is generically finite. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn4.gif?pub-status=live)
where
$E=\text{Ram}(f)$
is the ramification divisor of
$f$
. On the other hand, since
$\unicode[STIX]{x1D70B}$
is smooth one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn5.gif?pub-status=live)
for every
$t\in T$
. Furthermore, if
$t\in T$
is general, then
$C_{t}$
meets the effective divisor
$E$
properly, and its image
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU34.gif?pub-status=live)
will not be contained in the exceptional set
$Z(K_{X})\subseteq X$
arising in Definition 1.1. Since by definition
$f_{t}:C_{t}\longrightarrow X$
is birational onto its image, it follows from (*), (**) and Example 1.2(iii) that
$K_{C_{t}}$
satisfies property
$\operatorname{(BVA)}_{p}$
. Hence
$c\geqslant p+2$
thanks to Lemma 1.3.◻
The assertion of Theorem A is then covered by the following.
Corollary 1.11. Let
$X\subseteq \mathbf{P}^{n+1}$
be a smooth hypersurface of degree
$d\geqslant n+2$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU35.gif?pub-status=live)
The same statement holds if
$X$
is normal with only canonical singularities.
Note that if we allow canonical singularities, then Example 1.7(v) shows that the statement is best possible for all
$n\geqslant 2$
and
$d\geqslant n+2$
. When
$n=1$
we recover Noether’s result that a smooth plane curve of degree
$d$
has gonality
$d-1$
.
Proof of Corollary 1.11.
When
$X$
is smooth, its canonical bundle
$\unicode[STIX]{x1D714}_{X}={\mathcal{O}}_{X}(d-n-2)$
is already
$(d-n-2)$
-very ample. For the second statement, we can pass to a desingularization, and then Example 1.2(v) applies.◻
We observe next that a sufficiently positive divisor on any smooth variety has large covering gonality.
Corollary 1.12. Let
$M$
be a smooth projective variety, and let
$A$
be a very ample line bundle on
$M$
. Fix an integer
$e$
such that
$|(e+2)A+K_{M}|$
is basepoint-free, and let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU36.gif?pub-status=live)
be any smooth divisor. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU37.gif?pub-status=live)
Proof. In fact,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU38.gif?pub-status=live)
where
$|E|$
is free. Since
$A$
is very ample,
${\mathcal{O}}_{X}((d-e-2)A)$
is
$(d-e-2)$
-very ample, and therefore
$K_{X}$
satisfies Property
$\operatorname{(BVA)}_{d-e-2}$
.◻
Finally, we say a word about the connecting gonality of an irreducible projective variety
$X$
. An evident modification of Definition 1.7 leads to the notion of a family of curves of gonality
$c$
connecting two general points of
$X$
, and as in the Introduction the least such gonality is defined to be
$\operatorname{conn.gon}(X)$
. Clearly
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU39.gif?pub-status=live)
and the example of a uniruled variety which is not rationally connected shows that the inequality can be strict. Moreover the analogue of Lemma 1.9 remains valid. Unfortunately, we do not at the moment know any useful ways of controlling this invariant. For example, when
$X$
is the symmetric square of a curve of large genus, as in Example 1.7(ii), we suspect that
$\operatorname{cov.gon}(X)<\operatorname{conn.gon}(X)$
, but we do not know how to prove this.
2 Voisin’s invariant
In this section, we sketch the basic properties of a Chow-theoretic measure of irrationality. This material was suggested to us by Claire Voisin.
Let
$X$
be a smooth complex projective variety of dimension
$n$
. A one parameter family of Chow-constant
$zero$
-cycles on
$X$
consists of a family of effective zero-cycles
$\{Z_{t}\}_{t\in T}$
parametrized by a smooth irreducible curve
$T$
with the property that all the
$Z_{t}$
are rationally equivalent to a fixed cycle. Voisin’s idea is to consider the least degree of such cycles passing through a general point of
$X$
.
Definition 2.1. We define the Voisin invariant
$v(X)$
to be the least positive integer
$v>0$
with the following property.
For any proper algebraic subset
$W\subseteq X$
, and a general point
$x\in X$
not lying on
$W$
, there exists a non-constant one-parameter family
$\{Z_{t}\}_{t\in T}$
of reduced Chow-constant zero-cycles of degree
$v$
with the properties that:
-
(i)
$x\in Z_{0}$ for some
$0\in T$ ;
-
(ii)
$\text{Supp}(Z_{t})$ is disjoint from
$W$ for general
$t\in T$ .
It follows from (ii) that
$v(X)$
is a birational invariant of
$X$
.
Example 2.2. One evidently has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU40.gif?pub-status=live)
If
$\operatorname{CH}_{0}(X)$
is trivial, then
$v(X)=1$
. In particular, if
$X$
is Chow-trivial but not uniruled, then
$v(X)<\operatorname{cov.gon}(X)$
.
The following result generalizes Theorem 1.10.
Theorem 2.3. If
$K_{X}$
satisfies
$\operatorname{(BVA)}_{p}$
, then
$v(X)\geqslant p+2$
.
Proof. Assume there is a one-dimensional family of Chow-constant zero-cycles of degree
$v$
passing through a general point of
$X$
. Then by a standard argument they must fit together in an
$n$
-dimensional family of cycles dominating
$X$
. More precisely, there exists an
$n$
-dimensional smooth irreducible variety
$S$
admitting a morphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU41.gif?pub-status=live)
with the following properties:
-
(i) the pull-back
$$\begin{eqnarray}Z_{S}=_{\text{def}}S\times _{\operatorname{Sym}^{v}(X)}(X\times \operatorname{Sym}^{v-1}(X))\end{eqnarray}$$
$S$ of the universal zero-cycle dominates
$X$ ;
-
(ii)
$Z_{S}$ is generically étale over
$S$ (i.e. the generic cycle
$Z_{s}$ is reduced).
After possibly shrinking
$S$
, we are free to suppose that
$Z_{S}$
is actually étale over
$S$
. In this setting, Mumford [Reference MumfordMum69] constructs a trace mapping
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU43.gif?pub-status=live)
for
$\unicode[STIX]{x1D702}\in H^{0}(X,K_{X})$
and
$s\in S$
,
$\text{Tr}_{F}(\unicode[STIX]{x1D702})$
is determined by the formula
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU44.gif?pub-status=live)
Lemma 2.4 below shows that because
$S$
is constructed from Chow-constant one-parameter families, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU45.gif?pub-status=live)
But this implies that the points of the general cycle
$Z_{s}$
satisfy the Cayley–Bacharach property with respect to
$|K_{X}|$
, i.e. any
$n$
-form vanishing at all but one of the points of
$Z_{s}$
vanish at the remaining one. (Compare for instance [Reference Bastianelli, Cortini and De PoiBCDP14, Proposition 2.3] or [Reference Guerra and PirolaGP08, §§ 3.2–3.4].) Therefore
$\operatorname{(BVA)}_{v-1}$
fails for
$X$
, as required.◻
Lemma 2.4. In the setting of the proof of Theorem 2.3,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU46.gif?pub-status=live)
Sketch of proof.
For lack of a suitable reference, we sketch the modifications of the arguments from [Reference MumfordMum69] required to verify the assertion. Note to begin with that to give a one-parameter family
$\{Z_{t}\}_{t\in T}$
of Chow-constant degree
$v$
zero-cycles amounts to specifying maps
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU47.gif?pub-status=live)
together with a morphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU48.gif?pub-status=live)
satisfying
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU49.gif?pub-status=live)
where
$t_{0}\in T$
is a fixed point. In the setting of the proof of Theorem 2.3, we can therefore suppose (after possibly shrinking and replacing
$S$
by an étale covering) that we have:
-
(i) a smooth surjective morphism
$\unicode[STIX]{x1D70B}:S\longrightarrow B$ of relative dimension one together with a section
$\unicode[STIX]{x1D70E}:B\longrightarrow S$ fixing a base-point on the fibres of
$\unicode[STIX]{x1D70B}$ ;
-
(ii) a morphism
$A:S\longrightarrow \operatorname{Sym}^{w}(X)$ ;
-
(iii) a morphism
$$\begin{eqnarray}H:S\times \mathbf{P}^{1}\longrightarrow \operatorname{Sym}^{v+w}(X)\end{eqnarray}$$
(*)$$\begin{eqnarray}H(s,0)=F(\unicode[STIX]{x1D70E}\circ \unicode[STIX]{x1D70B}(s))+A(s),\quad H(s,\infty )=F(s)+A(s).\end{eqnarray}$$
Now consider a form
$\unicode[STIX]{x1D702}\in H^{0}(X,K_{X})$
. By the functoriality of Mumford’s construction, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU51.gif?pub-status=live)
On the other hand, thanks to (*), we deduce that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU52.gif?pub-status=live)
the last equality arising from the fact that
$F\circ \unicode[STIX]{x1D70E}\circ \unicode[STIX]{x1D70B}$
factors through a variety of dimension
$n-1$
. But since
$\mathbf{P}^{1}$
carries no canonical forms,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU53.gif?pub-status=live)
is independent of
$\unicode[STIX]{x1D706}\in \mathbf{P}^{1}$
. Thus
$\operatorname{Tr}_{F}(\unicode[STIX]{x1D702})=0$
, as required.◻
3 Degree of irrationality of projective hypersurfaces
In this section we discuss the degree of irrationality and give the proof of Theorem C from the Introduction.
We start with some general remarks about the irrationality degree
$\operatorname{irr}(X)$
of an irreducible complex projective variety
$X$
of dimension
$n$
. Recall from the Introduction that this is defined to be the least degree of a dominant rational map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU54.gif?pub-status=live)
Equivalently, one can characterize
$\operatorname{irr}(X)$
as the minimal degree of a field extension
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU55.gif?pub-status=live)
where the
$t_{i}\in \mathbf{C}(X)$
are algebraically independent rational functions on
$X$
. We refer to [Reference YoshiharaYos94, Reference Tokunaga and YoshiharaTY95, Reference YoshiharaYos98, Reference YoshiharaYos96, Reference BastianelliBas12] for some computations and estimations of
$\operatorname{irr}(X)$
, especially in the case of surfaces.
Given a rational covering
$f:X{\dashrightarrow}\mathbf{P}^{n}$
, observe that the inverse images of lines
$\ell \subseteq \mathbf{P}^{n}$
determine a family of curves of gonality less than or equal to
$\deg (f)$
connecting two general points on
$X$
. This shows that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn7.gif?pub-status=live)
The existence of rationally connected varieties that are not rational, as well as many other examples, illustrates that the gonality invariants can be strictly smaller than
$\operatorname{irr}(X)$
. However, by combining (3.1) with Theorem 1.10 we find the following.
Corollary 3.1. Let
$X$
be a smooth projective variety whose canonical bundle
$K_{X}$
satisfies Property
$\operatorname{(BVA)}_{p}$
for some
$p\geqslant 0$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU56.gif?pub-status=live)
As above (Examples 1.2(v) and 1.7(v)), equality holds for the desingularization of a hypersurface of degree
$d$
in
$\mathbf{P}^{n+1}$
with an ordinary
$n$
-fold point.
Remark 3.2. One can give a direct proof of (a strengthening of) the corollary using results and methods of [Reference Lopez and PirolaLP95, Reference BastianelliBas12, Reference Bastianelli, Cortini and De PoiBCDP14, Reference Guerra and PirolaGP08], involving correspondences with null trace and the Cayley–Bacharach property, along the lines of the proof of Theorem 2.3. Specifically, consider a dominant rational map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU57.gif?pub-status=live)
between two smooth projective
$n$
-folds. We claim that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn8.gif?pub-status=live)
In fact, given any rational covering
$f$
one has a trace map
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU58.gif?pub-status=live)
on canonical forms. As before, for
$\unicode[STIX]{x1D702}\in H^{0}(X,K_{X})$
and a general point
$y\in Y$
, one can view the value of
$\text{Tr}_{f}(\unicode[STIX]{x1D702})$
at
$y$
as being computed by averaging the values of
$\unicode[STIX]{x1D702}$
over the fibre
$f^{-1}(y)$
of
$y$
. It follows (as in the proof of Theorem 2.3) that if
$H^{0}(Y,K_{Y})=0$
, then
$f^{-1}(y)$
satisfies the Cayley–Bacharach property with respect to
$|K_{X}|$
, i.e. any
$n$
-form vanishing on all but one of the points of
$f^{-1}(y)$
must vanish on the remaining one. (See for instance [Reference Bastianelli, Cortini and De PoiBCDP14, Proposition 2.3] or [Reference Guerra and PirolaGP08, §§ 3.2–3.4].) In particular, these points do not impose independent conditions on
$H^{0}(X,K_{X})$
, and (3.2) follows.
Remark 3.3. Voisin has pointed out to us that one can also prove a variant of the statement (3.2) from the previous remark. Specifically, consider a smooth polarized projective
$n$
-fold
$(X,H)$
with the property that the resulting primitive Hodge-structure
$H^{n}(X,\mathbf{Q})_{\text{prim}}$
is irreducible: this holds for instance for a very general hypersurface
$X\subseteq \mathbf{P}^{n+1}$
of degree greater than
$n+2$
. Suppose moreover that
$K_{X}$
satisfies property
$\operatorname{(BVA)}_{p}$
with
$p\geqslant 1$
. If
$Y$
is any smooth projective variety of dimension
$n$
, then any rational covering
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU59.gif?pub-status=live)
must actually be birational. In fact, assume to the contrary that
$f$
is not birational. The mapping
$f^{\ast }H^{0}(Y,K_{Y})\longrightarrow H^{0}(X,K_{X})$
, which in any event is injective, must be surjective or zero, else it would give a non-trivial Hodge substructure of
$H^{n}(X,\mathbf{Q})_{\text{prim}}$
. The former possibility is impossible since
$K_{X}$
satisfies
$\operatorname{(BVA)}_{1}$
, and therefore it must be the case that
$H^{0}(Y,K_{Y})=0$
. Then the previous remark applies. (Compare [Reference Guerra and PirolaGP08, Proposition 3.5.2].)
We now turn to the case of a smooth hypersurface
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU60.gif?pub-status=live)
of dimension
$n\geqslant 2$
and degree
$d\geqslant n+2$
. Projection from a point of
$X$
shows that in any event
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn9.gif?pub-status=live)
and by [Reference Bastianelli, Cortini and De PoiBCDP14, Theorem 1.2] (or Corollary 1.11 above) one has the lower bound
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn10.gif?pub-status=live)
Example 3.4. Interestingly enough, it can actually happen that
$\operatorname{irr}(X)<d-1$
. For instance, suppose that
$X\subseteq \mathbf{P}^{3}$
is a surface containing two disjoint lines
$\ell _{1},\ell _{2}\subseteq X$
. Then the line joining general points
$p_{1}\in \ell _{1},p_{2}\in \ell _{2}$
meets
$X$
at
$(d-2)$
residual points, and this defines a rational mapping
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU61.gif?pub-status=live)
of degree
$d-2$
. There are a few other examples of a similar flavor, and it is established in [Reference Bastianelli, Cortini and De PoiBCDP14, Theorem 1.3] that these are the only surfaces of degree
$d\geqslant 5$
in
$\mathbf{P}^{3}$
for which
$\operatorname{irr}(X)=d-2$
. In a similar way, if
$X\subseteq \mathbf{P}^{2k+1}$
contains two disjoint
$k$
-planes, then
$\operatorname{irr}(X)\leqslant d-2$
, but apparently no examples are known of hypersurfaces of odd dimension greater than or equal to
$5$
for which equality fails in (3.3). (See [Reference Bastianelli, Cortini and De PoiBCDP14, 4.13, 4.14].)
Our main goal is to establish Theorem C from the Introduction. We will work with the following.
Set-Up 3.5. Denote by
$X\subseteq \mathbf{P}^{n+1}$
a smooth hypersurface of degree
$d$
, and suppose we are given a rational covering
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU62.gif?pub-status=live)
of degree
$\unicode[STIX]{x1D6FF}$
. We assume that we are in one of the following two situations:
-
(a)
$d\geqslant 2n+1$ and
$\unicode[STIX]{x1D6FF}\leqslant d-2$ ; or
-
(b)
$d\geqslant 2n+2$ and
$\unicode[STIX]{x1D6FF}\leqslant d-1$ .
The argument will draw on some constructions and results of [Reference Bastianelli, Cortini and De PoiBCDP14]. Specifically, the rational mapping
$f:X{\dashrightarrow}\mathbf{P}^{n}$
is given by a correspondence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU63.gif?pub-status=live)
and for any
$y\in \mathbf{P}^{n}$
we can view the fibre
$Z_{y}$
, which in general consists of
$\unicode[STIX]{x1D6FF}$
distinct points of
$X$
, as a subset of
$\mathbf{P}^{n+1}$
. With this notation one has the following.
Proposition 3.6. Assume that we are in the situation of Set-Up 3.5(a) or (b).
-
(i) For general
$y\in \mathbf{P}^{n}$ the fibre
$Z_{y}\subseteq \mathbf{P}^{n+1}$ lies on a line
$$\begin{eqnarray}\ell _{y}\subseteq \mathbf{P}^{n+1}.\end{eqnarray}$$
-
(ii) A general point of
$\mathbf{P}^{n+1}$ lies on exactly one of these lines.
These facts are established in [Reference Bastianelli, Cortini and De PoiBCDP14, Theorem 2.5, Lemma 4.1] using the ideas involving correspondences with null trace recalled in Remark 3.2 above.
We now explain the basic geometric idea of the proof of Theorem C. Assume that
$f$
is not projection from a point. For general
$y\in \mathbf{P}^{n}$
, write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU65.gif?pub-status=live)
where
$F_{y}$
is a zero-cycle of degree
$d-\unicode[STIX]{x1D6FF}$
, and recall that we already know that
$d-\unicode[STIX]{x1D6FF}\leqslant n$
. As
$y$
varies over a suitable rational subvariety of
$\mathbf{P}^{n}$
, the
$F_{y}$
(or subcycles thereof) will sweep out a subvariety
$S\subseteq X$
of dimension
$s\geqslant 1$
having covering gonality
$e\leqslant d-\unicode[STIX]{x1D6FF}$
. We prove that
$e$
and
$s$
are related by the inequality
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn11.gif?pub-status=live)
meaning roughly that if
$s$
is small, then
$e$
cannot be too large. On the other hand, a variant of the arguments of [Reference EinEin88, Reference VoisinVoi96] shows that if
$e<d-2n+s$
, then a very general hypersurface of degree
$d$
does not contain an irreducible subvariety
$S\subseteq X$
of dimension
$s>0$
with
$\operatorname{cov.gon}(S)=e$
(Proposition 3.8). This turns out to contradict (*) when
$d\geqslant 2n+2$
, and with a little more care a similar argument works when
$d=2n+1$
.
Moving to details, we start by fixing some further notation. We assume until the end of the proof of Theorem C that we are in the situation of Set-Up 3.5(a) or (b), so that Proposition 3.6 holds. In classical language, the lines
$\{\ell _{y}\}$
form a congruence of lines, i.e. a family of lines parametrized by an irreducible
$n$
-dimensional subvariety
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU66.gif?pub-status=live)
of the Grassmannian of lines in
$\mathbf{P}^{n+1}$
. Statement (ii) of the Proposition asserts that the congruence has order one: if
$W_{0}\subseteq B_{0}\times \mathbf{P}^{n+1}$
is the restriction to
$B_{0}$
of the tautological point-line correspondence in
$\mathbf{G}\times \mathbf{P}^{n+1}$
, this means that the projection
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU67.gif?pub-status=live)
is birational, and it implies that
$B_{0}$
is rational.Footnote
6
Replacing
$B_{0}$
by a desingularization
$B\longrightarrow B_{0}$
, we arrive at the following basic diagram.
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn12.gif?pub-status=live)
Here
$B$
is a smooth rational
$n$
-fold mapping birationally to its image in the Grassmannian
$\mathbf{G}$
, and
$\unicode[STIX]{x1D70B}:W\longrightarrow B$
is the pull-back to
$B$
of the tautological
$\mathbf{P}^{1}$
-bundle on
$\mathbf{G}$
. The mapping
$\unicode[STIX]{x1D707}:W\longrightarrow \mathbf{P}^{n+1}$
is birational, and we define
$X^{\prime }\subseteq W$
to be the proper transform of
$X$
in
$W$
. Thus
$X^{\prime }$
is a reduced and irreducible divisor in
$W$
of relative degree
$\unicode[STIX]{x1D6FF}$
over
$B$
, and
$X^{\prime }\longrightarrow B$
is a generically finite morphism of degree
$\unicode[STIX]{x1D6FF}$
that represents birationally the original mapping
$f:X{\dashrightarrow}\mathbf{P}^{n}$
.
Keeping this notation, we now give the following proof.
Proof of Theorem C.
Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU68.gif?pub-status=live)
be the full pre-image of
$X$
in
$W$
, so that
$X^{\ast }$
is a (possibly non-reduced) divisor in
$W$
of relative degree
$d$
over
$B$
. We can write
$X^{\ast }=X^{\prime }+F$
, where
$F$
is a divisor of relative degree
$d-\unicode[STIX]{x1D6FF}\geqslant 1$
over
$B$
. Now fix any irreducible component
$Y\subseteq F$
that dominates
$B$
, and view
$Y$
as a reduced irreducible variety of dimension
$n$
. Thus
$Y$
sits in a diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn13.gif?pub-status=live)
and we have
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn14.gif?pub-status=live)
Put
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn15.gif?pub-status=live)
and let
$s=\dim S$
. Suppose first that
$s=0$
, i.e. that
$S$
consists of a single point
$p\in X$
. This means that all the lines in the congruence pass through
$p$
, and hence
$f$
must be projection from
$p$
. Therefore we may henceforth assume that
$s\geqslant 1$
.
Note next that
$\operatorname{cov.gon}(S)\leqslant e$
. In fact, one can choose a rational subvariety
$L\subseteq B$
of dimension
$s$
with the property that an irreducible component
$Y^{\ast }\subseteq Y$
of the inverse image of
$L$
in
$Y$
is generically finite over
$S$
. Since
$\deg (Y^{\ast }\longrightarrow L)\leqslant e$
, and since
$L$
is rational, we see that
$\operatorname{cov.gon}(Y^{\ast })\leqslant e$
. Hence Lemma 1.9 applies to show that
$\operatorname{cov.gon}(S)\leqslant e$
.
Now denote by
$K_{W/\mathbf{P}}=K_{W/\mathbf{P}^{n+1}}$
the relative canonical bundle of
$\unicode[STIX]{x1D707}$
, i.e. the ramification divisor of
$\unicode[STIX]{x1D707}$
, and consider a general fibre
$\ell =\ell _{y}$
of
$\unicode[STIX]{x1D70B}$
, i.e. a general line in our congruence. Recall that by a classical and elementary calculation, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn16.gif?pub-status=live)
[Reference ArrondoArr02, Lemma 1.1]. On the other hand, since
$\dim \unicode[STIX]{x1D707}(Y)=s$
we claim that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn17.gif?pub-status=live)
This follows from a standard computation, but we sketch a proof in Appendix A (Corollary A.6). Therefore the contribution from
$Y$
to the intersection product in (3.9) is greater than or equal to
$(n-s)e$
, so in other words
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn18.gif?pub-status=live)
Now recall that we assume that
$s=\dim S\geqslant 1$
. Then it follows from Proposition 3.8 below that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU69.gif?pub-status=live)
Combining this with (*), one finds that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU70.gif?pub-status=live)
But
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU71.gif?pub-status=live)
when
$1\leqslant s\leqslant n-1$
, which forces
$d\leqslant 2n+1$
. Therefore, if
$d\geqslant 2n+2$
and
$\unicode[STIX]{x1D6FF}\leqslant d-1$
, then
$s=0$
, i.e.
$f$
is given by projection from a point.
Suppose next that
$d=2n+1$
. Here it remains to rule out the possibility that
$s=n-1$
and
$e=n=d-n-1$
. In this case,
$Y$
is the unique irreducible component of the exceptional locus that dominates
$B$
, and
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn19.gif?pub-status=live)
We claim that the mapping
$Y\longrightarrow S$
is birational to a
$\mathbf{P}^{1}$
bundle over
$S$
. In fact, as in [Reference Kollár and SmithKS04, p. 113],
$Y$
is birational to an exceptional divisor in a sequence of blowings-up of
$\operatorname{Bl}_{S}(\mathbf{P}^{n+1})$
along smooth centers dominating
$S$
, and then (3.11) implies that
$Y$
is birational to the dominating exceptional divisor of the blow-up of
$S$
itself. Now let
$C\approx \mathbf{P}^{1}$
be a generic fibre of
$Y\longrightarrow S$
, and write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU72.gif?pub-status=live)
$C^{\prime }$
being a curve which is finite over its image
$\unicode[STIX]{x1D70B}(C)$
. Thus each of the components of
$C^{\prime }$
has gonality less than or equal to
$e-1=d-n-2$
. We assert that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn20.gif?pub-status=live)
Grant this for now. One checks moreover that as one varies the fibres of
$Y\longrightarrow S$
, the resulting curves
$C^{\prime }$
generically cover
$S$
. It follows that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU73.gif?pub-status=live)
which contradicts Proposition 3.8 and we are done.
It remains to prove (3.12). Since
$C$
is a fibre of
$Y\longrightarrow S$
, any component of
$C^{\prime }$
that contracts would have to map to a different point of
$S$
. This means that all the lines
$\ell _{z}\subseteq \mathbf{P}^{n+1}$
parametrized by
$z\in \unicode[STIX]{x1D70B}(C)\subseteq B$
share two points in common, and hence coincide. This in turn implies that
$\unicode[STIX]{x1D70B}(C)$
maps to a point in the Grassmannian
$\mathbf{G}$
. But this is impossible since we may assume that
$\unicode[STIX]{x1D70B}(C)$
passes through a general point of
$B$
.◻
Remark 3.7 (Fundamental locus of a congruence of order one).
An argument similar to the one just completed shows that every irreducible component of the fundamental locus of a congruence of order one other than a star of lines has covering gonality less than or equal to
$n$
.
We next show that the computations of [Reference EinEin88, Reference VoisinVoi96] lead to the following statement. This is essentially the same argument that appears in [Reference FakhruddinFak02].
Proposition 3.8. Let
$X\subseteq \mathbf{P}^{n+1}$
be a very general hypersurface of degree
$d\geqslant 2n$
. If
$X$
contains an irreducible subvariety
$S\subseteq X$
of dimension
$s>0$
and covering gonality
$\operatorname{cov.gon}(S)=c$
, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU74.gif?pub-status=live)
Proof of Proposition 3.8.
Let
$V=H^{0}(\mathbf{P}^{n+1},{\mathcal{O}}_{\mathbf{P}}(d))$
be the vector space of all hypersurfaces of degree
$d$
, which we view as an affine variety. Let
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU75.gif?pub-status=live)
be the universal hypersurface of degree
$d$
. Denote by
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU76.gif?pub-status=live)
the two projections, and write
$v=\dim V$
.
Suppose now that a very general hypersurface of degree
$d$
contains a subvariety of dimension
$s$
having covering gonality
$c$
. Then by a standard argument there exists a commutative diagram
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU77.gif?pub-status=live)
where
$\unicode[STIX]{x1D70B}:{\mathcal{S}}\longrightarrow T$
is a family of varieties of dimension
$s$
having covering gonality
$c$
,
$\unicode[STIX]{x1D70C}$
is étale, and
$f_{t}:S_{t}\longrightarrow X_{\unicode[STIX]{x1D70C}(t)}$
is birational onto its image. In this setting, Ein and Voisin prove that if
$t\in T$
is a general point, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU78.gif?pub-status=live)
is generically generated by its global sections (cf. [Reference VoisinVoi96, Theorem 1.4]), where
$S_{t}=\unicode[STIX]{x1D70B}^{-1}(t)$
is the fibre of
$\unicode[STIX]{x1D70B}$
. This implies that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU79.gif?pub-status=live)
where
$H_{S_{t}}$
is the pull-back of the hyperplane bundle from
$\mathbf{P}^{n+1}$
. Thus
$K_{S_{t}}$
satisfies property
$\operatorname{(BVA)}_{d+s-2n-2}$
, and Theorem 1.10 applies to show that
$c\geqslant d+s-2n$
.◻
Remark 3.9 (Ran’s theorem).
As a referee of an earlier version of this paper pointed out, the proof of Theorem C is related to a result of Ran [Reference RanRan91]. Ran’s theorem asserts that if
$S\subseteq \mathbf{P}^{n+1}$
is an irreducible projective variety of dimension
$s\leqslant n-1$
, and if the union of the
$k$
-secant lines to the regular locus of
$S$
fill
$\mathbf{P}^{n+1}$
, then
$k\leqslant s+1$
. At least if one knew that it were smooth, the variety
$Y$
in diagram (3.6) would determine such a family with
$k=e$
, and hence
$e\leqslant s+1$
. Therefore, as above, Proposition 3.8 would yield
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU80.gif?pub-status=live)
which implies
$d\leqslant 2n+1$
. So when
$d\geqslant 2n+2$
we could infer that
$s=0$
, and the case
$d=2n+1$
would be treated as before. However, the argument given above not only avoids questions of singularities in applying Ran’s theorem, it also leads to a quick new account of that result, as well as a related theorem of Beheshti and Eisenbud [Reference Beheshti and EisenbudBE10]. This is presented in Appendix A.
4 Open problems
In this section, we propose some problems concerning this circle of ideas.
A first natural line of investigation is to compute or estimate the various measures of irrationality for other classes of varieties. As a start, suppose that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU81.gif?pub-status=live)
is a smooth complete intersection of hypersurfaces of degrees
$2\leqslant d_{1}\leqslant d_{2}\leqslant \cdots \leqslant d_{e}$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU82.gif?pub-status=live)
and so it follows immediately from Theorem 1.10 that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU83.gif?pub-status=live)
But it seems almost certain that one can do much better.
Problem 4.1. Find bounds on the birational positivity of
$K_{X}$
(in the sense of Definition 1.1) and the irrationality invariants of
$X$
that are multiplicative in the degrees of the defining equations.
For example, when
$X\subseteq \mathbf{P}^{e+1}$
is a complete intersection curve, it was established in [Reference LazarsfeldLaz97, Exercise 4.12] that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU84.gif?pub-status=live)
but this already used some non-trivial vector bundle technology. In higher dimensions one might therefore want to consider first the case that
$X$
is a very general complete intersection of the stated multidegrees. In the codimension two case, for instance, Stapleton [Reference StapletonSta17] shows that if
$X\subseteq \mathbf{P}^{n+2}$
is a very general complete intersection of type
$(2,d)$
such that
$d\geqslant 2n$
, then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU85.gif?pub-status=live)
It also seems natural to consider polarized
$K3$
and abelian surfaces of growing degree.
Conjecture 4.2. Let
$(S_{d},B_{d})$
be a very general polarized
$K3$
surface of genus
$d$
.Footnote
7
Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU86.gif?pub-status=live)
with an analogous statement for a very general abelian surface
$A_{d}$
that carries a polarization of type
$(1,d)$
.
One might have imagined that the irrationality degree grows linearly in
$d$
, but Stapleton [Reference StapletonSta17] observes that in fact
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU87.gif?pub-status=live)
so at best the growth is sublinear. Recalling that
$\operatorname{cov.gon}(S_{d})=\operatorname{cov.gon}(A_{d})=2$
for every
$d$
(Example 1.7), the conjecture would yield a natural family of examples showing that the covering gonality and the degree of irrationality capture very different phenomena.
For higher dimensional abelian varieties, the covering gonality already seems very interesting.
Problem 4.3. Let
$A^{g}$
be a very general principally polarized abelian variety of dimension
$g$
. Is it the case that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU88.gif?pub-status=live)
It follows from a theorem of Pirola [Reference PirolaPir89] that in any event
$\operatorname{cov.gon}(A)\geqslant 3$
when
$\dim A\geqslant 3$
.
It finally seems very appealing to try to say something about these invariants for important moduli spaces that arise in algebraic geometry. For example, Donagi suggests the following.
Problem 4.4. Find bounds on the irrationality invariants of the moduli space
${\mathcal{M}}_{g}$
parametrizing curves of genus
$g$
, or the moduli space
${\mathcal{A}}_{g}$
of principally polarized abelian varieties of dimension
$g$
.Footnote
8
Presumably lower bounds for
${\mathcal{M}}_{g}$
would be very difficult to establish, and may well be out of reach. On the other hand, upper bounds, which already seem of some interest, are likely to be much more accessible. For instance, an elementary argument with Hurwitz schemes shows that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU89.gif?pub-status=live)
where
$h_{g,g+1}$
denotes the Hurwitz number counting degree
$g+1$
simple coverings of
$\mathbf{P}^{1}$
with fixed branch points by a curve of genus
$g$
. However, this integer is huge, so a natural problem is to find substantially better upper bounds. Concretely, this amounts to asking for constructions that realize a general curve of genus
$g$
as the fibre of a surface mapping to a curve
$C$
of modest gonality. For
${\mathcal{A}}_{g}$
, on the other hand, some lower bounds might be relatively easy to obtain.
In another direction, very little has been established so far about connecting gonality.
Problem 4.5. Develop a stock of examples of varieties
$X$
for which
$\operatorname{conn.gon}(X)$
can be estimated or computed.
Many examples suggest that it is quite common for
$\operatorname{cov.gon}(X)\ll \operatorname{irr}(X)$
, but it is not clear at the moment how easy it is for
$\operatorname{cov.gon}(X)$
and
$\operatorname{conn.gon}(X)$
to diverge (although it can certainly happen). Similarly, it would be interesting to have a better understanding of Voisin’s invariant
$v(X)$
.
It might also be interesting to ask about rational coverings of projective space having non-minimal degree.
Problem 4.6. Given an irreducible projective variety
$X$
of dimension
$n$
, what can one say about the possible degrees of rational coverings
$X{\dashrightarrow}\mathbf{P}^{n}$
?
A simple argument suggests that there exists an integer
$\unicode[STIX]{x1D6FF}_{0}$
with the property that given any
$\unicode[STIX]{x1D6FF}\geqslant \unicode[STIX]{x1D6FF}_{0}$
one can find a covering
$X{\dashrightarrow}\mathbf{P}^{n}$
of degree
$\unicode[STIX]{x1D6FF}$
.Footnote
9
Call the least such integer
$\unicode[STIX]{x1D6FF}_{0}(X)$
. How much can
$\unicode[STIX]{x1D6FF}_{0}(X)$
deviate from
$\operatorname{irr}(X)$
? What are estimates for
$\unicode[STIX]{x1D6FF}_{0}(X)$
in the case of very general hypersurfaces
$X_{d}\subseteq \mathbf{P}^{n+1}$
? One can also ask what ‘gaps’ can appear in the degrees of rational coverings (or the gonalities of covering families). In the case of surfaces, [Reference Lopez and PirolaLP95, Theorem 1.3, Corollary 1.7] give some statements in this direction.
Another natural direction for research is to explore more fully the formal behavior of these invariants. For instance, we have the following problem.
Problem 4.7. What are the variational properties of the various irrationality measures in families?
The example of a general surface
$X\subseteq \mathbf{P}^{3}$
deforming to one containing two lines shows that
$\operatorname{irr}(X)$
can decrease under specialization. Are there examples where it increases in a smooth family? This may be more accessible than the corresponding question for rationality itself, which is unknown.
It is well established that questions of rationality become particularly interesting and subtle for varieties defined over fields that are not algebraically closed. This suggests the following problem.
Problem 4.8. Study measures of irrationality over non-closed fields.
For instance if
$X$
is defined over a field
$k$
, one would want to consider the least degree of a rational covering
$X{\dashrightarrow}\mathbf{P}^{n}$
defined over
$k$
. Already the case of hypersurfaces seems potentially interesting.
Finally, in a more speculative vein, a number of new techniques have been introduced to study questions of rationality, such as Kollár’s passage to characteristic
$p>0$
[Reference KollárKol95], the Chow-theoretic ideas used by Voisin [Reference VoisinVoi15], and the combination of these by Totaro [Reference TotaroTot16]. There have also been ideas that rationality could be detected in the geometry of derived categories (e.g. [Reference KuznetsovKuz10]). It would be very interesting if further ideas along these lines could be used to say something about measures of irrationality, for example the Voisin invariant
$v(X)$
mentioned briefly above. Similarly, the papers [Reference LazarsfeldLaz96, Reference Hwang and ToHT12] show that the gonality of a curve
$C$
influences various Riemannian and Kähler invariants of varieties associated to
$C$
, such as the Jacobian variety
$\text{Jac}(C)$
and certain analytic subvarieties of the surface
$C\times C$
. Are there any analogous statements in higher dimensions?
Acknowledgements
We are grateful to Ron Donagi, Daniel Litt, Luigi Lombardi, Ernesto Mistretta, John Ottem, Ian Shipman, David Stapleton, Jason Starr and Damiano Testa for helpful discussions. We would also like to acknowledge the influence of Pietro Pirola, who with his colleagues introduced many of the ideas that implicitly play a role here. We are particularly grateful to Claire Voisin, who besides suggesting the numerical improvement we noted above, proposed the material that appears in § 2. We are also grateful to another referee of an earlier version for providing several valuable expository and mathematical suggestions.
Appendix A The theorems of Ran and Beheshti–Eisenbud
The purpose of this appendix is to show how the ideas from the proof of Theorem C give a simple account of both Ran’s theorem [Reference RanRan91] and a related result of Beheshti and Eisenbud [Reference Beheshti and EisenbudBE10].
For smooth varieties, Ran’s result is the following.
Theorem A.1 (Ran [Reference RanRan91]).
Let
$X\subseteq \mathbf{P}^{N}$
be a smooth variety of dimension
$n$
. Let
$\operatorname{Sec}^{n+2}X$
be the variety swept out by all of the
$(n+2)$
-secant lines of
$X$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU90.gif?pub-status=live)
Ran works more generally with possibly singular varieties, which requires some preliminary definitions.
Definition A.2. Let
$X\subseteq \mathbf{P}^{N}$
be a variety of dimension
$n$
. Let
$X^{0}$
be the smooth locus of
$X$
. For
$k\geqslant 0$
put
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU91.gif?pub-status=live)
Ran’s stronger statement is as follows.
Theorem A.3 [Reference RanRan91].
Let
$X\subseteq \mathbf{P}^{N}$
be a (possibly singular) subvariety of dimension
$n$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU92.gif?pub-status=live)
Proof. Via generic projections, one reduces to the case when
$X\subseteq \mathbf{P}^{N}$
with
$N=n+2$
. Assume for a contradiction that
$\overline{\operatorname{Sec}^{n+2}X^{0}}=\mathbf{P}^{n+2}$
. In this case, we can find a subvariety
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU93.gif?pub-status=live)
of dimension
$n+1=N-1$
parametrizing
$(n+2)$
-secant lines for
$X$
that generically meet
$X$
only at smooth points. As in § 3, one then arrives at a diagram:
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqn21.gif?pub-status=live)
where
$B$
is a smooth projective variety of dimension
$N-1=n+1$
mapping birationally to
$B_{0}$
,
$\unicode[STIX]{x1D70B}:W\longrightarrow B$
is the pull-back to
$B$
of the tautological
$\mathbf{P}^{1}$
bundle on
$\mathbf{G}$
, and
$\unicode[STIX]{x1D707}$
is surjective and generically finite. Denoting by
${\mathcal{I}}_{X}\subseteq {\mathcal{O}}_{\mathbf{P}^{N}}$
the ideal sheaf of
$X$
, write
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU94.gif?pub-status=live)
where
$X^{\prime }\subseteq W$
is a closed subscheme of codimension at least 2, and
$D$
is an effective divisor on
$W$
. We may decompose
$D$
as a sum
$D=E+E^{\prime },$
where
$E$
and
$E^{\prime }$
are effective divisors such that every component of
$E$
dominates
$B$
and
$\operatorname{codim}(\unicode[STIX]{x1D70B}(E^{\prime }))\geqslant 1$
. Now set
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU95.gif?pub-status=live)
where the
$E_{i}$
are the distinct irreducible components of
$E$
. Let
$\ell$
be a generic fibre of
$\unicode[STIX]{x1D70B}$
. Our assumption implies that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU96.gif?pub-status=live)
Let
$K_{W/\mathbf{P}^{N}}=K_{W/\mathbf{P}}$
be the ramification divisor of
$\unicode[STIX]{x1D707}$
. By the adjunction formula,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU97.gif?pub-status=live)
[Reference ArrondoArr02, Lemma 1.1]. Note that
$\unicode[STIX]{x1D707}(E_{i})\cap X^{0}\neq \emptyset$
for each
$i$
. In fact, each
$E_{i}$
meets a general fibre
$\ell$
of
$\unicode[STIX]{x1D70B}$
, while by assumption
$\ell$
meets
$X$
only at smooth points. It then follows from Lemma A.5 below that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU98.gif?pub-status=live)
This implies that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU99.gif?pub-status=live)
which contradicts the assumption. ◻
In [Reference Beheshti and EisenbudBE10], Beheshti and Eisenbud give an improvement of Ran’s theorem. A similar argument also yields a simplified proof of their result.
Theorem A.4 [Reference Beheshti and EisenbudBE10, Theorem 1.5].
Let
$X\,\subseteq \,\mathbf{P}^{N}$
be a smooth irreducible variety of dimension
$n$
. If
$k\geqslant 2,$
then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU100.gif?pub-status=live)
More generally, for possibly singular
$X$
the same inequality holds for
$\operatorname{Sec}^{k}X^{0}$
.
Sketch of proof.
As observed by Gruson and Peskine [Reference Gruson and PeskineGP13, p. 554], it is equivalent to show that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU101.gif?pub-status=live)
for any positive integer
$s$
such that
$1\leqslant s\leqslant n+1,$
and
$k>(n/s)+1$
. The argument then closely parallels the previous proof. In brief, by a generic projection we can suppose for a contradiction that
$N=n+s+1$
, and that
$\overline{\operatorname{Sec}^{k}X^{0}}=\mathbf{P}^{N}$
. We then arrive at an analogue of diagram (A.1) with
$\dim B=n+s=N-1.$
Defining
$\ell$
and
$E=\sum a_{i}E_{i}$
as in the proof of Theorem A.3, one has
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU102.gif?pub-status=live)
On the other hand,
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU103.gif?pub-status=live)
thanks to Lemma A.5. But then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU104.gif?pub-status=live)
But this implies that
$k\leqslant (n/s)+1$
, which contradicts the supposition.◻
Finally, we spell out for the convenience of the reader the inequalities we have drawn on concerning the relative canonical divisor of a generically finite and surjective morphism between smooth varieties.
Lemma A.5. Consider a generically finite surjective morphism
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU105.gif?pub-status=live)
between smooth projective varieties of dimension
$m$
. Let
$X\subseteq P$
be an irreducible subvariety of codimension
$c$
and regular locus
$X^{0}=X_{\text{reg}}$
, and let
$F\subseteq W$
be a prime divisor on
$W$
. Assume that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU106.gif?pub-status=live)
and denote by
$a=\operatorname{ord}_{F}({\mathcal{I}}_{X}\cdot {\mathcal{O}}_{W})$
the order of vanishing along
$F$
of the pull-back to
$W$
of the ideal sheaf of
$X$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU107.gif?pub-status=live)
In particular, taking
$X=\unicode[STIX]{x1D707}(F)$
, this yields the following.
Corollary A.6. Given
$\unicode[STIX]{x1D707}:W\longrightarrow P$
as above, let
$F\subseteq W$
be a prime divisor on
$W$
. Suppose that
$\dim \unicode[STIX]{x1D707}(F)=s$
. Then
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU108.gif?pub-status=live)
Proof of Lemma A.5.
We argue as in [Reference LazarsfeldLaz04, Lemma 9.2.19]. Choose a general point
$y\in F$
and let
$x=\unicode[STIX]{x1D707}(y)\in X$
, which we suppose to be a smooth point of
$X$
. We can then choose local analytic coordinates
$z_{1},\ldots ,z_{m}$
on
$W$
centered at
$y$
and
$u_{1},\ldots ,u_{m}$
on
$P$
centered at
$x$
such that locally
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU109.gif?pub-status=live)
There exist functions
$b_{i}\in \mathbf{C}\{z\}$
such that
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU110.gif?pub-status=live)
where
$a_{i}\geqslant 0$
for each
$i$
and
$a_{1},\ldots ,a_{c}\geqslant a$
. Then
$\unicode[STIX]{x1D707}^{\ast }(du_{i})=a_{i}z_{1}^{a_{i}-1}b_{i}\,dz_{1}+z_{1}^{a_{i}}\,db_{i}$
, and hence
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20171013105349355-0335:S0010437X17007436:S0010437X17007436_eqnU111.gif?pub-status=live)
for some
$g\in \mathbf{C}\{z\}$
. The assertion follows.◻