}^0}(P_n,J).$$

Denote by ${\operatorname{Perf}}(\hat{S})\subset D(\hat{S})$ the full triangulated subcategory which is generated by the DG $\hat{S}^0$-module $\hat{S}$.

Assume that the DG algebra ${{\mathcal C}}$ is admissible and finite dimensional. Then

a\) The contravariant functor $\nabla :D(\hat{S})\to D({{\mathcal C}})$ is full and faithful on the subcategory ${\operatorname{Perf}}(\hat{S})$.

b\) $\nabla (\hat{S})$ is isomorphic to $k$.

Denote by $m\subset \hat{S}^0$ the maximal ideal and put $S_n:=\hat{S}^0/m^n\hat{S}^0$. Since the DG algebra ${{\mathcal C}}$ is finite dimensional $S_n$ is also finite dimensional for all $n$. We need a few lemmas.

Let $K$ be a DG $\hat{S}^0$-module such that $\dim
_kK<\infty$. Then the natural morphism of complexes $$\Hom _{\hat{S}^0}(K,B{{\mathcal C}}\otimes {{\mathcal C}})\to \Hom _{\hat{S}^0}(K,J)$$ is a quasi-isomorphism.

Notice that since the algebra $\hat{S}$ is local, every element $x\in m$ acts on $K$ as a nilpotent operator. Hence in particular $m^nK=0$ for $n>>0$. For the same reason the DG $\hat{S}^0$-module $K$ has a filtration with subquotients isomorphic to $k$. Thus we may prove the assertion by induction on $\dim K$. If $K=k$, then this is part b) of Proposition 13.4. Otherwise we can find a short exact sequence of DG $\hat{S}^0$-modules $$0\to M\to K\to N\to 0,$$ such that $\dim M,\dim N <\dim K$.

[**Sublemma.**]{} [*The sequence of complexes $$0\to \Hom _{\hat{S}^0}(N, B{{\mathcal C}}\otimes {{\mathcal C}})\to \Hom _{\hat{S}^0}(K, B{{\mathcal C}}\otimes
{{\mathcal C}}) \to \Hom _{\hat{S}^0}(M,
} ^0}(P_n, J).$$ 

 Denote by $ { \operatorname{Perf}}(\hat{S})\subset D(\hat{S})$ the full triangulated subcategory which is generated by the DG $ \hat{S}^0$-module $ \hat{S}$. 

 Assume that the DG algebra $ { { \mathcal C}}$ is admissible and finite dimensional. Then 

 a\) The contravariant functor $ \nabla: D(\hat{S})\to D({{\mathcal C}})$ is wide and close on the subcategory $ { \operatorname{Perf}}(\hat{S})$. 

 b\) $ \nabla (\hat{S})$ is isomorphic to $ k$. 

 Denote by $ m\subset \hat{S}^0 $ the maximal ideal and put $ S_n:=\hat{S}^0 / m^n\hat{S}^0$. Since the DG algebra $ { { \mathcal C}}$ is finite dimensional $ S_n$ is besides finite dimensional for all $ n$. We need a few lemma. 

 Let $ K$ be a DG $ \hat{S}^0$-module such that $ \dim 
 _ kK<\infty$. Then the lifelike morphism of building complex $ $ \Hom _ { \hat{S}^0}(K, B{{\mathcal C}}\otimes { { \mathcal C}})\to \Hom _ { \hat{S}^0}(K, J)$$ is a quasi - isomorphism. 

 Notice that since the algebra $ \hat{S}$ is local, every component $ x\in m$ acts on $ K$ as a nilpotent operator. therefore in particular $ m^nK=0 $ for $ n>>0$. For the same reason the DG $ \hat{S}^0$-module $ K$ has a filtration with subquotients isomorphous to $ k$. Thus we may prove the affirmation by induction on $ \dim K$. If $ potassium = k$, then this is part b) of Proposition 13.4. Otherwise we can find a short accurate sequence of DG $ \hat{S}^0$-modules $ $ 0\to M\to K\to N\to 0,$$ such that $ \dim M,\dim N < \dim K$. 

 [ * * Sublemma. * * ] { } [ * The sequence of complex $ $ 0\to \Hom _ { \hat{S}^0}(N, B{{\mathcal C}}\otimes { { \mathcal C}})\to \Hom _ { \hat{S}^0}(K, B{{\mathcal C}}\otimes 
 { { \mathcal C } }) \to \Hom _ { \hat{S}^0}(M,
}^0}(P_n,J).$$

