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

Ganesh Bhandari, Nicole Lemire외 2명|ArXiv.org|2004. 05. 26.

Algebraic Geometry and Number Theory참고 문헌 15인용 수 10

한 줄 요약

이 논문은 특성 $p$에서 순환 확장 $E/F$의 차수 $p^n$에 대해 밀너 K-이론 모듈로 $p$의 갈로아 모듈러 구조를 결정한다. 이는 이즈볼딘의 이소모피즘을 이용하여 $K_mE/pK_mE$와 카허르 미분형식 위의 아르틴-슈라이어 연산자의 핵 사이의 관계를 활용하며, $k_mE = K_mE/pK_mE$가 $ield{F}_p[ ext{Gal}(E/F)]$-모듈러의 자명한 모듈러와 몫에 대한 자유 모듈러의 직합으로 분해됨을 보여주며, 모든 불가약 합성합성분의 차원이 $p$의 거듭제곱임을 보인다. 이는 모든 $m \in \mathbb{N}$에 대해 모듈러 구조를 완전히 분류한다.

ABSTRACT

Let E be a cyclic extension of degree p^n of a field F of characteristic p. Using arithmetic invariants of E/F we determine k_mE, the Milnor K-groups K_mE modulo p, as Fp[Gal(E/F)]-modules for all m in N. In particular, we show that each indecomposable summand of k_mE has Fp-dimension a power of p. That all powers p^i, i=0,1,...,n, occur for suitable examples is shown in a subsequent paper [MSS2], where additionally the main result of this paper becomes an essential induction step in the determination of K_mE/p^sK_mE as (Z/p^sZ)[Gal(E/F)]-modules for all m, s in N.

연구 동기 및 목표

• 특성 $p$에서 차수 $p^n$인 순환 확장 $E/F$에 대해 $k_mE = K_mE/pK_mE$의 갈로아 모듈러 구조를 결정하는 것.
• 이전의 $k_1E$ 및 $k_mE$ 결과를 $n=1$에서 임의의 $n$과 모든 $m \in \mathbb{N}$으로 확장하는 것.
• $k_mE$로 간주되는 $\mathbb{F}_p[\text{Gal}(E/F)]$-모듈러의 모든 불가약 합성분의 $\mathbb{F}_p$-차원이 $p$의 거듭제곱임을 보이는 것.
• $\text{Gal}(E/F)$의 구조에 기반하여 중간 체에서의 노름 사상에 의해 유도된 고정 부분모듈러 $(k_mE)^G$의 표준적 필터링을 제공하는 것.

제안 방법

• 특성 $p$에서 카허르 미분형식의 외적 대수 위의 아르틴-슈라이어 연산자의 핵과 $K_mE/pK_mE$ 사이의 이즈볼딘의 이소모피즘을 활용한다.
• 특성 $p$에서 밀너 K-이론에 대한 힐베르트 90을 적용하며, 이는 순환 확장의 $p$-거듭제곱 차수에 대해 $K_mE \xrightarrow{1-\sigma} K_mE \xrightarrow{N_{E/F}} K_mF$가 정확한 수열임을 나타낸다.
• 지수 $n$에 대한 귀납법을 사용하며, 기본 사례로 $n=1$과 $n=2$는 레마 5와 레마 6를 통해 확립된다.
• 크룰-스미스트-아즈마야 정리를 적용하여, 순환 $\mathbb{F}_p[G]$-모듈러의 자기 dual성과 국소 환의 자기 사상환을 이용해 불가약 모듈러로의 분해의 유일성을 확보한다.
• $(k_mE)^G$의 필터링을 중간 체 $E_i$에 대한 노름 사상 $N_{E/E_i}: k_mE \to k_mE_i$의 상을 통해 분석하며, 이가 $\mathbb{F}_p[G]$의 최대 이상수의 승수와 대응됨을 보인다.
• 레마 4로의 환원을 통해, $p^{n-1} < j < p^n$일 때 $\rho^{j-1}k_mE \cap (k_mE)^G \subseteq i_E N_{E/F}k_mE$임을 증명함으로써 주요 분해 결과를 증명한다.

실험 결과

연구 질문

• RQ1 특성 $p$에서 차수 $p^n$인 순환 확장 $E/F$에 대해 $k_mE = K_mE/pK_mE$의 갈로아 모듈러 구조는 무엇인가?
• RQ2 어떤 불가약 $\mathbb{F}_p[\text{Gal}(E/F)]$-모듈러가 $k_mE$의 직합 성분으로 나타날 수 있는가?
• RQ3 $(k_mE)^G$의 필터링은 중간 체에서의 노름 사상에 의해 표준적으로 기술될 수 있는가?
• RQ4 $k_mE$의 불가약 모듈러로의 분해가 생성자 선택에 의존하는가, 아니면 $\text{Gal}(E/F)$의 몫에 대한 랭크가 모듈러의 표준적 불변량인가?

주요 결과

• $\mathbb{F}_p[\text{Gal}(E/F)]$-모듈러 $k_mE$는 자명한 모듈러와 $\text{Gal}(E/F)$의 몫에 대한 자유 모듈러의 직합으로 분해되며, 그 외의 불가약 합성분은 존재하지 않는다.
• $k_mE$의 모든 불가약 합성분은 $\mathbb{F}_p$-차원이 $p$의 거듭제곱이며, 구체적으로 $i = 0, 1, \dots, n$에 대해 $p^i$이다.
• $\text{Gal}(E/F)$의 몫에 대해 자유인 합성분의 랭크는 분해에 관계없이 $k_mE$의 표준적 불변량이다.
• $(k_mE)^G$의 필터링은 $\mathbb{F}_p[\text{Gal}(E/F)]$의 최대 이상수의 승수에 의해 결정되며, 이는 중간 체 $E_i$에 대한 노름 사상 $N_{E/E_i}: k_mE \to k_mE_i$의 상에 의해 표준적으로 결정된다.
• $p > 2$일 경우, 길이 $l(\gamma) > p^{n-1}$인 불가약 합성분의 순환 생성자 $\gamma$는 반드시 $l(\gamma) = p^n$이어야 하며, $p=2$일 경우에도 마찬가지로 $l(\gamma) > 2^{n-1}$이면 $l(\gamma) = 2^n$이 된다.
• 이 결과는 [MSS2]에서 $K_mE/p^sK_mE$를 $\mathbb{Z}/p^s\mathbb{Z}[\text{Gal}(E/F)]$-모듈러로 분류하는 데 핵심적인 귀납 단계로 사용된다. 모든 $m, s \in \mathbb{N}$에 대해 성립한다.