Pith. sign in

REVIEW 4 minor 16 references

Wronskian curvature positivity is equivalent to the existence of a holomorphic projective connection

T0 review · 0 major / 4 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read A complex manifold admits Wronskian curvature positivity exactly when it carries a holomorphic projective connection.

desk verdict Clean equivalence that fully answers Noguchi and confines his Wronskian SMT to manifolds with holomorphic projective connections (ball quotients in the general-type case). read the letter →

arxiv 2607.11021 v1 pith:LFFCZKWU submitted 2026-07-13 math.CV

Pengchao Wang , Songyan Xie This is my paper · ORCID
classification math.CV MSC 32H3032L0553B10
keywords WronskiancurvaturepositivityholomorphicprojectiveconnectionclassSecondMainTheoremballquotientscomplexmanifoldNevanlinnatheory
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

Noguchi’s Second Main Theorem for holomorphic curves relies on a curvature condition called Wronskian curvature positivity for a smooth connection on the tangent bundle. The paper answers his request for more examples by proving that the condition is available on a manifold if and only if the manifold admits a holomorphic projective connection. For any fixed torsion-free connection the positivity condition holds precisely when that connection’s projective class is holomorphic. The result therefore converts an analytic positivity requirement into a classical geometric object whose existence is already well studied, and immediately restricts the manifolds to which the Second Main Theorem can be applied. In the general-type setting the only remaining examples are compact ball quotients, so the Wronskian strategy cannot serve as a general attack on the Green–Griffiths conjecture.

What carries the argument

Highest-jet variation after normal-coordinate normalisation: at a point where the symmetric Christoffel symbols vanish, an arbitrary variation of the ordinary (n+1)-st jet of a test curve forces the anti-holomorphic derivatives of those symbols to be pure-trace, which is exactly the condition that the projective class is holomorphic.

What would settle it

Exhibit a torsion-free smooth connection whose projective Christoffel symbols fail to be holomorphic at some point, yet whose Wronskian still has subharmonic logarithmic modulus for every non-degenerate holomorphic disk.

Watch

Extended reading notes

Core claim

On any complex manifold of dimension at least two the existence of a smooth connection satisfying Wronskian curvature positivity is equivalent to the existence of a holomorphic projective connection; for a fixed torsion-free connection the positivity condition is equivalent to the holomorphicity of its projective class.

Load-bearing premise

The argument needs that changing only the ordinary highest jet of a test curve leaves all anti-holomorphic and mixed derivatives of the covariant jets completely unchanged.

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

0 major / 4 minor

Summary. The paper proves that a complex manifold X of dimension n≥2 admits a C^∞ connection satisfying Noguchi’s Wronskian curvature positivity if and only if it admits a holomorphic projective connection (Theorem 1.3). For a fixed torsion-free connection the positivity condition is equivalent to holomorphicity of its projective class (Theorem 1.4); the same conclusion holds after symmetrization when torsion is present (Theorem 1.5). The forward implication is obtained by normalising the symmetric Christoffel symbols at a point, varying the highest ordinary jet of a test curve, and extracting the pure-trace form of ∂̄S via three linear-algebra lemmas; the converse uses exact projective invariance of the Wronskian together with a partition-of-unity globalisation of local holomorphic representatives. Geometric consequences include the Kähler–Einstein trichotomy and the restriction of the condition, among projective manifolds of general type, to compact ball quotients.

Significance. The result completely answers Noguchi’s question on the scope of his Second Main Theorem and shows that Wronskian curvature positivity is far more rigid than one might have hoped for applications to the Green–Griffiths conjecture. The equivalence places an analytic positivity condition squarely inside the classical theory of holomorphic projective connections, and the classification consequences (via Jahnke–Radloff) are clean and sharp. The proofs are elementary, self-contained, and free of free parameters or circular definitions; the exact projective invariance of the Wronskian and the triangular jet calculus are particularly transparent. This is a solid contribution that clarifies the geometric content of an existing analytic tool.

minor comments (4)
  1. In the introduction the phrase “nearly-Fermat type hypersurfaces” (p. 2) is slightly awkward; a brief parenthetical or a reference to the precise definition in [15] would help the non-specialist reader.
  2. Lemma 2.4 is the technical heart of the forward argument. While the proof is correct, a one-sentence reminder that ordinary jets jr(t) are holomorphic functions of t (so their ∂̄t-derivatives vanish) would make the independence claim even more immediate for the reader.
  3. The date line “July 14, 2026” and the arXiv stamp appear to be future-dated; this is harmless but should be corrected before publication.
  4. A short remark after Theorem 1.6 noting that the ball-quotient case recovers a known instance of Noguchi’s theorem (via the flat projective connection) would round out the geometric discussion.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; main equivalence derived from first-principles jet calculus, subharmonicity, and linear algebra with independent external classification citations.

full rationale

The central claims (Theorems 1.3–1.5) are proved by direct local computation: normal coordinates make symmetric Christoffel symbols vanish at a point (Lemma 2.2), ordinary-to-covariant jets are triangular with leading coefficient 1 (Lemma 2.4), highest-jet variation under subharmonicity forces the real-linear term to vanish (Lemmas 2.5–2.6), and the pure-trace lemma yields ¯∂Π=0. The converse uses exact projective invariance of the Wronskian (Proposition 5.1, triangular matrix with diagonal 1) plus partition of unity. No step reduces a claimed prediction to a fitted input, a self-definition, or a load-bearing self-citation; the only self-citations ([4,5]) appear in non-proof heuristic motivation, while the geometric classification invokes independent prior work of Jahnke–Radloff. The derivation is therefore self-contained against its own inputs.

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

Standard differential-geometric and complex-analytic background; no free parameters and no newly postulated physical entities. The only non-standard notion (Wronskian curvature positivity) is taken from Noguchi and is given a precise definition.

