Überraschende Anwendungen der Kohomologie

Das Konzept der Kohomologie ist eines der subtilsten und mächtigsten in der modernen Mathematik. Während seine Anwendung auf Topologie und Integrierbarkeit unmittelbar ist (es war wahrscheinlich die Geburtsstunde der Kohomologie), gibt es viele weitere Bereiche, in denen die Kohomologie zumindest ein sehr interessanter Gesichtspunkt ist. Die Gruppenkohomologie ist berühmt und hilft zum Beispiel beim Studium von Erweiterungen.

Hier sind gute Punkte über die "Philosophie" hinter der Kohomologie. Hier sind sehr gute, aber fortgeschrittene Ideen darüber, was Kohomologie "wirklich ist".

Ich möchte mal etwas anders fragen:

Was sind die unerwartetsten Anwendungen der Kohomologie oder von kohomologiebezogenen Ideen? Warum ist Kohomologie nützlich/wichtig/interessant, wenn sie auf solche Probleme angewendet wird?

Bonuspunkt für reale Anwendungen oder zumindest außerhalb von Algebra/Geometrie/theoretischer Physik.

Update : Ups, sieht so aus, als gäbe es hier eine sehr ähnliche Frage mit schönen Antworten.

Ist eine Antwort einfach verschwunden?

Antworten (5)

Hier ist eine lächerliche Anwendung der Kohomologie: ein Beweis von

J = 0 N ( N J ) ( 1 ) J = 0.

Lassen X = ( S 1 ) N sei der N -dimensionaler Torus. Nach der Künneth-Formel H J ( X , Q ) Dimension hat ( N J ) . Daher ist die Euler-Charakteristik von X Ist

χ ( X ) = J = 0 N ( 1 ) J D ich M Q H J ( X , Q ) = J = 0 N ( N J ) ( 1 ) J .

Andererseits, X eine kompakte Lie-Gruppe ist; lassen σ sei eine infinitesimale Übersetzung X X . Nach dem Fixpunktsatz von Lefschetz gilt: χ ( X ) gleich der Anzahl der Fixpunkte von ist σ , dh, 0 .

Für mich ist dies ein erstaunliches Juwel. Kennen Sie weitere ähnliche Anwendungen? Oder kennen Sie Möglichkeiten, topologische Informationen mit anderen Werkzeugen als der Euler-Charakteristik in elementare zahlentheoretische Informationen umzuwandeln?
@GFrost Danke! Mir ist keine ähnliche Argumentation bekannt, die am Ende nicht zu etwas ganz Trivialem führt. Es gibt viele wichtige Rollen, die die Kohomologie in der Zahlentheorie spielt, aber nicht ganz so.
Natürlich gibt es auch andere Möglichkeiten, die Euler-Charakteristik zu berechnen N -dimensionaler Torus, der andere Möglichkeiten zum Beweis dieser Identität widerspiegelt. Beispielsweise ist die Euler-Charakteristik unter Produkten durch die Kunneth-Formel multiplikativ; dies entspricht dem Beweis über ( 1 1 ) N .
Das war großartig! Es gibt eine ähnliche Sache, mit ( N k ) = ( N N k ) von poincare Dualität auf ( S 1 ) N .
Man kann dies auch beweisen, indem man feststellt, dass der Koszul-Komplex azyklisch ist.

Einer realen Anwendung nahe kommt vielleicht die Anwendung auf gemischte finite Elemente.

Finite-Elemente-Außenrechnung

Kurz gesagt: Statt numerisch zu lösen

Δ u = 0 ,
man nähert sich der Lösung von
D ich v   u = σ Und G R A D   σ = 0.
Beide Formulierungen führen zu denselben Lösungen u , aber überraschenderweise besteht ein hohes Risiko, durch eine naive Finite-Elemente-Approximation eine völlig falsche Lösung zu erhalten. ( Folien mit Bildern, Beispielen (und der Theorie) )

Gemischte finite Elemente werden beispielsweise in der Elastizität oder Fluiddynamik verwendet, wo der Druck P ein Lagrange-Multiplikator, lebt naturgemäß in anderen Räumen als die Deformation φ des Materials. Es war vorher bekannt, dass die Wahl der Approximationsräume von P Und φ ist entscheidend. Numerische Lösungen können existieren, aber sie können sich enorm von der realen Lösung unterscheiden, auch für hochauflösende Simulationen. (Mangelnde Stabilität.)

die Verwendung von (Co)Homologie führt zu einem einheitlichen Verständnis dieses Bereichs. Zuerst müssen Sie einen Hilbert-Komplex finden, sodass die zugehörige Hodge-Laplace-Gleichung die PDE von Interesse ist. Das Finden des richtigen Komplexes oder das Kombinieren mehrerer Komplexe zum Aufbau eines neuen erfordert die Anwendung von Werkzeugen aus der homologischen Algebra.

Wenn die numerische Näherung einen beschränkten Morphismus zwischen zwei Komplexen impliziert, der die Kohomologiegruppen erhält, dann sind die entsprechenden finiten Elemente stabil! (Natürlich gibt es einige typische Annahmen für finite Elemente, die ebenfalls erfüllt werden müssen.)

Ich liebe die Tatsache, dass die numerische Mathematik hier von einem abstrakteren Ansatz profitiert und tatsächlich hat diese Technik auch dazu beigetragen, zuvor ungelöste Probleme zu lösen!

Sehr schöne Antwort.

Es hängt alles davon ab, was man unter überraschend versteht. Das ist im Nachhinein vielleicht nicht so überraschend, aber für mich ist es eine fantastische Anwendung, dass die Weil-Vermutungen durch die étale Kohomologie bewiesen werden. Die Kohomologie hat einen großen Einfluss auf Fragen der Zahlentheorie gehabt und wird sicherlich (andere Form der Kohomologien!) weiterhin eine wichtige Rolle spielen.

Dan Isaksen formulierte grundlegende Arithmetik in Bezug auf die Kohomologie:

(vgl. https://pdfs.semanticscholar.org/b44b/eb7ff396be62e548e4a6dc39df0bdf65e593.pdf )

„Tragen“ als Korad zu betrachten, ist etwas, woran die meisten Menschen nicht denken. Zumindest denken die meisten Leute, mit denen ich gesprochen habe und die sich mit Kohomologie auskennen, nicht auf diese Weise über Arithmetik.

  1. Dieser Artikel ist eine wunderbare Einführung in die Kohomologie. Es werden mehrere Anwendungen (außerhalb der reinen Mathematik) genannt:

Anwendungen der Kohomologie und der Hodge-Theorie sind reichlich vorhanden, wir finden sie in der numerischen Analyse [3], Peridynamik [30], topologische Datenanalyse [26], computergestützte Topologie [33], Grafik [66], Bildverarbeitung [70], Robotik [ 45], Sensornetzwerke [65], Neurowissenschaften [53] und viele andere Bereiche in Physik und Technik. Aber diese Anwendungen sind nicht in dem Sinne „überraschend“, dass sie alle Physik, Geometrie oder Topologie betreffen – Bereiche, aus denen die Kohomologie und die Hodge-Theorie überhaupt hervorgegangen sind. Was wir etwas unerwartet finden, sind neuere Anwendungen der Kohomologie und der Hodge-Theorie auf die Spieltheorie [15] und das Ranking [43].

  1. Es gibt auch einen interessanten Beitrag von T.Tao über die Anwendung der Kohomologie auf dynamische Systeme