pith. sign in

arxiv: 2512.18638 · v2 · pith:YNXIHRBNnew · submitted 2025-12-21 · 🧮 math.AG

On bicanonical maps of threefolds of general type with large volumes

Chen Jiang , Ziqi Liu This is my paper

Pith reviewed 2026-05-21 15:56 UTC · model grok-4.3

classification 🧮 math.AG
keywords threefolds of general typebicanonical mapscanonical volumepluricanonical mapsalgebraic geometrybirational mapsfibered varieties
0
0 comments X

The pith

Smooth projective threefolds of general type with canonical volume greater than 12^6 have bicanonical images of dimension at least two.

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

The paper establishes a volume threshold beyond which the bicanonical map of a threefold of general type cannot collapse to a curve or a point. This matters because it constrains how these varieties can be mapped using their canonical divisors and helps classify their possible geometries when the volume is large. The authors also examine pluricanonical maps in cases where the threefold is fibered over a base by surfaces of specific types. If this holds, it suggests that large-volume examples behave more like higher-dimensional varieties in their mapping properties rather than having degenerate maps.

Core claim

For any smooth projective threefold X of general type with vol(K_X) > 12^6, the bicanonical map phi_{|2K_X|} : X -> P^N has image of dimension at least 2. The paper further analyzes pluricanonical maps phi_{|mK_X|} for m >=2 when X is fibered by (1,2)-surfaces or (2,3)-surfaces with large volume.

What carries the argument

the bicanonical linear system |2K_X| whose image dimension is controlled by the canonical volume threshold of 12^6

If this is right

  • Such threefolds admit a bicanonical map onto a surface or a threefold, rather than onto a curve.
  • Pluricanonical maps for fibered threefolds with large volume can be studied by reducing to the base or the fiber geometry.
  • The result provides a uniform way to handle mapping properties for threefolds exceeding this volume bound.
  • Large volume prevents the bicanonical map from being too contracted.

Where Pith is reading between the lines

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

  • This threshold might allow for explicit constructions or bounds on the minimal volume for which the result holds.
  • Similar volume conditions could apply to higher pluricanonical maps or to singular threefolds.
  • Connections to the minimal model program might be strengthened by this dimension control on the map.
  • Testing the bound computationally for known examples of threefolds could verify the sharpness.

Load-bearing premise

The assumption that the threefold is smooth and projective, combined with the specific volume number 12^6 being the cutoff that forces the image dimension to be at least two.

What would settle it

A counterexample would be a smooth projective threefold of general type with canonical volume strictly larger than 12^6 but whose bicanonical map has one-dimensional image.

read the original abstract

We prove that for any smooth projective $3$-fold of general type with canonical volume greater than $12^6$, the image of its bicanonical map has dimension at least $2$. We also study pluricanonical maps of $3$-folds of general type with large canonical volume and fibered by $(1,2)$-surfaces or $(2,3)$-surfaces.

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

1 major / 2 minor

Summary. The paper proves that for any smooth projective 3-fold of general type with canonical volume greater than 12^6, the image of its bicanonical map has dimension at least 2. It also studies pluricanonical maps of 3-folds of general type with large canonical volume and fibered by (1,2)-surfaces or (2,3)-surfaces.

Significance. If the result holds, it advances the knowledge on the geometry of bicanonical maps for threefolds of general type with large volumes, providing a threshold beyond which the map cannot be of low dimension. The reduction to fibration cases combined with explicit volume bounds on the fibers is a standard and effective approach in birational geometry of threefolds; the manuscript appears to leverage prior results on surface volumes without introducing new ad-hoc constants.

major comments (1)
  1. §3 (proof of main theorem): the reduction to the case of a fibration onto a curve or surface with general fiber a (1,2)- or (2,3)-surface is central; it is not immediately clear from the case division how the global hypothesis vol(K_X) > 12^6 forces the base and fiber volumes to exclude images of dimension 0 or 1, particularly when the fibration is not necessarily the canonical model.
minor comments (2)
  1. Introduction: the specific choice of the numerical threshold 12^6 is stated without a short heuristic derivation from the surface volume minima; adding one sentence linking it to the known lower bounds for (1,2)- and (2,3)-surfaces would improve accessibility.
  2. Notation section: vol(K_X) and K_X^3 are used interchangeably in some places; a uniform convention would prevent minor confusion for readers.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript, the positive assessment of its significance, and the recommendation for minor revision. We address the single major comment below and will incorporate the suggested clarification.

