pith. sign in

arxiv: 2403.16259 · v3 · pith:UZHWQEVDnew · submitted 2024-03-24 · 🧮 math.AG

On the effective generation of direct images of pluricanonical bundles in mixed characteristic

Hirotaka Onuki This is my paper

Pith reviewed 2026-05-24 03:45 UTC · model grok-4.3

classification 🧮 math.AG
keywords mixed characteristicpluricanonical bundlesglobal generationdirect imagesweak positivityFujita-type conjecturealgebraic geometry
0
0 comments X

The pith

Direct images of pluricanonical bundles are effectively globally generated in mixed characteristic.

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

The paper establishes an effective global generation result for direct images of pluricanonical bundles on schemes in mixed characteristic. This extends results known in positive characteristic by Ejiri and in characteristic zero by Popa and Schnell. The result is applied to show a weak positivity statement for the relative canonical sheaf of a smooth morphism in this setting. A sympathetic reader would care because it provides tools for studying positivity and generation properties across different characteristics.

Core claim

We present an effective global generation result for direct images of pluricanonical bundles in mixed characteristic. This is a mixed characteristic analog of Ejiri's theorem in positive characteristic and the theorem of Popa and Schnell regarding their Fujita-type conjecture in characteristic zero. As an application, we establish a weak positivity statement for the relative canonical sheaf of a smooth morphism in mixed characteristic.

What carries the argument

The effective global generation result for direct images of pluricanonical bundles, serving as the mixed-characteristic analog of known theorems in other characteristics.

If this is right

  • Direct images of pluricanonical bundles satisfy an effective global generation bound in mixed characteristic.
  • A weak positivity statement holds for the relative canonical sheaf of a smooth morphism in mixed characteristic.
  • Fujita-type questions on generation can be addressed using this analog in mixed characteristic.

Where Pith is reading between the lines

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

  • The techniques may extend to non-smooth morphisms or other classes of sheaves in mixed characteristic.
  • This suggests that vanishing or positivity results from pure characteristics often lift to mixed settings with suitable adaptations.
  • Applications could include arithmetic properties of moduli spaces where mixed characteristic appears naturally.

Load-bearing premise

The mixed-characteristic setup admits an analog of the positivity or vanishing statements used in the characteristic-zero and positive-characteristic cases.

What would settle it

A counterexample consisting of a smooth morphism in mixed characteristic where a direct image of a pluricanonical bundle fails to be globally generated by the effective bound given in the result.

read the original abstract

We present an effective global generation result for direct images of pluricanonical bundles in mixed characteristic. This is a mixed characteristic analog of Ejiri's theorem in positive characteristic and the theorem of Popa and Schnell regarding their Fujita-type conjecture in characteristic zero. As an application, we establish a weak positivity statement for the relative canonical sheaf of a smooth morphism in mixed characteristic.

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

2 major / 2 minor

Summary. The manuscript claims to prove an effective global generation result for direct images of pluricanonical bundles under smooth morphisms in mixed characteristic. This is presented as a direct analog of Ejiri's theorem (positive characteristic) and Popa-Schnell's theorem (characteristic zero). As an application, the authors derive a weak positivity statement for the relative canonical sheaf of a smooth morphism in mixed characteristic.

Significance. If the central claim holds, the result would fill a notable gap by providing the first effective generation statement in the mixed-characteristic setting, with potential arithmetic applications via tools such as prismatic cohomology. The weak-positivity application is a natural and useful consequence. The work would be strengthened by explicit verification that the required positivity/vanishing analogs are established rather than assumed.

major comments (2)
  1. [Main theorem / §3] The central claim in the main theorem (presumably Theorem A or 1.1) asserts an effective global generation result as a mixed-characteristic analog, but the argument requires a substitute for the relative vanishing or positivity statements used by Ejiri and Popa-Schnell. The manuscript must supply an explicit construction or reference for this analog (e.g., via prismatic cohomology or arithmetic vanishing); without it, the reduction does not go through.
  2. [Application section / §5] The application to weak positivity for the relative canonical sheaf (likely Theorem B) is derived directly from the generation result. If the generation bound or the underlying vanishing analog fails to hold in mixed characteristic, this application is unsupported; the manuscript should isolate the precise step where the mixed-char input is used.
minor comments (2)
  1. [Introduction] Notation for the mixed-characteristic setup (e.g., the definition of the base scheme and the morphism) should be introduced earlier and used consistently.
  2. [Abstract / §1] The abstract and introduction should clarify whether the effectiveness is uniform or depends on additional data such as the degree of the pluricanonical bundle.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments on our manuscript. We address each major comment below, clarifying the relevant parts of the argument and indicating the revisions we will make to improve explicitness.

