Saturday, 23 May 2009

Flatness in Algebraic Geometry vs. Fibration in Topology

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.]

No comments:

Post a Comment