arXiv:1401.7285v1 [math.AT] 28 Jan 2014

COMPARING COMMUTATIVE AND ASSOCIATIVE
UNBOUNDED DIFFERENTIAL GRADED ALGEBRAS OVER Q
FROM HOMOTOPICAL POINT OF VIEW
ILIAS AMRANI
Abstract. In this paper we establish a faithfulness result, in a homotopical
sense, between a subcategory of the model category of augmented differential
graded commutative algebras CDGA and a subcategory of the model category of augmented differential graded algebras DGA over the field of rational
numbers Q.

Introduction
It is well known that the forgetful functor from the category of commutative
k-algebras to the category of category of associative k-algebras is fully faithful.
We have an analogue result between the category of unbounded differential graded
commutative k-algebras dgCAlgk and the category of unbounded differential graded
associative algebras dgAlgk . The question that we want explore is the following:
Suppose that k = Q, is it true that forgetful functor U : dgCAlgk → dgAlgk induces
a fully faithful functor at the level of homotopy categories
RU : Ho(dgCAlgk ) → Ho(dgAlgk ).
The answer is no. A nice and easy counterexample was given by Lurie. He has
considered k[x, y] the free commutative CDGA in two variables concentrated in
degree 0. It follows obviously that
Ho(dgCAlgk )(k[x, y], S) ≃ H0 (S) ⊕ H0 (S),
while
Ho(dgAlgk )(k[x, y], S) ≃ H0 (S) ⊕ H0 (S) ⊕ H−1 (S).
Something nice happens if we consider the category of augmented CDGA denoted
by dgCAlg∗k and augmented DGA denoted by dgAlg∗k .
Theorem 0.1 (3.1). For any R and S in dgCAlg∗k , the induced map by the forgetful
functor
ΩMapdgCAlg∗k (R, S) → ΩMapdgAlg∗k (R, S),
has a retract, in particular
πi MapdgCAlg∗k (R, S) → πi MapdgAlg∗k (R, S)
is injective ∀ i > 0.
2000 Mathematics Subject Classification. Primary 55, Secondary 14 , 16, 18.
Key words and phrases. DGA, CDGA, Mapping Space, Noncommutative and Commutative
Derived Algebraic Geometry, Rational Homotopy Theory.
Supported by the project CZ.1.07/2.3.00/20.0003 of the Operational Programme Education
for Competitiveness of the Ministry of Education, Youth and Sports of the Czech Republic.
1

2

Let S be a differential graded commutative algebra which is a ”loop” of an
other CDGA algebra A, i.e. S = Holim(k → A ← k), where the homotopy limit
is taken in the model category dgCAlgk . A direct consequence of our theorem
is that the right derived functor RU is a faithful functor i.e., the induced map
Ho(dgCAlg∗k )(R, S) → Ho(dgAlg∗k )(R, S) is injective.
Interpretation of the result in the derived algebraic geometry. Rationally,
any pointed topological X space can be viewed as an augmented (connective) commutative differential graded algebra via its cochain complex C ∗ (X, Q). In case
where X is a simply connected rational space, the cochain complex C ∗ (X, Q) carries the whole homotopical information about X, by Sullivan Theorem [5]. Moreover, the bar construction BC ∗ (X, Q) is identified (as E∞ -DGA) to C ∗ (ΩX, Q) and
ΩC ∗ (X, Q) is identified (as E∞ -DGA) to C ∗ (ΣX, Q) cf. [4]. This interpretation
allows us to make the following definition: A generalized rational pointed space is
an augmented commutative differential graded Q-algebra (possibly unbounded). In
the same spirit, we define a pointed generalized noncommutative rational space
as an augmented differential graded Q-algebra (possibly unbounded). Let A be any
augmented CDGA resp. DGA, we will call a CDGA resp. DGA of the form ΩA a
op-suspended CDGA resp. DGA. Our theorem 3.1, can be interpreted as follows:
The homotopy category of op-suspended generalized commutative rational spaces is a subcategory of the homotopy category of op-suspended
generalized noncommutative rational spaces.
1. DGA, CDGA and E∞ -DGA.
We work in the setting of unbounded differential graded k-modules dgModk . This
is a a symmetric monoidal closed model category (k is a commutative ring). We
denote the category of (reduced) operads in dgModk by Opk . We follow notations
and definitions of [2], we say that an operad P is admissible if the category of
P−dgAlgk admits a model structure where the fibrations are degree wise surjections
and weak equivalence are quasi-isomorphisms. For any map of operads φ : P → Q
we have an induced adjunction of the corresponding categories of algebras:
P − dgAlgk oo

