pith. machine review for the scientific record. sign in

arxiv: 2604.08100 · v1 · submitted 2026-04-09 · 🧮 math.AG · math.CV

Recognition: 2 theorem links

· Lean Theorem

Rank one foliations on toroidal varieties

Calum Spicer, Luca Tasin

Authors on Pith no claims yet

Pith reviewed 2026-05-10 17:52 UTC · model grok-4.3

classification 🧮 math.AG math.CV
keywords rank one foliationslog canonical pairsbirational geometrytoroidal varietieslog homogeneous varietiescanonical classfoliation singularities
0
0 comments X

The pith

For log canonical pairs with globally generated twisted logarithmic tangent sheaf, rank one foliations admit a divisor making the canonical classes equivalent while preserving log canonicity

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 canonical class of a rank one foliation can be realized through a log canonical pair on the ambient variety after adjustment by a fixed divisor. Given a log canonical pair (X, B) and Cartier divisor D making T_X(-log B) ⊗ O(D) locally free and globally generated, for any log canonical rank one foliation F there exists Gamma with (X, Gamma) log canonical and K_X + Gamma ~ K_F + D. This matters for a reader because it supplies a direct link between foliation invariants and the geometry of pairs, allowing birational questions about foliations to be reduced to standard pair techniques. The authors then apply the result to obtain several statements on the birational geometry of such foliations when the ambient space is log homogeneous.

Core claim

Consider a log canonical pair (X, B) such that there is a Cartier divisor D for which T_X(-log B) ⊗ O(D) is locally free and globally generated. Let F be a log canonical foliation of rank 1 on X. We prove that there exists a divisor Γ such that (X, Γ) is log canonical and K_X + Γ ∼ K_F + D. We then apply this result to prove several statements on the birational geometry of rank 1 log canonical foliations on log homogeneous varieties.

What carries the argument

The divisor Γ that makes (X, Γ) log canonical while satisfying the linear equivalence K_X + Γ ~ K_F + D, enabled by the global generation of the twisted logarithmic tangent sheaf.

If this is right

  • The result is applied to prove several statements on the birational geometry of rank 1 log canonical foliations on log homogeneous varieties.
  • The canonical class equivalence allows the geometry of the foliation to be compared directly with that of a log canonical pair on the same space.
  • Birational properties of the foliation can be read off from the adjusted pair (X, Γ).

Where Pith is reading between the lines

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

  • The construction may extend to toroidal varieties by specializing the log homogeneous case to explicit torus actions.
  • One could check the result on low-dimensional examples such as weighted projective spaces to see explicit forms of Γ.
  • The same generation hypothesis might be used to relate higher-rank foliations to log canonical pairs in future work.

Load-bearing premise

The twisted logarithmic tangent sheaf must be locally free and globally generated, and the foliation must be log canonical of rank one.

What would settle it

A concrete counterexample consisting of a log canonical pair (X, B), Cartier divisor D satisfying the sheaf condition, and log canonical rank one foliation F for which no divisor Γ exists with (X, Γ) log canonical and K_X + Γ ∼ K_F + D.

read the original abstract

Consider a log canonical pair $(X,B)$ such that there is a Cartier divisor $D$ for which $T_X(-\log B) \otimes \mathcal O(D)$ is locally free and globally generated. Let $\mathcal F$ be a log canonical foliation of rank 1 on $X$. We prove that there exists a divisor $\Gamma$ such that $(X, \Gamma)$ is log canonical and $K_X + \Gamma \sim K_{\mathcal F} + D$. We then apply this result to prove several statements on the birational geometry of rank 1 log canonical foliations on log homogeneous varieties.

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

0 major / 2 minor

Summary. The paper proves that given a log canonical pair (X, B) with a Cartier divisor D such that T_X(-log B) ⊗ O(D) is locally free and globally generated, and a log canonical rank-1 foliation F on X, there exists a divisor Γ making (X, Γ) log canonical with K_X + Γ ∼ K_F + D. This existence result is then applied to derive several statements on the birational geometry of rank-1 log canonical foliations on log homogeneous varieties.

Significance. If the central existence result holds, it supplies a concrete construction of a log canonical divisor tied to the canonical class of the foliation via global sections of the twisted logarithmic tangent sheaf. This appears to be a useful technical device in the logarithmic category for toroidal varieties, with direct implications for the minimal model program and classification questions for rank-1 foliations. The applications to log homogeneous varieties constitute a natural follow-up once the main theorem is granted.

