[论文解读] p-adic J-homomorphisms and a product formula

Dustin Clausen|arXiv (Cornell University)|Oct 26, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 27被引用 11

一句话总结

本文引入了 p-进 J-同态，即经典实数 J-同态在 p-进域上的类比，并建立了所有素数 p ≤ ∞ 处的拓扑积公式。关键结果是：从 K₂(ℚ) 到球面的 Picard 谱的这些 p-进 J-映射的乘积在谱层面上典范地平凡，从而在谱的层次上改进了希尔伯特关于二次互反律的积公式。

ABSTRACT

One-point compactification turns real vector spaces into spheres. In homotopy theory, this transformation gets encoded in a map called the "real J-homomorphism". Here we define and investigate p-adic J-homomorphisms, which sort of turn p-adic vector spaces into spheres. Our main theorem is a product formula for these J-homomorphisms, saying what happens when you start with a rational vector space. This formula specializes to Hilbert's version of the quadratic reciprocity law after applying second homotopy groups.

研究动机与目标

• 将经典实数 J-同态的构造从 ℝ 推广至所有素数 p 的 ℚₚ，定义并研究其 p-进类比。
• 在所有满足 p ≤ ∞ 的位置上，建立这些 p-进 J-同态的全局积公式，包括阿基米德情形。
• 证明从 K₂(ℚ) 导出的 J-映射的乘积在 Picard 谱中通过一个平凡映射，从而在同伦论术语中改进数论恒等式。
• 将 p-进 J-同态与高阶 K-理论及色谱同伦理论联系起来，特别是通过 K(1)-局部同伦理论中的 J-像。
• 探讨积公式的数论后果，特别是其在二次互反律中的特例化，以及向更高 K-群的推广潜力。

提出的方法

• 将 p-进 J-同态构造为两部分的复合：使用 May-Quinn-Ray-Tornehave 和 Snaith 的离散模型构造‘远离 p’的部分，以及通过 Bauer 的 p-紧李群构造处理‘在 p 处’的部分。
• 利用 K(1)-局部同伦理论和 K(1)-局部对数分析 J-同态在稳定同伦群中的像。
• 应用 Bousfield 局化和 Bousfield–Waldhausen 技巧，将 ℚₚ 的代数 K-理论与谱的 Picard 谱联系起来。
• 利用对环面的改进 Brouwer 超度理论（定理 5.1）作为积公式的拓扑基础。
• 通过 K-理论的万有覆盖（K(ℚₚ)≥₂）确保 J-同态的像落在稳定 Picard 谱中。
• 利用 ∞-范畴中的对偶性和单幂层理论，将轨道丛上同调与代数球面联系起来，从而建立乘积的典范平凡化。

实验结果

研究问题

• RQ1 如何将经典的实数 J-同态推广至 p-进域 ℚₚ？这类 p-进 J-同态的结构性质是什么？
• RQ2 J-同态在所有满足 p ≤ ∞ 的位置上的整体行为如何？能否将它们组合成一个单一的典范积？
• RQ3 p-进 J-同态的积公式是否能恢复或改进已知的数论恒等式，如希尔伯特对二次型范数余量符号的积公式？
• RQ4 p-进 J-同态如何与 K(1)-局部稳定同伦理论中的 J-像相关联，特别是在奇素数处？
• RQ5 该积公式能否推广至更高 K-群？其与 Banaszak 对 Moore 精确序列的推广有何关联？

主要发现

• 所有满足 p ≤ ∞ 的 p-进 J-同态的乘积，从 K₂(ℚ) 到 Pic(Sp)，在附录 A 的意义下典范地平凡。
• 在 π₂ 上，积公式特例化为希尔伯特对二次型范数余量符号的积公式，其中每个 π₂(J_ℚₚ) 实现了 p-进希尔伯特符号。
• 对每个奇素数 ℓ 和 k > 0，每个 J_ℚₚ 在 π₄ₖ 上的像同构于 ℓ 处 E(1)-局部球面在 π₄ₖ₋₁ 上的 J-同态的像。
• 所有 p-进 J-同态在 π₄ₖ 上的公共像同构于 K(1)-局部球面中的 J-像，确认了 p-进情形与实数情形之间的一致性。
• p-进 J-同态的构造可分解为‘良态部分’（远离 p）和‘野生部分’（在 p 处），后者通过 Bauer 的 p-compact 群方法构建。
• 乘积映射的平凡性通过环面的改进 Brouwer 超度理论的拓扑修正建立，该理论构成了整个构造的基础。