Higher Reidemeister trace characterization conjecture

About 2 years old · traced to

Let MM be a smooth closed manifold, let H(M)\mathcal{H}(M) be its stable hh-cobordism space, and suppose the higher Reidemeister trace constructions define a map

RT:H(M)→Ω∞+1Σ∞LMM.RT:\mathcal{H}(M)\to\Omega^{\infty+1}\Sigma^{\infty}\frac{\mathcal{L}M}{M}.

Let ΞlB\Xi_{{{l}}}^B and ΞrB\Xi_{{{r}}}^B be the parametrised-spectrum operations associated with a smooth fiber bundle over BB, and let μlM×B\mu_{{{l}}}^{M\times B} and μrM×B\mu_{{{r}}}^{M\times B} denote the corresponding multiplication operations. Higher Reidemeister trace characterization conjecture. There are homotopies of maps of parametrised spectra

ΞlB≃μlM×B(⋅×[M],[RTdiag])andΞrB≃μrM×B([RT‾diag],[M]×⋅).\Xi_{{{l}}}^B\simeq\mu_{{{l}}}^{M\times B}(\cdot\times[M],[RT_{diag}]) \quad\text{and}\quad \Xi_{{{r}}}^B\simeq\mu_{{{r}}}^{M\times B}([\overline{RT}_{diag}],[M]\times\cdot).

The conjecture identifies the two parametrised obstruction operations with multiplication by higher Reidemeister traces. The source does not state that this characterization is known, so its status is open.

References

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.