Pith. sign in

REVIEW 1 major objections 32 references

Arakelov inequality for families of pairs

T0 review · 1 major / 0 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read An Arakelov-type inequality holds for morphisms from simple normal crossing semi-log canonical pairs to smooth projective varieties.

desk verdict The abstract states an Arakelov inequality for snc slc pairs over smooth projective bases with a volume consequence, but the proof is not visible so the claim stays unverified. read the letter →

arxiv 2605.24323 v1 pith:P272XMH4 submitted 2026-05-23 math.AG

Junchao Shentu This is my paper · ORCID
classification math.AG
keywords Arakelovinequalitysemi-logcanonicalpairssimplenormalcrossingIitakavolumealgebraicfiberspacesgoodminimalmodel
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 sets out to prove an Arakelov-type inequality that applies to a morphism from a simple normal crossing semi-log canonical pair to a smooth projective variety. If this inequality holds, it implies a bound on the Iitaka volumes of algebraic fiber spaces when the geometric generic fiber has a good minimal model. Readers would care because such inequalities typically control positivity and degrees in families of varieties, which can limit possible invariants in birational geometry.

What carries the argument

The Arakelov-type inequality for the morphism f from the pair (X,Δ) to the base S, which supplies the stated bound under the given hypotheses on the pair and base.

What would settle it

A concrete morphism f from a simple normal crossing semi-log canonical pair to a smooth projective variety for which the asserted Arakelov-type inequality fails to hold.

Watch

Extended reading notes

Core claim

We establish an Arakelov-type inequality for a morphism f : (X,Δ) → S, where (X,Δ) is a simple normal crossing semi-log canonical pair and S is a smooth projective variety. As a consequence, we derive a bound on the Iitaka volumes of algebraic fiber spaces whose geometric generic fiber admits a good minimal model.

Load-bearing premise

The pair must be simple normal crossing and semi-log canonical while the base is smooth and projective.

Editorial extensions

If this is right

  • The Iitaka volumes of algebraic fiber spaces are bounded when the geometric generic fiber admits a good minimal model.
  • The inequality applies precisely when the pair is simple normal crossing and semi-log canonical.
  • The result supplies volume control for families satisfying the semi-log canonical condition.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The bound may restrict the possible Iitaka dimensions or volumes in related classification problems for pairs.
  • Similar inequalities could be tested in low-dimensional cases to check consistency with known volume formulas.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

1 major / 0 minor

Summary. The paper establishes an Arakelov-type inequality for a morphism f: (X, Δ) → S, where (X, Δ) is a simple normal crossing semi-log canonical pair and S is a smooth projective variety. As a consequence, it derives a bound on the Iitaka volumes of algebraic fiber spaces whose geometric generic fiber admits a good minimal model.

Significance. If the inequality holds under the stated hypotheses, the result would extend classical Arakelov inequalities from smooth or klt settings to snc slc pairs, providing a new positivity tool with direct applications to volume bounds in the minimal model program. The consequence for Iitaka volumes is a concrete, falsifiable prediction that could be tested in low-dimensional cases.

major comments (1)
  1. The abstract states the inequality but provides no indication of the proof strategy or key estimates; without access to the derivation (e.g., any analogue of the curvature or height computations that typically appear in §§3–5 of similar papers), the central claim cannot be verified for internal consistency or load-bearing steps.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their report and positive assessment of the significance of extending Arakelov inequalities to snc slc pairs, along with the application to Iitaka volume bounds. We address the single major comment below.

read point-by-point responses

  1. Referee: The abstract states the inequality but provides no indication of the proof strategy or key estimates; without access to the derivation (e.g., any analogue of the curvature or height computations that typically appear in §§3–5 of similar papers), the central claim cannot be verified for internal consistency or load-bearing steps.

    Authors: We agree that the abstract is brief and does not outline the proof strategy. The full manuscript contains the complete argument, with the key estimates (including analogues of curvature and height computations via the Hodge metric on the base and positivity of direct images) developed in Sections 3–5. To address the concern, we will revise the abstract to include a short indication of the main steps: reduction to the case where the generic fiber admits a good minimal model, followed by an application of the positivity theorem for the direct image of the relative canonical sheaf twisted by the boundary. This revision will make the load-bearing ideas visible at the abstract level while preserving conciseness. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; derivation self-contained from stated hypotheses

full rationale

