Homotopy-colimit endomorphism conjecture for full-twist eigenmaps

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

\1FTnFTn2\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.

Sources & referencesView supporting material

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.