I recently went to a talk of Oleg Viro where he expressed his dissatisfaction with current foundations of differential topology parallel to what has been discussed here.

Also some time ago I read about Grothendieck's "Denunciation of so-called “general” topology" with interesting comments also made here:

According to Winfried Scharlau's book, Grothendieck described his work in a letter to Jun-Ichi Yamashita as: "some altogether different foundations of 'topology', starting with the 'geometrical objects' or 'figures', rather than starting with a set of 'points' and some kind of notion of 'limit' or equivalently) 'neighbourhoods'. Like the language of topoi (and unlike 'tame topology'), it is a kind of topology 'without points' - a direct approach to 'shape'. ... appropriate for dealing with finite spaces...

So I am wondering what progress has been made here and in what directions. Does there currently exist an approach to the foundations of general topology that is not based on a notion of "points", in the spirit of Grothendieck's denunciation?

  • 8
    $\begingroup$ I don't know- it seems a decent enough question to me (although it could certainly use some rewriting; I've given it a try). The question is: "What approaches are there to the foundations of topology that are not based on the concept of "points"?". Voting to reopen. $\endgroup$ Apr 18 '16 at 8:58
  • $\begingroup$ The theory of o-minimal structures can be interpeted as progress in this general direction; see related question here. $\endgroup$ Apr 18 '16 at 10:04
  • 1
    $\begingroup$ @DanielMoskovich I don't know what the OP really intended. But as he was talking about CW complexes instead of arbitrary topological spaces, it seems that your edit shifted the question considerably from the realm of algebraic-topology-oriented topology to (completely) general topology. To me this looks like a different question that you might want to ask separately. $\endgroup$ Apr 18 '16 at 10:26
  • 2
    $\begingroup$ To make my point more precise - some branches of modern topology are described using model categories, $\infty$-categories and the like. I am surely not the right person to write such an answer, but maybe somebody else wants to. I am voting to reopen, and I leave it to somebody else to roll back to the original question and give an answer if he/she likes. $\endgroup$ Apr 18 '16 at 10:31
  • $\begingroup$ I don't know enough about Grothendieck's program to be able to tell whether the more accurate description of it is to develop foundations of topology "without CW complexes" or rather "without points", as in the current version of the question. Could some experts comment? @ToddTrimble? $\endgroup$ Apr 18 '16 at 10:41

Reading section 5 in Grothendieck's essay Esquisse d'un programme it becomes clear that with regard to topology Grothendieck was bothered by some artificial foundational problems introduced by the fact that the foundations of topology were created by analysts rather than by geometers and topologists. Specifically he refers to phenomena such as space-filling curves which he thinks should be ruled out at the foundational level by a more careful choice of definitions of the basic objects we work with.

The basic model is Hironaka's semianalytic sets (or what Grothendieck proposes to call piecewise analytic sets) where such phenomena do not occur, and which on the other hand is sufficiently rich to accomodate various constructions in geometry and topology, such as coning, stratification, etc. What Grothendieck seeks to do is provide an axiomatisation that would be more or less satisfied by Hironaka's proposal, but that would be realizable in other models as well. Notes Grothendieck:

This situation, like so often already in the history of our science, simply reveals the almost insurmountable inertia of the mind, burdened by a heavy weight of conditioning, which makes it difficult to take a real look at a foundational question, thus at the context in which we live, breathe, work – accepting it, rather, as immutable data.

My conclusion is that Grothendieck's proposal in this context does not necessarily amount to a search for a foundation not based on points. Rather the idea is to get away from the continuous category with its odd phenomena that are viewed by Grothendieck as being a function of inadequate foundations rather than intrinsic mathematical merit. Not an uncommon phenomenon I must say.

  • 5
    $\begingroup$ I'll have to look more closely at Section 5 (it has been a very long time), but I wonder whether Grothendieck's opinion about the oddness and/or merit of space filling curves and like objects would have been affected by the nearly contemporaneous paper "Group Invariant Peano Curves" (by Cannon and Thurston, circulated around the same time although not published for many years after). Works like that one, and other issues closely related to hyperbolic manifolds (after Thurston) and hyperbolic groups (after Gromov) have exhibited the naturality of phenomena previously regarded as odd. $\endgroup$
    – Lee Mosher
    Apr 18 '16 at 13:34
  • 4
    $\begingroup$ @Lee, what you write about Cannon-Thurston possibly providing an answer to Grothendieck's concerns is fascinating and completely new to me. Perhaps you could formulate this as a separate answer? $\endgroup$ Apr 18 '16 at 13:45
  • 1
    $\begingroup$ More generally, o-minimal structures (of which analytic sets are a particular case) constitute an adequate formalism of the tame geometry/topology advocated by Grothendieck. $\endgroup$
    – ACL
    Apr 18 '16 at 14:21
  • 1
    $\begingroup$ @ACL, could you comment more fully on this? To what extent does it address G's concern about forming the collection of morphisms? $\endgroup$ Apr 18 '16 at 14:43
  • 2
    $\begingroup$ After taking a quick look at Section 5, I think I'll just leave my comment as it is, without turning it into an answer. The trouble is that any answer I could form along those lines would not be an answer to the question asked, but would instead be about how point-based topology has been flourishing quite nicely since the 1970's. $\endgroup$
    – Lee Mosher
    Apr 18 '16 at 15:12

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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