On quint-canonical birationality of irregular 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$.
math.AG↗
arXiv subjects
Zhi Jiang
Publications and source records attributed to Zhi Jiang.
On Severi type inequalities
We study Severi type inequalities for big line bundles on irregular varieties via cohomological rank functions. We show that these Severi type inequalities on an irregular variety $X$ are related to some natural defined birational invariants of a general fiber $F$ of the Albanese morphism of $X$. As applications, we provide a new lower bound of volumes of irregular threefolds, a sharp lower bound of varieties of maximal Albanese dimension and of general type, and show that the canonical model of such a variety with the minimal volume should be a flat double covers of a principally polarized abelian variety $(A, Θ)$ branched over $D\in |2Θ|$.
math.AG↗
Cohomological rank functions on abelian varieties
Generalizing the continuous rank function of Barja-Pardini-Stoppino, in this paper we consider cohomological rank functions of $\mathbb Q$-twisted (complexes of) coherent sheaves on abelian varieties. They satisfy a natural transformation formula with respect to the Fourier-Mukai-Poincaré transform, which has several consequences. In many concrete geometric contexts these functions provide useful invariants. We illustrate this with two different applications, the first one to GV-subschemes and the second one to multiplication maps of global sections of ample line bundles on abelian varieties.
math.AG↗
A reduction of canonical stability index of 4 and 5 dimensional projective varieties with large volume
We study the canonical stability index of nonsingular projective varieties of general type with either large canonical volume or large geometric genus. As applications of a general extension theorem established in the first part, we prove some optimal results in dimensions 4 and 5, which are parallel to some well-known results on surfaces and 3-folds.
math.AG↗
Some results on the eventual paracanonical maps
The eventual paracanonical map was introduced by Barja, Pardini, and Stoppino in order to prove refined Severi-type inequalities. We study the general structures of the eventual paracanonical maps by generic vanishing theory. In particular, we obtain rather complete descriptions of the eventual paracanonical maps of surfaces and threefolds.
math.AG↗
Irregular varieites with geometric genus one, theta divisors, and fake tori
We study the Albanese image of a compact Kähler manifold whose geometric genus is one. We prove that if the Albanese map is not surjective, then the manifold maps surjectively onto an ample divisor in some abelian variety, and in many cases the ample divisor is a theta divisor. With a further natural assumption on the topology of the manifold, we prove that the manifold is an algebraic fiber space over a genus two curve. Finally we apply these results to study the geometry of a compact Kähler manifold which has the same Hodge numbers as those of an abelian variety of the same dimension.
math.AG↗
On the Chow ring of certain rational cohomology tori
Let $f: X \rightarrow A$ be an abelian cover from a complex algebraic variety with quotient singularities to an abelian variety. We show that $f^*$ induces an isomorphism between the rational cohomology rings $H^\bullet(A, \mathbb{Q})$ and $H^\bullet(X, \mathbb{Q})$ if and only if $f^*$ induces an isomorphism between the Chow rings with rational coefficients $\mathrm{CH}^\bullet(A)_{\mathbb{Q}}$ and $\mathrm{CH}^\bullet(X)_{\mathbb{Q}}$.
math.AG↗
Rational cohomology tori
We study normal compact Kähler spaces whose rational cohomology ring is isomorphic to that of a complex torus. We call them rational cohomology tori. We classify, up to dimension three, those with rational singularities. We then give constraints on the degree of the Albanese morphism and the number of simple factors of the Albanese variety for rational cohomology tori of general type (hence projective) with rational singularities. Their properties are related to the birational geometry of smooth projective varieties of general type, maximal Albanese dimension, and with vanishing holomorphic Euler characteristic. We finish with the construction of series of examples.
math.AG↗
Unboundedness of fiber invariants of canonically fibred varieties of general type
We answer an open question concerning the boundedness of canonical fiber spaces in high dimensions and prove the following: for any set of integers $n\geq 3$, $0 0$, there exists a nonsingular projective $n$-fold $X$ of general type so that $X$ is canonically fibred by $d$-dimensional varieties $F$ with $p_g(F)\geq N$. This disproves the desired boundedness parallel to Beauville's boundedness theorem in the surface case.
math.AG↗
Characterization of products of theta divisors
We study products of irreducible theta divisors from two points of view. On the one hand, we characterize them as normal subvarieties of abelian varieties such that a desingularization has holomorphic Euler characteristic 1. On the other hand, we identify them up to birational equivalence among all varieties of maximal Albanese dimension. We also describe the structure of maximal Albanese dimension varieties X with holomorphic Euler characteristic 1 and irregularity 2dim X-1.
math.AG↗
Varieties with vanishing holomorphic Euler characteristic II
We continue our study on smooth complex projective varieties $X$ of maximal Albanese dimension and of general type satisfying $χ(X, ω_X)=0$. We formulate a conjectural characterization of such varieties and prove this conjecture when the Albanese variety has only three simple factors.
math.AG↗
Cohomological support loci of varieties of Albanese fiber dimension one
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.
math.AG↗
On 6-canonical map of irregular threefolds of general type
We prove that, for any nonsingular projective irregular 3-fold of general type, the 6-canonical map is birational onto its image.
math.AG↗
On the Iitaka fibration of varieties of maximal Albanese dimension
We prove that the tetracanonical map of a variety $X$ of maximal Albanese dimension induces the Iitaka fibration. Moreover, if $X$ is of general type, then the tricanonical map is birational.
math.AG↗
A Noether-Lefschetz theorem for varieties of r-planes in complete intersections
Let X be a very general complete intersection in complex projective space and we denote by $F_r(X)$ the variety of r-planes in X, for $r\geq 1$. We show that the Picard number of $F_r(X)$ is 1, as soon as $\dim F_r(X)\geq 2$, except when X is a quadric of dimension 2r or 2r+2, or X is a complete intersection of two quadrics of dimension 2r+2. We also apply this result to determine the cohomology class of the variety of planes of a cubic fivefold contained (by the Abel-Jacobi map) in the intermediate Jacobian.
math.AG↗
An effective version of a theorem of Kawamata on the Albanese map
This paper is devoted to study the birational properties of the Albanese map. I generalize a theorem of Kawamata to tell when the Albanese map is surjective and when it is an algebraic fiber space.
math.AG↗
Varieties with $P_2(X)=2$ and $q(X)=\dim X$
We give a complete description of all smooth projective complex varieties with $P_2(X)=2$ and $q(X)=\dim(X)$.
math.AG↗
On varieties of maximal Albanese dimension
Let $f: X\to Y$ be a surjective morphism of smooth $n$-dimensional projective varieties, with $Y$ of maximal Albanese dimension. Hacon and Pardini studied the structure of $f$ assuming $P_m(X)=P_m(Y)$ for some $m\geq 2$. We extend their result by showing that, under the above assumtions, $f$ is birationally equivalent to a quotient by a finite abelian group. We also study the pluricanonical map of varieties of maximal Albanese dimesnion. The main result is that the linear series $|5K_X|$ incuces the Iitaka model of $X$.
math.AG↗