Algebraic & Geometric Topology

Topological equivalences of E-infinity differential graded algebras

Haldun Özgür Bayındır

Full-text: Access denied (no subscription detected)

However, an active subscription may be available with MSP at

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text


Two DGAs are said to be topologically equivalent when the corresponding Eilenberg–Mac Lane ring spectra are weakly equivalent as ring spectra. Quasi-isomorphic DGAs are topologically equivalent, but the converse is not necessarily true. As a counterexample, Dugger and Shipley showed that there are DGAs that are nontrivially topologically equivalent, ie topologically equivalent but not quasi-isomorphic.

In this work, we define E topological equivalences and utilize the obstruction theories developed by Goerss, Hopkins and Miller to construct first examples of nontrivially E topologically equivalent E DGAs. Also, we show using these obstruction theories that for coconnective E F p –DGAs, E topological equivalences and quasi-isomorphisms agree. For E F p –DGAs with trivial first homology, we show that an E topological equivalence induces an isomorphism in homology that preserves the Dyer–Lashof operations and therefore induces an H F p –equivalence.

Article information

Algebr. Geom. Topol., Volume 18, Number 2 (2018), 1115-1146.

Received: 22 May 2017
Revised: 18 October 2017
Accepted: 27 October 2017
First available in Project Euclid: 22 March 2018

Permanent link to this document

Digital Object Identifier

Mathematical Reviews number (MathSciNet)

Zentralblatt MATH identifier

Primary: 18G55: Homotopical algebra 55P43: Spectra with additional structure ($E_\infty$, $A_\infty$, ring spectra, etc.) 55S12: Dyer-Lashof operations 55S35: Obstruction theory 55U99: None of the above, but in this section

commutative ring spectra homological algebra E-infinity DGAs


Bayındır, Haldun Özgür. Topological equivalences of E-infinity differential graded algebras. Algebr. Geom. Topol. 18 (2018), no. 2, 1115--1146. doi:10.2140/agt.2018.18.1115.

Export citation


  • A Baker, Calculating with topological André–Quillen theory, I: Homotopical properties of universal derivations and free commutative $S$–algebras, preprint (2012)
  • A Baker, Power operations and coactions in highly commutative homology theories, Publ. Res. Inst. Math. Sci. 51 (2015) 237–272
  • M Basterra, André–Quillen cohomology of commutative $S$–algebras, J. Pure Appl. Algebra 144 (1999) 111–143
  • A K Bousfield, Homotopy spectral sequences and obstructions, Israel J. Math. 66 (1989) 54–104
  • R R Bruner, J P May, J E McClure, M Steinberger, $H\sb \infty $ ring spectra and their applications, Lecture Notes in Math. 1176, Springer (1986)
  • D Dugger, B Shipley, Postnikov extensions of ring spectra, Algebr. Geom. Topol. 6 (2006) 1785–1829
  • D Dugger, B Shipley, Topological equivalences for differential graded algebras, Adv. Math. 212 (2007) 37–61
  • A D Elmendorf, I Kriz, M A Mandell, J P May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs 47, Amer. Math. Soc., Providence, RI (1997)
  • P G Goerss, M J Hopkins, Moduli spaces of commutative ring spectra, from “Structured ring spectra” (A Baker, B Richter, editors), London Math. Soc. Lecture Note Ser. 315, Cambridge Univ. Press (2004) 151–200
  • N Johnson, J Noel, Lifting homotopy $T$\!–algebra maps to strict maps, Adv. Math. 264 (2014) 593–645
  • T Lawson, A note on $H_\infty$ structures, Proc. Amer. Math. Soc. 143 (2015) 3177–3181
  • J-L Loday, Cyclic homology, 2nd edition, Grundl. Math. Wissen. 301, Springer (1998) Chapter 13 by the author in collaboration with Teimuraz Pirashvili
  • M A Mandell, Cochains and homotopy type, Publ. Math. Inst. Hautes Études Sci. 103 (2006) 213–246
  • M A Mandell, J P May, S Schwede, B Shipley, Model categories of diagram spectra, Proc. London Math. Soc. 82 (2001) 441–512
  • J P May, Homology operations on infinite loop spaces, from “Algebraic topology” (R J Milgram, editor), Proc. Sympos. Pure Math. XXII, Amer. Math. Soc., Providence, RI (1971) 171–185
  • J Milnor, The Steenrod algebra and its dual, Ann. of Math. 67 (1958) 150–171
  • J Noel, $H_\infty\neq E_\infty$, from “An alpine expedition through algebraic topology” (C Ausoni, K Hess, B Johnson, W Lück, J Scherer, editors), Contemp. Math. 617, Amer. Math. Soc., Providence, RI (2014) 237–240
  • J Noel, The $T$–algebra spectral sequence: comparisons and applications, Algebr. Geom. Topol. 14 (2014) 3395–3417
  • D Quillen, On the (co-) homology of commutative rings, from “Applications of Categorical Algebra” (A Heller, editor), Proc. Sympos. Pure Math. XVII, Amer. Math. Soc., Providence, RI (1970) 65–87
  • C Rezk, Notes on the Hopkins–Miller theorem, from “Homotopy theory via algebraic geometry and group representations” (M Mahowald, S Priddy, editors), Contemp. Math. 220, Amer. Math. Soc., Providence, RI (1998) 313–366
  • B Richter, B Shipley, An algebraic model for commutative $H\mathbb{Z}$–algebras, Algebr. Geom. Topol. 17 (2017) 2013–2038
  • A Robinson, Obstruction theory and the strict associativity of Morava $K$–theories, from “Advances in homotopy theory” (S M Salamon, B Steer, W A Sutherland, editors), London Math. Soc. Lecture Note Ser. 139, Cambridge Univ. Press (1989) 143–152
  • A Robinson, Gamma homology, Lie representations and $E_\infty$ multiplications, Invent. Math. 152 (2003) 331–348
  • B Shipley, $H\mathbb Z$–algebra spectra are differential graded algebras, Amer. J. Math. 129 (2007) 351–379