φ!
φ∗

// Q − dgAlg .
k

A Σ-cofibrant operad P is an operad such that P(n) is k[Σn ]-cofibrant in dgModk[Σn ] .
Any cofibrant operad P is a Σ-cofibrant operad [2, Proposition 4.3]. We denote the
associative operad by Ass and the commutative operad by Com.The operad Ass is
an admissible operad and Σ-cofibrant, while the operad Com is not admissible in
general. In the rational case, when k = Q the operad Com is admissible but not
Σ-cofibrant. More generally any cofibrant operad P is admissible [2, Proposition
4.1, Remark 4.2]. We define a symmetric tensor product of operads by the formulae
[P ⊗ Q](n) = P(n) ⊗ Q(n), ∀ n ∈ N.
Lemma 1.1. Suppose that φ : Ass → P is a cofibration of operads.The operad
P is admissible and the functor φ∗ : P − dgAlgk → dgAlgk preserves fibrations,
weak equivalences and cofibrations with cofibrant domain in the inderleing category
dgModk .

3

Proof. First of all, the operad P is admissible, indeed we use the cofibrant resolution
r : E∞ → Com and consider the following pushout in Opk given by:

// E∞
Ass∞ 
∼

α


Ass

f



// E′∞

Where Ass∞ in the cofibrant replacement of Ass in Opk and Ass∞ → E∞ is a cofibration. Since the category Opk is left proper in the sense of [8, Theorem 3], we
′
have that α : E∞ → E∞ is an equivalence. We denote by I the unit interval in the
category dgModk which is strictly coassociative. The opposite endomorphism operad Endop (I) has a structure of E∞ -algbra and Ass∞ -algebra which factors through
Ass i.e., we have two compatible maps of operads:

// E∞
Ass∞ 
✺✺
✺
∼
α ✺✺
✺✺


✺✺
  f // ′
✺✺
E
Ass ❙❙
❙❙❙ ∞
✺✺
❙❙❙
✺✺
❙❙❙
❙❙❙
❙❙)) ✺## ✺
Endop (I)
by the universality of the pushout, we have a map of operads E∞ → Endop (I). This
′
means that the unit interval I has a structure of E∞ -colagebra [2, p.4]. Moreover,
we have a commutative diagram in Opk given by
′

Ass _

∆

// Ass ⊗ Ass

φ⊗f

// P ⊗ E′∞
id⊗r ∼

φ


P

id


// P ⊗ Com = P

where the diagonal map ∆ : Ass → Ass ⊗ Ass is induced by the diagonals Σn →
′
Σn ×Σn . Hence, the map P⊗E∞ → P admits a section. It implies by [2, Proposition
4.1], that P is admissible and Σ-cofibrant. Since all objects in P− dgAlgk are fibrant
and φ∗ is a right Quillen adjoint, it preserves fibrations and weak equivalences.
Since P is an admissible operad, we have a Quillen adjunction
dgAlgk oo

φ!
φ∗

// P − dgAlg ,
k

where the functor φ∗ is identified to the forgetful functor. Moreover, the model
structure on P − dgAlgk is the transfered model structure from the cofibrantly
generated model structure dgAlgk via the adjunction φ! , φ∗ . Suppose that f : A →
C is a cofibration in P − dgAlgk such that A is cofibrant in dgModk . We factor this
map as a cofibration followed by a trivial fibration
 i
// P p // // B
A
∼

4

in the category dgAlgk . By [7, Lemma 4.1.16], we have an induced map of endomorphism operads (of diagrmas):
End{A→P →B} → End{A→B}
which is a trivial fibration. Moreover, we have the following commutative diagram
in Opk
// End{A→P →B}
Ass _
99
∼




P

// End{A→B}

Since Opk is a model category, it implies that we have a lifting map of operads
P → End{A→P →B} , hence i and p are maps of P − dgAlgk . Therefore, we consider
the following commutative square in the category P − dgAlgk
i

