[논문 리뷰] K_1 of a p-adic group ring II. The determinantal kernel SK_1

Ted Chinburg, G. Pappas외 1명|arXiv (Cornell University)|2013. 03. 21.

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

한 줄 요약

이 논문은 $R$가 $p$-진 완비인 Noetherian 정수환으로서 특성 0이며 프로베누스 상승이 존재하고 약간의 추가 조건을 만족하는 경우, 군환 $R[G]$에 대한 행렬식 핵 $ {SK}_1(R[G])$의 구조를 결정한다. 아담스 작용을 통해 새로운 군 로그를 도입하고 호모로지 분해를 활용하여, 저자들은 $ {SK}_1(R[G])$가 $p$-부분군의 코너지 클래스를 따라 $ {H}_2(G_i,\mathbb{Z}) \otimes R/(F-1)R$의 직합과 동형임을 보여주며, 올리버의 결과를 고차원 환으로 일반화한다.

ABSTRACT

We describe the group SK_1(R[G]) for group rings R[G] where G is an arbitrary finite group and where the coefficient ring R is a p-adically complete Noetherian integral domain of characteristic zero which admits a lift of Frobenius and which also satisfies a number of further mild conditions. Our results extend previous work of R. Oliver who obtained such results for the valuation rings of finite extensions of the p-adic field.

연구 동기 및 목표

• 특성 0의 $p$-진 완비 Noetherian 정수환에서 프로베누스 상승이 존재하는 $p$-진 점근적 환에 대한 군환 $ {SK}_1$에 관한 R. 올리버의 결과를 고차원 환으로 일반화하는 것.
• 행렬식 이미지 $ {K}_1(R[G])$에 대한 아담스 작용을 이용하여, $p$-군에서 일반적인 유한군으로의 고전적 구성의 군 로그를 확장하는 새로운 군 로그를 개발하는 것.
• 군환 $ {SK}_1(R[G])$를 $p$-부분군의 코너지 클래스를 따라 직합으로 표현하고, 군 호모로지와 프로베누스 사상의 상자코어널에 따라 기술하는 것.
• 등변 Iwasawa 이론과 아델릭 리만-로흐 정리에 대한 기초 도구를 제공하며, 특히 $ {\mathbb{Z}$ 위의 고차원 스킴의 맥락에서의 응용을 위한 것.

제안 방법

• 행렬식 이미지 $ {Det}(\r{K}_1(R[G])) \cong \bigoplus_\chi N^{c\times}$ 에서 유도된 아담스 작용을 이용하여 $ {K}_1(R[G])$ 위에 새로운 군 로그를 정의한다.
• 환 $R$ 위의 프로베누스 자기사상 $F$ 의 작용을 이용하여, $ {SK}_1(R[G])$의 구조를 결정하는 데 핵심이 되는 코어널 $R/(F-1)R$ 의 성질을 분석한다.
• 군 $G$-작용 $ {\Psi}$ 에 따른 궤도 분해를 통해 $H_2(G, R[G_r])$ 와 $ {\overline{H}}_2(G, R[G_r])$ 를 분해하고, $p$-부분군의 코너지 클래스를 따라 합을 취한다.
• 군 호모로지에서의 핵심사상과 전이 사상의 응용을 통해 $p$-부분군 $G_i$ 에 대한 $H_2(G_i, \mathbb{Z})$ 를 전반적인 $ {SK}_1$ 군과 연결한다.
• 역극한에 대한 미트라-레플러 조건을 적용하여 $ {\varprojlim_m W_m((t))}/ (1-F)W_m((t))$ 를 계산하고, 핵심 몫의 비순환성(탄성 없음)을 보여준다.
• 예를 들어 $ {SK}_1(R[G]) \cong \bigoplus_j \left[ \r{\overline{H}}_2(G_{i_j}, \mathbb{Z}) \otimes R/(F-1)R \right]$ 와 같은 동형을 확립하며, $j$ 는 $p$-부분군의 코너지 클래스를 따라 움직인다.

실험 결과

연구 질문

• RQ1 프로베누스 상승이 존재하는 고차원 $p$-진 완비 환인 $R$ 에 대해, 군환 $R[G]$ 에서의 행렬식 핵 $ {SK}_1(R[G])$ 는 어떻게 계산할 수 있는가?
• RQ2 아담스 작용 같은 대수적 구조를 이용하여, 고전적 군 로그 구성 방식을 $p$-군에서 임의의 유한군으로 확장할 수 있는가?
• RQ3 $p$-부분군 $G_i$ 의 군 호모로지 $ {\overline{H}}_2(G_i, \mathbb{Z})$ 와 $ {SK}_1(R[G])$ 간의 정확한 관계는 무엇인가?
• RQ4 $p$-진 군환의 맥락에서, 코어널 $R/(F-1)R$ 는 $ {SK}_1(R[G])$ 의 구조를 어떻게 결정하는가?
• RQ5 프로베누스 상승은 고차원 설정에서 $ {SK}_1$ 의 소멸성 또는 계산 가능성 보장에 어떤 역할을 하는가?

주요 결과

• 군 $ {SK}_1(R[G])$ 는 $G$ 의 $p$-부분군의 코너지 클래스를 따라 $j$ 가 움직이는 동안 $\bigoplus_j \left[ \r{\overline{H}}_2(G_{i_j}, \mathbb{Z}) \otimes R/(F-1)R \right]$ 와 동형이다.
• 아담스 작용을 통해 $ {Det}(\r{K}_1(R[G]))$ 에서 유도된 새로운 군 로그는 고전적 로그를 $p$-군에서 임의의 유한군으로 확장한다.
• 만약 $R = \mathbb{Z}_p\langle\langle t^{-1}\rangle\rangle$ 또는 $W\{\{t\} ight\}$ 이면, 몫 $R/(1-F)R$ 는 $W[[t]]/(1-F)W[[t]]$ 와 동형이며, 이 코어널은 비순환적이다.
• 역극한 $ {\varprojlim_m W_m((t))}/(1-F)W_m((t))$ 를 $W_m[[t]]/(1-F)W_m[[t]]$ 로 나눈 몫은 $ {\varprojlim_m \bigoplus_{p \nmid k > 0} W_m t^{-k}}$ 와 동형이며, 이 역시 비순환적이다.
• 결과 $ {SK}_1(R[G]) \cong \bigoplus_j \left[ \r{\overline{H}}_2(G_{i_j}, \mathbb{Z}) \otimes R/(F-1)R \right]$ 는 올리버의 정리가 고차원 환으로 일반화된 것이다.
• 기본 가정 하에 $ {SK}_1(R[G])$ 의 구조는 $p$-부분군의 군 호모로지와 $R$ 에서의 프로베누스 작용에 의해 완전히 결정된다.