Higher Reidemeister trace characterization conjecture

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([RTdiag],[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.

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.