Characteristic long exact sequence conjecture for bordism groups

Let (ξ,P)(\xi, \mathcal P) be a pair consisting of a tangential structure and a characteristic class as in the definition of a characteristic pair, and let ξ\xi' be a tangential structure for a submanifold FF. Write MTChar(ξ,P)\mathit{MTChar}(\xi,\mathcal P) for the corresponding characteristic bordism spectrum, and Ωk(ξ,P)\Omega_k^{(\xi,\mathcal P)} and Ωknξ\Omega_{k-n}^{\xi'} for the associated bordism groups. Characteristic long exact sequence conjecture. There is a map of spectra

R ⁣:MTChar(ξ,P)ΣnMTξ\mathcal R\colon\mathit{MTChar}(\xi,\mathcal P)\to \Sigma^n \mathit{MT\xi}'

such that the map R\mathcal R induces on πk\pi_k the map

R ⁣:Ωk(ξ,P)ΩknξR\colon\Omega_k^{(\xi,\mathcal P)}\to\Omega_{k-n}^{\xi'}

sending a characteristic pair (M,F)(M,F) to FF. This is intended as the homotopical map underlying a characteristic long exact sequence of bordism groups, analogous to the Smith long exact sequence; the source notes useful algebraic corollaries but does not establish the conjecture.

Sources & referencesView supporting material

Primary source

Arun Debray, Weicheng Ye and Matthew Yu, “Global Structure in the Presence of a Topological Defect”, arXiv:2501.18399 (2026).

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.