pith. sign in

arxiv: 2305.19841 · v3 · pith:AMVQZIKRnew · submitted 2023-05-31 · 🧮 math.AG

On the canonical bundle formula in positive characteristic

Marta Benozzo This is my paper

Pith reviewed 2026-05-25 08:39 UTC · model grok-4.3

classification 🧮 math.AG
keywords canonical bundle formulapositive characteristicdlt pairmoduli partnefnessfibration over curvelog canonical pair
0
0 comments X

The pith

When K_X + B is f-nef, the moduli part is nef up to a birational map Y dashrightarrow X.

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

The paper establishes that for a dlt pair (X, B) fibered over a curve in characteristic p > 2, with the general fibre pair log canonical, the moduli part of the canonical bundle formula is nef after a birational modification of the total space provided K_X + B is f-nef. A sympathetic reader would care because the result transfers a form of positivity for the moduli part into positive characteristic, where many characteristic-zero techniques are unavailable. The argument requires the LMMP and log resolutions up to dimension n, and it yields positivity of the moduli part in the K-trivial case as a corollary. In dimension three over an algebraically closed field of characteristic p > 5 the statement holds with no further hypotheses.

Core claim

Assuming the LMMP and the existence of log resolutions in dimension ≤ n, if K_X + B is f-nef for a dlt pair (X, B) whose induced pair on a general fibre is log canonical, then the moduli part is nef up to a birational map Y dashrightarrow X. As a corollary, the moduli part is positive when K_X + B is Q-linearly equivalent to f^* L for some Q-Cartier Q-divisor L on Z. In particular, for a dlt pair of dimension three over an algebraically closed field of characteristic p > 5 with log canonical general fibre, the canonical bundle formula holds unconditionally.

What carries the argument

The moduli part M appearing in the canonical bundle formula decomposition K_X + B ~_Q f^*(K_Z + B_Z + M), whose nefness after birational modification is proved when K_X + B is f-nef.

If this is right

  • The moduli part is nef after a birational map when K_X + B is f-nef.
  • The moduli part is positive in the K-trivial case where K_X + B ~_Q f^* L.
  • The canonical bundle formula holds unconditionally for such threefolds in characteristic p > 5.

Where Pith is reading between the lines

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

  • The result indicates that birational modifications can restore nefness of the moduli part even when characteristic-zero vanishing theorems are absent.
  • It suggests that positivity statements for moduli parts may be used to construct or compactify moduli spaces of fibered varieties in positive characteristic.
  • The unconditional low-dimensional case points toward checking whether the same conclusion holds in dimension four once LMMP is known in that dimension.

Load-bearing premise

The argument depends on the LMMP and the existence of log resolutions in dimension ≤ n.

What would settle it

An explicit example of a dlt pair (X, B) of dimension 4 over a perfect field of characteristic 3 such that K_X + B is f-nef but the moduli part fails to be nef on every birational model of X would falsify the claim.

read the original abstract

Let $f: X \to Z$ be a fibration from a normal projective variety $X$ of dimension $n$ onto a normal curve $Z$ over a perfect field of characteristic $p>2$. Let $(X, B)$ be a dlt pair such that the induced pair on a general fibre is log canonical. Assuming the LMMP and the existence of log resolutions in dimension $\leq n$, we prove that, when $K_X+B$ is $f$-nef, the moduli part is nef up to a birational map $Y \dashrightarrow X$. As a corollary, we prove positivity of the moduli part in the $K$-trivial case, i.e. when $K_X+B \sim_{\Q} f^*L$ for some $\Q$-Cartier $\Q$-divisor $L$ on $Z$. In particular, consider a dlt pair $(X, B)$ of dimension $3$ over an algebraically closed field of characteristic $p>5$ such that the induced pair on a general fibre is log canonical, then the canonical bundle formula holds unconditionally.

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 / 3 minor

