Das auf Kochenebene duale Verfahren zur Bar-Konstruktion, das aus counitalen Koalgebren oder augmentierten dg-Algebren differentialgraduierte Algebra- bzw. Koalgebrenmodelle erzeugt und zur Berechnung von Ext, Kohomologie und Homotopietypen dient.

Prinzip

Man bildet die freie (Ko-)Algebra über desuspendierten Cogeneratoren mit einer durch das Koprodukt und die Counit induzierten Differente, sodass das entstehende dg-Objekt Coextensions, Kodérivationen und kohomologische Daten kodiert.

Demonstration

Für eine counitale differentialgraduierte Koalgebra C ist die Cobar-Konstruktion ΩC die dg-Algebra, deren zugrundeliegende Tensoralgebra auf der Desuspension von C^+ eine durch das Koprodukt bestimmte Differente trägt; ihre Kohomologie berechnet Ext-Gruppen und modelliert in geeigneten Kontexten rationale Homotopie.

Fehlanwendung

Cobar auf eine Koalgebra ohne Kontrolle von Wachstum oder Komplettierungen (z. B. unendliche Summen von Cogeneratoren) anzuwenden kann eine nicht konvergente Algebra erzeugen oder eine Kohomologie, die die beabsichtigten abgeleiteten Informationen nicht erfasst.

Konsequenz

Richtig eingesetzt liefert die Cobar-Konstruktion explizite Cochain-Modelle für Ext und Kohomologie, erzeugt minimale Modelle in rationalen oder dg-Kontexten und realisiert Dualitätsbeziehungen zum Bar-Komplex.

Umkehrung

Das Bilden linearer Duale einer Cobar-Konstruktion (unter Endlichkeitsbedingungen) führt zurück zu Bar-artigen Kettenkomplexen und Tor-Berechnungen statt zu Ext-artiger Kohomologie.

Abgrenzung

Gilt für counitale dg-Koalgebren, konilpotente Koalgebren und augmentierte dg-Algebren unter Finitheits- oder Vollständigkeitsbedingungen; schließt naive Anwendung ohne Beachtung von Konilpotenz, Filtrationen oder Konvergenzproblemen aus.

Semantische Spannung

Spannung zwischen Cobar als algebraischem Dual, das kohomologische Modelle liefert, und homotopischen Modellkonstruktionen, die äquivalente Informationen liefern, sich aber in Endlichkeitsbedingungen und erforderlichen Komplettierungen unterscheiden.

Synthese

Die Cobar-Konstruktion ist das Cochain-Dual der Bar-Rezeptur: Sie setzt desuspendierte Cogeneratoren frei zu einer dg-Algebra zusammen, deren Differente die Koalgebra-Struktur kodiert, sodass Kohomologie und Ext-Invarianten berechenbar werden.