## [Dualidad de Tannaka](/es/node/63705) Definición Un principio de dualidad y un teorema de reconstrucción que recupera un objeto algebraico (como un grupo proalgebraico, un esquema en grupos o una álgebra de Hopf) a partir de una categoría tensorial suficientemente rígida de sus representaciones lineales junto con un funtor fibra hacia espacios vectoriales. ## Principio Principio La estructura tensorial y las transformaciones naturales en la categoría de representaciones codifican la multiplicación, comultiplicación y otras aplicaciones estructurales del objeto de simetría original; proporcionar un funtor fibra da la realización concreta necesaria para reconstruir ese objeto. ## Demostración Demostración Para un grupo topológico compacto o un esquema en grupos afín G, la categoría de sus representaciones continuas (o algebraicas) de dimensión finita, equipada con el producto tensorial y el funtor de olvido hacia vectores, determina a G hasta isomorfismo mediante la reconstrucción de su álgebra de Hopf de funciones representativas. ## Aplicación incorrecta Aplicación incorrecta Intentar reconstruir a partir de una categoría sin rigidez (sin duales), sin una estructura tensorial compatible, o sin un funtor fibra neutral, fallará en producir un objeto algebraico canónico; omitir el funtor fibra pierde la realización concreta. ## Consecuencia Consecuencia Cuando se cumplen las hipótesis, se pueden clasificar los objetos de simetría por sus categorías de representaciones, trasladar problemas de teoría de grupos a términos categóricos y construir esquemas en grupos o álgebras de Hopf a partir de datos puramente categóricos. ## Inversión Inversión En lugar de pasar del grupo a la categoría de representaciones, la dualidad de Tannaka invierte el proceso: a partir de los datos categóricos (categoría tensorial más funtor fibra) se reconstruye el objeto de tipo grupo, invirtiendo la dirección habitual de asociación. ## Límite Límite Requiere una categoría tensorial k-lineal rígida con propiedades de exactitud y típicamente un funtor fibra neutro hacia Vec_k; la falta de rigidez, la ausencia de un funtor fibra o trabajar sobre cuerpos con característica problemática pueden impedir la reconstrucción o cambiar la clase de objetos recuperables. ## Tensión semántica Tensión semántica Se relaciona pero difiere de la dualidad de Pontryagin y de dualidades tipo Fourier (que son abelianas y analíticas); Tannaka es no abeliana y categórica, y se solapa pero no es idéntica a resultados de reconstrucción en teoría de álgebras de Hopf. ## Síntesis Síntesis La dualidad de Tannaka afirma que la estructura tensorial de una categoría de representaciones, junto con un funtor fibra, contiene precisamente los datos para reconstruir el objeto de simetría subyacente: la teoría de representaciones y el objeto algebraico son dos caras de la misma estructura.