Summary. The manuscript proves a version of the canonical bundle formula for fibrations f: X → Z, where X is normal projective of dimension n over a perfect field of char p>2, (X,B) is dlt with general fiber lc. Assuming LMMP and existence of log resolutions in dim ≤n, if K_X+B is f-nef then the moduli part is nef after birational modification Y ⇢ X. It also establishes positivity of the moduli part when K_X+B ~_Q f^*L, and derives an unconditional corollary in dimension 3 for p>5 using known low-dimensional results.

Significance. If the result holds, it extends the canonical bundle formula and positivity statements to positive characteristic under standard MMP-type assumptions, with an unconditional statement in dimension 3. This is a meaningful contribution to birational geometry in char p, as the moduli part controls the variation of the fibers. The paper correctly frames the result as conditional and isolates the low-dimensional corollary.

minor comments (3)
  1. §1 (Introduction): the precise definition of the moduli part (as a Q-divisor on the base after the birational modification) should be recalled or referenced before stating the main theorem, to make the nefness claim immediately readable.
  2. The proof of the K-trivial case (positivity when K_X+B ~_Q f^*L) appears to reduce to the main nefness statement; if this reduction uses an additional argument, it should be isolated in a separate subsection or lemma for clarity.
  3. The unconditional corollary in dimension 3 relies on known results for LMMP and log resolutions when p>5; add an explicit citation to those results (e.g., the relevant papers establishing LMMP in dim 3) in the statement of the corollary.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of our work and for recommending minor revision. The referee's description of the main theorem, the conditional assumptions, the K-trivial positivity statement, and the unconditional dimension-3 corollary for p>5 is accurate. No specific major comments or requests for changes appear in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper states its main theorem explicitly under the external hypotheses of LMMP and existence of log resolutions in dimension ≤ n (abstract). The proof is framed as conditional on these domain-standard assumptions, with the dimension-3 corollary unconditional only because those assumptions are independently known to hold for p>5. No equations reduce by construction to fitted inputs, no self-definitional steps appear, and no load-bearing self-citations are invoked to justify the central claim. The derivation chain is therefore self-contained against the stated external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on two domain assumptions that are open in general: the log minimal model program and existence of log resolutions in dimension ≤ n. No free parameters or invented entities are introduced.

axioms (2)
  • domain assumption LMMP holds in dimension ≤ n
    Invoked to prove nefness of the moduli part when K_X + B is f-nef
  • domain assumption log resolutions exist in dimension ≤ n
    Invoked to prove nefness of the moduli part when K_X + B is f-nef

pith-pipeline@v0.9.0 · 5718 in / 1369 out tokens · 32008 ms · 2026-05-25T08:39:40.625664+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

