[论文解读] Cohomology of the second Voronoi compactification of A_4

Klaus Hulek, Orsola Tommasi|arXiv (Cornell University)|Mar 31, 2011

Algebraic Geometry and Number Theory参考文献 26被引用 3

一句话总结

本文计算了主极化阿贝尔四倍体模空间的第二Voronoi紧化与完美锥紧化在度数不超过9的贝蒂数，第二Voronoi紧化除外其中间贝蒂数 $b_{10}$。通过谱序列和按恒定环面秩分层的半阿贝尔簇，作者利用局部系统与权重滤子分析确定了上同调结构，建立了与 $χ(χ_4)$ 欧拉示性数的关键联系。

ABSTRACT

In this paper we compute the cohomology groups of the second Voronoi compactification of the moduli space of abelian fourfolds in all degrees with the exception of the middle degree 10. We also compute the cohomology groups of the perfect cone compactification in degree < 10. The main tool is the investigation of the strata of the compactification corresponding to semi-abelic varieties with constant torus rank.

研究动机与目标

• 计算 $\mathcal{A}_4$ 的第二Voronoi紧化与完美锥紧化在度数 $\leq 9$ 的贝蒂数。
• 在中间贝蒂数 $b_{10}$ 之前确定 $χ_4^{\mathrm{Vor}}$ 的上同调，将问题简化为计算 $χ_4$ 的欧拉示性数。
• 利用局部系统与谱序列分析恒定环面秩的半阿贝尔簇分层的上同调。
• 建立 $χ_4^{\mathrm{Vor}}$ 的上同调与 $χ_4$ 欧拉示性数之间的联系，该问题目前仍为开放问题。

提出的方法

• 作者使用收敛于第二Voronoi紧化 $χ_4^{\mathrm{Vor}}$ 上同调的谱序列，基于环面秩的分层。
• 他们分析了对应于恒定环面秩的半阿贝尔簇分层的上同调，特别关注边界分量及其贡献。
• 使用 $χ_g$ 上的局部系统 $π_{\lambda}$ 计算紧支集上同调，特别是 $π_{1,1,0}$ 与 $π_{2,2}$。
• 通过格罗滕迪克群技巧与欧拉示性数的可加性，分析上同调群上的权重滤子。
• 应用Gysin长正合列于闭包含如 $χ_3^{\mathrm{red}} \subset \u03c7_3$，以关联各分层的上同调。
• 利用庞加莱对偶性与拉古南塔南刚性定理约束非零上同调度数，尤其在低度与高度数中。

实验结果

研究问题

• RQ1 第二Voronoi紧化 $χ_4^{\mathrm{Vor}}$ 在度数 $\leq 9$ 的贝蒂数（排除 $b_{10}$）是多少？
• RQ2 $χ_4^{\mathrm{perf}}$ 的上同调与 $χ_4^{\mathrm{Vor}}$ 的上同调相比如何，尤其在低度数时？
• RQ3 恒定环面秩的半阿贝尔簇分层对 $χ_4^{\mathrm{Vor}}$ 总上同调的贡献是什么？
• RQ4 能否利用 $χ_3$ 与 $χ_2$ 上局部系统如 $π_{1,1,0}$ 与 $π_{2,2}$ 的上同调来确定 $χ_4^{\mathrm{Vor}}$ 的上同调？
• RQ5 $χ_4$ 的欧拉示性数如何与 $χ_4^{\mathrm{Vor}}$ 的未知中间贝蒂数 $b_{10}$ 相关联？

主要发现

• $χ_4^{\mathrm{perf}}$ 在所有度数 $\leq 9$ 的贝蒂数均已完全确定，无例外。
• $χ_4^{\mathrm{Vor}}$ 在所有度数 $\leq 9$ 的贝蒂数均已计算，仅中间贝蒂数 $b_{10}$ 未知。
• $χ_3$ 上系数为 $π_{1,1,0}$ 的紧支集上同调仅在度数5、8与9非零，其中 $H_c^5(\mathcal{A}_3; \mathbb{V}_{1,1,0}) = \mathbb{Q}(-1)$，且 $H_c^8(\mathcal{A}_3; \mathbb{V}_{1,1,0}) \cong H_c^9(\mathcal{A}_3; \mathbb{V}_{1,1,0}) = \mathbb{Q}(-4)^{\oplus \epsilon}$，$\epsilon \in \{0,1\}$。
• $χ_2$ 上系数为 $π_{2,2}$ 的紧支集上同调仅在度数3与4非零，且这些群的权重滤子的分次部分彼此同构。
• $χ_2$ 上系数为 $π_{2,2}$ 的上同调在所有度数中仅在3与4非零，且在格罗滕迪克上同调结构群中的欧拉示性数为零。
• $χ_4^{\mathrm{Vor}}$ 上同调的计算归结为确定 $χ_4$ 的欧拉示性数，而该值目前不可及，原因在于 $σπ(8,\mathbb{Z})$ 中扭元素的完整分类尚不明确。