Morphisms from a very general hypersurface

De-Qi Zhang; Yongnam Lee; Yujie Luo

REVIEW 2 major objections 5 minor 15 references

Morphisms from a very general hypersurface

T0 review · 2 major / 5 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 Prime-degree rational maps from very general hypersurfaces force the target to be uniruled.

desk verdict A serious, cleanly organized paper whose central theorem rests on an imported higher-dimensional Hodge/Cayley-Bacharach step that is not proved and carries real weight; still deserves a rigorous peer review. read the letter →

arxiv 1908.06894 v6 pith:U7JNTKTJ submitted 2019-08-19 math.AG

Yongnam Lee , Yujie Luo , De-Qi Zhang This is my paper · ORCID

classification math.AG MSC 14E0514J3014J70

keywords dominantrationalmaphypersurfaceprimedegreeuniruledrationallyconnectedCayley-BacharachpropertyLefschetzpencilHodgetheory

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

This paper studies dominant rational maps from a very general hypersurface $X_d \subset \mathbb{P}^{n+1}$ of degree $d \ge n+3$ to smooth projective $n$-folds $Y$. It aims to prove that if the map has prime degree, then $Y$ cannot be a non-uniruled variety: $Y$ must be uniruled (covered by rational curves), and for $n \le 3$ it must be rationally connected. The motivation is to understand which finitely generated fields can sit inside the function field of such a hypersurface. The proof forces a contradiction between the Cayley-Bacharach lower bound $p \ge d-n$ and a ramification-theoretic upper bound $p \le d-n-1$ obtained when the restriction of the map to a general hyperplane section is birational.

What carries the argument

