Pith. sign in

REVIEW 2 major objections 5 minor 12 references

Campana's orbifold conjecture for numerically equivalent divisors

T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper proves that on a smooth projective variety with n+1 numerically parallel effective divisors of log general type, every orbifold entire curve with sufficiently high multiplicity is algebraically degenerate.

desk verdict A genuinely new case of Campana's orbifold conjecture for general varieties, but the proof of Lemma 9 has a load-bearing gap in passing from numerical to linear equivalence. read the letter →

arxiv 2506.00873 v1 pith:BSUC36IM submitted 2025-06-01 math.CV math.AG

Min Ru , Julie Tzu-Yueh Wang This is my paper
classification math.CVmath.AG MSC 32H3032Q4530D35
keywords CampanaorbifoldconjectureentirecurvesalgebraicdegeneracynumericallyparalleldivisorsloggeneraltypeNevanlinnatheorysemi-abelianvarieties
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 proves a case of Campana's orbifold conjecture for general projective varieties. The setting is a nonsingular projective variety $X$ of dimension $n$ with $n+1$ effective divisors $D_1, \ldots, D_{n+1}$ that are $\mathbb{Z}$-linearly independent, numerically parallel, have normal-crossing sum, and make $(X,D)$ of log general type. The theorem says that for any orbifold divisor with these components as support, once the required multiplicity along each component is taken large enough, every entire curve into the orbifold is algebraically degenerate. This extends earlier results from projective space to arbitrary varieties, using numerical parallelism to construct a dominant map to a torus and then applying the toric case.

What carries the argument

The central machinery consists of orbifold divisors $\Delta = \sum_i (1-m_i^{-1})D_i$, the multiplicity threshold $\ell$, and two transfer theorems: the orbifold logarithmic Bloch-Ochiai theorem, which converts high multiplicity into first-main-theorem growth estimates, and a toric degeneration theorem for entire curves highly ramified over the boundary. Inside the proof, Lemma 9 is the load-bearing step: it uses a hypothetical nondegenerate orbifold curve to force $q(X)=0$, converts numerical equivalence into linear equivalence, and constructs the dominant map $\phi: X \setminus D \to \mathbb{G}_m^n$. That map transfers the whole problem to a toric variety, where the toric case supplies the contradiction.

What would settle it

Take a smooth projective variety $X$ with $q(X)=0$ and a nonzero torsion class in $NS(X)$ that is numerically trivial but not linearly trivial, and arrange effective divisors $D_1, \ldots, D_{n+1}$ in normal-crossing position with $d_jD_i \equiv d_iD_j$ numerically but no common scaling linearly equivalent; if such a log-general-type configuration exists, Lemma 9 cannot produce the dominant map to $\mathbb{G}_m^n$, so the reduction to the toric theorem collapses.

Watch

Extended reading notes

Core claim

The paper's central claim is that numerical parallelism plus the log-general-type condition forces rigidity: if $f: \mathbb{C} \to (X, \Delta)$ is an orbifold entire curve with multiplicity at least some integer $\ell$ along each $D_i$, then $f(\mathbb{C})$ lies in a proper algebraic subvariety of $X$. The proof shows that a hypothetical nondegenerate curve would force $q(X)=0$ and would promote numerical equivalences $d_jD_i \equiv d_iD_j$ to linear equivalences $d_jD_i \sim d_iD_j$, yielding a dominant morphism $X \setminus D \to \mathbb{G}_m^n$ that pulls back coordinate hyperplanes to the divisors $D_i$. The orbifold curve then pushes forward to an orbifold curve in projective space, where the toric case of the conjecture gives the contradiction.

Load-bearing premise

The load-bearing premise is that on a smooth projective variety with $q(X)=0$, numerical equivalence $d_jD_i \equiv d_iD_j$ can be promoted to linear equivalence $d_jD_i \sim d_iD_j$; this needs $NS(X)$ to have no non-zero numerically trivial or torsion classes, which the paper does not establish.

Editorial extensions

If this is right

  • If Theorem 1 is correct, any nondegenerate entire curve into such an orbifold is impossible once the multiplicity threshold $\ell$ is crossed, so the orbifold is hyperbolic in the strong orbifold sense.
  • The theorem extends the known toric case to arbitrary nonsingular projective varieties under numerical parallelism, making the earlier projective-space result a special case.
  • The proof implies that a nondegenerate configuration can only occur when $q(X)=0$ and the normalized divisors are linearly equivalent, which is a structural rigidity statement independent of the degeneracy conclusion.
  • The result supplies a function-theoretic counterpart to arithmetic statements about integral points on complements of numerically parallel divisors.

