凄いじゃないかIUT！ 「IUTは、類体論の拡張」
「フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている」
https://ja.wikipedia.org/wiki/%E5%AE%87%E5%AE%99%E9%9A%9B%E3%82%BF%E3%82%A4%E3%83%92%E3%83%9F%E3%83%A5%E3%83%A9%E3%83%BC%E7%90%86%E8%AB%96#cite_note-3
宇宙際タイヒミュラー理論
数論的 log Scheme 圏論的表示の構成等に続いた研究であり、「一点抜き楕円曲線付き数体」の「数論的タイヒミューラー変形」を遠アーベル幾何等を用いて「計算」する数論幾何学の理論である
イヴァン・フェセンコはIU幾何を遠アーベル幾何から派生した新たな類体論に位置付けている

https://www.maths.nottingham.ac.uk/plp/pmzibf/232.pdf
[R5] Class field theory, its three main generalisations, and applications pdf, May 2021, EMS Surveys 8(2021) 107-133
https://www.ems-ph.org/journals/show_issue.php?issn=2308-2151&;vol=8&iss=1
EMS SURVEYS Vol8,2021 Class field theory, its three main generalisations, and applications

P16
Here are some relations between the three generalisations of CFT and their further developments:

2dLC?−− 2dAAG−−− IUT
　l　　　／　　｜　　　　　｜
　l　 ／　　　 ｜　　　　　｜
　l／　　 　　 ｜　　　　　｜
　LC 　　 2dCFT　 anabelian geometry
　＼　　　　　 ｜　　　　 ／
　 　＼　　 　 ｜　　　／
　　　　＼　　 ｜　 ／
　　　　　 　 CFT
注）記号：
Class Field Theory (CFT), Langlands correspondences (LC), 2dAAG = 2d adelic analysis and geometry, two-dimensional (2d)
(P8 "These generalisations use fundamental groups: the etale fundamental group in anabelian geometry, representations of the etale fundamental group (thus, forgetting something very essential about the full fundamental group) in Langlands correspondences and the (abelian) motivic A1 fundamental group (i.e. Milnor K2) in two-dimensional (2d) higher class field theory.")

Problem 7. Find more direct relations between the generalisations of CFT. Use them to produce a single unified generalisation of CFT.23