Full faithfulness of the global-space functor for finite orbispaces

At least 5 years old · documented by

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

X⟼Emb⁡X(E,−).X\longmapsto\operatorname{Emb}_X(E,-).

Global-space full-faithfulness conjecture. For X∈OrbSpcfX\in\mathrm{OrbSpc}^f and F∈GloSpcF\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.

References

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.