Algebraic Topology⇄Algebraic Geometry
RanG(X)
BunG(X)
Ran(X)
algebraic geometry(代数幾何) と algebraic topology（代数トポロジー） の関係性の学問はラングランズプログラムのように現代数学の主流である。代数トポロジーから代数幾何の形を取り出すことで、互いの型の要素を比較することができる。 algebraic geometry(代数幾何) は多項式で解を持つ公式の学問である。
algebraic geometry is the study of solutions to polynomial equations.グロタンディークやドリーニュが証明したヴァイユ予想もトポロジーから代数幾何構造を導き出した。
3つの要素は、曲線 X と代数群 G（例えば GL_n など）に関連する「空間（スタック）」を指している。
- Ran(X)（ラン空間 / Ran Space）
- 曲線 X 上の「有限個の点の集合」すべてを集めてきた巨大な空間です。
- 単なる点の集合ではなく、点が近づいたり重なったりする挙動を数学的に厳密に扱うための特殊な空間です。
- Bun_G(X)（G束のモジュライ・スタック）
- 曲線 X 上にあるすべての「G主束（G-bundles）」を分類する空間です。
- 幾何学的ラングランズ理論において、最も中心的な役割を果たす「舞台」のような場所です。
- Ran_G(X)（またはH_Ran）
- これは上の2つを仲介する「ヘッケ・スタック」と呼ばれるものに近い概念です。
- 「曲線上の有限個の点」と「その点の外側で自明化されたG束」という2つの情報を同時に持っています。
この図は、「局所的な情報（点）」から「大域的な情報（曲線全体の束）」へどうアクセスするかを説明しています。
- 右への矢印： Ran_G(X) から束の情報を忘れて、単に「どの点を選んだか」という情報だけを取り出す写像です。
- 左への矢印： 逆に、点の上での構成から X 全体の上での「G束（Bun_G(X)）」を構成する、あるいは対応させる写像です。