Iitaka's C_n,m Conjecture for 3-Folds over Finite Fields

Caucher Birkar,Yifei Chen,Lei Zhang

DOI: https://doi.org/10.1017/nmj.2016.61

2016-01-01

Nagoya Mathematical Journal

Abstract:We prove Iitaka's C_n,m conjecture for 3-folds over the algebraic closure of finite fields. Along the way we prove some results on the birational geometry of log surfaces over nonclosed fields and apply these to existence of relative good minimal models of 3-folds.

What problem does this paper attempt to address?

Existence of Mori Fibre Spaces for 3-Folds in Char P

Caucher Birkar,Joe Waldron

DOI: https://doi.org/10.1016/j.aim.2017.03.032

IF: 1.675

2017-01-01

Advances in Mathematics

Abstract:We prove the following results for projective klt pairs of dimension 3 over an algebraically closed field of char p>5: the cone theorem, the base point free theorem, the contraction theorem, finiteness of minimal models, termination with scaling, existence of Mori fibre spaces, etc.
Generalized Nonvanishing Conjecture and Iitaka Conjecture

Chi-Kang Chang

2024-03-25

Abstract:In this article, we will prove the Generalized Nonvanishing Conjecture holds for threefolds with either $\kappa>0$ or $q>0$. As a result, we can prove the Iitaka conjecture $C_{n,m}$ holds for $n=7$ if the source space has non-negative Kodaira dimension, if the general fibre has positive Kodaira dimension, or if the base space is not threefold with $\kappa=q=0$. In particular, $C^-_{n,m}$ holds if $n\leq 7$.

Algebraic Geometry
On canonically fibred algebraic 3-folds - some new examples

Meng Chen,Aoxiang Cui

DOI: https://doi.org/10.48550/arXiv.1005.3886

2011-04-22

Abstract:This note aims to improve known numerical bounds proved earlier by Chen \cite{PAMS} and Chen-Hacon \cite{Chen-Hacon} and to present some new examples of smooth minimal 3-folds canonically fibred by surfaces (resp. curves) of geometric genus as large as 19 (resp. 13). As an interesting by-product, we present a new class of general type surfaces which are canonically fibred by curves of genus 13.

Algebraic Geometry
A note on Iitaka's conjecture $C_{3,1}$ in positive characteristics

Lei Zhang

DOI: https://doi.org/10.48550/arXiv.1609.09592

2016-12-26

Abstract:Let $f:X\to Y$ be a fibration from a smooth projective 3-fold to a smooth projective curve, over an algebraically closed field $k$ of characteristic $p >5$. We prove that if the generic fiber $X_{\eta}$ has big canonical divisor $K_{X_{\eta}}$, then $$\kappa(X)\ge\kappa(Y) + \kappa(X_{\eta}).$$

Algebraic Geometry
Castelnuovo bound for curves in projective 3-folds

Zhiyu Liu

2024-07-30

Abstract:The Castelnuovo bound conjecture, which is proposed by physicists, predicts an effective vanishing result for Gopakumar-Vafa invariants of Calabi-Yau 3-folds of Picard number one. Previously, it is only known for a few cases and all the proofs rely on the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda. In this paper, we prove the Castelnuovo bound conjecture for any Calabi-Yau 3-folds of Picard number one, up to a linear term and finitely many degree, without assuming the conjecture of Bayer-Macrì-Toda. Furthermore, we prove an effective vanishing theorem for surface-counting invariants of Calabi-Yau 4-folds of Picard number one. We also apply our techniques to study low-degree curves on some explicit Calabi-Yau 3-folds. Our approach is based on a general iterative method to obtain upper bounds for the genus of one-dimensional closed subschemes in a fixed 3-fold, which is a combination of classical techniques and the wall-crossing of weak stability conditions on derived categories, and works for any projective 3-fold with at worst isolated singularities over any algebraically closed field.

Algebraic Geometry,High Energy Physics - Theory,Mathematical Physics,Symplectic Geometry
The equivalence of Friedlander-Mazur and standard conjectures for threefolds

Jin Cao,Wenchuan Hu

DOI: https://doi.org/10.48550/arXiv.2111.02669

2021-11-04

Algebraic Geometry

