[论文解读] Ganea decompositions of classifying spaces

Yuri Berest, Yun Liu+1 more|arXiv (Cornell University)|Feb 21, 2026

Homotopy and Cohomology in Algebraic Topology被引用 0

一句话总结

本文通过基于连接的 Ganea 构造，发展紧致李群 BG 的理性同伦理分解，建立 Cohen–Macaulay 性质以及相关准不变量型同调代数 Qm(F, F′) 的显式表述。

ABSTRACT

We study homotopy decompositions of the classifying spaces $BG$ of compact connected Lie groups obtained by (relative) fiber-cofiber construction. Given a pair of Borel fibrations $ F o E o BG $ and $F' o E' o BG $, this construction yields a tower (telescope) of spaces $ X_{m}(F,F') $ over $BG$ indexed by $ \mathbb{Z}_+ $ that converges in the sense that $ ext{hocolim} \,(X_{m})\,$ is weakly homotopy equivalent to $BG$. We determine cohomological conditions on the fibrations that produce the spaces $X_{m}(F,F')$ with properties similar to those of the spaces of quasi-invariants of Weyl groups constructed by the first and third authors. We prove that, under these conditions, the resulting homotopy decompositions of $BG$ are sharp (over $\mathbb{Q}$), the spaces $X_{m}(F,F')$ are rationally formal and Cohen-Macaulay, their cohomology rings being finite rank free modules over $H^*(BG, \mathbb{Q})$. We construct many examples which include the fundamental (maximal torus) fibration $ G/T o BT o BG $ as well as the universal fibration $\, E_{ m com}G_{\bf 1} o B_{ m com}G_{\bf 1} o BG \,$ for the classifying space $B_{ m com}G$ of commuting elements in $G$ introduced by Adem and Gómez, as the first fibration in the pair. In most cases, we give an explicit presentation for the (equivariant) cohomology rings in terms of characteristic classes and compute the (equivariant) $K$-theory of the spaces involved. The paper contains an Appendix, where we re-examine the topological fiber-cofiber construction in an abstract setting, proving an $\infty$-categorical extension of the classical Ganea Theorem.

研究动机与目标

• 推动并构建 BG 的同伦分解，使其反映 Weyl 群的准不变量的特性。
• 将 Ganea 型构造扩展到 BG 上的纤维化的连接框架。
• 提供理性同调模型并证明所得代数 Qm(F, F′) 的自由性/Cohen–Macaulay 性质。
• 给出包括极大圆环的纤维化和通用对交换元的纤维化等明确示例。
• 在∞-范畴视角下发展 Ganea 构造及其在极限收敛方面的理解。

提出的方法

• 为两类 G-纤维丛 over BG 引入连接（相对 Ganea）构造。
• 对连接进行迭代，形成塔 X0(F,F′) → X1(F,F′) → … → BG，纤维为 Fm(F,F′)。
• 证明 H*(Xm(F,F′);Q) 是 H*(BG;Q) 的自由模，并给出收敛到 H*(BG;Q) 的 filtration。
• 给出显式表述 Qm(F,F′) = {f ∈ Q0(F,F′) | sα(f) ≡ f mod (θ)m · Q0(F,F′)} 并展示 Cohen–Macaulay 性质。
• 计算关键示例如 F = G/T 和 F′ = EcomG1 的 T-等变同调与（等变）K-理论。
• 讨论∞-范畴附录，扩展 Ganea 构造到 ∞-范畴并证实在超完备 ∞-拓扑空间中的收敛性。

实验结果

研究问题

• RQ1 连接基 Ganea 构造是否能产生与 Weyl 群准不变量性质相似的 BG 分解？
• RQ2 在纤维 F 与 F′ 的哪些条件下，代数 Qm(F, F′) 成为 Q[V]W 的自由模并具有 Cohen–Macaulay 结构？
• RQ3 如何在具体情况下如极大圆环和对交换元的纤维化，显式给出 Qm(F, F′) 的表述并计算其（等变）同调与 K-理论？
• RQ4 所构建的塔是否能给出清晰的理性同伦理分解并对 BG 得到退化的谱序？
• RQ5 ∞-范畴重新表述的 Ganea 塔是否可推广到对超完备 ∞-拓扑中的一般收敛性结果？

主要发现

• 对于 G 取极大圆环 T 与 Weyl 群 W 时，在给定假设下，代数 Qm(F, F′) 相对于 Q[V]W 是自由的，rank 等于 Q 的 H∗(F, Q) 的维数。
• 下降滤子 Q0(F, F′) ← Q1(F, F′) ← … 保证极限 limm Qm(F, F′) ≃ Q[V]W，并给出 BG 的锐化理性分解（通过退化的 Bousfield–Kan 谱序）。
• Xm(F, F′) 与 Fm(F, F′) 在 m > 0 的假设下为形式空间，且同调 Qm(F, F′) 相对于 Q[V]W 是 Cohen–Macaulay，模的秏有限。
• 具体示例包括基本圆环纤维化 G/T → BT → BG 与通用纤维化 EcomG1 → BcomG1 → BG，给出以球面束的 Euler 类为基础的显式有理同调表述。
• 附录给出 Ganea 构造的 ∞-范畴推广，证明在广义的 ∞-范畴设置中 Ganea 塔的收敛性。