math_jin

IUT では、数ある技術的データの中でもとりわけ数体 F 上の適切な楕円曲線 E と素数 l を出発点とし、etale theta 関数の理論で用いられる特定の双曲的曲線に関するデータの組を研究する。 特に双曲的曲線に対する遠アーベル幾何学と etale theta 関数は IUT の基礎を形成している。 #IUTABC

楕円曲線および etale theta 関数の様々な幾何学的・数論的な情報は、いわゆる Hodge 劇場と呼ばれる対象の中に記録される。 より具体的には、Hoge 劇場は特定の双曲的曲線のカスプたちにより表現される楕円曲線の ℓ-torsion の商に付随する二種類の対称性を保持するように設計される。#IUTABC

その一つは乗法的対称性と呼ばれ、これは対応するカスプの集合が E のモジュライの体の絶対ガロア群の部分商として自然に同一視されるものであるため、数論的な特質を持つ対称性である。 #IUTABC

もう一つは加法的対称性と呼ばれ、これは対応するカスプの集合が E と l によって決まる双曲的曲線の幾何学的基本群の部分商として自然に同一視されるものであるから、幾何学的な特質を持つ対称性である。 #IUTABC

乗法的対称性は E のモジュライの体に付随するフロベニオイドのコピーに作用するが、加法的対称性はカスプでの theta 関数の様々な値における局所ガロア群の共役不定性を同期させることを可能とする。 #IUTABC

これらの theta 関数の値および数体は、いわゆる theta-pilot object を決定し、その構造は前述の二つの対称性に依存する。 IUT の主な構成は、theta-pilot object のいわゆる多幅的な（すなわち環構造の変形の下での不変的な）表現である。 #IUTABC

そのような表現の構築は、局所ガロア群の自己同型や局所単数群の自己同型、局所整数環の加法構造の変形に関係する不確定性/等価性の下でのみ達成することができる。 #IUTABC

その多幅的な表現は、特に Hodge 劇場の異なるコピーの間の重要たる theta link と可換性があり、環構造を解体して arithmetic degree の情報を抽出する。 theta-link の適用は、Hodge-Arakelov 理論に関する望月氏の先行研究によって動機付けられた。 #IUTABC

これは、Hodge-Arakelov 理論によって予期されたように、多幅的表現に付随する数論的な line bundle は 0 に近い dgree を持つという可換性から従うものである。#IUTABC

これが IUT 理論の主要な結果である。この結果といくつかの標準的な技法によって、最終的に ABC 予想の証明がなされるのである。 #IUTABC http://math.sustc.edu.cn/event/10808.html …