pith. sign in

arxiv: 2605.20754 · v2 · pith:BXHUJXXMnew · submitted 2026-05-20 · 🧮 math.AG

Optimal bend-and-break for foliations

Jihao Liu , Zeming Sun , Jiedong Jiang This is my paper

Pith reviewed 2026-05-22 09:00 UTC · model grok-4.3

classification 🧮 math.AG
keywords foliationsbend-and-breakrational curvesprojective varietiesalgebraic geometrytangent curvescurve breaking
0
0 comments X

The pith

For foliations of rank r the bend-and-break inequality on tangent rational curves holds with optimal constant r+1.

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

The paper establishes that the sharp constant in the bend-and-break inequality for foliations is exactly one more than the foliation rank. It reaches this conclusion on any normal projective variety by applying a direct synthesis of two standard techniques for rational curves. A reader cares because the result supplies the tightest possible control on how curves tangent to the foliation can deform and split while staying inside the foliation. This sharp bound immediately refines earlier estimates that used larger constants.

Core claim

For every foliation F of rank r on a normal projective variety, the optimal constant in the bend-and-break inequality for tangent rational curves is r+1. The proof proceeds by merging two existing methods for handling such curves on the given class of varieties.

What carries the argument

The bend-and-break inequality for rational curves tangent to the foliation, with its constant sharpened to r+1 through a synthesis of deformation and shattering arguments.

If this is right

  • The inequality holds uniformly for every foliation of any rank on any normal projective variety.
  • Tangent rational curves break into at most r+1 components while preserving tangency to the foliation.
  • The constant r+1 is sharp, so smaller constants fail on some examples.
  • The result supplies the best possible numerical control on curve breaking inside foliated spaces.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same constant may govern bend-and-break statements after mild relaxations of normality, if the underlying deformation arguments survive.
  • This sharp bound could be fed into the minimal model program for foliations to obtain tighter control on the classes of rational curves.
  • Analogous optimizations of constants might be attempted for other numerical invariants attached to the foliation.

Load-bearing premise

Techniques for deforming and breaking rational curves apply directly to foliations on normal projective varieties without needing further restrictions on the foliation or the variety.

What would settle it

A normal projective variety carrying a rank-r foliation together with a tangent rational curve that cannot be broken into r+1 or fewer tangent pieces would show the constant r+1 is not optimal.

read the original abstract

We show that for every foliation $\mathcal{F}$ of rank $r$ on a normal projective variety, the optimal constant in the bend-and-break inequality for tangent rational curves is $r+1$. The proof combines the method of Bogomolov--McQuillan and the bend-and-shatter method developed by Jovinelly--Lehmann--Riedl. The proof of the main result of this paper substantially uses generative AI, particularly the Rethlas system.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 1 minor

Summary. The manuscript claims to prove that for every foliation F of rank r on a normal projective variety, the optimal constant in the bend-and-break inequality for F-tangent rational curves is r+1. The argument combines the Bogomolov-McQuillan positivity technique with the bend-and-shatter method of Jovinelly-Lehmann-Riedl and states that the proof substantially uses generative AI.

Significance. If correct, the result would extend bend-and-break techniques to the foliated setting on normal (possibly singular) varieties while achieving the optimal constant r+1. The explicit combination of an existing positivity result with a deformation-shattering technique is a strength that makes the claim potentially verifiable through direct checks or counterexamples.

major comments (1)
  1. The central claim requires that the deformation theory and shattering arguments extend verbatim to normal varieties and possibly singular foliations. The manuscript does not insert an explicit resolution or restriction step that preserves the numerical inequality when the tangent sheaf to F fails to be locally free along a codimension-1 locus or when the normal sheaf of a rational curve acquires torsion at points where the curve meets the singular locus of F. Without this step the dimension count producing the constant r+1 can drop, so the optimality statement is not yet established in the stated generality.
