Mochizuki's absolute anabelian conjecture without a fixed Galois-group isomorphism

Let KK and LL be finite extensions of Qp\mathbb{Q}_p, and let X/LX/L and Y/KY/K be hyperbolic curves. Write Isom(π1alg(X),π1alg(Y))/\operatorname{Isom}(\operatorname{\pi_1^{alg}}(X),\operatorname{\pi_1^{alg}}(Y))/\sim for the isomorphisms of algebraic étale fundamental groups modulo composition with inner automorphisms. Mochizuki's absolute anabelian conjecture. The map

Isom(X,Y)Isom(π1alg(X),π1alg(Y))/\operatorname{Isom}(X,Y)\to \operatorname{Isom}(\operatorname{\pi_1^{alg}}(X),\operatorname{\pi_1^{alg}}(Y))/\sim

is bijective. This strengthens the preceding anabelian statement by allowing the two curves to lie over possibly different pp-adic fields, and the source presents it as a conjecture prompted by Mochizuki's question.

Sources & referencesView supporting material

Primary source

Emmanuel Lepage, “Resolution of non-singularities and the absolute anabelian conjecture”, arXiv:2306.07058 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.