Higher Whitehead torsion and Reidemeister trace compatibility conjecture

Let MM be a smooth closed manifold, let H(M)\mathcal{H}(M) be its stable hh-cobordism space, and consider the Dennis trace map trtr on THH(Σ+ΩM)THH(\Sigma^{\infty}_+\Omega M), Waldhausen's splitting map, the higher Reidemeister trace RTRT, and the equivalence

THH(Σ+ΩM)Σ+LM.THH(\Sigma^{\infty}_+\Omega M)\simeq\Sigma^{\infty}_+\mathcal{L}M.

Higher Whitehead torsion and Reidemeister trace compatibility conjecture. The following diagram commutes up to natural homotopy:

ΩΩK[Σ+ΩM]H(M)ΩtrRTΩΩTHH(Σ+ΩM)ΩΩΣ(LM/M)\begin{array}{ccc} \Omega\Omega^\infty K[\Sigma^\infty_+\Omega M]&\longrightarrow&\mathcal{H}(M)\\ \downarrow{\scriptstyle\Omega tr}&&\downarrow{\scriptstyle RT}\\ \Omega\Omega^\infty THH(\Sigma^\infty_+\Omega M)&\longrightarrow&\Omega\Omega^\infty\Sigma^\infty(\mathcal{L}M/M) \end{array}

where the top horizontal map is given by Waldhausen's splitting theorem and the bottom horizontal map is induced by the displayed equivalence. This conjecture relates higher Whitehead torsion, the Dennis trace, and higher Reidemeister traces. The source provides no resolution status, so the conjecture is recorded as open.

Sources & referencesView supporting material

Primary source

Lea Kenigsberg and Noah Porcelli, “Obstructions to homotopy invariance of loop coproduct via parametrised fixed-point theory”, arXiv:2407.13662 (2026).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.