Fano hypersurfaces with arbitrarily large degrees of irrationality

David Stapleton; Nathan Chen

REVIEW 1 major objections 4 minor 19 references

Fano hypersurfaces with arbitrarily large degrees of irrationality

T0 review · 1 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For any fixed Fano index e, very general complex Fano hypersurfaces of sufficiently large dimension n have degree of irrationality at least $\sqrt{n}/4$.

desk verdict Genuinely new lower bounds for degree of irrationality of Fano hypersurfaces, with a clean specialization theorem, but the proof of Theorem A currently rests on an unstated degeneration argument. read the letter →

arxiv 1908.02803 v1 pith:ZIVE3KCP submitted 2019-08-07 math.AG

Nathan Chen , David Stapleton This is my paper · ORCID

classification math.AG MSC 14E0814E0514J7014M20

keywords degreeofirrationalityFanohypersurfacesrationallyconnectedvarietiespositivecharacteristicdegenerationruledspecializationbirationalinvariantspoint-separatinglinebundles

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper tries to establish a quantitative lower bound on how far Fano hypersurfaces can be from being rational. For every fixed Fano index e and all sufficiently large dimensions n, the very general complex Fano hypersurface of dimension n and codegree e has degree of irrationality at least $\sqrt{n}/4$. Since the degree of irrationality counts the smallest degree of a dominant rational map to projective space, this means these varieties cannot be covered rationally by maps of small degree. The result supplies the first examples of rationally connected varieties whose degree of irrationality is at least 4, and it is proved by specializing to positive characteristic and tracking maps to ruled varieties through the specialization.

What carries the argument

The mechanism is an injection of a line bundle into the sheaf of $(n-1)$-forms on a resolution of a positive-characteristic degeneration. In the degeneration construction, the special fiber is a purely inseparable degree-p cover of a smooth degree-d hypersurface, and the pullback line bundle $\mathcal{O}(pd+d-n-2)$ injects into $\wedge^{n-1}\Omega$ on a resolution. Sections of this line bundle separate many points, and a trace-map argument shows that any separable rational map to a ruled variety would have to have degree at least one more than half the number of separated points. That converts separation of points into a lower bound on degrees of maps, and the bound is then transferred from the special fiber to the complex generic fiber by the specialization theorem.

What would settle it

One concrete test would be to compute the minimal degree of a dominant rational map from the special fiber of the p-fold inseparable cover described in the degeneration to a ruled variety. If for some p and d in the claimed range the special fiber admitted such a map of degree below $\lfloor (d-e)/2\rfloor$, the point-separating lemma would be contradicted; equivalently, exhibiting a very general complex Fano hypersurface $X_{n,e}$ with $\mathrm{irr}(X_{n,e}) < \sqrt{n}/4$ would refute the theorem.

Watch

Extended reading notes

Core claim

The central claim is that the irrationality of Fano hypersurfaces grows at least as the square root of the dimension. More precisely, for a fixed codegree e there is an N such that for all n > N, the very general complex Fano hypersurface $X_{n,e}$ of dimension n and codegree e satisfies $\mathrm{irr}(X_{n,e}) \ge \sqrt{n}/4$. The paper proves the stronger statement that every dominant rational map from $X_{n,e}$ to a ruled variety has degree at least $\sqrt{n}/4$. A companion specialization theorem says that, in a family over a DVR, the minimal degree of a dominant generically finite rational map to a ruled variety can only drop on special fibers; this is what lets the positive-characteristic obstruction push back to characteristic zero.

Load-bearing premise

The load-bearing premise is that the cited positive-characteristic degeneration really produces the line-bundle injection into the sheaf of $(n-1)$-forms on a resolution; if that injection fails for the relevant primes and degrees, the lower bound on the degree of irrationality does not follow.

Editorial extensions

If this is right

For fixed codegree e and $n > (4e-4)^2 - 2$, the very general complex Fano hypersurface satisfies $\mathrm{irr}(X_{n,e}) \ge \sqrt{n}/4$.
The same lower bound applies to the minimal degree of a dominant rational map to any ruled variety, not just to projective space.
In the families covered by Proposition C (surfaces with $H^{1,0}=0$ and strict Calabi-Yau threefolds), the degree of irrationality can only drop under specialization.
Every complex abelian surface has degree of irrationality at most 4.
The specialization theorem gives a general tool for transferring lower bounds on maps to ruled varieties from special fibers to generic fibers in arbitrary families over a DVR.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

