[论文解读] A geometric reformulation of the representational assembly conjecture for the K-theory of fields with pro-l absolute Galois group

Gunnar Carlsson|arXiv (Cornell University)|Sep 22, 2013

Algebraic Geometry and Number Theory参考文献 2被引用 3

一句话总结

本文提出了对具有 pro-l 绝对伽罗瓦群的域上 K-理论中表示性组装猜想的几何重述，使用等变 K-理论与沿维数同态的导出完备化。它证明了沿该同态对等变 K-理论谱 $\mathcal{E}G_F$ 的导出完备化等价于代数闭包 K-理论的完备化，从而为从 $G_F$ 重构 $K(F)$ 的猜想提供了几何实现。关键结果是在 $l$-进完备化后，谱之间存在自然的、$G_F$-等变的同构。

ABSTRACT

In this paper we prove a result which establishes an equivalence between the representational assembly conjecture proposed by the author and a rigidity question, in the case of Galois groups which are pro-l groups. In additional work with R. Joshua, we will confirm the validity of this rigidity conjecture, thereby proving the conjecture in the case of a pro-l absolute Galois group.

研究动机与目标

• 基于 $G_F$ 单独地，构造一个几何的、函子性的且可计算的代数 K-理论谱的重构，适用于具有 pro-l 绝对伽罗瓦群 $G_F$ 的域 $F$。
• 通过证明沿维数同态 $\varepsilon$ 的 $K^G(k)$ 的导出完备化在完备化后可恢复 $K(F)$，从而解决表示性组装猜想。
• 建立 $G_F$-空间 $\mathcal{E}G_F$ 的等变 K-理论作为该完备化过程的几何模型。
• 证明对于诺特性近似 $G$-概形 $W$，自然映射 $\mathfrak{K}^G(W)^\wedge_\varepsilon \to \mathfrak{K}^G(\mathcal{E}G \times W)^\wedge_\varepsilon$ 是同构，从而将该猜想约化为一个参数化的刚性陈述。

提出的方法

• 构造一个具有连续 $G_F$-作用的紧致 $G_F$-等变仿射概形 $\mathcal{E}G_F$，其模型基于紧致群的分类空间。
• 为 $G$-概形 $W$ 定义等变 $K$-理论谱 $\mathfrak{K}^G(W)$，并利用沿维数同态 $\varepsilon: K^G(k) \to \mathbb{H}_l$ 的导出完备化 $(-)^\wedge_\varepsilon$ 对谱进行 $l$-进完备化。
• 利用 $\mathcal{E}G_F$ 的自由性，建立轨道概形与等变 K-理论之间的自然同构，即 $K(\mathcal{E}G_F/G_F) \simeq K^{G_F}(\mathcal{E}G_F)$。
• 证明 $K^{G_F}(\mathcal{E}G_F)$ 的 $l$-进完备化与 $K(k)$ 的 $l$-进完备化同构，从而确立潜在的 $l$-进收缩性。
• 通过证明映射 $\mathfrak{K}^G(W) \wedge_{K^G(k)} \mathbb{H}_l \to \mathfrak{K}^G(\mathcal{E}G \times W) \wedge_{K^G(k)} \mathbb{H}_l$ 对于诺特性近似 $G$-概形 $W$ 是同构，应用参数化刚性论证，利用余极限与 Tor 平凡性论证。
• 利用群表示环 $R[G_F]$ 的增广理想在 $K_*(\mathcal{E}G_F)$ 上作用平凡这一事实，这对于完备化同构至关重要。

实验结果

研究问题

• RQ1 能否仅从 $G_F$ 单独地，通过函子性方式重构具有 pro-l 绝对伽罗瓦群的域 $F$ 的代数 K-理论谱，而无需谱序列数据？
• RQ2 表示性组装映射 $\alpha_F: K^G(k)^\wedge_\varepsilon \to K^G(\overline{F})^\wedge_\varepsilon$ 是否为同构？能否通过几何方法证明这一点？
• RQ3 等变 K-理论的通用 $G_F$-空间 $\mathcal{E}G_F$ 是否能作为沿 $\varepsilon$ 的 $K^G(k)$ 的导出完备化的几何模型？
• RQ4 能否证明 $K^G(W)$ 沿 $\varepsilon$ 的完备化与 $K^G(\mathcal{E}G \times W)$ 的完备化同构，从而将该猜想约化为一个参数化的刚性问题？
• RQ5 是否存在一个典范的、$l$-进收缩的通用 $l$-紧致群的 $l$-进空间模型？$\mathcal{E}G_F$ 是否即为此类模型？

主要发现

• 沿维数同态 $\varepsilon$ 的基域 $k$ 的等变 K-理论的导出完备化等价于代数闭包 $\overline{F}$ 的 $K$-理论的 $l$-进完备化，即 $\mathfrak{K}^G(k)^\wedge_\varepsilon \simeq \mathfrak{K}(F)^\wedge_l$。
• 对于任意诺特性近似连续仿射 $G$-概形 $W$，映射 $\mathfrak{K}^G(W)^\wedge_\varepsilon \to \mathfrak{K}^G(\mathcal{E}G \times W)^\wedge_\varepsilon$ 是谱的同构。
• $\mathcal{E}G_F$ 的等变 K-理论满足 $K^{G_F}(\mathcal{E}G_F)^\wedge_\varepsilon \simeq K(\mathcal{E}G_F/G_F)^\wedge_l$，表明轨道概形捕捉到了完备化的 $K$-理论。
• $K^{G_F}(\mathcal{E}G_F)$ 的 $l$-进完备化等价于 $K(k)$ 的 $l$-进完备化，表明 $\mathcal{E}G_F$ 具有潜在的 $l$-进收缩性。
• 对于由 $\mathcal{E}G_F$ 的等变 K-理论导出的模 $M$，Tor 群 $\mathrm{Tor}^{R[G]}_*(M, \mathbb{F}_l)$ 消去，这意味着 $\mathbb{H}_l$-完备化在相关范畴中保持正合性。
• 主要定理建立了自然的、$G_F$-等变同构 $\mathfrak{K}^G(k)^\wedge_\varepsilon \simeq \mathfrak{K}^G(\mathcal{E}G \times \mathrm{Spec}(\overline{F}))^\wedge_\varepsilon$，从而在几何设定中确认了表示性组装猜想。