Atiyah's faithfulness conjecture for the hyperbolic-space action on the sphere-at-infinity measure

About 27 years old · traced to

Let ω\omega be the symmetric measure on the sphere at infinity S2S^2 of hyperbolic space H3{\mathbb H}^3. For f∈Cc0(H3)f\in C^0_c({\mathbb H}^3), define the action

f⋅ω=∫H3f(x) x⋅ω dx,f\cdot\omega=\int_{{\mathbb H}^3}f(x)\,x\cdot\omega\,dx,

where xx is regarded as an element of SL(2,C)/SU(2)SL(2,{\mathbb C})/SU(2). Atiyah's faithfulness conjecture. For every f∈Cc0(H3)f\in C^0_c({\mathbb H}^3),

f⋅ω=0⟺f≡0.f\cdot\omega=0\quad\Longleftrightarrow\quad f\equiv 0.

The conjecture asserts that this action is faithful: the boundary measure detects every compactly supported continuous function on hyperbolic space. The source attributes the suggestion to Atiyah and gives no resolution.

References

Primary source

Paul Norbury, “Asymptotic values of hyperbolic monopoles”, arXiv:math/9911146 (1999).

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.