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

From papers

Let WCC\mathsf{W}_{\mathrm{CC}} be the space of continuous-contingent microbundles, let uWCCu\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 uWCCu\in\mathsf{W}_{\mathrm{CC}}, there is a path ω\omega detecting uu such that

(ev(ω(t)))(s)t(1,1){0},sD(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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.