[論文レビュー] A non-vanishing result for the tautological ring of {\cal M}_g

Carel Faber|arXiv (Cornell University)|Nov 3, 1997

Advanced Differential Equations and Dynamical Systems被引用数 22

ひとこと要約

本論文は、Wittenの予想（Kontsevichにより証明済み）と曲線のモジュライ空間 $χ_g$ における交差理論を用いて、 genus $g$ の曲線のモジュライ空間 $χ_g$ におけるタウトロジカルクラス $κ_{g-2}$ の消滅しないことを確立する。生成関数とKdV階層を用いたチャーン類および $ψ$-類の分析を通じて、著者らは $κ_{g-2}$ が非ゼロであることを証明し、$χ_g$ のタウトロジカル環に関するファーバー予想の重要なケースを解決する。この結果は、モジュライ空間の代数的幾何学における中心的予測を裏付ける。

ABSTRACT

Looijenga recently proved that the tautological ring of M_g vanishes in degree d>g-2 and is at most one-dimensional in degree g-2, generated by the class of the hyperelliptic locus. Here we show that K_{g-2} is non-zero on M_g. The proof uses the Witten conjecture, proven by Kontsevich. With similar methods, we expect to be able to prove some (possibly all) of the identities in degree g-2 in the tautological ring that are part of the author's conjectural explicit description of the ring.

研究の動機と目的

• タウトロジカル環のファーバー予想的記述におけるキーケースを解消するため、$κ_{g-2}$ の非ゼロ性を証明すること。
• $ψ$-類と $κ$-類を含む交差数を用いて、$χ_g$ のタウトロジカル環における非自明な恒等式を確立すること。
• Witten-Kontsevichの $ψ$-類の交差理論およびKdV階層が、タウトロジカル環に関する深い幾何的結果を導出可能であることを示すこと。
• $κ_{g-2}$ が $H^{2g-4}(\mathcal{M}_g, \mathbb{Q})$ で非ゼロであることを証明し、曲線のモジュライ空間の研究における予測を確認すること。

提案手法

• Witten-Kontsevichの交差理論、特に $ψ$-類の交差数の生成関数を用いて、タウトロジカル交差数を計算する。
• Mumfordの恒等式（ホッジ bundle のチャーン類と $κ$-類、$ψ$-類の関係）を適用する。
• 生成関数 $D(w,z) = \langle \kappa_0 \kappa(w)\kappa(z) \rangle$ に対するKdV方程式を用いて、三点関数の微分方程式を導出する。
• Dijkgraafの公式 $\langle \kappa_0 \kappa(w)\kappa(z) \rangle = \exp\left(\frac{z^2}{2}\right) \sum_{n\geq 0} \frac{n!}{(2n+1)!} \left(\frac{wz}{w+z}\right)^n$ を用いて係数を計算する。
• Witten-Kontsevichの公式から導かれる恒等式 $\kappa_{g-2} \cdot \kappa_g = \frac{|B_{2g}|}{(2g)!} \cdot \frac{g!}{(g-2)!}$ に依存して、消滅しないことを示す。
• $\partial \mathcal{M}_g$ での $\kappa_g \cdot \kappa_{g-2}$ の消滅と、交差数の非ゼロ性を組み合わせることで、$\kappa_{g-2}$ が $\mathcal{M}_g$ で非ゼロであることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 タウトロジカルクラス $\kappa_{g-2}$ は $H^{2g-4}(\mathcal{M}_g, \mathbb{Q})$ で非ゼロか？
• RQ2 Witten-Kontsevichの交差理論は、$χ_g$ のタウトロジカル環における恒等式を証明するために用いられるか？
• RQ3 $\kappa_{g-2}$ の非ゼロ性は、タウトロジカル環に関するファーバー予想の予測を確認するか？
• RQ4 $\mathcal{M}_g$ における正確な交差数 $\kappa_{g-2} \cdot \kappa_g$ は何か？
• RQ5 ホッジ bundle のチャーン類と $ψ$-類は、タウトロジカル環内でどのように作用するか？

主な発見

• $\kappa_{g-2}$ は、交差数 $\kappa_{g-2} \cdot \kappa_g$ の非ゼロ性により、$H^{2g-4}(\mathcal{M}_g, \mathbb{Q})$ で非ゼロである。
• $\kappa_{g-2} \cdot \kappa_g = \frac{|B_{2g}|}{(2g)!} \cdot \frac{g!}{(g-2)!}$ であり、$B_{2g}$ は $2g$ 番目のベルヌーイ数である。
• ホッジ bundle のチャーン類 $\mathrm{ch}_{2g}(E)$ は次数 $2g$ で消え、$\kappa_g \cdot \kappa_{g-2}$ は境界 $\partial \mathcal{M}_g$ で消える。
• 恒等式 $\kappa_{g-2} \cdot \kappa_g = \frac{|B_{2g}|}{(2g)!} \cdot \frac{g!}{(g-2)!}$ は、Witten-Kontsevichの公式とDijkgraafの生成関数から導出される。
• 生成関数 $\langle \kappa_0 \kappa(w)\kappa(z) \rangle$ はKdV階層から導かれる微分方程式を満たし、その解は与えられた式と一致する。
• $\kappa_{g-2}$ の非ゼロ性は、$B_{2g}$ の非ゼロ性と導出された交差数の正の性質から導かれる。