A reconstruction correspondence that recovers a (pro-)algebraic group (or group scheme) from the tensor category of its finite-dimensional linear representations together with a choice of fibre functor to vector spaces; conversely, the category of representations is the primary invariant of the group.

Principle

The organizing idea is that a neutral rigid tensor category equipped with an exact faithful tensor functor to finite-dimensional vector spaces is equivalent to the category of representations of the affine group scheme of tensor automorphisms of that functor; the group is recovered as the automorphism group functor of the fibre functor.

Demonstration

Concrete instance: starting from the category of finite-dimensional representations of GLn over a field and the forgetful fibre functor, one recovers GLn as the affine group scheme whose points act by natural tensor automorphisms on the functor; similarly, one reconstructs Galois or motivic groups from their Tannakian categories when a fibre functor is available.

Misapplication

Treating an arbitrary abelian or monoidal category as if it were Tannakian without checking rigidity, existence of duals, or a neutral fibre functor; attempting reconstruction from infinite-dimensional representations or from categories lacking a compatible tensor structure.

Consequence

When applicable, Tannaka duality translates structural questions about a group into categorical questions about its representation category, enabling classification, comparison, and transfer of problems between algebraic groups and tensor categories.

Reversal

The converse viewpoint is passing from a group to its category of representations (taking Rep(G)): rather than reconstructing the group from the category, one studies the group by building its representation category and invariants there; the duality relates these two perspectives.

Boundary

Requires a rigid tensor (often k-linear abelian) category with duals and a fibre functor to finite-dimensional vector spaces (neutral Tannakian case) over a base field with suitable hypotheses; excludes non-rigid monoidal categories, most infinite-dimensional representation categories, and settings without an exact faithful tensor functor.

Semantic Tension

The phrase 'duality' suggests a perfect two-way equivalence, but practically the tension is between categorical reconstruction (a functorial recovery of a group) and the many different categorical structures that might not determine a unique group without extra data such as a chosen fibre functor.

Synthesis

Tannaka Duality is the principle that, under rigidity and a chosen fibre functor, the full tensor structure of the finite-dimensional representation category encodes and allows reconstruction of the underlying (pro-)algebraic group as the group of tensor automorphisms of the fibre functor.