2
$\begingroup$

Here is a question that I hope/suspect is elementary but cannot find a reference for. Suppose we are given a surface, S, with a conformally Euclidean metric, |f(z)||dz|, where f(z) is meromorphic. Puncture the surface S at all of the zeroes and poles of f(z) (at the "cone points"), and denote the resulting surface S*.

Is it true that there exists a unique geodesic in every homotopy class of curves in S*?

Thanks!

$\endgroup$

2 Answers 2

1
$\begingroup$

The answer to the question as stated is "no": take for $S$ the plane $\mathbb{C}$ with the metric induced by the differential $z\mathrm{d}z$; then $S^{\ast }=\mathbb{C}\smallsetminus \{0\}$ and there is simply no geodesic from $1$ and $\mathrm{i}$. Or, if you want closed loops and free homotopy, there is no geodesic in the free homotopy class of the loop around $0$. Intuitively, it is clear what happens: if you draw a curve and try to pull it straight, you are forced to go through the cone point at the origin.

If, however, you consider the surface $S$ itself and extend the definition of a geodesic so as to work on Euclidean metrics with cone points as well, the answer is "yes" if $S$ is complete as a metric space. The usual definition of geodesics in this context is one which works for all metric spaces: locally isometric maps from an interval. The statement you asked for is then a consequence of the Arzelà-Ascoli theorem.

These things are treated in detail in the textbook Quadratic differentials by Kurt Strebel.

$\endgroup$
1
$\begingroup$

Maybe you are asking for uniqueness, not existence? Then the answer is yes because your metric admits a locally CAT(0) completion in the answer below. This uniqueness result, originally, I think, due to Teichmuller, should be also in Strebel's book and is based on a Gauss-Bonnet calculation.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.