Let X be a projective 3-fold with at most Q-factorial terminal singularities on which K_X is nef and big. Suppose the canonical index r(X)>1. For any positive integer m, it is interesting to consider the base point freeness and birationality of the divisor mK_X. For example, we know the following results:
(1) the system |5rK_X| is base point free (Ein-Lazarsfeld-Lee);
(2) |mK_X| gives a birational map for all m>4r+2 (M. Hanamura).
This article aims to present a better result in direction (2). As far as our method can tell here, |mK_X| gives a birational map for all m>2r+5. (Q-divisor method + patient calculation)
We show that the set of threefold canonical thresholds satisfies the ascending chain condition. Moreover, we derive that threefold canonical thresholds in the interval $ (\frac{1}{2}, 1)$ consists of $ \{ \frac{1}{2}+\frac{1}{n}\}_{n \ge 3} \cup \{ \frac{4}{5}\}$.
1) We give a 3-dimensional analogue of M. Noether's inequality for canonically polarized threefolds: $K^3\ge 2(2p_g-5)/3$. This inequality is sharp by known examples of M. Kobayashi. 2) Given a minimal 3-fold $X$ of general type with canonical singularities, if $K^3< (3p_g-5)/2$, we show that $X$ must be birationally fibred by curves of genus 2.
In this paper, we show that Fujita's basepoint-freeness conjecture for projective quasi-log canonical singularities holds true in dimension three. Immediately, we prove Fujita-type basepoint-freeness for projective semi-log canonical threefolds.
Let $X$ be a complex smooth projective threefold of general type. Assume $q(X)>0$. We show that the $m$-canonical map of $X$ is birational for all $m\geq 5$.
We prove the normality of minimal log canonical centers on threefold pairs which residue fields are perfect of residue characteristics $p\neq 2,3 $ and $5$. We also show that the union of all log canonical centers on threefold pairs with standard coefficients are seminormal provided that the residue characteristic is large enough. We provide an example of a non-seminormal log canonical center on a threefold in characteristic $3$, and give sufficient conditions to construct similar examples.
Let $S$ be a nonsingular minimal complex projective surface of general type and the canonical map of $S$ is generically finite. Beauville showed that the geometric genus of the image of the canonical map is vanishing or equals the geometric genus of $S$ and discussed the canonical degrees for these two cases. We generalize his results to nonsingular minimal complex projective threefolds.
In this note we provide a two-dimensional family of smooth minimal threefolds of general type with canonical map of degree 96, improving the previous known bound of 72.
We extend the known classification of threefolds of general type that are complete intersections to various classes of non-complete intersections, and find other classes of polarised varieties, including Calabi-Yau threefolds with canonical singularities, that are not complete intersections. Our methods apply more generally to construct orbifolds described by equations in given Gorenstein formats.
We consider Fano threefolds $X$ with canonical Gorenstein singularities. Under additional assumption that $X$ has at least one non-cDV point we prove a sharp bound of the degree: $-K_X^3\le 72$.
Given a three-dimensional projective log canonical pair over a perfect field of characteristic larger than five, there exists a minimal model program that terminates after finitely many steps.
We prove Weak Borisov--Alexeev--Borisov Conjecture in dimension three which states that the anti-canonical volume of an $ε$-klt log Fano pair of dimension three is bounded from above.
We classify the canonical threefold singularities that allow an effective two-torus action. This extends classification results of Mori on terminal threefold singularities and of Ishida and Iwashita on toric canonical threefold singularities. Our classification relies on lattice point emptiness of certain polytopal complexes with rational vertices. Scaling the polytopes by the least common multiple $k$ of the respective denominators, we investigate $k$-emptiness of polytopes with integer vertices. We show that two dimensional $k$-empty polytopes either are sporadic or come in series given by F…
We prove the base point free theorem for big line bundles on a three-dimensional log canonical projective pair defined over the algebraic closure of a finite field.
We investigate some coboundary map associated to a $3$-dimensional terminal singularity which is important in the study of deformations of singular $3$-folds. We prove that this map vanishes only for quotient singularities and a $A_{1,2}/4$-singularity, that is, a terminal singularity analytically isomorphic to a $\mathbb{Z}_4$-quotient of the singularity $ (x^2+y^2 +z^3+u^2=0)$. As an application, we prove that a $\mathbb{Q}$-Fano $3$-fold with terminal singularities can be deformed to one with only quotient singularities and $A_{1,2}/4$-singularities. We also treat the $\mathbb{Q}$-smoothabi…
The present work deals with the canonical map of smooth, compact complex surfaces of general type in a polarization of type $(1,2,2)$ on an abelian threefold. A natural and classical question is whether the canonical system of such surfaces is very ample in the general case. In this work, we provide a positive answer to this question. First, we describe the structure of the canonical map of those smooth ample surfaces of type $(1,2,2)$ in an abelian threefold which are bidouble cover of principal polarizations. Then, we study the general behavior of the canonical map of general ample surfaces …
Any ample Cartier divisor D on a projective variety X is strictly nef (i.e. D.C>0 for any effective curve C on X). In general, the converse statement does not hold. But this is conjectured to be true for anticanonical divisors. The present paper establishes this fact for normal complex projective threefolds with canonical singularities. This result extends several previously known special cases. The proof rests mainly on sophisticated techniques of three dimensional birational geometry developed in the last two decades.
We prove a relative Kawamata Viehweg vanishing type theorem for birational morphisms. We use this to prove a Grauert Riemenschneider theorem over log canonical threefolds without zero dimensional log canonical centers, in residue characteristic p greater than five. In large enough residue characteristics, we prove a Grauert Riemenschneider theorem over threefold log canonical singularities with standard coefficients. These vanishing theorems can also be used to study the depth of log canonical singularities at non log canonical centers, as well as the singularities of the log canonical centers…
Let $X$ be a Gorenstein minimal projective $3$-fold with at worst locally factorial terminal singularities. Suppose that the canonical map is generically finite onto its image. C. Hacon showed that the canonical degree is universally bounded by $576$. We improved Hacon's universal bound to $360$. Moreover, we gave all the possible canonical degrees of $X$ if $X$ is an abelian cover over $\mathbb{P}^3$ and constructed all the examples with these canonical degrees.
Let $V$ be a complex nonsingular projective 3-fold of general type with $χ(ω_V)\geq 0$ (resp. $>0$). We prove that the m-canonical map $Φ_{|mK_V|}$ is birational onto its image for all $m\ge 14$ (resp. $\geq 8$). Known examples show that the lower bound $r_3=14$ (resp. $=8$) is optimal.
This paper proves that the 5-canonical map of a smooth minimal 3-fold is birational when the geometric genus is bigger than 2. A combination of the results in this paper and that of Ein-Lazarsfeld-Lee, the possible exceptional cases are very limited. Unfortunately, no counter examples have been found up to now.
Let $M$ be a smooth Fano threefold such that a canonical extension of the tangent bundle is an affine manifold. We show that $M$ is rational homogeneous.
Let $(X,L)$ be a quasi-polarized canonical Calabi-Yau threefold. In this note, we show that $\vert mL\vert$ is basepoint free for $m\geq 4$. Moreover, if the morphism $Φ_{\vert 4L\vert}$ is not birational onto its image and $h^0(X,L)\geq 2$, then $L^3=1$. As an application, if $Y$ is a $n$-dimensional Fano manifold such that $-K_Y=(n-3)H$ for some ample divisor $H$, then $\vert mH\vert$ is basepoint free for $m\geq 4$ and if the morphism $Φ_{\vert 4H\vert}$ is not birational onto its image, then $Y$ is either a weighted hypersurface of degree $10$ in the weighted projective space $\mathbb{P}(1…
By a canonical (resp. terminal) weak $\mathbb{Q}$-Fano $3$-fold we mean a normal projective one with at worst canonical (resp. terminal) singularities on which the anti-canonical divisor is $\mathbb{Q}$-Cartier, nef and big. For a canonical weak $\mathbb{Q}$-Fano $3$-fold $V$, we show that there exists a terminal weak $\mathbb{Q}$-Fano $3$-fold $X$, being birational to $V$, such that the $m$-th anti-canonical map defined by $|-mK_{X}|$ is birational for all $m\geq 52$. As an intermediate result, we show that for any $K$-Mori fiber space $Y$ of a canonical weak $\mathbb{Q}$-Fano $3$-fold, the $…
In this article we present a 3-dimensional analogue of a well-known theorem of E. Bombieri (in 1973) which characterizes the bi-canonical birationality of surfaces of general type. Let $X$ be a projective minimal 3-fold of general type with $\mathbb{Q}$-factorial terminal singularities and the geometric genus $p_g(X)\ge 5$. We show that the 4-canonical map $ϕ_4$ is {\it not} birational onto its image if and only if $X$ is birationally fibred by a family $\mathscr{C}$ of irreducible curves of geometric genus 2 with $K_X\cdot C_0=1$ where $C_0$ is a general irreducible member in $\mathscr{C}$.
For a minimal $3$-fold $X$ with $K_X\equiv 0$ and a nef and big Weil divisor $L$ on $X$, we investigate the birational geometry inspired by $L$. We prove that $|mL|$ and $|K_X+mL|$ give birational maps for all $m\geq 17$. The result remains true under weaker assumption that $L$ is big and has no stable base components.
Let $X$ be a Gorenstein minimal projective 3-fold with at worst locally factorial terminal singularities. Suppose the canonical map is of fiber type. Denote by $F$ a smooth model of a generic irreducible component in fibers of the canonical map of $X$ and so $F$ is a smooth curve or a smooth surface. The main result of the paper is that there is a computable constant $K$ (independent of $X$) such that $g(F)\leq 647$ or $p_g(F)\leq 38$ whenever $p_g(X)\geq K$. The method heavily relies on both a Noether type of inequality and a Miyaoka-Yau inequality and that is the reason we only treat a Goren…
An inductive approach to classifying toric Fano varieties is given. As an application of this technique, we present a classification of the toric Fano threefolds with at worst canonical singularities. Up to isomorphism, there are 674,688 such varieties.
On smooth threefolds, the ACC for minimal log discrepancies is equivalent to the boundedness of the log discrepancy of some divisor which computes the minimal log discrepancy. We reduce it to the case when the boundary is the product of a canonical part and the maximal ideal to some power. We prove the reduced assertion when the log canonical threshold of the maximal ideal is either at most one-half or at least one.
We prove that for a smooth projective irregular $3$-fold $X$ with $K_X\equiv 0$ and a nef and big divisor $L$ on $X$, $|mL+P|$ gives a birational map for all $m\geq 3$ and all $P\in \text{Pic}^0(X)$. We also use the same method to deal with $4$-folds, and prove that for a smooth projective irregular $4$-fold $X$ with $K_X\equiv 0$ and an ample divisor $L$ on $X$, $|mL+P|$ gives a birational map for all $m\geq 5$ and all $P\in \text{Pic}^0(X)$. These results are also optimal.
We classify Fano 3-folds with canonical Gorenstein singularities whose anticanonical linear system has no base points but does not give an embedding, and we classify anticanonically embedded Fano 3-folds with canonical Gorenstein singularities which are not intersections of quadrics. We also study the rationality questions for most of these varieties.