minor comments (1)
  1. The abstract notes substantial use of generative AI; adding a brief statement in the introduction or acknowledgments clarifying which steps were AI-assisted would improve transparency without altering the mathematical content.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the need to make the extension of the deformation and shattering arguments to normal varieties fully explicit. We address the concern below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: The central claim requires that the deformation theory and shattering arguments extend verbatim to normal varieties and possibly singular foliations. The manuscript does not insert an explicit resolution or restriction step that preserves the numerical inequality when the tangent sheaf to F fails to be locally free along a codimension-1 locus or when the normal sheaf of a rational curve acquires torsion at points where the curve meets the singular locus of F. Without this step the dimension count producing the constant r+1 can drop, so the optimality statement is not yet established in the stated generality.

    Authors: We agree that an explicit justification is desirable for clarity. The Bogomolov-McQuillan positivity result applies directly to reflexive sheaves on normal varieties, yielding the required positivity for the tangent sheaf of F. The bend-and-shatter technique is then applied after restricting to a dense open subset U of the variety on which both the variety and the foliation are smooth, so that the relevant sheaves are locally free. Because any F-tangent rational curve is proper, its intersection with the complement of U is finite. The possible torsion in the normal sheaf at those finitely many points does not reduce the dimension of the space of deformations below the threshold needed to produce the constant r+1. In the revised manuscript we will insert a short subsection (after the statement of the main theorem) that records this restriction step and verifies that the numerical inequality is preserved. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation combines cited external methods

full rationale

The paper states that the optimal constant r+1 follows from combining the Bogomolov-McQuillan technique with the bend-and-shatter method of Jovinelly-Lehmann-Riedl on normal projective varieties. These are presented as independent prior contributions with no equations, definitions, or self-citations that reduce the claimed inequality to a fitted input, self-defined quantity, or load-bearing author-overlap chain. The abstract and description contain no self-referential steps where a prediction equals its own construction or where a uniqueness theorem is imported from the same authors. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on the applicability of two existing techniques to the foliation setting; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)
  • standard math Standard properties of normal projective varieties over an algebraically closed field
    The statement is formulated for normal projective varieties, invoking background results from algebraic geometry.
  • domain assumption The bend-and-shatter method extends to foliations without further hypotheses
    The proof is said to combine this method with Bogomolov-McQuillan, so the extension is presupposed.

