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

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)&gt; 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<sup>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.

• The paper establishes that for p_g(X) > 243, the canonical degree d ≤ 72, with equality only when the Albanese fibre is a maximal canonical degree surface.
• It leverages the Miyaoka-Yau inequality and minimal model theory to derive sharp numerical constraints linking d, p_g(X), and invariants of surface fibres.
• The work bridges threefold and surface geometry by characterizing structural cases where irregular Albanese fibres are excluded for d > 64.

Canonical Degree Bounds for Gorenstein Minimal Threefolds of General Type

Introduction

The canonical map for a minimal projective variety of general type encodes fundamental birational information and is a central object in the classification theory of algebraic varieties. While the boundedness of the canonical degree is well understood for surfaces, threefolds pose additional complexity due to higher-dimensional geometry and the richer structure of their Albanese fibrations and canonical images. The paper "On the canonical degree of a Gorenstein minimal threefold of general type" (2606.31170) sharpens our quantitative understanding of these maps for Gorenstein minimal threefolds with generically finite canonical maps, establishing improved upper bounds on their canonical degrees as a function of the geometric genus $p_g(X)$.

Main Results

The paper proves that if $X$ is a Gorenstein minimal threefold of general type whose canonical map $\phi_X$ is generically finite, and if $p_g(X) > 243$, then the canonical degree $d$ of $\phi_X$ satisfies $d \leq 72$. Furthermore, the case of equality is characterized: $d = 72$ can only occur when the general Albanese fibre $F$ is a smooth minimal surface of general type with invariants $p_g(F)=3$, $X$0, $X$1, and the canonical map of $X$2 has degree $X$3. These results improve the earlier lower bound on $X$4 for this degree cutoff, which was previously $X$5 [Cai08], reflecting significant technical progress.

Additionally, the authors show that if $X$6, then the general Albanese fibre $X$7 of $X$8 must be a regular surface, that is, has irregularity $X$9.

Technical Methods

The argument fundamentally relies on the minimal model theory for threefolds, detailed analysis of Albanese fibrations, and utilization of the $\phi_X$0-Miyaoka-Yau inequality. The Miyaoka-Yau inequality yields the important numerical constraint $\phi_X$1 for Gorenstein minimal threefolds of general type. Since the canonical map $\phi_X$2 is generically finite, one obtains $\phi_X$3. The estimate $\phi_X$4 translates into the key upper bound

$\phi_X$5

when $\phi_X$6 is sufficiently large.

The proof is stratified by the structure of the Albanese fibration. When the general fibre is irregular, careful use of results on the geography of threefolds ensures even sharper bounds. In the case where the fibre is regular, the analysis builds on ideas from the canonical maps of surfaces and includes casework based on the invariants of the fibre, ultimately reducing the maximum possible canonical degree to $\phi_X$7 for large $\phi_X$8. The explicit identification of $\phi_X$9 as being linked to fibres mimicking known maximal degree canonical maps of surfaces (degree $p_g(X) > 243$0) is achieved by a refined argument combining base change analysis with properties of canonical images.

Numerical and Structural Significance

The result $p_g(X) > 243$1 for $p_g(X) > 243$2 is strong: it demonstrates a strict upper bound on canonical degree for large genus, and the critical threshold for possible maximal degree is reduced by many orders of magnitude compared to previous literature. The authors confirm that $p_g(X) > 243$3 is only attainable in highly structured cases tied to the surface theory, specifically those where the canonical map of the general fibre is itself of maximal degree (classified by [LY21], [Rit22]). The analysis thus situates threefold canonical maps in the context of surface geometry, connecting their behavior to the known extremal surface examples.

Moreover, the sharp cutoff on $p_g(X) > 243$4 enforcing regularity of the Albanese fibre demonstrates that high canonical degree imposes rigid structural constraints on the threefold: irregular general fibres (i.e., fibres with $p_g(X) > 243$5) cannot arise in the high-degree regime.

Implications and Future Directions

From a theoretical perspective, these results considerably tighten the canonical geography of Gorenstein minimal threefolds, notably in the high genus domain, and invite analogous investigations for higher dimensions or for variants of the minimal model program relaxing the Gorenstein or minimality conditions. The close connection established between threefolds and their surface Albanese fibres in the extremal degree case may facilitate a systematic classification of threefolds with maximal canonical degree, exploiting the rich landscape of surface theory.

Further directions may involve pushing the $p_g(X) > 243$6 threshold lower through refined inequalities, generalizing to non-Gorenstein settings, or extending the analysis to explicit moduli-theoretic or automorphism group consequences for high-degree canonical maps. The constraints posed by the Miyaoka-Yau inequality and its refinements will remain central to this endeavor, especially in light of recent advances in the minimal model program for varieties with mild singularities.

Conclusion

The paper establishes sharp bounds for the canonical degree of Gorenstein minimal threefolds of general type with generically finite canonical map: $p_g(X) > 243$7 for $p_g(X) > 243$8, with equality characterizing threefolds whose Albanese fibre is a maximal canonical degree surface. These results refine previous bounds and reveal intrinsic structural features imposed by high canonical degree, strengthening the bridge between threefold and surface geometry within the birational classification of varieties.