Isomorphism between the normal-space quotient and the tangent bundle of an orbit space

Let MM be a smooth manifold with a proper action of a group GG. For each xMx\in M, let Nx(M,Gx)N_x(M,G\cdot x) be the normal space to the orbit through xx, and define

A:=xMNx(M,Gx).A:=\bigcup_{x\in M}N_x(M,G\cdot x).

Let GxG_x be the stabilizer of xx, set

A~:=xMAxGx,\widetilde{A}:=\bigcup_{x\in M}A_x^{G_x},

and endow A~/G\widetilde{A}/G with its induced stratified vector-bundle structure over M/GM/G. Let T(M/G)T(M/G) denote the stratified tangent bundle of the Whitney A stratified space M/GM/G. Normal-space quotient isomorphism conjecture. The canonical morphism of stratified vector bundles

A~/GT(M/G)\widetilde{A}/G\to T(M/G)

is an isomorphism over M/GM/G. The map is bijective and restricts to an isomorphism of smooth vector bundles on each stratum; the conjectural content is that it is an isomorphism of stratified vector bundles globally.

Sources & referencesView supporting material

Primary source

Ethan Ross, “Stratified Vector Bundles: Examples and Constructions”, arXiv:2303.04200 (2024).

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.