[논문 리뷰] The third homology of SL_2 of local rings

Kevin Hutchinson|arXiv (Cornell University)|2013. 09. 19.

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

한 줄 요약

이 논문은 국소 환에서 $\mathrm{SL}_2$의 세 번째 호모로지 군을 $\mathbb{Z}[1/2]$ 계수를 사용하여 정밀한 블로흐 군 구성법을 통해 계산하며, 필드에서의 수신의 정리( Suslin's theorem)를 국소 정수환으로 일반화한다. 이는 이산 평가환환에 대해 국소화 정확수열을 수립하며, $\mathrm{H}_3(\mathrm{SL}_2(\mathcal{O}_v), \mathbb{Z}[1/2])$ 를 $\mathrm{H}_3(\mathrm{SL}_2(F), \mathbb{Z}[1/2])$ 와 정밀한 자르기 합동 군 $\mathcal{RP}_1(k)$ 로 연결한다. 이는 $p \geq 11$ 일 때 $\mathbb{Z}_p$ 와 같은 환에서의 명시적 계산을 가능하게 한다. 주요 기여는 $\mathrm{H}_3(\mathrm{SL}_2(A), \mathbb{Z}[1/2])$ 를 $K^\mathrm{ind}_3(A)[1/2]$ 와 $\mathcal{RP}_1(k)$ 로서의 구조적 기술을 제공함으로써, 고전적 결과를 비필드 환으로 확장하는 데 있다.

ABSTRACT

We describe the third homology of SL_2 of local rings over Z[1/2] in terms of a refined Bloch group. We use this to derive a localization sequence for the third homology of SL_2 of certain discrete valuation rings, and to make explicit computations for p-adic integers and other local rings.

연구 동기 및 목표

• 국소 정수환으로의 필드에서의 블로흐-바이너 정확수열을 $\mathrm{H}_3(\mathrm{SL}_2(F), \mathbb{Z}[1/2])$ 로부터 일반화하여 국소 정수환으로 확장한다.
• 정밀한 블로흐 군 $\mathcal{RB}(A)$ 를 사용하여 국소 정수환 $A$ 에 대해 $\mathrm{H}_3(\mathrm{SL}_2(A), \mathbb{Z}[1/2])$ 를 기술한다.
• 이산 평가환수에 대해 $\mathrm{H}_3(\mathrm{SL}_2(\mathcal{O}_v), \mathbb{Z}[1/2])$ 를 $\mathrm{H}_3(\mathrm{SL}_2(F), \mathbb{Z}[1/2])$ 와 $\mathcal{RP}_1(k)$ 로 연결하는 국소화 정확수열을 수립한다.
• $p \geq 11$ 일 때 $\mathrm{H}_3(\mathrm{SL}_2(\mathbb{Z}_p), \mathbb{Z}[1/2])$ 를 명시적으로 계산하여, 이가 $K^\mathrm{ind}_3(\mathbb{Q}_p)[1/2]$ 와 동형임을 보인다.

제안 방법

• 논문은 $\mathcal{RP}(k)$ 의 부분모듈로 정의된 정밀한 자르기 합동 군 $\mathcal{RP}_1(k)$ 를 사용하여 국소화 사상의 상사상(코어널)을 모델링한다.
• 스펙트럴 시퀀스 추론을 통해 $\mathrm{H}_3(\mathrm{SL}_2(A), \mathbb{Z}[1/2])$ 와 정밀한 블로흐 군 $\mathcal{RB}(A)$ 를 연결하며, 경계 호모모르피즘이 $\mathcal{RB}(A)[1/2]$ 에 떨어짐을 보인다.
• 이 방법은 $A^\times / (A^\times)^2$ 가 호모로지에 작용하는 데 의존하며, $\mathcal{RB}(A)$ 는 명시적 표현을 통해 정의된 $\mathbb{R}_A$-모듈로 정의된다.
• 국소 환에 대한 $K^\mathrm{ind}_3$ 에 관한 미르자이와 모카리의 결과를 활용하여 2를 역수로 만들었을 때 동형을 유도한다.
• 정밀한 교차비율 사상은 $H_3((L_\bullet)_{\mathrm{SL}_2(A)}) \cong \mathcal{RP}_1(A)$ 를 식별하며, 3차 수의 클래스가 $\mathcal{RP}_1(A)$ 의 생성자로 매핑됨을 보인다.
• 단위 $x \in A^\times$ 에 대해 $\left\langle\!\left\langle x \right\rangle\!\right\rangle D_A = \psi_1(x) - \psi_2(x)$ 를 증명하며, 이는 $x = \pm \Phi(a)u^2$ 이면 $\left\langle\!\left\langle x \right\rangle\!\right\rangle D_A = 0$ 임을 암시한다.

실험 결과

연구 질문

• RQ1 국소 환에서의 $\mathrm{SL}_2$ 의 세 번째 호모로지 군은 대수적 $K$-이론과 자르기 합동 군으로 어떻게 기술될 수 있는가?
• RQ2 유한 잔여체를 가진 국소 정수환으로의 필드에 대한 블로흐-바이너 정확수열은 확장 가능한가?
• RQ3 이산 평가환수의 $\mathrm{H}_3(\mathrm{SL}_2)$ 에 대해, 분수체와 잔여체를 연결하는 국소화 정확수열을 구성할 수 있는가?
• RQ4 $p \geq 11$ 일 때 $\mathrm{H}_3(\mathrm{SL}_2(\mathbb{Z}_p), \mathbb{Z}[1/2])$ 의 구조는 무엇인가?
• RQ5 $A^\times / (A^\times)^2$ 가 $\mathrm{H}_3(\mathrm{SL}_2(A), \mathbb{Z}[1/2])$ 에 작용하는 방식은 정밀한 블로흐 군 $\mathcal{RB}(A)$ 와 어떻게 관련되는가?

주요 결과

• 잔여체가 최소 10개 이상의 원소를 가지는 국소 정수환 $A$ 에 대해, $\mathrm{H}_3(\mathrm{SL}_2(A), \mathbb{Z}[1/2])$ 는 짧은 정확수열에 포함된다: $0 \to \mathrm{tor}(\mu_A, \mu_A)[1/2] \to \mathrm{H}_3(\mathrm{SL}_2(A), \mathbb{Z}[1/2]) \to \mathcal{RB}(A)[1/2] \to 0$.
• 잔여체가 충분히 큰 임의의 국소 정수환 $A$ 에 대해, 자연스러운 사상 $\mathrm{H}_3(\mathrm{SL}_2(A), \mathbb{Z}[1/2])_{A^\times} \to K^\mathrm{ind}_3(A)[1/2]$ 는 동형이다.
• 잔여체 $k$ 가 $U_1 = U_1^2$ 와 기술적 3-torsion 조건을 만족하는 이산 평가환수 $\mathcal{O}_v$ 에 대해, 국소화 정확수열이 존재한다: $0 \to \mathrm{H}_3(\mathrm{SL}_2(\mathcal{O}_v), \mathbb{Z}[1/2]) \to \mathrm{H}_3(\mathrm{SL}_2(F), \mathbb{Z}[1/2]) \to \mathcal{RP}_1(k)[1/2] \to 0$.
• 정밀한 자르기 합동 군 $\mathcal{RP}_1(k)$ 는 명시적으로 계산 가능하며, $\mathcal{RB}(k)$ 를 부분모듈로 포함하며, [5] 에 예시가 제시되어 있다.
• $p \geq 11$ 일 때 $\mathrm{H}_3(\mathrm{SL}_2(\mathbb{Z}_p), \mathbb{Z}[1/2]) \cong K^\mathrm{ind}_3(\mathbb{Q}_p)[1/2]$ 이며, 이는 호모로지 군이 $p$-진체의 분해 불가 $K_3$ 와 동형임을 보여준다.
• 3차 수를 가진 클래스 $C = C(x,y) \in \mathcal{RP}_1(A)$ 는 $x,y$ 와 무관하며 $3C = 0$ 를 만족하며, $\mathcal{RB}(A)$ 에 속한다. 이는 경계 호모모르피즘의 상이 $\mathcal{RB}(A)[1/2]$ 에 속함을 확인한다.