Una correspondencia de reconstrucción que recupera un grupo (pro-)algebraico (o esquema en grupos) a partir de la categoría tensorial de sus representaciones lineales de dimensión finita junto con la elección de un funtor fibra hacia espacios vectoriales; a la inversa, la categoría de representaciones es el invariante primario del grupo.

Principio

La idea organizadora es que una categoría tensorial neutra y rígida equipada con un funtor tensorial fiel y exacto hacia espacios vectoriales de dimensión finita es equivalente a la categoría de representaciones del esquema afín en grupos de los auto‑transformaciones tensoriales de ese funtor; el grupo se recupera como el funtor de automorfismos del funtor fibra.

Demostración

Instancia concreta: partiendo de la categoría de representaciones de dimensión finita de GLn sobre un cuerpo y del funtor olvido, se reconstruye GLn como el esquema en grupos afín cuyos puntos actúan mediante automorfismos tensoriales naturales sobre el funtor; de forma similar pueden reconstruirse grupos galoisianos o motivicos a partir de sus categorías tannakianas cuando existe un funtor fibra.

Aplicación incorrecta

Tratar una categoría abeliana o monoidal cualquiera como si fuera tannakiana sin comprobar la rigidez, la existencia de duales o un funtor fibra neutro; intentar la reconstrucción a partir de representaciones de dimensión infinita o de categorías sin estructura tensorial compatible.

Consecuencia

Cuando es aplicable, la dualidad de Tannaka traduce preguntas estructurales sobre un grupo en preguntas categóricas sobre su categoría de representaciones, permitiendo clasificar, comparar y transferir problemas entre grupos algebraicos y categorías tensoriales.

Inversión

La perspectiva inversa es pasar del grupo a su categoría de representaciones (tomar Rep(G)): en lugar de reconstruir el grupo desde la categoría, se estudia el grupo construyendo su categoría de representaciones y sus invariantes; la dualidad relaciona estas dos perspectivas.

Límite

Requiere una categoría tensorial rígida (a menudo k-lineal y abeliana) con duales y un funtor fibra hacia espacios vectoriales de dimensión finita (caso tannakiano neutro) sobre un cuerpo con hipótesis adecuadas; excluye categorías monoidales no rígidas, la mayoría de categorías de representaciones de dimensión infinita y contextos sin un funtor tensorial fiel y exacto.

Tensión semántica

El término «dualidad» sugiere una equivalencia perfecta en ambos sentidos, pero la tensión práctica está entre la reconstrucción categorial (recuperación functorial del grupo) y la multiplicidad de estructuras categoriales que pueden no determinar un grupo único sin datos adicionales como el funtor fibra elegido.

Síntesis

La Dualidad de Tannaka afirma que, bajo rigidez y elección de un funtor fibra, la estructura tensorial completa de la categoría de representaciones de dimensión finita codifica y permite reconstruir el grupo (pro-)algebraico subyacente como el grupo de automorfismos tensoriales del funtor fibra.