The argument runs on two inequalities for the degree $p$. A Hodge-theoretic reduction (imported from [5]) allows the proof to assume $p_g(Y)=0$, after which the Cayley-Bacharach property, via [3], puts the points of a general fibre in special position and forces $p \ge d-n$. The other side studies a Lefschetz pencil of hyperplane sections $H(t)$ of $X_d$. Using the norm map of the extension $\mathbb{C}(Y) \subset \mathbb{C}(X_d)$, the paper derives the identity $\operatorname{Norm}(h_1/h_2+t) = (g/h'_2)^r$, which shows that the degree of the restriction $f|_{H_d}$ divides $p$, and that the images of the hyperplane sections move in a pencil whose parameter polynomial has degree $p/\deg(f|_{H_d})$. If the restriction were birational, this pencil yields a degree-$p$ cover $\mathbb{P}^1 \to \mathbb{P}^1$; either it is cyclic Galois, giving a nontrivial $\mathbb{Z}/p$-action on $X_d$ in contradiction to the triviality of the automorphism group of a very general high-degree hypersurface, or it has at most one totally ramified point, and the ramification divisor then gives $p \le d-n-1$ from the canonical class. The contradiction with $p \ge d-n$ establishes the theorem.

What would settle it

Take $n=4$, $d=7$, and search for a smooth projective non-uniruled 4-fold $Y$ with a dominant rational map from a very general degree-7 hypersurface $X_4 \subset \mathbb{P}^5$ whose degree is a prime number; existence of such a map would refute Theorem 1.4. Alternatively, test the imported Hodge assertion by computing $p_g(Y)$ for a smooth projective $n$-fold $Y$ admitting a generically finite rational map from a very general hypersurface; finding $p_g(Y)>0$ would break the Step 5 reduction on which the contradiction depends.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.4: for $n \ge 3$, a very general hypersurface $X_d \subset \mathbb{P}^{n+1}$ of degree $d \ge n+3$ admits no dominant rational map of prime degree $p$ to a smooth projective non-uniruled $n$-fold. In fact the theorem describes the maximal rationally connected fibration $Y \dashrightarrow Z$: if $Y$ is not rationally connected, then $3 \le \dim Z \le n-1$, the restriction of $f$ to a very general intersection of $s = n-\dim Z$ hyperplanes is birational to its image, the induced map from that slice to $Z$ has composite degree, and $p_g(Z) = q(Z) = 0$. For $n \le 3$ the conclusion is stronger: $Y$ is rationally connected. The supporting Theorem 1.5 says that when $Y$ is non-uniruled, restriction to a very general hyperplane section preserves the degree $p$; the contradiction is obtained by comparing $p \ge d-n$ from the Cayley-Bacharach property with $p \le d-n-1$ from the pencil and ramification calculation.

Load-bearing premise

The contradiction rests on the imported claim, cited to [5], that a dominant rational map from a very general hypersurface forces $p_g(Y)=0$ in every dimension, although the cited statement is proved for surfaces and the paper does not prove its higher-dimensional extension.

Editorial extensions

If this is right

A very general hypersurface of degree $d \ge n+3$ has no dominant rational map of prime degree to any non-uniruled smooth projective $n$-fold.
For $n=3$, any target of a prime-degree dominant rational map from such a hypersurface is rationally connected.
The composite-degree alternative in Theorem 1.4(2) isolates the only possible obstruction to full rational connectedness: the restriction to a hyperplane slice is birational and the induced map to the MRC base has composite degree.
Under additional factoriality and largeness assumptions, the abstract gives the optimal bound $\deg f \le \deg X_d$, and in some cases forces $Y \cong \mathbb{P}^n$.

Reading between the lines

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

If the theorem is correct, it is a field-theoretic statement: every subfield of $\mathbb{C}(X_d)$ whose index is prime must be the function field of a uniruled variety, so non-uniruled function fields cannot occur at prime index; the paper only hints at these applications.
The same mechanism may apply to other very general varieties of general type, but the paper notes that Kodaira-dimension-zero or intermediate cases (such as a very general quintic threefold) require a different approach.
One route to Conjecture 1.1 for composite degrees is to show that the composite-degree map to the MRC base $Z$ in Theorem 1.4(2) violates the Cayley-Bacharach bound after slicing; this is not done in the paper.

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

Dear colleague,

This is a paper you should know about, but I would not take its main theorem as established. The paper is well organized and the method is genuinely interesting, but the proof of Theorem 1.5 has an imported step that carries the whole argument and is not proved here.

What is new: Theorem 1.4 is the first restriction of its kind for very general hypersurfaces in dimensions n ≥ 3. The strategy—restrict to a hyperplane section, study the pencil of hyperplane sections, compare ramification of the induced map between base curves, then combine a lower bound from Cayley-Bacharach with an upper bound from pseudo-effectivity of K_W—is a plausible extension of Guerra–Pirola’s surface argument. Lemma 2.1 is solid, and the divisibility deg f|Hd | deg f is a useful observation. The induction in Theorem 1.4 is mostly fine, and the paper is honest about what remains conjectural.

The soft spot is exactly where the stress-test note points. In Step 5 of Theorem 1.5, the paper cites [5, Section 3.5] for the reduction to pg(Y)=0 and then states Proposition 2.2, which gives p ≥ d−n. Both are imported from the surface case; no proof is supplied for n ≥ 3. The reduction may be true, but the paper does not establish it, and Proposition 2.2 is stated without proof in this generality. Since the contradiction in Theorem 1.5 is precisely Step 4’s p ≤ d−n−1 versus Step 5’s p ≥ d−n, an unsupported Step 5 is a load-bearing gap, not a minor omission. A referee must ask for a written proof of Proposition 2.2 and of the pg(Y)=0 reduction in all dimensions, or a citation to an existing proof.

A smaller issue: in the proof of Theorem 1.4, the claim that two very general hyperplane sections cannot both be birational to the same Z is dismissed as “absurd” without proof. It is likely true, but it needs an argument (e.g., non-isotrivality of the family or finiteness of automorphism groups). Also, the supplied abstract in the metadata describes a different version of the paper; that looks like an arXiv update error, but it should be fixed.

Overall, I think this paper deserves a serious referee. If the higher-dimensional Hodge/Cayley-Bacharach reduction can be supplied, the result would be a solid advance. As it stands, I would not cite it as the source of the theorem, but I would engage with the manuscript and push for the missing proof.

Referee Report

2 major / 5 minor

Summary. The paper studies dominant rational maps from a very general hypersurface X_d ⊂ P^{n+1} of degree d ≥ n+3 to smooth projective n-folds Y. The main results are Theorem 1.4 and Theorem 1.5. Theorem 1.5 asserts that if the degree p = deg f is prime and Y is non-uniruled, then the restriction of f to a very general hyperplane section H_d has degree p, i.e. it is not birational to its image. Theorem 1.4 derives that under the prime-degree assumption Y is uniruled, and for n ≤ 3 that Y is rationally connected. The proof uses a Lefschetz pencil of hyperplane sections, a ramification computation, a Hodge-theoretic reduction to pg(Y)=0, and a Cayley-Bacharach lower bound on the degree, which together produce a contradiction.

Significance. If correct, the results are a substantial advance: they provide the first restrictions for n ≥ 3 on function fields of non-uniruled n-folds admitting dominant rational maps from a very general hypersurface, and they give evidence for Conjectures 1.1 and 1.2. The strategy of passing to hyperplane sections and exploiting the primality of the degree is natural, and the proofs combine deep tools (Lefschetz theory, Hodge theory, Cayley-Bacharach, MMP). The main caveat is that a load-bearing input, the higher-dimensional Hodge and Cayley-Bacharach bound, is not proved or referenced in the paper; the significance is therefore conditional on that gap being filled.

major comments (2)

[Section 2, Step 5 and Proposition 2.2] The proof of Theorem 1.5 derives the contradiction from two inequalities: Step 4 gives p ≤ d−n−1, while Step 5 gives p ≥ d−n via Proposition 2.2. The latter rests entirely on two imported statements: (i) Hodge theory forces pg(Y)=0 for a dominant rational map from a very general hypersurface of degree d ≥ n+3, cited as '[5, Section 3.5]'; and (ii) the Cayley-Bacharach bound p ≥ d−n, stated as Proposition 2.2 without proof, with reference to [3] and [5]. Both [3] and [5] are written for surfaces in P^3, and the paper provides no proof or reference covering arbitrary n. If the reduction to pg(Y)=0 fails in dimension n, Proposition 2.2 cannot be applied; if the Cayley-Bacharach bound fails in higher dimension, the two inequalities no longer conflict. This is a load-bearing gap in the central argument, not a mere missing detail. Please supply a complete proof of Proposition 2.2 and of the pg(Y)=0 reduction in the stated generality, or cite precise theorems that establish them for all n.
[Theorem 1.4, final paragraph of proof] In the case deg(f|H_d)=1, the proof dismisses the possibility that two very general hyperplane sections X_d ∩ H_1∩...∩H_k and X_d ∩ H'_1∩...∩H'_k are both birational to the same Z with the sentence 'This is absurd.' This is not immediate, and it is part of the induction establishing assertion (2). Please provide a proof or a reference showing that very general such complete intersections cannot be birational to each other, or give another argument ruling out this configuration.

minor comments (5)

[Title] The title contains a typo: 'HYPERSURF ACE' should be 'HYPERSURFACE'.
[Introduction, first paragraph] The phrase 'boundedness of pluricanocal maps' should read 'boundedness of pluricanonical maps'.
[Lemma 2.1(3)] The phrase 'parametrized by a polynomial functio n g(t)' contains a typo; it should be 'function'.
[Step 4] The statement 'Since Y is non-uniruled, so is its birational model W. Hence K_W is pseudo-effective' uses the theorem that a smooth projective variety is non-uniruled iff its canonical class is pseudo-effective; please cite a reference for this fact (e.g., the relevant MMP or the paper establishing it in all dimensions).
[Proposition 1.3, proof] The conclusion that the composite map H_d → Z has degree ≥ 2 by 'the same reasoning of the ending part of the proof of Theorem 1.4' is not spelled out; please make this reasoning explicit.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the central contradiction uses external Hodge/Cayley–Bacharach results; the only author-overlapping citation is an independent n≤2 base case, not a load-bearing circular premise.

full rationale

The derivation chain was walked from Lemma 2.1 through Step 5 of Theorem 1.5 and the induction in Theorem 1.4. No step reduces by construction to the theorem being proved. The main contradiction is between Step 4's inequality p ≤ d−n−1, obtained from ramification divisors and pseudo-effectiveness of K_W, and Step 5's imported Cayley–Bacharach bound p ≥ d−n from Proposition 2.2. Proposition 2.2 is cited to [5] (Guerra–Pirola) and [3] (Cheltsov), both external to the present paper; it is not merely a restatement of Theorems 1.4 or 1.5. The Hodge–Lefschetz reduction pg(Y)=0 is likewise cited to [5, Section 3.5], not to a claim proved here. The only author-overlapping citation is [9] (Lee–Pirola), used for the n≤2 base case of the induction and for the dim Z=2 case. That is an independent, published earlier result and does not presuppose the conjecture or theorem of this paper, so it is a minor self-citation rather than load-bearing circularity. Passages that assert or imply missing support were also considered: the paper does not prove the extension of Guerra–Pirola's surface Hodge/Cayley–Bacharach reduction to arbitrary n, and the final paragraph of Theorem 1.4 declares that two very general hyperplane sections being birational to the same Z is 'absurd' without a full proof. These are mathematical gaps or correctness risks, not circularity, because they do not replace the claimed conclusion with an equivalent input. No fitted parameter is renamed as a prediction, and no ansatz is smuggled in through a self-citation. The nonzero score reflects only the presence of a minor self-citation in the induction base; the central claim retains independent content from external Hodge theory, Cayley–Bacharach theory, and birational geometry.

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

The central claim rests on cited theorems, including Matsumura-Monsky, Hodge and Lefschetz theory, Cayley-Bacharach, and MRC fibrations, plus the n ≤ 2 base case from [9]. No free parameters are fitted to data. The only ad hoc element is the unproved assertion that two very general hyperplane sections of Xd cannot be birational to the same Z, which should be justified.

assumptions (7)

domain assumption Xd is very general and d ≥ n+3
Used throughout to ensure Aut(Xd)=(1), Picard number 1, and ampleness of K_Xd via Matsumura-Monsky and Lefschetz theory.
standard math Matsumura-Monsky theorem: a very general degree d ≥ n+3 hypersurface in P^{n+1} has trivial automorphism group
Invoked in Step 3 of Theorem 1.5 to contradict a cyclic group action on Xd.
standard math Hodge and Lefschetz reduction: for such a map f, one may assume pg(Y)=0
Step 5 of Theorem 1.5; imported from Guerra-Pirola [5, Section 3.5] without proof in this paper, and load-bearing for the final contradiction.
standard math Cayley-Bacharach property and the bound p ≥ d-n for fibers
Proposition 2.2, built on Cheltsov [3] and Guerra-Pirola [5], gives the lower bound on degree that contradicts Step 4.
standard math Maximal rationally connected fibrations exist for smooth projective Y with non-uniruled base
Used in Theorem 1.4 and Proposition 1.3 to decompose Y, citing Graber-Harris-Starr and Kollár.
standard math The n ≤ 2 base case is known
Induction base for Theorem 1.4(3), citing Lee-Pirola [9] and Guerra-Pirola [5].
domain assumption Two very general hyperplane sections of a very general Xd cannot all be isomorphic or birational to the same Z
Used at the end of Theorem 1.4's proof when deg f_{Hd}=1; stated as 'This is absurd' without proof or citation.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Morphisms from a very general hypersurface." pith.science (2026). https://pith.science/paper/U7JNTKTJ

@misc{pith2026190806894,
  author       = {Pith},
  title        = {Pith review of: Morphisms from a very general hypersurface},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/U7JNTKTJ}},
  note         = {Machine review of arXiv:1908.06894}
}

