pith. sign in

arxiv: 2606.02779 · v2 · pith:YFFLF67Tnew · submitted 2026-06-01 · 🧮 math.AT

Burklund-Lin-Wang-Xu Methods in the Cofiber-of-Tau Formalism and Applications to Equivariant Slice Differentials

Yuchen Wu This is my paper

Pith reviewed 2026-06-28 11:23 UTC · model grok-4.3

classification 🧮 math.AT
keywords hidden extensionsfiltered spectracofiber-of-τ formalismslice spectral sequencesequivariant homotopyLeibniz ruleMahowald trickexotic transfer differentials
0
0 comments X

The pith

Hidden extensions along arbitrary maps of filtered spectra can be analyzed with generalized Leibniz and Mahowald rules, producing new exotic transfer differentials in C4-slice spectral sequences.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper uses the cofiber-of-τ formalism to study the category of filtered spectra and defines hidden extensions along arbitrary maps within it. It extends several known computational principles from the Adams spectral sequence, including generalized Leibniz rules and Mahowald tricks, to this wider setting with a refined layered notion of extension. These tools are applied to equivariant slice spectral sequences to identify new families of exotic transfer differentials in the C4-slice spectral sequences for the Hill-Hopkins-Ravenel theories BP((C4)) at every level m at least 1. A sympathetic reader would care because the approach supplies explicit rules for computing differentials that were previously inaccessible outside the Adams case.

Core claim

By reinvestigating spectral sequences through the (∞,1)-category of filtered spectra in the cofiber-of-τ formalism, hidden extensions along arbitrary maps are defined and analyzed. This yields computational principles that extend the generalized Leibniz rule and generalized Mahowald trick of Lin-Wang-Xu as well as Burklund's Leibniz rule for total differentials, with a slightly sharpened layered formulation that applies even to the Adams spectral sequence. As an application, new families of exotic transfer differentials are obtained in the C4-slice spectral sequences for BP((C4))<m> for every m ≥ 1.

What carries the argument

The cofiber-of-τ formalism for the (∞,1)-category of filtered spectra, which carries the definition of hidden extensions along arbitrary maps and the associated layered computational principles.

Load-bearing premise

The cofiber-of-τ formalism provides a suitable framework for the (∞,1)-category of filtered spectra in which hidden extensions along arbitrary maps can be defined and analyzed with the stated computational principles.

What would settle it

An explicit computation showing that one of the claimed exotic transfer differentials does not occur in the C4-slice spectral sequence for BP((C4))<m> at some m, or a counterexample where the generalized Leibniz rule fails for a specific map of filtered spectra.

Figures

Figures reproduced from arXiv: 2606.02779 by Yuchen Wu.