A _
f


B

r
id

// P
>>
∼ p


// B

the lifting map r exists since P − dgAlgk is a model category, we conclude that
p ◦ r = id and r ◦ f = i, which means that f is a retract of i, hence f is a cofibration
in dgAlgk .

Remark 1.2. With the same notation as in 1.1, if A is a cofibrant object in P−dgAlgk
then A is a cofibrant object in dgModk . Indeed k → A is a cofibration in P−dgAlgk ,
by the previous lemma k → A is a cofibration in dgAlgk . Therefore, k → A is a
cofibration in dgModk .
2. Suspension in CGDA and DGA
′

We denote the the operad E∞ of the previous section by E∞ , and k = Q.
2.1. E∞ -DGA. We have a map of operads Ass → Com, which we factor as cofibration followed by a trivial fibration.

// E∞ ∼ // // Com
Ass 
As a consequence, we have the following Quillen adjunctions
dgAlgk oo

Ab∞
U

// E dgAlg oo
∞
k

str
U

′

// dgCAlg
k

These adjunctions have the following properties:
′

′

• The functors U and U ◦ U and are the forgetful functors, they are fully
faithful cf 2.3 and 2.2.
′
• The functors str, U form a Quillen equivalence since k = Q cf [6, Corollary
1.5]. The functor str is the strictification functor.
• The functors Ab∞ , U form a Quillen pair.
• The composition str ◦ Ab∞ is the abelianization functor Ab : dgAlgk →
dgCAlgk .
• The functors str and Ab are idenpotent functors. cf 2.3 and 2.2.

5

The model categories dgCAlg∗k and dgAlg∗k and E∞ dgAlg∗k are pointed model categories. It is natural to introduce the suspension functors in these categories.
Definition 2.1. Let C be any pointed model category, we denote the point by 1,
and let A ∈ C, a suspension ΣA is defined as hocolim(1 ← A → 1).
Proposition 2.2. Any map f : A → S in E∞ dgAlgk , where S is in dgCAlgk factors
′
in a unique way as A → str(A) → S and the forgetful functor U : dgCAlgk →
E∞ dgAlgk is fully faithful. Moreover, the unit of the adjunction νA : A → str(A)
is a fibration.
Proof. Suppose that we have a map h : R → S in E∞ dgAlgk such that R and S are
objects in dgCAlgk . By definition of the operad E∞ the map h has to be associative,
therefore h is a morphism in dgCAlgk since R and S are commutative differential
′
graded algebras. The forgetful functor U : dgCAlgk → E∞ dgAlgk is fully faithful,
this implies that str(S) = S for any S ∈ dgCAlgk . We have a commutative diagram
′
induced by the unit ν of the adjunction (U , str) :
f

A

// S
νS =id

νA


str(A)


str(f )
// str(S) = S.

We conclude that f = str(f ) ◦ νA . The surjectivity of the νA follows from the
universal property of str(A). Hence, νA is a fibration in E∞ dgAlgk .

Proposition 2.3. Any map f : A → S in dgAlgk , where S is in dgCAlgk factors in a
′
unique way as A → Ab(A) → S and the forgetful functor U ◦U : dgCAlgk → dgAlgk
is fully faithful. Moreover, the unit of the adjunction νA : A → Ab(A) is a fibration.
Proof. The proof is the same as in 2.2.



Proposition 2.4. Suppose that we have a trivial cofibration k → k in E∞ dgAlgk .
Then the universal map π : Ab(k) → str(k) is a trivial fibration and admits a
section in the category dgCAlgk .
Proof. We consider the following commutative diagram in E∞ dgAlgk :
k

∼

// k

id


k = str(k)

∼


// str(k).

The map k → str(k) is an equivalence since str is left Quillen functor, the same
thing holds for the abelianization functor i.e., k → Ab(k) is a trivial fibration,
since k → k is a trivial cofibration in dgAlgk 1.1 and Ab is a left Quillen functor.
On another hand the map k → str(k), which is a trivial fibration in E∞ dgAlgk
and hence in dgAlgk , can be factored (cf 2.3) as k → Ab(k) → str(k), where
Ab(k) → str(k) is a trivial fibration between cofibrant object in dgCAlgk . It follows

