Koszul duality in algebraic topology
 Dev P. Sinha
 … show all 1 hide
Rent the article at a discount
Rent now* Final gross prices may vary according to local VAT.
Get AccessAbstract
The most prevalent examples of Koszul duality of operads are the selfduality 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. GauthierVillars, 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 lessfamiliar 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.
 Adams J.F.: On the nonexistence of elements of Hopf invariant one. Ann. Math. (2)72, 20–104 (1960) (MR0141119 (25 #4530)) CrossRef
 Adams J.F., Hilton P.J.: On the chain algebra of a loop space. Comment. Math. Helv. 30, 305–330 (1956) (MR0077929 (17,1119b)) CrossRef
 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. NorthHolland, 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)) CrossRef
 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 GelfandFuks 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)) CrossRef
 Milgram R.J.: Iterated loop spaces. Ann. Math. (2)84, 386–403 (1966) (MR0206951 (34 #6767)) CrossRef
 Milnor J.W., Moore J.C.: On the structure of Hopf algebras. Ann. Math. (2)81, 211–264 (1965) (MR0174052 (30 #4259)) CrossRef
 Moore, J.C.: Differential homological algebra, Actes du Congrès International des Mathématiciens (Nice, 1970), Tome 1, pp. 335–339. GauthierVillars, Paris (1971) (MR0436178 (55 #9128))
 Priddy S.B.: Koszul resolutions. Trans. Am. Math. Soc. 152, 39–60 (1970) (MR0265437 (42 #346)) CrossRef
 Quillen D.: Rational homotopy theory. Ann. Math. (2)90, 205–295 (1969) (MR0258031(41 #2678)) CrossRef
 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)) CrossRef
 Title
 Koszul duality in algebraic topology
 Journal

Journal of Homotopy and Related Structures
Volume 8, Issue 1 , pp 112
 Cover Date
 20130401
 DOI
 10.1007/s4006201200081
 Print ISSN
 21938407
 Online ISSN
 15122891
 Publisher
 SpringerVerlag
 Additional Links
 Topics
 Keywords

 KoszulMoore duality
 Bar and cobar constructions
 Operads
 Hopf invariants
 Authors

 Dev P. Sinha ^{(1)}
 Author Affiliations

 1. Department of Mathematics, University of Oregon, Eugene, OR, 97403, USA