English

On the canonical bundle formula in positive characteristic

Algebraic Geometry 2026-05-25 v3

Abstract

Let f:XZf: X \to Z be a fibration from a normal projective variety XX of dimension nn onto a normal curve ZZ over a perfect field of characteristic p>2p>2. Let (X,B)(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 n\leq n, we prove that, when KX+BK_X+B is ff-nef, the moduli part is nef up to a birational map YXY \dashrightarrow X. As a corollary, we prove positivity of the moduli part in the KK-trivial case, i.e. when KX+B\QfLK_X+B \sim_{\Q} f^*L for some \Q\Q-Cartier \Q\Q-divisor LL on ZZ. In particular, consider a dlt pair (X,B)(X, B) of dimension 33 over an algebraically closed field of characteristic p>5p>5 such that the induced pair on a general fibre is log canonical, then the canonical bundle formula holds unconditionally.

Keywords

Cite

@article{arxiv.2305.19841,
  title  = {On the canonical bundle formula in positive characteristic},
  author = {Marta Benozzo},
  journal= {arXiv preprint arXiv:2305.19841},
  year   = {2026}
}

Comments

(v3) 54 pages, revised version, updated with suggestions from referee, to appear in Journal of the London Mathematical Society

R2 v1 2026-06-28T10:51:59.722Z