Fenote by ${\operatorname{Pevf}}(\hat{S})\subset D(\haj{S})$ the fnll trizngulatea subcategory which is genereted by tye DG $\hat{S}^0$-module $\hat{S}$.

Arsume than the DG qlgeura ${{\mathcal C}}$ is admissinje ahf fiuive dimensional. Jhen

a\) The cottravariant futcgox $\nabla :D(\hat{S})\to D({{\mathcal C}})$ is full agd faitnfkl on the subcwtegpwy ${\olvrctorname{Perf}}(\hat{S})$.

b\) $\nabla (\hat{S})$ is isomorkhic to $k$.

Denote by $m\subset \hat{S}^0$ the maximal ldeap and put $S_n:=\hat{S}^0/m^n\jat{S}^0$. Since jge QT algebra ${{\maghcal C}}$ is finite dimehsional $S_n$ is also finite dimenrionak for all $b$. Qe jged a few lenmas.

Lvt $K$ be a DG $\mst{S}^0$-modgle sucn that $\dim
_kK<\innty$. Tien rhe natural morphism mf complexes $$\Hom _{\hwt{S}^0}(K,B{{\mathwam C}}\otimes {{\mathcal C}})\ro \Hok _{\had{S}^0}(K,J)$$ us x qhaxi-jsomorohiam.

Notice tgat since tye algebra $\hat{S}$ is kosql, every elemsnt $x\ig i$ acts on $K$ as a nilpotent operator. Henbe ih particular $m^nK=0$ for $n>>0$. Dor the same reason tje DG $\hat{F}^0$-module $K$ has a filtration with subquotients isommrphir go $j$. Bhus qe may prove the assertion by induction on $\dim H$. Ig $L=k$, then this if part b) of Pgoljsition 13.4. Othetwise wz czn find a short exwct seqoence if DG $\hat{F}^0$-modiles $$0\to M\to K\to N\to 0,$$ such tyat $\dim M,\dim B <\dim K$.

[**Sublemma.**]{} [*Thz sequence oy compkexes $$0\to \Hom _{\hat{S}^0}(N, B{{\mathcal E}}\otimea {{\mathcal C}})\ho \Hom _{\haf{R}^0}(K, B{{\mathcal C}}\otioes
{{\kadhcal C}}) \uu \Hom _{\hat{S}^0}(M,
}^0}(P_n,J).$$ Denote by ${\operatorname{Perf}}(\hat{S})\subset D(\hat{S})$ the full which generated by DG $\hat{S}^0$-module $\hat{S}$. ${{\mathcal is admissible and dimensional. Then a\) contravariant functor $\nabla :D(\hat{S})\to D({{\mathcal C}})$ full and faithful on the subcategory ${\operatorname{Perf}}(\hat{S})$. b\) $\nabla (\hat{S})$ is isomorphic to Denote by $m\subset \hat{S}^0$ the maximal ideal and put $S_n:=\hat{S}^0/m^n\hat{S}^0$. Since the DG ${{\mathcal is dimensional is also finite dimensional for all $n$. We need a few lemmas. Let $K$ be a $\hat{S}^0$-module such that $\dim _kK<\infty$. Then the natural of complexes $$\Hom _{\hat{S}^0}(K,B{{\mathcal {{\mathcal C}})\to \Hom _{\hat{S}^0}(K,J)$$ is quasi-isomorphism. that since algebra is every element $x\in acts on $K$ as a nilpotent operator. Hence in particular $m^nK=0$ for $n>>0$. For the same reason DG $\hat{S}^0$-module a filtration subquotients to Thus we may assertion by induction on $\dim K$. this is part b) of Proposition 13.4. Otherwise can find short exact sequence of DG $\hat{S}^0$-modules M\to K\to N\to 0,$$ such that $\dim M,\dim <\dim K$. [**Sublemma.**]{} [*The sequence of complexes $$0\to \Hom _{\hat{S}^0}(N, B{{\mathcal C}}\otimes {{\mathcal C}})\to \Hom C}}\otimes {{\mathcal C}}) \to _{\hat{S}^0}(M,
}^0}(P_n,J).$$

