[论文解读] B(G) for all local and global fields

Robert Kottwitz|arXiv (Cornell University)|Jan 22, 2014

Advanced Algebra and Geometry参考文献 6被引用 18

一句话总结

本文引入并研究了局部和全球域 $ F $ 上线性代数群 $ G $ 的函子 $ B(F,G) $，推广了先前工作中提出的 $ \mathbf{B}(G) $ 函子。通过伽罗瓦丛和塔特定理，将 $ B(F,G) $ 构造为与伽罗瓦丛相关的代数上同调集 $ H^1_{\text{alg}}(\mathcal{E}(K/F), G(K)) $ 的余上确界，证明了对环面 $ T $，有 $ B(F,T) \cong (X_*(T) \otimes X(K))_{G(K/F)} $，并通过 $ z $-扩张将该结果推广至半单群，从而统一并推广了算术几何中扭子与伽罗瓦上同调理论。

ABSTRACT

Generalizing earlier results concerning p-adic fields, this paper develops a theory of B(G) for all local and global fields.

研究动机与目标

• 定义并研究从线性代数 $ F $-群到带基点集合的函子 $ G \mapsto B(F,G) $，推广早期工作中的 $ \mathbf{B}(G) $。
• 将环面的经典塔特定理同构推广为新同构 $ B(F,T) \cong (X_*(T) \otimes X(K))_{G(K/F)} $，利用伽罗瓦丛和典范类。
• 通过 $ z $-扩张和核心化理论，将该构造从环面推广至任意连通半单群。
• 统一并系统化算术几何时扭子与伽罗瓦上同调背后的上同调框架。
• 为 $ B(F,G) $ 提供一个概念性与计算性框架，其中 $ H^1(F,G) $ 自然地作为子集包含在内，从而更全面地理解算术不变量。

提出的方法

• 从有限伽罗瓦扩张 $ K/F $ 构造伽罗瓦丛 $ \mathcal{E}(K/F) $，利用典范类 $ \alpha(K/F) \in H^2(G(K/F), \mathbb{D}_{K/F}(K)) $，其中 $ \mathbb{D}_{K/F} $ 是具有特征群 $ X(K) $ 的原环面。
• 将代数上同调集 $ H^1_{\text{alg}}(\mathcal{E}(K/F), G(K)) $ 定义为 $ G(K) $-扭子在 $ \mathcal{E}(K/F) $ 作用下的集合，其定义在典范同构下是良定的。
• 通过包含扩张诱导的上浸入映射，将 $ B(F,G) $ 构造为所有有限伽罗瓦扩张 $ K/F $ 上 $ H^1_{\text{alg}}(\mathcal{E}(K/F), G(K)) $ 的余上确界。
• 利用沙皮罗引理和核心化映射，在塔特定理三元组的背景下关联不同扩张上的上同调集。
• 通过上积同构和塔上同调，将环面 $ T $ 的 $ B(F,T) $ 与余不变量 $ (X_*(T) \otimes X(K))_{G(K/F)} $ 关联，建立关键同构。
• 通过 $ z $-扩张将理论从环面推广至一般连通半单群，利用 $ B(F,G) $ 与此类扩张相容的事实。

实验结果

研究问题

• RQ1 如何将 [Kot97] 中的函子 $ \mathbf{B}(G) $ 推广至所有局部和全球域，包括数域和 $ p $-进域？
• RQ2 环面 $ T $ 的 $ B(F,G) $ 的精确结构是什么？它与塔特-中谷对偶性及伽罗瓦上同调有何关系？
• RQ3 能否通过典范同构使 $ B(F,G) $ 的构造独立于选择，特别是在上浸入与核心化背景下？
• RQ4 $ B(F,G) $ 与 $ H^1(F,G) $ 的关系如何？在何种意义上它是标准伽罗瓦上同调集的自然扩充？
• RQ5 伽罗瓦丛 $ \mathcal{E}(K/F) $ 及其关联类 $ \alpha(K/F) $ 在定义与计算 $ B(F,G) $ 中起什么作用？

主要发现

• 对任意局部或全球域 $ F $ 上的环面 $ T $，存在典范同构 $ B(F,T) \cong (X_*(T) \otimes X(K))_{G(K/F)} $，其中 $ K/F $ 是分裂 $ T $ 的有限伽罗瓦扩张，当 $ F $ 为全球域时 $ X(K) $ 为 $ K $ 上零度除子群，当 $ F $ 为局部域时为 $ \mathbb{Z} $。
• 当 $ F $ 为 $ p $-进域时，集合 $ B(F,G) $ 自然同构于 $ \mathbf{B}(G) $，将 [Kot97] 的结果推广至所有局部和全球域。
• 包含关系 $ H^1(F,G) \hookrightarrow B(F,G) $ 是自然且典范的，表明 $ B(F,G) $ 是伽罗瓦上同调的典范扩充。
• 当 $ F $ 为局部域时，若 $ G $ 为半单群，则 $ B(F,G) $ 有限，且基本元素集 $ B(F,G)_{\text{bsc}} $ 有限且可通过牛顿点计算。
• 该理论与核心化和上浸入映射相容，且 $ B(F,G) $ 的余上确界构造确保了函子性与选择无关性。
• 本文建立了 $ H^1_{\text{alg}} $-集的沙皮罗引理的一般化，允许在扩张之间传递上同调数据。