Welcome to MathOverflow

Question

7

2

While reading this paper of Kollár, the following question came up. If $f:X\to Y$ is a fiber space (i.e. surjective holomorphic map with connected fibers) with $X,Y$ smooth projective manifolds, with $K_X\sim_{\mathbb{Q}} 0$, and with $f$ a submersion everywhere, does there exist a finite étale cover $Y'\to Y$ such that $X\times_{Y} Y'$ is isomorphic to a product family (and so $K_Y\sim_{\mathbb{Q}}0$ too)?

Note that since $f$ is a submersion, every fiber $F$ satisfies $K_F\sim_{\mathbb{Q}}0$.

The case when $\mathrm{dim}X=\mathrm{dim}Y+1$ (which includes the case when $\mathrm{dim}X=2$) is easy, since then the fibers are elliptic curves, and the $j$-invariant of each fiber gives a holomorphic function on $Y$, hence constant. It then follows from Fisher-Grauert that $f$ is a holomorphic fiber bundle, and you can apply for example Lemma 17 in this paper of Kollár-Larsen to conclude.

This same argument shows that in arbitrary dimension it is enough to show that all the fibers of $f$ are biholomorphic.

Thanks to work of Kawamata we know that $\kappa(Y)\leq 0$. We can also apply Theorem 4.4 in this paper of Fujino-Gongyo and get that $-K_Y$ is semiample. So if $\kappa(Y)=0$ then we obtain that $K_Y\sim_{\mathbb{Q}}0$. At this point one can apply the arguments in Theorem 4.8 of this paper of Ambro and conclude.

So the question is reduced to the following problem: is it possible to have a holomorphic submersion $f:X\to Y$ with connected fibers, where $X,Y$ are smooth projective manifolds with $K_X\sim_{\mathbb{Q}} 0$ and $\kappa(Y)<0$ ?

If we assume that $Y$ is simply connected and that $X$ has $K_X\cong\mathcal{O}_X$ and $h^{p,0}(X)=0$ for $p=1,...,\mathrm{dim} X-1$ (so $X$ is Calabi-Yau in the stronger sense), then Corollary 2.5 in this paper of Zhang-Zuo implies that this is impossible.

In general I don't know the answer to this, but when $f$ is not assumed to be a submersion (so there might be singular fibers) then $\kappa(Y)<0$ can happen, for example when $X$ is an elliptically fibered $K3$ surface and $Y=\mathbb{P}^1$.

edited Jul 28 at 23:10

YangMills

community wiki

10 revisions

I don't know if this works, but I'd try: Use Bogomolov-Beauville to split a finite étale cover $X' \to X$ into products of tori, C-Y and HK manifolds. Then let $Y'$ be the product of factors $F$ such that the induced map $F \to X' \to X \to Y$ doesn't map everything to a point. Now hope and pray that the induced map $Y' \to Y$ is a finite étale voer. – Gunnar Magnusson Jun 28 at 20:22

1

*voer $\to$ cover – Gunnar Magnusson Jun 28 at 20:22

How do you use the assumption that $f$ has no singular fibers? – YangMills Jun 28 at 21:21

I assume you know how to handle the case when $Y$ is a surface with $\kappa(Y)=0$. If $\kappa(Y)<0$ and $Y$ is rational then the associated (here I am using that $f$ is a submersion) map $\phi: Y\to {\mathcal M}_g$ ($g$ is the genus of fiber) is trivial, since $Y$ is simply-connected and Teichmuller space is a domain in $C^{3g-3}$. If $Y$ is ruled, $r: Y\to C_h$, then, similarly, $h\ge 1$. Again, for each fiber of $r$, its image in ${\mathcal M}_g$ is a point. Hence, $X$ admits another smooth fibration with fibers $P^1$ and base $Y'$ which, in turn, is a fibration over $C_h$ with fibers of... – Misha Jul 7 at 13:50

of genus $g$. Since you know that $\kappa(Y')<0$, this leaves the cases $g=0$ or/and $h=0$. Maybe you can exclude these by a direct computation. – Misha Jul 7 at 13:58

show 1 more comment

Calabi-Yau fiber space without singular fibers implies finite quotient of product?

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.