5
$\begingroup$

I am looking for Grothendieck writings on tame topology:

a manuscript on tame topology mentioned by Scharlau; a letter to Jun-Ichi Yamashita; a letter to Z.Mebkhout.

I am also interested in references to work of Jun-Ichi Yamashita, which I cannot find for some reason.

These references are mentioned in this question Grothendieck manuscript on topology:

Edit: Acc. 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... the mathematics of infinity are just a way of approximating an understanding of finite agregates, whose structures seem too elusive or too hopelessly intricate for a more direct understanding (at least it has been until now)." Scharlau gives a copy of one page of the manuscript (at p. 188) and obviously has a copy of the complete text and remarks (on p. 199) that Grothendieck wrote a in 1983 letter about that theme to Z. Mebkhout.

Edit: In the meantime I could read a letter by Grothendieck about that, a summary: He started thinking from time to time about that ca. in the mid-1970's, the motivation was roughly that dissatisfaction with the usual topology which he expressed in the Esquisse, and looking at stratifications of moduli-"spaces" is his new starting point. Maybe, but not expressed in the letter or the Esquisse, the ubiquity of moduli problems in algebraic geometry (e.g. expressed in the beginning of Lafforgue's text ) is an other motivation. He describes his guiding ideas on new foundations of topology as more complicated than the guiding ideas behind the new foundations of algebraic geometry of EGA, SGA. A main test of his concepts now would be a "Dévissage"-theorem on "startified obstructions"(?) in terms of equivalences of categories. He has a precise heuristic formulation of that which helped him to find a "dévissage" corresponding to Teichmueller groups (probably what now is called "Grothendieck-Teichmueller group"?) which are related to stratifications "at infinity" of Deligne-Mumford moduli stacks.

$\endgroup$

Your Answer

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

Browse other questions tagged or ask your own question.