assumptions (4)
  • standard math Existence of local holomorphic coordinates and the transformation law of Christoffel symbols under biholomorphisms
    Used throughout Sections 2-4 to normalise S(p)=0 and to compute ∂̄S.
  • standard math Subharmonicity of log|w| is equivalent to non-negativity of the local Laplacian formula (6) wherever w eq0
    Classical fact from several complex variables; invoked to convert positivity into vanishing of linear functionals.
  • domain assumption A projective class is holomorphic iff it admits local torsion-free holomorphic representatives (Lemma 2.1)
    Standard characterisation of holomorphic projective connections; proved in the paper for completeness.
  • domain assumption Classification of compact Kähler-Einstein manifolds admitting holomorphic projective connections (Jahnke-Radloff)
    Invoked only for the geometric consequences (Theorems 1.6 and 6.1), not for the main equivalence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Wronskian curvature positivity is equivalent to the existence of a holomorphic projective connection." pith.science (2026). https://pith.science/paper/LFFCZKWU

@misc{pith2026260711021,
  author       = {Pith},
  title        = {Pith review of: Wronskian curvature positivity is equivalent to the existence of a holomorphic projective connection},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LFFCZKWU}},
  note         = {Machine review of arXiv:2607.11021}
}
read the original abstract

Noguchi introduced the notion of Wronskian curvature positivity in his Second Main Theorem and asked for further examples to which his theorem applies. We give a complete answer: a complex manifold admits a smooth connection satisfying this condition if and only if it admits a holomorphic projective connection. For a fixed torsion-free connection, the condition is equivalent to the holomorphicity of its projective class.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 1 linked inside Pith

  1. [1]

    L. V. Ahlfors,The theory of meromorphic curves, Acta Soc. Sci. Fennicae Nova Ser. A3(1941), no. 4, 1–31

    1941

  2. [2]

    Fujimoto,The defect relations for the derived curves of a holomorphic curve in Pn(C), Tohoku Math

    H. Fujimoto,The defect relations for the derived curves of a holomorphic curve in Pn(C), Tohoku Math. J. (2)34(1982), no. 1, 141–160

    1982

  3. [3]

    Green and P

    M. Green and P. Griffiths,Two Applications of Algebraic Geometry to Entire Holomorphic Mappings, inThe Chern Symposium 1979, Springer, 1980, 41–74

    1979

  4. [4]

    L. Hou, D. T. Huynh, J. Merker, and S.-Y. Xie,A Second Main Theorem for Entire Curves Intersecting Three Conics, arXiv:2512.03948 (2025)

    arXiv 2025

  5. [5]

    L. Hou, D. T. Huynh, J. Merker, and S.-Y. Xie,Vanishing of Invariant 2-Jet Differentials and Improved Hyperbolicity Degree Bounds in Dimension Two, arXiv:2603.14881 (2026)

    arXiv 2026

  6. [6]

    D. T. Huynh and S.-Y. Xie,On the Weyl–Ahlfors theory of derived curves, Math. Z.300(2022), no. 1, 475–491

    2022

  7. [7]

    Jahnke and I

    P. Jahnke and I. Radloff,Projective uniformization, extremal Chern classes and quaternionic Shimura curves, Math. Ann.363(2015), 753–776

    2015

  8. [8]

    Kobayashi and T

    S. Kobayashi and T. Ochiai,Holomorphic Projective Structures on Compact Complex Surfaces, Math. Ann.249(1980), 75–94

    1980

Show all 16 references
  1. [9]

    J. Merker,Algebraic Differential Equations for Entire Holomorphic Curves in Projective Hypersurfaces of General Type: Optimal Lower Degree Bound, inGeometry and Analysis on Manifolds, T. Ochiai, T. Mabuchi, Y. Maeda, J. Noguchi, A. Weinstein (eds.), Progress in Mathematics, Vo...

    2015

  2. [10]

    Noguchi,Connections and the Second Main Theorem for Holomorphic Curves, J

    J. Noguchi,Connections and the Second Main Theorem for Holomorphic Curves, J. Math. Sci. Univ. Tokyo18(2011), 155–180

    2011

  3. [11]

    Noguchi and J

    J. Noguchi and J. Winkelmann,Nevanlinna Theory in Several Complex Variables and Diophantine Approximation, Grundlehren der Mathematischen Wissenschaften, Vol. 350, Springer, Tokyo, 2014

    2014

  4. [12]

    Ru,Nevanlinna Theory and its Relation to Diophantine Approximation, Second edition, World Scientific Publishing Co

    M. Ru,Nevanlinna Theory and its Relation to Diophantine Approximation, Second edition, World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2021

    2021

  5. [13]

    Siu,Defect relations for holomorphic maps between spaces of different dimensions, Duke Math

    Y.-T. Siu,Defect relations for holomorphic maps between spaces of different dimensions, Duke Math. J.55(1987), no. 1, 213–251

    1987

  6. [14]

    Siu,Nonequidimensional value distribution theory and meromorphic connections, Duke Math

    Y.-T. Siu,Nonequidimensional value distribution theory and meromorphic connections, Duke Math. J.61(1990), no. 2, 341–367

    1990

  7. [15]

    Tiba,The second main theorem of hypersurfaces in the projective space, Math

    Y. Tiba,The second main theorem of hypersurfaces in the projective space, Math. Z.272(2012), 1165–1186

    2012

  8. [16]

    Weyl and J

    H. Weyl and J. Weyl,Meromorphic curves, Ann. of Math. (2)39(1938), no. 3, 516–538. 18 PENGCHAO W ANG AND SONG-YAN XIE Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100190, China Email address:blowa8@gmail.com State Key Laboratory of Mathemati...

    1938

Pith tools

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