[論文レビュー] A Real-global equivariant Segal--Becker splitting, explicit Brauer induction, and global Adams operations

Stefan Schwede|arXiv (Cornell University)|Mar 18, 2026

Homotopy and Cohomology in Algebraic Topology被引用数 0

ひとこと要約

論文は、Real-global セグアル–ベッカー分解をマップへのセクションを介して Real-global K-理論へと構築し、従来の分解と Brauer 導出を精緻化することを示し、Real-global K-理論におけるグローバル Adams 演算を導出する。

ABSTRACT

We prove a splitting result in global equivariant homotopy theory that is a simultaneous refinement of the Segal--Becker splitting and its `Real' and equivariant generalizations, and of the explicit Brauer induction of Boltje and Symonds. We show that the morphism of ultra-commutative Real-global ring spectra from $Σ^\infty_+ B_{ ext{gl}}U(1)$ to the Real-global K-theory spectrum that classifies the tautological Real $U(1)$-representation admits a section on underlying Real-global infinite loop spaces. We prove that this global Segal--Becker splitting induces the classical Segal--Becker splittings on equivariant cohomology theories, and that it induces the Boltje--Symonds explicit Brauer induction on equivariant homotopy groups. As an application we rigidify the unstable Adams operations in Real-equivariant K-theory to global self-maps of the Real-global space $\mathbf{BUP}$.

研究の動機と目的

• グローバル同時空間ホモトピー論において Segal–Becker、Real、Brauer 導出の側を統合する分解の改良を動機づけ、確立する。
• Real-global のクラスifying 空間から Real-global K-理論への高度に構造化された形態を構築し、Real-global 不動点空間上でセクションを許す。
• グローバル分解が古典的な同値分解と Brauer 導出を実際の同値ホモトピック群で導くことを示す。
• この分解を用いて Real-同値 K-理論の不安定な Adams 演算をグローバル自己写像として硬化させる。

提案手法

• η: Σ^∞_+ P → KR と表記される KR への写像を定義・解析する。ここで P は CP^∞ の Real-global な改良である。
• 基礎となる Real-global 不動点ループ写像 σ-ループを構成し、Underlying Real-global 不動点空間上でセクションを提供する。
• 拡張単位群 U の C-global 安定分解を用いて Ω^•(sh^σ(Σ^∞_+ P)) と Ω^•(sh^σ KR) の関係をセクションを介して関連付ける。
• σ-デループの解去と U の好みの無限デロープに整合し、グローバル Segal–Becker 分解を生み出す。
• 忘却写像の下での分解が古典的な同値分解と Crabb の結果を適切な設定で回復することを示す。
• 分解をグローバル Adams 演算として定義し、KR 上の Real-同値 ψ^n との整合性を証明する。

実験結果

リサーチクエスチョン

• RQ1 Real-global 写像 η のセクションが ultra-commutative Real-global 構造と整合する σ-ループ分解を与えるか？
• RQ2 グローバル Segal–Becker 分解は古典的な Segal–Becker、Real、Brauer 導出の枠組みを全ての augmented Lie 群に対して改良・統合できるか？
• RQ3 equivariant ホモトピー群上の誘導分解は Boltje–Symonds の明示的 Brauer 導出を実現するか？
• RQ4 Real-同値 K-理論の不安定 Adams 演算を Real-global 分解を用いてグローバル自己写像へ rigidify できるか？
• RQ5 Real または equivariant 方向を忘却すると既知の分解を回復できるが、グローバル構造を保ちながらどうなるか？

主な発見

• グローバル Segal–Becker 分解は、拡張ユニタリー群のデロープと、セクション構成を適用した後の KR スペクトルとの間に C-global 同値を生み出す。
• 分解は制限、膨張、転送、および乗法的乗数作用と整合し、Compact Lie 群 G と有限 G-CW 複体 A に対して KR(A) 上の Boltje–Symonds 明示的 Brauer 導出を誘発する。
• σ-ループ指向の分解はユニタリー群の好みの無限デロープと一致し、Real-global 文脈でのボトの周期性と整合する。
• 実務的な応用として、不安定 Adams 演算を Real-global 空間 BUP のグローバル自己写像へ rigidify することが挙げられ、グローバル Adams 演算の枠組みを反映する。
• 忘却写像を適用して基底となる非 Real または非グローバルな設定での古典的分解を回復する一方、Real-同値文脈ではグローバル σ-構造によって非加法性を示す。