Eine standardmäßige simpliciale bzw. kettenebene Konstruktion, die eine Auflösung einer augmentierten assoziativen Algebra oder eines Moduls erzeugt, Erweiterungen kodiert und die Berechnung abgeleiteter Funktoren wie Tor und Hochschild-Homologie ermöglicht.

Prinzip

Man konstruiert einen expliziten Kettenkomplex, dessen Face- und Degenerationsabbildungen Verkettung und Augmentierung widerspiegeln, sodass die Homologie des Komplexes algebraische Erweiterungen und abgeleitete Invarianten berechnet.

Demonstration

Für eine augmentierte assoziative Algebra A und ein rechts-A-Modul M sowie ein links-A-Modul N ist das zweiseitige Bar-Komplex B(M,A,N) in Grad n M ⊗ A^{⊗n} ⊗ N mit einer Differente, die durch Multiplikation und Augmentierung definiert ist; dessen Homologie berechnet Tor^A_*(M,N).

Fehlanwendung

Die klassische Bar-Konstruktion ohne Anpassung auf ein Objekt ohne Augmentierung oder mit nichtassoziativem Produkt anzuwenden; dann liefert der Komplex Homologien, die nicht die beabsichtigten abgeleiteten Funktoren widerspiegeln.

Konsequenz

Richtig angewandt liefert die Bar-Konstruktion explizite projektive (oder freie) Auflösungen, ermöglicht konkrete Rechnungen von Tor und Hochschild-Homologie und macht höhere Erweiterungsklassen und Massey-ähnliche Operationen sichtbar.

Umkehrung

Das Dualisieren der Bar-Konstruktion (Übergang zu Hom-Komplexen oder linearen Dualen) führt zu Kozyklus-/Cochain-Modellen wie der Cobar-Konstruktion oder zu Ext-Berechnungen statt zu Tor-Berechnungen.

Abgrenzung

Gilt für augmentierte assoziative Algebren, Module und Monoide in monoidalen Kategorien mit genügend Projektiven oder einer gewählten Modellstruktur; schließt naive Anwendung auf beliebige nichtassoziative Multiplikationen oder die Nichtbeachtung von Komplettierungen bei unendlichen Tensorpotenzen aus.

Semantische Spannung

Spannung zwischen der Bar-Konstruktion als konkreter, kombinatorischer Auflösung und abstrakten homotopischen Auflösungen durch cofibrante Ersatzobjekte in Modellkategorien; beide kodieren abgeleitete Informationen, unterscheiden sich jedoch in Konkretisierung und Funktorialität.

Synthese

Die Bar-Konstruktion ist ein explizites simpliciales/kettenmäßiges Verfahren, das augmentierte assoziative Strukturen auflöst und Multiplikation sowie Augmentierung in einen Komplex überführt, dessen Homologie Erweiterungsinvarianten wie Tor und Hochschild-Homologie berechnet.