[논문 리뷰] Galois theory of B_dR^+ in the imperfect residue field case

Shun Ohkubo|ArXiv.org|2009. 05. 13.

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

한 줄 요약

이 논문은 Iovita-Zaharescu의 $B_{\text{dR}}^+$에 대한 갈루아 이론을 잔여체가 불완전한 국소체로 일반화하며, Colmez의 고차 미분형식에 대한 새로운 구조 정리와 함께 사용한다. 주요 결과는 $\widehat{L}_k = B_k^{G_L}$이 성립함과 동시에 특정 코homological 및 미분 조건—특히 고차 미분형식의 테이트 모듈러스의 영성과 자연스러운 미분의 전성—이 성립할 때에만 성립함을 보이며, 고전적인 Ax-Sen-Tate 정리를 불완전한 경우로 확장한다.

ABSTRACT

We generalize a work of Iovita-Zaharescu on the Galois theory of B_dR^+ to the imperfect residue field case. The proof is based on a structure theorem of Colmez's higher Kahler differentials.

연구 동기 및 목표

• 잔여체가 불완전한 국소체로 Iovita-Zaharescu의 $B_{\text{dR}}^+$에 대한 갈루아 이론 결과를 확장한다.
• 국소체의 갈루아 코hom로 $B_{\text{dR}}^+$에서 발생하는 기술적 과제를 해결한다.
• 불완전한 잔여체 설정에서 Colmez의 고차 미분형식에 대한 구조 정리를 수립한다.
• 대수적 확장 $L/K$에 대해 고정 부분환 $B_k^{G_L}$이 $p$-진 완비화 $\widehat{L}_k$와 일치하는 조건을 규명한다.
• 고차 미분형식과 테이트 모듈러스에 기반하여 $\widehat{L}_\infty = (B_{\text{dR}}^+)^{G_L}$인 조건을 정교화한다.

제안 방법

• 불완전한 잔여체 케이스에서 고차 미분형식 $\Omega^{(k)}_{{\mathcal{O}_L}/{\mathcal{O}_K}}$에 대한 구조 정리를 개발하며, Colmez의 결과를 일반화한다.
• 다중지표 표기법과 $p$-진 극한을 사용하여 자연스러운 미분형식의 이미지 $d^{(k)}: \mathcal{O}_L^{(k-1)} \to \Omega^{(k)}_{{\mathcal{O}_L}/{\mathcal{O}_K}}$를 분석한다.
• 테이트 모듈러스 구성 $T_p(\Omega^{(k)}_{{\mathcal{O}_L}/{\mathcal{O}_K}})$를 적용하여 미분형식 내의 $p$-나누어떨어짐을 탐지한다.
• 역극한과의 관계를 설정하기 위해 정확한 수열 $0 \to \varprojlim d^{(k)}(\mathcal{O}_L^{(k-1)}) \to \widehat{L}_k \to \widehat{L}_{k-1} \to \varprojlim^1 d^{(k)}(\mathcal{O}_L^{(k-1)}) \to 0$을 활용한다.
• Lubin-Tate 이론과 예시를 사용하여 $\mathcal{O}_L^{(1)}$ 내의 $p$-진 코시 수열의 행동을 분석하고, 이들이 $B_1$-위상에서 수렴하지 않는다는 점을 밝힌다.
• $p$-진 바나흐 공간에 대한 개방사상 정리를 적용하여, $\mathrm{Im}(d:\mathcal{O}_L \to \Omega^1_{{\mathcal{O}_L}/{\mathcal{O}_K}})_{\mathrm{div}} = 0$일 때 사영 사상 $\mathrm{pr}: \widehat{L}_1 \to \widehat{L}$가 전사가 아님을 보인다.

실험 결과

연구 질문

• RQ1 잔여체가 불완전한 국소체 $K$에 대해 대수적 확장 $L/K$에서 $\widehat{L}_k = B_k^{G_L}$가 성립하는 조건은 무엇인가?
• RQ2 고차 미분형식 $\Omega^{(k)}_{{\mathcal{O}_L}/{\mathcal{O}_K}}$는 불완전한 잔여체 케이스에서 어떻게 행동하며, 어떤 구조를 지닌다?
• RQ3 갈루아 불변성 $B_k^{G_L}$을 결정하는 데 테이트 모듈러스 $T_p(\Omega^{(k)}_{{\mathcal{O}_L}/{\mathcal{O}_K}})$의 역할은 무엇인가?
• RQ4 자연스러운 미분형식 $d^{(k)}: \mathcal{O}_L^{(k-1)} \to \Omega^{(k)}_{{\mathcal{O}_L}/{\mathcal{O}_K}}$가 전사가 되는 조건은 무엇이며, 이는 갈루아 고정 부분환에 어떤 영향을 미치는가?
• RQ5 $\mathrm{pr}: \widehat{L}_1 \to \widehat{L}$가 전사가 아니라는 실패는 어떤 $p$-진 수열이 $B_1$-코시 수열이 아니라는 것과 어떻게 관련이 있는가?

주요 결과

• $k=0$일 때, $\widehat{L} = \mathbb{C}_p^{G_L}$는 조건 없이 성립하며, Ax-Sen-Tate 정리를 잔여체가 불완전한 경우로 일반화한다.
• $H^0(G_L, \mathbb{C}_p(1)) = 0$이면 모든 $k$에 대해 $\widehat{L}_k = B_k^{G_L}$ 및 $\widehat{L}_\infty = (B_{\text{dR}}^+)^{G_L}$가 성립하며, 이들 모두 $\widehat{L}$와 동형이다.
• $H^0(G_L, \mathbb{C}_p(1)) \neq 0$이면 $\widehat{L}_k = B_k^{G_L}$이 성립함과 동시에 $T_p(\Omega^{(n)}_{{\mathcal{O}_L}/{\mathcal{O}_K}}) \neq 0$ 및 모든 $1 \leq n \leq k$에 대해 $d^{(n)}$이 전사임이 필요하고 충분하다.
• $\widehat{L}_\infty = (B_{\text{dR}}^+)^{G_L}$이 성립함과 동시에 $\widehat{L}_k = B_k^{G_L}$가 모든 $k$에 대해 성립함은 동일한 미분 조건 하에서 동치이다.
• $\mathrm{Im}(d:\mathcal{O}_L \to \Omega^1_{{\mathcal{O}_L}/{\mathcal{O}_K}})_{\mathrm{div}} = 0$일 때 사영 사상 $\mathrm{pr}: \widehat{L}_1 \to \widehat{L}$는 단사이지만 전사가 아니며, 이는 $\{p^n \zeta_{p^n}\}$와 같은 $B_1$-코시 수열이 아닌 $p$-진 수열의 존재 때문이다.
• $K = \mathbb{Q}_p$일 때, $K^{\mathrm{ab}}/K$가 수준 1에서 de Rham임과 동시에 $K \neq \mathbb{Q}_p$이면 갈루아 이론적 행동에 뚜렷한 차이가 나타나며, 이는 갈루아 이론적 성질에 대한 날카로운 구분을 보여준다.