[論文レビュー] Cohomology of moduli spaces

Frances Kirwan|ArXiv.org|May 24, 2003

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

ひとこと要約

この論文は、曲線のモジュライ空間およびそのコンパクト化のコhomologyについて包括的なサーベイを提供し、ムーディの$\kappa$類によって生成されるタウトロジカル・リングに焦点を当てる。数十年にわたる研究を統合し、マドセン＝ウイスのホモトピー同値性によるムーディ予想の証明といった重要な進展を強調するとともに、安定写像やベクトル束を含む関連モジュライ空間についても言及し、グロモフ＝ウィッテン理論や数え上げ幾何学との深い関係を強調する。

ABSTRACT

Some recent progress towards understanding the cohomology of moduli spaces of curves is described. Madsen and Weiss have given a proof of a generalisation of Mumford's conjecture on the stable cohomology of these moduli spaces M_g, and other contributors have made advances related to Faber's conjectures on the tautological ring of M_g.

研究の動機と目的

• 曲線のモジュライ空間$\mathcal{M}_g$およびそのコンパクト化のコhomologyに関する知識の状態を統合的かつ明確化すること。
• 特にムーディ予想との関係において、$\mathcal{M}_g$の有理コhomologyを理解するうえでタウトロジカル・リングが果たす意義を説明すること。
• $\mathcal{M}_g$のコhomologyを、安定写像$\overline{\mathcal{M}}_{g,n}(X,\beta)$およびベクトル束のモジュライといったより広範な幾何的・位相的構造と結びつけること。
• マドセン＝ウイスによるムーディ予想の証明といった最近のブレークスルーと、それらが安定コhomologyおよびタウトロジカル関係に与える影響を強調すること。
• 特に幾何的不変量理論および局所化技法が曲線のモジュライに応用可能である可能性について、未解決問題と今後の方向性を概説すること。

提案手法

• ムーディによるタウトロジカル類$\kappa_j$の定義および$\overline{\mathcal{M}}_g$への拡張を含む、代数幾何学における基礎的結果のサーベイ。
• ハラの安定性定理を用いた、安定コhomology環$H^*(\mathcal{M}_\infty;\mathbb{Q})$の分析。この定理により、$g \gg k$のとき$H^k(\mathcal{M}_g;\mathbb{Q})$が安定することが示される。
• マドセン＝ティルマンによるムーディ写像のホモトピー論的解釈を提示し、後にマドセンとウイスによってホモトピー同値であることが証明されたことを述べる。
• ファーバーの予想（タウトロジカル・リングの構造に関するもの）をレビュー。特に、期待されるポincare双対性および$\kappa_1, \dots, \kappa_{[g/3]}$による生成、低次の次数では関係がないこと。
• $\overline{\mathcal{M}}_{g,n}$および$\overline{\mathcal{M}}_{g,n}(X,\beta)$へのタウトロジカル枠組みの拡張を行い、ウィッテンの予想およびグロモフ＝ウィッテン不変量と結びつける。
• ベクトル束のモジュライ$\mathcal{B}_\Sigma(r,d)$に関するコhomological結果のサーベイ。特に、 torsion-free性、生成子、交差対合について、特に$\gcd(r,d)=1$の場合に焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 有理コhomology$H^*(\mathcal{M}_g;\mathbb{Q})$におけるタウトロジカル・リングの構造は何か？ そして、安定コhomology環$H^*(\mathcal{M}_\infty;\mathbb{Q})$とはどのように関係しているか？
• RQ2 曲線$\mathcal{M}_g$のタウトロジカル・リングは、どの程度$\kappa_j$類によって生成されており、それらの間の完全な関係式は何か？
• RQ3 マドセン＝ウイスの定理は、安定コhomologyが$\kappa_j$類によって自由に生成されることを、ムーディ予想が正当化することをどのように確認するか？
• RQ4 安定写像のモジュライ空間$\overline{\mathcal{M}}_{g,n}(X,\beta)$を通じて、$\mathcal{M}_g$のタウトロジカル・コhomologyとグロモフ＝ウィッテン理論との関係は何か？
• RQ5 ベクトル束のモジュライ空間$\mathcal{B}_\Sigma(r,d)$のコhomologyおよび交差理論は、$\mathcal{M}_g$およびそのコンパクト化のそれらとどのように関係しているか？

主な発見

• 安定コhomology環$H^*(\mathcal{M}_\infty;\mathbb{Q})$は多項式環$\mathbb{Q}[\kappa_1, \kappa_2, \dots]$に同型であり、マドセン＝ウイスによるマドセン＝ティルマンホモトピー同値性の証明を通じてムーディ予想が確認された。
• ファーバーの予想は、$\mathcal{M}_g$のタウトロジカル・リングが次元$g-2$のゴレンシュタイン環であり、$\kappa_1, \dots, \kappa_{[g/3]}$によって生成され、次数$\leq [g/3]$では関係がないと予想している。
• モリタは、$\mathcal{M}_g$の有理コhomologicalタウトロジカル・リングが実際に$\kappa_1, \dots, \kappa_{[g/3]}$によって生成されることを証明し、ファーバーの予想を支持した。
• $r,d$が互いに素である場合、$\mathcal{B}_\Sigma(r,d)$のコhomologyは torsion-free であり、完全な生成子および交差対合を備えており、ベッチ数および関係式について明示的な公式が存在する。
• $r$と$d$が互いに素でない場合、トーリル群の$H^*(\mathcal{B}_\Sigma(r,d);\mathbb{Q})$への作用は非自明であり、構造を複雑にするが、$\overline{\mathcal{B}}_\Sigma(r,d)$の交差コhomologyおよび$\tilde{\mathcal{B}}_\Sigma(r,d)$のコhomologyは十分に研究されている。
• 安定写像のモジュライ空間$\overline{\mathcal{M}}_{g,n}(X,\beta)$はグロモフ＝ウィッテン理論の中心的役割を果たし、ギヴェンタルによる$\mathbb{P}^n$におけるバーラソロ予想の証明は、既知の関係を通じてファーバーの予想の一部を示唆している。