The symmetrized bidisc G=def{(z+w,zw):|z|<1,|w|<1},\\documentclass[12pt]{minimal}\t\t\t\t\\usepackage{amsmath}\t\t\t\t\\usepackage{wasysym}\t\t\t\t\\usepackage{amsfonts}\t\t\t\t\\usepackage{amssymb}\t\t\t\t\\usepackage{amsbsy}\t\t\t\t\\usepackage{mathrsfs}\t\t\t\t\\usepackage{upgreek}\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\t\t\t\t\\begin{document}$$\\begin{aligned} G {\\mathop {=}\\limits ^\\mathrm{{def}}}\\{(z+w,zw):|z|<1,\\quad |w|<1\\}, \\end{aligned}$$\\end{document}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 is a notion of orthogonality. The complex tangent bundle TG splits naturally into the direct sum of two line bundles, which we call the sharp and 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β=def{(β+β¯z,z):z∈D}\\documentclass[12pt]{minimal}\t\t\t\t\\usepackage{amsmath}\t\t\t\t\\usepackage{wasysym}\t\t\t\t\\usepackage{amsfonts}\t\t\t\t\\usepackage{amssymb}\t\t\t\t\\usepackage{amsbsy}\t\t\t\t\\usepackage{mathrsfs}\t\t\t\t\\usepackage{upgreek}\t\t\t\t\\setlength{\\oddsidemargin}{-69pt}\t\t\t\t\\begin{document}$$\\begin{aligned} F^\\beta {\\mathop {=}\\limits ^\\mathrm{{def}}}\\{(\\beta +{\\bar{\\beta }} z,z)\\ : z\\in \\mathbb {D}\\} \\end{aligned}$$\\end{document}for some beta in mathbb {D}, and called a flat geodesic. We say that a complex geodesic Dis orthogonal to a flat geodesic F if D meets F at a point lambda and the complex tangent space T_lambda D at lambda is in the sharp direction at lambda . 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.
Read full abstract