[논문 리뷰] Endomorphism algebras of hyperelliptic jacobians and finite projective lines

Arsen Elkin, Yuri G. Zarhin|ArXiv.org|2005. 08. 06.

Finite Group Theory Research참고 문헌 29인용 수 3

한 줄 요약

이 논문은 $ q \geq 5 $ 이고 $ q \equiv \pm 3 \mod 8 $ 인 소수 거듭제곱이며, 갈루아 군이 $ \mathrm{PSL}_2(\mathbb{F}_q) $ 인 다항식에 관련된 초타원형 아벨 양의 내림사슬 대수를 조사한다. $ \overline{K} $ 위에서의 내림사슬 대수는 $ \mathbb{Q} $ 또는 실수 이차체이거나, $ q \equiv 3 \mod 8 $ 인 경우, 양의 자명한 타원곡선과 복소 곱승을 갖는 $ \overline{K} $-동형성으로 인해 많은 경우 절대 단순성을 보인다.

ABSTRACT

We prove that the jacobian of a hyperelliptic curve y^2=f(x) is absolutely simple if deg(f)=q+1 where q is a power prime congruent to 5 modulo 8, the polynomial f(x) is irreducible over the ground field of characteristic zero and its Galois group is L_2(q).

연구 동기 및 목표

• 다항식 $ f(x) \in K[x] $의 차수 $ q+1 $ 이며, $ q $ 가 소수 거듭제곱이고 $ \mathrm{Gal}(f) \cong \mathrm{PSL}_2(\mathbb{F}_q) $ 인 초타원형 아벨 양 $ J(C_f) $ 에 대해 내림사슬 대수 $ \mathrm{End}^0(J(C_f)) $ 의 구조를 규명하는 것.
• 특히 $ q \equiv 3 \mod 8 $ 일 때 $ J(C_f) $ 가 절대 단순해지는 조건을 분석하는 것.
• 특히 $ \mathbb{P}^1(\mathbb{F}_q) $ 위에서 분수선형 변환에 의한 갈루아 작용이 일어나는 특성 0에서의 이러한 아벨 양의 가능한 내림사슬 대수의 분류.
• 절대 단순한 아벨 양과 통제된 내림사슬 대수를 갖는 $ \mathbb{Q} $ 위의 초타원형 곡선의 명시적 예를 구성하는 것.

제안 방법

• 특정 $ \ell $- torsion 점들 $ J(C_f)[\ell] $ 에 대한 갈루아 표현을 이용하여 $ \mathrm{Gal}(K) $ 가 $ \mathrm{End}^0(J(C_f)) $ 에 작용하는 방식을 연구하며, 특히 $ \tilde{G}_{4,J(C_f),K} \subset \mathrm{GL}(J(C_f)[4]) $ 를 활용한다.
• 아벨 양의 내림사슬 대수 이론의 결과를 적용하여, 갈루아 군 작용 하에서 $ \mathrm{End}_K^0(J(C_f)) $ 의 불변성과 $ K(J(C_f)[4]) $ 의 역할을 분석한다.
• 최소 커버링과 보편 중심 확장과 같은 군론적 기법을 사용하여 갈루아 군 $ \mathrm{Gal}(f) \cong \mathrm{PSL}_2(\mathbb{F}_q) $ 를 분석한다.
• 허수 이차 정수환 $ \mathcal{O}_{-q} $ 에서의 계수체 이론과 이상 이론을 적용하여, 특히 $ q \equiv 3 \mod 8 $ 인 경우 $ \mathrm{End}^0(J(C_f)) $ 의 구조를 연구한다.
• 특정 다항식 가족에 대해 $ \mathbb{Q}(S) $ 위에서 갈루아 군과 내림사슬 대수를 검증하기 위해 계산 기반 대수 시스템(MAGMA 등)을 사용한다.
• 갈루아 군이 $ \mathrm{PSL}_2(\mathbb{F}_q) $ 와 동형이 되는 다항식 $ f_{q,S}(x) $ 의 명시적 가족을 구성하고, 이들의 아벨 양을 $ \mathbb{Q} $ 위에서 분석한다.

실험 결과

연구 질문

• RQ1 초타원형 아벨 양 $ J(C_f) $ 의 내림사슬 대수 $ \mathrm{End}^0(J(C_f)) $ 가 $ \mathbb{Q} $ 또는 실수 이차체가 되는 조건은 무엇인가?
• RQ2 $ J(C_f) $ 가 $ \overline{K} $-동형성으로서 복소 곱승을 갖는 타원곡선의 자기곱으로 나타나는 조건은 무엇인가?
• RQ3 $ \mathrm{Gal}(f) \cong \mathrm{PSL}_2(\mathbb{F}_q) $ 이고 $ q \equiv 3 \mod 8 $ 일 때 $ \mathrm{End}^0(J(C_f)) $ 의 구조는 어떠한가?
• RQ4 어떻게 하면 절대 단순한 아벨 양과 통제된 내림사슬 대수를 갖는 $ \mathbb{Q} $ 위의 초타원형 곡선의 명시적 예를 구성할 수 있는가?

주요 결과

• 특성 0 이며, $ n = q+1 $, $ q \geq 5 $, $ q \equiv \pm 3 \mod 8 $, $ \mathrm{Gal}(f) \cong \mathrm{PSL}_2(\mathbb{F}_q) $ 인 경우, $ \mathrm{End}^0(J(C_f)) $ 는 $ \mathbb{Q} $ 또는 실수 이차체이며, 이는 $ J(C_f) $ 가 절대 단순함을 의미한다.
• 만약 $ q \equiv 3 \mod 8 $ 이면, $ J(C_f) $ 는 복소 곱승이 $ \mathbb{Q}(\sqrt{-q}) $ 인 타원곡선의 자기곱과 $ \overline{K} $-동형이며, 내림사슬 대수는 $ \mathbb{Q}(\sqrt{-q}) $ 이다.
• $ q \geq 11 $ 이고 $ q \equiv 3 \mod 8 $ 인 경우, 갈루아 표현과 군론적 추론을 통해 $ \mathbb{Q} $ 위에서 $ J(C_f) $ 가 절대 단순하다는 것이 입증된다.
• 명시적 다항식 $ f_{11,S}(x) $ 와 $ f_{13,S}(x) $ 의 구성은 각각 차수 5와 6인 $ \mathbb{Q} $ 위의 초타원형 곡선을 제공하며, 그 아벨 양은 절대 단순하다.
• 모든 경우에서 $ q \equiv \pm 3 \mod 8 $ 이면, $ \mathrm{End}^0(J(C_f)) $ 는 $ \mathbb{Q} $ 또는 실수 이차체이지만, $ q \equiv 3 \mod 8 $ 인 경우 복소 곱승의 구조가 나타난다.
• MAGMA 를 사용한 계산적 검증은 유리수 특수화 $ s = m/n $ 에서도 갈루아 군이 $ \mathrm{PSL}_2(\mathbb{F}_q) $ 로 유지되며, 아벨 양이 절대 단순함을 확인한다.