[논문 리뷰] Why certain Tannaka groups attached to abelian varieties are almost connected

Rainer Weissauer|arXiv (Cornell University)|2012. 07. 17.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 6

한 줄 요약

이 논문은 아벨 다양체 위의 불완전한 층의 복합곱을 통해 연결된 재수성 대수적 군에 대한 Tannaka dual framework를 제안한다. 아벨 다양체에 대해 이러한 Tannaka 군은 거의 연결되어 있음을 증명하며, 즉 그 유니포텐트 라디칼이 자명하다. 또한 교차 코호몰로지 층의 구조를 통해 표현 이론과 Brill-Noether 이론 사이에 깊은 연관성을 확립한다.

ABSTRACT

We show that for a complex abelian variety X a certain Tannaka group G(X) attached to X is a pro-reductive group whose group of connected components is abelian, and hence isomorphic to the etale pro-finite abelian fundamental group of the dual abelian variety of X.

연구 동기 및 목표

• 곡선을 초월하여 아벨 다양체의 복합곱을 통해 불완전한 층의 복합곱을 이용한 Brill-Noether 이론의 일반화를 위한 목표.
• 아벨 다양체 $ \operatorname{Alb}(Y) $ 위의 불완전한 층의 텐서 범주로부터 대수적으로 닫힌 체 $ \Lambda $ 위의 재수성 Tannaka 군 $ G(Y, y_0) $ 를 정의하기 위한 목표.
• 복합곱의 구조와 일반적인 소멸 정리 분석을 통해 이러한 Tannaka 군이 거의 연결되어 있음을 증명하는 목표, 즉 그 유니포텐트 라디칼이 자명하다는 것.
• 기본 표현의 대응 관계를 $ G(Y, y_0) $ 와 불완전한 층 $ \mathcal{IC}_{W_i(Y)} $ 사이에 설정하여 고전적 Brill-Noether 위치를 복원하는 목표.

제안 방법

• 아벨 다양체 $ X = \operatorname{Alb}(Y) $ 상에서 $ f: Y \to X $ 가 아벨 맵일 때, 직접 이미지 복합체 $ K = Rf_* (IC_Y) $ 를 구성한다.
• 군 법칙에 의해 정의된 복합곱 곱 $ * $ 를 사용하여 $ K \oplus K^\vee $ 의 반복 복합곱을 형성한다. 여기서 $ M * N = R a_* (M \boxtimes N) $ 이다.
• 이 복합곱의 불완전한 구성 요소들로 생성된 텐서 범주에 Tannaka 이중성을 적용하여 $ \Lambda $ 위의 재수성 군 $ G(Y, y_0) $ 를 구성한다.
• 일반적인 소멸 정리와 분해 정리를 사용하여 불완전한 층의 깊이와 지지 집합을 분석하여 $ G(Y, y_0) $ 의 구조를 제어한다.
• 동형사상과 기저 변경을 통해 $ X = A \times B $ 의 경우로 감소시켜 층의 분해와 코호몰로지 경계의 제어를 가능하게 한다.
• 강한 Lefschetz 정리와 쌍대성을 적용하여 복합곱의 코호몰로지 이동을 제약하여, 비영인 구성 요소는 무시할 수 없는 층에서 유래해야 한다는 것을 증명한다.

실험 결과

연구 질문

• RQ1 어떻게 시각적 도구와 군론적 도구를 사용하여 곡선의 고전적 Brill-Noether 이론을 고차원 다양체로 일반화할 수 있는가?
• RQ2 아벨 다양체 위의 불완전한 층의 복합곱을 통해 정의된 매끄럽고 사영인 다양체 $ Y $ 에 대해 Tannaka 군 $ G(Y, y_0) $ 의 구조는 어떠한가?
• RQ3 왜 Tannaka 군 $ G(Y, y_0) $ 는 거의 연결되어 있는가, 즉 그 유니포텐트 라디칼이 자명한가?
• RQ4 왜 $ G(Y, y_0) $ 의 기본 표현들은 아벨 다양체 내의 Brill-Noether 위치 $ W_i(Y) $ 와 대응되는가?

주요 결과

• 복소수 또는 유한체 위의 매끄럽고 사영인 다양체 $ Y $ 와 관련된 Tannaka 군 $ G(Y, y_0) $ 는 거의 연결되어 있으며, 즉 그 유니포텐트 라디칼이 자명하다.
• 기하학적 종수 $ g $ 인 비초등 곡선 $ Y $ 에 대해 Tannaka 군은 $ \mathrm{SL}(2g-2) $ 이며, $ i = 1, \dots, g-1 $ 에 대해 $ g-1 $ 개의 기본 표현이 불완전한 층 $ \mathcal{IC}_{W_i(Y)} $ 와 대응한다.
• $ i $-번째 복합곱 거듭제곱 $ \delta_Y * \cdots * \delta_Y $ 의 불완전한 층 구성 요소들 중에는 $ \mathcal{IC}_{W_i(Y)} $ 가 포함되어 있으며, 이는 텐서 범주 내에서 단순 구성 요소로 복원된다.
• 분해 정리와 일반적인 소멸 정리로부터 유도된 코호몰로지 경계는 비영인 복합곱 구성 요소가 무시할 수 없는 층에서 기인해야 한다는 것을 시사하며, 가능한 코호몰로지 이동을 제한한다.
• 청소된 단순 불완전한 층 $ P $ 의 복합곱 $ T = P * P^\vee $ 는 단순하며, 그 단순 구성 요소 $ T_\nu \cong P_\nu[-m_\nu] $ 는 $ -\operatorname{depth}(P_\nu) < m_\nu < \operatorname{depth}(P_\nu) $ 를 만족한다. 이는 Tannaka 군의 구조를 제약한다.
• 일부 문자 $ \chi $ 에 대해 $ Rf_*(K_\chi) \neq 0 $ 임을 증명하는 데에는 $ X = A \times B $ 의 곱의 구조로 감소시키며, $ K $ 가 텐서 tích으로 분해되고, $ H^\bullet(A, K_{A,\chi}) $ 의 오일러 지표가 0이 아니라는 사실을 이용한다.