[논문 리뷰] Cohomology of the second Voronoi compactification of A_4

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

Algebraic Geometry and Number Theory참고 문헌 26인용 수 3

한 줄 요약

이 논문은 주로 극형화된 아벨 4차원의 모듈리 공간의 두 번째 바르노이 및 퍼펙트 콘 컴팩티피케이션의 베티 수를 차수 9 이하까지 계산한다. 다만 두 번째 바르노이 컴팩티피케이션의 중간 베티 수 $b_{10}$를 제외하고는 모두 계산한다. 스펙트럴 시퀀스와 일정한 토르스 랭크를 가진 반아벨리안 다양체로 구성된 컴팩티피케이션의 분할을 이용하여, 국소 시스템과 무게 필터링 분석을 통해 코homology의 구조를 규명하고, 이는 $\mathcal{A}_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$에 대해 차수 $\leq 9$ 범위 내에서 베티 수를 계산하는 것.
• 중간 베티 수 $b_{10}$까지의 $\mathcal{A}_4^{\mathrm{Vor}}$의 코homology를 규명하여 문제를 $\mathcal{A}_4$의 오일러 특성 계산으로 환원하는 것.
• 일정한 토르스 랭크를 가진 반아벨리안 다양체의 스트라타에 대해 국소 시스템과 스펙트럴 시퀀스를 이용한 코homology 분석을 수행하는 것.
• $\mathcal{A}_4^{\mathrm{Vor}}$의 코homology와 $\mathcal{A}_4$의 오일러 특성 간의 연결 고리를 확립하는 것. 이는 아직 미해결 문제이다.

제안 방법

• 저자들은 토르스 랭크에 따른 분할을 기반으로, 두 번째 바르노이 컴팩티피케이션 $\mathcal{A}_4^{\mathrm{Vor}}$의 코homology로 수렴하는 스펙트럴 시퀀스를 사용한다.
• 특히 경계 성분과 그 기여도에 중점을 두어 일정한 토르스 랭크를 가진 반아벨리안 다양체에 해당하는 스트라타의 코homology를 분석한다.
• 특히 $\mathbb{V}_{1,1,0}$과 $\mathbb{V}_{2,2}$를 포함한 $\mathcal{A}_g$ 위의 국소 시스템 $\mathbb{V}_{\lambda}$를 사용하여 컴팩트 지지 코homology를 계산한다.
• 코homology 군의 무게 필터링은 그로텐디크 군 기법과 오일러 특성의 덧셈성질을 통해 분석된다.
• 폐쇄 포함 사상 $\mathcal{A}_3^{\mathrm{red}} \subset \mathcal{A}_3$ 등의 Gysin 장점 정렬을 적용하여 스트라타의 코homology를 연결한다.
• 포incare dualit 및 라그누탄 반영성 정리(정리)를 활용하여 비영인 코homology 차수의 제약을 가로막으며, 특히 저차수 및 고차수에서의 영향을 분석한다.

실험 결과

연구 질문

• RQ1 두 번째 바르노이 컴팩티피케이션 $\mathcal{A}_4^{\mathrm{Vor}}$의 차수 $\leq 9$ 범위 내에서의 베티 수는 무엇인가? (단, $b_{10}$는 제외).
• RQ2 $\mathcal{A}_4^{\mathrm{perf}}$의 코homology는 $\mathcal{A}_4^{\mathrm{Vor}}$와 비교해 볼 때, 특히 저차수에서 어떻게 다를까?
• RQ3 일정한 토르스 랭크를 가진 반아벨리안 다양체의 스트라타가 $\mathcal{A}_4^{\mathrm{Vor}}$의 총 코homology에 기여하는 정도는 어떠한가?
• RQ4 $\mathcal{A}_3$ 및 $\mathcal{A}_2$에서의 국소 시스템 $\mathbb{V}_{1,1,0}$과 $\mathbb{V}_{2,2}$의 코homology 계산을 통해 $\mathcal{A}_4^{\mathrm{Vor}}$의 코homology를 규명할 수 있는가?
• RQ5 $\mathcal{A}_4$의 오일러 특성은 여전히 알려지지 않은 $\mathcal{A}_4^{\mathrm{Vor}}$의 중간 베티 수 $b_{10}$와 어떻게 관련이 있는가?

주요 결과

• $\mathcal{A}_4^{\mathrm{perf}}$의 모든 차수 $\leq 9$에서 베티 수가 완전히 규명되었으며, 예외가 없다.
• $\mathcal{A}_4^{\mathrm{Vor}}$의 모든 차수 $\leq 9$에서의 베티 수는 계산되었지만, 중간 베티 수 $b_{10}$만 제외되어 있다.
• $\mathcal{A}_3$에서 $\mathbb{V}_{1,1,0}$을 계수로 하는 컴팩트 지지 코homology는 오직 차수 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\}$)이다.
• $\mathcal{A}_2$에서 $\mathbb{V}_{2,2}$를 계수로 하는 컴팩트 지지 코호몰로지의 비영인 차수는 오직 3과 4이며, 이 군의 무게 필터링의 계수 성분들은 서로 동형이다.
• $\mathcal{A}_2$에서 $\mathbb{V}_{2,2}$를 계수로 하는 코호몰로지는 오직 차수 3과 4에서만 비영이 되며, 그로텐디크 군의 허드 기하학적 스트럭처에서의 오일러 특성은 0이다.
• $\mathcal{A}_4^{\mathrm{Vor}}$의 코호몰로지 계산은 $\mathcal{A}_4$의 오일러 특성 계산으로 환원되며, 이는 $\mathrm{Sp}(8,\mathbb{Z})$의 토크션 원소의 완전한 분류가 부족하여 현재까지 접근이 불가능하다.