Abstract
The most prevalent examples of Koszul duality of operads are the self-duality of the associative operad and the duality between the Lie and commutative operads. At the level of algebras and coalgebras, the former duality was first noticed as such by Moore, as announced in his ICM talk at Nice (Moore in Actes du Congrès International des Mathématiciens, Tome 1. Gauthier-Villars, Paris, pp. 335–339, 1971). This particular duality has typically been called Moore duality, and some prefer to call the general phenomenon Koszul–Moore duality. The second duality at the level of algebras was realized in the seminal work of Quillen on rational homotopy theory (Quillen in Ann Math 90(2):205–295, 1969). Our aim in these notes based on our talk at the Luminy workshop on Operads in 2009 is to try to provide some historical, topological context for these two classical algebraic dualities. We first review the original cobar and bar constructions used to study loop spaces and classifying spaces, emphasizing the less-familiar geometry of the cobar construction. Then, after some elementary topology, we state duality between bar and cobar complexes in that setting. Before explaining Quillen’s work, we also share some other ideas—calculations of Cartan–Serre and Milnor–Moore and philosophy of Eckmann–Hilton—which may have influenced him. After stating Quillen’s duality, we share some recent work which relates these constructions to geometry through Hopf invariants and in particular linking phenomena.
Article PDF
Similar content being viewed by others
References
Adams J.F.: On the non-existence of elements of Hopf invariant one. Ann. Math. (2)72, 20–104 (1960) (MR0141119 (25 #4530))
Adams J.F., Hilton P.J.: On the chain algebra of a loop space. Comment. Math. Helv. 30, 305–330 (1956) (MR0077929 (17,1119b))
Boardman, J.M., Vogt, R.M.: Homotopy invariant algebraic structures on topological spaces. In: Lecture Notes in Mathematics, vol. 347. Springer, Berlin (1973) (MR0420609 (54 #8623a))
Carlsson, G., James Milgram, R.: Stable homotopy and iterated loop spaces. In: Handbook of algebraic topology, pp. 505–583. North-Holland, Amsterdam (1995) (MR1361898 (97j:55007))
Cartan H., Serre J.-P.: Espaces fibrés et groupes d’homotopie. II. Applications. C. R. Acad. Sci. Paris 234, 393–395 (1952) (MR0046046 (13,675b))
Chevalley C., Eilenberg S.: Cohomology theory of Lie groups and Lie algebras. Trans. Am. Math. Soc. 63, 85–124 (1948) (MR0024908 (9,567a))
Griffiths, P.A., Morgan, J.W.: Rational homotopy theory and differential forms. In: Progress in Mathematics, vol. 16. Birkhäuser, Boston (1981) (MR641551 (82m:55014))
Haefliger, A.: Whitehead products and differential forms, Differential topology, foliations and Gelfand-Fuks cohomology. In: Lecture Notes in Mathematics, vol. 652, pp. 13–24. Springer, Berlin (1978) (MR505648 (80a:55012))
Hatcher A.: Algebraic topology. Cambridge University Press, Cambridge (2002) (MR1867354 (2002k:55001))
James I.M.: Reduced product spaces. Ann. Math. (2)62, 170–197 (1955) (MR0073181(17,396b))
Milgram R.J.: Iterated loop spaces. Ann. Math. (2)84, 386–403 (1966) (MR0206951 (34 #6767))
Milnor J.W., Moore J.C.: On the structure of Hopf algebras. Ann. Math. (2)81, 211–264 (1965) (MR0174052 (30 #4259))
Moore, J.C.: Differential homological algebra, Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1, pp. 335–339. Gauthier-Villars, Paris (1971) (MR0436178 (55 #9128))
Priddy S.B.: Koszul resolutions. Trans. Am. Math. Soc. 152, 39–60 (1970) (MR0265437 (42 #346))
Quillen D.: Rational homotopy theory. Ann. Math. (2)90, 205–295 (1969) (MR0258031(41 #2678))
Sinha, D.P., Walter, B.: Lie coalgebras and rational homotopy theory, I, math.AT/0610437
Sinha, D.P.: Lie coalgebras and rational homotopy theory, II: Hopf invariants., arXiv:0809.5084
Sullivan D.: Infinitesimal computations in topology. Inst. Hautes Études Sci. Publ. Math. 47, 269–331 (1978) (MR0646078 (58 #31119))
Whitehead J.H.C.: An expression of Hopf’s invariant as an integral. Proc. Nat. Acad. Sci. USA 33, 117–123 (1947) (MR0020255 (8,525h))
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jim Stasheff.
Rights and permissions
About this article
Cite this article
Sinha, D.P. Koszul duality in algebraic topology. J. Homotopy Relat. Struct. 8, 1–12 (2013). https://doi.org/10.1007/s40062-012-0008-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40062-012-0008-1