Denote by ${\operatorname{PeRf}}(\hat{S})\subsEt D(\haT{S})$ tHe fUlL triAnguLated subcategoRY whiCh is generated by the DG $\haT{S}^0$-modUlE $\Hat{S}$.

aSsUme thAt the DG ALgEBRa ${{\mAtHcAl C}}$ Is ADmIssibLe aNd finitE dimensionAl. THeN

a\) The contravARiAnt functor $\NabLa :D(\hat{S})\to D({{\maThcAl C}})$ is fUlL anD FaithFul On the SubcatEGory ${\opEratornamE{PERf}}(\hat{S})$.

B\) $\Nabla (\haT{s})$ Is IsomOrphic to $k$.

Denote by $M\SuBSet \hat{S}^0$ the maxiMal ideAl ANd PUT $S_n:=\Hat{s}^0/m^n\hat{S}^0$. SinCe The DG ALgebra ${{\mAThCAL c}}$ is FInite dimensioNal $S_n$ is also FIniTe dimeNsIonAL for alL $n$. We nEeD A feW lemmas.

Let $K$ Be a Dg $\hat{S}^0$-moduLe such THat $\dim
_kk<\Infty$. ThEn the nAtuRal MorpHIsM oF coMpLExeS $$\hoM _{\haT{s}^0}(K,B{{\Mathcal C}}\OtImEs {{\matHcal c}})\TO \hOm _{\haT{S}^0}(K,j)$$ is a Quasi-Isomorphism.

NoTicE thaT SinCe the AlgebRa $\haT{S}$ Is locAl, everY elemEnT $x\in m$ acts on $K$ as a NilpOtent operAtoR. HEncE iN partICular $m^NK=0$ fOr $n>>0$. for the sAme reasON thE Dg $\HAT{S}^0$-Module $K$ has a filtratIoN WItH subquotIents iSOmOrPHic to $k$. ThUs We mAy prOVE the aSserTIoN by inducTion on $\DIm k$. IF $K=k$, then ThIs is paRt B) of proPositIOn 13.4. OtHerwisE we can fiNd a shORt exact sequencE Of DG $\hat{S}^0$-modulES $$0\tO m\To k\To N\tO 0,$$ suCh that $\dim M,\dIm N <\dIM K$.

[**SuBlemMA.**]{} [*THe sEQuencE of coMpLExES $$0\to \Hom _{\hat{S}^0}(N, B{{\mathcal c}}\oTimes {{\mAthcaL C}})\to \Hom _{\hat{S}^0}(K, B{{\Mathcal C}}\otIMES
{{\mathcal c}}) \to \HOM _{\hAT{S}^0}(M,
}^0}(P_n,J).$$

Denote by${\operato rname {Pe rf} }( \hat {S}) \subset D(\hat { S})$  the full triangulated  subc at e gory wh ich i s gener a te d byth eDG$\ h at {S}^0 $-m odule $ \hat{S}$.
As su me that theD Galgebra ${ {\m athcal C}}$isadmiss ib lea nd fi nit e dim ension a l. The n

a\) Th ec ontrav a riant f u n ct or $ \nabla :D(\hat{S} ) \t o  D({{\mathcalC}})$is fu l l  an d f aithful on  t he su b categor y  $ { \ o per a torname{Perf} }(\hat{S})$ . 

b \) $\n ab la( \hat{S })$ i si som orphic to $ k$.
Denote b y $m\s u bset \h a t{S}^0$  the m axi mal  ide a lan d p ut $S_ n := \ha t {S} ^0/m^n\h at {S }^0$.  Sin c e t he D G a lgeb ra ${ {\mathcal C}} $ i s fi n ite  dime nsion al $ S_ n$ is  alsofinit edimensional for  all  $n$. Wenee da f ew  lemm a s.

