Abstract:Robert Bruner \cite[Questions 6.1 and 6.2]{Bruner2026} asked whether the secondary cohomology of the fibers $F_n$, $F_{n\mathbb{Z}}$, and $F$ can be computed to determine the $E_3$-terms of their Adams spectral sequences, and whether the Bruner-Rognes two-extension formula for the ordinary Adams $d_2$ is intrinsic to secondary cohomology. In this work, we give an unconditional affirmative answer to both questions. Working in the Baues-Nassau secondary Steenrod algebra, we construct explicit secondary mapping-fiber resolutions for these fibers using a tracked Adem reduction algorithm and the Baues-Jibladze recursive completion. We determine the secondary Ext groups, independently recovering Bruner's $E_3$-terms: \[ \operatorname{Ext}_{\mathcal{B}}^{*,*}(H_{\mathcal{B}}^* F_n, \mathbb{F}_2) \cong \mathbb{F}_2 \oplus \Sigma^{1,n}\mathbb{F}_2, \] \[ \operatorname{Ext}_{\mathcal{B}}^{*,*}(H_{\mathcal{B}}^* F_{n\mathbb{Z}}, \mathbb{F}_2) \cong \mathbb{F}_2[h_0] \oplus \Sigma^{1,n}\mathbb{F}_2, \] \[ \operatorname{Ext}_{\mathcal{B}}^{*,*}(H_{\mathcal{B}}^* F, \mathbb{F}_2) \cong \mathbb{F}_2[h_0] \oplus \bigoplus_{j>0} \Sigma^{1,2^j}\mathbb{F}_2 \oplus \bigoplus_{\substack{i>0 \\ i \text{ not a power of } 2}} \Sigma^{0,2i-1}\mathbb{F}_2. \] This direct calculation answers Question 6.1. Finally, we prove that the primary shadow of the first secondary differential in our construction is identically the Bruner-Rognes Yoneda composite associated with the corresponding two-extension, thereby answering Question 6.2.
From: Vo Phuc Dang [view email]
[v1]
Sun, 17 May 2026 14:52:43 UTC (17 KB)
[v2]
Wed, 17 Jun 2026 14:51:21 UTC (24 KB)
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。