# What are Galois Categories used for?

Galois categories are introduced (for the first time?) in SGA1, but here's an English introduction that's available online: http://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/Lynn.pdf

It seems that Galois Categories are a way of axiomatizing all the Galois correspondences in the various fields: Galois theory for fields, Galois theory for covers, Galois theory tame covers and so forth.

What is the benefit, if at all, of this formalism? Is it just to outline the commonalities of these seemingly different topics, or is there some applicable virtue to this language?

• The linked paper is full of errors and "empty assertions". – Martin Brandenburg Jan 4 '11 at 20:46
• I haven't read it through. I should perhaps put SGA1 chapter V as the main reference, 4.1 being the main theorem. – James D. Taylor Jan 4 '11 at 20:46
• Or perhaps Ricky's link: websites.math.leidenuniv.nl/algebra/GSchemes.pdf – James D. Taylor Jan 4 '11 at 20:47
• Galois categories inspired the Tannakian categories formalism that reconstructs an affine group scheme from its finite-dimensional representations. – Mozibur Ullah Dec 25 '12 at 19:08

At the end, a Galois category is equivalent to the category $\pi$-sets, of finite sets with a continuous action of a profinite group $\pi$, so once you know this is easy to study Galois categories. The interesting part is that sometimes you a have a category, you can prove that it is Galois, so you have your $\pi$, but this is the only way you have to define the group. This is the method used by Grothendieck to define the fundamental group of a scheme (w.r.t. to a geometric point. used to define the fibre functor). See here link text for the details.
• I don't know the book you are talking about, but of course, the $\pi_1$ is the group of automorphisms of the fibre functor. But using the theory of Galos category you can really understand what the category of finite étale covering is (for example what a connected or Galois object is). To my taste, this allows you to better understand the relation to other Galois theory, in particular why classical Galois theory is a particular case of the one of Grothendieck. – Ricky Jan 4 '11 at 19:49