Para una categoría monoïdal C, el centro de Drinfeld Z(C) (también llamado centro categórico) es la categoría cuyos objetos son pares (Z, γ_{Z,-}) donde Z ∈ C y γ_{Z,X}: Z ⊗ X ≅ X ⊗ Z es una familia natural de isomorfismos (una semienrroscadura) que satisface condiciones de coherencia (hexágono); Z(C) es trenzada y universal entre las categorías trenzadas que reciben un funtor monoïdal desde C.

Principio

El centro formaliza la conmutatividad interna: una semienrroscadura muestra cómo un objeto conmuta con todos los demás hasta isomorfismo coherente, y la propiedad universal caracteriza Z(C) como el representante de las simetrías tipo endomorfismo de la estructura monoïdal.

Demostración

Si C = Rep(G) para un grupo finito G, el centro de Drinfeld Z(C) es equivalente a la categoría de representaciones del doble de Drinfeld de G; para categorías tensoriales finitas (de fusión) el centro produce una categoría trenzada de fusión usada frecuentemente en construcciones de teoría cuántica topológica.

Aplicación incorrecta

Confundir el centro de Drinfeld con el centro de un objeto algebraico interno a C, o suponer la existencia de semienrroscaduras no triviales para objetos arbitrarios sin comprobar la coherencia; también tratar el centro como trivial siempre que C sea no conmutativa sin examinar categorías de módulos.

Consecuencia

Formar Z(C) produce una categoría trenzada (a menudo modular en casos semisencillos finitos) que codifica simetrías internas, proporciona invariantes para categorías monoïdales y sustenta construcciones en categorías tensoriales modulares y teoría cuántica topológica.

Inversión

Para una categoría monoïdal trenzada B, tomar su centro conduce a objetos con semienrroscaduras canónicas que con frecuencia recuperan B (cuando B es no degenerada), mientras que olvidar el trenzado devuelve la categoría monoïdal subyacente sin datos universales de conmutatividad.

Límite

Definido para categorías monoïdales; las cuestiones de tamaño y (co)completitud pueden importar en contextos infinitos. El centro captura simetrías de tipo trenzado pero no sustituye otras nociones de centro en entornos categóricos superiores sin una generalización adecuada.

Tensión semántica

Centro de Drinfeld frente a centro algebraico: el primero es categórico y codifica semienrroscaduras naturales para todos los objetos, mientras que el centro de un álgebra es un invariante de tipo anillo; hay tensiones al traducir entre nociones categóricas y algebraicas de conmutatividad.

Síntesis

El centro de Drinfeld es la categoría trenzada universal construida a partir de una categoría monoïdal al equipar sus objetos con semienrroscaduras coherentes, extrayendo y organizando los datos de conmutatividad interna y simetría que gobiernan el intercambio de objetos en la estructura monoïdal.