arxiv: 2604.19208 · v1 · submitted 2026-04-21 · 🧮 math.AT · math.GT

Recognition: unknown

Whitehead torsion and the kernel of assembly

Oscar Harr

Pith reviewed 2026-05-10 01:28 UTC · model grok-4.3

classification 🧮 math.AT math.GT

keywords Whitehead torsionassembly functorWhitehead categorytorsion cosheafK-theoryWhitehead spectrumsimplicial complexeshomotopy equivalences

0 comments

The pith

The Bartels-Nikolaus assembly functor has a fully faithful right adjoint for topological spaces homeomorphic to finite simplicial complexes.

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

This paper proves that the Bartels--Nikolaus assembly functor admits a fully faithful right adjoint for any topological space homeomorphic to a finite simplicial complex. The right adjoint is used to define a Whitehead category for the space X, and the K-theory of this category is identified with the Whitehead spectrum of X. For any homotopy equivalence between two such spaces, an object called the torsion cosheaf is defined in the Whitehead category of the target, and the K-theory class of this object is the classical Whitehead torsion. Readers might care because this embeds the study of Whitehead torsion into the K-theory of a new category built from the assembly functor.

Core claim

For a topological space homeomorphic to a finite simplicial complex, the Bartels--Nikolaus assembly functor has a fully faithful right adjoint. This allows us to define the Whitehead category of X whose K-theory is canonically identified with the Whitehead spectrum of X. For a homotopy equivalence between two such spaces, the torsion cosheaf of the map is an object in the Whitehead category of X whose K-theory class recovers the classical Whitehead torsion.

What carries the argument

The fully faithful right adjoint to the Bartels--Nikolaus assembly functor, which is used to construct the Whitehead category and the torsion cosheaf.

If this is right

The K-theory of the Whitehead category equals the Whitehead spectrum of the space.
The K-theory class of the torsion cosheaf equals the Whitehead torsion of the homotopy equivalence.
This construction works for every space homeomorphic to a finite simplicial complex.
Whitehead torsion can be realized as the K-theory class of an explicit object in the Whitehead category.

Where Pith is reading between the lines

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

The existence of the adjoint might suggest ways to define analogous categories for spaces that are not finite complexes if similar adjoints can be constructed.
Explicit constructions of the torsion cosheaf in concrete cases could lead to new computational approaches for Whitehead torsion.
The identification of K-theory classes might allow transferring results about categories to properties of the Whitehead spectrum.

Load-bearing premise

The space must be homeomorphic to a finite simplicial complex and the Bartels-Nikolaus assembly functor must be defined and well-behaved in the relevant category of spectra or modules over the group ring.

What would settle it

A specific finite simplicial complex for which the right adjoint to the assembly functor is not fully faithful, or for which the K-theory of the Whitehead category fails to match the Whitehead spectrum, would falsify the claim.

Figures

Figures reproduced from arXiv: 2604.19208 by Oscar Harr.

**Figure 1.** Figure 1: An elementary collapse of a complex Σ is a subcomplex Σ ′ ⊂ Σ such that Σ = Σ′ ∪𝐶(𝜕𝜎) 𝐶𝜎 for some simplex 𝜎. On geometric realizations, there is an associated retract |Σ| → |Σ ′ | (unique up to contractible choice) supported on the cone 𝐶𝜎. Conversely, the inclusion |Σ ′ | ↩→ |Σ| is called an elementary expansion. The figure shows an elementary collapse in which 𝜎 is a 2-simplex. By the Cairns–Whitehead tr… view at source ↗

read the original abstract

For a topological space that is homeomorphic to a finite simplicial complex, we prove that the Bartels--Nikolaus assembly functor has a fully faithful right adjoint. Using this, we define for each such topological space $X$ a {\em Whitehead category}, whose K-theory is canonically identified with the Whitehead spectrum of $X$; and for a homotopy equivalence between two such spaces, we define an object in the Whitehead category of $X$ called the {\em torsion cosheaf} of the map, whose K-theory class recovers the classical Whitehead torsion.

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

The paper shows the Bartels-Nikolaus assembly functor has a fully faithful right adjoint for spaces homeomorphic to finite simplicial complexes, which produces a Whitehead category and torsion cosheaf that recover the classical invariants through K-theory.

read the letter

The key point is that this paper proves the Bartels-Nikolaus assembly functor has a fully faithful right adjoint when the space is homeomorphic to a finite simplicial complex. From that they build a Whitehead category whose K-theory matches the Whitehead spectrum, and a torsion cosheaf for homotopy equivalences whose class in K-theory is the classical Whitehead torsion. The construction pulls the torsion out of the assembly map in a direct way rather than starting from the usual definition.