read point-by-point responses

  1. Referee: §3 (proof of main theorem): the reduction to the case of a fibration onto a curve or surface with general fiber a (1,2)- or (2,3)-surface is central; it is not immediately clear from the case division how the global hypothesis vol(K_X) > 12^6 forces the base and fiber volumes to exclude images of dimension 0 or 1, particularly when the fibration is not necessarily the canonical model.

    Authors: We thank the referee for highlighting this point of clarity. The proof of the main theorem proceeds by contradiction: assume that the image of the bicanonical map has dimension at most 1. After a standard reduction to a minimal model (which preserves the volume and the bicanonical map up to birational equivalence), we divide into cases according to the possible fibrations that the bicanonical map factors through. In the central cases, this yields a fibration f: X → B whose general fiber F is a (1,2)- or (2,3)-surface. For these surfaces the canonical volumes are bounded above by explicit constants already available in the literature (vol(K_F) ≤ 1 for (1,2)-surfaces and vol(K_F) ≤ 2 for (2,3)-surfaces). The global volume hypothesis then implies, via the standard volume inequality for fibrations vol(K_X) ≥ vol(K_F) · vol(K_B) (with a controlled error term when the fibration is not the canonical model, obtained by comparing the relative canonical divisor on the minimal model), that vol(K_B) must exceed a positive lower bound depending on 12^6. This forces the bicanonical map on B to have image of dimension at least 2, contradicting the assumption that the image on X has dimension ≤ 1. We will add a short explanatory paragraph immediately after the case division in §3 that spells out these volume comparisons explicitly, including the adjustment for non-canonical models via the fact that volumes are invariant under birational morphisms and that the bicanonical map on X dominates the corresponding map on B. revision: yes

Circularity Check

0 steps flagged

No significant circularity; proof reduces to external volume bounds on surfaces

full rationale

The derivation proceeds by case division on the possible images of the bicanonical map, reducing to fibrations whose general fibers are (1,2)- or (2,3)-surfaces and invoking explicit volume inequalities for those surfaces together with the global hypothesis vol(K_X) > 12^6. No equation equates a fitted parameter to a renamed prediction, no self-citation supplies a uniqueness theorem that forces the result, and the central statement is not obtained by re-labeling a known empirical pattern. The argument therefore remains independent of the target claim itself.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The proof is expected to rest on standard results from the minimal model program and properties of canonical divisors on threefolds; no new free parameters or invented entities are indicated in the abstract.

axioms (1)
  • standard math Standard properties of the canonical divisor and volume on smooth projective threefolds of general type hold.
    Invoked implicitly in the statement that the threefold is of general type with positive canonical volume.

pith-pipeline@v0.9.0 · 5580 in / 1221 out tokens · 60112 ms · 2026-05-21T15:56:01.345278+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

