A note on Duality and the Atiyah-Hirzebruch spectral sequence

Maximilian David Hans

arxiv: 2507.18250 · v3 · submitted 2025-07-24 · 🧮 math.AT · math.GT

A note on Duality and the Atiyah-Hirzebruch spectral sequence

Maximilian David Hans This is my paper

Pith reviewed 2026-05-19 03:30 UTC · model grok-4.3

classification 🧮 math.AT math.GT MSC 55P4255T25

keywords Spanier-Whitehead dualityAtiyah-Hirzebruch spectral sequencefinite spectraPoincaré dualitystable homotopy theorygeneralized cohomology

0 comments

The pith

For a finite spectrum, Spanier-Whitehead duality induces an isomorphism between the cohomological and homological Atiyah-Hirzebruch spectral sequences.

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

The paper shows that Spanier-Whitehead duality on a finite spectrum X creates an isomorphism identifying the cohomological Atiyah-Hirzebruch spectral sequence with the homological one. If true, this means results or computations in one version transfer directly to the other via the duality map. The same isomorphism follows for Poincaré duality complexes oriented over a ring spectrum R. A sympathetic reader would care because the result unifies two spectral sequences that are typically handled separately in stable homotopy theory.

Core claim

For a finite spectrum X, Spanier-Whitehead duality induces an isomorphism between the cohomological and homological Atiyah-Hirzebruch spectral sequences. As an application, Poincaré duality for a Poincaré duality complex that is oriented over a ring spectrum R induces an isomorphism between the two spectral sequences.

What carries the argument

Spanier-Whitehead duality, the equivalence in the stable homotopy category for finite spectra that interchanges homology and cohomology roles in the spectral sequences.

If this is right

The cohomological and homological Atiyah-Hirzebruch spectral sequences become isomorphic, so their E2-pages and differentials correspond.
Poincaré duality on an oriented complex induces the same isomorphism between its two spectral sequences.
The result holds for any generalized cohomology theory defining the spectral sequences.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

Convergence properties established for one sequence would transfer to the other for finite spectra.
Differentials in one sequence could be related to those in the other through the explicit duality isomorphism.
The same approach might relate homology and cohomology versions of other spectral sequences in the stable homotopy category.

Load-bearing premise

Spanier-Whitehead duality acts as an equivalence on finite spectra in the stable homotopy category, with the Atiyah-Hirzebruch spectral sequences constructed in the usual way from a generalized cohomology theory.

What would settle it

A finite spectrum X where the duality map fails to produce an isomorphism of the two spectral sequences would disprove the central claim.

read the original abstract

We show that, for a finite spectrum $X$, Spanier-Whitehead duality induces an isomorphism between the cohomological and homological Atiyah-Hirzebruch spectral sequences. As an application, it follows that Poincar\'e duality for a Poincar\'e duality complex that is oriented over a ring spectrum $R$ induces an isomorphism between the two spectral sequences.

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.

Desk Editor's Note private letter to a colleague

Spanier-Whitehead duality induces an isomorphism between the cohomological and homological Atiyah-Hirzebruch spectral sequences for finite spectra.

read the letter

Hi, The main point of this paper is that Spanier-Whitehead duality induces an isomorphism between the cohomological and homological Atiyah-Hirzebruch spectral sequences for a finite spectrum. As a quick application, Poincaré duality for an oriented complex then gives an isomorphism between the two sequences as well. The construction works by taking the duality functor, which is contravariant, and applying it to the skeletal filtration of the spectrum. This reverses the filtration up to a suspension shift, so the cohomological sequence for X corresponds to the homological sequence for the dual spectrum. Because we are in the finite case, both spectra stay finite and the filtrations are finite, which means the spectral sequences converge and the induced maps on the E2 pages are isomorphisms that respect the differentials. The details confirm that grading shifts and convergence are handled without hidden problems. The paper does this cleanly and directly from the standard properties of duality in the stable homotopy category. It gives credit to the usual setup for the Atiyah-Hirzebruch spectral sequence and doesn't overclaim. Where it is softer is in the level of originality. This is a standard-style observation that follows once you think about how duality acts on filtered objects. It is not introducing new spectral sequence technology or proving something unexpected. The result is plausible and the logic holds up, but the impact is limited to providing a convenient relation for calculations. A reader working on computations in algebraic topology, especially involving duality on manifolds or spectra, would get some practical value from having this spelled out. It is the kind of short note that can save time when switching between homological and cohomological viewpoints. I think this deserves a serious referee. The central claim is well-supported by the existing theory and the paper presents it in a straightforward way. Best regards,

Referee Report

0 major / 2 minor

