REVIEW 3 major objections 5 minor 11 references
The extension of numerically trivial divisors on a family
T0 review · 3 major / 5 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read A divisor that is numerically trivial over an open subset of a one-dimensional base always extends, after a semi-stable reduction and multiplication by a fixed integer, to a divisor numerically trivial over the whole base; in higher…
desk verdict A solid dimension-one extension theorem plus a clever higher-dimensional counterexample; fix the statement of Theorem 1.2 and the unproved torus splitting. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the relative Picard scheme $\mathrm{Pic}_{X/S}$, whose identity component $\mathrm{Pic}^0_{X/S}$ parameterizes line bundles on fibers that are algebraically equivalent to zero; numerically trivial line bundles land in a fixed multiple of this component by Lemma 3.7. The proof compares $\mathrm{Pic}^0_{X/S}$ with the Néron model of its generic fiber—the canonical smooth group scheme over the base through which every rational section extends uniquely—and multiplies by an integer $m$ that kills the finite component groups of the special fibers. For simple normal crossing fibers, Proposition 3.11 identifies $\mathrm{Pic}^0$ with a semi-abelian variety whose torus part is governed by the first homology of the dual complex of the fiber. The counterexample uses the same Picard scheme over a curve: fiberwise $\mathrm{Pic}^0$ is $\mathbb{G}_m$, so the scheme is a $\mathbb{G}_m$-bundle, and the section coming from the divisor cannot extend because a regular map from a proper curve to $\mathbb{G}_m$ is constant.
What would settle it
On the base-changed curve $C$, compute the rational function $\mathrm{pr}_1\circ\alpha_{m,C}$ on the dense open where it is defined and inspect its behavior at a point of type (III); the counterexample requires this function to have a pole there, since a regular map from a proper curve to $\mathbb{G}_m$ must be constant.
Extended reading notes
Core claim
The paper proves Theorem 1.2: if $f:X\to S$ is a semi-stable projective family over a smooth curve, $U\subset S$ is open, and $L_U$ is a Cartier divisor on $X_U$ with $L_U\equiv_U 0$, then there is an integer $m>0$, depending only on $f$, and a $\mathbb{Q}$-divisor $L$ on $X$ such that $L|_{X_U}=L_U$, $mL$ is an integral Cartier divisor, and $L$ is relatively numerically trivial over $S$. The paper also proves that this is sharp in dimension: there is a projective semi-stable contraction $f:X\to S$ with $\dim S\ge 2$ and a Cartier divisor $L$ on $X$ such that $L$ is numerically trivial over an open subset $U\subset S$, yet no $\mathbb{Q}$-divisor extending $L|_U$ is numerically trivial over $S$, even after arbitrary birational modifications of the family. The same example shows that a divisor nef over an open subset need not extend to a nef divisor over any compactification of the family.
Load-bearing premise
The higher-dimensional counterexample rests on the unproved assertion that after a cyclic étale cover the relative Picard scheme is a product $\mathbb{G}_m\times C$, because if the monodromy could not be killed by such a cover, the rational section would live on a non-split $\mathbb{G}_m$-torsor and the contradiction would not follow.
Editorial extensions
If this is right
- For any semi-stable family over a smooth curve, the extension obstruction for numerically trivial divisors is annihilated by one fixed multiple $m$ depending only on the family, so the same $m$ works for every divisor and every open subset.
- The same conclusion holds for locally stable families over a DVR with perfect residue field, where the full semi-stable reduction is not required.
- For bases of dimension at least two, the paper's example shows that even after replacing the total space by any higher birational model, no nonzero multiple of a relatively numerically trivial divisor on an open subset extends.
- The counterexample also rules out the nef version of extension in dimension at least two: a divisor nef over an open subset can fail to extend to a nef divisor over any compactification of the family.
- The one-dimensional nef version remains open, and the paper records that it is equivalent to the existence of a Zariski decomposition of the divisor on higher models.
Reading between the lines
- The mechanism suggests that the real obstruction is the monodromy of $\mathrm{Pic}^0$: whenever $\mathrm{Pic}^0_{X/S}$ is proper over the base, generic sections should extend without a multiplication step, so the extension problem reduces to controlling torus parts in special fibers.
- A natural testable extension is to search for a curve-base analogue of Example 5.1 in which $\mathrm{Pic}^0$ is a non-split $\mathbb{G}_m$-torsor; the paper's open Question 1.5 would be answered negatively if such a family also blocks nef extension.
- Because the paper works over $\mathbb{C}$, the Picard-scheme and Néron-model arguments suggest the one-dimensional extension theorem may survive in positive or mixed characteristic, provided the cited representability and smoothness statements hold there.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the extension problem for relatively numerically trivial divisors in a projective family f:X→S. The main positive result (Theorem 1.2) states that when S is a smooth curve and f is semi-stable, a Cartier divisor L_U on X_U that is numerically trivial over U extends, up to a uniform integer multiple, to a Q-divisor L on X that is integral after multiplication by m. The proof uses the relative Picard scheme, Néron models, and semi-stable reduction. The paper then gives a counterexample in dimension at least two: over a base mapping to the moduli stack of stable genus-one curves with two marked points, the line bundle formed by the difference of the two marked sections is numerically trivial on an open set but admits no extension to a relatively numerically trivial divisor, even after birational modifications of the family. This yields Theorems 1.3 and 1.4, including a failure of extension for relatively nef divisors.
Significance. If the results are correct, the paper settles a natural question in birational geometry: relatively numerically trivial divisors extend after semi-stable reduction when the base is a curve, but not in higher dimensions. The main positive theorem is proved with standard, well-chosen machinery (Picard schemes, Néron models, [BLR90] and [Kol23]), and the proof is largely coherent. The counterexample is conceptually interesting and, if fully justified, sharp. The use of the moduli space of pointed stable genus-one curves is appropriate. However, the manuscript has two load-bearing gaps: the statement of Theorem 1.2 omits the central conclusion that the extended divisor is relatively numerically trivial, and Example 5.1 relies on an unproved statement about the relative Picard scheme being a split G_m-bundle after an étale cover. These issues are fixable but require substantive additions.
major comments (3)
- [§1, Theorem 1.2] The theorem as printed does not state that the extended Q-divisor L is relatively numerically trivial over S. The abstract and introduction both promise a global divisor L with L ≡_f 0, and the proof indeed establishes this property in the final paragraph, but the statement in Theorem 1.2 lists only L|X_U = L_U and mL integral Cartier. The statement must be corrected to include L ≡_S 0; otherwise the theorem is weaker than advertised and does not match the proof.
- [§5, Example 5.1] The claim that Pic^0_{U_C/C} is a G_m-bundle with identity section and that, possibly after a cyclic étale cover, Pic^0_{U_C/C} ≃ G_m × C is asserted without proof. This assertion is load-bearing because the contradiction uses the projection onto the first factor to produce a nonconstant morphism from a proper curve to G_m. The text does not even justify that the group scheme is a torus (as opposed to a more general smooth group scheme with G_m fibers). The authors should supply a proof: either compute the monodromy of the associated rank-one torus and show it is killed by a finite étale cover, or replace the splitting step by the observation that a torus over a curve is affine, so any morphism from a proper connected curve to it is constant. The latter would make the splitting argument unnecessary and would also avoid the missing computation.
- [§5, proof of Theorem 1.4] The proof asserts that a nef divisor on the compactification whose restriction to the open locus S is trivial must be an effective vertical divisor and hence a pullback of a divisor on the base. This step is not justified. A nef divisor with zero restriction to an open set does not automatically have an effective representative, and the claim that nefness forces it to be pulled back from S requires an argument (for example, using relative numerical triviality on fibers over S). The current wording is too quick and leaves the proof of Theorem 1.4 incomplete.
minor comments (5)
- [Title and abstract] The title contains a typo: 'A F AMILY' should be 'A FAMILY'. The abstract also uses a nonstandard hyphenation of 'numerically' in the title.
- [§3, Corollary 3.10(2)] The text says 'Pic^0_{X/S} is closed in Pic^0_{X/S}' but should say 'closed in Pic_{X/S}'. This typo could confuse readers.
- [§5, Example 5.1] The notation for the identity element of G_m is inconsistent: the paper writes 'α_m,T(t) = 0' for the trivial divisor class, but when identifying the fiber with G_m the identity should be written as 1 (or 'trivial'). This is presentation only.
- [§2, Lemma 2.3] The lemma states that deg(g)·g_*L' is Cartier for a finite morphism between normal varieties, but for an arbitrary finite morphism (not necessarily flat) the norm of a line bundle is not automatically a line bundle. The applications in the paper are to finite base changes over a smooth curve, which are flat, but the lemma as stated is too general and should either be restricted or supplied with a reference for the non-flat case.
- [§4, proof of Theorem 1.2] The commutative diagram labeled 'semi-stable reduction' is typeset in a way that is hard to read; the text is still understandable, but the diagram should be cleaned up for publication.
Circularity Check
No significant circularity: the paper's derivations rely on external theorems and its own proved Proposition 3.11, with no step reducing to its inputs by construction.
full rationale
The paper's central results, Theorems 1.2–1.4, are derived from established results on Picard schemes, Néron models, and semi-stable reduction, rather than from the statements being proved. Theorem 1.2 uses Kleiman's Picard scheme theory, the Néron mapping property from [BLR90], and Proposition 3.11, which is proved in the text via a dual-complex cochain computation. The extension claim is obtained by showing that a generic section of Pic^0 extends after multiplication to the identity component, using the open immersion into the Néron model; this is an independent mechanism, not a restatement of the theorem. The higher-dimensional counterexamples in Example 5.1 and Theorems 1.3–1.4 depend on a fiberwise computation of Pic^0 as G_m and a nonconstant-map argument. The assertion that a cyclic étale cover kills the monodromy and gives Pic^0_{U_C/C} ≅ G_m × C is stated without proof and is a genuine gap in justification, but it is not circular: it does not assume the nonexistence of the extension, nor does it derive the counterexample from the target statement. No self-citation is load-bearing; the only citation likely by a different author is [Kol25], and it is not used to justify the central claims. No fitted parameter is renamed as a prediction, and no known result is repackaged under new coordinates. Therefore the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- standard math Neron model existence for abelian varieties over Dedekind schemes (BLR90, Theorem 1.4.3).
- standard math Picard scheme existence and representability criteria (Kleiman, Kl05).
- standard math Semi-stable reduction theorem (KKMS73).
- standard math Proposition 4.5 (BLR90, 7.4.3): a semi-abelian S-scheme with abelian generic fiber embeds as an open subgroup of the Neron model, with isomorphism on identity components.
- domain assumption After a cyclic etale cover, the relative Picard scheme Pic^0_{U_C/C} in Example 5.1 is isomorphic to G_m x C.
Cite this review
Pith. "Pith review of The extension of numerically trivial divisors on a family." pith.science (2026). https://pith.science/paper/7ZXK75JS
@misc{pith2026250414141,
author = {Pith},
title = {Pith review of: The extension of numerically trivial divisors on a family},
year = {2026},
howpublished = {\url{https://pith.science/paper/7ZXK75JS}},
note = {Machine review of arXiv:2504.14141}
}
abstract
Let $f:X\to S$ be a projective morphism of normal varieties. Assume $U$ is an open subset of $S$ and $L_U$ is a $\mathbb{Q}$-divisor on $X_U:=X\times_S U$ such that $L_U\equiv_U 0$. We explore when it is possible to extend $L_U$ to a global $\mathbb{Q}$-divisor $L$ on $X$ such that $L\equiv_f 0$. In particular, we show that such $L$ always exists after a (weak) semi-stable reduction when $\dim S=1$. On the other hand, we give an example showing that $L$ may not exist (after any reasonable modification of $f$) if $\dim S\ge 2$, which also gives an $f_U$-nef divisor $M_U$ that cannot extend to an $f$-nef ($\mathbb{Q}$) divisor $M$ for any compactification of $f|_U$, even after replacing $X_U$ with any higher birational model.
Reference graph
Works this paper leans on
-
[1]
21, Springer-Verlag, Berlin, 1990
Siegfried Bosch, Werner L\"utkebohmert, and Michel Raynaud, N\'eron models, Ergebnisse der Mathematik und ihrer Grenzgebiete (3). 21, Springer-Verlag, Berlin, 1990
work page 1990
-
[2]
Grothendieck, A. and Dieudonn\'e, J. El\'ements de G\'eom\'etrie Alg\'ebrique IV-Part 3, Publ. Math. Inst. Hautes Etudes Sci. 28, 1966
work page 1966
-
[3]
R. Friedman, Algebraic surfaces and holomorphic vector bundles, Universitext, Springer-Verlag, New York (1998)
work page 1998
- [4]
- [5]
-
[6]
Kleiman, The Picard scheme, Math
Steven L. Kleiman, The Picard scheme, Math. Surveys Monogr. 123, 235-321 Amer. Math. Soc., Providence, RI, 2005
work page 2005
-
[7]
Koll\'ar, Families of varieties of general type, Cambridge Tracts in Mathematics, vol
J. Koll\'ar, Families of varieties of general type, Cambridge Tracts in Mathematics, vol. 231, Cambridge University Press, Cambridge, 2023, With the collaboration of Klaus Altmann and S\'andor Kov\'acs
work page 2023
-
[8]
Koll\'ar, N\'eron models, minimal models, and birational group actions, arXiv:2502.13800
J. Koll\'ar, N\'eron models, minimal models, and birational group actions, arXiv:2502.13800
Show all 11 references
-
[9]
Koll\'ar and S
J. Koll\'ar and S. Mori, Classification of three-dimensional flips, J. Amer. Math. Soc. (1992), 533–703
1992
-
[10]
Koll\'ar and S
J. Koll\'ar and S. Mori, Birational geometry of algebraic varieties, Cambridge Tracts in Math., 134. Cambridge University Press, Cambridge, 1998, viii+254 pp
1998
-
[11]
Lesieutre, The diminished base locus is not always closed
J. Lesieutre, The diminished base locus is not always closed. Compositio Mathematica, 150(10), 1729-1741, (2014)
2014
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.