38
$\begingroup$

I am currently trying to get my head around flatness in algebraic geometry. In particular, I'm trying to relate the notion of flatness in algebraic geometry to the notion of fibration in algebraic topology, because they do formally seem quite similar. I'm guessing that the answers to my questions are "well-known", but I am struggling to find anything decent in the literature. Any help/references will be most useful.

The set up is this: Let $E,B$ be smooth projective complex algebraic varieties, and let $\pi:E \to B$ be a surjective flat map such that the fibres $E_b:=\pi^{-1}(b), b \in B$ are smooth projective complex algebraic varieties.

I am aware that each fibre has the same Hilbert polynomial, so cohomologically they are quite similar. But each fibre can certainly be non-isomorphic as algebraic varieties (e.g. moduli spaces). However:

  1. Using GAGA type methods, we can consider $E$ and $B$ as complex manifolds. Is it true that $(\pi,E,B)$ is a fibration? That is, satisfies the homotopy lifting property with respect to any topological space?

  2. Again considering $E,B$ and each fibre $E_b$ as a complex manifold, is it true that each fibre $E_b$ is homotopy equivalent to each other? What about homeomorphic/diffeomorphic?

Thanks,

Dan

$\endgroup$
5
  • 4
    $\begingroup$ Isn't flatness a local property? Then wouldn't the correct analog be something like a map which is a local fibration $E \to B$? For example if we have a covering map $$\cup_i U_i \to X$$. Is this not a flat map? It won't be a fibration, but it will be a local fibration. I have been told that the flat topology in algebraic geometry is similar to the surjective submersion topology on manifolds. I don't know how strong this analogy is. $\endgroup$ Apr 2, 2010 at 20:09
  • 2
    $\begingroup$ The question also specifies that the fibers are projective, which forces them to vary in much nicer families. Otherwise the examples you give would indeed be counterexamples. $\endgroup$ Apr 2, 2010 at 20:54
  • $\begingroup$ Ahh, Thanks Tyler. I missed that very important point. Is is true though that without this projective fiber assumption you still get a local fibration? $\endgroup$ Apr 2, 2010 at 21:07
  • $\begingroup$ It appears that I made a mistake, which Emerton pointed out more eloquently below, in assuming that "projective fibers" was actually something like being a proper map. My apologies. Your example above is also a counterexample. $\endgroup$ Apr 3, 2010 at 2:25
  • $\begingroup$ Wouldn't descent theory provide a lot more intuition about the reason that flatness is akin to "local fibration" than focusing on the proper case? Then "proper flat" could be appreciated more clearly (in connection with Ehresmann's theorem). $\endgroup$
    – BCnrd
    Apr 3, 2010 at 15:00

1 Answer 1

38
$\begingroup$

A surjective flat (equals faithfully flat) map with smooth fibres is in fact a smooth morphism, and hence induces a submersion on the underlying manifolds obtained by passing to complex points. Since the fibres are projective, it is furthermore proper (in the sense of algebraic geometry) [see the note added at the end; this is not a logical deduction from the given condition on the fibres, but nevertheless seems to be a reasonable reinterpretation of that condition], and hence proper (in the sense of topology). A theorem of Ehresmann states that any proper submersion of smooth manifolds is a fibre bundle. In particular, it is a fibration in the sense of homotopy theory, and the fibres are diffeomorphic (thus also homeomorphic, homotopic, ... ).

Note: Your specific question is really about smooth morphisms (these are flat morphisms with smooth fibres, although there are other definitions too, which are equivalent under mild hypotheses on the schemes involved, and in particular, are equivalent for maps of varieties over a field). One point about the notion of flat map is that it allows one to consider cases in which the fibres over certain points degenerate, but still vary continuously (in some sense). It may well be a special feature of algebraic geometry (and closely related theories such as complex analytic geometry) that one can have such a reasonable notion, a feature related to the fact that one can work in a reasonable manner with singular spaces in algebraic geometry, because the singularities are so mild compared to what can occur in (say) differential topology.

[Added: I should add that I took a slight liberty with the question, in that I interpreted the condition that the fibres are projective stronger than is literally justified, in so far as I replaced it with the condition that the map is proper. As is implicit in Chris Schommer-Pries's comment below, we can find non-proper smooth surjections whose fibres are projective varieties: e.g. if, as in his example, we consider the covering of $\mathbb P^1$ by two copies of $\mathbb A^1$ in the usual way, then the fibres consists of either one or two points (one point for $0$ and the point at $\infty$, two points for all the others), and any finite set of points is certainly a projective variety.

Nevertheless, my interpretation of the question seems to have been helpful; hopefully, with the addition of this remark, it is not too misleading.]

$\endgroup$
7
  • $\begingroup$ I'm not an algebraic geometer, so my thinking could be way off. Is the inclusion of an open affine a flat map? $\endgroup$ Apr 2, 2010 at 20:33
  • $\begingroup$ If the answer is "yes", then isn't the map $$\mathbb{A}^1 \sqcup \mathbb{A}^1 \to \mathbb{P}^1$$ a flat map, too? Here the two inclusions are the standard coverings used to show P^1 is a scheme. This does not become a fibration of topological spaces. $\endgroup$ Apr 2, 2010 at 20:38
  • 5
    $\begingroup$ The inclusion of an open affine, as well as the map $\mathbb{A}^1\sqcup \mathbb{A}^1 \to \mathbb{P}^1$ are flat. The thing is that the theorem of Ehresmann applies only when the map is proper. $\endgroup$ Apr 2, 2010 at 20:49
  • $\begingroup$ Thanks very much for your reply Emerton, it is most enlightening. The essential link which I was missing was Ehresmann's theorem, which I had not seen before. $\endgroup$ Apr 2, 2010 at 20:56
  • 2
    $\begingroup$ You're welcome. Note that I added a remark to the end of my answer which deals with the valid concern that Chris Schommer-Pries raises in his comments. $\endgroup$
    – Emerton
    Apr 3, 2010 at 1:35

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.