What conjectures in anabelian geometry are false? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T13:58:53Z http://mathoverflow.net/feeds/question/112007 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/112007/what-conjectures-in-anabelian-geometry-are-false What conjectures in anabelian geometry are false? Will Sawin 2012-11-10T18:11:36Z 2012-11-10T22:17:06Z <p>Proving things suspected to be true in anabelian geometry is usually very hard. Maybe it is easier to disprove things suspected to be false?</p> <p>In particular, I am interested in false generalizations of the main conjecture to higher dimensions.</p> <blockquote> <p>Is there a pair of non-isomorphic varieties, \$X\$ and \$Y\$, which one might naively expect to satisfy an anabelian conjecture, but which in fact have the same etale fundamental group?</p> </blockquote> <p>Obviously I am not interested in simply-connected varieties, abelian varieties, fibrations with the same fundamental group as their base, and other obvious counterexamples. Thus an example must certainly be of dimension \$>1\$.</p> <p>Another question is:</p> <blockquote> <p>Are there guesses about how exactly to reconstruct the geometry of a variety from its etale fundamental group, that might seem true, but are in fact false?</p> </blockquote> <p>I am thinking about ideas like the Section Conjecture.</p> http://mathoverflow.net/questions/112007/what-conjectures-in-anabelian-geometry-are-false/112009#112009 Answer by Felipe Voloch for What conjectures in anabelian geometry are false? Felipe Voloch 2012-11-10T18:39:30Z 2012-11-10T18:39:30Z <p>Grothendieck, in his letter to Faltings, suggested that the moduli space of abelian varieties (quote: "I would assume that the same should hold for the multiplicities of moduli of polarized abelian varieties") would be anabelian. Ihara and Nakamura showed that this was not the case, as the anabelian recipe for the automorphism group gave the wrong answer, so you can take \$X=Y\$ in your first question. The section conjecture also fails in this case. I have a preprint on that (on my webpage) which also has the reference to the paper of Ihara and Nakamura.</p> http://mathoverflow.net/questions/112007/what-conjectures-in-anabelian-geometry-are-false/112033#112033 Answer by Lars for What conjectures in anabelian geometry are false? Lars 2012-11-10T22:17:06Z 2012-11-10T22:17:06Z <p>Mochizuki proved that the anabelian conjecture for hyperbolic curves (the hom-form) only needs the maximal pro-\$p\$ quotient of the fundamental groups, for some prime \$p\$, which gives a stronger result than originally envisioned by Grothendieck.</p> <p>Y. Hoshi (a student of Mochizuki) proved that an analogous generalization of the section conjecture is false:</p> <p>Existence of nongeometric pro-p Galois sections of hyperbolic curves, Publications of the Research Institute for Mathematical Sciences (Publ. Res. Inst. Math. Sci.) 46 (2010), no. 4, 829-848.</p> <p>You can get this paper from his homepage.</p>