[論文レビュー] Recursive relations for the cohomology ring of moduli spaces of stable bundles

Bernd Siebert, Gang Tian|ArXiv.org|Oct 20, 1994

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用数 42

ひとこと要約

本稿は、リーマン面の genus $g$ における安定バンドルのモジュライ空間のコホロロジー環に対して再帰的公式を確立し、Newsteadのクラス $\alpha$, $\beta$, $\gamma$ が生成する部分環が完全交差であることを示している。主な結果は、多項式 $f_1^g$, $f_2^g$, $f_3^g$ によって定義される帰納的関係系であり、明示的な再帰関係を満たしており、コホロロジー環の構造を効率的に計算可能にする。さらに、すべての関係イデアルを同時に符号化する生成関数 $\Phi(t)$ が構成されている。

ABSTRACT

The authors learnt that similar results have been independently found by D.Zagier, V.Baranovsky and V.Balaji/A.King/P.Newstead. The corresponding references have been added (and some typos corrected).

研究の動機と目的

• リーマン面の genus $g$ における安定バンドルのモジュライ空間のコホロロジー環における関係イデアルを明示的に決定する際の計算の難しさを解消すること。
• コホロロジー環 $H^*({{\cal N}}_g, \mathbb{Q})$ における関係イデアルの生成子を簡単で帰納的な公式で与えること。
• Newsteadのクラス $\alpha$, $\beta$, $\gamma$ が生成するコホロロジー部分環の完全交差構造を統一的かつ簡素化された形で導出すること。
• すべての genus $g$ に対して同時に関係イデアルを符号化する生成関数 $\Phi(t)$ を構成すること。
• 量子コホロロジーの計算および Donaldson 不変量の理解のための基礎を、コホロロジー構造に基づいて築くこと。

提案手法

• 超楕円的 $\Sigma$ に対する Desale-Ramanan 埋め込み $\varphi: {{\cal M}}(\Sigma,L) \to G(g+3, 2g+2)$ に加え、トートロジカルバンドルの引き戻しの内因的特徴付けを用いる。
• 再帰関係 $f_1^{g+1} = \alpha f_1^g + g^2 f_2^g$, $f_2^{g+1} = \beta f_1^g + \frac{2g}{g+1} f_3^g$, $f_3^{g+1} = \gamma f_1^g$ を用いて、多項式 $f_1^g, f_2^g, f_3^g$ の再帰的系を定義し、初期値 $(f_1^1, f_2^1, f_3^1) = (\alpha, \beta, \gamma)$ を与える。
• コホロロジー部分環 $\langle \alpha, \beta, \gamma \rangle$ が $\mathbb{Q}[\alpha, \beta, \gamma]/(f_1^g, f_2^g, f_3^g)$ に同型であり、各 genus $g \geq 1$ に対して完全交差環であることを示す。
• 関数方程式 $\Phi'(t) = \frac{\alpha + \beta t + 2\gamma t^2}{1 - \beta t^2} \cdot \Phi(t)$ を満たす生成関数 $\Phi(t)$ を構成し、$\Phi^{(g)}$, $\Phi^{(g+1)}$, $\Phi^{(g+2)}$ が genus $g$ の理想を生成することを示す。
• Poincaré双対性および ${{\cal M}}_g$ 上の交線型ペアリングを用いた帰納的議論により、中間次元までに生成子の線形独立性を証明する。
• 既知のベッチ数の公式（例：Newsteadのもの）を用いて、再帰的構造の正しさを検証する。

実験結果

リサーチクエスチョン

• RQ1 genus $g$ のリーマン面における安定バンドルのモジュライ空間のコホロロジー環における関係イデアルの生成子に対して、簡単で帰納的な公式を導出できるか？
• RQ2 $H^*({{\cal N}}_g, \mathbb{Q})$ の部分環で $\alpha$, $\beta$, $\gamma$ が生成するものはある完全交差であるか？ もしそうであれば、その構造を再帰的に捉えることができるか？
• RQ3 1つの生成関数 $\Phi(t)$ がすべての genus $g$ に対して関係イデアルを同時に符号化できるか？
• RQ4 再帰的構造により、重い計算ツールに依存せずにベッチ数やその他の不変量を効率的に計算できるか？
• RQ5 この手法は、より高いランクのバンドルのモジュライ空間、あるいは偶数次元の行列式バンドルに対しても一般化可能か？

主な発見

• Newsteadのクラス $\alpha$, $\beta$, $\gamma$ が生成するコホロロジー部分環は、各 genus $g \geq 1$ に対して $\mathbb{Q}[\alpha, \beta, \gamma]/(f_1^g, f_2^g, f_3^g)$ に同型であり、完全交差環をなす。
• 次数 $a + b + c < g$ を満たす単項式 $\alpha^a \beta^b \gamma^c$ は、この部分環の $\mathbb{Q}$-基底をなしており、次元および構造が確認される。
• 再帰的関係 $f_1^{g+1} = \alpha f_1^g + g^2 f_2^g$, $f_2^{g+1} = \beta f_1^g + \frac{2g}{g+1} f_3^g$, $f_3^{g+1} = \gamma f_1^g$ は、初期値 $f_i^1 = \alpha, \beta, \gamma$ を用いて、多項式 $f_i^g$ を一意に決定する。
• 生成関数 $\Phi(t)$ は $\Phi'(t) = \frac{\alpha + \beta t + 2\gamma t^2}{1 - \beta t^2} \cdot \Phi(t)$ を満たし、その $g$ 階微分、$(g+1)$ 階微分、$(g+2)$ 階微分が genus $g$ の関係イデアルを生成する。
• Poincaré双対性と交線型ペアリングを用いた帰納的議論により、中間次元までに生成子の線形独立性が証明され、Newsteadのベッチ数の公式と正確に一致する。
• 従来の手法に比べ、技術的により単純で洞察に富んだ代替手法を提供し、量子コホロロジー、Donaldson不変量、インスタントン Floer homology への応用が期待される。