External Spanier-Whitehead duality and homology representation theorems for diagram spaces

Malte Lackmann

External Spanier-Whitehead duality and homology representation theorems for diagram spaces

T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper proves that every C-homology theory for a countable diagram category is a balanced smash product with a C^op-spectrum, and that maps of theories are maps of spectra.

desk verdict A genuinely new external duality functor and a clean homology representation theorem for diagram spaces, with a countable-category hypothesis that is explicit and shown necessary; the main soft spot is a citation-level strengthening of Neeman's theorem that should be checked. read the letter →

arxiv 1908.09553 v1 pith:Y27DISPW submitted 2019-08-26 math.KT math.AT

Malte Lackmann This is my paper · ORCID

classification math.KTmath.AT MSC 55N9155M0555P4218D05

keywords diagramspacesC-homologytheoriesexternalSpanier-WhiteheaddualityBrownrepresentabilityCherncharacterorbitcategoryalgebrasMackeyfunctors

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

Diagram spaces are functors from a small category $C$ to pointed spaces, and $C$-homology theories are the natural homology theories for them. This paper proves a homological Brown representability theorem: whenever $C$ is countable, every $C$-homology theory $h^C_*$ is naturally isomorphic to $h^C_*(-;E)=\pi_*(E\wedge_C -)$ for some fixed $C^{\mathrm{op}}$-spectrum $E$, and every morphism between such theories is induced by a morphism of spectra. The proof works by building an external Spanier-Whitehead duality that relates finite $C$-spectra to finite $C^{\mathrm{op}}$-spectra, converting homology into cohomology where representability is easier. As applications, the paper constructs Chern characters for rational $C$-homology theories whose coefficient systems are flat, and for all rational theories over orbit categories of finite groups whose subgroups are cyclic of prime power order. The result matters because the smash-product construction underlies most equivariant and assembly-map homology theories, so the theorem says this construction is not missing any homology theory.

What carries the argument

The load-bearing object is the external Spanier-Whitehead duality functor $D_{A,B}(X)=\mathrm{Rmap}_A(X,A)$, defined on the closed bicategory $\mathrm{DerMod}(\mathrm{Sp}_O)$ whose 1-morphisms are derived bimodules between spectrally enriched categories. Where classical duality pairs a spectrum with another spectrum in the same category, this external version sends an $(A,B)$-bimodule to a $(B,A)$-bimodule, so it pairs $C$-spectra with $C^{\mathrm{op}}$-spectra. For finite $(A,B)$-CW-spectra it is a true duality with $DDX\cong X$, yielding an equivalence between the Spanier-Whitehead categories $S_W^C$ and $(S_W^{C^{\mathrm{op}}})^{\mathrm{op}}$. This is what lets the paper trade a homology theory on $C$-spectra for a representable cohomology theory on $C^{\mathrm{op}}$-spectra.

What would settle it

Work out the arrow category $C=(0\to 1)$ explicitly: enumerate the finite $C$-CW-spectra and test every homological functor on $S_W^C$ for representability as $\pi_*(-\wedge_C E)$ with $E$ a $C^{\mathrm{op}}$-spectrum. The theorem predicts all are representable, so even one homological functor that fails would refute Theorem 5.2.3.

Watch

Extended reading notes

Core claim

