pith. sign in

arxiv: 2211.09109 · v2 · pith:VTRJVLQ4new · submitted 2022-11-16 · 🧮 math.AG · math.CV· math.DG

On the minimal model program for projective varieties with pseudo-effective tangent sheaf

Shin-ichi Matsumura This is my paper

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

classification 🧮 math.AG math.CVmath.DG
keywords minimal model programpseudo-effective tangent sheafklt varietiesFano varietiesQ-abelian varietiesbirational geometrynormal projective varieties
0
0 comments X

The pith

Projective klt varieties with pseudo-effective tangent sheaf decompose into Fano varieties and Q-abelian varieties.

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

The paper first builds a general theory of pseudo-effective sheaves on normal projective varieties. It then applies this theory by running the minimal model program to obtain a structure result for projective klt varieties whose tangent sheaf is pseudo-effective. These varieties break down into a Fano piece and a Q-abelian piece. The result supplies a concrete classification tool that reduces questions about such varieties to questions about the two simpler classes.

Core claim

By developing a theory of pseudo-effective sheaves on normal projective varieties and running the minimal model program, the paper shows that every projective klt variety with pseudo-effective tangent sheaf admits a decomposition into a Fano variety and a Q-abelian variety.

What carries the argument

The minimal model program run on projective klt varieties whose tangent sheaf is pseudo-effective, which produces the decomposition into Fano and Q-abelian factors.

If this is right

  • The Kodaira dimension and other birational invariants of such varieties are controlled by those of the Fano and Q-abelian components.
  • Questions about the geometry of these varieties reduce to the corresponding questions for Fano varieties and Q-abelian varieties.
  • The result gives a new class of varieties on which the minimal model program terminates with a decomposition rather than a minimal model.

Where Pith is reading between the lines

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

  • The same sheaf-theoretic techniques might apply to varieties whose canonical class is merely pseudo-effective rather than the tangent sheaf.
  • Checking the decomposition on explicit examples such as quotients of abelian varieties or toric varieties would provide immediate verification.
  • If the decomposition holds, it could simplify proofs of abundance-type statements for this class of varieties.

Load-bearing premise

The minimal model program, including the existence of flips and minimal models, can be run on projective klt varieties with pseudo-effective tangent sheaf.

What would settle it

A single projective klt variety with pseudo-effective tangent sheaf that admits no decomposition into a Fano variety and a Q-abelian variety would show the claim is false.

read the original abstract

In this paper, we develop a theory of pseudo-effective sheaves on normal projective varieties. As an application, by running the minimal model program, we show that projective klt varieties with pseudo-effective tangent sheaf can be decomposed into Fano varieties and Q-abelian varieties.

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 / 0 minor

Summary. The manuscript develops a theory of pseudo-effective sheaves on normal projective varieties. As an application, by running the minimal model program it shows that projective klt varieties with pseudo-effective tangent sheaf decompose into Fano varieties and Q-abelian varieties.

Significance. If the decomposition holds, the result would give a structure theorem for klt varieties whose tangent sheaf is pseudo-effective, potentially linking positivity of the tangent sheaf to the geometry of Fano and Q-abelian factors. The preliminary theory of pseudo-effective sheaves may have independent value for questions involving positivity and birational geometry.