31 extracted references · 31 canonical work pages

  1. [1]

    Ambro,Basic properties of log canonical centers, In: Classification of algebraic varieties, pp

    F. Ambro,Basic properties of log canonical centers, In: Classification of algebraic varieties, pp. 39–48, EMS Ser. Congr. Rep., Eur. Math. Soc., Z¨ urich

    work page

  2. [2]

    Barth, K

    W. Barth, K. Hulek, C. Peters, A. Van de Ven,Compact complex surfaces, Second edition, Ergeb. Math. Grenzgeb. (3), 4, Springer-Verlag, Berlin, 2004

    work page 2004

  3. [3]

    Birkar,Anti-pluricanonical systems on Fano varieties, Ann

    C. Birkar,Anti-pluricanonical systems on Fano varieties, Ann. of Math. (2) 190 (2019), no. 2, 345–463

    work page 2019

  4. [4]

    Birkar,Geometry of polarised varieties, Publ

    C. Birkar,Geometry of polarised varieties, Publ. Math. Inst. Hautes ´Etudes Sci. 137 (2023), 47–105

    work page 2023

  5. [5]

    Bombieri,Canonical models of surfaces of general type, Inst

    E. Bombieri,Canonical models of surfaces of general type, Inst. Hautes ´Etudes Sci. Publ. Math. No. 42 (1973), 171–219

    work page 1973

  6. [6]

    J. A. Chen, M. Chen, C. Jiang,The Noether inequality for algebraic3-folds, Duke Math. J. 169 (2020), no. 9, 1603–1645

    work page 2020

  7. [7]

    The Noether inequality for algebraic3-folds

    J. A. Chen, M. Chen, C. Jiang,Addendum to “The Noether inequality for algebraic3-folds”, Duke Math. J. 169 (2020), no. 11, 2199–2204

    work page 2020

  8. [8]

    Chen,Canonical stability of3-folds of general type withp g ≥3, Internat

    M. Chen,Canonical stability of3-folds of general type withp g ≥3, Internat. J. Math. 14 (2003), no. 5, 515–528

    work page 2003

  9. [9]

    Chen,On an efficient induction step with Nklt(X, D)—notes to Todorov, Comm

    M. Chen,On an efficient induction step with Nklt(X, D)—notes to Todorov, Comm. Anal. Geom. 20 (2012), no. 4, 765–779

    work page 2012

  10. [10]

    Chen,Some birationality criteria on3-folds withp g >1, Sci

    M. Chen,Some birationality criteria on3-folds withp g >1, Sci. China Math. 57 (2014), no. 11, 2215–2234

    work page 2014

  11. [11]

    M. Chen, S. Ding,On minimal3-folds withK 3 ≥86, arXiv:2510.04029v1

    work page arXiv

  12. [12]

    M. Chen, C. Jiang, J. Yan,On the bicanonical map of algebraic threefolds of general type, Acta Math. Sin. (Engl. Ser.) (2025), https://doi.org/10.1007/s10114-025-3259-6

    work page doi:10.1007/s10114-025-3259-6 2025

  13. [13]

    M. Chen, Z. Jiang,A reduction of canonical stability index of4and5dimensional projective varieties with large volume, Ann. Inst. Fourier (Grenoble) 67 (2017), no. 5, 2043–2082

    work page 2017

  14. [14]

    M. Chen, Z. Jiang,On projective varieties of general type with many globalk-forms, arXiv:2211.00926v3

    work page arXiv

  15. [15]

    M. Chen, H. Liu,A lifting principle for canonical stability indices of varieties of general type, J. Reine Angew. Math. 816 (2024), 19–45

    work page 2024

  16. [16]

    M. Chen, D. Q. Zhang,Characterization of the4-canonical birationality of algebraic threefolds, Math. Z. 258 (2008), no. 3, 565–585

    work page 2008

  17. [17]

    Di Biagio,Pluricanonical systems for3-folds and4-folds of general type, Math

    L. Di Biagio,Pluricanonical systems for3-folds and4-folds of general type, Math. Proc. Cambridge Philos. Soc. 152 (2012), no. 1, 9–34

    work page 2012

  18. [18]

    Fujino, K

    O. Fujino, K. Hashizume,Adjunction and inversion of adjunction, Nagoya Math. J. 249 (2023), 119–147

    work page 2023

  19. [19]

    C. D. Hacon, J. M cKernan, C. Xu,On the birational automorphisms of varieties of general type, Ann. of Math. (2) 177 (2013), no. 3, 1077–1111

    work page 2013

  20. [20]

    Horikawa,Algebraic surfaces of general type with smallc 2 1, I, Ann

    E. Horikawa,Algebraic surfaces of general type with smallc 2 1, I, Ann. of Math. (2) 104 (1976), no. 2, 357–387

    work page 1976

  21. [21]

    Horikawa,Algebraic surfaces of general type with smallc 2 1, II, Invent

    E. Horikawa,Algebraic surfaces of general type with smallc 2 1, II, Invent. Math. 37 (1976), no. 2, 121–155

    work page 1976

  22. [22]

    Jiang,On birational boundedness of Fano fibrations, Amer

    C. Jiang,On birational boundedness of Fano fibrations, Amer. J. Math. 140 (2018), no. 5, 1253–1276

    work page 2018

  23. [23]

    Kawamata, K

    Y. Kawamata, K. Matsuda, K. Matsuki,Introduction to the minimal model problem, In: Algebraic geometry, Sendai, 1985, pp. 283–360, Adv. Stud. Pure Math., 10, North-Holland, Amsterdam, 1987

    work page 1985

  24. [24]

    Koll´ ar,Singularities of pairs, In: Algebraic geometry–Santa Cruz 1995, pp

    J. Koll´ ar,Singularities of pairs, In: Algebraic geometry–Santa Cruz 1995, pp. 221–287, Proc. Sympos. Pure Math., 62, Part 1, American Mathematical Society, Providence, RI, 1997

    work page 1995

  25. [25]

    Koll´ ar,Rational curves on algebraic varieties, Ergeb

    J. Koll´ ar,Rational curves on algebraic varieties, Ergeb. Math. Grenzgeb. (3), 32, Results in Mathematics and Related Areas, 3rd Series, A Series of Modern Surveys in Mathematics, Springer-Verlag, Berlin, 1996

    work page 1996

  26. [26]

    Koll´ ar, S

    J. Koll´ ar, S. Mori,Birational geometry of algebraic varieties, Cambridge Tracts in Mathemat- ics, 134, Cambridge Univ. Press, Cambridge, 1998

    work page 1998

  27. [27]

    Ma¸ sek,Very ampleness of adjoint linear systems on smooth surfaces with boundary, Nagoya Math

    V. Ma¸ sek,Very ampleness of adjoint linear systems on smooth surfaces with boundary, Nagoya Math. J. 153 (1999), 1–29

    work page 1999

  28. [28]

    R. K. Lazarsfeld,Positivity in algebraic geometry. I, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, A Series of Modern Surveys in Mathematics, 48, Springer, Berlin, 2004. BICANONICAL MAPS OF THREEFOLDS OF GENERAL TYPE 19

    work page 2004

  29. [29]

    R. K. Lazarsfeld,Positivity in algebraic geometry. II, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge, A Series of Modern Surveys in Mathematics, 49, Springer, Berlin, 2004

    work page 2004

  30. [30]

    G. T. Todorov,Pluricanonical maps for threefolds of general type, Ann. Inst. Fourier (Greno- ble) 57 (2007), no. 4, 1315–1330

    work page 2007

  31. [31]

    Xu,The third and fourth pluricanonical maps of threefolds of general type, Math

    J. Xu,The third and fourth pluricanonical maps of threefolds of general type, Math. Proc. Cambridge Philos. Soc. 157 (2014), no. 2, 209–220. Shanghai Center for Mathematical Sciences & School of Mathematical Sciences, Fudan University, Shanghai 200438, China Email address:chenjiang@fudan.edu.cn Shanghai Center for Mathematical Sciences, Fudan University, ...

    work page 2014