This paper is concerned with singular projective rationally connected threefolds $X$ which carry non-zero pluri-forms, \textit{i.e.} $H^0(X,(Ω_X^1)^{[\otimes m]}) \neq \{0\}$ for some $m > 0$, where $(Ω_X^1)^{[\otimes m]}$ is the reflexive hull of $(Ω_X^1)^{\otimes m}$. If $X$ has $\mathbb{Q}$-factorial terminal singularities, then we show that there is a fibration $p$ from $X$ to $\mathbb{P}^1$. Moreover, there is a natural isomorphism from $H^0(X, (Ω_X^1)^{[\otimes m]})$ to $H^0(\mathbb{P}^1, \mathscr{O}_{\mathbb{P}^1}(-2m+\sum_{z\in \mathbb{P}^1} [\frac{(m(p,z)-1)m}{m(p,z)}]))$ for all $m>0$, where $m(p,z)$ is the smallest positive coefficient in the divisor $p^*z$.
This paper is concerned with projective rationally connected surfaces $X$ with canonical singularities and having non-zero pluri-forms, i.e. $(Ω_X^1)^{[\otimes m]}$ has non-zero global sections for some m > 0, where $(Ω_X^1)^{[\otimes m]}$ is the reflexive hull of $(Ω_X^1)^{\otimes m}$. We show that any such surface can be obtained from a rational ruled surface by a very explicit sequence of blow-ups and blow-downs. Moreover, we interpret the existence of non-zero pluri-forms in terms of semistable reduction.
Let $X$ be a smooth projective rationally connected threefold with nef anticanonical divisor. We give a classification for the case when $-K_X$ is not semi-ample.
In this work, we show that for a certain class of threefolds in positive characteristics, rational-chain-connectivity is equivalent to supersingularity. The same result is known for K3 surfaces with elliptic fibrations. And there are examples of threefolds that are both supersingular and rationally chain connected.
Let $X$ be a smooth complex projective rationally connected threefold with $-K_X$ nef and not semi-ample. In our previous work, we classified all such threefolds when $|{-}K_X|$ has no fixed divisor. In this paper, we continue our classification when $|{-}K_X|$ has a non-zero fixed divisor.
We prove a structure theorem for non-isomorphic endomorphisms of weak Q-Fano threefolds, or more generally for threefolds with big anti-canonical divisor. Also provided is a criterion for a fibred rationally connected threefold to be rational. As a consequence, we show (without using the classification) that every smooth Fano threefold having a non-isomorphic surjective endomorphism is rational.
We prove that the integral cohomology modulo torsion of a rationally connected threefold comes from the integral cohomology of a smooth curve via the cylinder homomorphism associated to a family of $1$-cycles. Equivalently, it is of strong coniveau 1 in the sense of Benoist-Ottem.
We show that if X is a smooth rationally connected threefold and C is a smooth projective curve then C can be embedded in X. Furthermore, a version of this property characterises rationally connected varieties of dimension at least 3. We give some details about the toric case.
In his work on birational classification of foliations on projective surfaces, Brunella showed that every regular foliation on a rational surface is algebraically integrable with rational leaves. This led Touzet to conjecture that every regular foliation on a rationally connected manifold is algebraically integrable with rationally connected leaves. Druel proved this conjecture for the case of weak Fano manifolds. In this paper, we extend this result showing that Touzet's conjecture is true for codimension one foliations on threefolds with nef anti-canonical bundle.
We show that the only finite quasi-simple non-abelian groups that can faithfully act on rationally connected threefolds are the following groups: $\mathfrak{A}_5$, $\operatorname{PSL}_2(\mathbf{F}_7)$, $\mathfrak{A}_6$, $\operatorname{SL}_2(\mathbf{F}_8)$, $\mathfrak{A}_7$, $\operatorname{PSp}_4(\mathbf{F}_3)$, $\operatorname{SL}_2(\mathbf{F}_{7})$, $2.\mathfrak{A}_5$, $2.\mathfrak{A}_6$, $3.\mathfrak{A}_6$ or $6.\mathfrak{A}_6$. All of these groups with a possible exception of $2.\mathfrak{A}_6$ and $6.\mathfrak{A}_6$ indeed act on some rationally connected threefolds.
This note mainly studies the generic finiteness of ϕ_m of a complex projective 3-fold of general type. A new result on the classification to bicanonical pencil for Gorenstein 3-folds is attached in the last section.
Finite abelian groups acting on rationally connected threefolds II: groups of K3 type
Steklov Mathematical Institute of Russian Academy of Sciences（俄罗斯科学院斯捷克洛夫数学研究所）；Center of Pure Mathematics, MIPT（莫斯科物理技术学院纯数学中心）；Laboratory of Algebraic Geometry, National Research University Higher School of Economics（国立高等经济大学代数几何实验室）；School of Mathematics, University of Edinburgh（爱丁堡大学数学学院）；Courant Institute（库朗数学科学研究所）
Let $V$ be a smooth, projective, rationally connected variety, defined over a number field $k$, and let $Z\subset V$ be a closed subset of codimension at least two. In this paper, for certain choices of $V$, we prove that the set of $Z$-integral points is potentially Zariski dense, in the sense that there is a finite extension $K$ of $k$ such that the set of points $P\in V(K)$ that are $Z$-integral is Zariski dense in $V$. This gives a positive answer to a question of Hassett and Tschinkel from 2001.
We investigate birationality of the anti-pluricanonical map $ϕ_{-m}$, the rational map defined by the anti-pluricanonical system $|-mK|$, on $\mathbb{Q}$-Fano threefolds.
We study symplectic geometry of rationally connected $3$-folds. The first result shows that rationally connectedness is a symplectic deformation invariant in dimension $3$. If a rationally connected $3$-fold $X$ is Fano or $b_2(X)=2$, we prove that it is symplectic rationally connected, i.e. there is a non-zero Gromov-Witten invariant with two insertions being the class of a point. Finally we prove that many rationally connected $3$-folds are birational to a symplectic rationally connected variety.
We prove that for any smooth complex projective threefold of Kodaira dimension one, the $m$-th pluricanonical map is birational to the Iitaka fibration for every $m\geq5868$ and divisible by $12$.
We prove that a fibration X \to \Bbb P_1, the general fiber of which is a smooth Fano threefold, is rationally connected. The proof is based on a generalization of Tsen's classical theorem: a fibration X/C over a curve the general fiber of which is a Fano complete intersection in a product of weighted projective spaces has a section.
In this paper, we show that projective globally $F$-regular threefolds, defined over an algebraically closed field of characteristic $p\geq 11$, are rationally chain connected.
We prove that in a family of projective threefolds defined over an algebraically closed field, the locus of rational fibers is a countable union of closed subsets of the locus of separably rationally connected fibers. When the ground field has characteristic zero, this implies that the locus of rational fibers in a smooth family of projective threefolds is the union of at most countably many closed subfamilies.
Let $X$ be a normal projective threefold with mild singularities, and $L_X$ a strictly nef $\mathbb{Q}$-divisor on $X$. First, we show the ampleness of $K_X+tL_X$ with sufficiently large $t$ if either the Kodaira dimension $κ(X)\neq 0$ or the augmented irregularity $q^{\circ}(X)\neq 0$. Second, we show that, if $(X,Δ)$ is a projective klt threefold pair with the anti-log canonical divisor $-(K_X+Δ)$ being strictly nef, then $X$ is rationally connected.
Given a smooth projective 3-fold Y, with $H^{3,0}(Y)=0$, the Abel-Jacobi map induces a morphism from each smooth variety parameterizing 1-cycles in Y to the intermediate Jacobian J(Y). We study in this paper the existence of families of 1-cycles in Y for which this induced morphism is surjective with rationally connected general fiber, and various applications of this property. When Y itself is rationally connected, we relate this property to the existence of an integral homological decomposition of the diagonal. We also study this property for cubic threefolds, completing the work of Iliev-Ma…
Given a smooth projective 3-fold Y, with $H^{3,0}(Y)=0$, the Abel-Jacobi map induces a morphism from each smooth variety parameterizing 1-cycles in Y to the intermediate Jacobian J(Y). We study in this paper the existence of families of 1-cycles in Y for which this induced morphism is surjective with rationally connected general fiber, and various applications of this property. When Y itself is rationally connected, we relate this property to the existence of an integral homological decomposition of the diagonal. We also study this property for cubic threefolds, completing the work of Iliev-Ma…
We study zero cycles on rationally connected varieties defined over characteristic zero Laurent fields with algebraically closed residue fields. We show that the degree map induces an isomorphism for rationally connected threefolds defined over such fields. In general, the degree map is an isomorphism if rationally connected varieties defined over algebraically closed fields of characteristic zero satisfy the integral Hodge/Tate conjecture for one cycles, or if the Tate conjecture is true for divisor classes on surfaces defined over finite fields. To prove these results, we introduce technique…
We show that polarized endomorphisms of rationally connected threefolds with at worst terminal singularities are equivariantly built up from those on Q-Fano threefolds, Gorenstein log del Pezzo surfaces and P^1. Similar results are obtained for polarized endomorphisms of uniruled threefolds and fourfolds. As a consequence, we show that every smooth Fano threefold with a polarized endomorphism of degree > 1, is rational.
We prove that if $X$ is a rationally connected threefold and $G$ is a $p$-subgroup in the group of birational selfmaps of $X$, then $G$ is an abelian group generated by at most $3$ elements provided that $p\ge 17$. We also prove a similar result for $p\ge 11$ under an assumption that $G$ acts on a (Gorenstein) $G$-Fano threefold, and show that the same holds for $p\ge 5$ under an assumption that $G$ acts on a $G$-Mori fiber space.
In this note, we study the normal compact Kähler (possibly singular) threefold $X$ admitting the action of a free abelian group $G$ of maximal rank, all the non-trivial elements of which are of positive entropy. If such $X$ is further assumed to have only terminal singularities, then we prove that it is either a rationally connected projective threefold or bimeromorphic to a quasi-étale quotient of a complex $3$-torus.
Generalizing the well-known Shafarevich hyperbolicity conjecture, it has been conjectured by Viehweg that a quasi-projective manifold that admits a generically finite morphism to the moduli stack of canonically polarized varieties is necessarily of log general type. Given a quasi-projective threefold Y that admits a non-constant map to the moduli stack, we employ extension properties of logarithmic pluri-forms to establish a strong relationship between the moduli map and the minimal model program of Y: in all relevant cases the minimal model program leads to a fiber space whose fibration facto…
This work consists of two parts. In the first part we develop new techniques to compute Koszul cohomology groups for several classes of varieties. As applications we prove results on projective normality and syzygies for algebraic surfaces. From more general results we obtain in particular the following: a) Mukai's conjecture (and stronger variants of it) regarding projective normality and normal presentation for surfaces with Kodaira dimension 0, and uniform bounds for higher syzygies associated to adjoint linear series, b) effective bounds along the lines of Mukai's conjecture regarding proj…
Let $X$ be a projective variety over an algebraically closed field $k$ of arbitrary characteristic $p \ge 0$. A surjective endomorphism $f$ of $X$ is $q$-polarized if $f^\ast H \sim qH$ for some ample Cartier divisor $H$ and integer $q > 1$. Suppose $f$ is separable and $X$ is $\mathbb{Q}$-Gorenstein and normal. We show that the anti-canonical divisor $-K_X$ is numerically equivalent to an effective $\mathbb{Q}$-Cartier divisor, strengthening slightly the conclusion of Boucksom, de Fernex and Favre (Theorem C) and also covering singular varieties over an algebraically closed field of arbitrary…
Based on a recent extension theorem for reflexive differential forms, that is, regular differential forms defined on the smooth locus of a possibly singular variety, we study the geometry and cohomology of sheaves of reflexive differentials. First, we generalise the extension theorem to holomorphic forms on locally algebraic complex spaces. We investigate the (non-)existence of reflexive pluri-differentials on singular rationally connected varieties, using a semistability analysis with respect to movable curve classes. The necessary foundational material concerning this stability notion is dev…
