Skip to main content

All Questions

Filter by
Sorted by
Tagged with
73 votes
10 answers
22k views

Galois groups vs. fundamental groups

In a recent blog post Terry Tao mentions in passing that: "Class groups...are arithmetic analogues of the (abelianised) fundamental groups in topology, with Galois groups serving as the analogue ...
Harold Williams's user avatar
32 votes
3 answers
4k views

Fundamental groups of topoi

Just yesterday I heard of the notion of a fundamental group of a topos, so I looked it up on the nLab, where the following nice definition is given: If $T$ is a Grothendieck topos arising as category ...
Lars's user avatar
  • 4,450
25 votes
2 answers
2k views

Profinite groups as étale fundamental groups

Does every profinite group arise as the étale fundamental group of a connected scheme? Equivalently, does every Galois category arise as the category of finite étale covers of a connected scheme? ...
Martin Brandenburg's user avatar
23 votes
5 answers
7k views

Grothendieck's Galois Theory today

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 ...
lambdafunctor's user avatar
19 votes
2 answers
3k views

What are the different theories that the motivic fundamental group attempts to unify?

I must preface by confessing complete ignorance in the subject. I've read introductory texts about the theory of motives, but I am certainly no expert. In http://www.math.ias.edu/files/deligne/...
James D. Taylor's user avatar
13 votes
2 answers
4k views

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 ...
12 votes
2 answers
1k views

Topos-theoretic Galois theory

This page is an overview of some of the types of "Galois theories" there are. One of the most basic type is the fundamental theorem of covering spaces, which says, roughly, that for each ...
user1022117's user avatar
9 votes
1 answer
1k views

Galois theory, topos vs fundamental groups

Classical Galois theory states that the etale topos X of a field k is equivalent to the classifying topos of the absolute Galois group of k. (Marc Hoyois, Higher Galois theory, $\S$3, arXiv:1506....
Galoisianis's user avatar
8 votes
1 answer
813 views

Inverse galois problem and étale homotopy

Is there any relation between étale homotopy theory (Grothendieck-Galois theory) and the inverse Galois problem?...I mean...in classical homotopy theory, every finite group $G$ realizes as a "Galois ...
user avatar
8 votes
0 answers
294 views

Relationships among constructions of fundamental group for schemes

There seem to be several constructions of fundamental group for schemes and stacks: by Grothendieck, Deligne, Nori, Noohi, Esnault-Hai, Vakil-Wickelgren, perhaps others as well. I am trying to ...
Galois groupie's user avatar
7 votes
2 answers
430 views

Do surface groups embed into PSL_2 over a real quadratic integer ring?

$\DeclareMathOperator\PSL{PSL}$ Let $ \mathbb{Z} $ be the ring of integers and $ \mathbb{R} $ the field of real numbers. Let $ \Sigma_g $ be a surface of genus $ g \geq 2 $. Let $ \pi_1(\Sigma_g) $ be ...
Ian Gershon Teixeira's user avatar
4 votes
0 answers
195 views

Geometric fundamental group and algebraically closed residue field

my questions relates to the following talk of Tsuji: https://www.youtube.com/watch?v=2brDj26phP0 At around 10:30 of the video, Tsuji is interrupted by a man stating that his construction does not ...
Konstantin's user avatar
3 votes
0 answers
288 views

Galois theory of ramified coverings vs classical Galois theory

That's an exact copy of my former MSE question I asked a couple of weeks ago and unfortunately not got the answer I was looking for. The question adresses reuns' answer in this thread: Algebraic ...
user267839's user avatar
  • 5,966
0 votes
0 answers
286 views

Is $\operatorname{Aut}(\mathcal{M})$ a fundamental group in Grothendieck's sense?

This question is a follow-up to Are there infinitely many L-rigs? and to Is an automorphic form of $\operatorname{GL}_{n}(\mathbb{A}_{\mathbb{Q}})$ determined by its L-function?. I copy paste a deepl ...
Sylvain JULIEN's user avatar