[논문 리뷰] A Bloch-Wigner complex for SL_2

Kevin Hutchinson|arXiv (Cornell University)|2011. 07. 01.

Advanced Algebra and Geometry인용 수 3

한 줄 요약

이 논문은 $\mathrm{SL}_2(F)$에 대한 새로운 블로흐-위너 복합체를 제안하며, 이 복합체는 정수 계수 호모로지 군 $\mathrm{H}_3(\mathrm{SL}_2(F),\mathbb{Z})$와 $\mathrm{H}_2(\mathrm{SL}_2(F),\mathbb{Z})$를 직접 계산한다. 이는 고전적 블로흐-위너 복합체가 $K$-이론 군을 계산하는 것을 개선한 것이다. 복합체는 $F^\times$-모듈로 구성되며, $F^\times$-coinvariants를 취할 경우 고전적 복합체로 복귀된다. 주요 기여는 임의의 체, 특히 유한체를 포함한 체에 대해 $\mathrm{SL}_2(F)$의 호모로지에 대한 정확한 생성자와 관계의 기술이다.

ABSTRACT

We introduce a refinement of the Bloch-Wigner complex of a field F. This is a complex of modules over the multiplicative group of the field. Instead of computing K_2 and indecomposable K_3 - as the classical Bloch-Wigner complex does - it calculates the second and third integral homology of SL_2 of the field. On passing to coinvariants for the action of the multiplicative group we recover the classical Bloch-Wigner complex. The case of finite fields is included throughout the article.

연구 동기 및 목표

• 임의의 체 $F$에 대해 $K$-이론 군이 아닌 $\mathrm{SL}_2(F)$의 정수 계수 호모로지를 직접 계산하는 개선된 블로흐-위너 복합체를 구성하는 것.
• 기존의 블로흐-위너 정리가 이차적으로 닫힌 체를 넘어서 임의의 체, 특히 유한체까지 확장되는지 확인하는 것.
• $\mathrm{H}_3(\mathrm{SL}_2(F),\mathbb{Z})$의 구조와 $K^\mathrm{ind}_3(F)$ 사이의 관계를 $F^\times$의 작용을 통해 명확히 하는 것.
• 특히 유한체 $\mathbb{F}_q$의 경우에 대해 호모로지 군의 명시적 생성자와 관계를 제공하는 것, 예를 들어 $\{-1\}$과 $C_{\mathbb{F}_q}$ 등의 원소의 차수를 포함한다.

제안 방법

• $\mathbb{Z}[F^\times]$-모듈의 복합체를 구성하여, 이 복합체의 호모로지가 직접적으로 $\mathrm{H}_3(\mathrm{SL}_2(F),\mathbb{Z})$와 $\mathrm{H}_2(\mathrm{SL}_2(F),\mathbb{Z})$를 계산하도록 하는 것.
• $\mathcal{P}(F) \to \mathrm{S}^2_{\mathbb{Z}}(F^\times)$인 사상 $\lambda$를 정의하여 $[x] \mapsto (1-x) \otimes x$로 보내고, 그 핵을 통해 블로흐 군 $\mathcal{B}(F)$를 정의하는 것.
• $F^\times$의 호모로지에 대한 작용을 고려하고, 그 작용이 그로텐디크-위트 링 $\mathrm{GW}(F)$를 통해 인식되도록 하여 $\mathrm{H}_2(\mathrm{SL}_2(F),\mathbb{Z})$의 모듈 구조를 이해하는 것.
• $\mathrm{SL}_2(\mathbb{F}_q)$ 내의 유한부분군(예: 허니우얼군과 순환군)의 호모로지를 분석하여 $\mathcal{P}(\mathbb{F}_q)$와 $\mathcal{B}(\mathbb{F}_q)$에서의 생성자와 차수를 유도하는 것.
• 모든 함수 $L: \mathbb{F}_q^\times \to A$가 5항관계를 만족시키면, $\mathcal{L}_\theta: \mathcal{P}(\mathbb{F}_q) \to \mathbb{Z}/(q+1)$를 통해 인수화됨을 보이기 위해 일반적인 이산 다이로그함수의 구성법을 적용하는 것.
• $\mathrm{H}_3(Q,\mathbb{Z})$에서의 명시적 사이클 표현을 사용하여 허니우얼 부분군 $Q$에 대해 $\mathcal{B}(\mathbb{F}_q)$로의 상을 계산하고, $q \equiv 3 \pmod{4}$일 때 $\{-1\}$의 차수가 2임을 증명하는 것.