Figure 1
Figure 1. Figure 1: Extensions along [ℎ2] : 𝑋 = S 0,0 HF2 → 𝑌 = S −3,−4 HF2 at stem 45, and their crossings. 46 [PITH_FULL_IMAGE:figures/full_fig_p046_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Potential crossings for 𝑑5 (ℎ5𝑃𝑒0) = 𝑑0Δℎ 2 0 𝑒0 on the 𝐸3, 𝐸4 and 𝐸5-page. • Every differential has no crossing on the 𝐸2-page. • A crossing for this 𝑑5 on the 𝐸3-page is a pair 𝑥 ′ ∈ 𝑍 9+𝑎,56+9+𝑎 4−𝑎−𝑏 , 𝑦′ ≠ 0 ∈ 𝐸 14−𝑏,55+14−𝑏 5−𝑎−𝑏 with 1 ⩽ 𝑎 ⩽ 1, 0 ⩽ 𝑏 ⩽ 2 so that 𝑑5−𝑎−𝑏 (𝑥 ′ ) = 𝑦 ′ . In other words, this corresponds to an essential differential whose source and target lie in the shaded region for th… view at source ↗
Figure 3
Figure 3. Figure 3: Generalized Leibniz rule. Proof. Item 1,2 and 4 suggest the existence of [𝑥] ∈ 𝜋𝑡−𝑠,𝑡(𝑋/𝜏 𝑛 ), [𝑥∞] ∈ 𝜋𝑡−𝑠−1,𝑡+𝑟 (𝑋/𝜏 𝑈1 ) and [𝑦] ∈ 𝜋𝑡−𝑠,𝑡+𝑚 (𝑌/𝜏 𝑛−𝑚) lifting 𝑥, 𝑥∞ and 𝑦, such that 𝜏 𝑗 𝑓 [𝑥] = 𝜏 𝑚+𝑗 [𝑦] and 𝛿 𝑈 𝑛 [𝑥] = 𝜏 𝑟−𝑛 [𝑥∞] due to Lemma 3.23. Also, item 3 implies we can find [𝑥∞] ′ ∈ 𝜋𝑡−𝑠−1,𝑡+𝑟 (𝑋/𝜏 𝑈1 ) and [𝑦∞] ′ ∈ 𝜋𝑡−𝑠−1,𝑡+𝑟+𝑙(𝑌/𝜏 𝑈1−𝑙 ) lifting 𝑥∞ and 𝑦∞, so that 𝜏 𝑖 𝑓 [𝑥∞] ′ = 𝜏 𝑖+𝑙 [𝑦∞] ′ . T… view at source ↗
Figure 4
Figure 4. Figure 4: Deducing 𝑑4 (ℎ0ℎ 2 3𝐷2) = 𝑔 2𝑛 through generalized Leibniz rule. We choose our inputs as follows: • The differential 𝑑2 (ℎ 2 3𝐷2) = ℎ0ℎ2Δ𝑔2 in the Adams SS of S 0 . • The distinguished triangle (from [LWX24b, Proposition 3.20]) S 1,2 HF2 [ℎ0] −−−→ S 0,0 HF2 𝑖 −→ cof(2)HF2 𝑝 −→ S 1,1 HF2 together with the extension 𝑑 [ℎ0],𝐸4 2 (ℎ0ℎ2Δ𝑔2) = 𝑔 2𝑛. The latter can be deduced via GMT (Theorem 4.23) from the diffe… view at source ↗
Figure 5
Figure 5. Figure 5: Generalized Mahowald trick. Remark 4.24. We briefly discuss how to choose parameters when we apply Theorem 4.23. • The parameters 𝑛,𝑚,𝑙 are fixed by the desideratum. • The parameter 𝑗 can be as large as possible to guarantee the extension from 𝑥 to 𝑥 is unob￾structed by early boundaries (i.e. 𝜏-power torsion lifts). In practice, often 𝑗 = 0 suffices. • The parameter 𝑖 is fine-tuned towards two goals: the e… view at source ↗
Figure 6
Figure 6. Figure 6: Deducing 𝑑5 (ℎ5𝑃𝑒0) = 𝑑0Δℎ 2 0 𝑒0 through generalized Mahowald trick. • The distinguished triangle (from [LWX24b, Proposition 3.20]) S 1,2 HF2 [ℎ1] −−−→ S 0,0 HF2 𝑖 −→ cof(𝜂)HF2 𝑝 −→ S 2,2 HF2 together with the differentials 𝑑2 (ℎ1Δ1ℎ 2 1 [2]) = ℎ5𝑃𝑒0 [0], 𝑑2 (𝑑0𝑔 2 [2]) = 𝑑0Δℎ 2 0 𝑒0 [0] in the HF2-Adams SS of cof(𝜂). • Burklund’s [Bur21] hidden extension [ℎ0] · [ℎ0𝑖ℎ5] = 𝛿 4 2 [ℎ1Δ1ℎ 2 1 ] + 𝜏 2 [𝑑0𝑔 2 ]… view at source ↗
Figure 7
Figure 7. Figure 7: A sketch of the proof of Theorem 5.29. 90 [PITH_FULL_IMAGE:figures/full_fig_p090_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: The 𝐶4-slice spectral sequence of BP((𝐶4))⟨1⟩, starting from its 𝐸5-page. 94 [PITH_FULL_IMAGE:figures/full_fig_p094_8.png] view at source ↗
read the original abstract

We reinvestigate the theory of spectral sequences by studying the $(\infty,1)$-category of filtered spectra through the cofiber-of-$\tau$ formalism of Burklund-Isaksen-Pstragowski-Wang-Xu. In this framework, we define and analyze hidden extensions along arbitrary maps of filtered spectra, establishing computational principles that extend the generalized Leibniz rule and the generalized Mahowald trick of Lin-Wang-Xu, as well as Burklund's Leibniz rule for total differentials, from the Adams spectral sequence to this broader setup. Our formulation uses a more refined, layered notion of extension, which slightly sharpens these statements even for the Adams spectral sequence. As an application, we study equivariant slice spectral sequences and obtain new families of "exotic transfer" differentials in the $C_4$-slice spectral sequences for the Hill-Hopkins-Ravenel theories $\mathrm{BP}^{((C_4))}\langle m\rangle$ for every $m \ge 1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper reinvestigates spectral sequences via the cofiber-of-τ formalism in the (∞,1)-category of filtered spectra. It defines hidden extensions along arbitrary maps of filtered spectra and extends the generalized Leibniz rule, generalized Mahowald trick (from Lin-Wang-Xu), and Burklund's Leibniz rule for total differentials from the Adams spectral sequence to this setting, using a refined layered notion of extension that sharpens even the Adams case. As an application, it derives new families of exotic transfer differentials in the C4-slice spectral sequences for the Hill-Hopkins-Ravenel theories BP((C4))⟨m⟩ for every m ≥ 1.

Significance. If the derivations hold, the work supplies a systematic framework for hidden extensions in filtered spectra that unifies and extends existing computational tools from the Adams spectral sequence, with direct consequences for equivariant slice spectral sequence computations. The new exotic transfer differentials for all BP((C4))⟨m⟩ provide concrete, falsifiable predictions in chromatic and equivariant homotopy theory. The approach is parameter-free and builds directly on prior formalism by overlapping authors, strengthening the case for broader applicability of these principles.

major comments (2)
  1. [§3] §3 (definition of hidden extensions): the refined layered notion of extension is introduced to sharpen the statements, but the interaction between layers and the cofiber-of-τ filtration is not shown to preserve the exactness properties needed for the generalized Leibniz rule to hold without additional hypotheses on the map of filtered spectra.
  2. [§5] §5 (application to C4-slice SS): the claim of new exotic transfer differentials for every m ≥ 1 relies on the extended Mahowald trick applying uniformly, but the manuscript does not exhibit an explicit check that the C4-action commutes with the layered extension data for m > 1; this is load-bearing for the 'for every m' statement.
minor comments (2)
  1. Notation for the cofiber-of-τ functor is introduced without a dedicated comparison table to the classical Adams filtration; this would clarify the extension of the rules.
  2. The abstract states the results apply to 'arbitrary maps,' but the body restricts to maps that are compatible with the slice filtration; a sentence reconciling these would help.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on the manuscript. We address each major comment below.

read point-by-point responses

  1. Referee: [§3] §3 (definition of hidden extensions): the refined layered notion of extension is introduced to sharpen the statements, but the interaction between layers and the cofiber-of-τ filtration is not shown to preserve the exactness properties needed for the generalized Leibniz rule to hold without additional hypotheses on the map of filtered spectra.

    Authors: The exactness properties are preserved by the compatibility of the layered extension with the cofiber-of-τ filtration, which follows directly from the definitions in §3 and the fact that the construction is functorial in the (∞,1)-category of filtered spectra. The generalized Leibniz rule is stated and proved for arbitrary maps without extra hypotheses. To make this compatibility fully explicit, we will add a short clarifying lemma in the revised §3. revision: yes

  2. Referee: [§5] §5 (application to C4-slice SS): the claim of new exotic transfer differentials for every m ≥ 1 relies on the extended Mahowald trick applying uniformly, but the manuscript does not exhibit an explicit check that the C4-action commutes with the layered extension data for m > 1; this is load-bearing for the 'for every m' statement.

    Authors: The C4-action commutes with the layered extension data for all m ≥ 1 by the naturality of the slice filtration and the equivariant construction of BP((C4))⟨m⟩. The uniform application of the extended Mahowald trick is justified in the text. We agree that an explicit verification for m > 1 would improve clarity and will include a brief check in the revised §5. revision: yes

Circularity Check

1 steps flagged

Minor self-citation to cofiber-of-τ formalism; central definitions and extensions are independent

specific steps
  1. self citation load bearing [Abstract]
    "We reinvestigate the theory of spectral sequences by studying the (∞,1)-category of filtered spectra through the cofiber-of-τ formalism of Burklund-Isaksen-Pstragowski-Wang-Xu."

    The central framework is adopted via citation to prior work whose author list overlaps the present paper's collaborators; while not reducing any new computational principle or differential to a tautology, this is the sole instance of self-overlap and warrants the minimal score adjustment.

full rationale

The paper defines hidden extensions along arbitrary maps in the cofiber-of-τ formalism and extends Leibniz/Mahowald rules to filtered spectra, with applications to slice differentials. The only potential issue is citation of the foundational formalism from Burklund-Isaksen-Pstragowski-Wang-Xu (overlapping authors with the present work). This is a standard setup citation and does not reduce the new definitions, refined layered extension notion, or the exotic transfer differentials to a self-referential fit or unverified premise. No equations reduce by construction, no fitted inputs are renamed as predictions, and no uniqueness theorem is imported to force choices. The derivation chain is self-contained beyond this minor, non-load-bearing reference.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Abstract-only review yields limited visibility into free parameters or invented entities; no explicit fitted constants or new postulated objects are named in the provided text.

axioms (1)
  • domain assumption The cofiber-of-τ formalism correctly models the (∞,1)-category of filtered spectra.
    Invoked in the opening sentence of the abstract as the foundational framework.

pith-pipeline@v0.9.1-grok · 5710 in / 1274 out tokens · 17580 ms · 2026-06-28T11:23:33.445023+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

17 extracted references · 15 canonical work pages · 1 internal anchor

  1. [1]

    An∞-categorical approach to𝑅-line bundles,𝑅-module Thom spectra, and twisted 𝑅-homology

    [And+14] Matthew Ando, Andrew J. Blumberg, David Gepner, Michael J. Hopkins, and Charles Rezk (2014). “An∞-categorical approach to𝑅-line bundles,𝑅-module Thom spectra, and twisted 𝑅-homology”.J. Topol.7(3), 869–893.doi: 10.1112/jtopol/jtt035. [Ant24] Benjamin Antieau (2024).Spectral sequences, décalage, and the Beilinson𝑡-structure. To appear in Annales H...

    work page doi:10.1112/jtopol/jtt035 2014

  2. [2]

    Norms in motivic homotopy theory

    1090/conm/718/14489. [BH21] Tom Bachmann and Marc Hoyois (2021). “Norms in motivic homotopy theory”.Astérisque (425), ix+207.doi: 10.24033/ast. [BJM84] M. G. Barratt, J. D. S. Jones, and M. E. Mahowald (1984). “Relations amongst Toda brackets and the Kervaire invariant in dimension 62”.J. London Math. Soc. (2)30(3), 533–550.doi: 10.1112/jlms/s2-30.3.533. ...

    work page doi:10.24033/ast 2021

  3. [3]

    The Goodwillie tower and the EHP sequence

    1016/j.aim.2021.108020. [Beh12] Mark Behrens (2012). “The Goodwillie tower and the EHP sequence”.Mem. Amer. Math. Soc. 218(1026), xii+90.doi: 10.1090/S0065-9266-2011-00645-3. [Bha22] Bhargav Bhatt (2022).Prismatic𝐹-Gauges. Available at the author’s homepage. [Boa99] J. Michael Boardman (1999). “Conditionally convergent spectral sequences”.Homotopy invari-...

    work page doi:10.1090/s0065-9266-2011-00645-3 2021

  4. [4]

    The Kervaire invariant of framed manifolds and its generalization

    Contemp. Math. Amer. Math. Soc., Prov- idence, RI, 49–84.doi: 10.1090/conm/239/03597. [Bro69] William Browder (1969). “The Kervaire invariant of framed manifolds and its generalization”. Ann. of Math. (2)90, 157–186.doi: 10.2307/1970686. [Bru78] R. Bruner (1978). “Algebraic and geometric connecting homomorphisms in the Adams spec- tral sequence”.Geometric...

    work page doi:10.1090/conm/239/03597 1969

  5. [5]

    An extension in the Adams spectral sequence in dimension 54

    Lecture Notes in Math. Springer, Berlin-New York, 131–133. [Bur21] Robert Burklund (2021). “An extension in the Adams spectral sequence in dimension 54”.Bull. Lond. Math. Soc.53(2), 404–407.doi: 10.1112/blms.12428. [Bur22] Robert Burklund (2022).Synthetic Cookware. Available at the author’s homepage. [BHS20] Robert Burklund, Jeremy Hahn, and Andrew Senger...

    work page doi:10.1112/blms.12428 2021

  6. [6]

    [Cno23] Bastiaan Cnossen (2023).Twisted ambidexterity in equivariant homotopy theory. arXiv:

    2023

  7. [7]

    Vanishing lines in chromatic ho- motopy theory

    00736v2. [Cno26] Bastiaan Cnossen (2026).Stable Homotopy Theory and Higher Algebra. Available at the author’s homepage. [Dua+25] Zhipeng Duan, Michael A. Hill, Guchuan Li, Yutao Liu, XiaoLin Danny Shi, Guozhen Wang, and Zhouli Xu (2025).Periodicity and finite complexity in higher real𝐾-theories. arXiv: 2512.01161v2. [DLS25] Zhipeng Duan, Guchuan Li, and X...

    work page doi:10.2140/gt.2025.29.903 2026

  8. [8]

    An equivalence between enriched∞-categories and∞-categories with weak action

    [Hei23] Hadrian Heine (2023). “An equivalence between enriched∞-categories and∞-categories with weak action”.Adv. Math.417, Paper No. 108941, 140.doi: 10.1016/j.aim.2023.108941. [HR19] Gard Olav Helle and John Rognes (2019). “Boardman’s whole-plane obstruction group for Cartan-Eilenberg systems”.Doc. Math.24, 1855–1878. [Hil22] Michael A. Hill (2022). “On...

    work page doi:10.1016/j.aim.2023.108941 2023

  9. [9]

    $C_3$-equivariant stable stems

    New Mathematical Monographs. Cambridge University Press, Cambridge, ix+870.doi: 10.1017/9781108917278. [HM17] Michael A. Hill and Lennart Meier (2017). “The𝐶 2-spectrum Tmf 1(3)and its invertible mod- ules”.Algebr. Geom. Topol.17(4), 1953–2011.doi: 10.2140/agt.2017.17.1953. [Hil+23] Michael A. Hill, XiaoLin Danny Shi, Guozhen Wang, and Zhouli Xu (2023). “...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1017/9781108917278 2017

  10. [10]

    Stable homotopy groups of spheres and motivic homotopy theory

    1090/memo/1269. [Isa+23] Daniel C. Isaksen, Hana Jia Kong, Guchuan Li, Yangyang Ruan, and Heyi Zhu (2023).TheC- motivic Adams-Novikov spectral sequence for topological modular forms. arXiv: 2302.09123v1. [IWX23] Daniel C. Isaksen, Guozhen Wang, and Zhouli Xu (2023). “Stable homotopy groups of spheres and motivic homotopy theory”.ICM—International Congress...

    work page arXiv 2023

  11. [11]

    Boundary homomorphisms in the generalized Adams spectral sequence and the nontriviality of infinitely many𝛾𝑡 in stable homotopy

    Sections 5–8. EMS Press, Berlin, 2768–2790. [Joh+75] D. C. Johnson, H. R. Miller, W. S. Wilson, and R. S. Zahler (1975). “Boundary homomorphisms in the generalized Adams spectral sequence and the nontriviality of infinitely many𝛾𝑡 in stable homotopy”.Conference on homotopy theory (Evanston, Ill., 1974). Vol

    1975

  12. [12]

    Groups of homotopy spheres. I

    Notas Mat. Simpos. Soc. Mat. Mexicana, México, 47–63. [KM63] Michel A. Kervaire and John W. Milnor (1963). “Groups of homotopy spheres. I”.Ann. of Math. (2)77, 504–537.doi: 10.2307/1970128. [KR25] Adeel A. Khan and David Rydh (2025). “Virtual Cartier divisors and blow-ups”.Selecta Math. (N.S.)31(4), Paper No. 67, 28.doi: 10.1007/s00029-025-01060-7. [LL26]...

    work page doi:10.2307/1970128 1963

  13. [13]

    Higher Algebra

    Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, xviii+925.doi: 10.1515/9781400830558. [Lur15] Jacob Lurie (2015).Rotation Invariance in Algebraic K-Theory. Available at the author’s home- page. [Lur17] Jacob Lurie (2017).Higher Algebra. Available at the author’s homepage. [Ma22] Sihao Ma (2022).The Borel and genuine𝐶 2-equivarian...

    work page doi:10.1515/9781400830558 2015

  14. [14]

    A proof of the generalized geometric boundary theorem using filtered spec- tra

    12883v5. [Ma24] Sihao Ma (2024). “A proof of the generalized geometric boundary theorem using filtered spec- tra”.Topology Appl.355, Paper No. 109006, 12.doi: 10.1016/j.topol.2024.109006. [MT67] Mark Mahowald and Martin Tangora (1967). “Some differentials in the Adams spectral se- quence”.Topology6, 349–369.doi: 10.1016/0040-9383(67)90023-7. [Mar25] Peter...

    work page doi:10.1016/j.topol.2024.109006 2024

  15. [15]

    The localized slice spectral sequence, norms of real bordism, and the Segal conjecture

    Mathematical Sur- veys and Monographs. American Mathematical Society, Providence, RI, x+441.doi: 10.1090/ surv/132. [MSZ23] Lennart Meier, XiaoLin Danny Shi, and Mingcong Zeng (2023). “The localized slice spectral sequence, norms of real bordism, and the Segal conjecture”.Adv. Math.412, Paper No. 108804, 74.doi: 10.1016/j.aim.2022.108804. [MSZ24] Lennart ...

    work page doi:10.1016/j.aim.2022.108804 2023

  16. [16]

    Recollements and stratification

    Pure and Applied Mathematics. Academic Press, Inc., Orlando, FL, xx+413. [Sha26] Jay Shah (2026). “Recollements and stratification”.Algebr. Geom. Topol.26, 1321–1384.doi: 10.2140/agt.2026.26.1321. [Ull13] John Ullman. “On the Regular Slice Spectral Sequence”. Available online. PhD thesis. Mas- sachusetts Institute of Technology,

    work page doi:10.2140/agt.2026.26.1321 2026

  17. [17]

    arXiv: 2509.21127v2

    [vNig25] Sven van Nigtevecht (2025).An introduction to filtered and synthetic spectra. arXiv: 2509.21127v2. [Wu26] Yuchen Wu (2026).Verification scripts for a𝐶 2-equivariant polynomial identity overF 2 (cases 𝑚=3,4). Zenodo. Version 1.0.0.doi: 10.5281/zenodo.18373311. 136

    work page doi:10.5281/zenodo.18373311 2025