Reading between the lines

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

  • A testable next step is to check whether the conclusion $q(X)=0$ can be replaced by a rank condition on the subgroup generated by the divisors, which would relax the $\mathbb{Z}$-linear independence assumption.
  • The same argument might handle more than $n+1$ numerically parallel divisors by choosing $n+1$ independent ones and treating the remaining components as extra ramification data.
  • If the numerical-to-linear promotion fails on some variety with torsion in $NS(X)$, the theorem might still be true but would need a new way to produce the torus map; searching for such an example would isolate the real boundary of the method.
  • Tracking the constants in the Bloch-Ochiai and toric theorems could make the threshold $\ell$ effective, turning the existence statement into a computable bound.
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.

Referee Report

2 major / 5 minor

Summary. The paper proves a special case of Campana's orbifold conjecture: on a smooth projective variety X of dimension n, if D_1,...,D_{n+1} are Z-linearly independent effective divisors whose sum D has simple normal crossings, which are numerically parallel and such that (X,D) is of log general type, then every orbifold entire curve with sufficiently large prescribed multiplicities along the D_i is algebraically degenerate. The proof builds an orbifold version of the logarithmic Bloch-Ochiai theorem, reduces the non-degeneracy assumption to the existence of a dominant morphism from X\D to G_m^n, and then applies a toric second-main-theorem type result of Ru and Wang. The central claim is a genuine generalization of the earlier projective-space theorem, but the proof as written contains two load-bearing gaps.

Significance. If the result can be made rigorous, it is a meaningful step toward Campana's orbifold conjecture for numerically parallel divisors on general projective varieties, a case not covered by the existing toric methods. The paper is transparent about its reliance on prior results, especially Noguchi-Winkelmann's Nevanlinna theory and the authors' own toric theorem, and the structural reduction from a general variety to G_m^n is a natural and potentially reusable strategy. The main novelty is the combination of numerical parallelism with the quasi-Albanese and Bloch-Ochiai machinery. However, the two gaps identified below currently prevent the central theorem from being accepted as proved.

major comments (2)
  1. [Section 3, proof of Lemma 9] After deriving q(X)=0, the proof states that Pic(X) ≅ NS(X) and therefore the numerical equivalences d_jD_i ≡ d_iD_j imply the linear equivalences d_jD_i ∼ d_iD_j. This inference is invalid because numerical equivalence is equality in the torsion-free quotient NS(X)/tors, not in NS(X) itself. Since NS(X) can have torsion even when Pic^0(X)=0, the classes d_jD_i - d_iD_j may be non-zero torsion line bundles, which are numerically trivial but not linearly trivial. A concrete obstruction is given by an Enriques surface, which has q=0 and non-trivial 2-torsion; effective divisors D_1,D_3 in one linear system and D_2 in a system twisted by a torsion class are numerically equivalent but not linearly equivalent. The rest of Lemma 9, including the existence of the rational functions φ_i and the morphism to G_m^n, depends on this step. The gap is repairable: if M kills NS(X)_tors, then M(d_jD_i - d_iD_j) is linearly trivial, so one can replace D_i by M D_i and run the argument with the scaled divisors, adjusting the multiplicity parameter ℓ accordingly. This repair should be stated explicitly, because as written Lemma 9 is false.
  2. [Section 3, proof of Theorem 1] After Lemma 9, the proof asserts: 'Lemma 9 implies that there is a positive integer ℓ1 such that ... there exists a finite morphism π : X → P^n(C).' Lemma 9 only establishes a dominant morphism φ : X\D → G_m^n, together with its extension to a rational map arφ : X → P^n whose pullback of the coordinate hyperplanes gives the D_i. A dominant morphism between projective varieties of the same dimension need not be finite: it may contract curves not contained in D. The hypotheses of Theorem 1 do not rule this out. For example, let X be the blow-up of P^2 at a point and let D_1,D_2,D_3 be the preimages of three smooth plane curves of degree d≥2 that avoid the blown-up point and meet transversally. Then D is normal crossing, the D_i are numerically (indeed linearly) equivalent, and (X,D) is of log general type, yet the morphism defined by |D_i| factors through the blow-down and contracts the exceptional divisor; moreover no finite morphism π : X → P^n can have π^*D0 = D, because D is not ample. Thus the reduction to Theorem 10, which requires a finite morphism, is not justified. The proof should either prove finiteness of the constructed morphism from the hypotheses, or replace this step by a different reduction, for example passing to the Stein factorization and applying the toric theorem to the finite part, or applying the projective-space version of Ru-Wang's theorem directly to the image of f under the dominant morphism.
