The geometrically m-step solvable Grothendieck conjecture for affine hyperbolic curves over finitely generated fields

In this paper, we present some new results on the geometrically m-step solvable Grothendieck conjecture in anabelian geometry. Specifically, we show the (weak bi-anabelian and strong bi-anabelian) geometrically m-step solvable Grothendieck conjecture(s) for affine hyperbolic curves over fields finitely generated over the prime field. First of all, we show the conjecture over finite fields. Next, we show the geometrically m-step solvable version of the Oda-Tamagawa good reduction criterion for hyperbolic curves. Finally, by using these two results, we show the conjecture over fields finitely generated over the prime field.