Referee Report

0 major / 2 minor

Summary. The paper proves that for a topological space X homeomorphic to a finite simplicial complex, the Bartels-Nikolaus assembly functor admits a fully faithful right adjoint. This adjunction is used to define a Whitehead category whose K-theory is canonically identified with the Whitehead spectrum of X, and to associate to each homotopy equivalence between such spaces a torsion cosheaf in the Whitehead category whose K-theory class recovers the classical Whitehead torsion.

Significance. If the central construction holds, the result supplies a categorical framework linking the assembly map in algebraic K-theory to the Whitehead spectrum and torsion invariants. The fully faithful right adjoint and the resulting Whitehead category and torsion cosheaf provide a uniform way to recover classical invariants from K-theory, which may aid computations and extensions in homotopy theory of spaces.

minor comments (2)

The title mentions 'the kernel of assembly' but the abstract and stated results focus exclusively on the existence of a fully faithful right adjoint; a short sentence clarifying how the right adjoint relates to the kernel (or why the title uses that phrasing) would improve immediate readability.
The abstract introduces the 'Whitehead category' and 'torsion cosheaf' without prior reference; adding one sentence indicating that these are new objects constructed from the adjunction would help readers track the logical flow.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading, positive summary of the paper, and recommendation for minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper proves that the Bartels-Nikolaus assembly functor admits a fully faithful right adjoint when the input space is homeomorphic to a finite simplicial complex. It then uses this adjunction to construct the Whitehead category (with K-theory matching the Whitehead spectrum) and the torsion cosheaf (recovering classical Whitehead torsion). The derivation relies on the pre-existing definition and properties of the assembly functor together with the topological hypothesis of finite simplicial complexes; no equation or construction reduces the output to a redefinition of the input, a fitted parameter renamed as a prediction, or a self-citation chain. The central claim therefore remains independent of its own conclusions and is self-contained against external benchmarks in algebraic K-theory and homotopy theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

Review based on abstract only; specific technical assumptions in the proof are not detailed. The work relies on standard background in category theory and algebraic K-theory.

axioms (1)

domain assumption The Bartels-Nikolaus assembly functor is defined and functorial for the relevant input categories of spaces and spectra.
Invoked as the starting point for proving the existence of its right adjoint.

invented entities (2)

Whitehead category no independent evidence
purpose: Category whose K-theory is identified with the Whitehead spectrum of the space.
Newly constructed using the right adjoint to the assembly functor.
torsion cosheaf no independent evidence
purpose: Object in the Whitehead category whose K-theory class equals the classical Whitehead torsion of a homotopy equivalence.
Introduced to recover the classical invariant inside the new categorical framework.

pith-pipeline@v0.9.0 · 5371 in / 1317 out tokens · 90799 ms · 2026-05-10T01:28:02.097096+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages · 1 internal anchor

[1]

12169 [math.KT].url:https : / / arxiv

arXiv:2405 . 12169 [math.KT].url:https : / / arxiv . org / abs / 2405.12169. [Efi25b] Alexander I. Efimov.Localizing invariants of inverse limits. 2025. arXiv:2502. 04123 [math.KT].url:https://arxiv.org/abs/2502.04123. [Efi25c] Alexander I. Efimov.Rigidity of the category of localizing motives. 2025. arXiv: 2510.17010 [math.KT].url:https://arxiv.org/abs/2...

work page arXiv 2025
[2]

The derived category of a locally compact space is rarely smooth

arXiv:2311 . 03121 [math.AT].url:https : / / arxiv . org / abs / 2311.03121. [KNP24] Achim Krause, Thomas Nikolaus, and Phil P¨ utzst¨ uck.Sheaves on Manifolds. 2024. [Lan22] Markus Land. “Reducibility of low-dimensional Poincar ´e duality spaces”. In: M¨unster J. Math.15.1 (2022), pp. 47–81.issn: 1867-5778,1867-5786. [L¨ uc02] Wolfgang L¨ uck. “A basic i...

work page internal anchor Pith review Pith/arXiv arXiv 2024
[3]

Algebraic𝐾-theory of topological spaces. I

arXiv:2510.07659 [math.AT].url:https://arxiv.org/abs/2510. 07659. [Ram24] Maxime Ramzi.Dualizable presentable∞-categories. 2024. arXiv:2410 . 21537 [math.CT].url:https://arxiv.org/abs/2410.21537. [Vol25] Marco Volpe.The six operations in topology. 2025. arXiv:2110.10212 [math.AT]. url:https://arxiv.org/abs/2110.10212. [Wal78] Friedhelm Waldhausen. “Algebr...

work page doi:10.2307/1968861.url:https://doi.org/10 2024