read point-by-point responses

  1. Referee: [Main theorem / §3] The central claim in the main theorem (presumably Theorem A or 1.1) asserts an effective global generation result as a mixed-characteristic analog, but the argument requires a substitute for the relative vanishing or positivity statements used by Ejiri and Popa-Schnell. The manuscript must supply an explicit construction or reference for this analog (e.g., via prismatic cohomology or arithmetic vanishing); without it, the reduction does not go through.

    Authors: In Section 3 we establish the main theorem by reducing to a mixed-characteristic vanishing statement that is obtained from the prismatic cohomology formalism of Bhatt–Scholze. The required positivity and vanishing analogs are not assumed but are derived from the prismatic Hodge filtration and the associated degeneration results, which serve as the direct substitute for the Kodaira-type vanishing used in characteristic zero and the Frobenius techniques used in positive characteristic. To address the referee’s request for greater explicitness, we will add a short subsection (3.2) that isolates the precise prismatic vanishing theorem invoked and compares it side-by-side with the statements of Ejiri and Popa–Schnell. revision: partial

  2. Referee: [Application section / §5] The application to weak positivity for the relative canonical sheaf (likely Theorem B) is derived directly from the generation result. If the generation bound or the underlying vanishing analog fails to hold in mixed characteristic, this application is unsupported; the manuscript should isolate the precise step where the mixed-char input is used.

    Authors: Theorem B follows immediately from the main theorem by taking m = 1. The only place where mixed-characteristic input is used is the invocation of the effective generation statement itself, which rests on the prismatic vanishing proved in Section 3. We will insert a brief remark immediately after the statement of Theorem B that explicitly flags this dependence and cross-references the relevant paragraph in Section 3. revision: yes

Circularity Check

0 steps flagged

No circularity: result presented as direct analog without reduction to self-inputs

full rationale

The provided abstract and context present the main theorem as an effective global generation result that is a mixed-characteristic analog of Ejiri (positive char) and Popa-Schnell (char 0). No equations, definitions, or citations are quoted that reduce the claimed generation statement to a fitted parameter, a self-citation chain, or a renaming of the input. The derivation chain is therefore treated as self-contained against the external source theorems; the existence of the required mixed-char positivity/vanishing substitute is a correctness question, not a circularity reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No details on free parameters, axioms, or invented entities are supplied by the abstract.

pith-pipeline@v0.9.0 · 5574 in / 948 out tokens · 20679 ms · 2026-05-24T03:45:51.832047+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

