A primer on measures of irrationality

Nathan Chen; Olivier Martin

REVIEW 1 major objections 6 minor 17 references

A primer on measures of irrationality

T0 review · 1 major / 6 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read This survey organizes the known bounds on degree of irrationality and covering gonality by the Kodaira–Enriques classification of surfaces, exact values where they are known, and open problems where they are not.

desk verdict Useful survey of measures of irrationality, but the quartic threefold discussion contains a real error that needs fixing before it can be trusted as a reference. read the letter →

arxiv 2509.03783 v1 pith:OLO474S4 submitted 2025-09-04 math.AG

Nathan Chen , Olivier Martin This is my paper

classification math.AG MSC 14E0814J2814J2914K0514N05

keywords degreeofirrationalitycoveringgonalityKodaira–EnriquesclassificationalgebraicsurfaceshypersurfacesandcompleteintersectionsabelianvarietiesCayley–Bacharachconditionopenproblemsinbirationalgeometry

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

Measures of irrationality turn a qualitative question—how far is a variety from being rational?—into numbers: the minimal degree of a dominant rational map to projective space, and the smallest gonality of curves sweeping out the variety. The survey's thesis is that the many scattered results on these numbers become a coherent picture when organized by the Kodaira–Enriques classification of algebraic surfaces. It collects exact values for broad classes, such as very general hypersurfaces of degree d having degree of irrationality d−1, and pairs them with a list of open problems, several of which concern K3 surfaces and abelian varieties. A reader cares because the survey converts a young, example-driven field into a structured map of what is known and what a promising next computation would be.

What carries the argument

The central objects are the degree of irrationality irr(X)—the minimal degree of a dominant rational map from X to projective space of the same dimension—and the covering gonality cov.gon(X)—the smallest gonality of an integral curve that passes through a general point of X. The Kodaira–Enriques classification of surfaces is the organizing spine, dividing surfaces into birational classes with different positivity behavior. The load-bearing techniques are: separation of points by the canonical linear series, which converts positivity into lower bounds; the Cayley–Bacharach condition on fibers, which rules out low-degree maps unless fibers behave like lines; a trace map for differential forms

What would settle it

Recheck the numerical example in the introduction: a smooth quartic threefold has dimension 3, so projection from a point gives a dominant rational map to P3, not to P4 as printed. Determining whether that P4 is a typo or a genuine misstatement is a concrete test. A second check is to verify one of the announced 'upcoming work' results, such as the genus-3 symmetric square bound, once it appears.

Watch

Extended reading notes

Core claim

The survey's central claim is that scattered results on measures of irrationality cohere when read through the Kodaira–Enriques classification: rational surfaces have value 1, ruled surfaces have covering gonality 1 and degree of irrationality equal to the base curve's gonality, K3 surfaces have covering gonality 2 with degree of irrationality largely unknown, abelian surfaces fall between 3 and 4, and general type surfaces require positivity techniques. Higher-dimensional corollaries: very general hypersurfaces of degree d ≥ 2n+1 have degree of irrationality d−1, and general complete intersections have covering gonality asymptotic to the product of defining degrees. For abelian varieties, a

Load-bearing premise

The survey's load-bearing premise is that every theorem quoted from the literature is transcribed and attributed correctly and that its own forthcoming results will check out; Example 0.9, where a smooth quartic threefold is said to map to P4 although it has dimension 3, is an immediate place to test that premise.

Editorial extensions

If this is right

Very general hypersurfaces of degree d in P^{n+1} with d ≥ 2n+1 have degree of irrationality exactly d−1, and any degree-(d−1) map is birationally equivalent to projection from a point.
For general complete intersections of large multidegree, covering gonality is asymptotically multiplicative in the defining degrees, confirming the predicted behavior and extending Lazarsfeld's curve bound to all dimensions.
K3 surfaces always have covering gonality 2, but no example is known with degree of irrationality ≥ 4; the survey isolates this as a central open problem.
For very general abelian n-folds, the degree of irrationality of subvarieties is at least d + (dim A + 1)/2, and for the whole variety at least (3n+1)/2.
The degree of irrationality can drop under specialization for K3 surfaces, but whether it is always lower-semicontinuous in smooth families is open; a product of two elliptic curves with degree of irrationality 4 would give a counterexample.

Reading between the lines

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