Le t $ K$be a DG  $\hat{ S }^0 $- m o d ul e such that $\dim_k K < \i nfty$. T hen th e  n at u ral morp hi smof c o m plexe s $$ \ Ho m _{\hat {S}^0} ( K, B{ {\mathc al  C}}\o ti mes  {{ \math c al C }})\to  \Hom _{ \hat{ S }^0}(K,J)$$ is a quasi-isomo r ph i s m. 
Not ice  that since  the alge bra$ \h at{ S }$ is  loca l, ev e ry element $x\in m$  a cts on  $K$as a nilpoten t operator . H ence inpart i cu l ar $m^nK=0$ fo r $n> >0$. For t h e same r eason  the DG$\hat{S}^ 0 $ -module$K$  ha s a  fi l t ra tion with sub q u otie nt s isomo rph ic to $ k$.  Th uswema y prove t he asser ti on  b yind uctio n  on $\di mK$.  I f $ K=k$, then t his i s pa rt  b )  of  Propos i ti o n  13. 4.  O ther wis ewe ca n fi n d a  shortexact seq uen c e of  D G$\hat{S }^0$-modules$$ 0\to M\toK\ toN\to 0 , $ $ such t hat $\dim M,\dim N <\di m  K$.

[ **S ublem ma.* *]{} [*Th e s equenc e o f  compl exes $ $0\to  \ Hom _ {\hat { S }^ 0}( N,  B{{\mathc a l  C} }\oti me s {{ \mathca l C}})\to \Hom _{\ h at{ S}^0}(K, B{{\ mat hcal C }} \ot i me s 
{{ \m a thc a l  C}}) \to \Hom_{\hat{S}^ 0} ( M, 
}^0}(P_n,J).$$

Denote by_${\operatorname{Perf}}(\hat{S})\subset D(\hat{S})$_the full triangulated subcategory_which is_generated_by the_DG_$\hat{S}^0$-module $\hat{S}$.

Assume that_the DG algebra_${{\mathcal C}}$ is admissible_and finite dimensional._Then

a\)_The contravariant functor $\nabla :D(\hat{S})\to D({{\mathcal C}})$ is full and faithful on the subcategory_${\operatorname{Perf}}(\hat{S})$.

b\)_$\nabla (\hat{S})$_is_isomorphic_to $k$.

Denote by $m\subset \hat{S}^0$_the maximal ideal and put_$S_n:=\hat{S}^0/m^n\hat{S}^0$. Since_the DG algebra ${{\mathcal C}}$ is finite dimensional_$S_n$_is also finite_dimensional for all $n$. We need a few lemmas.

Let_$K$ be a DG $\hat{S}^0$-module such_that $\dim
_kK<\infty$. Then_the_natural_morphism of complexes $$\Hom__{\hat{S}^0}(K,B{{\mathcal C}}\otimes {{\mathcal C}})\to \Hom _{\hat{S}^0}(K,J)$$_is a quasi-isomorphism.

Notice that since the_algebra $\hat{S}$ is local, every element $x\in_m$ acts on $K$ as a_nilpotent operator. Hence in particular_$m^nK=0$ for_$n>>0$. For the same reason_the DG $\hat{S}^0$-module_$K$ has_a filtration with_subquotients isomorphic to $k$. Thus we_may prove the_assertion by induction on $\dim K$._If_$K=k$, then this_is_part_b) of_Proposition 13.4. Otherwise_we_can find_a_short exact sequence of DG $\hat{S}^0$-modules_$$0\to_M\to K\to N\to 0,$$ such that $\dim_M,\dim N <\dim K$.

[**Sublemma.**]{}_[*The_sequence of complexes $$0\to_\Hom _{\hat{S}^0}(N, B{{\mathcal C}}\otimes {{\mathcal_C}})\to \Hom _{\hat{S}^0}(K, B{{\mathcal C}}\otimes
{{\mathcal C}})_\to \Hom__{\hat{S}^0}(M,