Summary. The paper claims that for a finite spectrum X, Spanier-Whitehead duality (as a contravariant equivalence in the stable homotopy category) induces an isomorphism between the cohomological Atiyah-Hirzebruch spectral sequence of X and the homological Atiyah-Hirzebruch spectral sequence of its dual DX. This is obtained by applying duality to the underlying filtered objects, which reverses the skeletal filtration up to suspension; the finite assumption ensures the filtrations are finite, the E2-page maps (ordinary homology/cohomology with coefficients in the homotopy groups of the ring spectrum) are isomorphisms, and these maps commute with differentials. As an application, Poincaré duality for an oriented Poincaré duality complex over a ring spectrum R induces an isomorphism between the two spectral sequences.

Significance. If the result holds, it supplies a direct, parameter-free link between the homological and cohomological versions of the AHSS via a standard equivalence of the stable homotopy category. This is useful for computations involving finite spectra and oriented manifolds, as it allows one to transfer information across the two spectral sequences without additional convergence hypotheses. The approach credits the standard properties of Spanier-Whitehead duality and the skeletal filtration rather than introducing new constructions.

minor comments (2)

[The construction of the induced map] The grading shifts induced by suspension when duality reverses the filtration should be stated explicitly (e.g., in the paragraph describing the map on E2 pages) to make the isomorphism on each page fully transparent.
A brief sentence recalling the standard definition of the AHSS from a generalized cohomology theory (with coefficients in π_*R) would help readers who are not specialists in the stable category.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of the manuscript and for recommending acceptance. We are pleased that the significance of the duality isomorphism for the Atiyah-Hirzebruch spectral sequences is recognized.

Circularity Check

0 steps flagged

No significant circularity; derivation follows from standard duality properties

full rationale

The manuscript establishes the claimed isomorphism by applying the contravariant Spanier-Whitehead duality functor to the filtered objects underlying the Atiyah-Hirzebruch spectral sequences for a finite spectrum X. This maps the cohomological AHSS to the homological AHSS for the dual DX, with the finite assumption ensuring the filtrations remain finite and the induced maps on E2 pages (ordinary homology and cohomology with coefficients in the homotopy groups of the ring spectrum) are isomorphisms that commute with differentials. The argument relies on the standard definition of Spanier-Whitehead duality as an equivalence in the stable homotopy category and the usual construction of AHSS, without any self-definitional reductions, fitted inputs renamed as predictions, load-bearing self-citations, or imported uniqueness theorems. The Poincaré duality application is a direct identification via orientation, keeping the central claim independent of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard background from stable homotopy theory and spectral sequence constructions; no new free parameters or invented entities are introduced in the abstract.

axioms (2)

domain assumption Spanier-Whitehead duality is an equivalence on finite spectra in the stable homotopy category
Invoked to induce the isomorphism between the two spectral sequences.
domain assumption The Atiyah-Hirzebruch spectral sequence is functorial with respect to maps induced by duality
Required for the isomorphism to hold at the level of spectral sequences.

pith-pipeline@v0.9.0 · 5575 in / 1291 out tokens · 31375 ms · 2026-05-19T03:30:41.551299+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Theorem A. ... Spanier–Whitehead duality isomorphism SW: E^*(X) → E^{-*}(D(X)) induces an isomorphism between the cohomological and homological Atiyah–Hirzebruch spectral sequences
IndisputableMonolith/Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Poincaré duality ... factors as the composition of the Thom–Dold isomorphism followed by the Spanier–Whitehead duality isomorphism

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[1]

Atiyah, R

M.F. Atiyah, R. Bott, and A. Shapiro, Clifford modules , Topology 3 (1964), 3--38

work page 1964
[2]

Hopkins, and Charles Rezk, Multiplicative orientations of KO-Theory and of the spectrum of topological modular forms , 2010

Matthew Ando, Michael J. Hopkins, and Charles Rezk, Multiplicative orientations of KO-Theory and of the spectrum of topological modular forms , 2010

work page 2010
[3]

Hopkins, and Neil P

Matthew Ando, Michael J. Hopkins, and Neil P. Strickland, Elliptic spectra, the Witten genus and the theorem of the cube , Inventiones mathematicae 146 (2001), no. 3, 595--687

work page 2001
[4]

M. F. Atiyah, Thom Complexes , Proceedings of the London Mathematical Society s3-11 (1961), no. 1, 291--310

work page 1961
[5]

thesis, University of Notre Dame, 1997

Michael Joachim, The twisted Atiyah orientation and manifolds whose universal cover is spin , Ph.D. thesis, University of Notre Dame, 1997

work page 1997
[6]

87–114, Cambridge University Press, 2004

, Higher coherences for equivariant K-theory , London Mathematical Society Lecture Note Series, p. 87–114, Cambridge University Press, 2004

work page 2004
[7]

Kochman, Bordism, Stable Homotopy and Adams Spectral Sequences , American Mathematical Society and Fields Institute, 1996

Stanley O. Kochman, Bordism, Stable Homotopy and Adams Spectral Sequences , American Mathematical Society and Fields Institute, 1996

