Der Prozess, die Multiplikation, Relationen oder Strukturkoeffizienten eines algebraischen Objekts kontinuierlich oder formal (häufig mit einem Parameter) zu verändern, um eine Familie benachbarter Algebren zu erzeugen und zu untersuchen, wie sich algebraische Eigenschaften verformen.

Prinzip

Infinitesimale Änderungen durch kohomologische Daten kodieren, sodass erste Ordnung-Deformationen Korrespondenzen zu Cocyclen haben und Obstruktionen zur Erweiterung in höheren Kohomologiegruppen liegen; formale Potenzreihen oder flache Familien als Modelle verwenden.

Demonstration

Eine assoziative Algebra A besitzt eine formale Deformation m_t = m_0 + t m_1 + t^2 m_2 + … wobei m_1 ein Hochschild-2-Cocyclus ist; das Verschwinden der Obstruktionsklassen in der Hochschild-Kohomologie erlaubt Erweiterung auf höhere Ordnungen und liefert nichttriviale Deformationen wie Quantisierungen.

Fehlanwendung

Anzunehmen, jede infinitesimale Deformation integriere zu einer echten Familie (Obstruktionen ignorierend) oder beliebige Störungen der Strukturkoeffizienten als Deformationen zu behandeln, ohne Assoziativität, Einheitseigenschaften oder Flachheit der Familie zu prüfen.

Konsequenz

Sachgemäße Deformationen können neue algebraische Strukturen mit reicherer Darstellungstheorie oder Geometrie hervorbringen (etwa Quantisierungen), die Starrheit oder Flexibilität der Ausgangsalgebra offenbaren und verschiedene Objekte durch Deformationswege verbinden.

Umkehrung

Die Umkehr ist die Starrheit: wenn alle Deformationsklassen verschwinden und jede formale Deformation trivial ist, widersteht die Algebra nicht-trivialen benachbarten Strukturen und es existiert keine nicht-triviale stetige Familie durch sie.

Abgrenzung

Gilt für assoziative, Lie-, graduierte oder allgemeinere algebraische Strukturen, die formale oder analytische Familien interpretieren können; deckt keine beliebigen unstetigen Störungen ab und gilt nicht automatisch für geometrische Deformationen zugrundeliegender Räume ohne Übertragung der Strukturen.

Semantische Spannung

Spannung zwischen Deformations- und Erweiterungstheorien: Deformationen untersuchen nahe Strukturen parametrisiert formal/kontinuierlich, während Erweiterungs- und Kohomologieklassen mitunter mit Deformationen verwechselt werden, obwohl sie andere Klassifikationsfragen beantworten.

Synthese

Algebra-Deformation betrachtet kontrollierte, meist kohomologisch gesteuerte Variationen algebraischer Struktur als durch kleine/formale Parameter parametrisierte Familien, zeigt Obstruktionstheorie, mögliche Quantisierungen und die Starrheit oder Flexibilität der Ausgangsalgebra.