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

From papers

Let ω\omega be the symmetric measure on the sphere at infinity S2S^2 of hyperbolic space H3{\mathbb H}^3. For fCc0(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 fCc0(H3)f\in C^0_c({\mathbb H}^3),

fω=0f0.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.

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

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

Solutions 0

No solutions have been posted yet.