[論文レビュー] 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 ≤ ∞ における位相的積公式を確立する p-進 J-ホモモルフィズムを導入し、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.

研究の動機と目的

• すべての素数 p に対して、ℝ からの古典的構成を ℚₚ に拡張することで、実 J-ホモモルフィズムの 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 スペクトルと関連付ける。
• トーラスに対する精密化されたブローウェル次数理論（定理 5.1）を、積公式の位相的基盤として用いる。
• K-理論の普遍被覆（K(ℚₚ)≥₂）を用いて、J-ホモモルフィズムが安定 Picard スペクトルに値をとることを保証する。
• ∞-圏における双対性とユニポテンツ層理論を活用し、オルビフォールドコホモロジーと代数的球体を関連づけ、積の自然な自明化を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的実 J-ホモモルフィズムは、どのように ℚₚ における p-進体に一般化可能か？ その構造的性質は何か？
• RQ2 すべての場所 p ≤ ∞ における J-ホモモルフィズムのグローバルな振る舞いは何か？ それらを一つの自然な積にまとめることは可能か？
• RQ3 p-進 J-ホモモルフィズムの積公式は、既知の数論的恒等式（例えば、二次ノルム剰余記号に関するヒルベルトの積公式）を回復または精緻化するか？
• RQ4 p-進 J-ホモモルフィズムは、特に奇素数において K(1)-局所安定ホモトピー論における J-写像の像とどのように関係するか？
• RQ5 積公式は高次 K-群へ拡張可能か？ また、バンツァックのムーアの完全列の一般化とはどのような関係にあるか？

主な発見

• すべての 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-コンパクト群法による。
• 積写像の自明性は、トーラスに対するブローウェル次数理論の位相的精緻化により確立され、これが全構成の基盤をなす。