Homotopy-colimit endomorphism conjecture for full-twist eigenmaps

About 9 years old · traced to

Let FT⁡n\operatorname{FT}_n be the full-twist complex and let α:\1→FT⁡n\alpha:\1\rightarrow\operatorname{FT}_n be an eigenmap. Form the directed system

\1⟶FT⁡n⟶FT⁡n⊗2⟶⋯\1\longrightarrow\operatorname{FT}_n\longrightarrow\operatorname{FT}_n^{\otimes 2}\longrightarrow\cdots

with transition maps induced by tensoring with α\alpha, and let Lα{\mathbf L}_\alpha be its homotopy colimit. Let Pα{\mathbf P}_\alpha be the corresponding projector, and write HOM⁡\operatorname{HOM} and END⁡\operatorname{END} for internal Hom and endomorphism objects. Homotopy-colimit endomorphism conjecture. The homotopy colimit Lα{\mathbf L}_\alpha is isomorphic to the internal endomorphism ring of the corresponding projector. In particular,

HOM⁡(\1,Lα)≅END⁡(Pα).\operatorname{HOM}(\1,{ \mathbf L}_\alpha)\cong\operatorname{END}({\mathbf P}_\alpha).

This is stated conjecturally for any eigenmap; the top and bottom projector cases are described as known examples, but the general assertion remains open.

References

Primary source

Ben Elias and Matthew Hogancamp, “Categorical diagonalization”, arXiv:1707.04349 (2017).

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.