[論文レビュー] Strebel differentials on stable curves and Kontsevich's proof of Witten's conjecture

Dimitri Zvonkine|ArXiv.org|Sep 6, 2002

Algebraic Geometry and Number Theory参考文献 10被引用数 38

ひとこと要約

本稿は、安定曲線上の連続的族のStrebel微分形式を確立し、ノードを持つリーマン面へのStrebelの定理の一般化を達成し、KontsevichによるWitten予想の証明の厳密な基礎を提供する。特に、交点数を計算する際のセル複体と区分的滑らか微分形式の役割を明確にした。

ABSTRACT

We define Strebel differentials for stable complex curves, prove the existence and uniqueness theorem that generalizes Strebel's theorem for smooth curves, prove that Strebel differentials form a continuous family over the moduli space of stable curves, and show how this construction can be applied to clarify a delicate point in Kontsevich's proof of Witten's conjecture.

研究の動機と目的

• Kontsevichによる安定曲線のモジュライ空間上のラインバンドルの交点数に関する証明における微妙なギャップを解消すること。
• 滑らかな曲線から安定（ノード付き）曲線へのStrebelの二次微分形式理論の拡張を行い、所定の周囲 $p_1, \dots, p_n$ を持つ微分形式の存在および一意性を証明すること。
• モジュライ空間のDeligne-Mumfordコンパクト化上でのStrebel微分形式の族の連続性を確立すること。
• セル複体上の区分的滑らか微分形式を用いてチャーン類を計算する際の幾何学的および位相的根拠を提示すること。
• セル分解の位相的同相性に関する新しい証明を提示し、コンパクト化されたモジュライ空間と商空間 $K\overline{\mathcal{M}}_{g,n}$ 間の関係を明確にすること。

提案手法

• 双対化線束を用いて安定曲線上のStrebel微分形式を定義し、残留部と実周期に条件を課して、所定の周囲 $p_1, \dots, p_n$ を持つ一意な微分形式の存在を保証する。
• このような微分形式の割り当てが、モジュライ空間 $\overline{\mathcal{M}}_{g,n}$ 上で連続的セクションをなすことを証明し、滑らかな曲線に対する古典的結果を拡張する。
• 安定リボングラフと辺の長さをパラメータとするコンパクトなハウスドルフ位相的オーロンフォイド $K\overline{\mathcal{M}}_{g,n}$ を構成する。
• $K\overline{\mathcal{M}}_{g,n} \times \mathbb{R}_{+}^n$ とセル複体 $A$ 間の位相的同相性を、$\mathbb{R}_{+}^n$ への区分的アフィン射影を用いて確立する。
• 各ファイバーが円に位相的に同相である、双対線束 $\mathcal{L}_i^*$ の球面化としての円被覆 $\mathcal{B}_i$ を定義する。
• $\mathcal{B}_i$ 上の区分的滑らか1形式 $\alpha$ を定義し、各ファイバー上での積分が $-1$ となるようにし、$d\alpha$ が $A$ 上の2形式 $\omega$ に引き戻されることを示し、$\omega$ が $\mathcal{B}_i$ の第一チャーン類を表すことを示す。

実験結果

リサーチクエスチョン

• RQ1 ノードを持つ安定曲線へStrebel微分形式を拡張可能か？ また、Deligne-Mumfordコンパクト化上でのデリゲート・コンパクト化に沿って連続的族を形成するか？
• RQ2 Strebel微分形式による $\mathcal{M}_{g,n} \times \mathbb{R}_{+}^n$ のセル分解が、コンパクト化されたモジュライ空間へどのように拡張されるか？
• RQ3 商空間 $K\overline{\mathcal{M}}_{g,n}$ とDeligne-Mumfordコンパクト化との間の明確な位相的および幾何学的関係は何か？
• RQ4 セル複体上の区分的滑らか微分形式が、交点理論におけるチャーン類をどのように正しく表現するのか？
• RQ5 Kontsevichが滑らかでないセル複体上で曲率形式を用いた手法をどのように厳密に正当化できるか？

主な発見

• 所定の周囲 $p_1, \dots, p_n$ を持つStrebel微分形式は、任意の安定曲線上に存在し、一意的である。これは滑らかな曲線に対する古典的定理の一般化である。
• このような微分形式の族は、$\overline{\mathcal{M}}_{g,n}$ 上の二次微分形式のベクトルバンドルの連続的セクションをなしており、位相的整合性を保証する。
• $K\overline{\mathcal{M}}_{g,n} \times \mathbb{R}_{+}^n$ はセル複体 $A$ と位相的同相であり、$\mathbb{R}_{+}^n$ への区分的アフィン射影を持つ。これはKontsevichの証明における主要な技術的ギャップを解消する。
• 円被覆 $\mathcal{B}_i$ 上の1形式 $\alpha$ はファイバー上での積分が $-1$ であり、その外微分 $d\alpha = \omega$ は $A$ 上の2形式に引き戻され、$\mathcal{B}_i$ の第一チャーン類を表す。
• $\int_{\overline{\mathcal{M}}_{g,n}} c_1(\mathcal{L}_1)^{d_1} \cdots c_1(\mathcal{L}_n)^{d_n}$ の交点数は、$A_\mathbf{p}$ の高次元セル上で $\omega_1^{d_1} \cdots \omega_n^{d_n}$ の積分として計算され、これにより定理1が証明された。
• 多面体複体とその準同型の枠組みにより、曲率形式によるチャーン類の一貫的定義が可能となり、滑らかでない構造の欠如下でもKontsevichの区分的滑らか形式の使用が正当化された。