Mixed Motives over $k[t]/{(t^{m+1})}$

0.39 MB·English

by  Amalendu Krishna

MIXED MOTIVES OVER k[t]/(tm+1)
AMALENDU KRISHNA, JINHYUN PARK
0
1
0
2

n Abstract. For a perfect field k, we use the techniques of Bondal-Kapranov
a
and Hanamura to construct a triangulated category of mixed motives over the
J
truncated polynomial ring k[t]/(tm+1). The extension groups in this category
8
2 are given by Bloch’s higher Chow groups and the additive higher Chow groups.
The main new ingredient is the moving lemma for additive higher Chow groups

] in and its refinements.
G
A
1. Introduction
.
h
Let k be perfect field. The aim of this paper is to construct a triangulated cat-
t
a egory of mixed motives over the truncated polynomial ring k[t]/(tm+1), such that
m
the resulting motivic cohomology groups (the Ext groups) of smooth projective
[
varieties in this category compute the K-theory of perfect complexes on the infini-

1 tesimal deformations of these varieties. In other words, this category is expected to
v be an extension of the category of mixed motives over k, constructed for example
2 in [12], [17] and [22], to the simplest types of non-reduced rings. The complete
1
construction of such a category with expected properties has been desired for a
1
5 long time (cf. [2]) andwill go a long way inunderstanding how one could construct
. the motivic cohomology that compute the K-theory of vector bundles on singular
1
varieties. In this paper, our focus is to study such a problem in the particular
0
0 case of those singular varieties which are the infinitesimal deformations of smooth
1 varieties.
: Following Bloch’s proposal on how to construct mixed Tate motives over the
v
field k in [4], it was conjectured by Bloch and Esnault in [6] that there should be
i
X a theory of “degenerate” cycle complexes over k in such a way that the Tanakian
r formalism of [4] could be used to construct the category of mixed Tate motives
a
over the ring of dual numbers k := k[t]/(t2).
ǫ
Possibly motivated by [6], Goncharov [9] used his idea of k-scissors congruence
to define Euclidean scissors congruence groups to get a Lie coalgebra Q (k ) in
• ǫ
the category of Q -modules. He conjectured that if k is algebraically closed, the
ǫ
category of finite dimensional graded comodules over Q (k ) should be equivalent
• ǫ
to a subcategory of the conjectured category of mixed Tate motives over k (cf. [9,
ǫ
Conjecture 1.3]). However, a complete construction of even the category of these
mixed Tate motives was not known so far.
Our aim in this paper is to give a complete construction of a bigger category of
mixed motives over any given truncated polynomial ring k = k[t]/(tm+1) (note
m
that k = k). We expect that this category has all the expected properties. In
0
particular, theExt groupsshould give theK-theory ofthe infinitesimal thickenings
of smooth projective varieties. Although we are unable to prove this last property,
there are strong indications that this should indeed be true as we shall see shortly.
Some more results in this direction will appear in [16].
2010 Mathematics Subject Classification. Primary 14C25; Secondary 19E15.
Key words and phrases. Chow group, algebraic cycle, moving lemma, motive.
1
2 AMALENDUKRISHNA,JINHYUNPARK
Before we describe the main result, we fix some terminology. Let SmProj/k
denotethecategoryofsmoothprojectivevarietiesoverk. Thecategoryofallquasi-
projective schemes over k will be denoted by Sch/k. The subcategory with only
proper morphisms will be denoted by Sch′/k. Let DM(k) denote (the integral
version of) Hanamura’s triangulated category of mixed motives over k (cf. [14]).
For a X ∈ Sch/k, let TCHr (X,n;m) denote the log additive higher Chow groups
log
as in [15] (see also [14]). Note that for X smooth and projective, these are just the
additive higher Chow groups TCHr(X,n;m). We refer to Section 4 for the review
ofthesegroups. LetCHr(X,n)denotethehigherChowgroupsofX. Finally, recall
from [21] that for a scheme X, the higher K (X)-groups of perfect complexes on
i
X have gamma filtrations which induces Adams operations on each K (X) . The
i Q
(r)
r-th eigenspace for this operation is denoted by K (X).
i
Theorem 1.1. For m ≥ 0, there exists a triangulated category DM(k;m) such
that the following results hold:
(1) There are natural functors
ι : DM(k) → DM(k;m),
which is faithful (but not full) and
Forget : DM(k;m) → DM(k)
such that Forget ◦ ι is the identity. Moreover, DM(k;0) is canonically
isomorphic to DM(k).
(2) There exists the motive functor with the modulus m augmentation,
h : SmProj/k → DM(k;m)
such that
Hom (Z,h(X)(r)[2r−n]) = CHr(X,n)⊕TCHr(X,n;m),
DM(k;m)
where Z(r) and (−)(r) are Tate objects and Tate twists.
(3) If k admits Hironaka’s resolution of singularities, then there exists an ex-
tension of h(−)
bm : Sch′/k → DM(k;m)
such that
Hom (Z,bm(X)(r)[2r−n]) = CHr(X,n)⊕TCHr (X,n;m)
DM(k;m) log
for a smooth quasi-projective variety X.
As the reader will observe, the motive functor h in the above theorem is a
covariant functor unlike the one in [12], which is a contravariant functor. By
combining the results of Hesselholt [13] and [15, Theorems 3.4, 3.7] (see also [20]),
we have the following consequence of the above theorem:
Corollary 1.2. 1. For n ≥ 1, there is an isomorphism
Hom (Q,h(Spec(k))(n)[n]) ∼= K(n) k[t]/(tm+1) .
DM(k;m) n
2. Suppose k is algebraically closed of characteristic z(cid:0)ero. For n (cid:1)≥ 3, there is a
natural surjection
Hom (Q,h(Spec(k))(n−1)[n−2]) ։ K(n−1) k[t]/(t2) .
DM(k;1) n
(cid:0) (cid:1)
MIXED MOTIVES OVER k[t]/(tm+1) 3
As seen in [14], the additive higher Chow groups are expected to give rise to
Atiyah-Hirzebruch spectral sequence
TCH−q(X,−p−q;m) ⇒ Klog (X),
log −p−q
where Klog is a spectrum which for X ∈ SmProj/k, is the homotopy fiber of the
map of spectra K(X[t]/(tm+1)) → K(X). Based on this and the above computa-
tions and the ongoing work [16], we expect that for X ∈ SmProj/k and for n ≥ 1,
there is a natural isomorphism
(1.1) Hom (Q,h(X)(r)[2r−n]) = K(r) X[t]/(tm+1) .
DM(k;m) n
We also expect Goncharov’s category [9] to be a su(cid:0)bcategory of(cid:1)MTM(k;m)
(cf. (6.4)). We hope that this can be proved using the techniques in [4] and [15],
where we showed that the additive higher Chow groups have a natural structure of
differential graded algebra. In a sequel to this work, we shall address the question
of generalizing Voevodsky’s category of mixed motives over k to the truncated
polynomial ring k[t]/(tm+1).
We now give a brief outline of this paper. Our construction of the category of
motives is broadly based on the construction of triangulated categories out of a
dg-category in Bondal-Kapranov [7] and the construction of DM(k) in Hanamura
[12]. In order to carry this out, we formalize the results of [7] and [12] in the
language of what we call a partial dg-category, in the next two sections. Apart
from its use in this paper, we hope that this formalism of partial dg-categories will
be useful in proving many other similar results, especially in constructing various
types of categories of motives. We review (additive) higher Chow groups and
some of their properties in Section 4. Section 5 contains the main technical results
about the moving lemma and its refinements for additive higher Chow groups. We
construct our category DM(k;m) in Section 6 using the results of Section 3 and 5.
The last section contains results on the extension of the motives to all schemes of
finite type over k. This is based on some results of [10] and [14].
2. Partial dg-category
The construction of the triangulated category DM(k;m) of mixed motives over
k[t]/(tm+1) in this paper is broadly based on a very general construction of a
triangulated category from a dg-category, by Bondal and Kapranov in [7]. Apart
from ibid., our construction crucially uses the modification of Bondal-Kapranov’s
techniques by Hanamura in the construction of his category of mixed motives in
[12].
Given a pre-additive dg-category C, Bondal and Kapranov construct a sequence
of dg-categories and functors
C → C⊕ → PreTr(C) → Tr(C),
suchthatallintermediatecategoriesareadditivedg-categoriesandtheendproduct
Tr(C)isatriangulatedcategory. Moreover, thisconstructionisnaturalwithrespect
to functors of pre-additive dg-categories.
It turns out that this formalism of Bondal-Kapranov can be adapted also to
slightly moregeneral setting where oneallows more flexibility onthecomposability
axioms about the morphisms in the underlying dg-categories. It is this refinement
of the construction of [7] that will be needed to obtain the category DM(k;m).
In this section, we carry out the construction of Bondal and Kapranov in this
moregeneral setting of whatwe shall call partial dg-categories. This newformalism
of partial dg-categories is motivated by the construction of mixed motives in [12].
In fact, our endeavor in this and the next section is to axiomatize the techniques
4 AMALENDUKRISHNA,JINHYUNPARK
of ibid. in the language of partial dg-categories. We hope that this abstract
formalization will be useful in many cases of interest, especially where one works
with algebraic cycles and motives.
Let K(Z) and D(Z) respectively denote the homotopy category of cochain com-
plexes of abelian groups and its derived category. Similarly, let K−(Z) and D−(Z)
denote the corresponding categories of right bounded cochain complexes. We shall
say that f : M• 99K N• is a partially defined morphism of cochain complexes in
K(Z), if there is a subcomplex M′• ֒→i M•, where i is a quasi-isomorphism, and
f : M′• → N• is an honest morphism of cochain complexes. For a cochain complex
M•, the term quasi-isomorphic subcomplex will mean a subcomplex M′• ֒→ M•
such that the inclusion is a quasi-isomorphism.
Recall that a dg-category over Z consists of an additive category T such that
1. For any pair of objects A,B in T , one has (Hom (A,B),d) ∈ K(Z).
T
2. For a triple (A,B,C) of objects in T, there is a composition morphism µ :
ABC
Hom (A,B)⊗ Hom (B,C) → Hom (A,C).
T Z T T
3. For any object A of T , there is a “unit” morphism e : Z → Hom (A,A) of
A T
complexes.
The composition of morphisms satisfies the usual associative law and the left and
right compositions with the unit morphism e act as identity on any Hom (A,B)
A T
and Hom (B,A). A dg-category T as above which does not necessarily have finite
T
coproducts of objects is called a pre-additive dg-category.
In what follows, we consider a more general analogue of a dg-category, where
the compositions of morphisms are only partially defined in the above sense.
Definition 2.1. A partial dg-category C over Z consists of the following data.
(P1) A set of objects Ob(C), also denoted by C itself.
(P2) For any pair of objects A,B in C, one has Hom (A,B) ∈ K(Z), and a
C
collection S(A,B) of quasi-isomorphic subcomplexes of Hom (A,B) called “dis-
C
tinguished subcomplexes”.
(P3) For any object A of C, there is a “unit” morphism e : Z → Hom (A,A) of
A C
complexes.
(P4) Given any f ∈ Hom (A,B),g ∈ Hom (B,C) and a distinguished subcomplex
C C
Hom (A,C)′ ⊂ Hom (A,C),
C C
therearedistinguishedsubcomplexesHom (B,C)′ ⊂ Hom (B,C),Hom (A,B)′ ⊂
C C C
Hom (A,B) such that the compositions
C
(−)◦f : Hom (B,C)′ → Hom (A,C)′, and
C C
g ◦(−) : Hom (A,B)′ → Hom (A,C)′
C C
are defined.
(P5) For any pair of objects A,B in C and for any two distinguished subcomplexes
M,M′ ⊂ Hom (A,B), there is a distinguished subcomplex M′′ ⊂ M ∩ M′ of
C
Hom (A,B).
C
(P6) The composition of morphisms at the level of distinguished subcomplexes
satisfies the associative law, and the partially defined left and right compositions
with the unit morphism e act as identity on any Hom (A,B) and Hom (B,A).
A C C
A partial dg-category C which has all finite coproducts of its objects will be
called an additive partial dg-category. An example of a partial dg-category will be
given later in this paper when we construct our category DM(k;m).
MIXED MOTIVES OVER k[t]/(tm+1) 5
If C is a partial dg-category, let C⊕ be the partial dg-category whose objects are
formal finite coproducts of the objects of C, i.e.,
A = A
u
u∈J
M
where A ∈ Ob(C) and |J| < ∞. If J = ∅, then we write A = 0 by convention.
u
It is easy to see that for the possibly pre-additive partial dg-category C, the new
category C⊕ is indeed an additive partial dg-category. If C is additive from the
first place, then C = C⊕.
2.1. Twisted complexes and PreTr(C). Let C be a partial dg-category.
Definition 2.2 ([7]). A twisted complex over C is a system A = {(Ai) ,q :
i∈Z i,j
Ai → Aj for i < j}, where
• Ai ∈ Ob(C⊕), all but finitely many of them are 0, and q are morphisms in C⊕
i,j
of degree i−j +1.
• For any sequence i = i < ··· < i = j, the compositions q ◦···◦q are
0 r ir−1,ir i0,i1
defined.
• For all i < j,
(2.1) (−1)jd(q )+ q ◦q = 0.
i,j k,j i,k
i<k<j
X
Note that the twisted complexes as defined above are analogous to the one-sided
twisted complexes of [7, Definition 4.1].
Remark 2.3. Note also that since only finitely many Ai’s are non-zero in a twisted
complex A and since there is exactly one given q : Ai → Aj, the system A
i,j
involves only finitely many nonzero morphisms q ’s, too. In particular, if Ai = 0
i,j
for all but one i, then all q = 0.
i,j
We now define the set of partial morphisms between two twisted complexes.
So let A = {(Ai) ,p : Ai → Aj},B = {(Bi′) ,q : Bi′ → Bj′} be
i∈Z i,j i′∈Z i′,j′
two twisted complexes over C. Write Ai = ⊕ Ai and Bi′ = ⊕ Bi′. The
α β
α∈I(i) β∈I′(i′)
axiom (P5) of the definition of a partial dg-category implies that given any fi-
nite collection M ⊂ Hom (A,B) of distinguished subcomplexes, there is a dis-
i C
tinguished subcomplex M ⊂ ∩ M of Hom (A,B). Using this, the axiom
i C
i
(P4) of Definition 2.1, and Rem(cid:16)ark 2(cid:17).3, we can find distinguished subcomplexes
Hom (Ai ,Bi′)′ ⊂ Hom (Ai ,Bi′) so that for
C α β C α β
Hom (Ai,Bi′)′ := Hom (Ai ,Bi′)′,
C⊕ C α β
α β
MM
the following holds: for any sequence i = i < ··· < i = j, i′ = i′ < ··· < i′ = j′,
0 r 0 s
the composition
Hom (Aj,Bi′)′ → Hom (Ai,Bj′),
C⊕ C⊕
u 7→ q ◦···q ◦u◦p ◦···◦p
i′s−1,i′s i′0,i′1 ir−1,ir i0,i1
is defined. The axiom (P6) of Definition 2.1 then implies that these compositions
are associative. In parti|cular, t{hze map}s | {z }
(−)◦p : Hom (Aj,Bi′)′ → Hom (Ai,Bi′)
i,j C⊕ C⊕
6 AMALENDUKRISHNA,JINHYUNPARK
are defined and so are q ◦ (−). One defines the complex Hom (A,B) as
i′,j′ PreTr(C)
the cochain complex
l
(2.2) Hom (A,B)n = Hom (Ai,Bj)′ .
PreTr(C) C⊕
−i+Mj+l=n (cid:16) (cid:17)
ThedifferentialDofthecomplexHom (A,B)isgivenforf ∈ Hom (Ai,Bj)′ l
PreTr(C) C⊕
by the formula
(cid:0) (cid:1)
(2.3) D(f) := (−1)jd(f)+ (−1)j+mq ◦f +(−1)l+j+m+1f ◦p .
j,m m,i
m
X(cid:0) (cid:1)
One should note here that the various signs in the differential are completely differ-
ent fromtheoneschosen in[7] andtheyconformmoretoHanamura’s construction.
Lemma 2.4. The above D satisfies D ◦D = 0.
Proof. For f ∈ (hom (Ai,Bj)′)l, in the formula (2.3), we let (A) := (−1)jd(f),
C⊕
(B) := (−1)j+mq ◦ f, and (C) := (−1)l+j+m+1f ◦ p so that D(f) =
m j,m m m,i
(A)+(B)+(C). We prove that D2(f) = D(A)+D(B)+D(C) = 0.
FirstPwe have P
D(A) = (−1)jd(df)+ (−1)mq ◦df +(−1)l+mdf ◦p
j,m m,i
m
X(cid:0) (cid:1)
= (−1)mq ◦df + (−1)l+mdf ◦p
j,m m,i
m m
X X
(A1) (A2)
For (B), a direct |calculat{iozn shows}tha|t {z }
D(B) = (−1)jd(q ◦f)+ (−1)j+m′q ◦q ◦f
j,m m,m′ j,m
m m,m′
X X
(B1) (B2)
+ | (−1){l+zm+m′qj,m}◦f|◦pm′,i, {z }
m,m′
X
(B3)
where the Leibniz rule for (B1) shows that we have
| {z }
(B1) = (−1)jdq ◦f + (−1)1−mq ◦df.
j,m j,m
m m
X X
(B11) (B12)
Similarly, a direct calculation shows that
| {z } | {z }
D(C) = (−1)l+m+1d(f ◦p )+ (−1)l+m+m′+1q ◦f ◦p
m,i j,m′ m,i
m m,m′
X X
(C1) (C2)
+ | (−1)m′−{iz+1f ◦pm,i ◦}qm′|,m, {z }
m,m′
X
(C3)
| {z }
MIXED MOTIVES OVER k[t]/(tm+1) 7
where the Leibniz rule for (C1) shows that we have
(C1) = (−1)l+m+1df ◦p + (−1)m+1f ◦dp .
m,i m,i
m m
X X
(C11) (C12)
Now, one immedia|tely notic{ezs that (A1})+|(B12) = {0z, (A2)+(}C11) = 0, (B3)+
(C2) = 0, and (B2) + (B11) = (C3) + (C12) = 0 by the condition (2.1). Thus,
D2(f) = D(A)+D(B)+D(C) = 0. This proves the lemma. (cid:3)
Definition 2.5. Let C be a partial dg-category. We define PreTr(C) to be the
partial dg-category whose objects are all the twisted complexes over C, and whose
“morphisms” are given by the cochain complexes defined in (2.2).
Observe that PreTr(C) is not yet an honest category since the morphisms be-
tween twisted complexes depend on the choices of distinguished subcomplexes. We
shallshowhoweverthatthesemorphismsarewelldefineduptoquasi-isomorphisms.
A full subcategory D of PreTr(C) is a partial category such that
• Ob(D) ⊂ Ob(PreTr(C)) and
• For A,B ∈ Ob(D), Hom (A,B) = Hom (A,B).
D PreTr(C)
In particular, the morphisms of D will be shown to be well defined up to quasi-
isomorphisms.
3. Homotopy category of a partial dg-category
In this section, we complete the program of constructing an honest triangulated
category Tr(C) from a given partial dg-category C, which will be called the ho-
motopy category of C. This is done with the help of the notion of C-complexes
(cf. [12, Section 3]). We begin with a brief recall of this theory. We call it a left
C-complex here.
Notational convention: Inthissection, when wewritesumsover variousindices,
we emphasize the indices over which the sums are taken by putting underlines for
them. For example, is taken over k such that m < k < n with m,n fixed,
m<k<n
while is taken over all pairs of indices k and n with m < k < n for a fixed
m<k<n P
m.
P
Definition 3.1. A left C-complex of abelian groups consists of
(i) A sequence of cochain complexes (A• ,d ) for m ∈ Z such that A• = 0 for
m Am m
all but finitely many m’s.
(ii) For m < n, there are maps of graded groups
F : A• → A•[m−n+1]
m,n m n
subject to the condition
(3.1) F ◦(−1)md +(−1)nd ◦F + F ◦F = 0
m,n Am An m,n l,n m,l
m<l<n
X
as a map A• → A•+m−n+2.
m n
Given a left C-complex (A• ,d ), one defines its total complex Tot(A) =
m Am
Tot(A)•,dL by
(cid:0)(3.2) (cid:1) Tot(A)p = Ai
m
m+i=p
M
8 AMALENDUKRISHNA,JINHYUNPARK
such that for f ∈ Ap−m, one has
m
(3.3) dL(f) = (−1)md (f)+ F (f) ∈ Ap−n+1.
Am m,n n
!
n>m n≥m
X M
One checks using the condition (3.1) that dL is indeed a differential.
Remark 3.2. As explained in loc. cit., a left C-complex is a generalization of the
notion of double complexes in that the maps F are chain maps such that
m,m+1
F ◦F are not assumed to be zero, although they are zero in the ho-
m+1,m+2 m,m+1
motopy category K(Z) via the homotopy F . In fact, the maps F of higher
m,m+2 m,n
lengths (m − n) give the null-homotopy for the composites of the similar maps
of smaller lengths. In particular, a left C-complex is a chain complex of objects
in the homotopy category K(Z) of chain complexes. The standard formalism of
spectral sequences associated to a chain complex of objects in K(Z) then implies
that there is a convergent spectral sequence
(3.4) Ep,q = Hq(A•) ⇒ Hp+q Tot(A),dL .
1 p
Apart from the above left C-complexes, we(cid:0)shall also ne(cid:1)ed the following variant
of these objects that we shall call right C-complexes. We emphasize again that the
above left C-complexes are exactly what are simply called C-complexes in [12].
Definition 3.3. A right C-complex of abelian groups consists of
(i) A sequence of cochain complexes (A• ,d ) for m ∈ Z such that A• = 0 for
m Am m
all but finitely many m’s.
(ii) For m < n, there are maps of graded groups
E : A• → A•[m−n+1]
m,n m n
subject to the condition
(3.5) E ◦(−1)md +(−1)nd ◦E + (−1)l+1E ◦E = 0
m,n Am An m,n l,n m,l
m<l<n
X
as a map A• → A•+m−n+2.
m n
Given a right C-complex (A• ,d ), one defines its total complex Tot(A) =
m Am
Tot(A)•,dR by
(cid:0) (cid:1)
(3.6) Tot(A)p = Ai
m
m+i=p
M
such that for f ∈ Ap−m, one has
m
(3.7) dR(f) = (−1)md (f)+ (−1)n+1E (f) ∈ Ap−n+1.
Am m,n n
!
n>m n≥m
X M
Lemma 3.4. dR ◦dR = 0. In other words, Tot(A),dR is a cochain complex.
(cid:0) (cid:1)
MIXED MOTIVES OVER k[t]/(tm+1) 9
Proof. By a direct calculation, for f ∈ Ap−m,
m
(dR)2(f) = dR (−1)md (f)+ (−1)n+1E (f)
A m,n
!
n>m
X
= dR((−1)md (f))+dR (−1)n+1E (f) ,
A m,n
!
n>m
(A) X
(B)
| {z }
where for the first term we have | {z }
(A) = (−1)m(−1)md2(f)+ (−1)m(−1)n+1E (d (f))
A m,n A
n>m
X
= (−1)n+1(E ◦(−1)md )(f),
m,n A
n>m
X
and for the second term we have
(B) = (−1)n+1 (−1)nd (E (f))+ (−1)k+1E (E (f))
A m,n n,k m,n
 
nX>m  Xk>n 
= (−1)n+1((−1)nd ◦E )(f)
 A m,n 
n>m
X
+ (−1)n+1(−1)k+1(E ◦E )(f)
n,k m,n
k>n>m
X
= (−1)n+1((−1)nd ◦E )(f)
A m,n
n>m
X
+ (−1)n+1(−1)l+1(E ◦E )(f).
l,n m,l
n>l>m
X
Thus, (dR)2(f) = (A)+(B) is equal to
(dR)2(f) = (−1)n+1{(E ◦(−1)md )(f)+((−1)nd ◦E )(f)
m,n A A m,n
n>m
X
+ (−1)l+1(E ◦E )(f) = 0,
l,n m,l 
n>Xl>m 
(cid:3)
where the last equality follows from (3.5).

ItiseasytoseeinthedefinitionofarightC-complexthatforn = m+1,E :
m,m+1
A• → A• is a map of chain complexes. Moreover, the composite E ◦
m m+1 m+1,m+2
E is zero in the homotopy category K(Z) via the homotopy E . Thus,
m,m+1 m,m+2
a right C-complex is also a chain complex of objects of the homotopy category
K(Z) of chain complexes. One gets a convergent spectral sequence similar to the
one in (3.4):
(3.8) Ep,q = Hq(A•) ⇒ Hp+q Tot(A),dR .
1 p
(cid:0) (cid:1)
10 AMALENDUKRISHNA,JINHYUNPARK
Our interest in C-complexes is explained by the following results.
Lemma 3.5. Let C be a partial dg-category. Let A′ ∈ C⊕ and let B = {(Bi) ,q :
i∈Z i,j
Bi → Bj} be a twisted complex over C as in Definition 2.2. Assume that we
have chosen distinguished subcomplexes Hom (A′,B )′ such that the complex
C⊕ m
Hom (A′,B) is defined as in (2.2). Then (A• ,d ) is a left C-complex,
PreTr(C) m Am
where A = Hom (A′,B )′ and d is its differential. Moreover,
m C⊕ m Am
Tot(A),dL = Hom (A′,B),D .
PreTr(C)
Proof. We can assum(cid:0)e that all A(cid:1)′,Bi(cid:0)∈ C. Let A = Hom(cid:1)(A′,B )′ and F =
m C m m,n
(−1)m+nq ◦(−) for m < n. Since q ∈ Homm−n+1(B ,B ), we have for any
m,n m,n C⊕ m n
f ∈ A• ,
m
F (f) = (−1)m+nq ◦f ∈ A•+m−n+1.
m,n m,n n
Moreover, the Leibniz rule
d(q ◦f) = d(q )◦f +(−1)m−n+1q ◦d(f)
m,n m,n m,n
for the composition in C and (2.1) together imply that
(−1)nd(q ◦f)+(−1)mq ◦d(f)+ (q ◦q ◦f) = 0.
m,n m,n k,n m,k
m<k<n
X
This exactly translates to the condition (3.1) in the definition of a left C-complex.
This proves the first part.
For the second part, one sees from (2.2) and (3.2) that the terms of the two
complexes Hom (A,B) and Tot(A) agree in each degree. Furthermore, us-
PreTr(C)
ing (2.3) and (3.3) and noting that A′ is a single term twisted complex, we see that
(cid:3)
the two differentials also agree.
Lemma 3.6. Let C be a partial dg-category. Let B′ ∈ C⊕ and let A = {(Ai) ,p :
i∈Z i,j
Ai → Aj} be a twisted complex over C. Assume that we have chosen distinguished
subcomplexes Hom (Am,B′)′ such that the complex Hom (A,B′) is defined.
C⊕ PreTr(C)
Let (B• ,d ) := Hom (A−m,B′)′,(−1)md , where d is the differential of
m Bm C⊕ −m −m
the complex Hom (A−m,B′)′. Then (B• ,d ) is a right C-complex. Moreover,
C(cid:0)⊕ m Bm (cid:1)
Tot(B),dR = Hom (A,B′),D .
PreTr(C)
Proof. Since right C(cid:0)-complexes ha(cid:1)ve n(cid:0)ot appeared before, w(cid:1)e give a detailed proof
in this case. We first show that (B• ,d ) is a right C-complex. For m < n, Let
m Bm
E (f) = (−1)deg(f)f ◦ p , where deg(f) := r if f ∈ (Hom (A−m,B′)′)r.
m,n −n,−m C⊕
Then we have
(3.9)
(−1)l+1E ◦E (f) = (−1)l+1+deg(f)E (f ◦p )
l,n m,l l,n −l,−m
m<l<n m<l<n
P = P (−1)2deg(f)−l+m+1f ◦p ◦p
−l,−m −n,−l
m<l<n
= P (−1)l+m+1f ◦p ◦p .
l,n m,l
m<l<n
P
Using the Leibniz rule, for the differential d of the complex Hom (A−m,B′)′,
−m C⊕
d (f ◦p ) = (d f)◦p +(−1)deg(f)d (p ).
−n −n,−m −m −n,−m −n −n,−m