Für eine monoide Kategorie C ist das Drinfeld-Zentrum Z(C) (auch kategorisches Zentrum genannt) die Kategorie, deren Objekte Paare (Z, γ_{Z,-}) sind mit Z ∈ C und γ_{Z,X}: Z ⊗ X ≅ X ⊗ Z einer natürlichen Familie von Isomorphismen (Halb-Verschnürung), die Kohärenzbedingungen (Hexagon) erfüllen; Z(C) ist eine tressierte Kategorie mit universeller Eigenschaft unter tressierten Kategorien, die einen monoiden Funktor aus C erhalten.

Prinzip

Das Zentrum formalisiert interne Kommutativität: Eine Halb-Verschnürung zeigt, wie ein Objekt mit allen anderen bis auf kohärente Isomorphie kommutiert, und die universelle Eigenschaft charakterisiert Z(C) als Repräsentant der endomorphismusartigen Symmetrien der monoidalen Struktur.

Demonstration

Ist C = Rep(G) für eine endliche Gruppe G, so ist das Drinfeld-Zentrum Z(C) äquivalent zur Darbietungskategorie des Drinfeld-Doubles von G; für endliche tensorielle (Fusions-)Kategorien liefert das Zentrum eine tressierte Fusionskategorie, die häufig in konstruktionen zur topologischen Quantenfeldtheorie verwendet wird.

Fehlanwendung

Das Drinfeld-Zentrum mit dem Zentrum eines inneren Algebraobjekts in C verwechseln oder die Existenz nichttrivialer Halb-Verschnürungen für beliebige Objekte annehmen, ohne Kohärenz zu prüfen; das Zentrum als trivial ansehen, sobald C nicht kommutativ ist, ohne Moduln-Kategorien zu untersuchen.

Konsequenz

Das Bilden von Z(C) ergibt eine tressierte (oft modulare in endlich-semisimpel Fällen) Kategorie, die interne Symmetrien kodiert, Invarianten für monoidale Kategorien liefert und Konstruktionen in modularen Tensor-Kategorien und der topologischen Quantenfeldtheorie ermöglicht.

Umkehrung

Für eine bereits tressierte monoidale Kategorie B liefert das Zentrum Objekte mit kanonischen Halb-Verschnürungen, die B oft wiedergewinnen (wenn B nichtentartet ist), während das Vergessen des Tressings zur unterliegenden monoidalen Kategorie ohne universelle Kommutativitätsdaten zurückführt.

Abgrenzung

Definiert für monoidale Kategorien; Größen- und (Ko-)Vollständigkeitsfragen können in unendlichen Kontexten relevant sein. Das Zentrum erfasst tressungsähnliche Symmetrien, ersetzt aber nicht andere Zentrenbegriffe in höheren kategorischen Kontexten ohne geeignete Verallgemeinerung.

Semantische Spannung

Drinfeld-Zentrum versus algebraisches Zentrum: Ersteres ist kategorisch und kodiert natürliche Halb-Verschnürungen für alle Objekte, während das Zentrum einer Algebra ein ringtheoretisches Invariant ist; Spannungen entstehen bei der Übersetzung zwischen kategorischen und algebraischen Auffassungen von Kommutativität.

Synthese

Das Drinfeld-Zentrum ist die universelle tressierte Kategorie, die aus einer monoidalen Kategorie durch Ausstattung der Objekte mit kohärenten Halb-Verschnürungen gebildet wird und so die interne Kommutativitäts- und Symmetriedaten organisiert, welche das Vertauschen von Objekten steuern.