A relationship between certain quadratic (or quadratic-like) algebraic objects and their homological duals, typically realized via bar and cobar constructions or by taking Ext-algebras; it identifies an algebra with a derived or homotopical dual object whose homology encodes the original algebra’s resolutions.

Principle

Quadratic relations determine a dual quadratic object through linear duality on generators and orthogonal complements on relations; homological algebra (Tor/Ext, bar/cobar) lifts this correspondence to an equivalence between appropriate derived categories or model structures.

Demonstration

Example: the symmetric (polynomial) algebra Sym(V) on a finite-dimensional vector space V is a Koszul algebra whose Koszul dual is the exterior algebra Λ(V*); the Koszul complex gives a linear free resolution of the ground field and computes Ext_{Sym(V)}(k,k) ≅ Λ(V*).

Misapplication

Assuming Koszul duality applies to arbitrary nonquadratic or wildly infinite-dimensional algebras without checking quadratic presentation, homological finiteness, or necessary grading; confusing the classical linear dual V* with the Koszul (homological) duality which mixes degrees and Ext/Tor information.

Consequence

When valid, Koszul duality provides explicit linear resolutions, computes Ext- and Tor-algebras, allows passing between algebra and coalgebra (or operad and cooperad) descriptions, and often yields derived equivalences simplifying homological calculations.

Reversal

Passing to the Koszul dual twice (taking the quadratic dual of the quadratic dual) often recovers the original algebra up to a suitable completion or grading shift; conversely, passing to an Ext-algebra changes algebraic operations to higher homotopy operations if one moves outside strict Koszul hypotheses.

Boundary

Applies primarily to graded quadratic algebras (or operads) with suitable connectedness and finiteness hypotheses; excludes general ungraded algebras, many nonquadratic presentations, and situations with uncontrolled infinite homological dimension.

Semantic Tension

Competes with naive linear duality (vector space duals) and with Morita-type dualities: Koszul duality is a homological, degree-sensitive duality, not a mere dual vector space identification nor a category-level equivalence unless additional hypotheses hold.

Synthesis

Koszul duality is a homological correspondence that converts quadratic generators-and-relations data into a dual object controlling resolutions and Ext/Tor algebraic structure, enabling concrete computations and derived-level translations between algebraic and coalgebraic or operadic descriptions.