A cochain-level dual of the bar construction that builds differential graded coalgebra or algebra models from counital coalgebras or augmented differential graded algebras, used to compute Ext, cohomology, and model homotopy types.

Principle

Form the free (co)algebra on desuspended cogenerators with a differential induced by the coproduct and counit so that the resulting differential graded object encodes coextensions, coderivations, and cohomological data.

Demonstration

Given a counital differential graded coalgebra C, the cobar construction ΩC is the differential graded algebra whose underlying tensor algebra on the desuspension of C^+ carries a differential determined by the coproduct; its cohomology computes Ext groups and models rational homotopy in suitable contexts.

Misapplication

Applying cobar to a coalgebra without controlling growth or completions (e.g., infinite cogenerator sums) can produce a nonconvergent algebra or one whose cohomology fails to capture intended derived information.

Consequence

Properly used, the cobar construction yields explicit cochain models for Ext and cohomology, produces minimal models in rational or differential graded settings, and realizes duality constructions with the bar complex.

Reversal

Passing to linear duals of a cobar construction (when finite type conditions hold) recovers bar-type chain complexes and Tor-type calculations rather than Ext-type cohomology.

Boundary

Applies to counital dg-coalgebras, conilpotent coalgebras, and augmented dg-algebras under finiteness or completeness hypotheses; it excludes blind application without attention to conilpotence, filtrations, or convergence issues.

Semantic Tension

Tension arises between cobar as an algebraic dual providing cohomological models and homotopical model constructions that produce equivalent information but differ in finiteness conditions and required completions.

Synthesis

The cobar construction is the cochain dual of the bar recipe: it freely assembles desuspended cogenerators into a differential graded algebra whose differential encodes the coalgebra structure so that cohomology and Ext-type invariants are computed.