On canonical bundle formula for fibrations of curves with arithmetic genus one

Chongning Wang; Jingshan Chen; Lei Zhang

arxiv: 2308.08927 · v4 · submitted 2023-08-17 · 🧮 math.AG

On canonical bundle formula for fibrations of curves with arithmetic genus one

Jingshan Chen , Chongning Wang , Lei Zhang This is my paper

Pith reviewed 2026-05-24 07:33 UTC · model grok-4.3

classification 🧮 math.AG

keywords canonical bundle formulafibrations of curvespositive characteristicklt pairsAlbanese morphismarithmetic genus onelog pairs

0 comments

The pith

For a klt pair with nef anti-canonical divisor, an Albanese morphism of relative dimension one makes the variety a fiber space over its Albanese variety.

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

The paper establishes canonical bundle formulas for fibrations of relative dimension one in positive characteristic. When the fibration is separable it recovers a formula close to the known characteristic-zero case. When the fibration is inseparable it obtains the formula once the base surface has maximal Albanese dimension. These formulas are then applied to show that any klt pair whose anti-canonical divisor is nef becomes a fiber space over its Albanese variety as soon as the Albanese map has relative dimension one.

Core claim

For a log pair (X, Δ) and a fibration f : (X, Δ) → S of relative dimension one, a canonical bundle formula holds when f is separable, and likewise when f is inseparable provided S has maximal Albanese dimension. As a direct consequence, if (X, Δ) is klt, −(K_X + Δ) is nef, and the Albanese morphism a_X : X → A has relative dimension one, then X is a fiber space over A.

What carries the argument

The canonical bundle formula for a relative-dimension-one fibration f : (X, Δ) → S, which expresses K_X + Δ as the pull-back of a divisor on S plus a correction term whose coefficients are controlled by the arithmetic genus of the fibers.

If this is right

The canonical bundle formula applies directly to separable fibrations of arithmetic genus one.
The formula extends to inseparable fibrations once the base has maximal Albanese dimension.
Any klt pair with nef anti-canonical divisor and Albanese map of relative dimension one is a fiber space over its Albanese variety.

Where Pith is reading between the lines

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

The result supplies a positive-characteristic counterpart to known statements about varieties with nef anti-canonical class.
It may be used to reduce questions about the geometry of such pairs to the geometry of their Albanese bases.
The same formula could be tested on other classes of fibrations whose general fiber has arithmetic genus one.

Load-bearing premise

The fibration must be separable, or else the base must have maximal Albanese dimension.

What would settle it

A klt pair (X, Δ) with −(K_X + Δ) nef whose Albanese morphism has relative dimension one but for which X is not a fiber space over the Albanese variety.

read the original abstract

In this paper, we develop canonical bundle formulas for fibrations of relative dimension one in characteristic $p>0$. For such a fibration from a log pair $f\colon (X, \Delta) \to S$, if $f$ is separable, we can obtain a formula similar to the one due to Witaszek \cite{Wit21}; if $f$ is inseparable, we treat the case when $S$ is of maximal Albanese dimension. As an application, we prove that for a klt pair $(X,\Delta)$ with $-(K_X+\Delta)$ nef, if the Albanese morphism $a_X\colon X \to A$ is of relative dimension one, then $X$ is a fiber space over $A$.

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.

Desk Editor's Note private letter to a colleague

Extends Witaszek's formula to char p for rel dim 1 fibrations with an Albanese application, but the inseparable case in the application looks vulnerable to the stress-test gap.

read the letter

The paper gives canonical bundle formulas for relative dimension one fibrations of log pairs in characteristic p. In the separable case it recovers a version of Witaszek's formula. In the inseparable case it requires the base to have maximal Albanese dimension. The application then claims that a klt pair with nef anti-canonical divisor whose Albanese map has relative dimension one must be a fiber space over the Albanese variety itself.

Referee Report

1 major / 1 minor

Summary. The paper develops canonical bundle formulas for fibrations f:(X,Δ)→S of relative dimension one in characteristic p>0. For separable f it obtains a formula similar to Witaszek's; for inseparable f it obtains the formula under the additional hypothesis that S has maximal Albanese dimension. As an application it proves that if (X,Δ) is klt with −(K_X+Δ) nef and the Albanese morphism a_X:X→A has relative dimension one, then X is a fiber space over A.

Significance. If the derivations are complete, the formulas extend existing positive-characteristic results on canonical bundles for curve fibrations, while the application supplies a criterion for surjectivity of Albanese maps in the relative-dimension-one klt setting. This would be a modest but concrete contribution to the minimal model program in char p.

major comments (1)

