Comparing commutative and associative unbounded differential graded algebras over \(\mathbb{Q}\) from a homotopical point of view (Q2354976)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6465442
Language Label Description Also known as
default for all languages
No label defined
    English
    Comparing commutative and associative unbounded differential graded algebras over \(\mathbb{Q}\) from a homotopical point of view
    scientific article; zbMATH DE number 6465442

      Statements

      Comparing commutative and associative unbounded differential graded algebras over \(\mathbb{Q}\) from a homotopical point of view (English)
      0 references
      0 references
      27 July 2015
      0 references
      Let \(\mathsf{dgCAlg}^*\) and \(\mathsf{dgAlg}^*\) be the category of augmented commutative differential graded \({\mathbb Q}\)-algebras and the category of augmented differential graded \({\mathbb Q}\)-algebras, respectively. The author proves that for any \(R\) and \(S\) in \(\mathsf{dgCAlg}^*\), the map \( \Omega \text{Map}_{\mathsf{dgCAlg}^*}(R, S) \to \Omega \text{Map}_{\mathsf{dgAlg}^*}(R, S) \) induced by the forgetful functor \(\mathsf{dgCAlg}^* \to \mathsf{dgAlg}^*\) between the loop spaces of functor complexes has a retract. In particular, the induced map gives rise to an injective map \(\pi_i(\text{Map}_{\mathsf{dgCAlg}^*}(R, S)) \to \pi_i(\text{Map}_{\mathsf{dgAlg}^*}(R, S))\) for \(i > 0\). One of the ingredients of the proof is a factorization \(\mathsf{Ass} \to \mathsf{E}_\infty \to \mathsf{Com}\) of a map \(\mathsf{Ass} \to \mathsf{Com}\) from the associative operad to the commutative operad as a cofibration followed by a trivial fibration. Quillen adjunctions between categories of algebras, which are induced by the maps between operads mentioned above, play a crucial role in the proof.
      0 references
      DGA
      0 references
      CDGA
      0 references
      mapping space
      0 references
      rational homotopy theory
      0 references
      derived algebraic geometry
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references