The horofunction Morse characterization via ideal triangle points
Let be a proper complete CAT(0) space, let be a geodesic ray starting at , and let be the corresponding horofunction. For each , let denote the distinguished point associated to the triangle based on .
Morse characterization. The horofunction is Morse if and only if there exists a such that, for every , lies in the -neighborhood of .
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.
References
Primary source
Abdalrazzaq Zalloum, “A Symbolic coding of the Morse boundary”, arXiv:1811.10383 (2018).
Progress summary
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.