Editorial inference: if the conjecture that products of very general curves have degree of irrationality equal to the product of gonalities is correct, then degree of irrationality behaves like a genuinely multiplicative invariant, making it a much finer measure than covering gonality.
Editorial inference: the large gap between lower and upper bounds for very general abelian varieties suggests the true asymptotic may be governed by the gonality of curves inside the variety rather than by holomorphic-length type arguments; testing small dimensions with new explicit constructions would map the transition.
Editorial inference: the point-separation and Cayley–Bacharach machinery is likely adaptable to log canonical pairs or other settings with suitable positivity, since the survey's complete-intersection results already use a pair version with Nadel vanishing.
Editorial inference: if the arithmetic conjecture that the minimum density degree equals the degree of irrationality for high-degree surfaces in P3 holds, it would unify geometric and arithmetic notions of irrationality, allowing point-counting to compute a birational invariant.

Share X Bluesky LinkedIn Reddit HN

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

Quick take: this is a genuinely useful survey of measures of irrationality, organized by Kodaira–Enriques classification, with a good collection of known results, open problems, and references. It doesn't pretend to be original research, and that's fine. The citations look careful, and the authors' own work is flagged as such. If you work near this area, you'd want this on your shelf once the errors are cleaned up.

The good news first. The survey covers a lot of ground: surfaces by Kodaira dimension, positivity techniques for hypersurfaces and complete intersections, abelian varieties, and a long list of open questions. The organization is sensible, and the pointers to the literature are mostly accurate. I'm not aware of another single source that collects this material, so it fills a real gap.

Now the soft spots. The reader caught a typo in Example 0.9: projection from a point on a quartic threefold in P4 gives a degree 3 map to P3, not P4. That's minor.

The bigger issue is in §2.3, which says: 'Work of Iskovskih and Manin shows that the degree of irrationality of any smooth quartic threefold is equal to 3.' That's not what Iskovskikh–Manin prove. They prove birational rigidity, i.e., Bir(Y)=Aut(Y). That gives irr(Y)>1, but irr(Y)≥3 only when Aut(Y) is trivial. Example 0.9 itself correctly restricts to very general Y, so the survey contradicts itself. The stress-test note gives a concrete counterexample: the Fermat quartic threefold has an involution whose quotient is the double cover of P3 branched along the Fermat quartic surface, which contains lines and is classically rational. That would give a degree 2 map to P3, so irr(Y)=2. I haven't checked every line of that argument, but it's plausible and consistent with the literature on rational double solids. At minimum, the 'any' claim is unjustified and likely false. This matters because the survey's value is as a reliable reference; a false theorem statement in a survey is worse than a typo.

There are also a couple of 'upcoming work' statements by the authors that aren't verifiable in the preprint, but that's common in surveys and not a problem by itself.

Who is this for? Graduate students and researchers entering the area who want a structured map of the field. After fixing the quartic threefold statement (and the P4 typo), it's a solid reference. As it stands, I'd be cautious about citing the Fano hypersurface section. It deserves a serious referee to catch these issues, not a desk reject. I'd accept it with major revision.

Referee Report

1 major / 6 minor

Summary. The paper is an expository survey of measures of irrationality: the degree of irrationality, covering gonality, connecting gonality, and related birational invariants. It presents the definitions, classical examples, and a large body of recent results, organized by the Enriques–Kodaira classification of surfaces (§1), positivity methods for hypersurfaces and complete intersections (§2), abelian and irregular varieties (§3), and a compilation of open problems (§4). The stated goal is to provide a reliable reference summarizing the current state of the field and highlighting open questions.

Significance. If correct, the survey would be a valuable entry point to the area: it collects a scattered literature into one coherent notation, states many theorems with references, and formulates numerous open problems. Its strengths are breadth, the explicit connection between geometric invariants and arithmetic questions, and the candid discussion of what is unknown. However, the survey's value as a reference depends on accurate transcription and attribution of quoted results. The quartic-threefold statements are internally inconsistent and not supported by the cited theorem; because the abstract advertises a reliable summary, this is a load-bearing issue rather than a cosmetic slip.

major comments (1)

[§2.3 (paragraph after Theorem 2.11)] The sentence "Work of Iskovskih and Manin shows that the degree of irrationality of any smooth quartic threefold is equal to 3" contradicts Example 0.9, which only obtains irr(Y)≥3 for very general Y. Iskovskikh–Manin's result Bir(Y)=Aut(Y) rules out irr=1, but does not by itself rule out a degree-2 rational map to P^3, which would give a birational involution; if that involution is a biregular automorphism with rational quotient, irr=2. The Fermat quartic threefold x0^4+...+x4^4=0 with the involution (x0:...:x4)↦(x0:...:x3:-x4) has quotient the double cover of P^3 branched along S={x0^4+...+x3^4=0}; since S contains a line, this double solid is classically rational, giving irr≤2. Thus the universal claim is false as written, or at least requires a nontrivial justification that is neither given nor cited. Please restrict the statement to very general quartics and provide the correct refe

