>>823
>https://mathsoc.jp/publication/tushin/1602/mochizuki-saito.pdf
>望月拓郎氏の日本学士院賞受賞に寄せて IPMU 主任研究員 斎藤恭司 数学通信第１５巻第２号（２０１０年度）

この中に、小林-Hitchin 対応 が出てきます
これが、Fedor Bogomolov→he contributed a proof (among many proofs) of the geometric Szpiro's conjecture which appears to be the nearest to Shinichi Mochizuki's claimed proof of the arithmetic Szpiro conjecture.
と繋がっているのは、不思議ですね

https://ja.wikipedia.org/wiki/%E5%B0%8F%E6%9E%97%E3%83%BB%E3%83%92%E3%83%83%E3%83%81%E3%83%B3%E5%AF%BE%E5%BF%9C
小林・ヒッチン対応
小林・ヒッチン対応 (Kobayashi?Hitchin correspondence) は、複素多様体上の安定ベクトル束（英語版）をアインシュタイン・エルミットベクトル束（英語版）に関連付ける。対応の名前は小林昭七とNigel Hitchin（英語版）に因んでいる。彼らは1980年代に独立に次のことを予想した：複素多様体上のアインシュタイン・エルミットベクトル束と安定ベクトル束のモジュライ空間は本質的に同じである。これはDonaldsonによって代数曲面と後にalgebraic manifold（英語版）に対して証明され、Uhlenbeck と Yau によってケーラー多様体に対して証明され、Li と Yau によって複素多様体に対して証明された。

https://en.wikipedia.org/wiki/Kobayashi%E2%80%93Hitchin_correspondence
Kobayashi?Hitchin correspondence
History
Inspired by the Narasimhan?Seshadri theorem, around this time a folklore conjecture formed that slope polystable vector bundles admit Hermitian Yang?Mills connections.
This is partially due to the argument of Fedor Bogomolov and the success of Yau's work on constructing global geometric structures in Kahler geometry.
This conjecture was first shared explicitly by Kobayashi and Hitchin independently in the early 1980s.[1][2]

つづく