[論文レビュー] 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(\text{LCA}_{\frak{A}}) $ の $ K_1 $-群の間で、標準的な同型写像を確立する。この同型により、タマガワ数が自然なハール測度構造を持つ圏における仮想的対象として特定され、絶対的 $ 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.

研究の動機と目的

• ETNCのバーンズ＝フラッチ形式における相対的 $ K $-群 $ K_0(\frak{A}, \bbR) $ に幾何的かつ圏論的な解釈を与えること。
• 抽象的な相対的 $ K $-群を、具体的な位相的モジュールの圏の絶対的 $ K $-群に置き換えること。
• この圏における普遍的行列式関手が、まさにハール測度に一致することを示し、$ K $-理論と測度論的不変量を結びつけること。
• 正則な順序 $ \frak{A} $ に対して、$ K_1(\text{LCA}_{\frak{A}}) \to K_0(\frak{A}, \bbR) $ の標準的同型を確立し、相対的 $ K $-群を含まないETNCの再定式化を可能にすること。
• 位相的モジュールの $ K $-理論を用いた、等長的タマガワ測度のより広範な理論の基盤を築くこと。

提案手法

• 局所コンパクトな右 $ \frak{A} $-加群の完全な圏 $ \text{LCA}_{\frak{A}} $ を導入し、加群作用と整合する位相を備えること。
• Clausen [Cla17] の結果を用いて、$ \text{LCA}_{\frak{A}} $ 上のデリーニの普遍的行列式関手が、ハール測度と一致することを示すこと。
• $ 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 $-群の表現を用いて、$ K_0(\frak{A}, \bbR) $ を $ \text{LCA}_{\frak{A}} $-対象の二重短完全列の言語で記述すること。
• $ \bbR $ が局所コンパクトな位相体であることを利用し、$ p $-進的または算術的状況とは区別される構成を可能にすること。

実験結果

リサーチクエスチョン

• RQ1 ETNCにおける相対的 $ K $-群 $ K_0(\frak{A}, \bbR) $ は、具体的な圏の絶対的 $ K $-群として解釈可能か？
• RQ2 局所コンパクト $ \frak{A} $-加群の圏における普遍的行列式関手は、等長的ハール測度と同型か？
• RQ3 ETNCにおけるタマガワ数は、$ K_0(\frak{A}, \bbR) $ の代わりに $ K_1(\text{LCA}_{\frak{A}}) $ の言語でどのように表現できるか？
• 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) $ は、$ (3\times 3) $-図式からの関係を modulo として、$ \text{LCA}_{\frak{A}} $-加群の二重短完全列による表示を持つ。
• $ K_1(\text{LCA}_{\frak{A}}) \to K_0(\frak{A}, \bbR) $ の同型は、ETNCが成り立つための必要十分条件が、$ K_1(\text{LCA}_{\frak{A}}) $ におけるその再定式化においても成り立つことを示唆する。
• ETNCにおける拡張された境界写像 $ \tilde{\rho}_{\frak{A}, \bbR}^1 $ は、$ K_1(\text{LCA}_{\frak{A}}) $ 内の写像に対応し、新たな計算フレームワークを示唆する。