35 extracted references · 35 canonical work pages

  1. [1]

    Yves Andr\' e , La conjecture du facteur direct, Publ. Math. Inst. Hautes \' E tudes Sci. 127 (2018), 71--93. 3814651

    work page 2018

  2. [2]

    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 , Publ. Math. Inst. Hautes \'E tudes Sci. 138 (2023), no. 1, 69--227

    work page 2023

  3. [3]

    Bhargav Bhatt, Linquan Ma, Zsolt Patakfalvi, Karl Schwede, Kevin Tucker, Joe Waldron, and Jakub Witaszek, Test ideals in mixed characteristic: a unified theory up to perturbation, https://arxiv.org/abs/2401.00615v1, 2024

    work page arXiv 2024

  4. [4]

    Olivier Debarre, Higher-dimensional algebraic geometry, Universitext, Springer-Verlag, New York, 2001. 1841091

    work page 2001

  5. [5]

    Johan de Jong, The stacks project, https://stacks.math.columbia.edu

    work page

  6. [6]

    2, 425--454

    Yajnaseni Dutta and Takumi Murayama, Effective generation and twisted weak positivity of direct images, Algebra Number Theory 13 (2019), no. 2, 425--454. 3927051

    work page 2019

  7. [7]

    Algebraic Geom

    Sho Ejiri, Weak positivity theorem and F robenius stable canonical rings of geometric generic fibers , J. Algebraic Geom. 26 (2017), no. 4, 691--734. 3683424

    work page 2017

  8. [8]

    9, 2057--2080

    , Positivity of anticanonical divisors and F -purity of fibers , Algebra Number Theory 13 (2019), no. 9, 2057--2080. 4039496

    work page 2019

  9. [9]

    , Notes on direct images of pluricanonical bundles, Eur. J. Math. 9 (2023), no. 4, Paper No. 96, 9. 4652922

    work page 2023

  10. [10]

    Algebra 633 (2023), 464--473

    , Notes on F robenius stable direct images , J. Algebra 633 (2023), 464--473. 4617999

    work page 2023

  11. [11]

    , Direct images of pluricanonical bundles and F robenius stable canonical rings of fibers , Algebr. Geom. 11 (2024), no. 1, 71--110. 4680014

    work page 2024

  12. [12]

    Osamu Fujino and Yoshinori Gongyo, On images of weak F ano manifolds , Math. Z. 270 (2012), no. 1-2, 531--544. 2875847

    work page 2012

  13. [13]

    , On images of weak F ano manifolds II , Algebraic and complex geometry, Springer Proc. Math. Stat., vol. 71, Springer, Cham, 2014, pp. 201--207. 3278574

    work page 2014

  14. [14]

    Osamu Fujino, On mixed- -sheaves, https://arxiv.org/abs/1908.00171v3, 2023

    work page arXiv 1908

  15. [15]

    Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique

    A. Grothendieck, \' E l\' e ments de g\' e om\' e trie alg\' e brique. III . \' E tude cohomologique des faisceaux coh\' e rents. I . , Inst. Hautes \' E tudes Sci. Publ. Math. (1961), no. 11, 167. 217085

    work page 1961

  16. [16]

    Nobuo Hara, A characteristic p analog of multiplier ideals and its applications, http://hdl.handle.net/2433/214783, 2003, pp. 49--57

    work page 2003

  17. [17]

    Christopher Hacon, Alicia Lamarche, and Karl Schwede, Global generation of test ideals in mixed characteristic and applications, https://arxiv.org/abs/2106.14329v4, 2022

    work page arXiv 2022

  18. [18]

    Hacon and Chenyang Xu, On the three dimensional minimal model program in positive characteristic, J

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

    work page 2015

  19. [19]

    Keeler, Ample filters of invertible sheaves, J

    Dennis S. Keeler, Ample filters of invertible sheaves, J. Algebra 259 (2003), no. 1, 243--283. 1953719

    work page 2003

  20. [20]

    , Fujita's conjecture and F robenius amplitude , Amer. J. Math. 130 (2008), no. 5, 1327--1336. 2450210

    work page 2008

  21. [21]

    Differential Geom

    J\' a nos Koll\' a r, Yoichi Miyaoka, and Shigefumi Mori, Rational connectedness and boundedness of F ano manifolds , J. Differential Geom. 36 (1992), no. 3, 765--779. 1189503

    work page 1992

  22. [22]

    J\' a nos Koll\' a r, Higher direct images of dualizing sheaves. I , Ann. of Math. (2) 123 (1986), no. 1, 11--42. 825838

    work page 1986

  23. [23]

    Kov\' a cs and Zsolt Patakfalvi, Projectivity of the moduli space of stable log-varieties and subadditivity of log- K odaira dimension , J

    S\' a ndor J. Kov\' a cs and Zsolt Patakfalvi, Projectivity of the moduli space of stable log-varieties and subadditivity of log- K odaira dimension , J. Amer. Math. Soc. 30 (2017), no. 4, 959--1021. 3671934

    work page 2017

  24. [24]

    I , Ergebnisse der Mathematik und ihrer Grenzgebiete

    Robert Lazarsfeld, Positivity in algebraic geometry. I , 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], vol. 48, Springer-Verlag, Berlin, 2004, Classical setting: line bundles and linear series. 2095471

    work page 2004

  25. [25]

    II , Ergebnisse der Mathematik und ihrer Grenzgebiete

    , Positivity in algebraic geometry. II , 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], vol. 49, Springer-Verlag, Berlin, 2004, Positivity for vector bundles, and multiplier ideals. 2095472

    work page 2004

  26. [26]

    Laurent Moret-Bailly, Familles de courbes et de vari\' e t\' e s ab\' e liennes sur P ^1 . II . E xemples , S\' e minaire sur les P inceaux de C ourbes de G enre au M oins D eux, no. 86, Soci\' e t\' e Math\' e matique de France, Paris, 1981, Seminar on Pencils of Curves of Genus at Least Two, pp. 125--140. 3618576

    work page 1981

  27. [27]

    Linquan Ma and Karl Schwede, Singularities in mixed characteristic via perfectoid big C ohen- M acaulay algebras , Duke Math. J. 170 (2021), no. 13, 2815--2890. 4312190

    work page 2021

  28. [28]

    Zsolt Patakfalvi, Semi-positivity in positive characteristics, Ann. Sci. \' E c. Norm. Sup\' e r. (4) 47 (2014), no. 5, 991--1025. 3294622

    work page 2014

  29. [29]

    Bjorn Poonen, Bertini theorems over finite fields, Ann. of Math. (2) 160 (2004), no. 3, 1099--1127. 2144974

    work page 2004

  30. [30]

    9, 2273--2295

    Mihnea Popa and Christian Schnell, On direct images of pluricanonical bundles, Algebra Number Theory 8 (2014), no. 9, 2273--2295. 3294390

    work page 2014

  31. [31]

    Smith, Fujita's freeness conjecture in terms of local cohomology, J

    Karen E. Smith, Fujita's freeness conjecture in terms of local cohomology, J. Algebraic Geom. 6 (1997), no. 3, 417--429. 1487221

    work page 1997

  32. [32]

    Karl Schwede and Kevin Tucker, Test ideals of non-principal ideals: computations, jumping numbers, alterations and division theorems, J. Math. Pures Appl. (9) 102 (2014), no. 5, 891--929. 3271293

    work page 2014

  33. [33]

    Algebra 555 (2020), 52--68

    Junchao Shentu and Yongming Zhang, On the simultaneous generation of jets of the adjoint bundles, J. Algebra 555 (2020), 52--68. 4081496

    work page 2020

  34. [34]

    Algebraic Geom

    Teppei Takamatsu and Shou Yoshikawa, Minimal model program for semi-stable threefolds in mixed characteristic, J. Algebraic Geom. 32 (2023), no. 3, 429--476. 4622257

    work page 2023

  35. [35]

    Eckart Viehweg, Weak positivity and the additivity of the K odaira dimension for certain fibre spaces , Algebraic varieties and analytic varieties ( T okyo, 1981), Adv. Stud. Pure Math., vol. 1, North-Holland, Amsterdam, 1983, pp. 329--353. 715656

    work page 1981