Abstract:We show that the Friedlander-Mazur conjecture holds for a complex smooth projective variety X of dimension three implies the standard conjectures hold for X. This together with a result of Friedlander yields the equivalence of the two conjectures in dimension three. From this we provide some new examples whose standard conjectures hold.
The Iitaka Conjecture Cn,m in Dimension Six

Caucher Birkar

DOI: https://doi.org/10.1112/s0010437x09004187

2009-01-01

Compositio Mathematica

Abstract:AbstractWe prove that the Iitaka conjecture Cn,m for algebraic fibre spaces holds up to dimension six, that is, when n≤6.
Complex Projective 3-Fold with Non-Negative Canonical Euler-Poincare Characteristic

Meng Chen,Kang Zuo

DOI: https://doi.org/10.4310/cag.2008.v16.n1.a5

2008-01-01

Communications in Analysis and Geometry

Abstract:We work over the complex number field C. In this paper, we study multi-canonical systems |mKV | on complex projective 3-folds V of general type. On a smooth complex complete curve C of genus g(C) ≥ 2, it is well known that the 3-canonical map φ3 := Φ|3KC | is always an embedding. On a smooth minimal projective surface S of general type, Bombieri [2] proved that the m-canonical map is a birational morphism for all m ≥ 5. The work of Tsuji [31], Hacon–McKernan [13] and Takayama [28] says that there exists a universal constant r3 such that the r3-canonical map Φr3 is birational for all smooth projective 3-folds of general type. We note that Tsuji [31] announced a very large r3. Recently Chen and the first author [5] have given an explicit r3 (≤77). Under extra assumptions there have been already the following optimal results about r3 for minimal projective 3-folds X of general type with Q-factorial terminal singularities:
Explicit Birational Geometry of 3-Folds and 4-Folds of General Type, III

Jungkai A. Chen,Meng Chen

DOI: https://doi.org/10.1112/s0010437x14007817

2014-01-01

Compositio Mathematica

Abstract:Nonsingular projective 3-folds $V$ of general type can be naturally classified into 18 families according to the pluricanonical section index${\it\delta}(V):=\text{min}\{m\mid P_{m}\geqslant 2\}$ since $1\leqslant {\it\delta}(V)\leqslant 18$ due to our previous series (I, II). Based on our further classification to 3-folds with ${\it\delta}(V)\geqslant 13$ and an intensive geometrical investigation to those with ${\it\delta}(V)\leqslant 12$, we prove that $\text{Vol}(V)\geqslant \frac{1}{1680}$ and that the pluricanonical map ${\rm\Phi}_{m}$ is birational for all $m\geqslant 61$, which greatly improves known results. An optimal birationality of ${\rm\Phi}_{m}$ for the case ${\it\delta}(V)=2$ is obtained. As an effective application, we study projective 4-folds of general type with $p_{g}\geqslant 2$ in the last section.
Compact Kähler 3-folds with nef anti-canonical bundle

Shin-ichi Matsumura,Xiaojun Wu

2024-07-05

Abstract:In this paper, we prove that a non-projective compact Kähler $3$-fold with nef anti-canonical bundle is, up to a finite étale cover, one of the following: a manifold with vanishing first Chern class; the product of a K3 surface and the projective line; or a projective space bundle over a $2$-dimensional torus. This result extends Cao-Höring's structure theorem for projective manifolds to compact Kähler manifolds in dimension $3$. For the proof, we investigate the Minimal Model Program for compact Kähler $3$-folds with nef anti-canonical bundles by using the positivity of direct image sheaves, $\mathbb{Q}$-conic bundles, and orbifold vector bundles.

Algebraic Geometry,Complex Variables,Differential Geometry
Explicit Birational Geometry of 3-Folds of General Type, II

Jungkai A. Chen,Meng Chen

DOI: https://doi.org/10.4310/jdg/1299766788

2010-01-01

Journal of Differential Geometry

Abstract:Let $V$ be a complex nonsingular projective 3-fold of general type. We shall give a detailed classification up to baskets of singularities on a minimal model of $V$. We show that the $m$-canonical map of $V$ is birational for all $m\geq 73$ and that the canonical volume $\text{Vol}(V)\geq {1/2660}$. When $\chi(\mathcal{O}_V)\leq 1$, our result is $\text{Vol}(V)\geq {1/420}$, which is optimal. Other effective results are also included in the paper.
K-moduli of Fano threefolds and genus four curves

