Die Liste der auf “Open Math Notes” – dem neuen Repositorium für besonders gute Vorlesungsskripte, über das ich letzte Woche kurz etwas geschrieben hatte – gelagerten Vorlesungsskripte ist immer noch recht kurz, aktuell sind es 18. Und eines davon ist eigentlich auch kein altes Vorlesungsskript, sondern ein gerade geschriebenes und offenkundig zur regulären Veröffentlichung bestimmtes Lehrbuch zur Singularitätentheorie von Étienne Ghys: A singular mathematical promenad.

Das ist definitiv kein klassisches Lehrbuch, im Stil und der äußerlichen Aufmachung erinnert es eher an populärwissenschaftliche Bücher. Die einzelnen Themen werden mit Anekdoten und historischen Einordnungen motiviert und alles ist in einem sehr lockeren Stil geschrieben. Es ist aber auch kein populärwissenschaftliches Buch, denn die Mathematik wird im Detail und mit meist ausführlichen Beweisen behandelt und viele der abgehandelten Themen dürften wohl eher für den studierten Mathematiker von Interesse sein.

IMG_0462

Der Aufhänger für; das Buch ist ein neues, aber elementares, Theorem von Kontsevich:

vier Polynome P_1,P_2,P_3,P_4 in einer reellen Variablen können nicht gleichzeitig

$latex P_1(x)>P_2(x)>P_3(x) für kleine x<0

$latex P_2(x)>P_4(x)>P_1(x) für kleine x>0

erfüllen.

Mit anderen Worten: das Bild von Funktionsgraphen, welches unten in der rechten Spalte oben gezeigt wird, ist für Funktionsgraphen von Polynomen nicht möglich.
IMG_0463

Der Beweis ist elementar und im Buch geht es dann um unterschiedliche Verallgemeinerungen dieses Problems.

Kontsevichs Theorem kann man als Spezialfall der Frage ansehen, welche Permutationen der Zahlen {1,2,3,4} oder allgemeiner {1,2,...,n} sich wie oben durch Funktionsgraphen von Polynomen realisieren lassen. Dies ist genau für die Permutationen (2,4,1,3) und (3,1,4,2) nicht möglich bzw. bei n>4 genau dann, wenn eine dieser beiden Permutationen als Unterpermutation vorkommt. Auch dieser Beweis ist recht elementar. Die Permutationen, auf welche dies nicht zutrifft, heissen "trennbare Permutationen" und sie sind in Kombinatorik und theoretischer Informatik schon lange untersucht worden. Dies dient als Aufhänger für verschiedene Themen aus Donald Knuths "The Art of Computer Programming" und aus der Kombinatorik.

Die nächste Verallgemeinerung ist dann von Funktionsgraphen auf implizit (ebenfalls durch Polynome) definierte Gleichungen F(x,y)=0, also Kurven in der Ebene. Das beginnt mit einem längeren historischen Exkurs über das Newton-Verfahren zur Bestimmung von Nullstellen. Explizite Ansätze mittels Potenzreihen findet man heute selten in der Literatur, hier werden die historischen Ansätze und auch Fehler im Detail (und trotzdem kurzweilig) diskutiert und die Ansätze dann auch in die heutige formal-algebraische Sprache eingebettet. Zum Beispiel findet man folgenden "Satz von Newton-Cramer" (den Newton ganz bestimmt nicht so formuliert hatte): The field of Puiseux series K\left[\left[x^*\right]\right]\left[x^{*-1}\right] is algebraically closed. Die Topologie kommt dann erstmals durch den Beweis von Gauss Fundamentalsatz der Algebra ins Spiel. Smale hatte später gezeigt, dass es im ursprünglichen Beweis eine topologische Lücke gab: Gauss nahm ohne Beweis an, dass eine algebraische Kurve eine Kreisscheibe genauso oft verläßt wie sie hineingeht. Für dieses Detail gibt es viele Beweise, der hier gegebene benutzt die Konvergenz gewisser Potenzreihen und gibt so die Gelegenheit zu historischen Diskursen über das Rechnen mit (konvergenten und divergenten) Potenzreihen.
Ein Satz von Puiseaux gibt eine lokale Parametrisierung einer komplexen algebraischen Kurve um eine Singularität herum durch konvergente Potenzreihen.

IMG_0464

Ein zentrales Thema im Buch ist die Topologie von Singularitäten. Das oben abgebildete Möbiusband kommt bei der Auflösung von Singularitäten vor, und zwei Fasern der unten abgebildete Hopf-Faserung erhält man als Umgebungsrand der trivialst-möglichen Singularität - zwei sich schneidenden komplexen Geraden. Andere Beispiele von Umgebungsrändern werden ausführlich besprochen, etwa die Kleeblattschlinge als Umgebungsrand der Kusp-Singularität, oder allgemeiner Torusknoten. Die Darstellung der allgemeinen Theorie orientiert sich dann an Milnors Buch Singular points of complex hypersurfaces.

IMG_0472

Andere Themen, die im Buch besprochen werden, sind Schleifenräume, Operaden und Stasheffs Satz über H-Räume (wegen des Zusammenhangs trennbarer Permutationen mit Stasheffs Associahedron)
IMG_0466
und Kontsevichs universelle Knoteninvariante (wegen des Zusammenhangs mit Verschlingungszahlen).
IMG_0465
Die oben abgebildeten Buchseiten vermitteln einen ziemlich unvollständigen Eindruck von dem Buch, weil sie die zahlreichen nichtmathematischen Bilder und Exkurse auslassen. Aber von denen macht man sich besser selbst ein Bild.
IMG_0473

Etienne Ghys (2016). A Singular Mathematical Promenade ArXiv arXiv: 1612.06373v2

Kommentare (4)

  1. #1 rolak
    7. Januar 2017

    Oh eilige Koinzidenzia, ick hör dir trapsen. Selbstverständlich wurde das so ausgesprochen interessant gemachte Werk sofort archiviert – und bereits beim ersten Anblättern fällt Friedrichs´ Wanderer ins Auge. Moment mal, der war doch eben noch – richtig, in Ingrid Burringtons talk “From Server Farm to Data Table” auf dem 33c3 war er zu sehen, while she mentioned Neal Stephenson´s iconic ´96 essay “Mother Earth Mother Board”.

    Ebenso selbstverständlich ebenfalls archiviert, vor längerem bereits – und das ist gut so, zickt w·i·r·e·d doch zur Zeit mit nem adblock-blocker rum.

  2. #2 tomtoo
    10. Januar 2017

    Sagt mal funzt bei euch der Link ?

    Nicht das ich den vermuteten Inhalt auch nur annähernd verstehen würde. Aber evtl. könnte ja ein winziges Körnchen haften bleiben.

  3. #3 tomtoo
    10. Januar 2017

    Ich sag ja ich bin doof . Sry für die Störung

  4. #4 Thilo
    10. Januar 2017

    Mit dem Direktlink auf das PDF gibt es manchmal Probleme, habe ihn deshalb jetzt durch diesen ersetzt: https://www.ams.org/open-math-notes/omn-view-listing?listingId=110637