The available text (abstract and context) presents the central claim as establishing an Arakelov-type inequality for morphisms from snc slc pairs over smooth projective bases, with a formal consequence for Iitaka volume bounds. No equations, self-citations, fitted parameters, or ansatzes are exhibited that reduce the inequality to its inputs by construction. The hypotheses are listed explicitly and the result is asserted to follow from them without visible self-referential steps. Per the guidelines, this is scored 0 as a self-contained derivation against external benchmarks, with no load-bearing reduction to self-definition or prior author work.

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

Abstract-only; no explicit free parameters, axioms, or invented entities can be extracted.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Arakelov inequality for families of pairs." pith.science (2026). https://pith.science/paper/P272XMH4

@misc{pith2026260524323,
  author       = {Pith},
  title        = {Pith review of: Arakelov inequality for families of pairs},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/P272XMH4}},
  note         = {Machine review of arXiv:2605.24323}
}
abstract

We establish an Arakelov-type inequality for a morphism $f \colon (X,\Delta) \to S$, where $(X,\Delta)$ is a simple normal crossing semi-log canonical pair and $S$ is a smooth projective variety. As a consequence, we derive a bound on the Iitaka volumes of algebraic fiber spaces whose geometric generic fiber admits a good minimal model.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    S. Ju. Arakelov,Families of algebraic curves with fixed degeneracies, Izv. Akad. Nauk SSSR Ser. Mat.35 (1971), 1269–1293. MR0321933

    work page 1971

  2. [2]

    Bedulev and E

    E. Bedulev and E. Viehweg,On the Shafarevich conjecture for surfaces of general type over function fields, Invent. Math.139(2000), no. 3, 603–615. MR1738062

    work page 2000

  3. [3]

    Bierstone and F

    E. Bierstone and F. Vera Pacheco,Resolution of singularities of pairs preserving semi-simple normal crossings, Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat. RACSAM107(2013), no. 1, 159–188. MR3031268

    work page 2013

  4. [4]

    Birkar,Moduli of algebraic varieties, arXiv:2211.11237

    C. Birkar,Moduli of algebraic varieties, arXiv:2211.11237

    work page arXiv

  5. [5]

    Campana and M

    F. Campana and M. P˘ aun,Foliations with positive slopes and birational stability of orbifold cotangent bundles, Publ. Math. Inst. Hautes ´Etudes Sci.129(2019), 1–49. MR3949026

    work page 2019

  6. [6]

    Deligne,Un th´ eor` eme de finitude pour la monodromie, Discrete groups in geometry and analysis (New Haven, Conn., 1984), 1987, pp

    P. Deligne,Un th´ eor` eme de finitude pour la monodromie, Discrete groups in geometry and analysis (New Haven, Conn., 1984), 1987, pp. 1–19. MR900821

    work page 1984

  7. [7]

    Fujino,Iitaka conjecture—an introduction, SpringerBriefs in Mathematics, Springer, Singapore, [2020] ©2020

    O. Fujino,Iitaka conjecture—an introduction, SpringerBriefs in Mathematics, Springer, Singapore, [2020] ©2020. MR4177797

    work page 2020

  8. [8]

    C. D. Hacon and J. McKernan,Existence of minimal models for varieties of log general type. II, J. Amer. Math. Soc.23(2010), no. 2, 469–490. MR2601040

    work page 2010