I infer that the same mechanism should give lower bounds for other rationality measures that count degrees of covers, such as covering gonality or the least degree of a map to a uniruled variety, whenever a point-separating line bundle injects into a wedge power of the cotangent sheaf.
I infer that the specialization theorem, stated for maps to ruled varieties, may extend further to the degree of irrationality itself in larger classes of families with controlled fundamental group or Hodge numbers.
I infer that a sharper point-separation count in the key lemma could improve the constant $1/4$ and possibly the exponent in the lower bound, since the current argument is optimized only through the prime-counting step.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Here's my take. The paper has a genuinely new result and a clean tool. Theorem B—minimal degree of a dominant map to a ruled variety can only drop under specialization—is independently useful and appears correct. Lemma 2.3 is the other key piece: it turns point-separating line bundles into degree lower bounds via a trace map. That argument is standard and I don't see a problem. The claimed application to Fano hypersurfaces would give the first rationally connected varieties with irr ≥ 4, which would be a real step.

The main soft spot is in the proof of Theorem A, the paragraph covering degrees not divisible by p. The text says, essentially, that you can degenerate X to a union of a very general degree pd hypersurface and f hyperplanes, then apply Theorem 1.1(2). That is a whole argument in one sentence. To make it work you need a flat family over a DVR with normal total space, the degree pd component very general, and the numerical condition d−e−f ≥ 2p−2 (because that component has codegree e+f, not e). None of this is checked. The stress-test note gets this right. Without this step, the proof as written only covers degrees of the form pd for your chosen primes, not all sufficiently large n.

I want to stress that this is a repairable gap, not a sign of sloppiness. The rest of the paper is clear and the citations are appropriate. The prime-counting bound is fine. The Corollary D application is separate but plausible.

Verdict: send it out, but the referee should be specifically asked to fill in the degeneration construction. If that step works, the paper is a solid contribution. If not, the theorem is weaker but still interesting. I'd read it again after revision.

Referee Report

1 major / 4 minor

Summary. The paper proves Theorem A: for every fixed Fano index e, there is an N such that for all n > N, the very general complex Fano hypersurface of dimension n and index e has degree of irrationality at least sqrt(n)/4. The method combines a specialization theorem (Theorem B / Theorem 1.1: existence of a degree-d rational map to a ruled variety on the geometric generic fiber forces the same on suitable components of the special fiber) with Kollár's characteristic-p degeneration. In positive characteristic, a purely inseparable cover of a degree-d hypersurface carries a line bundle M, coming from O(d-e), which separates many points and embeds into a wedge of the cotangent sheaf; Lemma 2.3 converts this into the nonexistence of low-degree separable maps to ruled varieties. The main theorem then follows by applying the specialization theorem in the contrapositive and by estimating suitable primes via Bertrand's postulate. The paper also derives Proposition C (specialization of degree of irrationality for irregularity-zero surfaces and strict Calabi-Yau threefolds) and Corollary D (every complex abelian surface has degree of irrationality at most 4).

Significance. If the main theorem is correct, it gives the first known rationally connected varieties with degree of irrationality at least 4, and the sqrt(n) growth is a new phenomenon for Fano hypersurfaces. The specialization theorem Theorem B/1.1 is a clean and reusable statement about ruled covers, and the point-separation Lemma 2.3 is a natural and potentially useful tool. The proof is largely self-contained and has no visible free parameters: the numerical estimate is explicit and parameter-free. The main caveat is that the proof of Theorem A as printed covers degrees divisible by a suitable prime in detail, while the extension to arbitrary degrees is asserted in a single sentence; that step must be expanded before the stated theorem is fully supported. I regard the central idea as sound and the paper as publishable after the missing argument is supplied.

major comments (1)

[§2, proof of Theorem A, second paragraph] The paper invokes Kollár's degeneration, Construction 2.4, for a family whose special fiber is a reduced degree-p inseparable cover of a smooth degree-d hypersurface and for which M := ν^*O(pd+d-n-2) injects into ∧^{n-1}Ω_{X'_κ}. The hypotheses under which [8, §5] applies are not stated. In the numerical range used at the end, d ≈ (n+2)/p and p ≈ sqrt(n)/4, so d is comparable to or larger than p; the paper should state the exact conditions on p and d (for example, any requirements on d relative to p or on the singularities of Y) and confirm that every pair (p,d) produced by the prime-counting estimate satisfies them. If Kollár's construction imposes additional inequalities, they must be inserted into condition (∗).

