3
$\begingroup$

Let $S$ be a compact orientable surface endowed with a singular euclidean metric $g$, with $n$ conical singularities $x_1,\ldots,x_n$.


Construction 1: it is well-known that the conformal class $[g]$ of the metric makes of $S$ a Riemann surface, denoted by $X$. Then to the pair $(S,g)$, one can associate the $n$-punctured Riemann surface $(X,\{x_i\}_{ i=1}^n)$ (cf. [B] of [T] for a modern reference)


There is another way to associate a punctured Riemann surface to $(S,g)$:

Construction 2: the Delaunay tesselation ${\cal D }(S,g)$ associated to $g$ is a particular polyhedral tessellation of $S$ by $g$-euclidean cyclic polygons with set of vertices equal to $V=\{x_1,\ldots,x_n\}$. It is canonically attached to $g$ hence makes of $S$ a euclidean polyhedral surface.

Let's assume (to simplify) that ${\cal D }(S,g)$ is a triangulation of $S$: any 2-face $T$ of ${\cal D }(S,g)$ is a euclidean triangle inscribed in a circle $C_T$. Considering the latter as the boundary of Klein's model of the hyperbolic disc, one can see $T$ as an ideal hyperbolic triangle. Gluing the 2-faces of ${\cal D}(S,g)$ with these ideal hyperbolic structures, one obtains a complete hyperbolic structure on $S\setminus \{x_i\}$ with cusps at the initial singularities $x_1,\ldots,x_n$. Let's denote by $X'$ this hyperbolic surface.

It is classical that $(X',\{x_i\}_{ i=1}^n)$ can be viewed as a $n$-punctured Riemann surface.

(this construction, using shear coordinates to glue the 2-faces of the Delaunay triangulation is due to Rivin; the equivalent construction described above using Klein's model of the hyperbolic disc is taken from [BPS]).


In [R,Sect. 7], it is said that Construction 1 and Construction 2 lead to distinct Riemann surfaces, i.e. the two $n$-punctured Riemann surfaces $(X,\{x_i\})$ and $(X',\{x_i\})$ are distinct in general (a `remark' attributed to C.T. McMullen).

  • Do I understand things properly?
  • If yes, I would be interested by some details on this fact.
  • Some (concrete?) examples would be welcome.
  • Some references too (if any).

Thanks in advance for any help.


References:

  • [B] Bers, Riemann surfaces;

  • [BPS] Bobenko, Pinkall & Springborn, Discrete conformal maps and ideal hyperbolic polyhedra;

  • [R] Rivin, Combinatorial optimization in geometry;

  • [T] Troyanov, Les surfaces euclidiennes à singularités coniques;

$\endgroup$
2
  • $\begingroup$ How exactly do you choose the shear coordinates used for the gluing? (I will readily admit I am too lazy to go to the original reference to find it out.) $\endgroup$ Sep 23, 2013 at 14:19
  • $\begingroup$ The interest of using Klein's model is precisely to avoid to explain this (see [BPS])! But it is not so difficult to guess what are the shear coordinates in Poincaré's model $\mathbb D$. For any 2-face (euclidean triangle) $T$ of ${\cal D}(S,g)$, one associates an ideal triangle $h(T)$ in $\mathbb D$. Given two adjacent such triangles $T_1=ABC$ and $T_2=ABD$ on the surface, one defines $r(T_1,T_2)=\log(\lvert AC\lvert \lvert BD\lvert/\lvert BC \lvert \lvert AD \lvert )$. It is the shear coordinate used in [R] to glue together $h(T_1)$ and $h(T_2)$. $\endgroup$
    – Elbabak
    Sep 24, 2013 at 9:18

1 Answer 1

3
$\begingroup$

Your description is a little too abstract: it is easier to think of this geometrically [in a special case].

Fact (Rivin, 1991): Every complete finite area hyperbolic metric on a sphere with punctures can be realized in a unique way as the induced metric on a convex ideal polyhedron $P$ in $\mathbb{H}^3.$ Such a metric has a conformal class, but the sphere at infinity with the vertices of $P$ marked also defines a conformal class, and we thus have a map (which is easily seen to be a piecewise analytic homeomorphism) from the moduli space of such classes to itself. The obvious question (which is what your question is about) is: is this map the identity? Symmetric metrics (regular ideal simplex, equatorial square) are fixed points, but the map is not the identity. McMullen's observation was simply the following: look one dimension lower, and consider ideal quadrilaterals in $\mathbb{H}^2.$ Again, you have the four points on the circle at infinity, and their convex hull defining two conformal quadrilaterals, but as two of the vertices converge to (say) $-1$ and two others converge to (say) $1$ it is not hard to see that the moduli of the two quadrilaterals blow up at different rates (one is the log of the other), so the map is not the identity in that case, and since this is a section of the higher dimensional case (when the simplex is flat), the higher dimensional map is not the identity either.

The question of what the map is, exactly, is very interesting and completely open even for four-times-punctured spheres (although there is some related work, in completely different language, due to Zograf and Tachtajian).

$\endgroup$
2
  • $\begingroup$ Very good answer, thanks! When you say that the map considered is a piecewise analytic homeomorphism, you mean piecewise real analytic homeomorphism, right? $\endgroup$
    – Elbabak
    Sep 24, 2013 at 9:07
  • $\begingroup$ @Elbabak yes, of course... $\endgroup$
    – Igor Rivin
    Sep 25, 2013 at 1:01

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.