On the ring of cooperations for real Hermitian K-theory

ジャクソン・モリス（Jackson Morris）による論文「ON THE RING OF COOPERATIONS FOR REAL HERMITIAN K-THEORY（実数体上のエルミート K-理論におけるコオペレーション環）」の技術的要約を以下に示します。

1. 研究の背景と問題設定

背景:
安定ホモトピー理論において、球面スペクトルのホモトピー群を計算するための強力な道具として、アダムス・スペクトル系列（Adams Spectral Sequence, ASS）が知られています。特に、実数体上の位相 K-理論の連結カバー $bo$に関するアダムス・スペクトル系列（$bo$-resolution）は、マッコーウォルド（Mahowald）らによって詳細に研究され、$v_1$-周期的な部分の決定に寄与しました。この解析の核心には、$bo \otimes bo$ のスペクトルレベルでの分解（$bo \otimes bo \simeq \bigoplus_{k \ge 0} \Sigma^{4k} bo \otimes HZ_k$）と、積分ブラウン・ギトラー（Brown-Gitler）スペクトル $HZ_k$ の存在がありました。

問題:
モティブ安定ホモトピー圏（Motivic Stable Homotopy Category）$SH(F)$において、エルミート K-理論スペクトル$KQ$ の「非常に有効なカバー（very effective cover）」である $kq$に対する同様の解析が求められています。特に、実数体$F = \mathbb{R}$上の$kq$-resolution（$kq$に基づくモティブ・アダムス・スペクトル系列）の$E_1$-ページ、すなわちコオペレーション環$\pi^{**}_{\mathbb{R}}(kq \otimes kq)$ の構造を決定することが主要な課題です。

課題:
古典的な $bo$の場合、積分ブラウン・ギトラースペクトル$HZ_k$ の存在が分解の鍵となりましたが、モティブ圏では、特定の例外を除いて積分ブラウン・ギトラースペクトルの構成が知られていません。したがって、マッコーウォルドの手法をそのまま適用できず、代数的な手法を用いた新たなアプローチが必要です。

2. 手法とアプローチ

本論文は、以下の戦略的ステップを踏んで問題を解決しています。

1. モティブブラウン・ギトラーコモジュールの導入:
   スペクトルの存在に依存せず、代数的対象である「モティブブラウン・ギトラーコモジュール」$B^R_0(k)$ を定義し、$H^{**}(kq)$ の分解を記述します。
   $$H^{**}(kq) \cong \bigoplus_{k \ge 0} \Sigma^{4k, 2k} B^R_0(k)$$
   これにより、コオペレーション環の計算が、コモジュール $B^R_0(k)$ に対する Ext 群の計算問題に帰着されます。

2. 代数アティヤ・ヒルツェブルヒ・スペクトル系列（aAHSS）の利用:
   $B^R_0(k)$ の Ext 群を計算するために、コモジュールのフィルトレーションに基づいた代数アティヤ・ヒルツェブルヒ・スペクトル系列（algebraic Atiyah-Hirzebruch Spectral Sequence, aAHSS）を構築します。

   • 基底ケース $B^R_0(1)$ に対して aAHSS を実行し、微分（differentials）を計算します。
   • 実数体 $\mathbb{R}$ 上の双対モティブ・スティーンロッド代数 $A^\vee_{\mathbb{R}}$ の構造（特に $\rho$ の存在）を反映し、複素数体 $\mathbb{C}$ の場合とは異なる微分が生じることを示します。

3. 帰納的プロセス:
   $B^R_0(k)$ に関する短完全系列（Theorem 2.11）を用いて、$k$ に関する帰納法を行います。偶数 $k$ と奇数 $k$ に対して、既知の $B^R_0(k/2)$ や $B^R_0(1)$ の結果を組み合わせて、一般の $k$ に対する Ext 群を構成します。

4. $\rho$-ボックシュタインと複素数体への比較:
   実数体 $\mathbb{R}$ と複素数体 $\mathbb{C}$ の間の関係（$\rho$-ボックシュタイン・スペクトル系列や基底変更 $-\otimes\mathbb{C}$）を利用し、$\mathbb{C}$ における既知の結果（Culver-Quigley の仕事）と対比させながら、隠れた拡張（hidden extensions）を決定します。

3. 主要な結果

論文は以下の主要な定理を証明しています。

