This is a sequal paper to math.AG/9909021. By using the theory of AZD originated by the author, I prove that for every smooth projective $n$-fold $X$ of general type and every \[ m\geq \lceil\sum_{\ell =1}^{n}\sqrt[\ell]{2} \ell\rceil +1, \] $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space, unless it has a nontrivial (relative dimension is positive) rational fiber space structure whose general fiber is birational to a variety of relatively low degree in a projective space.
For nonsingular projective 3-folds $X$ (of general type) whose geometric genus $p_g=h^0(X, K_X)$ is $\geq 5$, the birationality of the fourth canonical map $φ_{4,X}=Φ_{|4K_X|}$ was characterized by D.-Q. Zhang and the first author in 2008. This paper aims at characterizing the birationality of $φ_{4,X}$ for those $X$ with $p_g=4$.
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 that any smooth complex projective variety with generic vanishing index bigger or equal than 2 has birational bicanonical map. Therefore, if X is a smooth complex projective variety X with maximal Albanese dimension and non-birational bicanonical map, then the Albanese image of X is fibered by subvarieties of codimension at most 1 of an abelian subvariety of Alb X.
Let $X$ be a smooth projective $n$-fold such that $q(X)=0$ and $L$ a globally generated, big line bundle on $X$ such that $h^0(K_X+(n-2)L) >0$. We give necessary and sufficient conditions for the adjoint systems $|K_X+kL|$ to be birational for $k \geq n-1$. In particular, for Calabi-Yau $n$-folds we generalize and prove parts of a conjecture of Gallego and Purnaprajna.
We investigate birationality of the anti-pluricanonical map $ϕ_{-m}$, the rational map defined by the anti-pluricanonical system $|-mK|$, on $\mathbb{Q}$-Fano threefolds.
In this paper we study pluricanonical maps of minimal projective 3-folds of general type with geometric genus $1$, $2$ and $3$. We go in the direction pioneered by Enriques and Bombieri, and other authors, pinning down, for low projective genus, a finite list of exceptions to the birationality of some pluricanonical map. In particular, apart from a finite list of weighted baskets, we prove the birationality of $φ_{16}$, $φ_{6}$ and $φ_{5}$ respectively.
We prove that the r-th pluricanonical maps of threefolds of general type have birationally bounded fibers if $r\geqslant 2$. Similarly, we prove that the r-th pluricanonical maps of fourfolds of general type have birationally bounded fibers if $r\geqslant 4$. We extend these results to higher dimensions in terms of constants arising naturally from the birational geometry of varieties of general type.
A $\mathrm{U}(p,q)$-Higgs bundle on a Riemann surface (twisted by a line bundle) consists of a pair of holomorphic vector bundles, together with a pair of (twisted) maps between them. Their moduli spaces depend on a real parameter $α$. In this paper we study wall crossing for the moduli spaces of $α$-polystable twisted $\mathrm{U}(p,q)$-Higgs bundles. Our main result is that the moduli spaces are birational for a certain range of the parameter and we deduce irreducibility results using known results on Higgs bundles. Quiver bundles and the Hitchin-Kobayashi correspondence play an essential rol…
In this paper we prove that for any smooth projective variety of Albanese fiber dimension two and of general type, the 6-canonical map is birational. And we also show that the 5-canonical map is birational for any such variety with some geometric restrictions.
This paper aims to improve a theorem of Janos Kollar. For a given Complex projective threefold X of general type, suppose the plurigenus p_k(X)\ge 2, Kollar proved that the (11k+5)-canonical map is birational. Here we show that either the (7k+3)-canonical map or the (7k+5)-canonical map is birational and that the m-canonical map is stably birational for m\ge 13k+6. If P_k(X)\ge 3, then the m-canonical map is stably birational for m\ge 10k+8. In particular, the 12-canonical map is birational when p_g(X)\ge 2 and the 11-canonical map is birational when p_g(X)\ge 3.
We give formulas and effective sharp bounds for the degree of multi-graded rational maps and provide some effective and computable criteria for birationality in terms of their algebraic and geometric properties. We also extend the Jacobian dual criterion to the multi-graded setting. Our approach is based on the study of blow-up algebras, including syzygies, of the ideal generated by the defining polynomials of the rational map. A key ingredient is a new algebra that we call the "saturated special fiber ring", which turns out to be a fundamental tool to analyze the degree of a rational map. We …
For a uniruled projective manifold, we prove that a general rational curve of minimal degree through a general point is uniquely determined by its tangent vector. As applications, among other things we give a new proof, using no Lie theory, of our earlier result that a holomorphic map from a rational homogeneous space of Picard number 1 onto a projective manifold different from the projective space must be a biholomorphic map.
Let $X,Y$ be two irreducible subvarieties of the projective space $\mathbb{P}^n$, and $d\geq 1$ an integer number. The main result of this paper is an algorithm to construct {\bf explicitly}, in terms of $d$ and the ideals defining $X$ and $Y$, a quasi-affine algebraic variety parametrising the set of all birational maps $f$ from $X$ onto $Y$ which can be extended to a self-rational map of $\mathbb{P}^n$ of degree $\leq d$. Based on this result, we propose an approach towards the rationality problem (see Section 3 below), solve it for some simple cases (varieties of general type or curves), an…
In this thesis we looked into three different problems which share, as a common factor, the exstensive use of the Fourier--Mukai transform as research tool. In the first Part we investigated the syzygies of Kummer varieties (i.e. quotients of abelian varieties by the $\mathbb{Z}/2\Z$-action induced by the group operation), extending to higher syzygies results on projective normality and degree of equations of Sasaki, Kempf, and Khaled. The second Part of this Thesis (partially written in collaboration with Z.Jiang and M. Lahoz) is dedicated to the study of pluricanonical linear systems on vari…
We prove that for every positive integer $m\geq 18(2^{9}\cdot 3^{7})!$ and every smooth projective 3-fold of general type X defined over complex numbers, $\mid mK_{X}\mid$ gives a birational rational map from X into a projective space.
One develops {\em ab initio} the theory of rational/birational maps over reduced, but not necessarily irreducible, projective varieties in arbitrary characteristic. A numerical invariant of a rational map is introduced, called the Jacobian dual rank. It is proved that a rational map in this general setup is birational if and only if the Jacobian dual rank attains its maximal possible value. Even in the "classical" case where the source variety is irreducible there is some gain for this invariant over the degree of the map as it is, on one hand, intrinsically related to natural constructions in…
We extend Kollar's technique to look for an explicit function h(n) with phi_m birational onto its image for all integers $m\geq h(n)$ and for all n-dimensional nonsingular projective varieties of general type.
Let $F$ be a finite set of monomials of the same degree $d\geq 2$ in a polynomial ring $R=k[x_1,...,x_n]$ over an arbitrary field $k$. We give some necessary and/or sufficient conditions for the birationality of the ring extension $k[F]\subset R^{(d)}$, where $R^{(d)}$ is the $d${\it th} Veronese subring of $R$. One of our results extends to arbitrary characteristic, in the case of rational monomial maps, a previous syzygy-theoretic birationality criterion in characteristic zero
Nonsingular projective 3-folds $V$ of general type can be naturally classified into 18 families according to the {\it pluricanonical section index} $δ(V):=\text{min}\{m|P_m\geq 2\}$ since $1\leq δ(V)\leq 18$ due to our previous series (I, II). Based on our further classification to 3-folds with $δ(V)\geq 13$ and an intensive geometrical investigation to those with $δ(V)\leq 12$, we prove that $\text{Vol}(V) \geq \frac{1}{1680}$ and that the pluricanonical map $Φ_{m}$ is birational for all $m \geq 61$, which greatly improves known results. An optimal birationality of $Φ_m$ for the case $δ(V)=2$…
Let $X$ be a minimal projective 3-fold of general type. The pluricanonical section index $δ(X)$ is defined to be the minimal integer $m$ so that $P_{m}(X)\geq 2$. According to Chen-Chen, one has either $1\leq δ(X)\leq 15$ or $δ(X)=18$. This note aims to intensively study those with maximal such index. A direct corollary is that the $57$th canonical map of every minimal 3-fold of general type is stably birational.
We prove that there exists a positive integer $ν_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over {\bf C}, $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space for every $m\geq ν_{n}$. This theorem gives an affirmative answer to Severi's conjecture. The key ingredients of the proof are the theory of AZD which was originated by the aurhor and the subadjunction formula for AZD's of logcanoncial divisors.
Let $V$ be a complex nonsingular projective 3-fold of general type. We prove $P_{12}(V):=\text{dim} H^0(V, 12K_V)>0$ and $P_{m_0}(V)>1$ for some positive integer $m_0\leq 24$. A direct consequence is the birationality of the pluricanonical map $φ_m$ for all $m\geq 126$. Besides, the canonical volume $\text{Vol}(V)$ has a universal lower bound $ν(3)\geq \frac{1}{63\cdot 126^2}$.
In this paper, we consider rational maps whose source is a product of two subvarieties, each one being embedded in a projective space. Our main objective is to investigate birationality criteria for such maps. First, a general criterion is given in terms of the rank of a couple of matrices that became to be known as Jacobian dual matrices. Then, we focus on rational maps from the product of two projectine lines to the projective plane in very low bidegrees and provide new matrix-based birationality criteria by analyzing the syzygies of the defining equations of the map, in particular by lookin…
We give an elementary approach to proving the birationality of multiple Berglund-Hübsch-Krawitz (BHK) mirrors by using Shioda maps. We do this by creating a birational picture of the BHK correspondence in general. Although a similar result has been obtained in recent months by Shoemaker, our proof is new in that it sidesteps using toric geometry and drops an unnecessary hypothesis. We give an explicit quotient of a Fermat variety to which the mirrors are birational.
Let $X$ be a smooth complex projective algebraic variety of maximal Albanese dimension. We give a characterization of $κ(X)$ in terms of the set $V^0(X,ω_{X})$ $:=\{P\in {\text{\rm Pic}}^0(X)|h^0(X, ω_X \otimes P) \ne 0\}$. An immediate consequence of this is that the Kodaira dimension $κ(X)$ is invariant under smooth deformations. We then study the pluricanonical maps $ϕ_m:X -> \Bbb{P} (H^0(X,mK_X))$. We prove that if $X$ is of general type, $ϕ_m$ is generically finite for $m\geq 5$ and birational for $m\geq 5 \text{\rm dim} (X) +1$. More generally, we show that for $m\geq 6$ the image of $ϕ_…
This is a revised version of the second half of my paper math.AG/9909021. We prove that there exists a positive integer $ν_{n}$ depending only on $n$ such that for every smooth projective $n$-fold of general type $X$ defined over complex numbers, $\mid mK_{X}\mid$ gives a birational rational map from $X$ into a projective space for every $m\geq ν_{n}$.
Let $X$ be a smooth projective variety of Albanese fiber dimension 1 and of general type. We prove that the translates through 0 of all components of $V^0(ω_X)$ generate $\Pic^0(X)$. We then study the pluricanonical maps of $X$. We show that $|4K_X|$ induces a birational map.
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 + …
A classical set of birational invariants of a variety are its spaces of pluricanonical forms and some of their canonically defined subspaces. Each of these vector spaces admits a typical metric structure which is also birationally invariant. These vector spaces so metrized will be referred to as the pseudonormed spaces of the original varieties. A fundamental question is the following: given two mildly singular projective varieties with some of the first variety's pseudonormed spaces being isometric to the corresponding ones of the second variety's, can one construct a birational map between t…
A tri-linear rational map in dimension three is a rational map $ϕ: (\mathbb{P}_\mathbb{C}^1)^3 \dashrightarrow \mathbb{P}_\mathbb{C}^3$ defined by four tri-linear polynomials without a common factor. If $ϕ$ admits an inverse rational map $ϕ^{-1}$, it is a tri-linear birational map. In this paper, we address computational and geometric aspects about these transformations. We give a characterization of birationality based on the first syzygies of the entries. More generally, we describe all the possible minimal graded free resolutions of the ideal generated by these entries. With respect to geom…
In this paper we investigate the geometry of projective varieties polarised by ample and more generally nef and big Weil divisors. First we study birational boundedness of linear systems. We show that if $X$ is a projective variety of dimension $d$ with $ε$-lc singularities for $ε>0$, and if $N$ is a nef and big Weil divisor on $X$ such that $N-K_X$ is pseudo-effective, then the linear system $|mN|$ defines a birational map for some natural number $m$ depending only on $d,ε$. This is key to proving various other results. For example, it implies that if $N$ is a big Weil divisor (not necessaril…
In [1] some quotients of one-parameter families of Calabi-Yau varieties are related to the family of Mirror Quintics by using a construction due to Shioda. In this paper, we generalize this construction to a wider class of varieties. More specifically, let $A$ be an invertible matrix with non-negative integer entries. We introduce varieties $X_A$ and $\overline{M}_A$ in weighted projective space and in ${\mathbb P}^n$, respectively. The variety $\overline{M}_A$ turns out to be a quotient of a Fermat variety by a finite group. As a by-product, $X_A$ is a quotient of a Fermat variety and $\overl…
Our object of study is a rational map Psi from projective s-1 space to projective n-1 space defined by homogeneous forms g1,...,gn, of the same degree d, in the homogeneous coordinate ring R=k[x1,...,xs] of projective s-1 space. Our goal is to relate properties of Psi, of the homogeneous coordinate ring A=k[g1,...,gn] of the variety parametrized by Psi, and of the Rees algebra R[It], the bihomogeneous coordinate ring of the graph of Psi. For a regular map Psi, for instance, we prove that R[It] satisfies Serre's condition R_i, for some positive i, if and only if A satisfies R_{i-1} and Psi is b…