Yuchen Liu,Junyan Zhao

2024-03-25

Abstract:In this article, we study the K-moduli space of Fano threefolds obtained by blowing up $\mathbb{P}^3$ along $(2,3)$-complete intersection curves. This K-moduli space is a two-step birational modification of the GIT moduli space of $(3,3)$-curves on $\mathbb{P}^1 \times \mathbb{P}^1$. As an application, we show that our K-moduli space appears as one model of the Hassett--Keel program for $\overline{M}_4$. In particular, we classify all K-(semi/poly)stable members in this deformation family of Fano varieties. We follow the moduli continuity method with moduli of lattice-polarized K3 surfaces, general elephants and Sarkisov links as new ingredients.

Algebraic Geometry
Birational complexity of log Calabi-Yau 3-folds

Joaquín Moraga

2024-05-29

Abstract:We study the birational complexity of log Calabi-Yau $3$-folds. For such a pair $(X,B)$ of index one and coregularity zero, we show that $c_{\rm bir}(X,B)\in \{0,2,3\}$. Further, we prove that $(X,B)$ has a log Calabi-Yau crepant birational model that admits a crepant contraction to $(\mathbb{P}^{3-c},H_0+\dots+H_{3-c})$, where $c=c_{\rm bir}(X,B)$. To prove this, we give a geometric characterization of standard $\mathbb{P}^1$-links.

Algebraic Geometry
On the anti-canonical geometry of $\mathbb{Q}$-Fano 3-folds

Meng Chen,Chen Jiang

DOI: https://doi.org/10.4310/jdg/1473186539

2015-02-02

Abstract:For a $\mathbb{Q}$-Fano 3-fold $X$ on which $K_X$ is a canonical divisor, we investigate the geometry induced from the linear system $|-mK_X|$ in this paper and prove that the anti-$m$-canonical map $\varphi_{-m}$ is birational onto its image for all $m\geq 39$. By a weak $\mathbb{Q}$-Fano 3-fold $X$ we mean a projective one with at worst terminal singularities on which $-K_X$ is $\mathbb{Q}$-Cartier, nef and big. For weak $\mathbb{Q}$-Fano 3-folds, we prove that $\varphi_{-m}$ is birational onto its image for all $m\geq 97$.

Algebraic Geometry
On the Anti-Canonical Geometry of $\Mathbb{q}$-Fano Threefolds

Meng Chen,Chen Jiang

DOI: https://doi.org/10.4310/jdg/1583805613

2016-01-01

Journal of Differential Geometry

Abstract:For a $\mathbb{Q}$-Fano 3-fold $X$ on which $K_X$ is a canonical divisor, we investigate the geometry induced from the linear system $\lvert -mK_X \rvert$ and prove that the anti-$m$-canonical map $\varphi - m$ is birational onto its image for all $m \geq 39$. By a weak $\mathbb{Q}$-Fano 3-fold $X$ we mean a projective one with at worst terminal singularities on which $-K_X$ is $\mathbb{Q}$-Cartier, nef and big. For weak $\mathbb{Q}$-Fano 3-folds, we prove that $\varphi - m$ is birational onto its image for all $m \geq 97$.
On the existence of flips for threefolds in mixed characteristic $(0,5)$

Lingyao Xie,Qingyuan Xue

DOI: https://doi.org/10.48550/arXiv.2201.08208

2021-11-23

Algebraic Geometry

Abstract:We provide a detailed proof of the validity of the Minimal Model Program for threefolds over excellent Dedekind separated schemes whose residue fields do not have characteristic 2 or 3.
Characterization of the 4-canonical birationality of algebraic threefolds

Meng Chen,De-Qi Zhang

DOI: https://doi.org/10.1007/s00209-007-0186-4

2007-01-01

Mathematische Zeitschrift