work page 1996
[8]

Markus Land, Reducibility of low-dimensional Poincar\'e duality spaces , Münster Journal of Mathematics 15 (2022), 47--81

work page 2022
[9]

Jacob Lurie, Higher Algebra , 2017

work page 2017
[10]

C. R. F. Maunder, The spectral sequence of an extraordinary cohomology theory , Mathematical Proceedings of the Cambridge Philosophical Society 59 (1963), no. 3, 567–574

work page 1963
[11]

J. P. May and J. Sigurdsson, Parametrized Homotopy Theory , Mathematical Surveys and Monographs, vol. 103, American Mathematical Society, 2006

work page 2006
[12]

Andrew Ranicki, Algebraic L-theory and Topological Manifolds , Cambridge University Press, 1992

work page 1992
[13]

The Clarendon Press Oxford University Press, 2002

, Algebraic and Geometric Surgery Theory , Oxford Mathematical Monographs. The Clarendon Press Oxford University Press, 2002

work page 2002
[14]

Rudyak, On Thom Spectra, Orientability, and Cobordism , Springer Berlin, Heidelberg, 2010

Yuli B. Rudyak, On Thom Spectra, Orientability, and Cobordism , Springer Berlin, Heidelberg, 2010

work page 2010
[15]

Michael Spivak, Spaces satisfying Poincar \'e duality , Topology 6 (1967), 77--101

work page 1967
[16]

J. W. Vick, Poincaré duality and Postnikov factors , The Rocky Mountain Journal of Mathematics 3 (1973), no. 3, 483--499

work page 1973

[1] [1]

Atiyah, R

M.F. Atiyah, R. Bott, and A. Shapiro, Clifford modules , Topology 3 (1964), 3--38

work page 1964

[2] [2]

Hopkins, and Charles Rezk, Multiplicative orientations of KO-Theory and of the spectrum of topological modular forms , 2010

Matthew Ando, Michael J. Hopkins, and Charles Rezk, Multiplicative orientations of KO-Theory and of the spectrum of topological modular forms , 2010

work page 2010

[3] [3]

Hopkins, and Neil P

Matthew Ando, Michael J. Hopkins, and Neil P. Strickland, Elliptic spectra, the Witten genus and the theorem of the cube , Inventiones mathematicae 146 (2001), no. 3, 595--687

work page 2001

[4] [4]

M. F. Atiyah, Thom Complexes , Proceedings of the London Mathematical Society s3-11 (1961), no. 1, 291--310

work page 1961

[5] [5]

thesis, University of Notre Dame, 1997

Michael Joachim, The twisted Atiyah orientation and manifolds whose universal cover is spin , Ph.D. thesis, University of Notre Dame, 1997

work page 1997

[6] [6]

87–114, Cambridge University Press, 2004

, Higher coherences for equivariant K-theory , London Mathematical Society Lecture Note Series, p. 87–114, Cambridge University Press, 2004

work page 2004

[7] [7]

Kochman, Bordism, Stable Homotopy and Adams Spectral Sequences , American Mathematical Society and Fields Institute, 1996

Stanley O. Kochman, Bordism, Stable Homotopy and Adams Spectral Sequences , American Mathematical Society and Fields Institute, 1996

work page 1996

[8] [8]

Markus Land, Reducibility of low-dimensional Poincar\'e duality spaces , Münster Journal of Mathematics 15 (2022), 47--81

work page 2022

[9] [9]

Jacob Lurie, Higher Algebra , 2017

work page 2017

[10] [10]

C. R. F. Maunder, The spectral sequence of an extraordinary cohomology theory , Mathematical Proceedings of the Cambridge Philosophical Society 59 (1963), no. 3, 567–574

work page 1963

[11] [11]

J. P. May and J. Sigurdsson, Parametrized Homotopy Theory , Mathematical Surveys and Monographs, vol. 103, American Mathematical Society, 2006

work page 2006

[12] [12]

Andrew Ranicki, Algebraic L-theory and Topological Manifolds , Cambridge University Press, 1992

work page 1992

[13] [13]

The Clarendon Press Oxford University Press, 2002

, Algebraic and Geometric Surgery Theory , Oxford Mathematical Monographs. The Clarendon Press Oxford University Press, 2002

work page 2002

[14] [14]

Rudyak, On Thom Spectra, Orientability, and Cobordism , Springer Berlin, Heidelberg, 2010

Yuli B. Rudyak, On Thom Spectra, Orientability, and Cobordism , Springer Berlin, Heidelberg, 2010

work page 2010

[15] [15]

Michael Spivak, Spaces satisfying Poincar \'e duality , Topology 6 (1967), 77--101

work page 1967

[16] [16]

J. W. Vick, Poincaré duality and Postnikov factors , The Rocky Mountain Journal of Mathematics 3 (1973), no. 3, 483--499

work page 1973