[论文解读] On the relative K-group in the ETNC

Oliver Bräunling|arXiv (Cornell University)|Jun 28, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 41被引用 5

一句话总结

本文在正规序 $ \frak{A} $ 的情形下，建立了等变塔马瓜纳数猜想（ETNC）中相对 $ K $-群 $ K_0(\frak{A}, \bbR) $ 与局部紧致拓扑 $ \frak{A} $-模范畴的 $ K_1 $-群 $ K_1(\text{LCA}_{\frak{A}}) $ 之间的典范同构。该同构将塔马瓜纳数解释为具有自然哈尔测度结构的范畴中的虚拟对象，从而以绝对 $ K $-理论的角度为 ETNC 提供了新的阐释。

ABSTRACT

We consider the Burns-Flach formulation of the equivariant Tamagawa number conjecture (ETNC). In their setup, a Tamagawa number is an element of a relative K-group. We show that this relative group agrees with an ordinary K-group, namely of the category of locally compact topological modules over the order. Its virtual objects are an equivariant Haar measure in a precise sense. We expect that all relative K-groups in the ETNC will have analoguous interpretations. At present, we need to restrict to regular orders, e.g. hereditary.

研究动机与目标

• 为 Burns–Flach 形式下的 ETNC 中使用的相对 $ K $-群 $ K_0(\frak{A}, \bbR) $ 提供几何与范畴论解释。
• 用具体拓扑模范畴的绝对 $ K $-群替代抽象的相对 $ K $-群。
• 证明该范畴上的普遍行列式函子精确对应于哈尔测度，从而将 $ K $-理论与测度论不变量联系起来。
• 为正规序建立典范同构 $ K_1(\text{LCA}_{\frak{A}}) \to K_0(\frak{A}, \bbR) $，实现 ETNC 无需相对 $ K $-群的重表述。
• 为基于拓扑模 $ K $-理论的等变塔马瓜纳测度更广泛理论奠定基础。

提出的方法

• 引入局部紧致右 $ \frak{A} $-模的精确范畴 $ \text{LCA}_{\frak{A}} $，其拓扑与模作用相容。
• 利用 Deligne 的普遍行列式函子于 $ \text{LCA}_{\frak{A}} $，并借助 Clausen [Cla17] 的结果，证明其与哈尔测度一致。
• 构造涉及 $ K_n(\frak{A}) $、$ K_n(A_{\bbR}) $、$ K_n(\text{LCA}_{\frak{A}}) $ 和 $ K_{n-1}(\frak{A}) $ 的长正合序列，推广经典 $ K $-理论序列。
• 通过比较 $ K $-理论谱与行列式函子的普遍性质，证明关键同构 $ K_n(\text{LCA}_{\frak{A}}) \to K_{n-1}(\frak{A}, \bbR) $。
• 应用 Nenashev 对 $ K_1 $-群的表述，以 $ \text{LCA}_{\frak{A}} $-对象的双短正合序列描述 $ K_0(\frak{A}, \bbR) $。
• 利用 $ \bbR $ 是局部紧致拓扑域的事实，实现构造，从而与 $ p $-进或算术情形相区别。

实验结果

研究问题

• RQ1 ETNC 中的相对 $ K $-群 $ K_0(\frak{A}, \bbR) $ 能否被解释为具体范畴的绝对 $ K $-群？
• RQ2 局部紧致 $ \frak{A} $-模范畴上的普遍行列式函子是否同构于等变哈尔测度？
• RQ3 ETNC 中的塔马瓜纳数如何用 $ K_1(\text{LCA}_{\frak{A}}) $ 而非 $ K_0(\frak{A}, \bbR) $ 表示？
• RQ4 群 $ K_0(\frak{A}, \bbQ) $ 在 $ K_1(\text{LCA}_{\frak{A}}) $ 中的像是为何？其与 ETNC 中有理性的关系如何？
• RQ5 $ \text{Cl}(\frak{A}, \bbR) \to K_0(\frak{A}, \bbR) $ 的子群能否在新的 $ K_1(\text{LCA}_{\frak{A}}) $ 语言中显式描述？

主要发现

• 对任意有限维半单 $ \bbQ $-代数中的正规序 $ \frak{A} $，存在典范同构 $ K_1(\text{LCA}_{\frak{A}}) \to K_0(\frak{A}, \bbR) $，将相对 $ K $-群实现为绝对 $ K $-群。
• 范畴 $ \text{LCA}_{\frak{A}} $ 上的普遍行列式函子自然同构于等变哈尔测度，为 $ K_1(\text{LCA}_{\frak{A}}) $ 提供了几何解释。
• 塔马瓜纳数 $ R\tilde{\theta}(M, \frak{A}) \to K_0(\frak{A}, \bbR) $ 可被提升为 $ K_1(\text{LCA}_{\frak{A}}) $ 中的元素，从而为 ETNC 提供新表述。
• $ K_0(\frak{A}, \bbR) $ 可通过 $ \text{LCA}_{\frak{A}} $-模的双短正合序列表示，模去 $ (3\times 3) $-图的关联关系。
• 同构 $ K_1(\text{LCA}_{\frak{A}}) \to K_0(\frak{A}, \bbR) $ 暗示 ETNC 成立当且仅当其在 $ K_1(\text{LCA}_{\frak{A}}) $ 中的重表述成立。
• $ \text{ETNC} $ 中的扩展边界映射 $ \tilde{\rho}_{\frak{A}, \bbR}^1 $ 对应于 $ K_1(\text{LCA}_{\frak{A}}) $ 中的映射，提示了新的计算框架。