major comments (2)
  1. [Abstract] Abstract: the central application invokes the full MMP (existence of flips, termination, and minimal models) on projective klt varieties with pseudo-effective tangent sheaf in arbitrary dimension. Standard MMP theorems for klt pairs are known only up to dimension 3 or under extra hypotheses such as abundance; no explicit reduction is supplied showing that the pseudo-effective tangent condition supplies the missing existence or termination statements.
  2. [Introduction / application section] The manuscript develops the theory of pseudo-effective sheaves but does not appear to contain a self-contained argument that this condition implies the MMP can be run without additional assumptions; the application step therefore rests on an unproven extension of known MMP results.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the opportunity to respond to the referee's report. We address the major comments regarding the application of the minimal model program below.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the central application invokes the full MMP (existence of flips, termination, and minimal models) on projective klt varieties with pseudo-effective tangent sheaf in arbitrary dimension. Standard MMP theorems for klt pairs are known only up to dimension 3 or under extra hypotheses such as abundance; no explicit reduction is supplied showing that the pseudo-effective tangent condition supplies the missing existence or termination statements.

    Authors: We thank the referee for this observation. The manuscript's main contribution is the development of the theory of pseudo-effective sheaves on normal projective varieties. The application to the decomposition via the MMP is presented as a consequence assuming the MMP can be run. We acknowledge that no new MMP results are proved, and the pseudo-effective condition is not shown to imply the existence or termination in the manuscript. We will revise the abstract to clarify the scope of the result, noting that it applies in settings where the MMP is known to hold, such as low dimensions. This constitutes a partial revision. revision: partial

  2. Referee: [Introduction / application section] The manuscript develops the theory of pseudo-effective sheaves but does not appear to contain a self-contained argument that this condition implies the MMP can be run without additional assumptions; the application step therefore rests on an unproven extension of known MMP results.

    Authors: We agree that the manuscript does not provide a self-contained argument showing that the pseudo-effective tangent sheaf condition allows running the MMP without additional assumptions. The application relies on the standard MMP framework. In the revision, we will update the introduction and application section to explicitly state the dependence on known MMP results and limit the claim accordingly. The core theory of pseudo-effective sheaves remains unaffected. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation applies external MMP to newly developed sheaf theory

full rationale

The paper first develops a theory of pseudo-effective sheaves on normal projective varieties, then invokes the minimal model program (including flips and minimal models) as an external tool to obtain the stated decomposition for klt varieties. No step equates a derived quantity to its own input by construction, renames a fitted parameter as a prediction, or reduces the central claim to a self-citation chain whose cited result is itself unverified. The MMP is treated as an independent, externally established framework whose applicability under the new pseudo-effective tangent hypothesis is asserted rather than derived from the paper's own definitions. This satisfies the default expectation of non-circularity; the result is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The claim rests on the standard background of the minimal model program for klt varieties and the definition of pseudo-effective sheaves; no free parameters or invented entities are introduced in the abstract.

axioms (1)
  • domain assumption The minimal model program holds for projective klt varieties (existence of flips and minimal models)
    Invoked when the abstract states 'by running the minimal model program'

pith-pipeline@v0.9.0 · 5559 in / 1174 out tokens · 25068 ms · 2026-05-24T11:24:17.750398+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

