Tannaka formalism and the étale fundamental group - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-19T04:32:09Z http://mathoverflow.net/feeds/question/23860 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/23860/tannaka-formalism-and-the-etale-fundamental-group Tannaka formalism and the étale fundamental group Lars 2010-05-07T14:37:08Z 2010-06-24T20:43:14Z <p>For quite a while, I have been wondering if there is a general principle/theory that has both Tannaka fundamental groups and étale fundamental groups as a special case.</p> <p>To elaborate: The theory of the étale fundamental group (more generally of Grothendieck's Galois categories from SGA1, or similarly of the <a href="http://mathoverflow.net/questions/23427/fundamental-groups-of-topoi" rel="nofollow">fundamental group of a topos</a>) works like this: Take a set valued functor from the category of finite étale coverings of a scheme satisfying certain axioms, let $\pi_1$ be its automorphism group and you will get an equivalence of categories ( (pro-)finite étale coverings) &lt;-> ( (pro-)finite cont. $\pi_1$-sets).</p> <p>The Tannaka formalism goes like this: Take a $k$-linear abelian tensor category $\mathbb{T}$ satisfying certain axioms (e.g. the category of finite dim. $k$-representations of an abstract group), and a $k$-Vector space valued tensor functor $F$ (the category with this functor is then called neutral Tannakian), and let $Aut$ be its tensor-automorphism functor, that is the functor that assigns to a $k$-algebra $R$ the set of $R$-linear tensor-automorphisms $F(-)\otimes R$. This will of course be a group-valued functor, and the theory says it's representable by a group scheme $\Pi_1$, such that there is a tensor equivalence of categories $Rep_k(\Pi_1)\cong \mathbb{T}$.</p> <p>Both theories "describe" under which conditions a given category is the (tensor) category of representations of a group scheme (considering $\pi_1$-sets as "representations on sets" and $\pi_1$ as constant group scheme). Hence the question: </p> <blockquote> <p>Are both theories special cases of some general concept? (Maybe, inspired by recent questions, the first theory can be thought of as "Tannaka formalism for $k=\mathbb{F}_1$"? :-))</p> </blockquote> http://mathoverflow.net/questions/23860/tannaka-formalism-and-the-etale-fundamental-group/23888#23888 Answer by Xandi Tuni for Tannaka formalism and the étale fundamental group Xandi Tuni 2010-05-07T19:36:48Z 2010-05-07T20:54:49Z <p>Besides that the theories (étale fundamental group and Tannakian formalism) just formally look alike, there exist actual comparison results between certain étale and Tannakian fundamental groups.</p> <p>Namely: there is Nori's fundamental group scheme $\pi_1^N(S,s)$, where $S$ is a proper and integral scheme over a field $k$ having a $k$--rational point. It is defined to be the fundamental group of some Tannakian category associated with $S$ (to be precise: The full $\otimes$-subcategory of the category of locally free sheaves on $S$ spanned by the essentially finite sheaves). In the case $k$ is algebraically closed, there is a canonical comparison morphism from Nori's fundamental group to Grothendieck's étale fundamental group, and if moreover $k$ is of characteristic zero this morphism is an isomorphism.</p> <p>One more comment: The classical Tannaka-Krein duality theorem for compact topological groups (see e.g. Hewitt&amp;Ross vol. II) should presumably be another realisation of the common generalisation you seek.</p> http://mathoverflow.net/questions/23860/tannaka-formalism-and-the-etale-fundamental-group/23889#23889 Answer by Matthieu Romagny for Tannaka formalism and the étale fundamental group Matthieu Romagny 2010-05-07T19:47:54Z 2010-05-07T19:47:54Z <p>I think that the answer to your question is precisely the topic of the paper "The fundamental groupoid scheme and applications" by H. Esnault and P. H. Hai, Annales de l'Institut Fourier 2008, see <a href="http://aif.cedram.org/item?id=AIF_2008__58_7_2381_0" rel="nofollow">here</a>. I quote from the introduction, on the fourth page : "The purpose of this article is to reconcile the two viewpoints"... The key is Deligne's formalism of nonneutral tannakian categories.</p>