[논문 리뷰] On the Structure of the Weil Restriction of Abelian Varieties

Claus Diem, Niko Naumann|ArXiv.org|2005. 04. 18.

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

한 줄 요약

이 논문은 유한 갈루아 확장체 위의 아벨 다양체의 웰 제한에 대한 종함수환과 이소지 분해를 완전히 기술한다. 순환 확장 $ K|k $의 차수 $ n $에 대해, 아벨 다양체 $ A_K $의 웰 제한 $ W $는 $ n $의 약수 $ d $에 대응하는 동형성 성분 $ W_d $로 분해되며, $ W_d $가 단순임은 $ \mathbb{Q} \cap \operatorname{End}^\circ(A)\otimes\mathbb{Q}(\zeta_d) = \mathbb{Q} $일 때에만 성립함을 보이며, 이는 복소 곱법을 가진 타원곡선의 성질을 고차원 아벨 다양체로 일반화한다.

ABSTRACT

We give a description of endomorphism rings of Weil restrictions of abelian varieties with respect to finite Galois extensions. The results are applied to study the isogeny decomposition of Weil restrictions.

연구 동기 및 목표

• 유한 갈루아 확장에 대해 아벨 다양체의 웰 제한의 종함수환의 구조를 규명하는 것.
• 특히 유한체와 순환 확장의 경우에서 웰 제한의 이소지 분해를 연구하는 것.
• 웰 제한이 단순하거나 단순 인자들로 분해되는 경우에 대한 명시적 기준을 제공하는 것.
• 복소 곱법을 가진 타원곡선에 대한 알려진 결과를 고차원 아벨 다양체로 일반화하는 것.

제안 방법

• 갈루아 군 $ G^\text{opp} $를 중심으로 $ \operatorname{End}(A_K) $ 위의 교차곱으로서 웰 제한 $ W $의 종함수환을 기술하기 위해 비가환 군환의 사용.
• 순환다항식 $ \Phi_d $를 이용한 표현 이론과 $ \operatorname{End}^\circ(A) $ 위에서의 비드램 분해.
• $ \Phi_d^{(i)} $를 $ \operatorname{End}^\circ(A) $ 위에서의 기약인수로 삼고, 투영 연산자 $ \Psi_d^{(i)} \Phi_d^{(i)'} $를 통해 부분다양체 $ W_d^{(i)} $를 구성하는 것.
• 웰 제한 위에서 프로베누스 및 갈루아 작용을 정의하기 위해 $ \sigma_{K|k}: \sigma^{-1}(A_K) \to A_K $의 표준적 동형사상 사용.
• 모든 $ A_K $의 종함수환이 $ k $ 위에서 정의되어 있다는 가정 하에 $ \operatorname{End}^\circ(W) \simeq \operatorname{End}^\circ(A_K)[G] $임을 활용하는 것.
• 성분의 단순성 판단을 위해 순환다항식과 수체의 교차를 다루는 것으로 귀결하는 것.

실험 결과

연구 질문

• RQ1 유한 갈루아 확장 위에서 아벨 다양체의 웰 제한이 기저체 위에서 단순해지는 조건은 무엇인가?
• RQ2 웰 제한의 종함수환은 갈루아 군과 원래 다양체의 종함수환과 어떻게 관련이 있는가?
• RQ3 기저 확장이 순환일 경우 웰 제한의 이소지 분해는 어떻게 되는가?
• RQ4 웰 제한의 성분 $ W_d $가 언제 단순하고, 언제 비동형인 단순 성분들로 분해되는가?
• RQ5 타원곡선의 복소 곱법이 그 웰 제한의 이소지 분해에 어떻게 영향을 미치는가?

주요 결과

• 모든 $ A_K $의 종함수환이 $ k $ 위에서 정의되어 있을 경우, $ K|k $ 위에서 $ A_K $의 웰 제한 $ W $의 종함수대체는 $ \operatorname{End}^\circ(A_K)[G] $, 즉 갈루아 군 $ G^\text{opp} $를 중심으로 한 $ \operatorname{End}^\circ(A_K) $ 위의 비가환 군환과 동형이다.
• 순환 확장 $ K|k $의 차수 $ n $에 대해, 웰 제한 $ W $는 $ n $의 약수 $ d \mid n $로 색인화된 이소지 성분 $ W_d $로 분해되며, $ (W_d)_K \approx A_K^{\varphi(d)} $이다.
• 각 성분 $ W_d $는 단순임은 $ \operatorname{End}^\circ(A) \cap \mathbb{Q}(\zeta_d) = \mathbb{Q} $일 때에만 성립한다. 즉, 종함수체와 $ d $번째 순환다항체의 교차가 자명할 때이다.
• 만약 $ A $가 $ k $ 위에서 복소 곱법을 가진 일반적인 타원곡선이라면, $ W_d $는 $ \operatorname{End}^\circ(A) \subseteq \mathbb{Q}(\zeta_d) $일 때에만 단순하지 않으며, 이 경우 $ W_d $는 차수 $ \varphi(d)/2 $인 두 개의 비동형 단순 성분으로 분해된다.
• 특히 $ n $이 소수이고 $ n \equiv 1 \pmod{4} $ 또는 $ n \equiv 3 \pmod{4} $이며 $ \sqrt{-n} \notin \operatorname{End}^\circ(E) $이면, $ W \sim E \times N $이며 $ N $은 단순하다.
• 이소성분 $ W_d^{(i)} $는 비드램 연산자 $ E_d^{(i)} = \Psi_d^{(i)} \Phi_d^{(i)'} $의 상으로서 구성되며, 종함수대체가 $ \operatorname{End}^\circ(A)[X]/\Phi_d^{(i)} $와 동형인 단순 아벨 $ k $-다양체이다.