Show all 32 references
  1. [9]

    Kawamata,Characterization of abelian varieties, Compositio Math.43(1981), no

    Y. Kawamata,Characterization of abelian varieties, Compositio Math.43(1981), no. 2, 253–276. MR622451

    1981

  2. [10]

    Reine Angew

    ,Minimal models and the Kodaira dimension of algebraic fiber spaces, J. Reine Angew. Math.363 (1985), 1–46. MR814013

    1985

  3. [11]

    Koll´ ar and N

    J. Koll´ ar and N. I. Shepherd-Barron,Threefolds and deformations of surface singularities, Invent. Math.91 (1988), no. 2, 299–338. MR922803

    1988

  4. [12]

    Koll´ ar,Moduli of varieties of general type, arXiv:1008.0621

    J. Koll´ ar,Moduli of varieties of general type, arXiv:1008.0621

    arXiv

  5. [13]

    Koll´ ar,Singularities of the minimal model program, Cambridge Tracts in Mathematics, vol

    J. Koll´ ar,Singularities of the minimal model program, Cambridge Tracts in Mathematics, vol. 200, Cambridge University Press, Cambridge, 2013. With a collaboration of S´ andor Kov´ acs. MR3057950

    2013

  6. [14]

    231, Cambridge Univer- sity Press, Cambridge, 2023

    ,Families of varieties of general type, Cambridge Tracts in Mathematics, vol. 231, Cambridge Univer- sity Press, Cambridge, 2023. With the collaboration of Klaus Altmann and S´ andor J. Kov´ acs. MR4566297

    2023

  7. [15]

    S. J. Kov´ acs,Smooth families over rational and elliptic curves, J. Algebraic Geom.5(1996), no. 2, 369–385. MR1374712

    1996

  8. [16]

    Reine Angew

    ,On the minimal number of singular fibres in a family of surfaces of general type, J. Reine Angew. Math.487(1997), 171–177. MR1454264

    1997

  9. [17]

    Algebraic Geom.9(2000), no

    ,Algebraic hyperbolicity of fine moduli spaces, J. Algebraic Geom.9(2000), no. 1, 165–174. MR1713524

    2000

  10. [18]

    S. J. Kov´ acs and B. Taji,Arakelov inequalities in higher dimensions, J. Reine Angew. Math.806(2024), 115–145. MR4685085

    2024

  11. [19]

    Lu, S.-L

    J. Lu, S.-L. Tan, and K. Zuo,Canonical class inequality for fibred spaces, Math. Ann.368(2017), no. 3-4, 1311–1332. MR3673655

    2017

  12. [20]

    Ann.368(2017), no

    ,Canonical class inequality for fibred spaces, Math. Ann.368(2017), no. 3-4, 1311–1332. MR3673655

    2017

  13. [21]

    X. Lu, J. Yang, and K. Zuo,Strict Arakelov inequality for a family of varieties of general type, Electron. Res. Arch.30(2022), no. 7, 2643–2662. MR4431995 ARAKELOV INEQUALITY FOR F AMILIES OF PAIRS. 13

    2022

  14. [22]

    M¨ oller, E

    M. M¨ oller, E. Viehweg, and K. Zuo,Special families of curves, of abelian varieties, and of certain minimal manifolds over curves, Global aspects of complex geometry, 2006, pp. 417–450. MR2264111

    2006

  15. [23]

    C Peters,Arakelov-type inequalities for hodge bundles (2000), arXiv:math

    2000

  16. [24]

    Shentu,Geometric shafarevich boundedness conjecture for families of polarized varieties, arXiv:2605.09847

    J. Shentu,Geometric shafarevich boundedness conjecture for families of polarized varieties, arXiv:2605.09847

    arXiv

  17. [25]

    ,Stratified hyperbolicity of the moduli stack of stable minimal models, i, arXiv:2506.17537

  18. [26]

    C. T. Simpson,Harmonic bundles on noncompact curves, J. Amer. Math. Soc.3(1990), no. 3, 713–770. MR1040197

    1990

  19. [27]

    Viehweg,Weak positivity and the additivity of the Kodaira dimension for certain fibre spaces, Algebraic varieties and analytic varieties (Tokyo, 1981), 1983, pp

    E. Viehweg,Weak positivity and the additivity of the Kodaira dimension for certain fibre spaces, Algebraic varieties and analytic varieties (Tokyo, 1981), 1983, pp. 329–353. MR715656

    1981

  20. [28]

    ,Arakelov inequalities, Surveys in differential geometry. Vol. XIII. Geometry, analysis, and algebraic geometry: forty years of the Journal of Differential Geometry, 2009, pp. 245–275. MR2537088

    2009

  21. [29]

    Viehweg and K

    E. Viehweg and K. Zuo,On the isotriviality of families of projective manifolds over curves, J. Algebraic Geom.10(2001), no. 4, 781–799. MR1838979

    2001

  22. [30]

    Differential Geom.66(2004), no

    ,A characterization of certain Shimura curves in the moduli stack of abelian varieties, J. Differential Geom.66(2004), no. 2, 233–287. MR2106125

    2004

  23. [31]

    Algebraic Geom.15(2006), no

    ,Numerical bounds for semi-stable families of curves or of certain higher-dimensional manifolds, J. Algebraic Geom.15(2006), no. 4, 771–791. MR2237270

    2006

  24. [32]

    Wei and L

    C. Wei and L. Wu,Hyperbolicity for Log Smooth Families with Maximal Variation, Int. Math. Res. Not. IMRN1(2023), 708–743. MR4530119 Email address:stjc@ustc.edu.cn School of Mathematical Sciences, University of Science and Technology of China, Hefei, 230026, China

    2023

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.