Fesenko, Ivan, "Arithmetic deformation theory via arithmetic fundamental groups and nonarchimedean theta functions, notes on the work of Shinichi Mochizuki", European Journal of Mathematics, 2015