[Application to Albanese morphism] Application paragraph (and the proof of the main theorem): the argument invokes the inseparable-case canonical bundle formula on the Albanese morphism f=a_X:(X,Δ)→A. When f is inseparable the formula requires the base to have maximal Albanese dimension. If a_X is not surjective its image Z satisfies dim Z=dim X−1<dim A, so q(Z)≥dim A>dim Z and Z fails to have maximal Albanese dimension. Consequently the formula cannot be applied on Z, leaving the surjectivity claim unproved in the inseparable case.

minor comments (1)

The abstract states the results but does not display the explicit form of the canonical bundle formula obtained in either the separable or inseparable case; a displayed equation would improve readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying this subtlety in the application of the canonical bundle formula to the Albanese morphism. We address the comment below and will revise the manuscript to resolve the issue.

read point-by-point responses

Referee: [Application to Albanese morphism] Application paragraph (and the proof of the main theorem): the argument invokes the inseparable-case canonical bundle formula on the Albanese morphism f=a_X:(X,Δ)→A. When f is inseparable the formula requires the base to have maximal Albanese dimension. If a_X is not surjective its image Z satisfies dim Z=dim X−1<dim A, so q(Z)≥dim A>dim Z and Z fails to have maximal Albanese dimension. Consequently the formula cannot be applied on Z, leaving the surjectivity claim unproved in the inseparable case.

Authors: We agree that the current argument contains a gap in the inseparable case. The manuscript invokes the formula for the morphism a_X : (X, Δ) → A, where A is an abelian variety and therefore has maximal Albanese dimension. However, if a_X is not surjective, the Stein factorization X → Z → A produces a base Z of dimension dim X − 1 whose irregularity satisfies q(Z) ≥ dim A > dim Z, so Z does not satisfy the maximal Albanese dimension hypothesis required for the inseparable-case formula. The proof therefore does not yet establish surjectivity when the fibration is inseparable. We will revise the proof of the main theorem, either by showing that the nef assumption forces the image to have maximal Albanese dimension or by supplying an independent argument that bypasses the formula in this setting. This will be incorporated as a major revision. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation builds independent formulas under explicit hypotheses

full rationale

The paper derives canonical bundle formulas for relative dimension one fibrations, distinguishing separable case (modeled on external citation Wit21) from inseparable case (explicitly conditioned on base having maximal Albanese dimension). The application to Albanese morphisms then invokes these formulas under the stated hypotheses. No quoted step reduces a claimed result to a fitted parameter, self-definition, or load-bearing self-citation chain by construction. The central theorem retains independent content from the input assumptions and external reference; the derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

No free parameters, invented entities, or specific ad hoc axioms are mentioned in the abstract; the work relies on standard domain assumptions in algebraic geometry such as properties of klt pairs and Albanese morphisms.

axioms (1)

domain assumption Standard properties of klt pairs and existence of Albanese morphisms in algebraic geometry.
Invoked implicitly in the statement of the application to klt pairs.

pith-pipeline@v0.9.0 · 5659 in / 1270 out tokens · 49417 ms · 2026-05-24T07:33:37.963725+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem 1.5: for klt (X,Δ) with −(K_X+Δ) nef, if a_X : X→A has relative dimension one then a_X is a fibration (via canonical bundle formulas of Thm 1.2/1.3 and foliation analysis).
IndisputableMonolith/Foundation/DimensionForcing.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Use of foliations and height-one purely inseparable morphisms to compare canonical divisors (Prop 3.1, 3.5).

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.

Forward citations

Cited by 1 Pith paper

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

Geometric singularities of regular surfaces with nef anti-canonical divisors over imperfect fields
math.AG 2026-04 unverdicted novelty 4.0

A regular projective surface S over a field k of char p≥7 with H^0(S,O_S)=k and -K_S nef is geometrically integral over k.

Reference graph

Works this paper leans on

5 extracted references · 5 canonical work pages · cited by 1 Pith paper

[1]

Diﬀerential Geom

[Amb04] Florin Ambro, Shokurov’s boundary property , J. Diﬀerential Geom. 67 (2004), no. 2, 229–255. [Amb05] , The moduli b-divisor of an lc-trivial ﬁbration , Compos. Math. 141 (2005), no. 2, 385–403. [B˘ ad01] Lucian B˘ adescu,Algebraic surfaces, Universitext, Springer-Verlag, New York,

work page 2004
[2]

[BZ16] Caucher Birkar and De-Qi Zhang, Eﬀectivity of Iitaka ﬁbrations and pluricanonical systems of polar- ized pairs, Publ

Translated fro m the 1981 Romanian original by Vladimir Ma¸ sek and revised by the auth or. [BZ16] Caucher Birkar and De-Qi Zhang, Eﬀectivity of Iitaka ﬁbrations and pluricanonical systems of polar- ized pairs, Publ. Math. Inst. Hautes ´Etudes Sci. 123 (2016), 283–331. [Cao19] Junyan Cao, Albanese maps of projective manifolds with nef anticanonic al bundl...

