Pour une catégorie monoïdale C, le centre de Drinfeld Z(C) (ou centre catégorique) est la catégorie dont les objets sont des paires (Z, γ_{Z,-}) avec Z ∈ C et γ_{Z,X}: Z ⊗ X ≅ X ⊗ Z une famille naturelle d'isomorphismes (une demi-tressage) satisfaisant des conditions de cohérence (hexagone) ; Z(C) est une catégorie tressée universelle parmi celles recevant un foncteur monoïdal de C.

Principe

Le centre formalise la commutativité interne : une demi-tressage montre comment un objet commute avec tous les autres à isomorphisme cohérent près, et la propriété universelle caractérise Z(C) comme représentant les symétries de type endomorphisme de la structure monoïdale.

Démonstration

Si C = Rep(G) pour un groupe fini G, le centre de Drinfeld Z(C) est équivalent à la catégorie des représentations du double de Drinfeld de G ; pour des catégories tensoriales finies (fusion), le centre fournit une catégorie tressée de fusion souvent utilisée en théorie quantique topologique.

Mauvaise application

Confondre le centre de Drinfeld avec le centre d'un objet algébrique interne à C, ou supposer l'existence de demi-tressages non triviaux pour des objets quelconques sans vérifier la cohérence ; traiter le centre comme trivial dès que C est non commutative sans examiner les catégories de modules.

Conséquence

Former Z(C) produit une catégorie tressée (souvent modulaire dans les cas semi-simples finis) codant les symétries internes, fournit des invariants pour les catégories monoïdales et sert de base à des constructions en catégories tensoriales modulaires et en théorie quantique topologique.

Inversion

Pour une catégorie monoïdale tressée B, prendre son centre conduit à des objets munis de demi-tressages canoniques qui récupèrent souvent B (lorsque B est non dégénérée), tandis qu'oublier le tressage ramène à la catégorie monoïdale sous-jacente dépourvue de données universelles de commutativité.

Limite

Défini pour les catégories monoïdales ; des questions de taille et de (co)complétude peuvent apparaître en contextes infinis. Le centre capture des symétries de type tressage mais ne remplace pas d'autres notions de centre en cadres catégoriques supérieurs sans généralisations adaptées.

Tension sémantique

Centre de Drinfeld versus centre algébrique : le premier est catégorique et encode des demi-tressages naturels pour tous les objets, tandis que le centre d'un algèbre est un invariant de type anneau ; des tensions surgissent en traduisant entre notions catégoriques et algébriques de commutativité.

Synthèse

Le centre de Drinfeld est la catégorie tressée universelle construite à partir d'une catégorie monoïdale en munissant ses objets de demi-tressages cohérents, extrayant et organisant ainsi les données de commutativité interne et de symétrie qui gouvernent l'échange d'objets dans la structure monoïdale.