Theorie homotopique des DG-categories
23-Oct-2007 arXiv:0710.4303v1 [math. ... m'ont fait profiter de leur immense richesse mathématique et cela m'a ouvert ... Théor`eme 0.20 (3.8 Cisinski).
Étude mathématique et numérique déquations cinétiques et fluides
13-Mar-2020 équation; merci à Benoît Hébert pour sa préparation de très ... 1.3.3 Contributions numériques du (DAMM)-scheme sur le système de Vlasov-.
Entre Jeunes Class IX
3. Ms. Mani Mathur. French Faculty Head of the Je vais très bien
A Content-Aware Design Approach to Multiscale Navigation
Un grand merci pour avoir diriger ma th`ese pour y avoir apporté la 3`eme dimension
Syllabus Cambridge IGCSE French 0520
3 www.cambridgeinternational.org/igcse. Back to contents page more detail in section 3. ... Merci. voiture (f). Pardon. vol (m). Pardon ? voyage (m).
2010 Results Euclid Contest 2010 Résultats Concours Euclide
2010. Résultats. Concours Euclide c 2010 Centre for Education in Mathematics and Computing 3. Moyenne: 63. Ce probl`eme a été bien réussi.
Mathematical and numerical analysis of propagation models arising
23-Nov-2018 1.3.3 Résumé du chapitre 4 : Fronts pulsatoires pour un syst`eme d'équations de Fisher-KPP hétérog`enes en épidémiologie évolutive .
Education Evaluation Services in the Democratic Republic of the
The DRC 2015 Early Grade Reading Assessment Early Grade Mathematics. Assessment
Quantitative recurrence properties in infinite measure
27-Mar-2019 3 Recurrence for Z-extension of subshift of finite type. ... dynamiques pour lesquels la conclusion du théor`eme de Poincaré est satisfaite.
THESE DE L"UNIVERSIT´E PARIS DIDEROT - PARIS 7
MATH´EMATIQUES
E.D. SCIENCES MATH
´EMATIQUES DE PARIS - CENTRE
Gon¸calo Nery Tabuada
Th´eorie homotopique des DG-cat´egories
Soutenue le 20 septembre 2007, devant le jury compos´e de :M. Pierre Cartier (I.H.
´E.S.)Pr´esident
M. Denis-Charles Cisinski (Universit´e Paris 13) M. Bernhard Keller (Universit´e Paris 7)DirecteurM. Maxim Kontsevich (I.H.
´E.S.)
M. Rapha¨el Rouquier (University of Oxford)
M. Bertrand To¨en (C.N.R.S.-Laboratoire Emile Picard)RapporteurRapporteur externe (absent `a la soutenance)
M. Mikhail Kapranov (Yale University)
2RemerciementsJe suis tr`es heureux de pouvoir exprimer ici toute ma gratitude envers Bernhard Keller qui a dirig´e cette
th`ese et guid´e mes premiers pas dans la recherche. Il est impossible de r´esumer en quelques phrases
tout ce que je lui dois. Il m"a soutenu d`es le premier jour et m"a enseign´e le m´etier avec beaucoup de
d´evouement. 'Merci" Mes remerciements les plus chaleureux vont aussi `a Denis-Charles Cisinski et Bertrand To¨en. Ilsm"ont fait profiter de leur immense richesse math´ematique et cela m"a ouvert de nouveaux horizons de
recherche. Je suis tr`es heureux qu"ils fassent partie du jury. Je tiens ensuite `a exprimer ma gratitude `a Mikhail Kapranov et Bertrand To¨en, qui m"ont fait l"honneur de rapporter cette th`ese. Je remercie Mikhail Kapranov pour sa lecture et pour avoir faitle lien entre cette th`ese et son travail fondateur avec Alexei Bondal. Je remercie profond´ement Bertrand
To¨en pour toutes ses corrections et suggestions qui ont permis d"am´eliorer ´enorm´ement la qualit´e scien-
tifique de ce texte.L"un des objets math´ematiques au centre de cette th`ese estune dg-cat´egorieKdue `a Maxim Kontsevich.
Je lui suis tr`es reconnaissant d"avoir accept´e, si promptement, de si´eger dans le jury.Messieurs Pierre Cartier et Rapha¨el Rouquier me font un tr`es grand honneur de si´eger dans le jury.
Leurs expos´es au cours de ces derni`eres ann´ees m"ont apport´e beaucoup.La source principale d"inspiration pour cette th`ese a ´et´e l"articleDG quotients of DG categoriespar
Vladimir Drinfeld. J"esp`ere que cette th`ese lui fera plaisir.Pendant la pr´eparation de la th`ese j"ai profit´e de discussions ´electroniques aussi bien que de vive voix
avec plusiers math´ematiciens : Joseph Ayoub, Michael Batanin, Clemens Berger, Rick Jardine, Francesco
Lemma, Jean-Louis Loday, Orlando Neto, Stefan Schwede et Mark Weber. Je les remercie tous, ainsi que ceux que j"ai oubli´es de citer.Je voudrait dire'Obrigado"`a Gustavo Granja, qui depuis Lisbonne, m"a encourag´e et a r´epondu `a
mes questions na¨ıves sur la th´eorie d"homotopie (stable).D`es mon arriv´ee `a Paris, j"ai eu la chance de profiter des cours et groupes de travail organis´es par
Jean Barge et Fabien Morel. Je les remercie tous les deux pourl"influence qu"ils ont eue dans mes choix
math´ematiques.L"excellente ambiance r´egnant sur le plateau des doctorants a ´et´e capitale pendant ces ann´ees. Je
tiens donc `a exprimer toute mon amiti´e `a tous ceux que j"aipu rencontrer.Je voudrait remercier Monique Douchez et Mich`ele Wasse pour toute leur aide et efficacit´e dans la
partie administrative ainsi que laFunda¸c˜ao para a Ciˆencia e Tecnologia - Portugalpour m"avoir soutenu
financi`erement avec la bourse SFRH/BD/144035/2003.Pour finir, je remercie profond´ement mes parents, mes oncles et Liliana pour leur amour, ainsi que mon
fr`ere Paulo Tabuada pour m"avoir enseign´e `a ne pas avoir peur'des math´ematiques, du futur, de la vie."
34Remerciements
ContentsIntroduction6
I `A la poursuite du Motivateur des DG-cat´egories 231 Une structure de cat´egorie de mod`eles de Quillen sur la cat´egorie des DG-cat´egories 25
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 25
1.2 Pr´eliminaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . 25
1.3 Th´eor`eme principal . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . 27
1.3.1 Preuves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . 28
2 Invariants additifs de DG-cat´egories33
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 33
2.2 Conventions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . 34
2.3 DG-foncteurs quasi-´equiconiques . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . 34
2.4 Additivisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . 42
2.5 DG-foncteurs de Morita . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . 46
2.6 Invariants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . 55
2.6.1 Homologies de Hochschild, Cyclique, Negative, ... . .. . . . . . . . . . . . . . . . 56
2.6.2K-th´eorie alg´ebrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . 57
2.6.3 Vision globale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . 57
2.6.4 Charact`ere de Chern . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . 57
2.7 DG-cat´egories compactes et lisses . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . 58
3 HigherK-theory via universal invariants61
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 61
3.2 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 63
3.3 Derived Kan extensions . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . 64
3.4 Localization: model categories versus derivators . . . .. . . . . . . . . . . . . . . . . . . . 65
3.5 Filtered homotopy colimits . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . 70
3.6 Pointed derivators . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . 76
3.7 Small weak generators . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . 77
3.8 Stabilization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . 79
3.9 DG quotients . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . 86
3.10 The universal localizing invariant . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . . 89
3.11 A Quillen model in terms of presheaves of spectra . . . . . .. . . . . . . . . . . . . . . . . 95
3.12 Upper triangular DG categories . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . 95
3.13 Split short exact sequences . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . 99
56Contents
3.14 Quasi-Additivity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . 100
3.15 The universal additive invariant . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . . 106
3.16 Concluding remarks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . 110
II Ramifications de la th´eorie homotopique des DG-cat´egories 1114 TheQ-model for the Morita homotopy theory of DG categories 113
4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 113
4.2 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 114
4.3 Homotopy of DG functors . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 114
4.4Q-model structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . 116
4.4.1 Morita model structure . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . 116
4.4.2Q-model structure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .119
4.4.3Q-fibrant objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .123
4.5 Closed symmetric monoidal structure . . . . . . . . . . . . . . . .. . . . . . . . . . . . . . 125
4.6 Derived internal Hom-functor . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . 126
4.7 Relation withdgcat. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
5 Homotopy theory of well-generated algebraic triangulated categories 133
5.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 133
5.2 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 134
5.3 Monadic structureTondgcat. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 135
5.4 Quillen"s lifting argument . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . 138
5.5 Homotopy theory ofT-algebras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
5.6 Exactα-cocomplete dg categories . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . 141
5.7 Enhancement of well-generated algebraic triangulatedcategories . . . . . . . . . . . . . . 147
III Applications `a la DG-(d´e)stabilisation 1496 On the structure of Calabi-Yau categories with a cluster tilting subcategory 151
6.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 151
6.2 Preliminaries . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . 152
6.3 Embedding . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . 153
6.4 Determination of the image ofG. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 156
6.5 Alternative description . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . . . . . . . 159
6.6 The main theorem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .. . . . . . 161
6.7 Appendix: extension oft-structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
A Drinfeld"s DG quotient167
IntroductionNous renvoyons `a l"expos´e de Keller [Kel06b] pour une pr´esentation et motivation de la plupart des
concepts math´ematiques qui interviennent dans cette th`ese. Nous proposons plusieurs contributions
originales `a l"´etude : - des dg-cat´egories et de leurs invariants, - des cat´egories triangul´ees (alg´ebriques) bien engendr´ees au sens de Neeman et- de l"approche des alg`ebres 'cluster" au sens de Fomin-Zelevinsky par la th´eorie des repr´esentations.
Cette th`ese correspond aux articles [Tab05b] [Tab06] [Tab05a] [Tab07] [Tabc] [Tabb] [Taba] et `a unappendice, o`u une preuve simple et purement homotopique d"un th´eor`eme dˆu `a Drinfeld est present´ee.
Dans le r´esum´e suivant, nous pr´esentons les r´esultats principaux de cette th`ese d"une fa¸con plus d´etaill´ee.
DG-cat´egories
Les cat´egories diff´erentielles gradu´ees (=dg-cat´egories) 'enrichissent" notre comprehension des cat´egories
triangul´ees qui apparaissent naturellement en alg`ebre et g´eom´etrie.L"id´ee d"utiliser les dg-cat´egories pour 'enrichir" lescat´egories triangul´ees remonte aux travaux de
Bondal-Kapranov [BK90]. Leur motivation principale ´etait l"´etude des collections exceptionnelles de
faisceaux coh´erents sur les vari´et´es projectives. Elles ont ´et´e utilis´ees aussi par Keller [Kel94] dans l"´etude
de la th´eorie de Morita d´eriv´ee et de la dualit´e de Koszul.Actuellement, les dg-cat´egories sont consid´er´ees comme des sch´emas non-commutatifs par Drin-
feld [Dri02] [Dri04] et Kontsevich [Kon98] [Kon04] dans leur programme de g´eometrie alg´ebrique non-
commutative.L"une des op´erations importantes qu"on peut r´ealiser dans les cat´egories triangul´ees est le passage au
quotient. Cette op´eration de quotient `a ´et´e relev´ee aumonde de dg-cat´egories par Keller dans [Kel94] et
r´ecemment par Drinfeld dans [Dri04].Chapitre 1
Dans le but de r´einterpreter la construction du dg-quotient de Drinfeld d"un point de vue purement
homotopique afin de mieux comprendre sa propri´et´e universelle, on construit une structure de cat´egorie
de mod`eles de Quillen sur la cat´egorie des petites cat´egories diff´erentielles gradu´eesdgcat. Rappelons
qu"un dg-foncteurF:C → Dest unequasi-equivalencesi : - pour tous objetsc1etc2dansC, le morphisme de complexes de HomC(c1,c2) vers HomD(F(c1),F(c2)) est un quasi-isomorphisme et - le foncteur H0(F) de H0(C) vers H0(D) est essentiellement surjectif.
78Introduction
Th´eor`eme 0.1(1.8).La cat´egoriedgcatadmet une structure de cat´egorie de mod`eles de Quillen `a
engendrement cofibrant dont les ´equivalences faibles sontles quasi-equivalences. Les fibrations sont les
dg-foncteursF:A → Bqui induisent des surjections de complexesHomA(X,Y)→HomB(F(X),F(Y)) pour tousX,YdansAet tels que pour tout objetX? Aet tout morphismev?HomB(F(X),Z)qui devient un isomorphisme dansH0(B), il existe un morphismeu?HomA(X,Y)tel queF(u) =vet qui devient un isomorphisme dansH0(A).Remarque0.2.Notre construction est inspir´ee par des arguments dans [Rez] et par la construction du dg-
quotient donn´ee par Drinfeld dans [Dri04]. La clef pour cette construction est une certaine dg-cat´egorie
Kd´efinie par Drinfeld dans [Dri04, 3.7.1] et qui est due `a Kontsevich. Conceptuellement, elle joue le
mˆeme role dansdgcatque l"intervalle dans la cat´egorie des espaces topologiques. Remarque0.3.Dans l"appendice, on donne une preuve simple et purement homotopique de la propri´eteuniverselle du dg-quotient de Drinfeld [Dri04], qui est bas´ee seulement sur le th´eor`eme 0.1.
Rappelons maintenant quelques r´esultats du travail fondamental de To¨en [To¨e07], rendus possibles
par le th´eor`eme 0.1. On noteHeqla localisation dedgcatpar rapport `a la classe des quasi-´equivalences. Les morphismesdans la localisation (de Dwyer-Kan [DK80]) sont d´ecrits dela fa¸con suivante: soientAetBdeux dg-
cat´egories. Si necessaire, on peut remplacerApar une dg-cat´egorie quasi-´equivalente de fa¸con queAsoit
k-plate, c"est-`a-dire le foncteurA(X,Y)?? pr´eserve les quasi-isomorphismes pour tousX,YdansA(par
exemple, on peut prendre une r´esolution cofibrante deA). Soitrep(A,B) la sous cat´egorie pleine de la
cat´egorie d´eriv´eeD(Aop? B) desA-B-bimodules form´ee des bimodulesXtels que le foncteur produit
tensoriel d´eriv´e ?L?AX:D(A)→ D(B) envoie lesA-modules repr´esentables vers des objets qui sont isomorphes dansD(B) `a desB-modulesrepr´esentables. D"une fa¸con ´equivalente, on demande queX(?,A) soit isomorphe dansD(B) `a unB-
module repr´esentable pour tout objetAdansA. Th´eor`eme 0.4([To¨e07]).Les morphismes deAversBdansHeqsont en bijection naturelle avec les classes d"isomorphisme de la cat´egorierep(A,B).Maintenant, soitR(A,B) la cat´egorie qui a les mˆemes objets querep(A,B) et dont les morphismes
sont les quasi-isomorphismes de dg-bimodules. La cat´egorieR(A,B) est donc une sous categorie non pleine de la cat´egorie des dg-bimodulesC(Aop? B).Th´eor`eme 0.5([To¨e07]).Il existe une ´equivalence faible canonique d"ensembles simpliciaux entre
Map(A,B)et le nerf de la cat´egorieR(A,B).
Th´eor`eme 0.6([To¨e07]).La cat´egorie mono¨ıdale(Heq,-L? -)admet un foncteur Hom-interne
RHom(-,-). Pour deux dg-cat´egoriesAetB, telles queAestk-plate, la dg-cat´egorieRHom(A,B)estisomorphe dansHeq`a la dg-cat´egorierepdg(A,B), c"est-`a-dire la sous cat´egorie pleine de la dg-cat´egorie
desA-B-bimodules, dont les objets sont ceux derep(A,B)qui sont en plus cofibrants comme bimodules.Chapitre 2
On remarque que tous les invariants fonctoriels classiquescomme laK-th´eorie alg´ebrique, l"homologie de
Hochschild, l"homologie cyclique,...se prolongent naturellement desk-alg`ebres vers les dg-cat´egories.
D"une fa¸con analogue au cas desk-alg`ebres ordinaires, ces invariants sont pr´eserv´es par les ´equivalences
de Morita d´eriv´ees. Cela conduit au probl`eme de donner une description explicite de la 'cat´egorie
d"homotopie de Morita", c"est-`a-dire la localisation dedgcatpar rapport aux ´equivalences de Morita
d´eriv´ees, puisque tous ces invariants descendent `a cette cat´egorie. 9On r´esout ce probl`eme en utilisant le formalisme d"alg`ebre homotopique de Quillen. En effet, on
construit une structure de cat´egorie de mod`eles de Quillen surdgcat, dont les ´equivalences faibles sont
les dg-foncteursde Morita, c"est-`a-dire les dg-foncteursF:A → Bqui induisent une ´equivalenceD(B)≂→
D(A) entre cat´egories d´eriv´ees.
Th´eor`eme 0.7(2.27).La cat´egoriedgcatadmet une structure de cat´egorie de mod`eles de Quillen `a en-
gendrement cofibrant, dont les equivalences faibles sont les dg-foncteurs de Morita et dont les cofibrations
sont les mˆemes que celles du th´eor`eme 0.1.Remarque0.8.Notre structure a ´et´e construite `a partir de celle du th´eor`eme 0.1 en deux ´etapes. (On
remarque qu"une quasi-equivalence est un dg-functor de Morita).Premi`erement, on a construit une structure de cat´egorie de mod`eles de Quillen intermediaire, dont
les ´equivalences faibles sont les dg-foncteurs quasi-´equiconiques, voir section 2.3. Dans cette ´etape, on
s"est inspir´e de la construction de Bondal-Kapranov de l"envelope pre-triangul´ee d"une dg-cat´egorie, voir
[BK90].Dans une deuxi`eme ´etape, on a relev´e la construction de laKaroubianisation d"une cat´egorie trian-
gul´ee, voir [BS01], au monde des dg-cat´egories en utilisant des facteurs directs `a homotopie pr`es. Cela
nous a permis de contrˆoler les objets compacts de la cat´egorie d´eriv´ee d"une dg-cat´egorie.
On d´esigne parHmola localisation dedgcatpar rapport aux dg-foncteurs de Morita. DansHmo, les´equivalences d´eriv´ees au sens de Rickard-Keller [Ric89] [Ric91] [Kel94] correspondent `a des isomorphismes
et le 'groupe de Picard d´eriv´e" [RZ03] au sens de Rouquier-Zimmermann y apparaˆıt comme un groupe
d"automorphismes.Proposition 0.9(2.34).Une dg-cat´egorieAest Morita fibrante si est non vide et l"image essentielle du
plongementH0(A)?→ D(A)est stable par suspensions, cˆones et facteurs directs.Proposition 0.10(2.14, 2.35).La structure de cat´egorie de mod`eles de Quillen du th´eor`eme 0.7 est une
localisation de Bousfield `a gauche de la structure de cat´egorie de mod`eles de Quillen du th´eor`eme 0.1.
On noteA ?→ Afibune resolution Morita fibrante fonctorielle deA. Corollaire 0.11(2.36, 2.37).Le foncteurA ?→ Afibnous fournit un adjoint `a droite du foncteurquotientHeq→Hmoet induit une equivalence entreHmoet la sous cat´egorie pleine deHeqform´ee des
dg-cat´egories Morita fibrantes. On d´esigne parrepmor(A,B), resp.Rmor(A,B), resp.RHommor(A,B) les cat´egoriesrep(A,Bfib), resp.R(A,Bfib), resp.RHom(A,Bfib).La corollaire 0.11 nous permet d"´etendre les r´esultats deTo¨en au cadre des dg-foncteurs de Morita.
SoientAetBdeux dg-cat´egories.
Corollaire 0.12(2.39).- Les morphismes deAversBdansHmosont en bijection naturelle avec les classes d"isomorphime de la cat´egorierepmor(A,B). - On dispose d"une ´equivalence faible canonique d"ensembles simpliciaux entreMap(A,B)et le nerf de la cat´egorieRmor(A,B).- La cat´egorie mono¨ıdale sym´etrique(Hmo,-L?-)admet un foncteurHom-interneRHommor(-,-).
Rappelons que tous les invariants habituels comme laK-th´eorie alg´ebrique, l"homologie de Hochschild,
l"homologie cyclique,...descendent `a la cat´egorieHmo. Ces invariants d´ependent en fait de moins de
structure, voir l"exemple 0.16. Cela motive la construction suivante.SoitHmo0la cat´egorie qui a pour objets les petites dg-cat´egories et telle queHomHmo0(A,B) est le
groupe de Grothendieck de la cat´egorie triangul´eerepmor(A,B). La composition est induite par celle de
Hmo. On dispose d"un foncteur canoniqueHmo→Hmo0.10Introduction
Lemme 0.13(2.41).La cat´egorieHmo0est additive et le produit tensoriel- ?L-deHmoinduit une structure mono¨ıdale sym´etrique surHmo0. Soit maintenantF:Hmo→Cun foncteur `a valeurs dans une cat´egorie additiveC. Th´eor`eme 0.14(2.43).Les conditions suivantes sont ´equivalentes :1) Le foncteurFest compos´e d"un foncteur additifHmo0→Cet du foncteur canoniqueHmo→Hmo0.
2) Pour toutes dg-cat´egoriesA,B, l"identit´eF([X])+F([Z]) =F([Y]), est v´erifi´ee dansHomC(F(A),F(B))
pour tout triangleX→Y→Z→X[1]derepmor(A,B).3) Pour toute dg-cat´egorieA, le morphisme
F(A)?F(A)[F(i1),F(i2)]??
F(T(A))
est un isomorphisme dansC.4) Pout toute dg-cat´egorie pr´etriangul´eeAmunie de sous-dg-cat´egories pleines pr´etriangul´eesBetC
qui donnent lieu `a une d´ecomposition semi-orthogonaleH0(A) = (H0(B),H0(C)), voir [BLL04], le morphismequotesdbs_dbs47.pdfusesText_47[PDF] Maths 3eme
[PDF] Maths 3ème ( Devoir en Temps Libre ) Aidez-moi
[PDF] MATHS 3eme 2exercices
[PDF] Maths 3eme Devoir 9 A rendre d'urgence
[PDF] maths 3ème exercice fonction
[PDF] maths 3eme exercices corrigés
[PDF] maths 3eme fonction
[PDF] maths 3eme identite remarquable et trouver inconnu 2 exercices
[PDF] MATHS 3me format tele 16/9 OU 4/3
[PDF] Maths 4 em equations
[PDF] maths 4 eme
[PDF] maths 4é DM
[PDF] maths 4eme
[PDF] Maths 4eme angles