[논문 리뷰] The symmetric Square of the Theta Divisor in Genus 4

Thomas Krämer, Rainer Weissauer|arXiv (Cornell University)|2011. 09. 10.

Algebraic Geometry and Number Theory참고 문헌 43인용 수 4

한 줄 요약

이 논문은 종수 4인 일반적인 주로 극화된 아벨 3종의 쌍대 분할의 대칭 제곱을 Tannakian 체계와 휘어진 층의 병합을 이용해 분석함으로써 호지 구조의 변화를 연구한다. 이를 통해 종수 4에서 쌍대 분할의 코homology의 표현론적 구조에 대한 추측을 확인함과 동시에, 쌍대 분할의 Tannakian 군이 $\mathrm{Sp}(8,\mathbb{C})$임을 증명한다.

ABSTRACT

We discuss variations of Hodge structures on abelian varieties that arise from intersecting translates of theta divisors with a special focus on the case of abelian varieties of dimension 4

연구 동기 및 목표

• 일반적인 주로 극화된 아벨 3종의 종수 4에서 펄스러운 층 $\delta_\Theta$에 관련된 Tannakian 군 $G(X,\Theta)$를 결정하는 것.
• 종수 4일 때 $G(X,\Theta) = \mathrm{Sp}(8,\mathbb{C})$라는 추측을 검증하여 종수 3 이하일 때 알려진 결과를 확장하는 것.
• 쌍대 및 대칭 제곱에서 유도된 펄스러운 층 $\delta_\pm$의 단순성을 입증하는 것.
• 교차 $Y_x = \Theta_x \cap \Theta_{-x}$ 위의 호지 구조를 무드포르트-테이트 군과 삼차 초곡면의 중간 호지 구조와 연결하는 것.
• 분열 기법과 제한 함자(제약 함수)를 사용하여 문제를 곡선의 아벨-자코비안으로 환원함으로써 표현론적 분류를 가능하게 하는 것.

제안 방법

• Tannakian 체계를 활용하여 아벨 다양체 위의 펄스러운 층의 범주를 재수정된 군 $G(X,\Theta)$의 표현으로 기술한다.
• We2의 텐서 범주에서 펄스러운 층의 병합 곱을 적용하여 $\delta_\pm$가 $\delta_\Theta$의 대칭 제곱과 반대칭 제곱임을 식별한다.
• 종수 4의 일반 곡선의 아벨-자코비안으로의 분열을 활용하여 제한 함자 $\rho: \mathrm{Rep}(G(X,\Theta)) \to \mathrm{Rep}(G_\Psi)$를 유도한다.
• 초호모로지 계산을 통해 호지 구조를 분석하기 위해 무드포르트-테이트 군 $\mathrm{MT}(\Theta)_{sc} = \mathrm{Sp}(8,\mathbb{C}) \times \mathrm{Sp}(10,\mathbb{C})$를 사용한다.
• 컴퓨터 대수 시스템(MAGMA 및 SAGE)을 이용해 초호모로지 $\mathbb{H}^\bullet(X, \delta_\pm)$를 계산하고, 결과를 기약 표현으로 분해한다.
• 레프셰츠 고정점 공식을 적용하여 $\sigma = -\mathrm{id}_X$가 표현 $B$ 위에서 자명하게 작용함을 검증한다.

실험 결과

연구 질문

• RQ1 일반적인 주로 극화된 아벨 3종의 종수 4에서 Tannakian 군 $G(X,\Theta)$는 무엇인가요?
• RQ2 쌍대 및 반대칭 제곱으로 구성된 펄스러운 층 $\delta_\pm$는 펄스러운 층의 범주에서 단순한가요?
• RQ3 종수 4에서 $G(X,\Theta)$의 표현이 $\mathrm{Sp}(8,\mathbb{C})$의 표준 표현과 대응되는가요?
• RQ4 $\sigma = -\mathrm{id}_X$ 작용 하에 $Y_x = \Theta_x \cap \Theta_{-x}$ 위의 호지 구조는 어떻게 분해되나요?
• RQ5 쌍대 분할의 무드포르트-테이트 군을 사용하여 초호모로지 계산을 통해 $\delta_\pm$의 코homology를 분류할 수 있는가요?

주요 결과

• 일반적인 주로 극화된 아벨 다양체의 종수 4에서 Tannakian 군 $G(X,\Theta)$는 $\mathrm{Sp}(8,\mathbb{C})$이며, 이는 추측 C를 확인한다.
• 펄스러운 층 $\delta_\Theta$는 Tannakian 범주에서 $\mathrm{Sp}(8,\mathbb{C})$의 표준 표현에 대응한다.
• 호지 구조의 변화 $\mathcal{V}_\pm$는 단순하며, 이는 추측 A를 지지한다.
• 초호모로지 $\mathbb{H}^\bullet(X, \delta_\pm)$는 $\mathrm{Sp}(8,\mathbb{C}) \times \mathrm{Sp}(10,\mathbb{C})$의 기약 표현으로 분해되며, 그 분해는 표 1에 명시되어 있다.
• 레프셰츠 고정점 공식을 통해 120개의 2차 토크션 점을 활용한 계산을 통해 $\sigma = -\mathrm{id}_X$가 표현 $B$ 위에서 자명하게 작용함을 검증하였다.
• $\mathbb{H}^\bullet(X, \delta_\pm)$의 종수 4 곡선의 아벨-자코비안으로의 제한은 표 2에서 계산된 $JC$ 위의 $\delta_{a,b}$의 호지 구조와 일치한다.