Any smooth manifold defines a Frölicher space with curves and functions .
Taking quotients in the category of Frölicher spaces is straightforward: the smooth functions are those that pull-back to smooth functions on the original space.
As an example, consider the plane quotiented out by the -axis.
Let us write this as . This example is closely related to taking cones and suspensions in algebraic topology. The smooth functions on are simple to describe: the set is equivalent to those smooth functions which are constant on the -axis.
Now let us consider the smooth curves. Let be a smooth curve. We can partition into two pieces: those points that are mapped to the squashed point in and those points that aren’t. Let us write for the set of points that are not mapped to the squashed point. Using bump functions it is easy to show that is open in . As the quotient map is bijective off the -axis, the restriction of to has a unique lift to . Let us write and for the coordinate functions of this lift. Again using bump functions, it is easy to show that and are smooth on . Furthermore, as the projection descends to a smooth function on , is actually the restriction to of a smooth function which we shall also denote by . Note that .
The interesting part comes when looking at what happens to at the boundary of . As is open, it is a disjoint union of open intervals. The boundaries of each of these intervals forms part of the boundary of and it is simplest to start with these points. For further simplicity, let us assume that is one of the components of and we are considering the boundary point . Thus we wish to consider .
The general rule is simple to state: must go to zero faster than (and any of its derivatives) can go to infinity.
The coequaliser of this diagram is where the is a doubled-point at . (So this is the well-known example of a non-Hausdorff manifold.) Thus any smooth function has to satisfy , which means that any smooth curve can choose whether to pass through or completely arbitrarily.
We consider this as a coequaliser of spaces over by taking the obvious map to in each case. The colimit is the same whether we work in the full category of Frölicher spaces or just those over .
Now let be any Frölicher space and consider it as a space over via the constant zero map, . We take the fibred product over of the coequaliser diagram. Since has no points mapping to , . For the third space, we see that . Thus the coequaliser diagram is now . The coequaliser is thus . Note that smooth curves into are of the form where is a constant in that distinguishes the cofactors and is a smooth curve in .
Let us consider the product over of with . As a set, this is just again. However, as a Frölicher space it has different functions to those on . The product over is a subspace of and thus a curve into it is smooth if and only if it is smooth into , whence it is smooth if and only if the projections to and to are smooth. As we are considering curves in , the projection to must have image in . Thus any curve is allowed by this and so the smooth curves into are of the form where is any function from into and is a smooth curve in .
I notice that in some classically false versions of constructive mathematics, the only functions from to are the constant ones. It would be nice if there were a nonclassical dream universe in which the category of Frölicher spaces were locally cartesian closed! Unfortunately, the counterexample can be saved by using a continuously parametrised coproduct instead of . —Toby
Andrew Stacey I think I’d be disappointed if locally cartesian became a property of what set theory was being used! I suspect that the real reason this example works is the fact that has such bad path-lifting properties and the coequaliser diagram that I chose is just a simple one that demonstrates it.
I’ve been pondering how one might fix this. I ought to write up Kriegl and Michor’s extension of a manifold as, although they haven’t done much with it, it contains some ideas that may be of interest. What makes me think of it here is that that definition of a manifold (which isn’t, by the way, the one in their weighty tome) has two parts: a space and its tangent space, and relationships between them. This suggests that a smooth space, of whatever variety, should be more than just one space but some sort of diagram of spaces.
This is also suggested by trying to generalise the Frolicher “idea” to non-set-based theories. It’s not immediately obvious how to make the saturation condition work, but the basic idea is to have objects as with and morphisms as . The saturation condition, whatever it is, is what is needed to make this into a category. So here it’s obvious that objects are just special morphisms. Feeding this back into the definition you get a glimmer of an idea that maybe a morphism (let me go back to genuine Frolicher spaces here for clarity) needs some sort of saturation condition as well as a compatibility condition.
This is not the same as and thus the functor does not preserve colimits. It cannot, therefore, be a left adjoint and so the category of Frölicher spaces is not locally cartesian closed.
This example works because of the structure of . If one were to work in an “input only” category, then the structure on would be determined by those curves which lift to . Such maps could not arbitrarily swap between and because up in these two points are far apart. Thus the subspace structure on in an “input only” category is discrete. However, in the category of Frölicher spaces the outputs control the behaviour of quotients. Functions out of cannot detect the difference between and . Thus curves into are allowed to swap between them with aplomb. The subspace structure on is thus the indiscrete structure.
Working in the category of Hausdorff Frölicher spaces (see below) does not improve matters. Then we need to replace each coequaliser but its Hausdorffification. Now the distinction is clear since taking the product and then the coequaliser yields as before but taking the coequaliser and then the product yields just .
It is also worth pointing out that with the modification of the previous paragraph, this example only involves manifolds (assuming that is chosen to be a manifold). It therefore shows that a category extending that of smooth manifolds can either be locally cartesian closed or preserve limits and colimits from manifolds but not both.