pith-pipeline@v0.9.0 · 5594 in / 1324 out tokens · 60225 ms · 2026-05-22T09:00:04.201222+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages · 1 internal anchor

  1. [1]

    Ambro, P

    F. Ambro, P. Cascini, V. V. Shokurov, and C. Spicer, Positivity of the moduli part, arXiv:2111.00423

    work page arXiv

  2. [2]

    Birkar, P

    C. Birkar, P. Cascini, C. D. Hacon, and J. M c Kernan, Existence of minimal models for varieties of log general type, J. Amer.\ Math.\ Soc.\ 23 (2010), no. 2, 405--468

    work page 2010

  3. [3]

    F. A. Bogomolov and M. McQuillan, Rational curves on foliated varieties, in: Foliation Theory in Algebraic Geometry, P. Cascini, J. M c Kernan, J. V. Pereira (eds.), Simons Symposia, Springer, Cham, 2016, pp. 21--51

    work page 2016

  4. [4]

    Campana and M

    F. Campana and M. P a un, Foliations with positive slopes and birational stability of orbifold cotangent bundles, Publ. Math. IH\'ES 129 (2019), 1--49

    work page 2019

  5. [5]

    Cascini and C

    P. Cascini and C. Spicer, MMP for co-rank one foliations on threefolds, Invent.\ Math.\ 225 (2021), no. 2, 603--690

    work page 2021

  6. [6]

    Cascini and C

    P. Cascini and C. Spicer, Foliation adjunction, Math.\ Ann.\ 391 (2025), no. 4, 5695--5727

    work page 2025

  7. [7]

    Cascini and C

    P. Cascini and C. Spicer, On the MMP for rank one foliations on threefolds, Forum Math.\ Pi 13 (2025), e20

    work page 2025

  8. [8]

    G. Chen, J. Han, J. Liu, and L. Xie, Minimal model program for algebraically integrable foliations and generalized pairs, arXiv:2309.15823

    work page arXiv

  9. [9]

    Fulton and R

    W. Fulton and R. Pandharipande, Notes on stable maps and quantum cohomology, in: Algebraic geometry---Santa Cruz 1995, J. Koll\'ar, R. Lazarsfeld, D. Morrison (eds.), Proc.\ Sympos.\ Pure Math.\ 62, Part 2, Amer.\ Math.\ Soc., Providence, RI, 1997, pp. 45--96

    work page 1995

  10. [10]

    Fujino, Fundamental theorems for the log minimal model program, Publ.\ Res.\ Inst.\ Math.\ Sci.\ 47 (2011), no

    O. Fujino, Fundamental theorems for the log minimal model program, Publ.\ Res.\ Inst.\ Math.\ Sci.\ 47 (2011), no. 3, 727--789

    work page 2011

  11. [11]

    Fujino, Foundations of the minimal model program, MSJ Memoirs 35, Mathematical Society of Japan, Tokyo, 2017

    O. Fujino, Foundations of the minimal model program, MSJ Memoirs 35, Mathematical Society of Japan, Tokyo, 2017

    work page 2017

  12. [12]

    Fujino, Cone theorem and Mori hyperbolicity, J

    O. Fujino, Cone theorem and Mori hyperbolicity, J. Differential Geom.\ 129 (2025), no. 3, 617--693

    work page 2025

  13. [13]

    Fujino, E

    O. Fujino, E. Jovinelly, B. Lehmann, and E. Riedl, A characterization of projective space via lengths of extremal rays, arXiv:2602.22192

    work page arXiv

  14. [14]

    Jovinelly, B

    E. Jovinelly, B. Lehmann, and E. Riedl, Free curves and fundamental groups, arXiv:2510.27031

    work page arXiv

  15. [15]

    Jovinelly, B

    E. Jovinelly, B. Lehmann, and E. Riedl, Optimal bounds in Bend-and-Break, arXiv:2509.08065

    work page arXiv

  16. [16]

    H. Ju, G. Gao, J. Jiang, B. Wu, Z. Sun, L. Chen, Y. Wang, Y. Wang, Z. Wang, W. He, P. Wu, L. Xiao, R. Liu, B. Dai, and B. Dong, Automated Conjecture Resolution with Formal Verification, arXiv:2604.03789

    work page internal anchor Pith review Pith/arXiv arXiv

  17. [17]

    Kawamata, On the length of an extremal rational curve, Invent.\ Math.\ 105 (1991), no

    Y. Kawamata, On the length of an extremal rational curve, Invent.\ Math.\ 105 (1991), no. 3, 609--611

    work page 1991

  18. [18]

    Kebekus, L

    S. Kebekus, L. Sol\'a Conde, and M. Toma, Rationally connected foliations after Bogomolov and McQuillan, J. Algebraic Geom.\ 16 (2007), no. 1, 65--81

    work page 2007

  19. [19]

    Koll\'ar, Rational curves on algebraic varieties, Ergeb.\ Math.\ Grenzgeb.\ (3) 32, Springer-Verlag, Berlin, 1996

    J. Koll\'ar, Rational curves on algebraic varieties, Ergeb.\ Math.\ Grenzgeb.\ (3) 32, Springer-Verlag, Berlin, 1996

    work page 1996

  20. [20]

    Koll\'ar and S

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

    work page 1998

  21. [21]

    Y. Miyaoka, Deformations of a morphism along a foliation and applications, in: Algebraic Geometry, Bowdoin, 1985, Proc.\ Sympos.\ Pure Math.\ 46, Part 1, Amer.\ Math.\ Soc., Providence, RI, 1987, pp. 245--268

    work page 1985

  22. [22]

    Miyaoka and S

    Y. Miyaoka and S. Mori, A numerical criterion for uniruledness, Ann.\ of Math.\ (2) 124 (1986), no. 1, 65--69

    work page 1986

  23. [23]

    Mori, Threefolds whose canonical bundles are not numerically effective, Ann.\ of Math.\ (2) 116 (1982), no

    S. Mori, Threefolds whose canonical bundles are not numerically effective, Ann.\ of Math.\ (2) 116 (1982), no. 1, 133--176

    work page 1982

  24. [24]

    N. I. Shepherd-Barron, Miyaoka's theorems on the generic semi-positivity of \(T_X\) and on the Kodaira dimension of minimal regular threefolds, in: Flips and abundance for algebraic threefolds, Ast\'erisque 211 (1992), 103--114

    work page 1992

  25. [25]

    V. V. Shokurov, Three-dimensional log perestroikas, Izv.\ Ross.\ Akad.\ Nauk Ser.\ Mat.\ 56 (1992), no. 1, 105--203

    work page 1992

  26. [26]

    Spicer, Higher-dimensional foliated Mori theory, Compos.\ Math.\ 156 (2020), no

    C. Spicer, Higher-dimensional foliated Mori theory, Compos.\ Math.\ 156 (2020), no. 1, 1--38

    work page 2020

  27. [27]

    The Stacks project authors, The Stacks project, https://stacks.math.columbia.edu

    work page