minor comments (2)
  1. [§1] §1 (Introduction): the statement of the main theorem could be restated with explicit reference to the global-generation hypothesis on T_X(-log B) ⊗ O(D) to make the logical dependence clearer before the applications are listed.
  2. The notation for the foliation canonical divisor K_F is introduced without a preliminary definition or reference to the standard definition in the literature on foliations; adding a short sentence or citation would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, the recognition of the utility of the central existence result in the logarithmic category, and the recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity; standard existence result from hypotheses

full rationale

The central claim is a conditional existence theorem: given a log canonical pair (X, B) with T_X(-log B) ⊗ O(D) locally free and globally generated, and a log canonical rank-1 foliation F, there exists Γ such that (X, Γ) is log canonical and K_X + Γ ∼ K_F + D. This follows directly from the stated assumptions via standard constructions in the logarithmic category (global sections of the twisted tangent sheaf producing the divisor). No step reduces by the paper's own equations to a fitted parameter, self-referential definition, or self-citation chain. The subsequent applications to birational geometry of rank-1 foliations on log homogeneous varieties are conditional on this independently derived existence and do not create circularity. The derivation is self-contained against external benchmarks in algebraic geometry.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The result rests on standard background notions of log canonical pairs, foliations, and linear equivalence of divisors in algebraic geometry; no new free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption Standard properties of log canonical pairs and rank-1 foliations in algebraic geometry hold.
    Invoked implicitly to state the hypotheses and conclusion.

pith-pipeline@v0.9.0 · 5392 in / 1292 out tokens · 32302 ms · 2026-05-10T17:52:53.428451+00:00 · methodology

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.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The minimal volume of stable surfaces of rank one

    math.AG 2026-05 unverdicted novelty 7.0

    The minimal volume of rank-one stable surfaces is determined and achieved uniquely by one surface up to isomorphism, resolving the Alexeev-Liu conjecture.

  2. The minimal volume of stable surfaces of rank one

    math.AG 2026-05 unverdicted novelty 7.0

    The minimal volume of stable surfaces of rank one is determined with uniqueness up to isomorphism, resolving a conjecture of Alexeev and the second author.

  3. Birational boundedness of stable families

    math.AG 2026-04 unverdicted novelty 6.0

    Algebraically integrable foliations of fixed dimension and bounded adjoint volume are log birationally bounded, which implies birational boundedness for stable families of maximal variation.

Reference graph

Works this paper leans on

