2 GABRIEL C. DRUMMOND-COLE
So I have y
0
and y
1
and I want to lift everything. I again us that X → Y
is a trivial fibration. I can assume that there exists x
0
and x
1
which map
to each of these, by the same argument, and by fullness I’m surjective on
the homotopy class for this morphism, and this gives a way to define this
map. I should confess that I didn’t check every detail of that.
(3) These are about non-cofibrant objects. He claims that by exercise 7, you
can show that the dual numbers k[] is not a cofibrant dg category. Let me
briefly solve this exercise here. Let me explain this exercise. This says that,
let B be a commutative k-dg algebra whose underlying graded k-algebra is
a graded commutative polynomial algebra k[X, Y ] with X degree 0 and Y
degree −1. Let the differential of Y be X
2
. This is a dg category with one
object. Then the first claim is to show that there exists a natural quasi-
equivalence p from B → k[] = k[X]/X
2
. The second claim is to show that
there is no section in dg categories. Then this gives you that k[] is not
cofibrant. Because I can write
∅
//
B
p
k[]
id
//
k[]
We can show that B → k[] is a weak equivalence and the lack of a section
indicates that there is no lift so k[] is not cofibrant. So I have k[X, Y ],
and a differential, and in degree 0, I have k[X]. In −1 degree I have k[X]Y ,
and in degree −2 I have Y
2
= 0 as long as 2 is invertible. Then d
2
(Y ) = 0
so d(X
2
) = 0 so XdX + dX ⋅ X = 0. Then I have f (X)Y which goes to
f
′
(X)dX ⋅ Y + f(X)dY = f (X)X
2
. So in here the kernel is k[X] and the
image is k[X]X
2
so the homology is k[X]/X
2
. If this is zero then f is
zero in this ring. So I computed the cohomology, and H
0
(B) = k[X]/X
2
and H
−1
(B) = 0, et cetera. So I can naturally define k[X, Y ] → K[X]/X
2
naturally. This is a natural quasi-equivalence. This is an isomorphism in
homology. The first condition is satisfied. It does not admit a section. If p
admits a section, then this is k[X]+k[X]Y , it goes to some (f (X), g(X)Y ),
and it should square to zero, so f(X) = 0. Since it is a section, then it can
never go back to X.
(4) Let me finish by proving exercise 4, again very simple, I hope. There is
a non-cofibrant object and I want to show one more example, T is a dg
category with four objects, x, x
′
, y, y
′
, and
x
u
f
//
x
′
u
′
y
g
′
//
y
′
From x to y
′
I have k⟨u
′
f⟩ ⊕ k⟨g
′
u in degree 0. I put in another k⟨h⟩ with
h in degree −1, with boundary u
′
f − g
′
u.