pith. sign in

arxiv: 2606.31170 · v1 · pith:TFZU3UFGnew · submitted 2026-06-30 · 🧮 math.AG

On the canonical degree of a Gorenstein minimal threefold of general type

Jiabin Du , Yong Hu This is my paper

Pith reviewed 2026-07-01 03:38 UTC · model grok-4.3

classification 🧮 math.AG
keywords Gorenstein threefoldminimal threefoldgeneral typecanonical map degreeAlbanese morphismgeometric genus p_gK^2 invariant
0
0 comments X

The pith

Gorenstein minimal threefolds of general type with p_g exceeding 243 have canonical map degree at most 72.

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

The paper proves a bound on the degree of the canonical map for certain three-dimensional varieties. Specifically, when the geometric genus p_g is greater than 243, the degree cannot exceed 72. Equality is possible only when the Albanese fibres satisfy particular conditions on their own invariants and canonical degree. This strengthens an earlier result that required a larger lower bound on p_g. A further consequence is that high canonical degrees force the Albanese fibres to have zero irregularity.

Core claim

Let X be a Gorenstein minimal 3-fold of general type whose canonical map is generically finite. If p_g(X) > 243, then the degree of the canonical map is at most 72. Moreover, equality holds only if the general fibre F of the Albanese morphism of X is a smooth minimal surface of general type satisfying p_g(F)=3, q(F)=0 and K_F²=36, and the canonical map of F has degree 36.

What carries the argument

The degree of the canonical map of X, controlled through the Albanese morphism and the numerical invariants of its general fibre surface.

If this is right

  • If the canonical degree exceeds 64 then the general Albanese fibre has irregularity zero.
  • The stated bound on p_g improves the earlier threshold obtained by Cai.
  • Equality cases are restricted to Albanese fibres that are specific minimal surfaces of general type with K_F² equal to 36 and canonical degree 36.

Where Pith is reading between the lines

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

  • The bound applies only under the generically finite canonical map hypothesis and may not extend immediately to cases where the map contracts curves.
  • The reduction to surface geometry via Albanese fibres suggests that further classification of the equality-case surfaces could tighten the threefold bound.
  • Similar degree-control arguments might be tested on threefolds that are not Gorenstein.

Load-bearing premise

That the threefold X is Gorenstein, minimal, of general type, and has a generically finite canonical map.

What would settle it

A counterexample would be any Gorenstein minimal threefold of general type with generically finite canonical map, p_g(X) greater than 243, and canonical degree strictly larger than 72.

read the original abstract

Let $X$ be a Gorenstein minimal $3$-fold of general type whose canonical map is generically finite. We prove that if $p_g(X)> 243$, then the degree of the canonical map is at most $72$. Moreover, equality holds only if the general fibre $F$ of the Albanese morphism of $X$ is a smooth minimal surface of general type satisfying $p_g(F)=3,q(F)=0$ and $K_F^2=36$, and the canonical map of $F$ has degree $36$. This result improves the lower bound on $p_g(X)$ previously obtained by Jin-Xing Cai~\cite{Cai08}. As a consequence, we show that if the canonical degree is bigger than $64$, then the general fibre of the Albanese morphism of $X$ is a surface with irregularity zero.

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

0 major / 3 minor

Summary. The manuscript proves that if X is a Gorenstein minimal threefold of general type whose canonical map is generically finite and if p_g(X) > 243, then the degree of the canonical map is at most 72. Equality holds only when the general fiber F of the Albanese morphism is a smooth minimal surface of general type with p_g(F)=3, q(F)=0, K_F²=36 and canonical degree 36. As a corollary, if the canonical degree exceeds 64 then the Albanese fiber has irregularity zero. The result improves the threshold obtained by Cai (2008).

Significance. The theorem supplies a concrete numerical improvement on the canonical degree for threefolds of general type under an explicit hypothesis, together with a precise equality-case characterization that reduces to known surface invariants. The corollary on irregularity zero is a direct and useful consequence. These statements are grounded in the combination of surface classification results with threefold inequalities and therefore constitute a modest but concrete advance in the study of canonical maps on varieties of general type.

minor comments (3)
  1. [Abstract] Abstract, first sentence: the hypothesis that the canonical map is generically finite is stated explicitly, but the introduction should clarify whether this hypothesis is known to hold for all Gorenstein minimal threefolds of general type or whether it excludes a nonempty class of examples.
  2. [Introduction] The equality-case characterization invokes surface invariants (p_g(F)=3, q(F)=0, K_F²=36, degree 36) that presumably arise from combining known surface bounds with the threefold setting; a brief pointer to the relevant surface classification theorem would help the reader trace the numerical threshold 243.
  3. [Introduction] The citation to Cai08 is used to claim an improvement on the lower bound for p_g(X), but the manuscript does not restate the numerical value obtained in that reference; adding the previous threshold would make the improvement quantitative.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states a conditional theorem improving an external citation (Cai08) under the explicit hypothesis that the canonical map is generically finite. No equations, fitted parameters, self-definitions, or load-bearing self-citations appear in the abstract or stated claims; the numerical bound and equality case are derived from combining known surface bounds with threefold inequalities, with no reduction of the result to its own inputs by construction. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields no visible free parameters or invented entities; the argument rests on standard background results in birational geometry of threefolds.

axioms (1)
  • standard math Standard properties of Gorenstein minimal models and the Albanese morphism for varieties of general type
    Invoked implicitly to set up the statement about the canonical map and the Albanese fiber.

