Les catégories linéaires ont naturellement plusieurs notions d'identification : l'isomorphie, l'équivalence de catégories et l'équivalence de Morita. On construit les champs classifiant les catégories pour ces trois structures ($\ukcatiso$, $\ukcateq$, $\ukcatmor$) ainsi que le champ classifiant les catégories abéliennes ($\ukab$), l'originalité étant que les trois derniers champs sont des champs supérieurs.<br /><br />Le résultat principal de la thèse est que, sous des conditions de finitude des objets classifiés, ces champs sont géométriques au sens de C.~Simpson. En particulier, on trouve que les complexes tangents de ces champs en une catégorie $C$, i.e. les objets classifiant les déformations au premier ordre de $C$, sont donnés par des tronqués du complexe de cohomologie de Hochschild de $C$.<br /><br />En plus, il existe une suite naturelle de morphismes surjectifs de champs :<br />$$\ukcatiso \tto \ukcateq \tto \ukcatmor \tto \ukab$$<br />dont on montre que celui du milieu est étale, et celui de droite une équivalence.
Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00085627 |
Date | 23 June 2006 |
Creators | Anel, Mathieu |
Publisher | Université Paul Sabatier - Toulouse III |
Source Sets | CCSD theses-EN-ligne, France |
Language | French |
Detected Language | French |
Type | PhD thesis |
Page generated in 1.7602 seconds