Does Nori's fundamental group scheme appear in Kim's work - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T20:18:17Z http://mathoverflow.net/feeds/question/91555 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/91555/does-noris-fundamental-group-scheme-appear-in-kims-work Does Nori's fundamental group scheme appear in Kim's work Harry 2012-03-18T17:41:05Z 2012-03-18T21:48:55Z <p>This is a very vague question. I was just reading the introduction to M. Kim's article on motivic fundamental groups and the theorem of Siegel and noticed that there are essentially three fundamental groups appearing in his work: the De Rham fundamental group, the cristalline fundamental group and the etale fundamental group.</p> <p>Now, does Nori's fundamental group scheme also appear somewhere in his work? If no, why not?</p> http://mathoverflow.net/questions/91555/does-noris-fundamental-group-scheme-appear-in-kims-work/91571#91571 Answer by Niels for Does Nori's fundamental group scheme appear in Kim's work Niels 2012-03-18T21:48:55Z 2012-03-18T21:48:55Z <p>It depends on what you call Nori's fundamental group scheme, of course. Nori himself has given several versions of his fundamental group scheme, and it has been vastly generalized.</p> <p>If you think of the classical definition (the tannaka group of the category of essentially finite vector bundles) I don't think it does. It is of a somewhat different nature of the tannaka groups you list above : it is pro-finite, whereas the ones appearing in your list are all pro-unipotent. They are not designed for the same purposes: Nori's fundamental group was built to take into account positive characteristic phenomenons, especially torsors under finite group schemes that are not necessarily étale, whereas in Kim's fundamental groups both the de Rham version and the étale one are defined for a variety over a field of characteristic zero, and my vague understanding of the subject is that all of them are algebraic incarnations of the unipotent envelope of the non existing topological fundamental group.</p> <p>Of course, this is not so simple. Nori has defined in his Phd an unipotent version of his fundamental group scheme which is related to Kim's de Rham. Also, a version of Nori's fundamental group scheme (rather, groupoid) was recently used in characteristic zero by Esnault and Hai to study the section conjecture, which is deeply interconnected with Kim's work.</p>