[论文解读] A Bloch-Wigner complex for SL_2

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

Advanced Algebra and Geometry被引用 3

一句话总结

本文提出了一种新的 Bloch-Wigner 复形，用于 $σ\mathrm{L}_2(F)$，可直接计算积分同调群 $σ\mathrm{H}_3(\mathrm{SL}_2(F),\mathbb{Z})$ 和 $σ\mathrm{H}_2(\mathrm{SL}_2(F),\mathbb{Z})$，并改进了经典 Bloch-Wigner 复形（后者用于计算 $K$-理论群）。该复形作为 $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$ 上 $σ\mathrm{SL}_2(F)$ 的积分同调的改进型 Bloch-Wigner 复形，而非 $K$-理论群。
• 将经典 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}$ 等元素的阶。

提出的方法

• 构造一个 $σ\mathbb{Z}[F^\times]$-模复形，其同调直接计算 $σ\mathrm{H}_3(\mathrm{SL}_2(F),\mathbb{Z})$ 和 $σ\mathrm{H}_2(\mathrm{SL}_2(F),\mathbb{Z})$。
• 定义映射 $\lambda: \mathcal{P}(F) \to \mathrm{S}^2_{\mathbb{Z}}(F^\times)$，满足 $[x] \mapsto (1-x) \otimes x$，并利用其核定义 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)$ 中的生成元与阶。
• 应用普遍离散双对数构造，证明任何满足五项函数方程的映射 $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 复形，使其可直接计算 $σ\mathrm{SL}_2(F)$ 的积分同调，而非 $K$-理论群？
• 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)$，显式计算表明其在 $\mathrm{H}_3(G,\mathbb{Z}) \to \mathcal{B}(\mathbb{F}_q)$ 映射下映射为 $4C_{\mathbb{F}_q}$，其中 $G$ 为 3-挠子群。
• $\mathcal{R}_\theta: \mathbb{Z}/(q+1) \to \mathcal{P}(\mathbb{F}_q)$ 的逆同构给出了一个普遍离散双对数，所有满足五项关系的映射 $L: \mathbb{F}_q^\times \to A$ 均可由此分解。
• 当 $q \equiv 3 \pmod{4}$ 时，四元数子群 $Q$（阶为 8）的 $σ\mathrm{H}_3(Q,\mathbb{Z}) \to \mathcal{B}(\mathbb{F}_q)$ 的像是一个阶为 2 的循环群，从而证明 $σ\{-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。