[论文解读] 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

一句话总结

本文提出了三種不同的方法——有限域上的點計數、對稱群 Σₙ 的表示理論，以及邊界幾何——用於檢測穩定曲線模空間 Ḟ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 中邊界幾何之間的聯繫。
• 提供非平凡上同調類具有霍奇類型的具體證據，特別是在高標記數的虧格 2 中。
• 將點計數數據與猜想的上同調公式聯繫起來，並驗證其與表示理論約束的一致性。

提出的方法

• 透過有限域 Fq 上的點計數，利用Lefschetz不動點公式提取上同調資訊，將計數結果與低虧格下的橢圓與Siegel模形式聯繫起來。
• 應用 Σₙ 的表示理論來研究其在上同調上的作用，特別著重於限制平凡環中不可約表示的長度。
• 利用邊界幾何，透過分析粘合映射與邊界 strata 上的交點理論，構造具體的非平凡上同調類。
• 使用Künneth分解來檢測非平凡上同調類，方法為證明某些分量在上同調中非平凡。
• 分析遺忘映射下平凡類的推出，以建立不同模空間之間上同調類的關聯。
• 建立邊界構造與表示理論數據之間的聯繫，方法為證明上同調中誘導的 Σₙ-模超過了平凡類所允許的最大長度。

实验结果

研究问题

• RQ1 在 M̄g,n 中，有限域上的點計數能否揭示非平凡上同調類？其與模形式有何關聯？
• RQ2 對稱群表示對平凡環結構有何約束？它們如何用於檢測非平凡上同調類？
• RQ3 能否透過邊界幾何在 M̄g,n 中構造出具體的霍奇類型非平凡上同調類，特別是在虧格 2 中？
• RQ4 表示理論的長度約束與 M̄g,n 的上同調結構之間是否存在一致的關聯，特別是在高 n 時？
• RQ5 M̄₂,₂₁ 與 M̄₂,₂₀ 中的邊界循環在多大程度上產生非平凡上同調類？它們與對稱群表示有何關係？

主要发现

• 透過邊界幾何，在 H¹²,¹²(Ḿ₂,₂₁) 中構造出一個非平凡上同調類，具體來自於某個粘合映射下對角循環 ∆₁₁ 的推出。
• 在 H¹²,¹²(Ḿ₂,₂₀) 中，類 ι_*[∆₁₁] 透過證明其Künneth分量在上同調中非平凡，從而被證實為非平凡。
• 確立了 R*(Ḿg,n) 中平凡類的表示理論長度約束，並證明 M̄₂,₂₁ 中的該類超過此約束，從而確認其非平凡性質。
• 類 ι_L*Γ_L 在 H¹²,¹²(Ḿ₂,₂₁) 中生成一個 Σ₂₁-模 V，其包含不可約表示 [3 2^i 1^{18−2i}] 和 [2^j 1^{21−2j}]，而這些表示長度過長，無法為平凡類。
• 利用推出關係 π_*ψ_r·(ι_L*∆_L + ι_R*∆_R) = 22·ι_*[∆₁₁]，證明 ι_*[∆₁₁] 在 M̄₂,₂₀ 中為平凡類，當且僅當 M̄₂,₂₁ 中兩項邊界類之和為平凡。
• 誘導表示 ˜V = Ind^{Σ₂₁}_{Σ₁₀×Σ₁₀}(α⊗α) 分解為不可約分量，其與 H¹²,¹²(Ḿ₂,₂₁) 中特定類所張成的上同調子空間相符，暗示存在從 ˜V 到該上同調類的典型投影。