[논문 리뷰] Galois module structure of Milnor K-theory mod p^s in characteristic p

Jan Minaÿc, Andrew Schultz외 1명|ArXiv.org|2006. 02. 24.

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

한 줄 요약

이 논문은 특성 $p$인 체의 순환 확장에서 미뉴르 K-이론 군을 $p^s$로 모듈로 한 경우의 갈루아 모듈 구조를 결정한다. 이에 따라 $K_mE/p^sK_mE$ 는 $\mathbb{Z}/p^s\mathbb{Z}[ \operatorname{Gal}(E/F)]$ 위의 자유 모듈의 직합으로 분해되며, 이들의 계수는 잔여체에서의 노름 이미지에 의해 결정된다. 이 결과는 이전의 $p$- torsion 미뉴르 K-이론에 대한 연구를 확장하며, 모든 자유 합성원이 0이 아닌 확장의 명시적 구성도 제공한다.

ABSTRACT

Let E be a cyclic extension of pth-power degree of a field F of characteristic p. For all m, s in N, we determine K_mE/p^sK_mE as a (Z/p^sZ)[Gal(E/F)]-module. We also provide examples of extensions for which all of the possible nonzero summands in the decomposition are indeed nonzero.

연구 동기 및 목표

• 순환 확장 $E/F$의 차수 $p^n$을 갖는 특성 $p$인 체에서 $K_mE/p^sK_mE$ 가 $(\mathbb{Z}/p^s\mathbb{Z})[\operatorname{Gal}(E/F)]$-모듈로서의 구조를 결정하는 것.
• 이전의 결과인 $k_mE = K_mE/pK_mE$ 를 더 높은 모듈러스 $p^s$로 확장하여 $s=1$ 경우를 일반화하는 것.
• 모든 가능한 자유 합성원이 0이 아닌 확장의 명시적 구성으로, 모든 $p$-거듭제곱 차원이 실현 가능함을 보여주는 것.
• 분해에 나타나는 불가약한 $\mathbb{F}_p[\operatorname{Gal}(E/F)]$-모듈의 차원이 모두 $p$의 거듭제곱이며, $i=0,\dots,n$ 에 대해 모든 such 차원 $p^i$ 가 적절한 예제에서 나타남을 보여주는 것.

제안 방법

• Izhboldin에 의해 확보된 $K_mE$ 에서의 $p$- torsion 이 없는 것을 바탕으로, $s=1$ 의 결과를 [BLMS] 에서 얻은 것을 $s$ 에 대한 귀납법으로 높은 $s$ 로 이행하는 것.
• $K_mE/p^{s-1}K_mE$ 에서의 기저 원소를 $p^s$ 모듈로에서 호환 가능한 올림으로 올려 $G$-불변성을 확보함으로써 $K_mE/p^sK_mE$ 에 대한 기저 원소의 표현을 구성하는 것.
• $0 \leq i \leq n$ 에 대해, $R_sG_i = \mathbb{Z}/p^s\mathbb{Z}[\operatorname{Gal}(E_i/F)]$ 위의 자유 모듈로서의 부분모듈 $Y_i$ 를 정의하며, 이들의 계수는 $k_mE_i$ 에서의 노름 이미지의 차원과 노름 군의 몫의 차원에서 유도된다.
• 미뉴르 K-이론에서의 사영 공식과 잔여 사상(잔여 맵)을 사용하여, $\{x_j, y_1, \dots, y_{m-1}\}$ 에 대응하는 $k_mF$ 의 원소들이 $N_{E_j/F}k_mE_j$ 에 속하지만 $N_{E_{j+1}/F}k_mE_{j+1}$ 에는 속하지 않음을 확인함으로써, 비영인 합성원을 보장하는 것.
• 기본 체 $K$ 에서 시작하여 $m=1$ 인 확장이 알려진 거듭제곱 급수 체를 반복적으로 사용하여 명시적 체 확장 $E/F$ 를 구성함으로써, 모든 $m \geq 1$ 에 대해 필요한 노름 조건을 만족시키는 것.
• 아르틴-슈라이어 연산자와 미뉴르-위트 군 $Q^m(F,s)$ 를 포함하는 정확열을 적용하여, $K_mF/p^sK_mF$ 를 미분형식과 연결함으로써 모듈 구조를 뒷받침하는 것.

실험 결과

연구 질문

• RQ1 특성 $p$인 순환 확장 $E/F$ 의 차수 $p^n$ 에 대해, $K_mE/p^sK_mE$ 의 갈루아 모듈 구조는 무엇인가요?
• RQ2 분해에서 $K_mE/p^sK_mE$ 의 자유 합성원의 계수는 $K_mE_i$ 에서의 노름 군과 어떻게 관련이 있나요?
• RQ3 모든 가능한 자유 합성원이 0이 아닌 명시적 체 확장을 구성할 수 있나요?
• RQ4 불가약한 $\mathbb{F}_p[\operatorname{Gal}(E/F)]$-모듈의 어떤 차원이 $k_mE$ 의 직접 합성원으로 나타날 수 있나요?
• RQ5 모든 $p$-거듭제곱 차원 $p^i$ ($i=0,\dots,n$) 이 적절한 확장에서 $k_mE$ 의 불가약한 합성원의 차원으로 나타나는가요?

주요 결과

• $R_sG$-모듈 $K_mE/p^sK_mE$ 는 $\oplus_{i=0}^n Y_i$ 로 분해되며, 각각의 $Y_i$ 는 $R_sG_i = \mathbb{Z}/p^s\mathbb{Z}[\operatorname{Gal}(E_i/F)]$ 위의 자유 모듈이다.
• $Y_n$ 의 계수는 $\dim_{\mathbb{F}_p} N_{E/F}k_mE$ 이며, 이는 $k_mE$ 에서의 노름 사상의 이미지의 차원이다.
• $0 < i < n$ 에 대해, $Y_i$ 의 계수는 $\dim_{\mathbb{F}_p} N_{E_i/F}k_mE_i / N_{E_{i+1}/F}k_mE_{i+1}$ 이며, 이는 노름 이미지의 몫의 차원이다.
• $i=0$ 에 대해, $Y_0$ 는 $R_s$ 위의 자유 모듈로, 계수는 $\dim_{\mathbb{F}_p} k_mF / N_{E_1/F}k_mE_1$ 이며, $G$-작용이 자명하다.
• $\widehat{K_mE} = \varprojlim_s K_mE/p^sK_mE$ 는 $\oplus_{i=0}^n \hat{Y}_i$ 와 동형이며, 각각의 $\hat{Y}_i$ 는 $Y_i$ 와 같은 계수를 가진 $\mathbb{Z}_pG_i$-자유 모듈이다.
• 모든 자유 합성원 $Y_i$ 가 0이 아닌 명시적 예가 구성되었으며, 이에 따라 $i=0,1,\dots,n$ 에 대해 모든 차원 $p^i$ 가 $k_mE$ 의 불가약한 합성원의 차원으로 나타남을 보여준다.