abstract

Let $X$ be a very general hypersurface of degree $d$ in the projective $(n+1)$-space with $n \ge 3$, and $f: X \to Y$ a non-birational surjective morphism to a normal projective variety $Y$. We first prove that $Y$ is a klt Fano variety if ${\rm deg} \, f \ge C$ for some constant $C = C(n, d)$ depending only on $n$ and $d$. Next we prove an optimal upper bound ${\rm deg} \, f \le {\rm deg} \, X$ provided that $Y$ is factorial, ${\rm deg} \, f$ is prime and ${\rm deg} \, f \ge E(n)$ for some constant $E(n)$ (with $E(n) = n(n+1)$ when $Y$ is smooth). As a corollary, we show that $Y\cong {\bf P}^n$ under some conditions on $Y$ and ${\rm deg} \, f$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

[3]

Cheltsov, Points in projective spaces and applications

I. Cheltsov, Points in projective spaces and applications . J. Diﬀerential Geom. 81 (2009), no. 3, 575–599. DOMINANT RATIONAL MAPS 11

work page 2009
[5]

Guerra and G

L. Guerra and G. Pirola, On rational maps from a general surface in P3 to surfaces of general type . Adv. Geom. 8 (2008), 289–307

work page 2008
[1]

Bastianelli and G