minor comments (6)

[Example 0.9] Projection from a point on a smooth quartic threefold Y⊂P^4 gives a dominant rational map Y⇢P^3 (lines through the point are parameterized by P^3), not to P^4. The degree 3 is correct, but the target dimension is wrong. Since §2.3 refers to this example, this typo should be fixed.
[Example 0.5] The text reads "Let C1, C2 and be smooth projective curves"; the word "and" is extraneous. It should read "Let C1 and C2 be smooth projective curves."
[§1.2, paragraph on K3 surfaces] "provides and upper bound" should be "provides an upper bound."
[Theorem 2.11] The displayed condition "d ≥ n + 1 − √n + 2/4" is ambiguous. It should presumably read d ≥ n+1−√(n+2)/4 or d ≥ n+1−√(n+2)/4, as in the source; please correct the typesetting.
[References] The entries [BDPE+17] and [BPE+17] appear to refer to the same paper (Bastianelli–De Poi–Ein–Lazarsfeld–Ullery, Compos. Math. 153 (2017)). Please unify the citation keys and use a single reference.
[Introduction and §1.4] The survey repeatedly relies on "upcoming work" of the authors (e.g., the Introduction and §1.4). These statements are unverifiable in the preprint. Please label them explicitly as forthcoming and update them when the papers become available.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: expository survey with standard definitions and externally checkable citations; self-citations are normal and non-load-bearing.

full rationale

The paper is an expository survey, not a derivation-heavy research article. Its stated goal is to summarize known results and organize them by Kodaira–Enriques classification. It introduces standard definitions (degree of irrationality, covering gonality, etc.) and quotes theorems from the literature rather than deriving new predictions from fitted parameters. The authors' own prior work (e.g., [CM23], [Mar19], [CS20], [CCZ24]) is cited in the usual survey style, but none of these citations secretly supplies the survey's conclusions: each cited result has an independent proof and can be checked externally. The announcements of 'upcoming work' are explicitly framed as future contributions and are not used as evidence for any asserted theorem. The only notable defect is an internal inconsistency about quartic threefolds (Example 0.9 restricts the degree-3 statement to very general quartics, while §2.3 states it for all smooth quartic threefolds), but this is an accuracy/attribution issue, not a circularity issue: no equation or definition reduces to its own target. No self-definitional step, fitted input called prediction, or uniqueness imported from authors occurs. Hence the appropriate circularity score is 0.

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

As a survey, the paper introduces no free parameters, no new entities, and no axioms. It depends on the correctness of the external theorems it summarizes.

assumptions (1)

domain assumption The cited theorems from the literature (e.g., BDPE+17, CCZ24, Mar19) are correctly stated and correctly attributed.
The survey's entire content is a summary of external results; any misstatement or misattribution propagates into the survey and undermines its reliability.

how reviews work

0 comments

Cite this review

Pith. "Pith review of A primer on measures of irrationality." pith.science (2026). https://pith.science/paper/OLO474S4

@misc{pith2026250903783,
  author       = {Pith},
  title        = {Pith review of: A primer on measures of irrationality},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/OLO474S4}},
  note         = {Machine review of arXiv:2509.03783}
}

read the original abstract

Measures of irrationality are a numerical way of quantifying how far a given variety is from being rational (or rationally connected, uniruled, etc.). In the last two decades, there has been renewed interest in the study of these invariants. The goal of this expository survey is to summarize known results from the point of view of the Kodaira--Enriques classification of surfaces, highlight recent progress, and discuss a number of open problems and questions.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

17 extracted references · 14 canonical work pages

[4]

[CCZ24] N. Chen, B. Church, and J. Zhao. Curves on complete intersections and measures of irrationality. arXiv preprint arXiv:2406.12101 ,

work page Pith review arXiv
[6]

Ciliberto

[Cil84] C. Ciliberto. Alcune applicazioni di un classico procedimento di Castelnuovo. In Seminari di geometria, Bologna 1982-1983 , pages 17–43,

work page 1982
[10]

Minimal degree fibrations in curves and the asymptotic degree of irrationality of divisors

[LSU23] J. Levinson, D. Stapleton, and B. Ullery. Minimal degree fibrations in curves and the asymptotic degree of irrationality of divisors. arXiv:2304.09963,

work page Pith review arXiv
[11]

arXiv:1911.00296, pages 1–5,

work page Pith review arXiv 1911
[12]

Notes in Math