minor comments (4)

[§2, Lemma 2.3] In the trace argument, the separation property is used to choose a section vanishing on all but one of the 2b preimage points. Please specify that the nonvanishing point is chosen to lie over z_2, so that the traced form vanishes at z_1 and does not vanish at z_2; as written, the direction of the vanishing at the two points is ambiguous.
[§2, proof of Theorem A] After base changing the no-map statement from the countable field η to C, the conclusion is drawn for a very general complex hypersurface, rather than just for the one complex member coming from Kollár's degeneration. This is standard because the locus of hypersurfaces admitting a rational map of degree at most p-1 to a ruled variety is a countable union of closed subvarieties, but the argument should be stated once.
[Remark 2.6] The numerical example appears inconsistent: for p=5, e=1, and n=35 one has n+2 = 37 and D = 36, so with f = 1 and d = 7 the quantity d-e-f equals 5, which is less than 2p-2 = 8. The displayed statement that a very general degree 35 hypersurface in P^{35} has irr(X) ≥ 4 should be corrected, or the intended parameters (possibly n=34 or a different d,f) should be spelled out.
[§1, proof of Proposition C] In the case dim B = 2, the sentence "As X_0 is simply connected, the map from X_0 to B factors through B'" is terse. The factorization through the étale cover B' follows from the vanishing of π_1(X_0) once basepoints are chosen, but the step should be made explicit, especially because the lifting statement for rational maps to a cover is not automatic.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem A rests on Kollár's external degeneration and a self-contained trace argument, not on the authors' own prior results.

full rationale

Theorem A's derivation chain is not circular. Lemma 2.3 proves the key obstruction using the trace map for i-forms, with no input that already asserts the conclusion. The line bundle M in Construction 2.4 and the injection M ↪ ∧^{n-1}Ω_{X'_κ} come from Kollár's paper [8], an external result, not from a fitted parameter or from the present authors' own work. The numerical condition (∗) and the Bertrand-postulate estimate are ordinary arithmetic, and the lower bound irr(X) ≥ √(n+2)/4 is not extracted from a quantity that was defined to be that bound. The only self-citation is [4], used in the proof of Corollary D; that corollary is an application rather than the paper's main claim, and even there [4] supplies the very-general input which is then specialized through Proposition C, so the conclusion is not identical to the citation by construction. The proof does contain a genuine gap: the claim in the proof of Theorem A that the remaining degrees follow 'by degenerating X to a union of a very general degree pd hypersurface and f hyperplanes' is asserted, not proved; the needed flatness, normality, very-generality, and transfer via Theorem 1.1(2) are not checked. That omission is a correctness/completeness concern and not a circular reduction, so it does not raise the circularity score.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper is a pure proof-based contribution with no fitted parameters and no invented entities. The central proof imports Kollár's char-p degeneration and injection, the positive-characteristic trace map for rational maps, and a field-isomorphism lemma for very general fibers; none of these are circular restatements of the main theorem. The only self-cited input is [4], used only in the Corollary D application.

assumptions (5)

standard math Kollár: for a degree pd hypersurface over a DVR, the special fiber is a degree p inseparable cover of a smooth degree d hypersurface Y, and M=O(pd+d-n-2) injects into wedge^{n-1} Omega on a resolution.
Cited to [8, Section 5] in Construction 2.4; supplies the injection that Lemma 2.3 turns into a degree bound.
standard math The trace map for reflexive differential forms extends to generically finite rational maps in positive characteristic, with the expected fiber-sum behavior over the etale locus.
Cited to [5, Prop. 3.3] and [6] in the proof of Lemma 2.3; without it, the contradiction at the two points z1, z2 cannot be traced.
standard math Lemma 1.3: for a very general fiber X_t, there is a field isomorphism of the geometric generic point eta with C making X_eta isomorphic to X_t.
Cited to [15, Lem. 2.1]; it is what lets the authors pass from one special complex hypersurface to very general members.
ad hoc to paper The general-degree case D=pd+f can be handled by a flat degeneration of a very general degree D hypersurface to the union of a very general degree pd hypersurface and f hyperplanes, with Theorem 1.1(2) applied to the degree pd component.
Stated in Section 2 as 'This can be proved by degenerating...' but the degeneration is not written out; this is the least supported step in the proof of Theorem A.
standard math Standard facts used without proof: sections of O(m) on projective space separate any m points; the degree of an inseparable rational map is divisible by p; classification of Kodaira-dimension-zero surfaces and h^{p,0}=0 for strict Calabi-Yau threefolds.
Used in Theorem A (separation and inseparable degree), Proposition C, and Corollary D.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Fano hypersurfaces with arbitrarily large degrees of irrationality." pith.science (2026). https://pith.science/paper/ZIVE3KCP