that we have a retract l : str(k) → Ab(k).
Definition 2.5. The suspension functor in the pointed model categories dgCAlg∗k ,
dgAlg∗k and E∞ dgAlg∗k are denoted by B, Σ and B∞ .

6

Lemma 2.6. Suppose that A is a cofibrant object in E∞ dgAlg∗k , and i : A → k a
cofibration, then str(B∞ A) is a retract of Ab(ΣA) in the category dgCAlgk .
Proof. First of all if a map f is associative, commutative resp. E∞ -map we put
an index fa , fc resp. f∞ , notice that by definition of the operad E∞ any E∞ -map
is a strictly associative map. Suppose that A is a cofibrant object in E∞ dgAlgk .
Consider the following commutative square:
A  _

i∞



// k
_

i∞

ha
f∞

  
k


// ΣA

ha

∃!
f∞

ua

** "" 
B∞ A

where ΣA is the (homotopy 1.1) pushout in dgAlgk and B∞ A is the (homotopy)
pushout in E∞ dgAlgk . By proposition 2.2 and proposition 2.3 we have a following
commutative square in dgAlgk :
ua

ΣA


Ab(ΣA)

xc

// B∞ A


// str[B∞ A] = B[str(A)].

By 2.4 we have an inclusion of commutative differential graded algebras lc :
str(k) → Ab(k) and after strictification we obtain on another (homotopy) pushout
square in dgCAlgk given by

str(A)
_



ic

fc

hc


// B[str(A)]
∃!

lc



Ab(k) 

// Ab(k)
_

fc

ic



str(k)
_

lc

// str(k)  
_

uc
hc

&& 
// Ab(Σ(A)).

In order to prove that B[str(A)] is a retract of Ab(Σ(A)) it is sufficient to prove
that
xc ◦ hc ◦ lc = fc .

7

By proposition 2.2 and proposition 2.3, the composition E∞ -maps
f∞

k

// str[B∞ A]

// B∞ A

can be factored in a unique way as
// Ab(k)

k

π

αc

// str(k)

// str[B∞ A] = B[str(A)].

By unicity, αc = fc . On another hand, using the first poushout in E∞ dgAlgk , the
previous composition k → str[B∞ A] is factored as
ha

k

// Ab(ΣA)

// ΣA

xc

// str[B∞ A].

We summarize the previous remarks in the following commutative diagram:
pr

k

// Ab(k)

π

hc

id

// str[B∞ A]
id


// Ab(ΣA)


k

fc

// str(k)


// str[B∞ A]

xc

by definition of ha , the doted map hc makes the left square commutative. Since
the whole square is commutative and the map pr is surjective we conclude that
xc ◦ hc = fc ◦ π. Since the map lc : Str(k) → Ab(k) is a retract of π (Cf. 2.4) i.e.,
π ◦ lc = id, we conclude that xc ◦ hc ◦ lc = fc . Finally, by unicity of the pushout,
we deduce that the following composition
B[str(A)]

uc

// Ab(ΣA)

xc

// B[str(A)]

is identity.


3. Main result and applications

Theorem 3.1. For any R and S in dgCAlg∗k , the induced map by the forgetful
functor
ΩMapdgCAlg∗k (R, S) → ΩMapdgAlg∗k (R, S),
has a retract, in particular
πi MapdgCAlg∗k (R, S) → πi MapdgAlg∗k (R, S)
is injective ∀ i > 0.
Proof. Suppose that R is (cofibrant) object in E∞ dgAlgk and S any object in
dgCAlgk . By adjunction, we have that
ΩMapdgCAlg∗k (str(R), S)

∼

MapdgCAlg∗k (B[str(R)], S)

(3.1)

∼

MapdgCAlg∗k (str[B∞ R], S)

(3.2)

∼

MapE∞ dgAlg∗k (B∞ R, S)

(3.3)

∼

ΩMapE∞ dgAlg∗k (R, S).

(3.4)

By Lemma 2.6, we have a retract
MapdgCAlg∗k (B[str(R)], S) → MapdgCAlg∗k (Ab(ΣR), S) → MapdgCAlg∗k (B[str(R)], S).
Again by adjunction:
MapdgCAlg∗k (Ab(ΣR), S) ∼ MapdgAlg∗k (ΣR, S) ∼ ΩMapdgAlg∗k (R, S).