work page arXiv 1981
[3]

Hacon, Zsolt Patakfalvi, and Lei Zhang, Birational characterization of Abelian vari- eties and ordinary Abelian varieties in characteristic p > 0, Duke Math

[HPZ19] Christopher D. Hacon, Zsolt Patakfalvi, and Lei Zhang, Birational characterization of Abelian vari- eties and ordinary Abelian varieties in characteristic p > 0, Duke Math. J. 168 (2019), no. 9, 1723–1736. [Iit82] Shigeru Iitaka, Algebraic geometry , North-Holland Mathematical Library, vol. 24, Springer-Verlag, New York-Berlin,

work page 2019
[4]

[JW21] Lena Ji and Joe Waldron, Structure of geometrically non-reduced varieties , Trans

An introduction to birational geometry of a lgebraic varieties. [JW21] Lena Ji and Joe Waldron, Structure of geometrically non-reduced varieties , Trans. Amer. Math. Soc. 374 (2021), no. 12, 8333–8363. [Kaw98] Yujiro Kawamata, Subadjunction of log canonical divisors. II , Amer. J. Math. 120 (1998), no. 5, 893–899. [Kle66] Steven L. Kleiman, Toward a numer...

work page 2021
[5]

platiﬁ- cation

Translated from the Fre nch by Reinie Ern´ e; Oxford Science Publications. [PW22] Zsolt Patakfalvi and Joe Waldron, Singularities of general ﬁbers and the LMMP , Amer. J. Math. 144 (2022), no. 2, 505–540. [Que71] Cliﬀord S. Queen, Non-conservative function ﬁelds of genus one. I , Arch. Math. (Basel) 22 (1971), 612–623. [RG71] Michel Raynaud and Laurent Gr...

work page 2022

[1] [1]

Diﬀerential Geom

[Amb04] Florin Ambro, Shokurov’s boundary property , J. Diﬀerential Geom. 67 (2004), no. 2, 229–255. [Amb05] , The moduli b-divisor of an lc-trivial ﬁbration , Compos. Math. 141 (2005), no. 2, 385–403. [B˘ ad01] Lucian B˘ adescu,Algebraic surfaces, Universitext, Springer-Verlag, New York,

work page 2004

[2] [2]

[BZ16] Caucher Birkar and De-Qi Zhang, Eﬀectivity of Iitaka ﬁbrations and pluricanonical systems of polar- ized pairs, Publ

Translated fro m the 1981 Romanian original by Vladimir Ma¸ sek and revised by the auth or. [BZ16] Caucher Birkar and De-Qi Zhang, Eﬀectivity of Iitaka ﬁbrations and pluricanonical systems of polar- ized pairs, Publ. Math. Inst. Hautes ´Etudes Sci. 123 (2016), 283–331. [Cao19] Junyan Cao, Albanese maps of projective manifolds with nef anticanonic al bundl...

work page arXiv 1981

[3] [3]

Hacon, Zsolt Patakfalvi, and Lei Zhang, Birational characterization of Abelian vari- eties and ordinary Abelian varieties in characteristic p > 0, Duke Math

[HPZ19] Christopher D. Hacon, Zsolt Patakfalvi, and Lei Zhang, Birational characterization of Abelian vari- eties and ordinary Abelian varieties in characteristic p > 0, Duke Math. J. 168 (2019), no. 9, 1723–1736. [Iit82] Shigeru Iitaka, Algebraic geometry , North-Holland Mathematical Library, vol. 24, Springer-Verlag, New York-Berlin,

work page 2019

[4] [4]

[JW21] Lena Ji and Joe Waldron, Structure of geometrically non-reduced varieties , Trans

An introduction to birational geometry of a lgebraic varieties. [JW21] Lena Ji and Joe Waldron, Structure of geometrically non-reduced varieties , Trans. Amer. Math. Soc. 374 (2021), no. 12, 8333–8363. [Kaw98] Yujiro Kawamata, Subadjunction of log canonical divisors. II , Amer. J. Math. 120 (1998), no. 5, 893–899. [Kle66] Steven L. Kleiman, Toward a numer...

work page 2021

[5] [5]

platiﬁ- cation

Translated from the Fre nch by Reinie Ern´ e; Oxford Science Publications. [PW22] Zsolt Patakfalvi and Joe Waldron, Singularities of general ﬁbers and the LMMP , Amer. J. Math. 144 (2022), no. 2, 505–540. [Que71] Cliﬀord S. Queen, Non-conservative function ﬁelds of genus one. I , Arch. Math. (Basel) 22 (1971), 612–623. [RG71] Michel Raynaud and Laurent Gr...

work page 2022