Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 0706.2987

Explicit birational geometry of threefolds of general type

Jungkai A. Chen·Meng Chen
View original source ↗Read source document ↗Export metadata ↓

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 $Φ_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 $χ({\mathcal O}_V)\leq 1$.

Explore related subjects

math.AG

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jungkai A. Chen, Meng Chen. 2007-10-25. Explicit birational geometry of threefolds of general type. https://arxiv.org/abs/0706.2987

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Voevodsky motives and motives with modulus in positive characteristic

Let $k$ be a perfect field of characteristic $p>0$. In this paper, without assuming resolution of singularities, we prove that the triangulated category of motives with modulus with rational coefficients is equivalent to Voevodsky's triangulated category of motives with rational coefficients $\MDM^\eff(k,\Q)\simeq \DM^\eff(k,\Q).$ Equivalently, after tensoring with $\Q$, the multiplicities of the modulus become invisible in the category of motives with modulus in positive characteristic.

math.AG↗
arXiv2026

Vanishing Theorems and Complex Structures on Non-Classical Flag Domains

Let $D=G_{\mathbb R}/V$ be a non-classical flag domain with $G_{\mathbb R}$ simple. We prove that every compact quotient of $D$ by a torsion-free discrete subgroup has no nonzero closed positive $(1,1)$-currents. Consequently, on any such quotient, every nontrivial holomorphic line bundle has no nonzero global sections, and a line bundle is pseudo-effective if and only if it is unitary flat. The proof combines a self-contained root-theoretic criterion with averaging of currents, without a homogeneity assumption on the line bundle. The same root criterion proves the Green--Griffiths--Kerr vanishing conjecture for locally homogeneous bundles induced by nontrivial irreducible representations of $V$ and gives an alternative proof of the Griffiths--Robles--Toledo bracket-generation lemma. For products of flag domains, we describe all closed positive $(1,1)$-currents on compact quotients by descent to the classical factors. If the lattice has dense joint projection to the classical subproduct, every such current is smooth. For non-classical domains of Hermitian type, we give an explicit second invariant complex structure whose compact quotients are projective, whereas the original quotients are not in Fujiki class $\mathcal C$. Finally, an explicit family on $SU(2,1)/H$ shows that topologically trivial holomorphic line bundles need not be homogeneous, even when their pullbacks to all rational curves are trivial.

math.AG↗
arXiv2026

The rationality problem for multinorm one tori

In this paper, we study the rationality problem for multinorm one tori, a natural generalization of norm one tori. For multinorm one tori that split over finite Galois extensions with nilpotent Galois group, we prove that stable rationality and retract rationality are equivalent, and give a criterion for the validity of the above two conditions. This generalizes the result of Endo (2011) on the rationality problem for norm one tori. To accomplish it, we introduce a generalization of character groups of multinorm one tori. Moreover, we establish systematic reduction methods originating in work of Endo (2001) for an investigation of the rationality problem for arbitrary multinorm one tori. In addition, we provide a new example for which the multinorm principle holds.

math.AG↗