@misc{pith2026190802803,
  author       = {Pith},
  title        = {Pith review of: Fano hypersurfaces with arbitrarily large degrees of irrationality},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZIVE3KCP}},
  note         = {Machine review of arXiv:1908.02803}
}

abstract

We show that complex Fano hypersurfaces can have arbitrarily large degrees of irrationality. More precisely, if we fix a Fano index e, then the degree of irrationality of a very general complex Fano hypersurface of index e and dimension n is bounded from below by a constant times $\sqrt{n}$. To our knowledge this gives the first examples of rationally connected varieties with degrees of irrationality greater than 3. The proof follows a degeneration to characteristic p argument which Koll\'ar used to prove nonrationality of Fano hypersurfaces. Along the way we show that in a family of varieties, the invariant "the minimal degree of a dominant rational map to a ruled variety" can only drop on special fibers. As a consequence, we show that for certain low-dimensional families of varieties the degree of irrationality also behaves well under specialization.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references · 17 canonical work pages

[1]

Let T = Spec(A) be the spectrum of a DVR with uniformizer t , fraction ﬁeld η = Frac(A), and residue ﬁeld κ = A/t

M/a.sc/p.sc/s.sc /t.sc/o.sc /r.sc/u.sc/l.sc/e.sc/d.sc /v.sc /a.sc/r.sc/i.sc/e.sc/t.sc/i.sc/e.sc/s.sc /s.sc/p.sc/e.sc/c.sc/i.sc/a.sc/l.sc/i.sc/z.sc/e.sc The goal of this section is to prove a slightly more general ve rsion of Theorem B. Let T = Spec(A) be the spectrum of a DVR with uniformizer t , fraction ﬁeld η = Frac(A), and residue ﬁeld κ = A/t . Let η...

work page
[2]

how irrational

proved that when X is smooth and n ≥ 2d ! then X is at least unirational, i.e., dominated by a rational variety. Given a variety X whose non-rationality is known, one can ask if there is a way t o measure “how irrational" X is. One natural invariant in this direction is the degree of irrationality , deﬁned as irr(X ) ≔ min{δ >0 | ∃ degreeδ rational domina...

work page
[3]

B/i.sc/r.sc/k.sc/a.sc/r.sc, The Iitaka conjecture C n,m in dimension six, Compositio Mathematica, 145 (2009), pp

C. B/i.sc/r.sc/k.sc/a.sc/r.sc, The Iitaka conjecture C n,m in dimension six, Compositio Mathematica, 145 (2009), pp. 1442–1446

work page 2009
[4]

For a hypersurface X ⊂ Pn+1 of degree d , recall from the introduction that the codegree of X is e := n + 2 − d

I/r.sc/r.sc/a.sc /t.sc/i.sc/o.sc/n.sc/a.sc/l.sc/i.sc/t.sc/y.sc /o.sc/f.sc F /a.sc/n.sc/o.sc /h.sc/y.sc/p.sc/e.sc/r.sc/s.sc/u.sc/r.sc/f.sc /a.sc/c.sc/e.sc/s.sc The goal of this section is to prove Theorem A. For a hypersurface X ⊂ Pn+1 of degree d , recall from the introduction that the codegree of X is e := n + 2 − d . We follow an idea of Kollár’s [ 8], ...

work page
[5]

B/a.sc/s.sc/t.sc/i.sc/a.sc/n.sc/e.sc/l.sc/l.sc/i.sc, P

F. B/a.sc/s.sc/t.sc/i.sc/a.sc/n.sc/e.sc/l.sc/l.sc/i.sc, P. D/e.sc P/o.sc/i.sc, L. E/i.sc/n.sc, R. L/a.sc/z.sc/a.sc/r.sc/s.sc/f.sc/e.sc/l.sc/d.sc, /a.sc/n.sc/d.sc B. U/l.sc/l.sc/e.sc/r.sc/y.sc, Measures of irrationality for hypersurfaces of large degree , Compositio Mathematica, 153 (2017), pp. 2368–2393

work page 2017
[6]