33 extracted references · 33 canonical work pages

  1. [1]

    Bauer, S.\,J

    T. Bauer, S.\,J. Kov\'acs, A. K\"uronya, E.\,C. Mistretta, T. Szemberg, and S. Urbinati, On positivity and base loci of vector bundles, Eur. J.\ Math.\ 1 (2015), no. 2, 229--249

    work page 2015

  2. [2]

    Birkar, P

    C. Birkar, P. Cascini, C.-D. Hacon, and J. McKernan, Existence of minimal models for varieties of log general type, J. Amer.\ Math.\ Soc.\ 23 (2010), no. 2, 405--468

    work page 2010

  3. [3]

    Boucksom, Divisorial Zariski decompositions on compact complex manifolds, Ann.\ Sci.\ \'Ecole Norm.\ Sup\'er.\ (4) 37 (2004), no

    S. Boucksom, Divisorial Zariski decompositions on compact complex manifolds, Ann.\ Sci.\ \'Ecole Norm.\ Sup\'er.\ (4) 37 (2004), no. 1, 45--76

    work page 2004

  4. [4]

    Campana, J

    F. Campana, J. Cao, and S. Matsumura, Projective klt pairs with nef anti-canonical divisor, Algebr.\ Geom.\ 8 (2021), no. 4, 430--464

    work page 2021

  5. [5]

    Campana and T

    F. Campana and T. Peternell, Projective manifolds whose tangent bundles are numerically effective, Math.\ Ann.\ 289 (1991), no. 1, 169--187

    work page 1991

  6. [6]

    Cao, J.-P

    J. Cao, J.-P. Demailly, and S. Matsumura, A general extension theorem for cohomology classes on non reduced analytic subspaces, Sci.\ China Math.\ 60 (2017), no. 6, 949--962

    work page 2017

  7. [7]

    Cao and A

    J. Cao and A. H\"oring, A decomposition theorem for projective manifolds with nef anticanonical bundle, J. Algebraic Geom.\ 28 (2019), 567--597

    work page 2019

  8. [8]

    Cao and M

    J. Cao and M. P a un, Kodaira dimension of algebraic fiber spaces over abelian varieties, Invent.\ Math.\ 207 (2017), no. 1, 345--387

    work page 2017

  9. [9]

    Demailly, Extension of holomorphic functions defined on non reduced analytic subvarieties, in: The legacy of Bernhard Riemann after one hundred and fifty years

    J.-P. Demailly, Extension of holomorphic functions defined on non reduced analytic subvarieties, in: The legacy of Bernhard Riemann after one hundred and fifty years. Vol. I, pp. 191--222, Adv.\ Lect.\ Math.\ (ALM) vol. 35.1, Int.\ Press, Somerville, MA, 2016

    work page 2016

  10. [10]

    Demailly, T

    J.-P. Demailly, T. Peternell, and M. Schneider, Compact complex manifolds with numerically effective tangent bundles, J. Algebraic Geom., 3, (1994), no. 2, 295--345

    work page 1994

  11. [11]

    L. Ein, R. Lazarsfeld, M. Musta t a , M. Nakamaye, and M. Popa, Asymptotic invariants of base loci, Ann.\ Inst.\ Fourier (Grenoble) 56 (2006), no. 6, 1701--1734

    work page 2006

  12. [12]

    J.\ Math.\ 131 (2009), no

    , Restricted volumes and base loci of linear series, Amer. J.\ Math.\ 131 (2009), no. 3, 607--651

    work page 2009

  13. [13]

    Ejiri, M

    S. Ejiri, M. Iwai, and S. Matsumura, On asymptotic base loci of relative anti-canonical divisors of algebraic fiber spaces, J. Algebraic Geom.\ 32 (2023), no. 3, 477--517

    work page 2023

  14. [14]

    Fujino, and H

    O. Fujino, and H. Sato, Notes on toric varieties from Mori theoretic viewpoint, Tohoku Math.\ J. (2) 55 (2003), no. 4, 551--564

    work page 2003

  15. [15]

    J.\ 52 (2004), no

    , Introduction to the toric Mori theory , Michigan Math. J.\ 52 (2004), no. 3, 649--665

    work page 2004

  16. [16]

    Gachet, Positivity of the cotangent sheaf of singular Calabi-Yau varieties, Math.\ Res.\ Lett.\ 29, no

    C. Gachet, Positivity of the cotangent sheaf of singular Calabi-Yau varieties, Math.\ Res.\ Lett.\ 29, no. 2, 339--372 (2022)

    work page 2022

  17. [17]

    Hacon, M

    C. Hacon, M. Popa, and C. Schnell, Algebraic fiber spaces over abelian varieties: around a recent theorem by Cao and P a un , in: Local and global methods in algebraic geometry, pp. 143--195, Contemp.\ Math., 712, Amer.\ Math.\ Soc., Providence, RI, 2018

    work page 2018

  18. [18]

    H\"oring, J

    A. H\"oring, J. Liu, and F. Shao, Examples of Fano manifolds with non-pseudoeffective tangent bundle, J. Lond.\ Math.\ Soc. (2) 106 (2022), no. 1, 27--59

    work page 2022

  19. [19]

    Hosono, M

    G. Hosono, M. Iwai, and S. Matsumura, On projective manifolds with pseudo-effective tangent bundle, J. Inst.\ Math.\ Jussieu 21 (2022), no. 5, 1801--1830

    work page 2022

  20. [20]

    Kanemitsu and K

    A. Kanemitsu and K. Watanabe, Projective varieties with nef tangent bundle in positive characteristic, Compos.\ Math.\ 159 (2023), no. 9, 1974--1999

    work page 2023

  21. [21]

    Manivel Un th\'eor\`eme de prolongement L^ 2 de sections holomorphes d'un fibr\'e hermitien , Math

    L. Manivel Un th\'eor\`eme de prolongement L^ 2 de sections holomorphes d'un fibr\'e hermitien , Math. Z.\ 212 (1993), no. 1, 107--122

    work page 1993

  22. [22]

    Matsumura, Variation of numerical dimension of singular hermitian line bundles, in: Geometric complex analysis, pp

    S. Matsumura, Variation of numerical dimension of singular hermitian line bundles, in: Geometric complex analysis, pp. 247--255, Springer Proc.\ Math.\ Stat., vol. 246, Springer, Singapore, 2018

    work page 2018

  23. [23]

    Q.\ 16, no

    , On the image of MRC fibrations of projective manifolds with semi-positive holomorphic sectional curvature, Pure Appl.\ Math. Q.\ 16, no. 5 (2020), 1443--1463

    work page 2020

  24. [24]

    J.\ Math.\ 144 (2022), no

    , On projective manifolds with semi-positive holomorphic sectional curvature, Amer. J.\ Math.\ 144 (2022), no. 3, 747--777

    work page 2022

  25. [25]

    Matsumura and J

    S. Matsumura and J. Wang, Structure theorem for projective klt pairs with nef anti-canonical divisor, preprint arXiv:2105.14308v1 (2021)

    work page arXiv 2021

  26. [26]

    Nakayama, Zariski-decomposition and abundance, MSJ Memoirs, vol

    N. Nakayama, Zariski-decomposition and abundance, MSJ Memoirs, vol. 14, Math.\ Soc.\ Japan, Tokyo, 2004

    work page 2004

  27. [27]

    Ohsawa and K

    T. Ohsawa and K. Takegoshi, On the extension of L^ 2 holomorphic functions , Math. Z.\ 195 (1987), no. 2, 197--204

    work page 1987

  28. [28]

    P a un and S

    M. P a un and S. Takayama, Positivity of twisted relative pluricanonical divisors and their direct images, J. Algebraic Geom.\ 27 (2018), no. 2, 211--272

    work page 2018

  29. [29]

    Raufi, Singular Hermitian metrics on holomorphic vector bundles, Ark.\ Mat.\ 53 (2015), no

    H. Raufi, Singular Hermitian metrics on holomorphic vector bundles, Ark.\ Mat.\ 53 (2015), no. 2, 359--382

    work page 2015

  30. [30]

    Wang, On the Iitaka conjecture C_ n,m for K\"ahler fibre spaces , Ann.\ Fac.\ Sci.\ Toulouse Math

    J. Wang, On the Iitaka conjecture C_ n,m for K\"ahler fibre spaces , Ann.\ Fac.\ Sci.\ Toulouse Math. (6) 30 (2021), no. 4, 813--897

    work page 2021

  31. [31]

    1--2, 47--100

    , Structure of projective varieties with nef anticanonical divisor: the case of log terminal singularities, Math.\ Ann.\ 384 (2022), no. 1--2, 47--100

    work page 2022

  32. [32]

    Wu, Strongly pseudo-effective and numerically flat reflexive sheaves, J

    X. Wu, Strongly pseudo-effective and numerically flat reflexive sheaves, J. Geom.\ Anal.\ 32 (2022), no. 4, Paper No. 124

    work page 2022

  33. [33]

    Zhou and L

    X. Zhou and L. Zhu, Optimal L^ 2 extension of sections from subvarieties in weakly pseudoconvex manifolds , Pacific J. Math.\ 309 (2020), no. 2, 475--510

    work page 2020