minor comments (5)
  1. [Throughout] The terminology 'Z-linearly independent divisors' is nonstandard: the definition given in the introduction is support-theoretic, not the usual linear independence in Div(X). Although the two notions agree for effective divisors under the stated support condition, the equivalence should be stated and proved or the terminology changed.
  2. [Section 3, proof of Theorem 1] The sentence 'φ∗(Hi) = Di+1, for 0 ≤ i ≤ n + 1' should read 'for 0 ≤ i ≤ n', since there are n+1 coordinate hyperplanes and n+1 divisors.
  3. [Lemma 9] The phrase 'these divisors are in general position' is used in the statement of Lemma 9 but never defined; the main theorem assumes D is normal crossing, which is not the same as general position for arbitrary effective divisors. This should be clarified.
  4. [Section 3, proof of Lemma 9] When the proof replaces D_i by (d/d_i)D_i with d = lcm{d_1,...,d_{n+1}}, the new divisors are no longer the original D_i, and this changes the orbifold multiplicities and the integer ℓ. The reuse of the same symbol D_i is confusing; the scaling should be tracked explicitly through the rest of the argument.
  5. [Theorem 10] The phrase 'ramification divisor of π omitting components from the support of H' is ambiguous: it should say explicitly that R is the part of the ramification divisor whose support is disjoint from H, and the later sentence in the proof of Theorem 1 about the support of D should be reworded so that H = π^*D0, rather than R, is the divisor containing D.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the proof is a genuine reduction to the authors' prior toric theorem, with no fitted constants and no definition that presupposes the conclusion; the flagged Lemma 9 issue is a correctness gap, not circularity.

full rationale

I walked the derivation chain. Lemma 9 proves q=0 and constructs a dominant map to G_m^n by applying Theorem 6, whose proof uses the independent orbifold Bloch-Ochiai machinery. The final degeneration in Theorem 1 is obtained by invoking Theorem 10 from the authors' previous paper [11] for a finite morphism to a toric variety. This is a self-citation and it is load-bearing, but it is a stated theorem whose assumptions do not include the present Theorem 1, so it is a dependency rather than a circular reduction. No constants are fitted and no "prediction" is a renamed input. The serious mathematical concern is in the proof of Lemma 9, after "we have Pic(X) \cong NS(X)": the paper infers numerical equivalence d_jD_i \equiv d_iD_j implies linear equivalence d_jD_i \sim d_iD_j. Since q=0 gives Pic^0(X)=0 and hence Pic(X) \cong NS(X), but NS(X) can have torsion, and numerical equivalence is equality in the torsion-free quotient, the inference is not justified as written. Thus the morphism \phi to G_m^n is not established; this is a gap in the proof, not circular reasoning. The assertion of a finite morphism in the proof of Theorem 1 is also underexplained, but again it is not an input-output circularity. Score 2 reflects the self-citation dependency rather than any circular derivation.

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

The central claim rests on standard theorems from Nevanlinna theory and algebraic geometry, plus the authors' prior toric theorem. No parameters are fitted and no new entities are introduced. The main unproved background assumptions are the cited results from [8], [5], and [11], which are accepted as black boxes.

assumptions (6)
  • standard math Logarithmic derivative lemma (Lemma 2, [8, Lemma 4.7.1])
    Used to bound the proximity function of jet differentials; a foundational Nevanlinna estimate.
  • standard math Logarithmic Bloch-Ochiai theorem (Theorem 5, cf. [8, Theorem 4.8.17])
    The paper states it with a proof sketch; it is essentially from Noguchi-Winkelmann's book.
  • standard math Quasi-Albanese criterion for translates of subgroups (Theorem 7, [8, Theorem 5.3.23])
    Used in Theorem 8 to conclude that the Zariski closure of the image is a translate of a subgroup.
  • standard math Ru-Wang theorem for toric varieties (Theorem 10, [11, arXiv:2410.19395])
    This is the authors' previous theorem, applied after reducing to a finite morphism to P^n; it is not proved in this paper.
  • standard math If (X,D) is log general type, then (X, Delta_ell) is of general type for large ell ([5, Corollary 2.2.24])
    Used in the proof of Theorem 1 to choose ell large enough for the orbifold to be of general type.
  • standard math General position of ramification divisor for finite morphisms to P^n ([2, proof of Theorem 1.2])
    Used to verify that pi(R) and D0 are in general position, a hypothesis of Theorem 10.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Campana's orbifold conjecture for numerically equivalent divisors." pith.science (2026). https://pith.science/paper/BSUC36IM