In Algebraic geometry (Tokyo/Kyoto, 1982), volume 1016 of Lect. Notes in Math. , pages 334–353,

work page 1982
[14]

[Muk87] S. Mukai. On the moduli space of bundles on K3 surfaces. I. In Vector bundles on algebraic varieties (Bombay, 1984), volume 11 of Tata Inst. Fund. Res. Stud. Math. , pages 341–413. Tata Inst. Fund. Res., Bombay,

work page 1984
[1883]

[Pas24] G. Passeri. Stabilized measures of association: comparing the birational geometry of varieties having different dimensions. arXiv:2407.15830,

work page Pith review arXiv
[1974]

[Dol16] I. V. Dolgachev. A brief introduction to Enriques surfaces. In Development of Moduli Theory - Kyoto 2013 , volume 69 of Adv. Stud. Pure Math. , pages 1–32,

work page 2013

Show all 17 references

[1983]

[Mor23] F. Moretti. The polarized degree of irrationality of K3 surfaces. arXiv preprint arXiv:2303.07289,

arXiv
[1995]

On a conjecture of Clemens on rational curves on hypersurfaces

[Voi98] C. Voisin. A correction: “On a conjecture of Clemens on rational curves on hypersurfaces” [J. Differential Geom. 44 (1996), no. 1, 200–213; MR1420353 (97j:14047)]. J. Differential Geom. , 49(3):601–611,

1996
[2000]

Huang, B

[HKM25] Y. Huang, B. Kadets, and O. Martin. Low degree subvarieties of universal hypersurfaces. arXiv:2506.08848,
[2016]

[BKL76] S

Lecture notes from the CIME-CIRM course held in Levico Terme, June 22–27, 2015, Fondazione CIME/CIME Foundation Subseries. [BKL76] S. Bloch, A. Kas, and D. Lieberman. Zero cycles on surfaces with pg =

2015
[2017]

[BFG+25] J. Berg, Y. Fu, E. Gazaki, M. Porzio, J. Rawson, and I. Vogt. Density of algebraic points on products of curves. arXiv preprint arXiv:2507.00860 ,

arXiv
[2022]

Viray and I

[VV24] B. Viray and I. Vogt. Isolated and parameterized points on curves. arXiv preprint arXiv:2406.14353,
[2023]

Colombo, O

[CMNP19] E. Colombo, O. Martin, J. C. Naranjo, and G. P. Pirola. Degree of irrationality of a very general abelian variety. arXiv:1906.11309, pages 1–9,

1906 arXiv
[2024]

Chen and L

[CE24] N. Chen and L. Esser. Group actions and irrationality in surface families. arXiv preprint arXiv:2410.18427,

arXiv
[2025]

Bhargava

[Bha13] M. Bhargava. Most hyperelliptic curves over Q have no rational points. arXiv preprint arXiv:1308.0395,

arXiv

Pith tools

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

[1] [4]

[CCZ24] N. Chen, B. Church, and J. Zhao. Curves on complete intersections and measures of irrationality. arXiv preprint arXiv:2406.12101 ,

work page Pith review arXiv

[2] [6]

Ciliberto

[Cil84] C. Ciliberto. Alcune applicazioni di un classico procedimento di Castelnuovo. In Seminari di geometria, Bologna 1982-1983 , pages 17–43,

work page 1982

[3] [10]

Minimal degree fibrations in curves and the asymptotic degree of irrationality of divisors

[LSU23] J. Levinson, D. Stapleton, and B. Ullery. Minimal degree fibrations in curves and the asymptotic degree of irrationality of divisors. arXiv:2304.09963,

work page Pith review arXiv

[4] [11]

arXiv:1911.00296, pages 1–5,

work page Pith review arXiv 1911

[5] [12]

Notes in Math

In Algebraic geometry (Tokyo/Kyoto, 1982), volume 1016 of Lect. Notes in Math. , pages 334–353,

work page 1982

[6] [14]

[Muk87] S. Mukai. On the moduli space of bundles on K3 surfaces. I. In Vector bundles on algebraic varieties (Bombay, 1984), volume 11 of Tata Inst. Fund. Res. Stud. Math. , pages 341–413. Tata Inst. Fund. Res., Bombay,

work page 1984

[7] [1883]

[Pas24] G. Passeri. Stabilized measures of association: comparing the birational geometry of varieties having different dimensions. arXiv:2407.15830,

work page Pith review arXiv

[8] [1974]

[Dol16] I. V. Dolgachev. A brief introduction to Enriques surfaces. In Development of Moduli Theory - Kyoto 2013 , volume 69 of Adv. Stud. Pure Math. , pages 1–32,

work page 2013