[论文解读] Galois Codescent For Motivic Tame Kernels

Jilali Assim, A. Movahhedi|arXiv (Cornell University)|Jan 22, 2019

Algebraic Geometry and Number Theory参考文献 14被引用 4

一句话总结

本文對數體的有限伽羅瓦擴域上 motivic tame K-群的伽羅瓦下降映射的核提供了明確描述，透過 motivic 上同調建立偶數 K-群的類型公式。它推導出 étale 上同調與 K-群 2-進部分消失的算術條件——基於分歧與 Frobenius 作用，特別是在 Q 的實數與完全實數 2-擴域中。

ABSTRACT

Let $L/F$ be a finite Galois extension of number fields with an arbitrary Galois group $G$. We give an explicit description of the kernel of the natural map on motivic tame kernels $H^2_{\mathcal{M}}(o_L, {\bf Z}(i))_{G} { ightarrow} H^2_{\mathcal{M}}(o_F, {\bf Z}(i))$. Using the link between motivic cohomology and $K$-theory, we deduce genus formulae for all even $K$-groups $K_{2i-2}(o_F)$ of the ring of integers. As a by-product, we also obtain lower bounds for the order of the kernel and cokernel of the functorial map $H^2_{\mathcal{M}}(F, {\bf Z}(i)) ightarrow H^2_{\mathcal{M}}( L, {\bf Z}(i) )^{G}$.

研究动机与目标

• 透過 motivic 上同調描述由有限伽羅瓦擴張 $ L/F $（群為 $ G $）誘導的 motivic tame K-群上自然映射的核。
• 透過 $ K $-理論與 motivic 上同調之間的 Bloch-Kato 同構，推導出偶數 $ K $-群 $ K_{2i-2}(o_F) $ 的類型公式。
• 在 $ \mathbb{Q} $ 的 2-擴域中，建立正 étale 上同調群 $ H^2_+(o_F[1/2], \mathbb{Z}_2(i)) $ 消失的必要與充分算術條件。
• 根據 $ 2i-2 \mod 8 $ 的同餘類與分歧行為，確定伽羅瓦 2-擴域 $ L/\mathbb{Q} $ 的 $ K_{2i-2}(o_L) $ 的 2-進部分何時消失。
• 透過構造具有任意 $ 2 $-秩的符號映射的余核的數體，解決 B. Kahn 對 étale 上同調中符號映射像的疑問。

提出的方法

• 利用 motivic Bloch-Kato 同構將 $ K $-理論問題轉化為 motivic 上同調問題，從而可使用局部化序列。
• 應用 Geisser 的 motivic 上同調局部化序列，將 $ H^2_{\mathcal{M}}(o_F, \mathbb{Z}(i)) $ 與 $ H^2_{\mathcal{M}}(F, \mathbb{Z}(i)) $ 關聯，促進核的分析。
• 使用 étale Tate 核 $ D_F^{(i)} $ 及擴域 $ E(\sqrt[p]{D_F^{(i)}})/E $，構造伽羅瓦下降的算術障礙。
• 利用 $ E(\sqrt[p]{D_F^{(i)}})/E $ 的伽羅瓦群上的 Frobenius 作用，特徵化轉移映射為同構的條件。
• 分析符號映射 $ \mathrm{sgn}_F: H^1(F, \mathbb{Z}_2(i))/2 \to \bigoplus_{v \text{ 為實位}} \mathbb{Z}/2 $，以確定 $ H^2_+(o_F[1/2], \mathbb{Z}_2(i)) $ 的結構。
• 使用涉及 $ H^2_+ $ 與 $ H^2 $ 的正合序列，將 $ K $-群的消失與上同調條件關聯，特別是在 $ \mathbb{Q} $ 的 2-擴域中。

实验结果

研究问题

• RQ1 伽羅瓦下降映射 $ H^2_{\mathcal{M}}(o_L, \mathbb{Z}(i))_G \to H^2_{\mathcal{M}}(o_F, \mathbb{Z}(i)) $ 的核的顯式結構為何？
• RQ2 在何種算術條件下，motivic 上同調的環的整數的轉移映射 $ \mathrm{tr}_i $ 成為同構？
• RQ3 對於伽羅瓦 2-擴域 $ L/\mathbb{Q} $，$ K_{2i-2}(o_L) $ 的 2-進部分在何種條件下消失，取決於 $ i \mod 8 $？
• RQ4 符號映射 $ \mathrm{sgn}_F $ 的像是什麼？能否使其具有任意的 $ 2 $-秩 $ \rho_i $？
• RQ5 擴域 $ L/F $ 的分歧行為，特別是在整除分歧指數的素數上，如何影響 motivic 轉移映射的核與余核？

主要发现

• 映射 $ H^2_{\mathcal{M}}(o_L, \mathbb{Z}(i))_G \to H^2_{\mathcal{M}}(o_F, \mathbb{Z}(i)) $ 的核，透過在 $ \mathrm{Gal}(E(\sqrt[p]{D_F^{(i)}})/E) $ 中 Frobenius 元素的線性獨立性，對所有整除分歧指數的素數 $ p $ 予以明確描述。
• 對於循環 $ p $-擴域 $ L/F $，$ K_{2i-2}(o_F) $ 的類型公式僅依賴於 $ L/F $ 中的分歧資料，如引理 4.12 與 4.13 所示。
• 對於 $ i \geq 2 $ 為奇數，存在完全實數域 $ F $，使得符號映射 $ \mathrm{sgn}_F $ 的像具有 $ 2 $-秩 $ \rho_i = n $，其中 $ n \geq 1 $ 為任意值，如定理 4.15 所證明。
• $ K_{2i-2}(o_L) $ 的 2-進部分在完全實伽羅瓦 2-擴域 $ L/\mathbb{Q} $ 中消失，當且僅當 $ L $ 在 $ \{2, \infty, \ell\} $ 外無分歧，且 $ \ell \equiv \pm 3 \pmod{8} $，如推論 6.5 所示。
• 當 $ 2i-2 \equiv 0 \pmod{8} $ 時，$ K_{2i-2}(o_L) $ 的 2-進部分在完全虛數 $ L $ 中消失，當且僅當 $ L $ 在 $ \{2, \infty, \ell\} $ 外無分歧，且 $ \ell \equiv \pm 3 \pmod{8} $，如推論 6.6 所示。
• 對於 $ 2i-2 \equiv 0 \pmod{8} $ 的完全實循環 2-擴域，$ K_{2i-2}(o_L) $ 的 2-進部分消失，當且僅當 $ L $ 在 $ \{2, \ell_1, \ell_2\} $ 外無分歧，且 $ \ell_1, \ell_2 \not\equiv 1 \pmod{8} $，以及 $ \ell_1 \not\equiv \ell_2 \pmod{8} $，如命題 6.7 所示。