Projective geometry in the Poincaré disk of a $C^*$-algebra

Abstract

We study the Poincaré disk ${\cal D}=\{a\in {\cal A}: \|a\|<1\}$ of a C$^*$-algebra ${\cal A}$ from a projective point of view: ${\cal D}$ is regarded as an open subset of the projective line $\mathbb{P}_1{\cal A}$, the space of complemented rank one submodules of ${\cal A}^2$. We introduce the concept of cross ratio of four points in $\mathbb{P}_1{\cal A}$. Our main result establishes the relation between the exponential map $Exp_{z_0}(z_1)$ of ${\cal D}$ ($z_0,z_1\in {\cal D}$) and the cross ratio of the four-tuple $$ δ(-\infty), δ(0)=z_0, δ(1)=z_1 , δ(+\infty), $$ where $δ$ is the unique geodesic of ${\cal D}$ joining $z_0$ and $z_1$ at times $t=0$ and $t=1$, respectively.

2 figures