23
$\begingroup$

Consider the Kähler manifold in coordinates $(a,b)$ given by the complex Riemannian metric $$\begin{pmatrix} \frac{1}{1-|a|^2}&\frac{1}{1-a\bar{b}}\\\frac{1}{1-\bar{a}b}&\frac{1}{1-|b|^2}\end{pmatrix}.$$

For statistical reasons we require that $(a,b)$ be in the unit disk in the complex plane.

What are the geodesics of this manifold?

$\endgroup$
10
  • 1
    $\begingroup$ From your notation it seems that $a,b$ are complex variables? So when you say $(a,b)$ be in the unit disk do you mean $a,b\in D\subset \mathbb{C}$ or $(a,b) \in $some subset$\subset \mathbb{C}^2$? $\endgroup$ Commented May 7, 2013 at 11:38
  • 1
    $\begingroup$ I mean that $a,b \in \mathbb{C}$ and $|a|,|b|<1$. $\endgroup$
    – Wintermute
    Commented May 7, 2013 at 12:59
  • 2
    $\begingroup$ (statistics)? $ $ $\endgroup$
    – Did
    Commented May 3, 2014 at 10:13
  • 3
    $\begingroup$ @Did This manifold is the statistical manifold corresponding to linear time invariant systems. Such systems are commonly used in signal processing for linear prediction. $\endgroup$
    – Wintermute
    Commented May 3, 2014 at 13:32
  • 2
    $\begingroup$ @William Just google information geometry, you'll see there is a huge connection between Riemannian geometry and statistics. The goto sources are by Amari. As far as Kahler geometry and it's connection to statistics, this is my personal research. I have not published it to date. $\endgroup$
    – Wintermute
    Commented Apr 29, 2016 at 13:02

1 Answer 1

0
$\begingroup$

All you need to do is find the Christoffel symbols, defined by

$$\Gamma_{\rho\tau}^\mu=\frac{1}{2}g^{\mu\nu}\left(\frac{\partial g_{\nu\rho}}{\partial x^\tau}+\frac{\partial g_{\nu\tau}}{\partial x^\rho}-\frac{\partial g_{\rho\tau}}{\partial x^\nu}\right)$$

where $g_{\mu\nu}$ is the metric tensor you have above. Then for the non-zero symbols you can plug them into the geodesic differential equation:

$$\frac{\partial^2x^\mu}{\partial\sigma^2}+\Gamma_{\rho\tau}^\mu\frac{\partial x^\rho}{\partial\sigma}\frac{\partial x^\tau}{\partial\sigma}=\gamma(\sigma)\frac{\partial x^\mu}{\partial\sigma}$$

where the geodesic is parametrized by $\sigma$ and $\gamma(\sigma)=0$ if $\sigma$ is affine (don't assume this at the outset). You can typically split the geodesic equation up into several differential equations based on what the Christoffel symbols are, and then exploit symmetries to simplify them. Then choose either the $a$ or $b$ coordinate as your parameter $\sigma$, and solve the differential equations.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .