[論文レビュー] A Bloch-Wigner complex for SL_2

Kevin Hutchinson|arXiv (Cornell University)|Jul 1, 2011

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})$ を直接計算する新しいBloch-Wigner複体を導入する。これは、$K$-理論群を計算する古典的Bloch-Wigner複体を精緻化したものであり、$F^\times$-加群として構成され、$F^\times$-余不変量を取ることで古典的複体を回復する。主な貢献は、任意の体、特に有限体を含む体について、明示的な生成子と関係式を用いて $\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)$ の整数ホモロジーを直接計算するように精緻化されたBloch-Wigner複体を構成すること。
• 古典的Bloch-Wigner定理を二次的閉体を超えて、有限体を含む任意の体へ拡張すること。
• $\mathrm{H}_3(\mathrm{SL}_2(F),\mathbb{Z})$ の構造と $K^\mathrm{ind}_3(F)$ との関係、特に $F^\times$ の作用を通じての理解を明確にすること。
• 有限体 $\mathbb{F}_q$ の場合に、生成子と関係式を明示的に提供すること。$\{-1\}$ や $C_{\mathbb{F}_q}$ のような要素の位数を含む。

提案手法

• ホモロジーが $\mathrm{H}_3(\mathrm{SL}_2(F),\mathbb{Z})$ と $\mathrm{H}_2(\mathrm{SL}_2(F),\mathbb{Z})$ を直接計算する $\mathbb{Z}[F^\times]$-加群の複体を構成する。
• $\mathcal{P}(F) \to \mathrm{S}^2_{\mathbb{Z}}(F^\times)$ で $[x] \mapsto (1-x) \otimes x$ を送る写像 $\lambda$ を定義し、その核を用いてBloch群 $\mathcal{B}(F)$ を定義する。
• $F^\times$ のホモロジーへの作用を、Grothendieck-Witt環 $\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)$ 内の生成子と位数を導出する。
• 普遍離散ディログリチミング構成を適用し、5項関数方程式を満たす任意の写像 $L: \mathbb{F}_q^\times \to A$ が、$\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 Bloch-Wigner複体をどのように精緻化すれば、$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})$ を直接計算し、古典的Bloch-Wigner複体を精緻化する。
• 有限体 $\mathbb{F}_q$ に対して、$q \equiv 3 \pmod{8}$ のとき $\mathcal{P}(\mathbb{F}_q) \cong \mathbb{Z}/(q+1)$ であり、$\{-1\}$ は $\mathcal{B}(\mathbb{F}_q)$ 内で位数2をもつ。
• $C_{\mathbb{F}_q} \in \mathcal{B}(\mathbb{F}_q)$ は位数 $\gcd(6, (q+1)/2)$ をもち、明示的な計算により、3階の部分群 $G$ に対して $\mathrm{H}_3(G,\mathbb{Z}) \to \mathcal{B}(\mathbb{F}_q)$ の写像で $C_{\mathbb{F}_q}$ が $4C_{\mathbb{F}_q}$ に写されることが示される。
• $\mathbb{Z}/(q+1) \to \mathcal{P}(\mathbb{F}_q)$ の同型の逆写像が、普遍離散ディログリチミングを定め、5項関係を満たすすべての写像 $L: \mathbb{F}_q^\times \to A$ がこの写像を経由して因数分解される。
• $\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-Sylow部分群を生成し、$\left[-1\right]$ は位数4をもつ。