Linear subspaces of hypersurfaces

R. B/e.sc/h.sc/e.sc/s.sc/h.sc/t.sc/i.sc /a.sc/n.sc/d.sc E. R/i.sc/e.sc/d.sc/l.sc, Linear subspaces of hypersurfaces , arXiv:1903.02481, (2019)

work page Pith review arXiv 2019
[7]

Nicaise and Shind er [ 12] (resp

showed that there are families of varieties where there is a dense set of rational ﬁbers, but the very general member is irrational. Nicaise and Shind er [ 12] (resp. Kontsevich and T schinkel [11]) established that stable rationality (resp. rationality) specializes in smooth projective families. The behavior of unirationality and th e degree of irrationa...

work page
[8]

C/h.sc/e.sc/n.sc, Degree of irrationality of very general abelian surfaces , arXiv:1902.05645, (2019)

N. C/h.sc/e.sc/n.sc, Degree of irrationality of very general abelian surfaces , arXiv:1902.05645, (2019)

arXiv 2019

Show all 19 references

[9]

A. J. /d.sc/e.sc J/o.sc/n.sc/g.sc /a.sc/n.sc/d.sc J. S/t.sc/a.sc/r.sc/r.sc, Cubic fourfolds and spaces of rational curves , Illinois Journal of Mathematics, 48 (2004), pp. 415–450

2004
[10]

, Erratum: Cubic fourfolds and spaces of rational curves , Illinois Journal of Mathematics, 52 (2008), pp. 345–346

2008
[11]

H/a.sc/s.sc/s.sc/e.sc/t.sc/t.sc, A

B. H/a.sc/s.sc/s.sc/e.sc/t.sc/t.sc, A. P/i.sc/r.sc/u.sc/t.sc/k.sc/a.sc, /a.sc/n.sc/d.sc Y. T/s.sc/c.sc/h.sc/i.sc/n.sc/k.sc/e.sc/l.sc, Stable rationality of quadric surface bundles over surface s, Acta Math., 220 (2018), pp. 341–365

2018
[12]

K/o.sc/l.sc/l.sc/aacute.sc/r.sc, Nonrational hypersurfaces, J

J. K/o.sc/l.sc/l.sc/aacute.sc/r.sc, Nonrational hypersurfaces, J. Amer. Math. Soc., 8 (1995), pp. 241–249

1995
[13]

32 of Ergebnisse der Mathematik und ihrer Grenzgebiet e, Springer-V erlag, Berlin, 1996

, Rational curves on algebraic varieties , vol. 32 of Ergebnisse der Mathematik und ihrer Grenzgebiet e, Springer-V erlag, Berlin, 1996

1996
[14]

200, Cambridge University Press, 2013

, Singularities of the minimal model program , vol. 200, Cambridge University Press, 2013

2013
[15]

K/o.sc/n.sc/t.sc/s.sc/e.sc/v.sc/i.sc/c.sc/h.sc /a.sc/n.sc/d.sc Y

M. K/o.sc/n.sc/t.sc/s.sc/e.sc/v.sc/i.sc/c.sc/h.sc /a.sc/n.sc/d.sc Y. T/s.sc/c.sc/h.sc/i.sc/n.sc/k.sc/e.sc/l.sc, Specialization of birational types , Inventiones mathematicae, (2019)

2019
[16]

N/i.sc/c.sc/a.sc/i.sc/s.sc/e.sc /a.sc/n.sc/d.sc E

J. N/i.sc/c.sc/a.sc/i.sc/s.sc/e.sc /a.sc/n.sc/d.sc E. S/h.sc/i.sc/n.sc/d.sc/e.sc/r.sc, The motivic nearby ﬁber and degeneration of stable rational ity, Inventiones mathe- maticae, (2019)

2019
[17]

S/c.sc/h.sc/r.sc/e.sc/i.sc/e.sc/d.sc/e.sc/r.sc, Stably irrational hypersurfaces of small slopes , arXiv:1801.05397, (2018)

S. S/c.sc/h.sc/r.sc/e.sc/i.sc/e.sc/d.sc/e.sc/r.sc, Stably irrational hypersurfaces of small slopes , arXiv:1801.05397, (2018)

2018 arXiv
[18]

T/o.sc/t.sc/a.sc/r.sc/o.sc, Hypersurfaces that are not stably rational , J

B. T/o.sc/t.sc/a.sc/r.sc/o.sc, Hypersurfaces that are not stably rational , J. Amer. Math. Soc., 29 (2016), pp. 883–891

2016
[19]

V/i.sc/a.sc/l.sc, Algebraic cycles and ﬁbrations , Doc

C. V/i.sc/a.sc/l.sc, Algebraic cycles and ﬁbrations , Doc. Math, 18 (2013), pp. 1521–1553

2013

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [1]

Let T = Spec(A) be the spectrum of a DVR with uniformizer t , fraction ﬁeld η = Frac(A), and residue ﬁeld κ = A/t

M/a.sc/p.sc/s.sc /t.sc/o.sc /r.sc/u.sc/l.sc/e.sc/d.sc /v.sc /a.sc/r.sc/i.sc/e.sc/t.sc/i.sc/e.sc/s.sc /s.sc/p.sc/e.sc/c.sc/i.sc/a.sc/l.sc/i.sc/z.sc/e.sc The goal of this section is to prove a slightly more general ve rsion of Theorem B. Let T = Spec(A) be the spectrum of a DVR with uniformizer t , fraction ﬁeld η = Frac(A), and residue ﬁeld κ = A/t . Let η...

work page

[2] [2]

how irrational

proved that when X is smooth and n ≥ 2d ! then X is at least unirational, i.e., dominated by a rational variety. Given a variety X whose non-rationality is known, one can ask if there is a way t o measure “how irrational" X is. One natural invariant in this direction is the degree of irrationality , deﬁned as irr(X ) ≔ min{δ >0 | ∃ degreeδ rational domina...

work page

[3] [3]

B/i.sc/r.sc/k.sc/a.sc/r.sc, The Iitaka conjecture C n,m in dimension six, Compositio Mathematica, 145 (2009), pp

C. B/i.sc/r.sc/k.sc/a.sc/r.sc, The Iitaka conjecture C n,m in dimension six, Compositio Mathematica, 145 (2009), pp. 1442–1446

work page 2009

[4] [4]

For a hypersurface X ⊂ Pn+1 of degree d , recall from the introduction that the codegree of X is e := n + 2 − d

I/r.sc/r.sc/a.sc /t.sc/i.sc/o.sc/n.sc/a.sc/l.sc/i.sc/t.sc/y.sc /o.sc/f.sc F /a.sc/n.sc/o.sc /h.sc/y.sc/p.sc/e.sc/r.sc/s.sc/u.sc/r.sc/f.sc /a.sc/c.sc/e.sc/s.sc The goal of this section is to prove Theorem A. For a hypersurface X ⊂ Pn+1 of degree d , recall from the introduction that the codegree of X is e := n + 2 − d . We follow an idea of Kollár’s [ 8], ...

work page

[5] [5]

B/a.sc/s.sc/t.sc/i.sc/a.sc/n.sc/e.sc/l.sc/l.sc/i.sc, P

F. B/a.sc/s.sc/t.sc/i.sc/a.sc/n.sc/e.sc/l.sc/l.sc/i.sc, P. D/e.sc P/o.sc/i.sc, L. E/i.sc/n.sc, R. L/a.sc/z.sc/a.sc/r.sc/s.sc/f.sc/e.sc/l.sc/d.sc, /a.sc/n.sc/d.sc B. U/l.sc/l.sc/e.sc/r.sc/y.sc, Measures of irrationality for hypersurfaces of large degree , Compositio Mathematica, 153 (2017), pp. 2368–2393

work page 2017

[6] [6]

Linear subspaces of hypersurfaces

R. B/e.sc/h.sc/e.sc/s.sc/h.sc/t.sc/i.sc /a.sc/n.sc/d.sc E. R/i.sc/e.sc/d.sc/l.sc, Linear subspaces of hypersurfaces , arXiv:1903.02481, (2019)

work page Pith review arXiv 2019

[7] [7]

Nicaise and Shind er [ 12] (resp

showed that there are families of varieties where there is a dense set of rational ﬁbers, but the very general member is irrational. Nicaise and Shind er [ 12] (resp. Kontsevich and T schinkel [11]) established that stable rationality (resp. rationality) specializes in smooth projective families. The behavior of unirationality and th e degree of irrationa...

work page

[8] [8]

C/h.sc/e.sc/n.sc, Degree of irrationality of very general abelian surfaces , arXiv:1902.05645, (2019)

N. C/h.sc/e.sc/n.sc, Degree of irrationality of very general abelian surfaces , arXiv:1902.05645, (2019)

arXiv 2019