The horofunction Morse characterization via ideal triangle points

Let XX be a proper complete CAT(0) space, let cc be a geodesic ray starting at pp, and let h=bch=b_c be the corresponding horofunction. For each xXx\in X, let (i)x(i_{\infty})_x denote the distinguished point associated to the triangle based on x,p,cx,p,c.

Morse characterization. The horofunction h=bch=b_c is Morse if and only if there exists a δ\delta such that, for every xXx\in X, (i)x(i_{\infty})_x lies in the δ\delta-neighborhood of im(c)\operatorname{im}(c).

This gives a geometric characterization of Morse horofunctions in terms of the ideal points of triangles based at infinity. The source does not provide evidence resolving the conjecture.

Sources & referencesView supporting material

Primary source

Abdalrazzaq Zalloum, “A Symbolic coding of the Morse boundary”, arXiv:1811.10383 (2018).

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.