Abstract:In this article we present a 3-dimensional analogue of a well-known theorem of Bombieri (Inst Hautes Etudes Sci Publ Math 42:171–219, 1973) which characterizes the bi-canonical birationality of surfaces of general type. Let X be a projective minimal threefold of general type with ℚ -factorial terminal singularities and the geometric genus p g ( X ) ≥ 5. We show that the 4-canonical map φ_4 is not birational onto its image if and only if X is birationally fibred by a family C of irreducible curves of geometric genus 2 with K_X· C_0=1 where C 0 is a general irreducible member in C .
ON THE ANTI-CANONICAL GEOMETRY OF Q-FANO THREEFOLDS

Meng Chen,Chen Jiang

2016-01-01

Journal of Differential Geometry

Abstract:For a Q-Fano 3-fold X on which K-x is a canonical divisor, we investigate the geometry induced from the linear system vertical bar -mK(x) vertical bar and prove that the anti-m-canonical map phi(-m) is birational onto its image for all m >= 39. By a weak Q-Fano 3-fold X we mean a projective one with at worst terminal singularities on which -K-x is Q-Cartier, nef and big. For weak Q-Fano 3-folds, we prove that phi(-m), is birational onto its image for all m >= 97.
On explicit bounds of Fano threefolds

Caucher Birkar,Jihao Liu

2023-11-12

Abstract:In this paper, we study the explicit geometry of threefolds, in particular, Fano varieties. We find an explicitly computable positive integer $N$, such that all but a bounded family of Fano threefolds have $N$-complements. This result has many applications on finding explicit bounds of algebraic invariants for threefolds. We provide explicit lower bounds for the first gap of the $\mathbb R$-complementary thresholds for threefolds, the first gap of the global lc thresholds, the smallest minimal log discrepancy of exceptional threefolds, and the volume of log threefolds with reduced boundary and ample log canonical divisor. We also provide an explicit upper bound of the anti-canonical volume of exceptional threefolds. While the bounds in this paper may not and are not expected to be optimal, they are the first explicit bounds of these invariants in dimension three.

Algebraic Geometry
Explicit Birational Geometry of Threefolds of General Type, I

Jungkai A. Chen,Meng Chen

DOI: https://doi.org/10.24033/asens.2124

2010-01-01

Annales Scientifiques de l École Normale Supérieure

Abstract:Let $V$ be a complex nonsingular projective 3-fold of general type. We prove $P_{12}(V)>0$ and $P_{24}(V)>1$ (which answers an open problem of J. Kollar and S. Mori). We also prove that the canonical volume has an universal lower bound $\text{Vol}(V) \geq 1/2660$ and that the pluri-canonical map $\Phi_m$ is birational onto its image for all $m\geq 77$. As an application of our method, we prove Fletcher's conjecture on weighted hyper-surface 3-folds with terminal quotient singularities. Another featured result is the optimal lower bound $\text{Vol}(V)\geq {1/420}$ among all those 3-folds $V$ with $\chi({\mathcal O}_V)\leq 1$.

Iitaka's C_n,m Conjecture for 3-Folds over Finite Fields

Existence of Mori Fibre Spaces for 3-Folds in Char P

Generalized Nonvanishing Conjecture and Iitaka Conjecture

On canonically fibred algebraic 3-folds - some new examples

A note on Iitaka's conjecture $C_{3,1}$ in positive characteristics

Castelnuovo bound for curves in projective 3-folds

The equivalence of Friedlander-Mazur and standard conjectures for threefolds

The Iitaka Conjecture Cn,m in Dimension Six

Complex Projective 3-Fold with Non-Negative Canonical Euler-Poincare Characteristic

Explicit Birational Geometry of 3-Folds and 4-Folds of General Type, III

Compact Kähler 3-folds with nef anti-canonical bundle

Explicit Birational Geometry of 3-Folds of General Type, II

K-moduli of Fano threefolds and genus four curves

Birational complexity of log Calabi-Yau 3-folds

On the anti-canonical geometry of $\mathbb{Q}$-Fano 3-folds

On the Anti-Canonical Geometry of $\Mathbb{q}$-Fano Threefolds

On the existence of flips for threefolds in mixed characteristic $(0,5)$

Characterization of the 4-canonical birationality of algebraic threefolds

ON THE ANTI-CANONICAL GEOMETRY OF Q-FANO THREEFOLDS

On explicit bounds of Fano threefolds

Explicit Birational Geometry of Threefolds of General Type, I