Monday, 23 February 2009

ag.algebraic geometry - The topological analog of flatness?

Recall that a map $f:Xto Y$ of schemes is called flat iff for any $xin X$ the ring $O_{X,x}$ is a flat $O_{Y,f(x)}$-module.
Briefly the question is: what is the topological analog of this?



Many notions and constructions in scheme theory have obvious topological counterparts (which probably were the inspiration at least in some cases, but I'm not a historian to tell this for sure). Gluing schemes is analogous to gluing smooth manifolds out of copies of Euclidean balls. Proper, 'etale and smooth morphisms all have obvious topological analogs: these are proper maps, local homeomorphisms and smooth maps of smooth manifolds such that the differential at each point is surjective (submersions). A separated scheme is the analog of a Hausdorff space. Moreover, in all these cases it seems clear that there is just one way of translating the corresponding topological notion in the language of schemes.



Flat morphisms seem trickier (to me). I'm aware of two interpretations. One is too vague ("a map such that the preimages of points don't vary too wildly"). The other ("a Serre fibration") is not completely satisfactory: all fibers of a Serre fibration are homotopy equivalent and are even homeomorphic if the fibration is locally trivial. However, there are plenty of flat maps which do not look like Serre fibrations at all: for example the projection of the union of the lines $x=pm y$ in the plane onto the $x$-axis.



One way to make the above question a bit more precise is this: is there a way to define the notion of a "flat" map (of sufficiently nice topological spaces, say smooth manifolds or CW complexes or polyhedra) in terms of topology or differential geometry so that when $X(mathbf{C})$ and $Y(mathbf{C})$ are the sets of closed points of varieties (= reduced separated schemes of finite type) $X$ and $Y$ over $mathbf{C}$ a morphism $Xto Y$ is flat if and only if induced map $X(mathbf{C})to Y(mathbf{C})$ of topological spaces is "topologically" flat? Maybe this is too much to ask for, in which case I'd be interested to know if there is a variation of this which holds.



An obvious guess: one should take the notion of a submersion and relax it, but I'm not sure how.

No comments:

Post a Comment