@misc{pith2026250600873,
  author       = {Pith},
  title        = {Pith review of: Campana's orbifold conjecture for numerically equivalent divisors},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BSUC36IM}},
  note         = {Machine review of arXiv:2506.00873}
}
abstract

We prove the following version of the Campana's orbifold conjecture: Let $X$ be a complex non-singular projective variety of dimension $n$. Let $D_1,\ldots,D_{n+1}$ be $\mathbb Z$-linearly independent effective divisors in ${\rm Div}(X)$ and $D:=D_1+\cdots+D_{n+1}$ be a normal crossing divisor of $X$. Assume furthermore that they are numerically parallel. Let $\Delta=\sum_{i=1}^{n+1} (1-m_i^{-1}) D_i$ and let $f:\mathbb C\to (X,\Delta) $ be an orbifold entire curve. Then, there exists a positive integer $\ell$ such that, the orbifold $ (X,\Delta_{\ell}) $ is of general type, where $\Delta_{\ell}=\sum_{i=1}^{n+1} (1-\frac1{\ell})D_i$, and if $f$ has multiplicity at least $\ell$ along $D_i$, $1\le i\le n+1$, then $f$ must be algebraically degenerate.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

12 extracted references · 11 canonical work pages

  1. [11]

    Ru and J

    M. Ru and J. T.-Y. W ang, Vojta’s abc conjecture for entire curves in toric varieties highly ramified over the boundary, arXiv:2410.19395

    work page arXiv

  2. [1]

    Campana, Orbifolds, special varieties and classification theory , Ann

    F. Campana, Orbifolds, special varieties and classification theory , Ann. Inst. Fourier (Grenoble) 54 (2004), no. 3, 499–630

    work page 2004

  3. [2]

    Guo, C.-L

    J. Guo, C.-L. Sun and J. T.-Y. W ang, A truncated second main theorem for algebraic tori with moving targets and applications , J. Lond. Math. Soc. (2), 106 (2022), no. 4, 3670–3686

    work page 2022

  4. [3]

    Guo and J

    J. Guo and J. T.-Y. W ang, A complex case of Vojta’s general abc conjecture and cases of Campana’s orbifold conjecture, Trans. Amer. Math. Soc. 377(2024), no. 7, 4956–4991

    work page 2024

  5. [4]

    Huang and A

    K. Huang and A. Levin, Greatest Common Divisors on the Complement of Numerically Parallel Divisors , arXiv:2207.14432

    arXiv

  6. [5]

    Lazarsfeld, Positivity in Algebraic Geometry

    R. Lazarsfeld, Positivity in Algebraic Geometry. I. Classical setting: line bundles and linear series. Ergeb- nisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics vol. 48. Springer-Verlag, Berlin, 2004

    work page 2004

  7. [6]

    Laurent, ´Equations diophantiennes exponentielles , Invent

    M. Laurent, ´Equations diophantiennes exponentielles , Invent. Math. 78(1984), no. 2, 299–327

    work page 1984

  8. [7]

    Noguchi, On holomorphic curves in semi-abelian varieties , Math

    J. Noguchi, On holomorphic curves in semi-abelian varieties , Math. Z. 228(1998), 713–721

    work page 1998

Show all 12 references
  1. [8]

    Noguchi and J

    J. Noguchi and J. Winkelmann, Nevanlinna Theory in Several Complex Variables and Diophantine Ap- proximation, Grundlehren Math. Wiss., 350, Springer-Verlag, Tokyo, 2014

    2014

  2. [9]

    Ru,Nevanlinna theory and its relation to Diophantine approximation, World Scientific, 2021

    M. Ru,Nevanlinna theory and its relation to Diophantine approximation, World Scientific, 2021. Publishing Co., Inc., River Edge, NJ, 2021

    2021

  3. [10]

    Ru and J

    M. Ru and J. T.-Y. W ang, Defect relation of n+1 components through the GCD method, arXiv:2410.19391

    arXiv

  4. [12]

    Vojta, Integral points on subvarieties of semiabelian varieties

    P. Vojta, Integral points on subvarieties of semiabelian varieties. I, Invent. Math.126 (1996), no. 1, 133–181. Department of Mathematics University of Houston Houston, TX 77204, U.S.A. Email address : minru@math.uh.edu Institute of Mathematics, Academia Sinica No. 1, Sec. 4, ...

    1996

Pith tools

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