I'm refering, of course, to Grothendieck's ambitious program available fully here: http://www.math.jussieu.fr/~leila/grothendieckcircle/EsquisseFr.pdf

The text is, as described in its title, a sketch, and is supposed to be written in terms one can easily follow. However, for a non-expert like me it is still, to say the least, difficult. What I've done so far is read some things that were written about it, and only glanced at "esquisse", which still strikes me as an intimidating text. My understanding is still less than preliminary.

This is going to be a series of related questions, whose answers will hopefully sketch to me the program described in "esquisse", or at least put me in better position to sketch it to myself:

- As I understand it, $Gal( \mathbb{Q})$ acts on $\mathbb{P}^1 _ {\bar {\mathbb{Q}}}- 0,1,\infty$ in the obvious way. Now $\mathcal{M}_{0,n}$ (the moduli space of genus $0$ $\bar {\mathbb{Q}}$-curves with $n$ marked points) can be identified with $(\mathbb{P}^1 _ {\bar {\mathbb{Q}}}- 0,1,\infty)^{n-3}-\Delta$, generalizing just $\mathbb{P}^1 _ {\bar {\mathbb{Q}}}- 0,1,\infty = \mathcal{M}_{0,4}$. So $Gal( \mathbb{Q})$ acts on $\mathcal{M} _ {0,n}$. Here I start getting confused. On the one hand it seems like the generalization that is described is an action of $Gal( \mathbb{Q})$ on all $\mathcal{M}_{g,n}$, and on the other it seems that the action described is on its universal cover, the Teichmüller space, $\mathcal{T} _{g,n}$.
- Okay. Now the assertion seems to be, we have a map from $Gal( \mathbb{Q})$ to each fundamental group (fundamental groupoid? I imagine that we may view $Gal( \mathbb{Q})$ as a baseless fundamental groupoid if we choose) of each $\mathcal{M}_{g,n}$. We can in fact view this as mapping simultaneously to all of them, respecting certain operations between the $\mathcal{T} _{g,n}$. What are these actions? Can you restate this last paragraph rigorously?
- This map (sketchily sketched in question 2) is then conjectured to be an imbedding (I think this has been proven, am I right?). According to a paper by Pierre Lochak and Leila Schneps ($\hat {GT}$ and braid groups): "A very important suggestion of Grothendieck is that the tower of Teichmüller groupoids ... should be entirely constructable from its first two levels". What does "first two levels" mean? (first two $n$'s for every $g$?) And why should that be true? (what would behoove anyone to think it's true?)
- How do braid groups have to do with any of this? Is the assertion that $\pi_1 ( \mathcal{M} _{0,n},basept)$ is isomorphic to $B_n$ (the braid group on $n$ generators). Is that even true? I'm confused about this point.
- This question is regarding notations for profinite groups, used generously anywhere related to this topic. $\hat {F_2}$, the profinite completion of the free group on two generators, is ubiquitous in such discussions because it is the fundamental group of $\mathbb{P}^1 _{\bar {\mathbb{Q}}}-0,1,\infty$. It is "generated" by two elements, meaning that it is the closure of a group generated by two elements. While defining the Grothendieck-Teichmüller group, Lochak and Schneps write "if $x, y$ are the generators of $\hat {F_2}$, we write an element of $\hat {F_2}$ as a 'profinite word' $f(x,y)$, although it is not generally a word in $x$ and $y$. This notation allows us to give a meaning to the element $f(\bar x, \bar y)$ where $\bar x$ and $\bar y$ are arbitrary elements of a profinite group". Well... then, if $f(x,y)$ is not an actual word in $x$ and $y$, then what does $f(\bar x,\bar y)$ mean?
- At the same place, $\hat {GT}_0$ is defined as the subgroup of $\hat{ \mathbb{Z}}^{\times} \times \hat {F_2} '$ of elements $(\lambda,f)$ such that, among other things, $f(x,y)f(y,x)=1$. What does that mean? What is $f(x,y)$, and how is it different from $f(y,x)$ in its definition? Is it that somehow I can "express" any element of $\hat {F_2}$ as a "word" in $x$ and $y$, and then $f(y,x)$ is just flipping them? How do you make that rigorous?
- Do I understand correctly that $\hat {GT}$ is a subgroup of the automorphism group of this tower of Teichmüller spaces, and that it is conjectured that $Gal( \mathbb{Q})$ surjects onto it (as well as imbeds into it)?
- Do any of these things have to do with the anabelian geometry that is sketched later in "esquisse"? If so, how? And in general, how do these sets of ideas fit into esquisse? Are they the essence, one idea of many, or a piece in a bigger picture I can't see (combining dessin d'enfants, the Teichmüller tower, and anabelian geometry)? If so, very roughly, what is that sketch?

I wasn't sure whether to make this community wiki.

purebraid group. If unordered, then the braid group. $\endgroup$