Existence of paths detecting every element of the continuous-contingent microbundle space

About 2 years old · traced to

Let WCC\mathsf{W}_{\mathrm{CC}} be the space of continuous-contingent microbundles, let u∈WCCu\in\mathsf{W}_{\mathrm{CC}}, and let D(u)\mathrm{D}(u) denote its domain. A path ω\omega detecting uu is a path for which the evaluation map ev(ω(t))\mathrm{ev}(\omega(t)) is defined as a set-valued function on D(u)\mathrm{D}(u). Detection-path conjecture. For every u∈WCCu\in\mathsf{W}_{\mathrm{CC}}, there is a path ω\omega detecting uu such that

(ev(ω(t)))(s)≠∅∀t∈(−1,1)∖{0},∀s∈D(u).\left(\mathrm{ev}\left(\omega(t)\right)\right)(s)\neq\varnothing\qquad\forall t\in(-1,1)\setminus\{0\},\quad\forall s\in\mathrm{D}(u).

The conjecture asserts the existence of a detecting path whose evaluations are nonempty at every nonzero parameter and every point of the domain. Its status is not determined by the supplied source context.

References

Primary source

Tommaso Boccellari, “Linear Microbundles”, arXiv:2407.07831 (2025).

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.