Ein Ergebnis und eine rechnerische Methode, die es erlaubt, eine Perturbation einer Differentiale auf einem Kettenkomplex über eine Homotopieäquivalenz (gegeben explizite Homotopie-Daten) hinweg auf ein vereinfachtes Modell zu übertragen, wobei der Homotopietyp erhalten bleibt.

Prinzip

Sind ein Deformationsretrakt-Datum (Inklusion, Projektion und Homotopie) zwischen einem großen Komplex und einem kleinen Modell gegeben sowie eine 'kleine' Perturbation der Differentiale auf dem großen Komplex, die Konvergenz- oder Nilpotenzbedingungen erfüllt, so konstruiert man explizite Formeln für die übertragene Differentiale und neue Homotopie-Daten auf dem Modell.

Demonstration

Beginnt man mit einer DG-Algebra A, die auf ihre Homologie H retraktiert mit einer expliziten Homotopie h, so kann eine Perturbation Δ der Differentiale auf A (z. B. durch Hinzufügen höherer Operationen) mittels HPL übertragen werden, um eine A∞-Struktur auf H und explizite Formeln für höhere Multiplikationen zu erhalten, die aus Kompositionen von h, Inklusion, Projektion und Δ bestehen.

Fehlanwendung

HPL anzuwenden, ohne Kleinigkeits-, Filter- oder Vollständigkeitsannahmen zu prüfen, so dass die Perturbationsreihen divergieren, oder zu versuchen, ohne explizite Retraktdaten zu übertragen; ein weiterer Missbrauch ist das Ignorieren von Grad-/Aritätsbeschränkungen in operadischen oder A∞-Kontexten.

Konsequenz

Wenn anwendbar, liefert HPL effektive reduzierte Modelle (minimale oder kleine Modelle), explizit übertragene Differentiale oder höhere Operationen und rechnerische Kontrolle über abgeleitete Invarianten, wodurch grosse kettenlevel-Probleme handhabbar werden.

Umkehrung

Statt Perturbationen vom großen Komplex auf ein kleines Modell zu übertragen, könnte man versuchen, eine gewünschte Struktur vom kleinen Modell auf den großen Komplex zu heben; die Umkehrung offenbart Obstruktionen für das Heben und das Bedürfnis nach Homotopie-Daten in die entgegengesetzte Richtung.

Abgrenzung

Erfordert explizite Retraktdaten durch Homotopie und Kontrollbedingungen (Filtrierungen, Nilpotenz oder Vollständigkeit), um die Konvergenz der Perturbationsreihen sicherzustellen; ohne diese sind die Formeln formal und definieren möglicherweise keine echten Differentiale oder Strukturen.

Semantische Spannung

Das Lemma balanciert zwischen abstrakten Existenzsätzen in der homologischen Algebra und konkreten effektiven Formeln: Spannungen entstehen zwischen formalen algebraischen Manipulationen und analytischen/konvergenten Kriterien, die für den rechnerischen Einsatz in gefilterten oder komplettierten Umgebungen nötig sind.

Synthese

Das Lemma der Homologischen Perturbation ist die Technik, die, bei Vorliegen expliziter Homotopieäquivalenzdaten und geeigneter Kontrolle einer Perturbation, übertragene Differentiale und Homotopien auf einem einfacheren Modell erzeugt und so konkrete minimale Modelle und rechnerischen Zugang zu gestörten abgeleiteten Strukturen ermöglicht.