Full faithfulness of the global-space functor for finite orbispaces

Let OrbSpcf\mathrm{OrbSpc}^f be the category of finite orbispaces and let GloSpc\mathrm{GloSpc} be the category of global spaces. For a faithful vector bundle EE over XX, define the associated global space by

XEmbX(E,).X\longmapsto\operatorname{Emb}_X(E,-).

Global-space full-faithfulness conjecture. For XOrbSpcfX\in\mathrm{OrbSpc}^f and FGloSpcF\in\mathrm{GloSpc}, the set Hom(X,F)\operatorname{Hom}(X,F) coincides with the morphisms from the image of XX under this functor to FF. Equivalently, the functor from finite orbispaces to global spaces is fully faithful. The conjecture would identify maps out of finite orbispaces with maps out of their associated global spaces.

Sources & referencesView supporting material

Primary source

John Pardon, “Orbifold bordism and duality for finite orbispectra”, arXiv:2006.12702 (2023).

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.