[論文レビュー] 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 $ に対して、巡回群の位数 $ n $ に対して、自明でない不変量と非自明な不変量を両方もつ数体 $ F $ が無限に存在することを示すこと。
• キムの不変量が、マカッカラムとシャリフィが研究したものとは異なるが類似した構造のガロアコホモロジーの双線形対応の特殊化として現れることを示すこと。

提案手法

• 非分岐クーマー拡大の文脈で、クラス体論を用いてアーティン再帰写像を用いてキムの不変量を表現する。
• ガロアコホモロジーの技法を用いて、巡回の場合にキムの不変量に特殊化される双線形対応を定義する。
• クーマー理論を用いて非分岐巡回拡大の構造を分析し、不変量を類群およびリーマン類群に関連付ける。
• 得られた対応をマカッカラムとシャリフィが導入したものと比較し、類似点と重要な相違点を強調する。
• ホモロジー代数を用いて、不変量を $ H^2(G, ext{Hom}(G, oldsymbol{ u}_n)) $ のコホモロジー類として解釈する。ここで $ G $ はガロア群である。
• 数体の底変換および拡張に関して、構成の不変性および自然性を確立する。

実験結果

リサーチクエスチョン

• RQ1 どの数体 $ F $ に対して、キムの算術チェーン＝シモンズ不変量が、巡回群の位数 $ n $ に対して自明または非自明のままであるか？
• RQ2 非分岐クーマー拡大の文脈において、キムの不変量はどのようにアーティン写像を用いて表現されるか？
• RQ3 キムの不変量が、より一般のガロアコホモロジー対応の特殊化として現れるのか。もしそうならば、既存の文献における対応とはどのように関係するか？
• RQ4 キムの不変量とマカッカラムとシャリフィが研究した双線形対応との正確な関係は何か？
• RQ5 固定された $ n > 1 $ に対して、自明でない不変量と非自明な不変量の両方をもつ数体 $ F $ が無限に存在するか？

主な発見

• 任意の $ n > 1 $ に対して、巡回群の位数 $ n $ に関連するキムの不変量が、自明でないものと非自明なものの両方をもつ数体 $ F $ が無限に存在する。
• キムの不変量は、アーティン写像を用いて明示的に計算可能であり、クラス体論と結びついている。
• 不変量は、マカッカラムとシャリフィのものとは同一ではないが構造的に類似したガロアコホモロジーの双線形対応の特殊化として現れる。
• 構成は、アーティン再帰写像を通じて、算術チェーン＝シモンズ理論と古典的クラス体論との深い関係を明らかにする。
• コホモロジー的解釈により、不変量の拡張および底変換に関する不変性と自然性が確認される。
• 本稿は、非分岐設定におけるキムの元々の構成を一般化する新しいコホモロジー的枠組みを確立する。