[論文レビュー] Tautological and non-tautological cohomology of the moduli space of curves

Faber, C., Rahul Pandharipande|arXiv (Cornell University)|Jan 28, 2011

Algebraic Geometry and Number Theory参考文献 46被引用数 25

ひとこと要約

本稿は、有限体上の点数え、対称群 Σₙ の表現論、境界幾何学の3つの異なる手法を用いて、安定曲線のモジュライ空間 Ḟg,n における非自明なコホロロジー類の検出を提案する。主な貢献は、境界サイクルから生じる H¹²,¹²(Ḿ₂,₂₁) に属する明示的な非自明なクラスの同定であり、表現論的長さの上限を用いて確認された。これは、自己同型的でないコホロロジーの構造に関する長年の謎を解きほぐすものである。

ABSTRACT

After a short exposition of the basic properties of the tautological ring of the moduli space of genus g Deligne-Mumford stable curves with n markings, we explain three methods of detecting non-tautological classes in cohomology. The first is via curve counting over finite fields. The second is by obtaining length bounds on the action of the symmetric group S_n on tautological classes. The third is via classical boundary geometry. Several new non-tautological classes are found.

研究の動機と目的

• 安定曲線のモジュライ空間 M̄g,n における非自明なコホロロジー類を検出するための新規手法の開発と応用。
• 自己同型的でないコホロロジーの構造——特によく理解された自己同型的リーマン環の外側に位置する——という長年の謎を解明すること。
• M̄g,n の文脈において、コホロロジー的検出、モジュラー形式、対称群の表現、境界幾何学との関係を確立すること。
• 特に genus 2 でマーク数が大きい場合における、ホッジ型の非自明なコホロロジー類の存在を明確に示すこと。
• 点数えのデータと予想されるコホロロジーの公式の整合性を確認し、表現論的制約と整合すること。

提案手法

• 低 genus における楕円およびシーゲルモジュラー形式と関連する、Lefschetz 固定点公式を用いて有限体 Fq 上での点数えからコホロロジー的情報を抽出する。
• Σₙ の表現論を応用し、コホロロジーへの作用を研究し、自己同型的リーマン環における既約表現の長さの上限を特定する。
• 境界幾何学を用いて、接合写像と境界ストラタ上の交線論を分析し、明示的な非自明なコホロロジー類を構成する。
• Künneth 分解を用いて、特定の成分がコホロロジーにおいて自己同型的でないことを示すことにより、非自明なクラスを検出する。
• 忘れ去り写像における自己同型的クラスの押し出しを分析し、異なるモジュライ空間間のコホロロジー類を関連付ける。
• 境界構成と表現論的データの関係を確立し、コホロロジーに誘導される Σₙ-加群が、自己同型的クラスに許容される最大長を超えていることを示す。

実験結果

リサーチクエスチョン

• RQ1 有限体 Fq 上での点数えは、M̄g,n における非自明なコホロロジー類を明らかにできるか？また、これはモジュラー形式とどのように関係するか？
• RQ2 対称群 Σₙ の表現は、自己同型的リーマン環の構造にどのような制約を課し、非自明なクラスを検出可能にするか？
• RQ3 境界幾何学を用いて、特に genus 2 において、ホッジ型の明示的非自明なコホロロジー類を構成できるか？
• RQ4 高次の n に対して、表現論的長さの上限と M̄g,n のコホロロジー構造との一貫性はどの程度保たれるか？
• RQ5 M̄₂,₂₁ および M̄₂,₂₀ の境界サイクルは、非自明なクラスを生成するか？また、それらは対称群の表現とどのように関係するか？

主な発見

• 境界幾何学を用いて、M̄₂,₂₁ における H¹²,¹²(Ḿ₂,₂₁) に属する非自明なクラスが、接合写像による対角サイクル ∆₁₁ の押し出し ι_*[∆₁₁] として構成された。
• M̄₂,₂₀ におけるクラス ι_*[∆₁₁] は、Künneth 成分がコホロロジーにおいて自己同型的でないことを示すことにより、非自明であることが証明された。
• 自己同型的リーマン環 R*(Ḿg,n) における自己同型的クラスの表現論的長さの上限が確立され、M̄₂,₂₁ におけるクラスがこの上限を超えることが示され、非自明性が確認された。
• M̄₂,₂₁ におけるクラス ι_L*Γ_L は、Σ₂₁-加群 V を生成し、その中に [3 2^i 1^{18−2i}] および [2^j 1^{21−2j}] という既約表現が含まれている。これらは自己同型的クラスとして許容される長さを超えている。
• 押し出し関係 π_*ψ_r·(ι_L*∆_L + ι_R*∆_R) = 22·ι_*[∆₁₁] を用いて、M̄₂,₂₀ における ι_*[∆₁₁] が自己同型的であることは、M̄₂,₂₁ における二つの境界クラスの和が自己同型的であることと同値であることを示した。
• 誘導表現 ˜V = Ind^{Σ₂₁}_{Σ₁₀×Σ₁₀}(α⊗α) は、H¹²,¹²(Ḿ₂,₂₁) における特定のクラスが張るコホロロジー部分空間に一致する既約成分に分解され、˜V からコホロロジークラスへの標準的射影が存在する可能性を示唆した。