47
$\begingroup$

A recent question reminded me of a question I've had in the back of my mind for a long time. It is said that Grothendieck wanted the center-piece of SGA1 to be a completely algebraic proof (without topology) of the following theorem: $\pi_1^{et}(\mathbb{P}^1_{\mathbb{C}}\smallsetminus a_1,...,a_r)\cong$ the profinite completion of $\langle \alpha_1,...,\alpha_r|\alpha_1...\alpha_r=1\rangle$.

As you may know, he did not succeed.

From my experience with Grothendieck's ideas, he often has a proposed proof in mind that would take years (if it all) to be realized. Did Grothendieck have an idea of how to prove this fact algebraically? If so, what was the missing element in his proposed proof?

$\endgroup$

1 Answer 1

22
$\begingroup$

Nice question. I hope that someone more knowledgeable than me will step in and bring more information, but let me share what I think.

It doesn't seem to me that Grothendieck had an idea of how to prove this fact algebraically. It is true that Grothendieck had many ideas, and that some of them was so ambitiously genial that they would take year even to him to be realized, the most notable example being the idea of the proof of the Weil's conjecture. But in this case, he would say that he had the idea. For example he announced his strategy for the Weil conjectures very early, at the ICM 1958, and in the introduction of the EGA. From my readings of Récoltes et Semailles, I believe he would have considered unethical to raise a question without saying everything he had in mind on the subject.

This being said, back on the subject of determining algebraically the étale fundamental group of the projective line minus n points, here is what he says in SGA 1 (remarks 2.7 page 267):

"A cet égard, la situation de la droite rationnelle privée de $n$ points, et l’étude des revêtements d’icelle modérément ramifiés en ces points, est plus sympathique, puisque la considération des groupes de ramification en ces $n$ points fournit $n$ éléments du groupe fondamental à étudier, dont on montre en effet qu’ils engendrent topologiquement ce groupe fondamental, comme nous verrons ultérieurement. Mais même dans ce cas particulièrement concret, il ne semble pas exister de démonstration purement algébrique. Une telle démonstration serait évidemment extrêmement intéressante."

So he says that one can algebraically construct $n$ elements in the $\pi^1$, and using transcendental methods prove that those elements topologically generates the $\pi^1$. But he doesn't seem to imply that he has the slightest idea about a purely algebraic proof.

Edit: An other argument came to my mind. The subject of the étale fundamental group of the projective line minus n points is one of the very few question that interested Grothendieck a lot in the two part of his mathematical life (before his abrupt depart from IHES in 1970, and after that). So if he had an idea about how to prove this fact around 1960, and not the time to follow it, would he not have come back to it later when in the nineties if he was interested in the "Dessins d'enfants" and all those anabelian things. To my knowledge he didn't. (Again this is just a guess, that would happily yield to facts or even more educated guesses)

$\endgroup$
3
  • $\begingroup$ Nice answer. A bit of a tangential question: did up to know the idea for the Weil conjectures work out? It is my vague understanding that at least in certain aspects Deligne's proof actually is different. $\endgroup$
    – user9072
    Nov 13, 2011 at 16:51
  • $\begingroup$ No, Grothendieck's vision definitely did not come to fruition. When Grothendieck thought about this he envisioned the proof as going through the category of motives, and specifically through the standard conjectures (some of which remain open to this day). $\endgroup$ Nov 13, 2011 at 16:57
  • $\begingroup$ I think it's not correct to say that Grothendieck's vision "did not come to fruition", given that Deligne's proof is essentially based in étale cohomology and other ideas exposed by Groth in SGA 4 and 5. One thing is the main strategy to prove them (étale cohomology, envisioned by Groth) and another thing is the specific argument of proof (which Grothendieck expected to be motive theory/standard conjectures), which in the end was a great idea of Deligne which did not use standard conjectures. $\endgroup$
    – Compacto
    Apr 4, 2022 at 22:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.