F. Bastianelli and G. Pirola, On dominant rational maps from products of curves to surface s of general type. Bull. Lond. Math. Soc. 45 (2013), 1310–1322

work page 2013
[2]

Caucci, Y

F. Caucci, Y. Cho, and L. Rizzi, On dominant rational maps from a very general complete inter section surface in P4. Matematiche (Catania) 72 (2017), no. 2, 183–194

work page 2017
[4]

Graber, J

T. Graber, J. Harris, and J. Starr, Families of rationally connected varieties . J. Amer. Math. Soc. 16 (2003), no. 1, 57–67

work page 2003
[6]

Hacon and J

C. Hacon and J. McKernan, Boundedness of pluricanonical maps of varieties of general type. Invent. Math. 166 (2006), 1–25

work page 2006
[7]

Koll´ ar, Rational curves on algebraic varieties

J. Koll´ ar, Rational curves on algebraic varieties. A Series of Mod ern Surveys in Mathematics, Vol. 32. Springer-Verlag, Berlin, 1996

work page 1996
[8]

Koll´ ar and S

J. Koll´ ar and S. Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Math., 134 Cambridge Univ. Press, 1998

work page 1998

Show all 15 references

[9]

Lee and G

Y. Lee and G. Pirola, On subﬁelds of the function ﬁeld of a general Surface in P3. Int. Math. Res. Not. IMRN 2015, no. 24 (2015), 13245–13259