36 extracted references · 36 canonical work pages

  1. [1]

    Positivity of the moduli part

    Florin Ambro, Paolo Cascini, Vyacheslav Shokurov, and Calum Spicer. Positivity of the moduli part. arXiv preprint arXiv:2111.00423 , 2021

    work page arXiv 2021

  2. [2]

    Smoothness, semistability, and toroidal geometry

    Dan Abramovich and Aise Johan de Jong. Smoothness, semistability, and toroidal geometry. J. Algebraic Geom. , 6(4):789--801, 1997

    work page 1997

  3. [3]

    Weak semistable reduction in characteristic 0

    Dan Abramovich and Kalle Karu. Weak semistable reduction in characteristic 0. Invent. Math. , 139(2):241--273, 2000

    work page 2000

  4. [4]

    Shokurov's boundary property

    Florin Ambro. Shokurov's boundary property. J. Differential Geom. , 67(2):229--255, 2004

    work page 2004

  5. [5]

    The moduli b -divisor of an lc-trivial fibration

    Florin Ambro. The moduli b -divisor of an lc-trivial fibration. Compos. Math. , 141(2):385--403, 2005

    work page 2005

  6. [6]

    Non-normal purely log terminal centres in characteristic p 3

    Fabio Bernasconi. Non-normal purely log terminal centres in characteristic p 3 . European Journal of Mathematics , 5(4):1242--1251, 2019

    work page 2019

  7. [7]

    Existence of flips and minimal models for 3-folds in char p

    Caucher Birkar. Existence of flips and minimal models for 3-folds in char p . Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 49(1):169--212, 2016

    work page 2016

  8. [8]

    Globally + regular varieties and the minimal model program for threefolds in mixed characteristic

    Bhargav Bhatt, Linquan Ma, Zsolt Patakfalvi, Karl Schwede, Kevin Tucker, Joe Waldron, and Jakub Witaszek. Globally + regular varieties and the minimal model program for threefolds in mixed characteristic. Publications math \'e matiques de l'IH \'E S , pages 1--159, 2023

    work page 2023

  9. [9]

    Invariance of plurigenera for some varieties with good minimal models

    Iacopo Brivio. Invariance of plurigenera for some varieties with good minimal models. arXiv preprint arXiv:2207.08107 , 2022

    work page arXiv 2022

  10. [10]

    Existence of M ori fibre spaces for 3-folds in char \,p

    Caucher Birkar and Joe Waldron. Existence of M ori fibre spaces for 3-folds in char \,p . Adv. Math. , 313:62--101, 2017

    work page 2017

  11. [11]

    Flips for 3-folds and 4-folds , volume 35

    Alessio Corti. Flips for 3-folds and 4-folds , volume 35. OUP Oxford, 2007

    work page 2007

  12. [12]

    Purely log terminal threefolds with non-normal centres in characteristic two

    Paolo Cascini and Hiromu Tanaka. Purely log terminal threefolds with non-normal centres in characteristic two. Amer. J. Math. , 141(4):941--979, 2019

    work page 2019

  13. [13]

    On base point freeness in positive characteristic

    Paolo Cascini, Hiromu Tanaka, and Chenyang Xu. On base point freeness in positive characteristic. Ann. Sci. \' E c. Norm. Sup\' e r. (4) , 48(5):1239--1272, 2015

    work page 2015

  14. [14]

    The F -different and a canonical bundle formula

    Omprokash Das and Karl Schwede. The F -different and a canonical bundle formula. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) , 17(3):1173--1205, 2017

    work page 2017

  15. [15]

    On the log minimal model program for threefolds over imperfect fields of characteristic p>5

    Omprokash Das and Joe Waldron. On the log minimal model program for threefolds over imperfect fields of characteristic p>5 . J. Lond. Math. Soc. (2) , 106(4):3895--3937, 2022

    work page 2022

  16. [16]

    A travel guide to the canonical bundle formula

    Enrica Floris and Vladimir Lazi\' c . A travel guide to the canonical bundle formula. In Birational geometry and moduli spaces , volume 39 of Springer INdAM Ser. , pages 37--55. Springer, Cham, [2020] 2020

    work page 2020

  17. [17]

    A Canonical Bundle Formula

    Osamu Fujino and Shigefumi Mori. A Canonical Bundle Formula . Journal of Differential Geometry , 56(1):167 -- 188, 2000

    work page 2000

  18. [18]

    Algebraic geometry

    Robin Hartshorne. Algebraic geometry . Graduate Texts in Mathematics, No. 52. Springer-Verlag, New York-Heidelberg, 1977

    work page 1977

  19. [19]

    Minimal model program for log canonical threefolds in positive characteristic

    Kenta Hashizume, Yusuke Nakamura, and Hiromu Tanaka. Minimal model program for log canonical threefolds in positive characteristic. Math. Res. Lett. , 27(4):1003--1054, 2020

    work page 2020

  20. [20]

    On the relative minimal model program for fourfolds in positive and mixed characteristic

    Christopher Hacon and Jakub Witaszek. On the relative minimal model program for fourfolds in positive and mixed characteristic. Forum Math. Pi , 11:Paper No. e10, 2023

    work page 2023

  21. [21]

    Hacon and Chenyang Xu

    Christopher D. Hacon and Chenyang Xu. On the three dimensional minimal model program in positive characteristic. J. Amer. Math. Soc. , 28(3):711--744, 2015

    work page 2015

  22. [22]

    Subadjunction of log canonical divisors

    Yujiro Kawamata. Subadjunction of log canonical divisors. II . Amer. J. Math. , 120(5):893--899, 1998

    work page 1998

  23. [23]

    Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics

    J\' a nos Koll\' a r and Shigefumi Mori. Birational geometry of algebraic varieties , volume 134 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 1998. With the collaboration of C. H. Clemens and A. Corti, Translated from the 1998 Japanese original

    work page 1998

  24. [24]

    Rational curves on algebraic varieties , volume 32 of Ergebnisse der Mathematik und ihrer Grenzgebiete

    J\' a nos Koll\' a r. Rational curves on algebraic varieties , volume 32 of Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Modern Surveys in Mathematics] . Springer-Verlag, Berlin, 1996

    work page 1996

  25. [25]

    Singularities of the minimal model program , volume 200 of Cambridge Tracts in Mathematics

    J\' a nos Koll\' a r. Singularities of the minimal model program , volume 200 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2013. With a collaboration of S\' a ndor Kov\' a cs

    work page 2013

  26. [26]

    Algebraic geometry and arithmetic curves , volume 6 of Oxford Graduate Texts in Mathematics

    Qing Liu. Algebraic geometry and arithmetic curves , volume 6 of Oxford Graduate Texts in Mathematics . Oxford University Press, Oxford, 2002. Translated from the French by Reinie Ern\' e , Oxford Science Publications

    work page 2002

  27. [27]

    Modular fields

    Saunders MacLane. Modular fields. Amer. Math. Monthly , 47:259--274, 1940

    work page 1940

  28. [28]

    A numerical criterion for uniruledness

    Yoichi Miyaoka and Shigefumi Mori. A numerical criterion for uniruledness. Ann. of Math. (2) , 124(1):65--69, 1986

    work page 1986

  29. [29]

    Counterexamples to K odaira's vanishing and Y au's inequality in positive characteristics

    Shigeru Mukai. Counterexamples to K odaira's vanishing and Y au's inequality in positive characteristics. Kyoto J. Math. , 53(2):515--532, 2013

    work page 2013

  30. [30]

    Singularities of general fibers and the LMMP

    Zsolt Patakfalvi and Joe Waldron. Singularities of general fibers and the LMMP . Amer. J. Math. , 144(2):505--540, 2022

    work page 2022

  31. [31]

    Miyaoka's theorems on the generic seminegativity of t_x and on the kodaira dimension of minimal regular threefolds

    Nicholas Shepherd-Barron. Miyaoka's theorems on the generic seminegativity of t_x and on the kodaira dimension of minimal regular threefolds. Flips and abundance for algebraic threefolds , pages 103--114, 1992

    work page 1992

  32. [32]

    On fibrations whose geometric fibers are nonreduced

    Stefan Schr\" o er. On fibrations whose geometric fibers are nonreduced. Nagoya Math. J. , 200:35--57, 2010

    work page 2010

  33. [33]

    The stacks project

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

    work page 2022

  34. [34]

    Behavior of canonical divisors under purely inseparable base changes

    Hiromu Tanaka. Behavior of canonical divisors under purely inseparable base changes. J. Reine Angew. Math. , 744:237--264, 2018

    work page 2018

  35. [35]

    On the canonical bundle formula and log abundance in positive characteristic

    Jakub Witaszek. On the canonical bundle formula and log abundance in positive characteristic. Math. Ann. , 381(3-4):1309--1344, 2021

    work page 2021

  36. [36]

    Counterexamples to the K awamata- V iehweg vanishing on ruled surfaces in positive characteristic

    Qihong Xie. Counterexamples to the K awamata- V iehweg vanishing on ruled surfaces in positive characteristic. J. Algebra , 324(12):3494--3506, 2010

    work page 2010