Eine Homologie-Theorie für assoziative Algebren (und allgemein für Bimoduln), die Selbst-Interaktion, Spuren und Deformationsinformationen misst; Hochschild-Homologie HH_*(A) wird aus dem Hochschild-Kettenkomplex von A mit Koeffizienten in A selbst berechnet.

Prinzip

Man baut einen zyklisch organisierten Kettenkomplex, dessen Differente Multiplikation und zyklische Verschiebungen erfasst, sodass niedriggradige Gruppen Zentren und Spuren abbilden und höhere Gruppen Hindernisse für Deformationen und höhere Operationen detektieren.

Demonstration

Für eine assoziative Algebra A über einem Ring k ist der Hochschild-Kettenkomplex C_n(A)=A^{⊗(n+1)} mit der Hochschild-Differente so, dass HH_n(A)=H_n(C_*(A)); HH_0(A) ist A/[A,A] (der Raum der Spuren) und HH_1(A hängt mit Derivationen modulo innerer Derivationen zusammen.

Fehlanwendung

Hochschild-Homologie als rein topologische Homologie zu behandeln, ohne die multiplikative Struktur der Algebra einzubeziehen, oder notwendige Bimodul-Koeffizienten zu ignorieren, führt zum Verlust von Spur-/Deformationsdaten.

Konsequenz

Korrekte Berechnung der Hochschild-Homologie liefert algebraische Invarianten zur Klassifikation, ist der Sitz von Chern-Charakteren und dient als Input für zyklische Homologie und Deformationsquantisierungsformeln.

Umkehrung

Das cohomologische Gegenstück (Hochschild-Kohomologie HH^*(A)) steuert Deformationen und besitzt graduierte Algebra- und Gerstenhaber-Strukturen, während die Homologie spurartige und zyklische Invarianten sammelt; beide sind verwandt, aber nicht austauschbar.

Abgrenzung

Definiert für assoziative Algebren, dg-Algebren und Bimoduln; naive Erweiterung auf nichtassoziative Kontexte erfordert angepasste Komplexe, und unendliche Tensorpotenzen erfordern Komplettierungen oder Finitheitsannahmen.

Semantische Spannung

Spannung zwischen Hochschild-Homologie als Spuren-Speicher und als abgeleiteter Funktor (Tor über A^e); formal fallen die Sichtweisen zusammen, betonen jedoch unterschiedliche rechnerische und konzeptionelle Werkzeuge.

Synthese

Hochschild-Homologie ist das kettenebene Invariant einer assoziativen Algebra, aufgebaut aus Tensorkräften der Algebra mit einer Differente, die Multiplikation und zyklische Struktur kodiert; sie erfasst Spuren, Derivationshindernisse und deformative Informationen.