1
$\begingroup$

Let $f:X\rightarrow \mathbb{P}_1$ be a smooth fibration from a smooth rationally connected manifolds to the smooth rational curve $\mathbb{P}_1$. Assume further that the generic fiber of $f$ is also rationally connected.

Question: Besides the trivial product of $\mathbb{P}_1$ with a rationally connected manifolds, is there some examples of such fibration which is not locally isotrivial? Thanks!

$\endgroup$
4
  • 1
    $\begingroup$ Begin with $Y=\mathbb{P}^2\times \mathbb{P}^1$ with its projection to $\mathbb{P}^1$. For $N\gg 0$, let $(\sigma_i:\mathbb{P}^1\to \mathbb{P}^2\times \mathbb{P}^1)_{i=1,\dots,N}$ be pairwise disjoint section of this projection. Let $\nu:X\to Y$ be the blowing up of $X$ along the ideal sheaf of the union of the sections. $\endgroup$ Commented Feb 11, 2017 at 12:39
  • $\begingroup$ @JasonStarr : Thanks Jason, I am convinced by your examples! If we further assume that $-K_X$ is nef or semi-ample, can we find similar counter-examples? $\endgroup$ Commented Feb 11, 2017 at 12:50
  • $\begingroup$ If you only ask that $-K_X$ is nef or semiample, you can use the example above with $N=5,6,7,8$. $\endgroup$ Commented Feb 11, 2017 at 13:04
  • $\begingroup$ There are also many examples where the anticanonical divisor is relatively $f$-ample, i.e., all fibers are Fano manifolds, and that is not everywhere locally trivial (yet is locally trivial on a dense open subset of $\mathbb{P}^1$). The examples which seem to arise often on MO are the examples of Pasquier-Perrin (all fibers are Fano manifolds of Picard rank $1$, the general fiber is homogeneous, yet the special fiber is only "almost homogeneous"). $\endgroup$ Commented Feb 11, 2017 at 16:03

1 Answer 1

1
$\begingroup$

I am just posting my comment as an answer.

The simplest examples are obtained as follows. Begin with $Y=\mathbb{P}^2\times \mathbb{P}^1$ together with its projection $$\text{pr}_2: \mathbb{P}^2\times \mathbb{P}^1 \to \mathbb{P}^1.$$ For each integer $N\geq 5$, let $(\sigma_i:\mathbb{P}^1\to \mathbb{P}^2\times \mathbb{P}^1)_{i=1,\dots,N}$ be a collection of pairwise disjoint sections of $\text{pr}_2$ such that for a general pair $(a,b)\in \mathbb{P}^1\times\mathbb{P}^1$, $(\mathbb{P}^2,\{\sigma_1(a),\dots,\sigma_N(a)\})$ is not projectively equivalent to $(\mathbb{P}^2,\{\sigma_1(b),\dots,\sigma_N(b)\})$. Let $\nu:X\to Y$ be the blowing up of $X$ along the ideal sheaf of the union of the sections $\sigma_i$. Let $f$ be $\text{pr}_2\circ \nu$.

In particular, if $N=5,6,7,8$ and if the sections are sufficiently general, then every fiber of $\nu$ has nef, big, and globally generated anticanonical bundle. Moreover, the general fiber is Fano.

If you want examples where every fiber is Fano, these do also exist, but the examples that I know are isotrivial over a dense open subset of the base. The idea is to consider specializations of projective homogeneous spaces of Picard rank one to Fano manifolds of Picard rank one that are not homogeneous. Such examples were discovered by Pasquier-Perrin.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .