22/04/25 07:12:29 CGHIwjeU.net
>>590
つづき
の「離散的スキーム論版」と見ることもできる。詳しくは、
A Survey of the Hodge-Arakelov Theory of Elliptic Curves I, II
をご参照下さい。
新たな枠組への道
Hodge-Arakelov 理論では、数論的な Kodaira-Spencer 射が構成されるなど、
ABC 予想との関連性を仄めかすような魅力的な側面があるが、そのまま「ABC 予
想の証明」に応用するには、根本的な障害があり不十分である。このような障害を克服するためには、
通常の数論幾何のスキーム論的な枠組を超越した枠組
P2
が必要であろうとの直感の下、2000 年夏から 2006 年夏に掛けて、そのような枠組を
構築するためには何が必要か模索し始め、またその枠組の土台となる様々な数学的イ
ンフラの整備に着手した。このような研究活動を支えた基本理念は、
次のようなものである：
注目すべき対象は、特定の数論幾何的設定に登場する個々のスキーム等ではな
く、それらのスキームを統制する抽象的な組合せ論的パターンないしはそのパ
ターンを記述した組合せ論的アルゴリズムである。
このような考え方を基にした幾何のことを、「宇宙際（Inter-universal=IU）幾
何」と呼ぶことにした。
念頭においていた現象の最も基本的な例として次の三つが挙げられる：
・ログ・スキームの幾何におけるモノイド
・遠アーベル幾何における数論的基本群＝ガロア圏
・退化な安定曲線の双対グラフ等、抽象的なグラフの構造
この三つの例に出てくる「モノイド」、「ガロア圏」、「グラフ」は、いずれも、「圏」
という概念の特別な場合に当たるもの