Welcome to MathOverflow

Question

6

3

I have recently become aware of, and started to study in my free time (abundant in these summer months) Grothendieck's Galois Theory (GGT), as formulated in SGA 1 and later by Grothendieck's contemporaries. I understand there to have been a number of unresolved and open questions relating to GGT upon its formulation, some of which seem to persist. This is a truly gorgeous subject, and I wonder whether it is still studied rigorously or researched at all today? Where/Who produces interesting results regarding things such as Galois and Atomic topoi, applications of the Grothendieck fundamental group, etc., today?

Is there a great deal of utility to GGT beyond the foundational work in algebraic geometry later formulated by Grothendieck?

flag	asked Jul 18 2010 at 22:31 lambdafunctor 626●4●14

3

If by "GGT" you mean any mathematics involving finite etale covers of schemes, then the answer is yes - the theory is still studied intensely today, and is quite useful in non-foundational contexts. I should note that Grothendieck viewed Galois theory from several different perspectives during his career, and terminology such as "GGT" may be confused with, e.g., his work on dessins d'enfants in the 1980s. – S. Carnahan♦ Jul 18 2010 at 23:01

Thank you for that clarification, Scott. Indeed, I understand that my precise meaning might seem ambiguous here; I am referring to the only context in which I have encountered it (in my cursory study thereof), that is, in the development in SGA1 of Grothendieck's fundamental group and its applications. Clearly this is still a concept which is very much put to use today. I am also interested in whether considerations in foundational contexts, viz. topos theory (for instance, the development and study of atomic topoi). This is more closely related to the mathematics in which I am interested. – lambdafunctor Jul 18 2010 at 23:14

2

The gigantic subject of $\ell$-adic representations of Galois groups of global fields uses \'etale fundamental groups of higher-dim. schemes all over the place (for constructions, to prove theorems, etc.). Deligne's proof of RH and generalizations uses the close link between lisse $\ell$-adic sheaves and representations of etale fundamental groups. One can say so much, but in time you'll learn about it if you make a deeper study of Galois representations and etale cohomology. Basically, the etale fundamental group is as important in arithmetic geometry as the usual fund. gp is in topology. – BCnrd Jul 19 2010 at 6:57

Anweshi · Answer 1 · 2010-07-27 15:28:37Z UTC

I suggest that you read Deligne's wonderful paper “Le Groupe Fondamental de la Droite Projective Moins Trois Points”. I read a little bit of it and was astonished. Please do take it up and read it without further loss of time, notwithstanding the French.

Jordan Ellenberg's and Matthew Emerton's opinion is available here.

David Roberts · Answer 2 · 2010-07-19 07:32:16Z UTC

There is a book on a more general approach to Galois theory by Borceux and Janelidze (called, imaginatively, 'Galois theories' Google books). A bit more concrete is 'Galois Theory in Symmetric Monoidal Categories' by Janelidze and Street, which uses a Galois theoretic approach to Tannaka duality (a very Grothendieckian study).

Marta Bunge has a bunch of stuff on topoi and Galois-type theories, for example 'Galois Groupoids and Covering Morphisms in Topos Theory', 'Constructive Theory of Galois Toposes' (joint with Eduardo Dubuc) and a bunch of others.

SimonPL · Answer 3 · 2010-07-27 10:48:08Z UTC

I don't know much about this topic, but I was recently recommended the paper An extension of the Grothendieck Galois theory of Grothendieck by Joyal and Tierney as an enlightening abstract generalisation in the language of toposes. It seems that it predates some of the other references given above, but might be worth reading.

Charles Siegel · Answer 4 · 2010-07-19 11:26:48Z UTC

0

This isn't my research group (though some of the people for whom it is are around), but here's a website devoted to this stuff, with lots of papers, names, etc. It's a VERY active area, with a lot of interesting problems.

answered Jul 19 2010 at 11:26

Charles Siegel
10.2k●2●26●74

Grothendieck’s Galois Theory today

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

4 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.