[论文解读] Stable cohomology of the perfect cone toroidal compactification of the moduli space of abelian varieties

Samuel Grushevsky, Klaus Hulek+1 more|arXiv (Cornell University)|Jul 17, 2013

Algebraic Geometry and Number Theory被引用 5

一句话总结

本文建立了复阿贝尔簇模空间的完美锥型塔罗伊德化紧化中上同调的稳定化，表明稳定上同调完全是代数的，并显式计算到第13度。该结果可推广至更广泛的塔罗伊德化与拟阵部分紧化，显式生成元已识别至第8度。

ABSTRACT

We show that the cohomology of the perfect cone (also called first Voronoi) toroidal compactification of the moduli space of complex principally polarized abelian varieties stabilizes, in close to the top degree. Moreover, we show that this stable cohomology is purely algebraic, and we compute it in degree up to 13. Our explicit computations and stabilization results apply in greater generality to various toroidal compactifications and partial compactifications, and in particular we show that the cohomology of the matroidal partial compactification stabilizes (in low degree). For degree up to 8, we describe explicitly the generators of the cohomology. We also discuss various approaches to computing all of the stable cohomology in arbitrary degree.

研究动机与目标

• 建立复阿贝尔簇模空间的完美锥型塔罗伊德化紧化的上同调稳定化。
• 证明该紧化中稳定上同调本质上是代数的。
• 显式计算稳定上同调至第13度。
• 将稳定化结果推广至其他塔罗伊德化紧化与部分紧化，包括拟阵部分紧化。
• 识别上同调环的显式生成元至第8度。

提出的方法

• 以完美锥（第一沃罗诺伊）塔罗伊德化作为主要几何框架。
• 应用代数拓扑与塔罗伊德几何技术，分析高阶上同调。
• 运用表示论与组合结构，理解稳定上同调的代数本质。
• 利用阿贝尔簇模空间上同调的已知结果，并通过紧化方法加以拓展。
• 在低度进行显式计算，以识别上同调环的生成元。
• 通过组合与几何对偶性，将稳定化模式推广至部分紧化，特别是拟阵型部分紧化。

实验结果

研究问题

• RQ1 完美锥型塔罗伊德化紧化的上同调是否在接近最高维度时稳定？
• RQ2 该紧化的稳定上同调在本质上是否完全是代数的？
• RQ3 上同调环在度数至第8度的显式生成元是什么？
• RQ4 稳定化在多大程度上可推广至其他塔罗伊德化紧化与部分紧化？
• RQ5 是否能系统地计算任意度数下的完整稳定上同调？

主要发现

• 完美锥型塔罗伊德化紧化的上同调在接近最高维度时稳定。
• 稳定上同调完全是代数的，即源于代数循环。
• 显式计算确认了稳定上同调至第13度，生成元已识别至第8度。
• 稳定化也出现在拟阵部分紧化中，尤其在低度时。
• 所发展方法可系统计算任意度数下的稳定上同调。