[论文解读] 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-theory 的 Real-global 拆分，细化了经典拆分与 Brauer 诱导，并在 Real-global K-theory 中导出全局 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 类别化空间出发、映射到 Real-global K-theory 的高度结构化态射，并在 Real-global 无限循环空间上具有截面。
• 证明全局拆分在等变同伦理子群上诱导经典的等变拆分与明确的 Brauer 诱导。
• 将该拆分应用于在 Real-等变 K-theory 中对不稳定 Adams 运算进行刚性化，以实现全局自映射。

提出的方法

• 定义并分析映射至 KR，记作 η: Σ^∞_+ P → KR，其中 P 是 CP^∞ 的 Real-global 精细化。
• 构造一个 Real-global σ-环映射，在底层 Real-global 无限循环空间上提供截面。
• 使用扩展单位群 U 的 C-global 稳定拆分，通过截面将 Ω^•(sh^σ(Σ^∞_+ P)) 与 Ω^•(sh^σ KR) 联系起来。
• 证明 σ-去环轭与单位群的首选无限去环相一致，并产生一个全局 Segal–Becker 拆分。
• 将拆分与忘记 functors 下的经典等变拆分联系起来，在适当的设定中恢复 Segal–Becker 与 Crabb 的结果。
• 通过拆分定义全局 Adams 运算，并证明它们与 KR 上的 Real-equivariant ψ^n 的兼容性。

实验结果

研究问题

• RQ1 是否存在 η 的 Real-global 映射的截面，使 σ-循环拆分在极致-超交换 Real-global 结构下保持兼容？
• RQ2 全球 Segal–Becker 拆分是否能够细化并统一经典的 Segal–Becker、Real 与 Brauer 诱导框架，覆盖所有增强的李群？
• RQ3 在等变同伦理子群上的诱导拆分是否实现 Boltje–Symonds 的显式 Brauer 诱导？
• RQ4 是否能通过 Real-global 拆分将 Real-equivariant K-theory 中的不稳定 Adams 运算刚性化为全局自映射？
• RQ5 忽略 Real 或等变方向后如何在保持全局结构的同时恢复已知拆分？

主要发现

• 全局 Segal–Becker 拆分在扩展单位群的去环与截面构造作用下，在 KR 谱与其去环之间给出 C-global 等价。
• 该拆分与限制、膨胀、转移和乘法幂运算兼容，并且在紧致李群 G 与有限 G-CW 复形 A 上对 KR(A) 诱导 Boltje–Symonds 的显式 Brauer 诱导。
• σ-环向拆分对应单位群的首选无限去环并与 Real-global 背景下的 Bott 周期性对齐。
• 一个实际应用是将不稳定 Adams 运算刚性化为 Real-global 空间 BUP 的全局自映射，体现一个全局 Adams 运算框架。
• 在应用忘记 functors 到底层非 Real 或非全局等变设置时，结果可恢复经典拆分，同时在 Real-equivariant 背景中呈现全局 σ 结构控制的非加性。