[논문 리뷰] Homogeneous bundles over abelian varieties

Michel Brion|arXiv (Cornell University)|2011. 01. 14.

Algebraic Geometry and Number Theory참고 문헌 24인용 수 8

한 줄 요약

이 논문은 아벨 다양체 위의 동차 벡터(bundle)의 분류를 임의의 대수적 군에 대한 주접속으로 일반화한다. 반항성 군 스킴과 관찰 가능한 부분군 이론을 활용하여, 아벨 다양체 $A$ 위의 동차 $G$-접속은 교환 부분군 스킴 $H \subset G$와 $H$에 대한 $A$의 반항성 확장으로 분류됨을 밝혀내며, 기존의 연결성 및 단순군 벡터(bundle) 결과를 확장한다.

ABSTRACT

We obtain characterizations and structure results for homogeneous principal bundles over abelian varieties, that generalize work of Miyanishi and Mukai on homogeneous vector bundles. For this, we rely on notions and methods of algebraic transformation groups, especially observable subgroups and anti-affine groups.

연구 동기 및 목표

• 아벨 다양체 위의 동차 벡터(bundle) 분류를 임의의 대수적 군에 대한 주접속으로 확장한다.
• 특히 반항성 확장과 $G$--equivariant 자기동형사상의 구조를 포함하여 군론적 및 기하학적 구조를 통해 동차 $G$-접속을 특성화한다.
• 접속, 단순군 벡터(bundle), 대수적 자명성에 관한 이전 결과들을 주접속의 맥락에서 통합하고 일반화한다.
• 동차 $G$-접속의 분류를 쌍 $(H, \mathcal{G})$로 제시한다. 여기서 $H$는 $G$의 교환 부분군이며 $\mathcal{G}$는 $H$에 대한 $A$의 반항성 확장이다.
• 동차성, 접속 존재성, 자동사상 군 스킴 $\mathrm{Aut}^G(X)$의 구조 사이의 동치 관계를 확립한다.

제안 방법

• 군 스킴 $\mathrm{Aut}^G(X)$의 $G$--equivariant 자기동형사상 분석을 통해, 이가 국소적으로 유한형이며 가장 큰 반항성 부분군 $\mathcal{G}$를 포함함을 보인다.
• 자연스러운 준동형사상 $\pi_*: \mathrm{Aut}^G(X) \to \mathrm{Aut}(A)$를 사용하여 동차성을 특성화한다: $\pi$가 동차일 조건은 $\pi_*$가 $\mathcal{G}$를 $A$ 위로 전지적으로 사영한다는 것이다.
• 단순군 부분군 $R_u(G)$와 가장 큰 아핀 부분군 $G_{\mathrm{aff}}$를 통해 $G$가 연결 리드카티브일 경우로의 분석을 단순화한다.
• Br09, SS09의 반항성 확장에 관한 분류 결과를 적용하여, 동차 접속을 데이터 $\delta: H_u^* \to H^1(A, \mathcal{O}_A)$와 $c: \widehat{H_s} \to \widehat{A}(k)$로 매개화한다.
• 무카이의 푸리에 변환 동치를 활용하여, 단순군 벡터(bundle)를 $\widehat{A}$의 원점에 지지된 코herent sheaf와 연결한다. 특히 특성 0에서 이를 적용한다.
• 특정 조건을 만족하는 $c$와 $\delta$의 공역과 교환 조건이 성립할 때, $\varphi \in \mathrm{Aut}_{\mathrm{gp}}(A)$가 $\mathrm{Aut}^G(X)$로 올라가는지의 기준을 사용한다.

실험 결과

연구 질문

• RQ1 아벨 다양체 위의 동차 주접속 $G$-접속에 대한 특성은 기존의 벡터(bundle) 결과를 어떻게 일반화하는가?
• RQ2 자동사상 군 스킴 $\mathrm{Aut}^G(X)$의 구조는 동차성을 어떻게 특성화하는가?
• RQ3 반항성 군 스킴과 관찰 가능한 부분군은 이러한 접속의 분류에 어떻게 기여하는가?
• RQ4 정확히 어떤 데이터를 포함하여 동차 $G$-접속을 교환 부분군 $H \subset G$와 $H$에 대한 $A$의 확장으로 분류할 수 있는가?
• RQ5 접속 및 통합 가능한 접속에 관한 결과는 어떻게 일반 주접속으로부터 벡터(bundle)의 결과로 확장되는가?

주요 결과

• 정리 1.1은 주접속 $\pi: X \to A$가 동차일 조건은 $0 \to H \to \mathcal{G} \to A \to 0$ 형태의 반항성 확장에 의한 $H$-접속으로의 구조군 축소가 가능할 때이고, $H \subset G$는 교환 부분군 스킴임을 보여준다.
• 특성 0에서 동차성은 (필수적으로 통합 가능한) 접속의 존재성과 동치이며, 마츠시마와 모리모토의 결과를 일반화한다.
• 단순군 부분군 $R_u(G)$와 가장 큰 아핀 부분군 $G_{\mathrm{aff}}$를 통해 $G$가 리드카티브일 경우로의 축소가 가능하여 분류를 단순화한다.
• $G = \mathrm{GL}_n$일 경우, 분류 결과는 밀리야시와 무카이의 결과를 복원한다: 동차 벡터(bundle)는 대수적으로 자명한 선다발의 반복적 확장이거나, 대각화 가능한 군의 무게 공간의 직합이다.
• 특성 0에서 $A$에 대한 $H$에 대한 반항성 확장은 단사 사상 $\delta: H_u^* \to H^1(A, \mathcal{O}_A)$와 $c: \widehat{H_s} \to \widehat{A}(k)$로 분류되며, $H_u$가 유한할 경우 양성 특성에서도 유사한 분류가 성립한다.
• 타원곡선의 경우, 동차 $G$-접속은 삼중조합 $(u, H_s, c)$로 분류되며, 여기서 $u$는 $G$의 단순군 원소, $H_s$는 $C_G(u)$의 대각화 가능한 부분군이며, $c: \widehat{H_s} \to E(k)$는 단사이다. 이는 동시에 쌍대표현에 의한 동치 관계를 제외하고 유일하다.