[论文解读] Unramified arithmetic Chern-Simons invariants

Frauke M. Bleher, Ted Chinburg+4 more|arXiv (Cornell University)|May 19, 2017

Geometric and Algebraic Topology被引用 4

一句话总结

本文提出一种新方法，通过阿廷映射计算循环无分支库默尔扩张下金的无分支算术陈-西蒙斯不变量，证明对每个 $ n > 1 $，存在无穷多个数域，使得其关于阶为 $ n $ 的循环群的不变量既平凡又非平凡。此外，本文进一步表明，金的不变量是伽罗瓦上同调配对的一种特化，该配对虽不同于但与麦卡勒姆与沙里菲研究的配对类似。

ABSTRACT

This paper concerns an arithmetic version of Chern-Simons theory for finite gauge group proposed by M. Kim. The object of this paper is to use a different approach to prove a formula for Kim's invariant in terms of Artin maps in the case of cyclic unramified Kummer extensions. One consequence is that for all $n > 1$, there are infinitely many number fields $F$ over which there are both trivial and non-trivial Kim invariants associated to cyclic groups of order $n$. The construction also shows that Kim's invariant in the cyclic case is a specialization of a bilinear pairing in Galois cohomology which resembles, but is different from, one considered by McCallum and Sharifi.

研究动机与目标

• 通过阿廷映射在循环无分支库默尔扩张背景下重新推导金的无分支算术陈-西蒙斯不变量。
• 证明对每个 $ n > 1 $，存在无穷多个数域 $ F $，使得阶为 $ n $ 的循环群的不变量既平凡又非平凡。
• 表明在循环情形下，金的不变量是伽罗瓦上同调中一个双线性配对的特化，该配对虽不同于但与麦卡勒姆与沙里菲研究的配对类似。

提出的方法

• 利用阿廷互反映射，通过无分支库默尔扩张的类域论表达金的不变量。
• 应用伽罗瓦上同调技术，定义一个双线性配对，其在循环情形下特化为金的不变量。
• 通过库默尔理论分析无分支循环扩张的结构，将不变量与类群及ray类群联系起来。
• 将所得配对与麦卡勒姆和沙里菲引入的配对进行比较，突出其相似性与关键差异。
• 运用同调代数，将不变量解释为 $ H^2(G, ext{Hom}(G, oldsymbol{ u}_n)) $ 中的上同调类，其中 $ G $ 为伽罗瓦群。
• 在数域的基变换与扩张下，建立构造的不变性与自然性。

实验结果

研究问题

• RQ1 对于哪些数域 $ F $，金的算术陈-西蒙斯不变量在阶为 $ n $ 的循环群下为零或保持非平凡？
• RQ2 在无分支库默尔扩张的设定下，金的不变量如何通过阿廷映射表达？
• RQ3 在循环情形下，金的不变量是否为更一般的伽罗瓦上同调配对的特化？若是，其与文献中已有配对的关系为何？
• RQ4 金的不变量与麦卡勒姆和沙里菲研究的双线性配对之间的确切关系是什么？
• RQ5 是否存在无穷多个数域 $ F $，使得对固定的 $ n > 1 $，其上同时存在平凡与非平凡的不变量？

主要发现

• 对每个 $ n > 1 $，存在无穷多个数域 $ F $，使得与阶为 $ n $ 的循环群相关的金不变量既平凡又非平凡。
• 在循环无分支库默尔情形下，金的不变量通过阿廷映射显式计算，将其与类域论联系起来。
• 该不变量是伽罗瓦上同调中一个双线性配对的特化，其结构与麦卡勒姆和沙里菲的配对相似但不完全相同。
• 该构造揭示了算术陈-西蒙斯理论与经典类域论之间通过阿廷互反映射的深刻联系。
• 上同调解释确认了不变量在域扩张与基变换下的不变性与自然性。
• 本文建立了一个新的上同调框架，推广了金在无分支情形下的原始构造。