pith-pipeline@v0.9.1-grok · 5676 in / 1261 out tokens · 48300 ms · 2026-07-01T03:38:39.667525+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

21 extracted references · 19 canonical work pages

  1. [1]

    Greb, Daniel and Kebekus, Stefan and Peternell, Thomas and Taji, Behrouz , TITLE =. Ann. Sci. \'Ec. Norm. Sup\'er. (4) , FJOURNAL =. 2019 , NUMBER =. doi:10.24033/asens.2414 , URL =

    work page doi:10.24033/asens.2414 2019

  2. [2]

    Beauville, Arnaud , TITLE =. Invent. Math. , FJOURNAL =. 1979 , NUMBER =. doi:10.1007/BF01390086 , URL =

    work page doi:10.1007/bf01390086 1979

  3. [3]

    Cai, Jin-Xing , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2008 , NUMBER =. doi:10.1090/S0002-9939-07-09254-4 , URL =

    work page doi:10.1090/s0002-9939-07-09254-4 2008

  4. [4]

    , TITLE =

    Chen, Meng and Hacon, Christopher D. , TITLE =. Asian J. Math. , FJOURNAL =. 2006 , NUMBER =. doi:10.4310/AJM.2006.v10.n4.a8 , URL =

    work page doi:10.4310/ajm.2006.v10.n4.a8 2006

  5. [5]

    Du, Rong , TITLE =. Asian J. Math. , FJOURNAL =. 2018 , NUMBER =. doi:10.4310/ajm.2018.v22.n2.a7 , URL =

    work page doi:10.4310/ajm.2018.v22.n2.a7 2018

  6. [6]

    Hacon, Christopher Derek , TITLE =. Proc. Japan Acad. Ser. A Math. Sci. , FJOURNAL =. 2004 , NUMBER =

    2004

  7. [7]

    Algebraic geometry,

    Miyaoka, Yoichi , TITLE =. Algebraic geometry,. 1987 , ISBN =. doi:10.2969/aspm/01010449 , URL =

    work page doi:10.2969/aspm/01010449 1987

  8. [8]

    Rito, Carlos , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2022 , NUMBER =

    2022

  9. [9]

    Taiwanese J

    Lai, Ching-Jui and Yeung, Sai-Kee , TITLE =. Taiwanese J. Math. , FJOURNAL =. 2021 , NUMBER =. doi:10.11650/tjm/210105 , URL =

    work page doi:10.11650/tjm/210105 2021

  10. [10]

    Kodai Math

    Supino, Paola , TITLE =. Kodai Math. J. , FJOURNAL =. 2004 , NUMBER =. doi:10.2996/kmj/1085143786 , URL =

    work page doi:10.2996/kmj/1085143786 2004

  11. [11]

    Xiao, Gang , TITLE =. Math. Ann. , FJOURNAL =. 1986 , NUMBER =. doi:10.1007/BF01457229 , URL =

    work page doi:10.1007/bf01457229 1986

  12. [12]

    The art of doing algebraic geometry , SERIES =

    Mendes Lopes, Margarida and Pardini, Rita , TITLE =. The art of doing algebraic geometry , SERIES =. [2023] 2023 , ISBN =. doi:10.1007/978-3-031-11938-5\_13 , URL =

    work page doi:10.1007/978-3-031-11938-5 2023

  13. [13]

    Hu, Yong and Zhang, Tong , TITLE =. J. Algebraic Geom. , FJOURNAL =. 2021 , NUMBER =. doi:10.1090/jag/739 , URL =

    work page doi:10.1090/jag/739 2021

  14. [14]

    Ohno, Koji , TITLE =. J. Math. Soc. Japan , FJOURNAL =. 1992 , NUMBER =. doi:10.2969/jmsj/04440643 , URL =

    work page doi:10.2969/jmsj/04440643 1992

  15. [15]

    Xiao, Gang , TITLE =. Math. Ann. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF01450841 , URL =

    work page doi:10.1007/bf01450841 1987

  16. [16]

    Du, Rong and Gao, Yun , TITLE =. Geom. Dedicata , FJOURNAL =. 2016 , PAGES =. doi:10.1007/s10711-016-0171-3 , URL =

    work page doi:10.1007/s10711-016-0171-3 2016

  17. [17]

    Chen, Meng , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2005 , NUMBER =. doi:10.1090/S0002-9939-04-07680-4 , URL =

    work page doi:10.1090/s0002-9939-04-07680-4 2005

  18. [18]

    Taiwanese J

    Frapporti, Davide and Gleissner, Christian , TITLE =. Taiwanese J. Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.11650/tjm/191104 , URL =

    work page doi:10.11650/tjm/191104 2020

  19. [19]

    1998 , PAGES =

    Koll\'ar, J\'anos and Mori, Shigefumi , TITLE =. 1998 , PAGES =. doi:10.1017/CBO9780511662560 , URL =

    work page doi:10.1017/cbo9780511662560 1998

  20. [20]

    Algebraic geometry,

    Reid, Miles , TITLE =. Algebraic geometry,. 1987 , ISBN =. doi:10.1090/pspum/046.1/927963 , URL =

    work page doi:10.1090/pspum/046.1/927963 1987

  21. [21]

    Kawamata, Yujiro , TITLE =. Invent. Math. , FJOURNAL =. 1982 , NUMBER =. doi:10.1007/BF01404756 , URL =

    work page doi:10.1007/bf01404756 1982