Catégorie triangulée
En mathématiques, une catégorie triangulée est une catégorie dotée d'une structure supplémentaire. De telles catégories ont été suggérées par Alexander Grothendieck et développées par Jean-Louis Verdier dans sa thèse de 1963 pour traiter les catégories dérivées.
La notion de t-structure, qui y est directement liée, permet de reconstruire (en un sens partiel) une catégorie à partir d'une catégorie dérivée.
Définition
Une catégorie triangulée est une catégorie additive C munie d'un « foncteur de translation additif », d'une collection de triangles (dits « triangles distingués ») et vérifiant un jeu d'axiomes[1] qui déterminent des contraintes sur quels triangles peuvent ou doivent être dits distingués.
Si on note T : C → C le foncteur de translation (parfois noté ), alors un triangle est un sextuplet constitué de trois objets et trois morphismes :
L'idée sous-jacente est que dans une telle catégorie, les triangles jouent un rôle analogue aux suites exactes.
Les axiomes de Verdier sont les suivants :
- (TR1) Le triangle est distingué. Pour tout morphisme f : X → Y, il existe un triangle distingué (le « mapping cone » de f). Un triangle isomorphe à un triangle distingué est considéré distingué également.
- (TR2) Le triangle est distingué si et seulement si le triangle est distingué.
- (TR3) Si on a une application entre deux morphismes, l'axiome (TR3) garantit qu'il existe un morphisme entre les deux mapping cones, avec les relations de commutations. On a ainsi une application h (non nécessairement unique) qui fait commuter tous les carrés dans le diagramme suivant, où chaque ligne décrit un triangle distingué :
- (TR4) Si on se donne trois triangles distingués de la forme
alors il existe un triangle distingué
qui vérifie les relations de commutation octaédriques.
Il existe plusieurs reformulations de ces axiomes, en particulier (TR4).
t-structures et t-catégories
On a le phénomène suivant : différentes catégories abéliennes peuvent donner des catégories dérivées qui, elles, sont équivalentes. De fait, il est en général impossible de retrouver une catégorie à partir de sa dérivée. La notion de t-structure[2] donne une solution, forcément partielle, à cette situation.
Pour comprendre l'idée sous-jacente, considérons une catégorie abélienne A, et notons :
- , la catégorie dérivée pour les complexes bornés ;
- la sous-catégorie pleine de D constituée des complexes tels que à moins que i ≥ n ;
- la sous-catégorie pleine de D constituée des complexes tels que à moins que i ≤ n.
On a les faits suivants :
- (TS1) Si et , alors ;
- (TS2a) ;
- (TS2b) ;
- (TS3) Pour tout élément Y de D, on a un triangle distingué , où et .
La définition d'une t-structure est calquée sur ces observations.
Une t-structure sur une catégorie triangulée D est une paire vérifiant les axiomes (TS1), (TS2a), (TS2b) et (TS3), et telle que
Une catégorie triangulée équipée d'une t-structure est appelée t-catégorie.
Le cœur d'une t-structure est la catégorie abélienne . Le cœur s'identifie à la catégorie A de départ, à quelques précautions près. En général, et c'est un des intérêts de cette approche, il a de bien meilleures propriétés qu'elles : c'est en particulier utile dans l'étude des faisceaux sur un espace avec singularités (au moyen des faisceaux pervers (en)) et des catégories triangulées.
Exemples
- Si k est un corps, la catégorie des k-espaces vectoriels est triangulée, avec TX = X et les triangles distingués étant toutes les suites exactes de la forme X → Y → Z → X → Y.
- L'exemple canonique et la raison d'être des catégories triangulées : une catégorie dérivée est triangulée.
- Cela découle notamment du fait que la catégorie K(A) d'homotopie des chaînes de complexes sur une catégorie abélienne A est triangulée : le foncteur de translation est exactement le foncteur de suspension des complexes de chaînes (qui décale les indices d'un cran et change le signe des opérateurs bord), les triangles distingués sont ceux issus du mapping cone .
Articles connexes
- Catégorie dérivée
- Dérivateur
- Faisceau pervers (en)
Notes et références
- Ces quatre axiomes sont présents dans la version originelle de Verdier. Mais en réalité, ils sont redondants : on peut déduire se restreindre à un jeu de trois axiomes, car (TR3) se déduit des autres (voir J.P. May)
- A. A. Beilinson, J. Bernstein et P. Deligne, Faisceaux pervers, Paris, SMF, coll. « Astérisque » (no 100),
- (en) Donu Arapura, Triangulated categories and t-structures
- Alexander Grothendieck et Jean-Louis Verdier, « Catégories dérivées », dans SGA 4½
- (en) J. Peter May, The axioms for triangulated categories
- (en) J. Peter May, The additivity of traces in triangulated categories