2015
[10]

Lee and G

Y. Lee and G. Pirola, On rational maps from the product of two general curves . Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 16 (2016), no. 4, 1139–1152

2016
[11]

Lee and G

Y. Lee and G. Pirola, Vanishing cohomology on a double cover of a very general hype rsurface. math.AG arXiv:1807.02646

arXiv
[12]

Maehara, A ﬁniteness property of varieties of general type

K. Maehara, A ﬁniteness property of varieties of general type . Math. Ann. 262 (1983), 101–123

1983
[13]

Matsumura and P

H. Matsumura and P. Monsky, On the automorphisms of hypersurfaces . J. Math. Kyoto Univ. 3 1963/1964, 347–361

1963
[14]

Takayama, Pluricanonical systems on algebraic varieties of general t ype

S. Takayama, Pluricanonical systems on algebraic varieties of general t ype. Invent. Math. 165 (2006), 551–587

2006
[15]

Tsuji, Pluricanonical systems of projective varieties of general type

H. Tsuji, Pluricanonical systems of projective varieties of general type. II. Osaka J. Math. 44 (2007), 723–764. Department of Mathematical Sciences, KAIST, 291 Daehak-ro , Yuseong-gu, Daejeon 34141, Korea E-mail address : ynlee@kaist.ac.kr Department of Mathematics, National ...

2007

Pith tools

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

[1] [3]

Cheltsov, Points in projective spaces and applications

I. Cheltsov, Points in projective spaces and applications . J. Diﬀerential Geom. 81 (2009), no. 3, 575–599. DOMINANT RATIONAL MAPS 11

work page 2009

[2] [5]

Guerra and G

L. Guerra and G. Pirola, On rational maps from a general surface in P3 to surfaces of general type . Adv. Geom. 8 (2008), 289–307

work page 2008

[3] [1]

Bastianelli and G

F. Bastianelli and G. Pirola, On dominant rational maps from products of curves to surface s of general type. Bull. Lond. Math. Soc. 45 (2013), 1310–1322

work page 2013

[4] [2]

Caucci, Y

F. Caucci, Y. Cho, and L. Rizzi, On dominant rational maps from a very general complete inter section surface in P4. Matematiche (Catania) 72 (2017), no. 2, 183–194

work page 2017

[5] [4]

Graber, J

T. Graber, J. Harris, and J. Starr, Families of rationally connected varieties . J. Amer. Math. Soc. 16 (2003), no. 1, 57–67

work page 2003

[6] [6]

Hacon and J

C. Hacon and J. McKernan, Boundedness of pluricanonical maps of varieties of general type. Invent. Math. 166 (2006), 1–25

work page 2006

[7] [7]

Koll´ ar, Rational curves on algebraic varieties

J. Koll´ ar, Rational curves on algebraic varieties. A Series of Mod ern Surveys in Mathematics, Vol. 32. Springer-Verlag, Berlin, 1996

work page 1996

[8] [8]

Koll´ ar and S

J. Koll´ ar and S. Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Math., 134 Cambridge Univ. Press, 1998

work page 1998