Tannaka Duality for Geometric Stacks

Abstract

We show that, under appropriate hypothesis, the groupoid of maps from S to an an algebraic stack X can be identified with a category of tensor functors from coherent sheaves on X to coherent sheaves on S. As an application, we show that if S is a proper variety over the field of complex numbers, then every ``analytic'' map from S to X is ``algebraic''.