[논문 리뷰] Galois invariants of K_1-groups of Iwasawa algebras

Dmitriy Izychev, Otmar Venjakob|arXiv (Cornell University)|2010. 06. 28.

Algebraic structures and combinatorial models참고 문헌 4인용 수 4

한 줄 요약

이 논문은 $p$-진 수체의 정수環 위에서 유한하고 컴act한 $p$-진 리군에 관련된 이와사와 대수의 $K_1$-군에 대해 갈로아 수축 결과를 확립한다. 유리수 $K_1$-군이 갈로아 수축을 유지함을 증명하고, 특히 $SK_1(\widehat{\mathbb{Z}_p^{ur}}[G]) = 1$ 를 보여, 유한 $G$에 대해 $SK_1$에 대한 갈로아 수축이 일반적으로 실패함을 밝힌다.

ABSTRACT

We study Galois descent of K_1 of group algebras with coefficients in certain subrings of the ring of integers of C_p, the completion of an algebraic closure of Q_p.

연구 동기 및 목표

• 이와사와 대수와 프로베니우스 작용을 포함하는 $K_1$-순서의 정확성에 관한 후카와와 카토의 추측을 해결하기 위해.
• 특히 무한 확장과 비균형화된 환에 대해 $p$-진 환 위의 군환에 대한 $K_1$-군에 대해 갈로아 수축이 성립하는지 조사하기 위해.
• 특히 $SK_1$-군에 대해 갈로아 수축이 실패하는 이유를 밝히기 위해, 유일한 결정식 이미지가 $p$-진 설정에서 성공한 데 반해 $SK_1$-군은 그렇지 않다는 점을 명확히 하기 위해.
• 기존의 정수 군 로그와 수축 결과를 무한 갈로아 확장과 컴팩트한 $p$-진 리군으로 확장하기 위해.
• 군 코hom로지와 비분할 확장들을 사용하여, 특성 $p$의 잔여체에서 유사한 수축 결과를 유도하기 위해.

제안 방법

• 국소 및 전역 수체 위의 군환에 대한 갈로아 수축의 프로토타입으로 프로플리히의 호모지오미터 기술을 사용하기 위해.
• 스네이크 보조정리와 $SK_1$-정확순서를 적용하여 $K_1(R[G])$와 $K_1(S[G])^\Delta$ 사이의 핵과 여핵을 통해 연결하기 위해.
• 적절한 조건 하에서 $\mathbb{Q}$와의 텐서곱을 통해 유리수 $K_1$-수축을 확립하여 $K_1(R[G])_{\mathbb{Q}} \cong K_1(S[G])_{\mathbb{Q}}^\Delta$ 를 보여주기 위해.
• 군 코호몰로지로 수축 순서의 여핵 $C$와 핵 $K$를 분석하여, 특히 비분할 확장의 반복극한을 통해 $\mathrm{H}^1(\Delta, S[\mathcal{C}_G]) = 1$ 을 보여주기 위해.
• 스나이스와 테일러의 정수 군 로그 구조를 활용하여 이를 무한 갈로아 확장과 $p$-진 리군에 적응하기 위해.
• $SK_1(\widehat{\mathbb{Z}_p^{ur}}[G]) = 1$ 이 모든 유한 $G$에 대해 성립함을 증명하여, $SK_1$-수축의 실패 원인을 설명하기 위해.

실험 결과

연구 질문

• RQ1 이와사와 대수 $\Lambda = \mathbb{Z}_p[G]$ 에 대해 순서 $0 \to K_1(\Lambda) \to K_1(\widetilde{\Lambda}) \xrightarrow{1 - \varphi_*} K_1(\widetilde{\Lambda}) \to 0$ 는 여전히 정확한가?
• RQ2 만약 $R$ 가 $\mathbb{Z}_p$ 의 유한 또는 무한 확장이라면, $K_1(R[G])$ 에 대해 갈로아 수축이 성립하는 조건은 무엇인가?
• RQ3 결정식 부분이 성공한 데 반해, 왜 $SK_1$ 은 일반적으로 갈로아 수축을 성립하지 못하는가?
• RQ4 정수 군 로그의 방법을 무한 갈로아 확장과 컴팩트한 $p$-진 리군으로 확장할 수 있는가?
• RQ5 특성 $p$의 잔여체에서 $K_1$-군에 대한 갈로아 수축 순서의 핵과 여핵의 구조는 무엇인가?

주요 결과

• 유리수 $K_1$-군은 갈로아 수축을 만족한다: $R = \mathbb{Z}_p$, $S = \widehat{\mathbb{Z}_p^{ur}}$, $\Delta = \mathrm{Gal}(M^0/L)$ 일 때 $K_1(R[G])_{\mathbb{Q}} \cong K_1(S[G])_{\mathbb{Q}}^\Delta$.
• 순서 $1 \to K \to K_1(R[G]) \xrightarrow{i_*} K_1(S[G])^\Delta \to C \to 1$ 는 정확하며, $K$ 와 $C$ 는 $S$ 의 분할성과 유형에 따라 달라진다.
• 비분할 확장($n=0$)과 유형 1의 $S$ 에 대해, $K$ 와 $C$ 는 모두 0이 되므로 $i_*$ 는 동형이다.
• $S$ 가 유형 2 또는 유형 1이면서 $n = \infty$ 인 경우, $K \cong SK_1(R[G])$ 이고 $C = 1$ 이므로 $SK_1$-장애물이 나타난다.
• $p$-군과 $0 < n < \infty$ 인 경우, $K \cong SK_1(R[G])[p^n]$ 이고 $C \cong SK_1(R[G])/p^n$ 이므로 토크션 장애물이 나타난다.
• 잔여체의 경우 $\mathrm{H}^1(\Delta, S[\mathcal{C}_G]) = 1$ 이면 $K_1(\kappa[G])$ 에 대한 수축 순서는 정확하고, 유리수 $K_1$-동형을 유도한다.