2020/12/06 by Agler, Jim, Lykova, Zinaida, Young, N. J.
#32A07 #32F45 #47A57 #53C22 #54C15 #Complex Variables (math.CV) #Differential Geometry (math.DG) #FOS: Mathematics
paper · doi:10.48550/arxiv.2012.03304
The symmetrized bidisc G \stackrel\rmdef=\(z+w,zw):|z|lt;1, |w|lt;1\, under the Carathéodory metric, is a complex Finsler space of cohomogeneity 1 in which the geodesics, both real and complex, enjoy a rich geometry. As a Finsler manifold, G does not admit a natural notion of angle, but we nevertheless show that there \em is a notion of orthogonality. The complex tangent bundle TG splits naturally into the direct sum of two line bundles, which we call the \em sharp and \em flat bundles, and which are geometrically defined and therefore covariant under automorphisms of G. Through every point of G there is a unique complex geodesic of G in the flat direction, having the form Fβ\stackrel\rmdef=\(β+βz,z) : z∈\mathbbD\ for some β∈\mathbbD, and called a \em flat geodesic. We say that a complex geodesic D is orthogonal to a flat geodesic F if D meets F at a point λ and the complex tangent space TλD at λ is in the sharp direction at λ. We prove that a geodesic D has the closest point property with respect to a flat geodesic F if and only if D is orthogonal to F in the above sense. Moreover, G is foliated by the geodesics in G that are orthogonal to a fixed flat geodesic F.