실험 결과

연구 질문

• RQ1 블로흐-위너 복합체는 어떻게 개선되어야 하며, $K$-이론 군이 아닌 $\mathrm{SL}_2(F)$의 정수 계수 호모로지를 직접 계산할 수 있는가?
• RQ2 $F$가 임의의 체일 때, $\mathrm{H}_3(\mathrm{SL}_2(F),\mathbb{Z})$는 $\mathbb{Z}[F^\times/(F^\times)^2]$-모듈로서 어떻게 구조화되어 있는가?
• RQ3 유한체 $\mathbb{F}_q$에 대해 $\mathcal{B}(\mathbb{F}_q)$에서의 특정 원소, 예를 들어 $\{-1\}$과 $C_{\mathbb{F}_q}$의 차수는 각각 얼마인가?
• RQ4 유한체 $\mathbb{F}_q$에서의 일반적인 이산 다이로그함수는 $\mathcal{P}(\mathbb{F}_q)$와 $\mathcal{B}(\mathbb{F}_q)$의 구조와 어떻게 관련되어 있는가?
• RQ5 허니우얼 부분군 $Q \subset \mathrm{SL}_2(\mathbb{F}_q)$의 호모로지의 상은 $\mathcal{B}(\mathbb{F}_q)$에서 어떻게 나타나며, 이는 $\{-1\}$의 차수를 어떻게 결정하는가?

주요 결과

• 제안된 복합체는 $\mathbb{Z}[F^\times]$-모듈로서 $\mathrm{H}_3(\mathrm{SL}_2(F),\mathbb{Z})$와 $\mathrm{H}_2(\mathrm{SL}_2(F),\mathbb{Z})$를 직접 계산하며, 고전적 블로흐-위너 복합체를 개선한다.
• 유한체 $\mathbb{F}_q$에 대해 $\mathcal{P}(\mathbb{F}_q) \cong \mathbb{Z}/(q+1)$이며, $q \equiv 3 \pmod{8}$일 때 성립하며, $\{-1\}$은 $\mathcal{B}(\mathbb{F}_q)$에서 차수 2를 가진다.
• $C_{\mathbb{F}_q} \in \mathcal{B}(\mathbb{F}_q)$는 차수 $\gcd(6, (q+1)/2)$를 가지며, 명시적 계산을 통해 3- torsion 부분군 $G$에 대해 $\mathrm{H}_3(G,\mathbb{Z}) \to \mathcal{B}(\mathbb{F}_q)$ 사상에서 $4C_{\mathbb{F}_q}$로 보낸다.
• $\mathbb{Z}/(q+1) \to \mathcal{P}(\mathbb{F}_q)$의 역사상인 $\mathcal{R}_\theta$는 모든 함수 $L: \mathbb{F}_q^\times \to A$가 5항관계를 만족시키면 인수화되며, 이는 일반적인 이산 다이로그함수를 제공한다.
• $\mathrm{H}_3(Q,\mathbb{Z}) \to \mathcal{B}(\mathbb{F}_q)$의 상은 순서 2인 순환군이며, $q \equiv 3 \pmod{4}$일 때 $\{-1\}$의 차수가 $\mathcal{B}(\mathbb{F}_q)$에서 2임을 증명한다.
• $q \equiv 7 \pmod{8}$일 때, $\left[-1\right]$은 $\mathcal{B}(\mathbb{F}_q)$의 2-자리 부분군을 생성하며, 이때 $\left[-1\right]$의 차수는 4이다.