What conjectures in anabelian geometry are false? - MathOverflow

What conjectures in anabelian geometry are false?

2012-11-10T18:11:36Z

Proving things suspected to be true in anabelian geometry is usually very hard. Maybe it is easier to disprove things suspected to be false?

In particular, I am interested in false generalizations of the main conjecture to higher dimensions.

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?

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$.

Another question is:

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?

I am thinking about ideas like the Section Conjecture.

Answer by Felipe Voloch for What conjectures in anabelian geometry are false?

2012-11-10T18:39:30Z

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.

Answer by Lars for What conjectures in anabelian geometry are false?

2012-11-10T22:17:06Z

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.

Y. Hoshi (a student of Mochizuki) proved that an analogous generalization of the section conjecture is false:

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.

You can get this paper from his homepage.