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.
Using deformation theory of rational curves, we prove a conjecture of Sommese on the extendability of morphisms from ample subvarieties when the morphism is a smooth (or mildly singular) fibration with rationally connected fibers. We apply this result in the context of Fano fibrations and prove a classification theorem for projective bundle and quadric fibration structures on ample subvarieties.
We study the Iitaka-Kodaira dimension of nef relative anti-canonical divisors. As a consequence, we prove that given a complex projective variety with klt singularities, if the anti-canonical divisor is nef, then the dimension of a general fibre of the maximal rationally connected fibration is at least the Iitaka-Kodaira dimension of the anti-canonical divisor.
In this paper we describe the fundamental group-scheme of a proper variety fibered over an abelian variety with rationally connected fibers over an algebraically closed field. We use old and recent results for the Nori fundamental group-scheme, and of finite group-schemes in general to prove that the kernel of such a fibration is finite, and that the homotopy exact sequence holds in this case. As an application, we describe the fundamental group-schemes of certain proper varieties that are connected by curves or are related to them.
A well known result of Miyaoka asserts that a complex projective manifold is uniruled if its cotangent bundle restricted to a general complete intersection curve is not nef. Using the Harder-Narasimhan filtration of the tangent bundle, it can moreover be shown that the choice of such a curve gives rise to a rationally connected foliation of the manifold. In this note we show that, conversely, a movable curve can be found so that the maximal rationally connected fibration of the manifold may be recovered as a term of the associated Harder-Narasimhan filtration of the tangent bundle.
Under some positivity assumptions, extension properties of rationally connected fibrations from a submanifold to its ambient variety are studied. Given a family of rational curves on a complex projective manifold X inducing a covering family on a submanifold Y with ample normal bundle in X, the main results relate, under suitable conditions, the associated rational connected fiber structures on X and on Y. Applications of these results include an extension theorem for Mori contractions of fiber type and a classification theorem in the case Y has a structure of projective bundle or quadric fibr…
A theorem of Graber, Harris, and Starr states that a rationally connected fibration over a curve has a section. We study an analogous question in symplectic geometry. Namely, given a rationally connected fibration over a curve, can one find a section which gives a non-zero Gromov-Witten invariant? We observe that for any fibration, the existence of a section which gives a non-zero Gromov-Witten invariant only depends on the generic fiber, i.e. a variety defined over the function field of a curve. Some examples of rationally connected fibrations with this property are given, including all ratio…
The Hodge conjecture is shown to hold for rationally connected fivefolds, or more generally for fivefolds for which the base of the maximal rationally connected fibration is at most 3 dimensional.
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.
We study the Brauer-Manin obstruction to the Hasse principle and to weak approximation for 0-cycles on algebraic varieties that possess a fibration structure. The exactness of the local-to-global sequence $(E)$ of Chow groups of 0-cycles was known only for a fibration whose base is either a curve or the projective space. In the present paper, we prove the exactness of $(E)$ for fibrations whose bases are Châtelet surfaces or projective models of homogeneous spaces of connected linear algebraic groups with connected stabilizers. We require that either all fibres are split and most fibres satisf…
Automorphism groups and Homogeneous fibrations on projective varieties with nef anticanonical divisors
Department of Mathematics, Southern University of Science and Technology(南方科技大学数学系);Department of Mathematical Sciences, Xi’an Jiaotong-Liverpool University(西交利物浦大学数学科学系)
Del Pezzo fibrations appear as minimal models of rationally connected varieties. The rationality of smooth del Pezzo fibrations is a well studied question but smooth fibrations are not dense in moduli. Little is known about the rationality of the singular models. We prove birational rigidity, hence non-rationality, of del Pezzo fibrations with simple non-Gorenstein singularities satisfying the famous $K^2$-condition. We then apply this result to study embeddings of $\operatorname{PSL}_2(7)$ into the Cremona group.
In this paper, we study the structure of Fano fibrations of varieties admitting an int-amplified endomorphism. We prove that if a normal $\mathbb{Q}$-factorial klt projective variety $X$ has an int-amplified endomorphism, then there exists an étale in codimension one finite morphism $\widetilde{X} \to X$ such that $\widetilde{X}$ is of Fano type over its albanese variety. As a corollary, if we further assume that $X$ is smooth and rationally connected, then $X$ is of Fano type.
We study weak approximation on rationally connected varieties under an assumption of strong approximation for a "simple" variety or under Schinzel's hypothesis. We also get some unconditional results.
This text is an introduction to math.AG/0110051 (to appear in Ann. Inst. Fourier), and describes a canonical decomposition of compact Kähler manifolds $X$ first by means of their "core", the unique fibration on $X$ with fibres special, and orbifold base of general type. Being special means that there does not exist a fibration onto an orbifold of general type. The core is next decomposed into a tower of fibrations with all orbifold fibres either with $κ=0$, or rationally generated (a weak version of rationally connected).
In this paper, we pose several conjectures on structures and images of maximal rationally connected fibrations of smooth projective varieties admitting semi-positive holomorphic sectional curvature. Toward these conjectures, we prove that the canonical bundle of images of such fibrations is not big. Our proof gives a generalization of Yang's solution using RC positivity for Yau's conjecture. As an application, we show that any compact Kähler surface with semi-positive holomorphic sectional curvature is rationally connected, or a complex torus, or a ruled surface over an elliptic curve.
Given a compact complex manifold X of dimension n, we define a bimeromorphic invariant $κ_+(X)$ as the maximum p for which there is a saturated line subsheaf L of the sheaf of holomorphic p forms whose Kodaira dimension $κ(L)$ equals p. We call X special if $κ_+(X)=0$. We give some evidence that this condition characterizes X to have identically vanishing Kobayashi pseudometric. We use the well-known construction of F. Campana to give, for each projective X a canonical fibration $f: X\to Y$ holomorphic outside a proper subvariety of Y and whose general fibers are special. We show that the inhe…
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…
We show that the image of a dominant meromorphic map from an irreducible compact Calabi-Yau manifold $X$ whose general fiber is of dimension strictly between $0$ and $\dim X$ is rationally connected. Using this result, we construct for any hyper-Kähler manifold $X$ admitting a Lagrangian fibration a Lagrangian constant cycle subvariety $Σ_H$ in $X$ which depends on a divisor class $H$ whose restriction to some smooth Lagrangian fiber is ample. If $\dim X = 4$, we also show that up to a scalar multiple, the class of a zero-cycle supported on $Σ_H$ in $\mathrm{CH}_0(X)$ depend neither on $H$ nor…
We prove that a general Fano fibration $π\colon V\to {\mathbb P}^1$, the fiber of which is a double Fano hypersurface of index 1, is birationally superrigid provided it is sufficiently twisted over the base. In particular, on $V$ there are no other structures of a rationally connected fibration. The proof is based on the method of maximal singularities.
We continue to study birational geometry of Fano fibrations $π\colon V\to {\mathbb P}^1$ the fibers of which are Fano double hypersurfaces of index 1. For a majority of families of this type, which do not satisfy the condition of sufficient twistedness over the base, we prove birational rigidity (in particular, it means that there are no other structures of a fibration into rationally connected varieties) and compute their groups of birational self-maps. We considerably improve the principal components of the method of maximal singularities, in the first place, the technique of counting multip…
Given a complex projective manifold $X$ and a divisor $D$ with normal crossings, we say that the logarithmic tangent bundle $T_X(-\log D)$ is R-flat if its pull-back to the normalization of any rational curve contained in $X$ is the trivial vector bundle. If moreover $-(K_X+D)$ is nef, then the log canonical divisor $K_X+D$ is torsion and the maximally rationally chain connected fibration turns out to be a smooth locally trivial fibration with typical fiber $F$ being a toric variety with boundary divisor $D_{|F}$.
We prove a structural result about the space of one cycles of a separably rationally connected variety or a separably rationally connected fibration over a curve, either as a topological group or as an h-sheaf. This has the following consequences: a proof that the strong coniveau filtration agrees with the coniveau filtration on degree 3 homology, and a result on the integral Tate conjecture for homologically trivial one cycles.
Conjectures on the existence of zero-cycles on arbitrary smooth projective varieties over number fields were proposed by Colliot-Thélène, Sansuc, Kato and Saito in the 1980's. We prove that these conjectures are compatible with fibrations, for fibrations into rationally connected varieties over a curve. In particular, they hold for the total space of families of homogeneous spaces of linear groups with connected geometric stabilisers. We prove the analogous result for rational points, conditionally on a conjecture on locally split values of polynomials which a recent work of Matthiesen establi…
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…
This survey, which contains very few proofs, addresses the general question: Over a given type of field, is there a natural class of varieties which automatically have a rational point? Fields under consideration here include: finite fields, p-adic fields, function fields in one or two variables over an algebraically closed field. Classical answers are given by the Chevalley-Warning theorem and by Tsen's theorem. More general answers were provided by a theorem of Graber, Harris and Starr and by a theorem of Esnault. The latter results apply to rationally connected varieties. We discuss these v…
Let X be a simply connected projective manifold with nef anticanonical bundle. We prove that X is a product of a rationally connected manifold and a manifold with trivial canonical bundle. As an application we describe the MRC fibration of any projective manifold with nef anticanonical bundle.
In this paper, we study a projective klt pair $(X, Δ)$ with the nef anti-log canonical divisor $-(K_X+Δ)$ and its maximally rationally connected fibration $ψ: X \dashrightarrow Y$. We prove that the numerical dimension of the anti-log canonical divisor $-(K_X+Δ)$ on $X$ coincides with that of the anti-log canonical divisor $-(K_{X_y}+Δ_{X_y})$ on a general fiber $X_y$ of $ψ: X \dashrightarrow Y$, which is an analogue of Ejiri-Gongyo's result formulated for the Kodaira dimension. As a corollary, we reveal a relation between positivity of the anti-canonical divisor and the rational connectedness…
Given a (meromorphic) fibration $f:X\to Y$ where $X$ and $Y$ are compact complex manifolds of dimensions $n$ and $m$, we define $L_f$ to be the invertible subsheaf of the sheaf of holomorphic $m$-forms of $X$ given by the saturation of $f^*K_Y$, where $K_Y$ is the canonical sheaf of $Y$. We define the Kodaira dimension of the orbifold base $(Y,f)$ by that of $L_f$ and call the fibration to be of general type if this dimension is the maximal $\dime Y$. We call $X$ special if it does not have a general type fibration with positive dimensional base and call $f$ special if its general fibers are. …
In this paper, we study almost nef regular foliations. We give a structure theorem of a smooth projective variety $X$ with an almost nef regular foliation $\mathcal{F}$: $X$ admits a smooth morphism $f: X \rightarrow Y$ with rationally connected fibers such that $\mathcal{F}$ is a pullback of a numerically flat regular foliation on $Y$. Moreover, $f$ is characterized as a relative MRC fibration of an algebraic part of $\mathcal{F}$. As a corollary, an almost nef tangent bundle of a rationally connected variety is generically ample. For the proof, we generalize Fujita's decomposition theorem. A…
In this article we study the structure of klt projective varieties with nef anticanonical divisor (and more generally, varieties of semi-Fano type), especially the canonical fibrations associated to them. We show that: 1. the Albanese map for such variety is a locally constant fibration (that is, an analytic fibre bundle with connected fibres that $X$ is equal to the product of the universal cover of the Albanese torus by the fibre of the Albanese map quotient by a diagonal action of the fundamenatl group of the Albanese torus); 2. if the smooth locus is simply connected, the MRC fibration of …