8

We conclude that
ΩMapE∞ dgAlg∗k (R, S)

U

// ΩMapdgAlg∗ (R, S)
k

// ΩMapE dgAlg∗ (R, S)
∞
k

is a retract. Hence, the forgetful functor U induces a injective map on homotopy
groups i.e.,
πi MapdgCAlg∗k (str(R), S) ≃ πi MapE∞ dgAlg∗k (R, S) → πi MapdgAlg∗k (R, S)
is injective ∀ i > 0.



3.1. Rational homotopy theory. We give an application of our theorem 3.1 in
the context of rational homotopy theory. Let X be a simply connected rational
space such that πi X is finite dimensional Q-vector space for each i > 0. Let C ∗ (X)
be the differential graded Q-algebra cochain associated to X which is a connective
E∞ dgAlgk . By Sullivan theorem πi X ≃ πi MapdgCAlg∗k (C ∗ (X), Q). By 3.1, we have
that πi X is a sub Q-vector space of πi MapdgAlg∗k (R, S). On another hand [1], since
C ∗ (X) is connective, we have that for any i > 1
πi MapdgAlg∗k (C ∗ (X), Q) ≃ HH−1+i (C ∗ (X), Q),
where HH∗ is the Hochschild cohomology. Since we have assumed finiteness condition on X, we have that
HH−1+i (C ∗ (X), Q) ≃ HHi−1 (C ∗ (X), Q).
The functor C ∗ (−, Q) : Topop → E∞ dgAlgk commutes with finite homotopy limits,
where Top is the category of simply connected spaces. Hence,
i−1
HH−1+i (C ∗ (X), Q) = Hi−1 [C ∗ (X) ⊗L
(ΩX, Q).
C ∗ (X×X) Q] ≃ H

We conclude that πi X is a sub Q-vector space of Hi−1 (ΩX, Q).
More generally by Block-Lazarev result [3] on rational homotopy theory and [1],
we have an injective map of Q-vector spaces
AQ−i (C ∗ (X), C ∗ (Y )) → HH−i+1 (C ∗ (X), C ∗ (Y )),
where the C ∗ (X)-(bi)modules structure on C ∗ (Y ) is given by C ∗ (X) → Q →
C ∗ (Y ), and AQ∗ is the André-Quillen cohomology. We also assume that X and Y
are simply connected and i > 1.
More generally,
πi MapE∞ dgAlgk (R, S) = AQ−i (R, S) → HH−i+1 (R, S) = πi MapdgAlgk (R, S)
is an injective map of Q-vector spaces for all i > 1 and any augmented E∞ differential graded connective Q-algebras R and S, where the action of S on R
is given by S → Q → R.
Acknowledgement : I’m grateful to Benoı̂t Fresse for his nice explanation of
Lemma 1.1, the key point of the proof is due to him.

9

References
[1] Ilias Amrani. The mapping space of unbounded differential graded algebras. arXiv preprint
arXiv:1303.6895, 2013.
[2] C. Berger and I. Moerdijk. Axiomatic homotopy theory for operads. Commentarii Mathematici
Helvetici, 78(4):805–831, 2003.
[3] Jonathan Block and Andrej Lazarev. André–Quillen cohomology and rational homotopy of
function spaces. Advances in Mathematics, 193(1):18–39, 2005.
[4] Benoit Fresse. The bar complex of an E-infinity algebra. Advances in Mathematics,
223(6):2049–2096, 2010.
[5] Kathryn Hess. Rational homotopy theory: a brief introduction. Contemporary Mathematics,
436:175, 2007.
[6] Igor Kriz and J Peter May. Operads, algebras, modules and motives. Société mathématique de
France, 1995.
[7] Charles Waldo Rezk. Spaces of algebra structures and cohomology of operads. PhD thesis,
Massachusetts Institute of Technology, 1996.
[8] Markus Spitzweck. Operads, algebras and modules in general model categories. arXiv preprint
math/0101102, 2001.
Department of Mathematics, Masaryk University, Kotlarska 2, Brno, Czech Republic.
E-mail address: ilias.amranifedotov@gmail.com
E-mail address: amrani@math.muni.cz

