The degree of irrationality of hypersurfaces in various Fano varieties

DOI10.1007/S00229-018-01101-WMaRDI QIDQ2297360zbMATH OpenOpenAlexWikidataFDO

Authors Brooke Ullery, David P. Stapleton

Publication date 18 February 2020

Published in Manuscripta Mathematica (Search for Journal in Brave)

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

zbMATH Keywords

Cayley-Bacharachcomplete intersectioncubic hypersurfacedegree of irrationalityfinite fibreGrassmannianproduct of projective spacesquadric

Mathematics Subject Classification ID

Rational and birational maps (14E05) Fano varieties (14J45) Hypersurfaces and algebraic geometry (14J70) Configurations and arrangements of linear subspaces (14N20)

Abstract: The purpose of this paper is to compute the degree of irrationality of hypersurfaces of sufficiently high degree in various Fano varieties: quadrics, Grassmannians, products of projective space, cubic threefolds, cubic fourfolds, and complete intersection threefolds of type (2,2). This extends the techniques of Bastianelli, De Poi, Ein, Lazarsfeld, and the second author who computed the degree of irrationality of hypersurfaces of sufficiently high degree in projective space. A theme in the paper is that the fibers of low degree rational maps from the hypersurfaces to projective space tend to lie on curves of low degree contained in the Fano varieties. This allows us to study these maps by studying the geometry of curves in these Fano varieties.

Review text

The degree of irrationality of an algebraic variety \(X\) of dimension \(n\) is the minimal integer \(m\) such that there exists a rational dominant map \(X\to \mathbb P^n\) of degree \(m\). It gives a measure of how far \(X\) is from being rational. In [\textit{F. Bastianelli} et al., J. Algebr. Geom. 23, No. 2, 313--339 (2014; Zbl 1317.14029)] it was proved that, for a general hypersurface \(X\) of dimension \(n\leq 3\) and degree large enough, the degree of irrationality is equal to \(d-1\), so extending a classical result of Max Noether for plane curves. This result was extended in [\textit{F. Bastianelli} et al., Compos. Math. 153, No. 11, 2368--2393 (2017; Zbl 1387.14118)] where it was proved that the degree of irrationality is equal to \(d-1\) for very general smooth hypersurfaces of any dimension \(n\), provided \(d\geq 2n-1\). In the article under review, the authors compute the degree of irrationality of varieties that are hypersurfaces of degree large enough in some Fano varieties \(Z\), and precisely in quadrics, cubic threefolds and fourfolds, complete intersection threefolds of type (2,2), Grassmannians, and products of projective spaces. The proof relies on a study of the fibres of a finite map \(X\to \mathbb P^n\); in all the cases considered it results that the fibres satisfy the Cayley-Bacharach condition with respect to the canonical linear series on \(X\), which implies that they are contained in curves in \(Z\) of degree at most \(2\). Then the results follow from the geometry of the curves of low degree on \(Z\).

Recommendations

• The gonality theorem of Noether for hypersurfaces
• Degree of irrationality of a product of two elliptic curves
• A note on the inequality of degrees of irrationalities of algebraic surfaces
• FANO HYPERSURFACES WITH ARBITRARILY LARGE DEGREES OF IRRATIONALITY
• On irrationality of surfaces in \(\mathbb{P}^3\)
• Degree of irrationality of an algebraic surface
• On the degrees of irrationality of hyperelliptic surfaces
• On irrationality of hypersurfaces in \(\mathbb {P}^{n+1}\)
• Degree of irrationality of hyperelliptic surfaces.
• Measures of association between algebraic varieties, II: self-correspondences

Cites work

• Chow ring and gonality of general abelian varieties
• Curves on generic Kummer varieties
• Gonality of curves on general hypersurfaces
• scientific article; zbMATH DE number 3970926 (Why is no real title available?)
• Measures of irrationality for hypersurfaces of large degree
• Measures of irrationality of the Fano surface of a cubic threefold
• Moduli of vector bundles on a compact Riemann surface
• On a conjecture of Clemens on rational curves on hypersurfaces
• Specialization of birational types
• Stable rationality of quadric surface bundles over surfaces
• Subvarieties of generic complete intersections
• The gonality theorem of Noether for hypersurfaces
• The intermediate Jacobian of the cubic threefold

Cited in

(10)

• The maximum likelihood degree of Fermat hypersurfaces
• Measures of irrationality for hypersurfaces of large degree
• On irrationality of hypersurfaces in \(\mathbb {P}^{n+1}\)
• FANO HYPERSURFACES WITH ARBITRARILY LARGE DEGREES OF IRRATIONALITY
• The gonality theorem of Noether for hypersurfaces
• Cones of lines having high contact with general hypersurfaces and applications
• Geometry of points satisfying Cayley-Bacharach conditions and applications
• A Cayley-Bacharach theorem and plane configurations
• Degree of irrationality of Fano threefold hypersurfaces
• Covering gonality of symmetric products of curves and Cayley-Bacharach condition on Grassmannians

This page was built for publication: The degree of irrationality of hypersurfaces in various Fano varieties

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