• 定理 A（コオペレーション環の構造とスペクトル系列の崩壊）:
  実数体 $\mathbb{R}$ 上の $kq$に対するモティブ・アダムス・スペクトル系列$mASS_{\mathbb{R}}(kq \otimes kq)$の$E_2$-ページは、ブラウン・ギトラーコモジュールを用いて以下のように記述され、$E_2$-ページで崩壊（collapse）します。
  $$E_2^{s,f,w} \cong \bigoplus_{k \ge 0} \Sigma^{4k, 2k} \text{Ext}^{s,f,w}_{A(1)^\vee_{\mathbb{R}}}(\mathbb{M}^R_2, B^R_0(k))$$
  ここで、$B^R_0(k)$ は $k$ 番目の積分モティブブラウン・ギトラーコモジュールです。この結果は、$v_1$-ねじれを除いた $\pi^{**}_{\mathbb{R}}(kq \otimes kq)$ の完全な記述を与えます。

• 定理 B（高次コオペレーションと $kq$-resolution の $E_1$-ページ）:
  $kq \otimes kq^{\otimes n}$ に対するスペクトル系列も同様に $E_2$-ページで崩壊し、その構造は $B^R_0(k_1) \otimes \cdots \otimes B^R_0(k_n)$ の Ext 群の直和として記述されます。これにより、$kq$-resolution の $E_1$-ページの構造が $\pi^{**}_{\mathbb{R}}(kq)$ 上の加群として決定されました。

• 定理 C & D（シンプレクティック K-理論の分解）:
  シンプレクティック K-理論の非常に有効なカバー $ksp$ について、以下の分解が成り立つことを示しました。
  $$ksp \simeq kq \otimes HZ^{\mathbb{R}}_1$$
  ここで $HZ^{\mathbb{R}}_1$ は第一の積分ブラウン・ギトラースペクトルです。この分解は、$ksp$ のホモトピー群を計算する際の重要な道具となります。

4. 技術的詳細と新規性

• $\mathbb{R}$ 特有の微分:
  複素数体 $\mathbb{C}$ の場合、aAHSS の $d_3$ 微分は次数の理由から自明でしたが、実数体 $\mathbb{R}$ では $\rho$ の存在により、$d_3(\rho[3]) = \tau h_1[0]$ のような非自明な微分が生じます。これは Massey 積 $\langle \rho, h_0, h_1 \rangle$ に関連しており、実数体特有の構造を反映しています。
• チャートによる可視化:
  Ext 群の複雑な構造を、カウエイト（coweight, $s-w$）ごとに分類し、4 つのチャート（$cw \equiv 0, 1, 2, 3 \pmod 4$）に分けて提示しました。これにより、$\tau^4$ による周期性と、$\rho$ や $h_1$ による塔（towers）の構造が明確になりました。
• Culver-Quigley の結果の修正:
  複素数体 $\mathbb{C}$ における既存の結果（Culver-Quigley [CQ21]）において、$k \ge 2$ に対する Ext 群の記述に誤りがあったことを指摘し、実数体 $\mathbb{R}$ での計算を通じて正しい公式を導出しました。

5. 意義と将来の展望

• 理論的意義:
  本論文は、モティブ安定ホモトピー理論における $v_1$-周期的な部分の理解を深める重要な一歩です。特に、積分ブラウン・ギトラースペクトルが未構成である状況下で、代数的なコモジュールとスペクトル系列の手法を用いてコオペレーション環を決定した点は、将来的なモティブスペクトルの構成や、より一般的な基底スキーム上での計算への道を開くものです。
• 応用:
  得られた $E_1$-ページの構造は、$kq$-resolution を用いて球面スペクトルのホモトピー群を計算する際の基礎となります。また、$kq$-resolution は $v_1$-周期的ホモトピー理論と密接に関連しており、Belmont-Isaksen-Kong による $L$ スペクトルのホモトピー群との比較など、今後の研究の基盤となります。
• 将来の方向性:
  著者は、この結果を $C_2$-等変ホモトピー理論（$C_2$-equivariant homotopy theory）への拡張や、有限体や有理数体 $\mathbb{Q}$ などのより一般的な基底上でのコオペレーション環の計算に応用することを計画しています。特に、$C_2$-等変ブラウン・ギトラースペクトルとの関係性は、今後の共同研究の重要なテーマです。

総じて、本論文は実数体上のモティブ K-理論の計算において、代数的手法と幾何学的な洞察を巧みに融合させ、複雑なスペクトル系列の構造を解明した画期的な成果です。