[論文レビュー] 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

ひとこと要約

本論文は、複素 principally polarized abelian variety のmoduli space の perfect cone toroidal compactification における層係数コホモロジーの安定化を確立し、安定コホモロジーが完全に代数的であることを示し、次数13まで明示的に計算している。結果はより広いクラスのtoroidalおよびmatroidal partial compactification に拡張可能であり、次数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.

研究の動機と目的

• 複素 principally polarized abelian variety のmoduli space のperfect cone toroidal compactification におけるコホモロジーの安定化を確立すること。
• このcompactification における安定コホモロジーが本質的に代数的であることを示すこと。
• 次数13までに安定コホモロジーを明示的に計算すること。
• 安定化結果を他のtoroidal compactification およびpartial compactification に拡張すること、特にmatroidal partial compactification を含むこと。
• 次数8までにコホモロジールーブの明示的生成子を同定すること。

提案手法

• 主に幾何的枠組みとしてperfect cone（最初のVoronoi）toroidal compactification を用いる。
• 高次のコホモロジーを解析するため、代数的トポロジーおよびtoroidal幾何の技法を適用する。
• 表現論と組合せ構造を用いて、安定コホモロジーの代数的性質を理解する。
• abellian variety のmoduli space のコホモロジーに関する既知の結果を用い、コンパクト化手法を用いてそれらを拡張する。
• 低次の明示的計算を通じて、コホモロジールーブの生成子を同定する。
• 組合せ論的および幾何的双対性を用いて、一般化された安定化パターンをpartial compactification に拡張する、特にmatroidal なものに焦点を当てる。

実験結果

リサーチクエスチョン

• RQ1 perfect cone toroidal compactification のコホモロジーは、ほぼ最大次元に近い次数で安定化するか？
• RQ2 このcompactification の安定コホモロジーは、本質的に代数的であるか？
• RQ3 次数8までにコホモロジールーブの明示的生成子は何か？
• RQ4 安定化は、他のtoroidal compactification およびpartial compactification にどの程度まで拡張可能か？
• RQ5 任意の次数における完全な安定コホモロジーを体系的に計算できるか？

主な発見

• perfect cone toroidal compactification のコホモロジーは、ほぼ最大次元に近い次数で安定化する。
• 安定コホモロジーは完全に代数的であり、代数的サイクルから生じる。
• 明示的計算により、次数13までに安定コホモロジーが確認され、次数8までに生成子が特定された。
• matroidal partial compactification においても安定化が成立し、特に低次の次数で顕著である。
• 開発された手法により、任意の次数における安定コホモロジーの体系的計算が可能である。