38 extracted references · cited by 2 Pith papers

  1. [1]

    Birkar, P

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

    2010

  2. [2]

    H. Bergner. On the L ipman- Z ariski conjecture for logarithmic vector fields on log canonical pairs. Ann. Inst. Fourier (Grenoble) , 71(1):407--446, 2021

    2021

  3. [3]

    Boissi\`ere and E

    S. Boissi\`ere and E. Floris. Divisorial contractions to codimension three orbits. \'Epijournal G\'eom. Alg\'ebrique , 5:Art. 11, 22, 2021

    2021

  4. [4]

    C. Birkar. Singularities of linear systems and boundedness of F ano varieties. Ann. of Math. (2) , 193(2):347--405, 2021

    2021

  5. [5]

    M. Brion. Log homogeneous varieties. In Proceedings of the XVI th L atin A merican A lgebra C olloquium ( S panish) , Bibl. Rev. Mat. Iberoamericana, pages 1--39. Rev. Mat. Iberoamericana, Madrid, 2007

    2007

  6. [6]

    P. Cascini. New directions in the minimal model program. Boll. Unione Mat. Ital. , 14(1):179--190, 2021

    2021

  7. [7]

    On toric and toroidal foliations

    Chih-Wei Chang and Yen-An Chen. On toric and toroidal foliations. Int. Math. Res. Not. IMRN , (18):Paper No. rnaf286, 33, 2025

    2025

  8. [8]

    Y. Chen. Boundedness of minimal partial du V al resolutions of canonical surface foliations. Math. Ann. , 381(1-2):557--573, 2021

    2021

  9. [9]

    Minimal model program for algebraically integrable adjoint foliated structures, 2024

    Paolo Cascini, Jingjun Han, Jihao Liu, Fanjun Meng, Calum Spicer, Roberto Svaldi, and Lingyao Xie. Minimal model program for algebraically integrable adjoint foliated structures, 2024

    2024

  10. [10]

    Cascini, J

    P. Cascini, J. Han, J. Liu, F. Meng, C. Spicer, R. Svaldi, and L. Xie. On finite generation and boundedness of adjoint foliated structures, 2025

    2025

  11. [11]

    Codogni, Zs

    G. Codogni, Zs. Patakfalvi, and L. Tasin. Effective positivity of hodge bundles and applications. To appear in Duke Math. J. , 2025

    2025

  12. [12]

    Cascini and C

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

    2025

  13. [13]

    Cascini and C

    P. Cascini and C. Spicer. On base point freeness for rank one foliations, 2025

    2025

  14. [14]

    Cascini and C

    P. Cascini and C. Spicer. On the MMP for rank one foliations on threefolds. Forum Math. Pi , 13:Paper No. e20, 38, 2025

    2025

  15. [15]

    Codogni, L

    G. Codogni, L. Tasin, and F. Viviani. Slope inequalities for KSB -stable and K -stable families. Proc. Lond. Math. Soc. (3) , 126(4):1394--1465, 2023

    2023

  16. [16]

    Z. Fan. Volumes of foliations birationally bounded by algebraically integrable families, 2025

    2025

  17. [17]

    On toric foliated pairs

    Osamu Fujino and Hiroshi Sato. On toric foliated pairs. Bull. Lond. Math. Soc. , 57(11):3536--3549, 2025

    2025

  18. [18]

    O. Fujino. Log canonical inversion of adjunction. Proc. Japan Acad. Ser. A Math. Sci. , 100(2):7--11, 2024

    2024

  19. [19]

    J. Han, J. Jiao, M. Li, and J. Liu. Volume of algebraically integrable foliations and locally stable families. To appear in Trans. Amer. Math. Soc. , 2025

    2025

  20. [20]

    C. D. Hacon and A. Langer. On birational boundedness of foliated surfaces. J. Reine Angew. Math. , 770:205--229, 2021

    2021

  21. [21]

    Hacon, J

    C. Hacon, J. M c Kernan, and C. Xu. On the birational automorphisms of varieties of general type. Ann. of Math. , 177(3):1077--1111, 2013

    2013

  22. [22]

    Hacon, J

    C. Hacon, J. M c Kernan, and C. Xu. ACC for log canonical thresholds. Ann. of Math. , 180(2):523--571, 2014

    2014

  23. [23]

    Hacon, J

    C. Hacon, J. McKernan, and C. Xu. Boundedness of moduli of varieties of general type. J. Eur. Math. Soc. (JEMS) , 20(4):865--901, 2018

    2018

  24. [24]

    J. A. Howald. Multiplier ideals of monomial ideals. Trans. Amer. Math. Soc. , 353(7):2665--2671, 2001

    2001

  25. [25]

    Hacon and C

    C. Hacon and C. Xu. Existence of log canonical closures. Invent. Math. , 192(1):161--195, 2013

    2013

  26. [26]

    Kawakita

    M. Kawakita. Inversion of adjunction on log canonicity. Invent. Math. , 167(1):129--133, 2007

    2007

  27. [27]

    Koll \'a r and S

    J. Koll \'a r and S. Mori. Birational geometry of algebraic varieties , volume 134 of Cambridge tracts in mathematics . Cambridge University Press, 1998

    1998

  28. [28]

    Koll \'a r

    J. Koll \'a r. Singularities of pairs. In Algebraic geometry---Santa Cruz 1995 , pages 221--287. Amer. Math. Soc., Providence, RI, 1997

    1995

  29. [29]

    L \"u and S

    X. L \"u and S. Tan. The poincar\'e problem for a foliated surface, 2024

    2024

  30. [30]

    X. L \"u . Unboundedness of foliated varieties. Internat. J. Math. , 36(6):Paper No. 2550003, 9, 2025

    2025

  31. [31]

    McQuillan and D

    M. McQuillan and D. Panazzolo. Almost \'etale resolution of foliations. J. Differential Geom. , 95(2):279--319, 2013

    2013

  32. [32]

    Martinelli, S

    D. Martinelli, S. Schreieder, and L. Tasin. On the number and boundedness of log minimal models of general type. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , 53(5):1183--1207, 2020

    2020

  33. [33]

    Musta t a

    M. Musta t a . I MPANGA lecture notes on log canonical thresholds. In Contributions to algebraic geometry , EMS Ser. Congr. Rep., pages 407--442. Eur. Math. Soc., Z\"urich, 2012. Notes by Tomasz Szemberg

    2012

  34. [34]

    Passantino

    A. Passantino. Numerical conditions for the boundedness of foliated surfaces, 2024

    2024

  35. [35]

    J. V. Pereira and R. Svaldi. Effective algebraic integration in bounded genus. Algebr. Geom. , 6(4):454--485, 2019

    2019

  36. [36]

    C. Spicer. Higher-dimensional foliated M ori theory. Compos. Math. , 156(1):1--38, 2020

    2020

  37. [37]

    Spicer and R

    C. Spicer and R. Svaldi. Effective generation for foliated surfaces: results and applications. J. Reine Angew. Math. , 795:45--84, 2023

    2023

  38. [38]

    W. Wang. Toric foliated minimal model program. J. Algebra , 632:70--86, 2023

    2023