The fiberwise Fuller trace counterexample conjecture

Let BB be a base space supporting a family of endomorphisms f ⁣:EEf\colon E\to E over BB. Write RB(f)R_B(f) and RB(f2)R_B(f^2) for the corresponding fiberwise Reidemeister traces, and let RB(Ψ2(f))C2R_B(\Psi^{2}(f))^{C_2} denote the fiberwise Fuller trace. Fiberwise counterexample conjecture. There is a family of endomorphisms ff over some base BB for which

RB(f)=RB(f2)=0,R_B(f)=R_B(f^2)=0,

but

RB(Ψ2(f))C20.R_B(\Psi^{2}(f))^{C_2}\ne 0.

For a single endomorphism, the Reidemeister traces for divisors of nn are known to be a complete obstruction, whereas the paper suggests that this may fail fiberwise; finding such an example would settle the question.

Sources & referencesView supporting material

Primary source

Cary Malkiewich and Kate Ponto, “Periodic points and topological restriction homology”, arXiv:1811.12871 (2021).

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.