The central discovery, Theorem 5.2.3, is that homological Brown representability holds for diagram spaces: with $S_W^{C^{\mathrm{op}}}$ countable (equivalently, with $C$ countable), every $C$-homology theory $h^C_*$ is naturally isomorphic to $h^C_*(-;E)$ for a $C^{\mathrm{op}}$-spectrum $E$, and every natural transformation $h^C_*(-;E)\to h^C_*(-;E')$ is induced by a morphism $E\to E'$ in the derived category of $C^{\mathrm{op}}$-spectra. This completes the representability picture for diagram spectra, since the cohomological version was already known. The proof passes through an external Spanier-Whitehead duality functor $D$ that pairs finite $C$-spectra with finite $C^{\mathrm{op}}$-spectra, uses $D$ to convert the given homology functor into a cohomology functor on the opposite Spanier-Whitehead category, and then invokes the Brown representability results from Section 5.2 to obtain the representing $C^{\mathrm{op}}$-spectrum.

Load-bearing premise

The proof's load-bearing premise is that the indexing category $C$ is countable: the Brown representability theorems it cites require the Spanier-Whitehead category $S_W^{C^{\mathrm{op}}}$ to be countable, and Proposition 5.3.1 proves this happens exactly when $C$ is countable.

Editorial extensions

If this is right

The Davis-Lück construction $h^C_*(-;E)$ is complete for countable $C$: every $C$-homology theory has a representing $C^{\mathrm{op}}$-spectrum.
External duality gives an equivalence of triangulated categories $S_W^C\cong (S_W^{C^{\mathrm{op}}})^{\mathrm{op}}$, so duality interchanges the roles of $C$ and $C^{\mathrm{op}}$ in all homological statements.
Rational $C$-homology theories with flat coefficient systems decompose into Bredon homology summands through a Chern character.
For finite orbit categories $\mathrm{Or}(G,F)$ with $G$ finite and all members of $F$ cyclic of prime power order, every rational $C$-homology and cohomology theory has a Chern character.
For finite EI categories, the existence of Chern characters for all rational theories is equivalent to the category algebra $QC$ being hereditary, equivalently to the unique factorisation property.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same external duality could plausibly prove a representation theorem for equivariant homology theories (the paper's Question 1), since groupoid spectra are again diagram spectra and the countability check would reduce to countability of the groupoid category.
The countability hypothesis is probably not removable: the Brown representability theorem used here genuinely requires countable triangulated categories, so uncountable $C$ is the most promising place to look for an unrepresentable $C$-homology theory.
Checking the unique factorisation property gives a purely combinatorial way to decide whether a finite EI category has universal Chern characters; this could be applied to concrete orbit categories without computing any spectra.
Extending the flat-coefficient Chern character theorem to infinite groups would need a flatness criterion weaker than the Mackey algebra's semisimplicity; the paper's $D_\infty$ example shows von Neumann regularity already fails, pointing toward a homological rather than ring-theoretic condition.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The short version: this is a solid paper with a genuinely new construction and a real theorem. The homology representation theorem for diagram spaces (Theorem 5.2.3) is new as far as I know, and the external Spanier-Whitehead duality functor D: finite C-spectra -> finite C^op-spectra is the right tool for it. The countability hypothesis is explicit and shown equivalent to C being countable, so the paper does not overclaim.

What the paper does well: it sets up a closed bicategory of derived bimodules and proves external duality in that framework; it carefully compares different model categories of spectra, including the subtle weak monoidal Quillen equivalences needed for the rational case; it gives a clean countability argument; and the rational section provides useful Chern character criteria, including the hereditary category algebra characterization and the UFP result for orbit categories. The proof of Theorem 5.2.3 is coherent: dualize the homology theory to a cohomological functor on finite C^op-spectra, represent via Neeman, then extend by colimits. I did not find circular reasoning or fitted parameters.

The main thing I would want a referee to check is the use of Neeman's Proposition 4.11 in Theorem 5.2.6. The author states a slightly stronger version than Neeman's original formulation: essentially small triangulated subcategory S generating T and consisting of compact objects, rather than S being the full subcategory of all compact objects. The author says 'the same proofs apply.' That is plausible because S_W^{C^op} is the natural compact generating subcategory, but it is a strengthening of the cited result and should be verified carefully. Also, some technical lemmas are only sketched: the h-cofibration argument in Prop 2.3.2 and the shuffle map verification in Prop 6.1.1. These look routine but intricate; a referee should ask for more detail. None of this is a load-bearing flaw in my reading; the central argument holds up.

This paper is for people working on equivariant stable homotopy theory, assembly maps, and diagram spectra. It resolves an open question and provides a reusable framework. It deserves a serious referee; I would accept it with the expectation that the Neeman citation check and the technical lemmas get attention.

Referee Report

0 major / 5 minor

Summary. This paper develops an external Spanier-Whitehead duality for diagram spectra. For a small category C satisfying a cofibrancy condition, it constructs a duality functor D: (S_W^C)^op -> S_W^{C^op} as part of a closed bicategory of derived bimodules, and proves that every finite C-CW-spectrum is dualisable (Cor. 4.2.7). The main homological Brown representability theorem (Thm. 5.2.3) states that if S_W^{C^op} is countable (equivalently, if C is countable, by Prop. 5.3.1), every C-homology theory is naturally isomorphic to h^C_*(-; E) for some C^op-spectrum E, and every morphism of homology theories is induced by a morphism in the derived category. The proof converts the given homology theory into a homological functor on finite C^op-spectra via the duality functor and invokes Neeman's representability theorems. The final section passes to rational spectra and chain complexes through the stable Dold-Kan correspondence, proving existence of Chern characters for rational C-homology theories with flat coefficients (Cor. 6.3.7) and for orbit categories of finite groups with cyclic prime-power subgroups (Thm. D), with a characterisation in terms of hereditary category algebras (Prop. 6.5.1).

Significance. If the results stand, the paper completes the homological version of Brown representability for diagram spaces, complementing the easier cohomological case and showing that Davis-Lueck type constructions exhaust all C-homology theories under a mild countability hypothesis. The external duality functor is a genuine contribution, and the rational applications to Chern characters are new. The paper is honest about its hypotheses: Theorem 5.2.3 carries an explicit countability assumption, the rational flatness theorem is conditional, and the author openly indicates where proofs are sketched. The derivation is a traditional mathematical proof built on established external theorems (Neeman, Shulman, Shipley, Li, Thevenaz-Webb); there are no fitted parameters or empirical components. The careful statement of hypotheses and the explicit use of external results are strengths, and I found no load-bearing flaw in the central argument.

minor comments (5)

[Theorem 5.2.6 (preamble)] The preamble to Theorem 5.2.6 states a version of [Nee97, Prop. 4.11] in which an essentially small triangulated subcategory S of compact objects generating T replaces Neeman's T^c, and says that 'the same proofs apply'. Since this theorem is used to produce the representing C^op-spectrum, please add a sentence (or a pointer to the exact passage in [Nee97]) explaining how Neeman's proof adapts to this slightly more general S. I do not regard the issue as fatal, but as written the reader has to reconstruct the argument.
[Section 5, beginning] The transition 'From now on, C is a discrete index category' is abrupt: the earlier machinery was developed for SpO-enriched categories satisfying (C), while Theorem 5.2.3 is for ordinary categories. Please state explicitly that a Set-category is regarded as an SpO-category via the free enrichment (mapping spectrum Sigma^infty_+ Hom_C(c,d)), and note that this satisfies (C).
[Proposition 6.1.1] The verification that the shuffle map nabla is a map of symmetric spectra is compressed into 'an easy diagrammatic check'. Since this compatibility is needed for the comparison Phi(HQ wedge Sigma^infty X) congruent N~QX underlying the rational Chern characters, please expand the check or give a precise reference.
[Proposition 2.3.2] The h-cofibration induction in the proof of Proposition 2.3.2 is quite terse, especially the preservation of h-cofibrations under balanced smash products and the passage to limit ordinals. A few more details would improve verifiability, although the argument appears sound.
[Throughout] There are minor typographical and grammatical issues, including 'developped' in Section 1, 'The proof are technically' in Section 2.3, and inconsistent notation for the derived category of C^op-spectra in Theorem 5.2.3. These do not affect the mathematics.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the main theorem is a conditional representability result derived from an explicitly constructed external duality and Neeman's Brown representability theorems, not from its own conclusion.

full rationale

Theorem 5.2.3 is stated under the explicit hypothesis that S_W^{C^op} is countable, and Proposition 5.3.1 shows this is equivalent to C being countable. The proof transforms the given C-homology theory into a homological functor on finite C^op-spectra using the duality functor D, then invokes Neeman's theorems 5.2.5 and 5.2.6. The key isomorphism [D(Σ^{-n}Σ^∞X), E]_{C^op} ≅ [Σ^n S, E∧^L_C Σ^∞X] comes from Corollary 4.2.7, which is proved independently from the closed bicategory DerMod(SpO) and the triangulated-category characterization of finite C-CW-spectra; it is not assumed as the representability conclusion. The Chern character results use the representation theorem plus algebraic Künneth and hereditary-algebra arguments; Lemma 6.3.5 is a direct consequence of the already-proved morphism-representation half, not an input. The only self-citations ([Lac16], [Lac]) support standard equivalences, a cohomological representability remark, and an example; they do not carry the homological representability claim. The statement of Theorem 5.2.6 as a mild generalization of Neeman's Proposition 4.11 is a citation to Neeman with an asserted proof adaptation, so any concern there is a correctness risk rather than circularity.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The paper is a pure math construction; it introduces no free parameters. It relies on established theorems in model categories, triangulated categories, and the stable Dold-Kan correspondence, which are listed as axioms. The only domain assumptions are countability of C and finiteness conditions on mapping spectra; the latter hold automatically in the main applications.

assumptions (7)

standard math Projective model structure on Fun(C,SpO) exists and is cofibrantly generated if all mapping spectra C(c,d) are cofibrant (condition (C), Theorem 2.1.1).
Invoked throughout Section 2 to set up the homotopy theory of C-spectra and to derive the closed bicategory structure. Source: Shulman [Shu06, Thm. 24.4], with assumptions met by discrete categories.
standard math Neeman's characterization: for a countable triangulated category S, homological functors S^op to Ab have projective dimension at most 1, and Brown representability holds for the pair (T,S).
Used in the proof of Theorem 5.2.3 as Theorems 5.2.5 and 5.2.6 to represent the homological functor G by a C^op-spectrum E.
standard math Shipley's stable Dold-Kan correspondence is a zig-zag of weak monoidal Quillen equivalences between HQ-modules and unbounded rational chain complexes.
Used in Section 6.1 to transport rational C-spectra to chain complexes over the category algebra, and to establish Proposition 6.1.1 identifying the image of HQ and Sigma-infinity X with N~QX.
standard math The rational Mackey algebra mu_Q(G) is semisimple (Thevenaz-Webb).
Used in Corollary 6.4.7 to conclude that Mackey-extended coefficient systems are projective, hence flat.
standard math Li's characterization: for a finite EI category C, the category algebra QC is hereditary iff C satisfies the unique factorization property (UFP).
Used in Proposition 6.5.3 and Corollary 6.5.4 to translate a combinatorial condition into existence of Chern characters for all rational homology theories.
domain assumption The indexing category C is countable (or equivalent to a countable category).
Needed for Neeman's theorems in Theorem 5.2.3; Proposition 5.3.1 shows this is equivalent to the countability of S_W^{C^op}. The paper notes this is not needed for cohomology.
domain assumption For duality, the mapping spectra of the target category B are finite CW-spectra (condition (FM)).
Used in Lemma 4.2.6 to show corepresentable (A,B)-bimodules are dualisable. For C-spectra (B=*) the condition holds automatically since the sphere spectrum is finite.

how reviews work

0 comments

Cite this review

Pith. "Pith review of External Spanier-Whitehead duality and homology representation theorems for diagram spaces." pith.science (2026). https://pith.science/paper/Y27DISPW

@misc{pith2026190809553,
  author       = {Pith},
  title        = {Pith review of: External Spanier-Whitehead duality and homology representation theorems for diagram spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Y27DISPW}},
  note         = {Machine review of arXiv:1908.09553}
}

abstract

We construct a Spanier-Whitehead type duality functor relating finite $\mathcal{C}$-spectra to finite $\mathcal{C}^{\mathrm{op}}$-spectra and prove that every $\mathcal{C}$-homology theory is given by taking the homotopy groups of a balanced smash product with a fixed $\mathcal{C}^{\mathrm{op}}$-spectrum. We use this to construct Chern characters for certain rational $\mathcal{C}$-homology theories.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

2 extracted references · 1 canonical work pages

[196]

Translated from the Russian by C. J. Shaddock. MR205445 7 HOMOLOGY REPRESENTATION THEOREMS FOR DIAGRAM SPACES 45 [W eg15] C. W egner, The Farrell-Jones conjecture for virtually solvable group s, J. Topol. 8 (2015), no. 4, 975–1016. DOI:10.1112/jtopol/jtv026. MR34 31666 [W u16] X. W u, Farrell-Jones conjecture for fundamental groups of graphs of virtually ...

doi:10.1112/jtopol/jtv026 2015
[1986]

With contributions by J. E. McClure. MR866482 [LR05] W. L¨ uck and H. Reich, The Baum-Connes and the Farrell-Jones conjectures in K- and L-theory, Handbook of K-theory. Vol. 1, 2, 2005, pp. 703–842. DOI:10.1007/978-3-540-27855-9 15. MR2181833 44 MALTE LACKMANN [L W69] A. T. Lundell and S. W eingram, The topology of CW complexes , The Univer- sity Series i...

work page arXiv 1972

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [196]

Translated from the Russian by C. J. Shaddock. MR205445 7 HOMOLOGY REPRESENTATION THEOREMS FOR DIAGRAM SPACES 45 [W eg15] C. W egner, The Farrell-Jones conjecture for virtually solvable group s, J. Topol. 8 (2015), no. 4, 975–1016. DOI:10.1112/jtopol/jtv026. MR34 31666 [W u16] X. W u, Farrell-Jones conjecture for fundamental groups of graphs of virtually ...

doi:10.1112/jtopol/jtv026 2015

[2] [1986]

With contributions by J. E. McClure. MR866482 [LR05] W. L¨ uck and H. Reich, The Baum-Connes and the Farrell-Jones conjectures in K- and L-theory, Handbook of K-theory. Vol. 1, 2, 2005, pp. 703–842. DOI:10.1007/978-3-540-27855-9 15. MR2181833 44 MALTE LACKMANN [L W69] A. T. Lundell and S. W eingram, The topology of CW complexes , The Univer- sity Series i...

work page arXiv 1972