>>52
追加下記ご参考
2018年からの流れですね
（参考）
http://www.kurims.kyoto-u.ac.jp/~bcollas/documents/MFO-owr1816a_report_Introduction.pdf
Mathematisches Forschungsinstitut Oberwolfach
Report No. 17/2018
DOI: 10.4171/OWR/2018/17
Mini-Workshop: Arithmetic Geometry and Symmetries
around Galois and Fundamental Groups
Organised by
Benjamin Collas, Bayreuth
Pierre Dèbes, Villeneuve d’Ascq
Michael D. Fried, Billings
15 April – 21 April 2018

Abstract. The geometric study of the absolute Galois group of the rational
numbers has been a highly active research topic since the first milestones:
Hilbert’s Irreducibility Theorem, Noether’s program, Riemann’s Existence
Theorem. It gained special interest in the last decades with Grothendieck’s
“Esquisse d’un programme”, his “Letter to Faltings” and Fried’s introduction
of Hurwitz spaces. It grew on and thrived on a wide range of areas, e.g. formal
algebraic geometry, Diophantine geometry, group theory. The recent years
have seen the development and integration in algebraic geometry and Galois
theory of new advanced techniques from algebraic stacks, p-adic representations and homotopy theories. It was the goal of this mini-workshop, to bring
together an international panel of young and senior experts to draw bridges
towards these fields of research and to incorporate new methods, techniques
and structures in the development of geometric Galois theory

P5
3. Galois Anabelian and Homotopical Geometry

Schmidt and Stix presented their joint work: they showed how to use étale
homotopic methods and Mochizuki’s work to deduce the existence of anabelian
Zariski-neighbourhoods in smooth variety of any dimension. Schmidt first explained the necessary requirements and difficulties in Artin-Mazur-Friedlander
pointed-unpointed étale homotopy theory, then Stix presented the proof based on
Tamagawa’s idea of Jacobian approximation of rational points via the existence of
a certain retract.