En matemáticas , la teoría de la dualidad de Tannaka-Krein se refiere a la interacción de un grupo topológico compacto y su categoría de representaciones lineales . Es una extensión natural de la dualidad de Pontryagin , entre grupos topológicos conmutativos compactos y discretos , a grupos que son compactos pero no conmutativos . La teoría lleva el nombre de Tadao Tannaka y Mark Grigorievich Kerin . A diferencia del caso de grupos conmutativos considerado por Lev Pontryagin , la noción dual a grupo compacto no conmutativo no es un grupo, sino una categoría de representaciones Π( G ) con alguna estructura adicional, formada por las representaciones de dimensión finita de G.
Los teoremas de dualidad de Tannaka y Kerin describen el paso inverso de la categoría Π( G ) de regreso al grupo G , permitiendo recuperar el grupo de su categoría de representaciones. Además, caracterizan de hecho completamente todas las categorías que pueden surgir de un grupo de esta manera. Alexander Grothendieck demostró más tarde que mediante un proceso similar, la dualidad de Tannaka puede extenderse al caso de grupos algebraicos mediante el formalismo tannakiano . Mientras tanto, la teoría original de Tannaka y Kerin continuó siendo desarrollada y refinada por los físicos matemáticos . Una generalización de la teoría de Tannaka-Krein proporciona el marco natural para estudiar las representaciones de grupos cuánticos , y actualmente se está extendiendo a los supergrupos cuánticos , los grupoides cuánticos y sus algebroides duales de Hopf .
En la teoría de la dualidad de Pontryagin para grupos conmutativos localmente compactos , el objeto dual de un grupo G es su grupo de caracteres que consta de sus representaciones unitarias unidimensionales . Si permitimos que el grupo G sea no conmutativo, el análogo más directo del grupo de caracteres es el conjunto de clases de equivalencia de representaciones unitarias irreducibles de G. El análogo del producto de caracteres es el producto tensorial de representaciones . Sin embargo, las representaciones irreducibles de G en general no logran formar un grupo, ni siquiera un monoide, porque un producto tensorial de representaciones irreducibles no es necesariamente irreducible. Resulta que es necesario considerar el conjunto de todas las representaciones de dimensión finita y tratarlo como una categoría monoidal , donde el producto es el producto tensorial habitual de las representaciones, y el objeto dual está dado por la operación de la representación contragrediente .
Una representación de la categoría es una transformación natural monoidal del funtor de identidad a sí mismo. En otras palabras, es una función distinta de cero que se asocia con cualquier endomorfismo del espacio de T y satisface las condiciones de compatibilidad con productos tensoriales, y con operadores de entrelazamiento arbitrarios , a saber ,. La colección de todas las representaciones de la categoría puede estar dotada de multiplicación y topología , en las que la convergencia se define puntualmente , es decir, una secuencia converge a algunos si y sólo si converge a para todos . Se puede demostrar que el conjunto se convierte así en un grupo compacto (topológico).
El teorema de Tannaka proporciona una manera de reconstruir el grupo compacto G a partir de su categoría de representaciones Π( G ).
Sea G un grupo compacto y sea F: Π( G ) → Vect C el funtor olvidadizo desde representaciones complejas de dimensión finita de G hasta espacios vectoriales complejos de dimensión finita . Se pone una topología a las transformaciones naturales τ: F → F configurándola como la topología más burda posible, de modo que cada una de las proyecciones End( F ) → End( V ) dada por (tomando una transformación natural a su componente en ) sea una función continua . Decimos que una transformación natural conserva el tensor si es el mapa de identidad en la representación trivial de G y si conserva los productos tensoriales en el sentido de que . También decimos que τ es autoconjugado si la barra denota conjugación compleja. Entonces, el conjunto de todas las transformaciones naturales autoconjugadas y que preservan el tensor de F es un subconjunto cerrado de End( F ), que de hecho es un grupo (compacto) siempre que G sea un grupo (compacto). Cada elemento x de G da lugar a una transformación natural autoconjugada que preserva el tensor mediante la multiplicación por x en cada representación y, por lo tanto, se tiene un mapa . El teorema de Tannaka dice entonces que este mapa es un isomorfismo.
El teorema de Krein responde a la siguiente pregunta: ¿qué categorías pueden surgir como objeto dual de un grupo compacto?
Sea Π una categoría de espacios vectoriales de dimensión finita, dotados de operaciones de producto tensorial e involución. Las siguientes condiciones son necesarias y suficientes para que Π sea un objeto dual en un grupo compacto G.
Si se cumplen todas estas condiciones entonces la categoría Π = Π( G ), donde G es el grupo de las representaciones de Π.
El interés en la teoría de la dualidad Tannaka-Krein se reavivó en la década de 1980 con el descubrimiento de grupos cuánticos en el trabajo de Drinfeld y Jimbo . Uno de los principales enfoques para el estudio de un grupo cuántico procede a través de sus representaciones de dimensión finita, que forman una categoría similar a las categorías monoidales simétricas Π ( G ), pero de tipo más general, categoría monoide trenzada . Resultó que en este caso también existe una buena teoría de la dualidad del tipo Tannaka-Krein y desempeña un papel importante en la teoría de los grupos cuánticos al proporcionar un entorno natural en el que se pueden estudiar tanto los grupos cuánticos como sus representaciones. Poco después se encontraron diferentes ejemplos de categorías monoidales trenzadas en la teoría de campos conforme racional . La filosofía de Tannaka-Krein sugiere que las categorías monoidales trenzadas que surgen de la teoría de campos conforme también pueden obtenerse a partir de grupos cuánticos, y en una serie de artículos, Kazhdan y Lusztig demostraron que efectivamente era así. Por otro lado, Reshetikhin y Turaev aplicaron categorías monoidales trenzadas que surgen de ciertos grupos cuánticos para la construcción de nuevos invariantes de nudos.
El teorema de Doplicher-Roberts (debido a Sergio Doplicher y John E. Roberts) caracteriza a Rep( G ) en términos de teoría de categorías , como un tipo de subcategoría de la categoría de espacios de Hilbert . [1] Tales subcategorías de representaciones unitarias de grupos compactos en espacios de Hilbert son:
