20
$\begingroup$

Do I remember a remark in "Sketch of a program" or "Letter to Faltings" correctly, that acc. to Grothendieck anabelian geometry should not only enable finiteness proofs, but a proof of FLT too? If yes, how?

Edit: In this transcript, Illusie makes a remark that Grothendieck looked for a connection between "FLT" and "higher stacks". BTW, here a note on (acc. to Illusie) Grothendieck's favored landscape.

$\endgroup$
3

2 Answers 2

13
$\begingroup$

See the papers of Minhyong Kim. For example, begin by looking at the MR review 2181717 of his paper Invent. Math. 161 (2005), no. 3, 629--656.

$\endgroup$
2
6
$\begingroup$

As Minhyong Kim points out in one of his papers on unipotent fundamental group- it is not quite clear how the section conjecture would imply Faltings theorem. The nature of implication (i.e. section conjecture implies Faltings or FLT) may be known to some experts but I don't know if it is explicitly written in literature.

$\endgroup$
2
  • $\begingroup$ I believe that it is not yet known that the section conjecture implies Mordell's conjecture (Faltings' theorem). $\endgroup$
    – Emerton
    Mar 10, 2010 at 14:21
  • 5
    $\begingroup$ At some point Deligne thought he had a proof that the section conjecture implied Mordell, but the proof doesn't work. This is all explained in an appendix by Deligne to a paper of Stix: arxiv.org/abs/0910.5009 $\endgroup$ Mar 10, 2010 at 16: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.