[论文解读] A K-theoretic approach to Artin maps

Dustin Clausen|arXiv (Cornell University)|Mar 22, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 13

一句话总结

本文提出了一套K-理论框架，通过函子性谱构造了全局、局部和有限域的阿廷映射，利用代数K-理论与拓扑循环同伦理论统一了类域论。该框架将经典的阿廷互惠律重新表述为同伦群中的映射，关键结果是通过K-理论谱的$K(1)$-局部化，给出了互惠律的新证明。

ABSTRACT

We define a functorial "Artin map" attached to any small $\bf{Z}$-linear stable $\infty$-category, which in the case of perfect complexes over a global field recovers the usual Artin map from the idele class group to the abelianized absolute Galois group. In particular, this gives a new proof of the Artin reciprocity law.

研究动机与目标

• 将阿廷互惠律推广至数域之外，使用代数K-理论与稳定$∞$-范畴。
• 为任意$ℤ$-线性稳定$∞$-范畴（包括域上的完美复形）构造函子性阿廷映射。
• 在单一同伦理论框架下统一处理全局、局部和有限域。
• 证明经典阿廷映射作为K-理论谱之间映射的$π_1$，从而为互惠律提供新证明。
• 通过$K(1)$-局部化与前期工作的乘积公式，将构造归约为基情形$\mathbb{Z}$。

提出的方法

• 为一个满足小性、幂等完备性的$\mathbb{Z}$-线性稳定$\infty$-范畴$\mathcal{P}$，定义局部紧致K-理论谱$\operatorname{K}(\operatorname{lc}_{\mathcal{P}})$，基于$\mathcal{P}^{\mathrm{op}}$-模在局部紧致阿贝尔群中的构造。
• 通过同伦拉直化构造赛尔默K-同调谱：$\operatorname{K^{\operatorname{Sel}}}(\mathcal{P}) := L_1\operatorname{K}(\mathcal{P}) \times_{L_1\operatorname{TC}(\mathcal{P})} \operatorname{TC}(\mathcal{P})$，结合K-理论与拓扑循环同伦理论。
• 利用前期工作中的乘积公式之$K(1)$-局部化，确立基情形$\mathcal{P} = \operatorname{Perf}(\mathbb{Z})$，该情形支配所有其他情形。
• 为域$F$建立映射$\operatorname{C}_F \to \pi_1\operatorname{K}(\operatorname{lc}_F)$，通过$\operatorname{LCA}_{\aleph}$中精确序列上的艾伦伯格诡计论证，证明其因子化于阿廷映射。
• 通过分析$L_{K(1)}\operatorname{K}$与$\operatorname{TC}$中的局部化序列，验证函子性与伽罗瓦作用的相容性，尤其针对$\mathbb{Q}_p$与$\mathbb{Z}[1/p]$。
• 利用对偶性与同伦理论配对，通过映射到$\Omega\operatorname{Pic}(S_{\widehat{p}})$，将$\operatorname{C}_F$与$\operatorname{G}_F^{ab}$中的元素关联，证明在$K(1)$-局部化后两者一致。

实验结果

研究问题

• RQ1 阿廷互惠律能否被重构为K-理论谱同伦群中的映射？
• RQ2 文献[C]中的乘积公式之$K(1)$-局部化是否足以构造所有域的阿廷映射？
• RQ3 通过$\pi_1$的谱构造，理想类群与伽罗瓦群之间的对应关系是否在所有$\mathbb{Z}$-线性范畴上保持函子性？
• RQ4 能否使用单一同伦理论构造，统一定义全局、局部与有限域的阿廷映射？
• RQ5 $K(1)$-局部化是否为必要条件，还是该对应关系在一般情形下即成立？

主要发现

• 对于全局域$F$，阿廷映射被恢复为同态$\operatorname{C}_F \to \pi_1\operatorname{K}(\operatorname{lc}_F)$，当$F$为有限域或全局域时，该同态为同构。
• 对于局部域，映射$\operatorname{C}_F \to \pi_1\operatorname{K}(\operatorname{lc}_F)$并非同构，但经适当的拓扑精化后成为同构。
• 该构造依赖于艾伦伯格诡计：在$\operatorname{LCA}_{\aleph}$中，短正合序列$F \to \mathbb{A}_F \to \mathbb{A}_F/F$意味着$F^\times$作用在K-理论中平凡，强制映射因子化于$\mathbb{A}_F^\times / F^\times$。
• 赛尔默K-同调谱$\operatorname{K^{\operatorname{Sel}}}(\mathcal{P})$被定义为包含$L_1\operatorname{K}(\mathcal{P})$与$\operatorname{TC}(\mathcal{P})$的同伦拉直化，为étale层化K-理论提供对偶。
• 本文证明，在$K(1)$-局部化后，$c \in \operatorname{C}_F$关联的类在$\Omega\operatorname{Pic}(S_{\widehat{p}})$中等于$g \in \operatorname{G}_F^{ab}$的类，当且仅当$c$与$g$被阿廷映射匹配。
• 作者猜想该等式在无$K(1)$-局部化时亦成立，尤其在虚二次域情形下，复乘法可能为$J$与$J^{et}$构造之间提供潜在桥梁。