[論文レビュー] Cellularity of hermitian K-theory and Witt theory

Oliver Röndigs, Markus Spitzweck+1 more|arXiv (Cornell University)|Mar 16, 2016

Algebraic Geometry and Number Theory参考文献 10被引用数 5

ひとこと要約

この論文は、任意の点の残渣特徴が2でない底scheme上で、ヘルミートK理論（KQ）とウィット理論（KW）がセルラーモチビックスペクトルであることを確立する。クaternion的グレアマンニアンの幾何と、標準的シンプレクティックバンドルのテーオロジカルなスパンのセルラリティに関する帰納的議論を用いて、これらのスペクトルが懸濁とホモトピー余極限を介してモチビック球面から構成されることを証明し、$π_{*,*}$-同型を通じて安定同型の検出が強力に可能になる。

ABSTRACT

Hermitian K-theory and Witt-theory are cellular in the sense of stable motivic homotopy theory over any base scheme without points of characteristic two.

研究の動機と目的

• 安定モチビックホモトピー圏におけるヘルミートK理論とウィット理論のセルラリティを確立すること。
• KQとKWを含むセルラーモチビックスペクトルの枠組みを拡張し、モチビックホモトピー理論と二次形式論において中心的役割を果たすものとすること。
• KQのスライスを計算し、モレルの$π_1$-予想を証明するための基盤を提供すること。
• 代数的K理論におけるセルラリティ戦略を、シンプレクティック幾何学を用いてヘルミートK理論とウィット理論へ一般化すること。
• モチビックスペクトルKQとKWが、ホモトピー余極限とセルラ構成を介して、球面スペクトルの懸濁から構成されることを示すこと。

提案手法

• クaternion的グレアマンニアン$ηθ\text{Gr}(r,n)$を、アフィン空間による$π$-フィルトレーションを持つ滑らかでアフィンなスキームとして扱う。
• ホモトピー純粋性と自明な正規バンドルを用いて、トム空間をモチビック球面$S^{2n_{ij},n_{ij}}$のワジに分解し、セルラリティを示す。
• $ηθ\text{Gr}(r,n)$上の標準的シンプレクティックバンドルのランクに関する帰納的議論を適用し、直和のトム空間がセルラーモデルであることを示す。
• セルラスペクトルに対して、安定モチビック弱同型は$π_{*,*}$-同型によって検出可能であるという事実を用い、構造的解析を可能にする。
• ×\text{KQ}と$×\text{HP}^{1+}$-スペクトル$×\text{BO}^{\text{geom}}$との同型関係を用い、$×\text{BO}^{\text{geom}}$がセルラスペクトルのホモトピー余極限であることを示す。
• 2つ中1つが同型である性質と、懸濁および余積に関しての閉包性を用いて、KQとKWのセルラリティを結論づける。

実験結果

リサーチクエスチョン

• RQ1 特徴が2でない底scheme上で、安定モチビックホモトピー圏におけるヘルミートK理論はセルラーモデルか？
• RQ2 クaternion的グレアマンニアン上の幾何的フィルトレーションとトム空間構成を用いて、KQのセルラリティを確立できるか？
• RQ3 KQのセルラリティは、$σ$-構成と$σ$-作用を介して、ウィット理論KWのセルラリティを示すに十分か？
• RQ4 KQのスライスフィルトレーションは、そのセルラリティと$π_{*,*}$-検出を用いて計算可能か？
• RQ5 無限大クaternion的グレアマンニアン$×\text{HGr}$のモチビックホモトピー型は何か？ そしてKQとどのように関係するか？

主な発見

• 任意の正則ネーアマン・分離可能で有限クルール次元を持つ底schemeで、特徴が2である点を持たない場合、ヘルミートK理論$×\text{KQ}$とウィット理論$×\text{KW}$はセルラーモチビックスペクトルである。
• スペクトル$×\text{KQ}$はホモトピー余極限$\underset{n\text{ odd}}{\operatornamewithlimits{hocolim}}\;\Sigma^{4n,2n}\Sigma^{\infty}\mathbf{Z} \times \mathbf{HGr}$に同型であり、ここで$\mathbf{HGr}$は無限大クaternion的グレアマンニアンである。
• 無限大グレアマンニアン$\mathbf{HGr}$は、有限次元クaternion的グレアマンニアン$\mathbf{HGr}(n,2n)$のフィルトレーション余極限であり、それぞれがアフィン空間によるセルラフィルトレーションを持つ。
• KQのスライスは、$q$が偶数のとき$\mathsf{s}_{q}(\u00d7\text{KQ}) \cong \Sigma^{2q,q}\mathbf{MZ} \vee \bigvee_{i < q/2} \Sigma^{2i+q,q}\mathbf{MZ}/2$、$q$が奇数のとき$\bigvee_{i < (q+1)/2} \Sigma^{2i+q,q}\mathbf{MZ}/2$として計算可能である。
• KQのセルラリティにより、KQ-加群間の安定モチビック弱同型は$\pi_{*,*}$-同型によって検出可能であることが示される。
• KQのセルラリティは、モレルの$\pi_1$-予想の証明において中心的役割を果たし、$\pi_{*,*}$-データを用いてスライスフィルトレーションを計算可能にする。