Pith. sign in

REVIEW 2 major objections 2 minor 35 references

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

T0 review · 2 major / 2 minor · reviewed 2026-05-24 · grok-4.3

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Direct images of pluricanonical bundles are effectively globally generated in mixed characteristic.

desk verdict The paper gives a mixed-char analog of the Ejiri and Popa-Schnell generation theorems for direct images of pluricanonical bundles, with the mixed-char positivity step as the part that needs the closest look. read the letter →

arxiv 2403.16259 v3 pith:UZHWQEVD submitted 2024-03-24 math.AG

Hirotaka Onuki This is my paper · ORCID
classification math.AG
keywords mixedcharacteristicpluricanonicalbundlesglobalgenerationdirectimagesweakpositivityFujita-typeconjecturealgebraicgeometry
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

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.

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.

Watch

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

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

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the effective generation of direct images of pluricanonical bundles in mixed characteristic." pith.science (2026). https://pith.science/paper/UZHWQEVD

@misc{pith2026240316259,
  author       = {Pith},
  title        = {Pith review of: On the effective generation of direct images of pluricanonical bundles in mixed characteristic},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UZHWQEVD}},
  note         = {Machine review of arXiv:2403.16259}
}
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.

Discussion (0). Continue with ORCID to comment.

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

Show all 35 references
  1. [9]

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

    2023

  2. [10]

    Algebra 633 (2023), 464--473

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

    2023

  3. [11]

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

    2024

  4. [12]

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

    2012

  5. [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

    2014

  6. [14]

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

    1908

  7. [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

    1961

  8. [16]

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

    2003

  9. [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

    2022

  10. [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

    2015

  11. [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

    2003

  12. [20]

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

    2008

  13. [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

    1992

  14. [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

    1986

  15. [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

    2017

  16. [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-V...

    2004

  17. [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, 2...

    2004

  18. [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 Ge...

    1981

  19. [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

    2021

  20. [28]

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

    2014

  21. [29]

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

    2004

  22. [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

    2014

  23. [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

    1997

  24. [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

    2014

  25. [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

    2020

  26. [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

    2023

  27. [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

    1981

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.