5.3 갈루아 표현 & 산술적 연결 예제 10선
절대 갈루아 군 $G_{\mathbb{Q}}$의 원소를 행렬로 사영하여 타원곡선의 점의 개수나 수체의 성질을 추론하는 과정을 예제를 통해 학습합니다.
Ex 1. Cyclotomic Character
문제: 1의 $l^n$ 거듭제곱근에 작용하는 갈루아 표현 $\chi_l: G_{\mathbb{Q}} \to \mathbb{Z}_l^\times$의 성질을 기술하시오.
$\sigma \in G_{\mathbb{Q}}$에 대해 $\sigma(\zeta_{l^n}) = \zeta_{l^n}^{\chi_l(\sigma)}$로 정의된다.
특히 소수 $p \neq l$에 대한 Frobenius 원소 $Frob_p$의 값은 $\chi_l(Frob_p) = p$가 된다.
Ex 2. Tate Module 기반 표현
문제: 타원곡선 $E/\mathbb{Q}$의 $l$-adic Tate Module $T_l(E)$로부터 유도되는 갈루아 표현의 차원을 구하시오.
$T_l(E) \cong \mathbb{Z}_l^2$ 이므로, 이를 통해 얻어지는 표현 $\rho_{E,l}: G_{\mathbb{Q}} \to GL_2(\mathbb{Z}_l)$은 2차원 표현이다.
Ex 3. Trace of Frobenius
문제: $\rho_{E,l}(Frob_p)$ 행렬의 Trace 값이 타원곡선의 산술과 어떤 관계가 있는지 쓰시오.
$\text{Tr}(\rho_{E,l}(Frob_p)) = a_p = p + 1 - \#E(\mathbb{F}_p)$ 이다.
즉, 갈루아 표현의 Trace는 유한체 위에서의 점의 개수 정보를 담고 있다.
Ex 4. Determinant of Representation
문제: $\rho_{E,l}$의 행렬식 $\det(\rho_{E,l}(\sigma))$의 값을 $\chi_l$을 이용하여 나타내시오.
Weil pairing의 성질에 의해 $\det(\rho_{E,l}(\sigma)) = \chi_l(\sigma)$ 가 성립한다.
따라서 $Frob_p$에 대한 행렬식 값은 항상 $p$가 된다.
Ex 5. 가약성(Reducibility)의 의미
문제: $\rho_{E,l}$이 가약(reducible)하다는 것은 타원곡선의 기하학적 관점에서 무엇을 의미하는가?
갈루아 군의 작용에 불변인 $E$의 $l$차 부분군(subgroup scheme)이 존재함을 의미하며, 이는 $K$ 위에서 정의된 $l$차 아이소제니(isogeny)의 존재와 직결된다.
Ex 6. Deligne's Construction
문제: 가중치 $k$인 헤케 고유 형식 $f$에 대응하는 갈루아 표현 $\rho_{f,l}$의 $Frob_p$에서의 특성 다항식을 쓰시오.
$x^2 - a_p(f)x + p^{k-1}$ 이다.
여기서 $a_p(f)$는 $f$의 $p$번째 푸리에 계수이다.
Ex 7. L-functions and Representations
문제: 유한 갈루아 표현 $\rho$에 대한 아르틴 L-함수 $L(s, \rho)$의 오일러 곱 형태를 기술하시오.
$L(s, \rho) = \prod_p \det(I - \rho(Frob_p)p^{-s})^{-1}$
이 함수는 리만 제타 함수나 디리클레 L-함수를 일반화한 형태가 된다.
Ex 8. Faltings' Theorem
문제: 두 타원곡선 $E_1, E_2$에 대해 $\rho_{E_1,l} \cong \rho_{E_2,l}$ 이면 무엇을 알 수 있는가?
Faltings의 증명에 의해, 두 타원곡선은 아이소제닉(isogenous) 함이 보장된다.
즉, 갈루아 표현이 같으면 타원곡선의 산술적 본질이 같다.
Ex 9. 분기(Ramification)의 정의
문제: 갈루아 표현이 소수 $p$에서 비분기(unramified)라는 것은 어떤 의미인가?
관성군(Inertia group) $I_p$가 $\rho$의 핵(kernel)에 포함되어, $\rho(I_p) = \{I\}$ 임을 의미한다.
타원곡선의 경우 $p$가 곡선의 나쁜 환원(bad reduction)을 갖지 않는 소수일 때 비분기이다.
Ex 10. Mod p Representations
문제: 유한체 $\mathbb{F}_l$ 위의 2차원 홀(odd) 갈루아 표현은 항상 어떤 대상으로부터 오는가?
세르의 추측(현재는 정리)에 따르면, 이러한 표현은 항상 특정 가중치와 레벨을 가진 모듈러 형식으로부터 유도된다.
이 정리는 모듈러성 정리 증명의 핵심적인 바탕이 되었다.