Abstract
We discuss the existence of the angle between two curves in Teichmüller spaces and show that, in any infinite dimensional Teichmüller space, there exist infinitely many geodesic triangles each of which has the same three vertices and satisfies the property that its three sides have the same and arbitrarily given length while its three angles are equal to any given three possibly different numbers from 0 to \(\pi \). This implies that the sum of three angles of a geodesic triangle may be equal to any given number from 0 to \(3\pi \) in an infinite dimensional Teichmüller space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The notion of geodesic segment plays an important role in the study of the geometry of a metric space. Recall that a geodesic segment in a metric space is a continuous curve such that for any subarc its length is equal to the distance between its two endpoints. It is well known that there always exists a geodesic segment between two points in any Teichmüller space (see [4]). However, there are some essential differences of the geodesic geometry between the finite and infinite dimensional Teichmüller spaces (see [1, 2, 8–11, 18, 19]). By Teichmüller’s theorem, there exists precisely one geodesic segment between two points in finite dimensional Teichmüller spaces, while there exist infinitely many geodesic segments joining certain pair of points in any infinite dimensional Teichmüller space. The primary purpose of the paper is to explore the further geodesic property of infinite dimensional Teichmüller spaces.
It is known that the inner product on the tangent space to a Riemann manifold permits well-defined angle between two geodesic segments. Since the Teichmüller distance is induced by a Finsler structure (see [4, 15, 17]), it is not very clear how to define the angle between two geodesic segments in a Teichmüller space. Recently, following an idea of Professor Li, Yao [20] gave an approach to define the angle between two geodesic segments in a Teichmüller space, and showed that such an angle really exists in a finite dimensional Teichmüller space. Later, Li and Qi [12] gave a somewhat complicated condition under which there exists the angle between two geodesic segments (of special form) in an infinite dimensional Teichmüller space.
In this paper, we will continue to discuss the existence of the angle between two geodesic segments in (infinite dimensional) Teichmüller spaces. We first establish a variation formula for the Teichmüller distance, from which it is proved that the angle between two smooth geodesic segments exists in general. We then study the geometry of Teichmüller spaces from the point of angle. We show that in any infinite dimensional Teichmüller space, there exist infinitely many geodesic triangles each of which has the same three vertices and satisfies the property that its three sides have the same and arbitrarily given length while its three angles are equal to any given three possibly different numbers from \(0\) to \(\pi \). This implies that the sum of three angles of a geodesic triangle may be equal to any given number from \(0\) to \(3\pi \) in an infinite dimensional Teichmüller space. During the proof, we also find out that in any infinite dimensional Teichmüller space there do exist infinitely many pairs of geodesic segments between each pair of which the angle does not exist. Consequently, in the view of angle, the geometry of an infinite dimensional Teichmüller space is largely different from the standard Euclidean or hyperbolic geometry.
2 Preliminaries
In this section, we will recall some basic definitions and notations from Teichmüller theory. For more details see the books [3–5].
In what follows, \(R\) will always denote a hyperbolic Riemann surface covered by the unit disk in the complex plane. We denote by \(M(R)\) the unit ball of the space \(L^{\infty }(R)\) of all essentially bounded Beltrami differentials on \(R\). We also denote by \(SQ(R)\) the unit sphere of the space \(Q(R)\) of all integrable holomorphic quadratic differentials on \(R\).
For a given \(\mu \in M(R)\), denote by \(f^{\mu }\) the quasiconformal mapping with domain \(R\) and Beltrami coefficient \(\mu \), which is uniquely determined up to a conformal mapping on \(R^{\mu }=f^{\mu }(R)\). Two elements \(\mu \) and \(\nu \) in \(M(R)\) are equivalent, which is denoted by \(\mu \sim \nu \), if \(f^{\mu }\) and \(f^{\nu }\) are Teichmüller equivalent, meaning as usual that there exists a conformal mapping \(g\) from \(R^{\mu }\) onto \(R^{\nu }\) such that \(f^{\nu }\) and \(g\circ f^{\mu }\) are homotopic (mod \(\partial R\)). Then \(T(R)=M(R)/\sim \) is the Teichmüller space of \(R\). Let \(\Phi =\Phi _R: M(R)\rightarrow T(R)\) denote the canonical projection from \(M(R)\) to \(T(R)\) so that \(\Phi (\mu )\) is the equivalence \([\mu ]\). \(\Phi (0)=[0]\) is called the base point of \(T(R)\). It is known that \(T(R)\) is finite dimensional precisely when \(R\) is of finite type, namely, \(R\) is a compact Riemann surface with possibly finitely many points removed. It is also known that \(T(R)\) has a unique complex manifold structure such that \(\Phi \) is a holomorphic split submersion.
For any Beltrami coefficient \(\mu \in M(R)\), define
and set
Then the Teichmüller distance \(\tau =\tau _R\) between points \(\Phi (\mu _1)\) and \(\Phi (\mu _2)\) is defined as
where \(\mu \) is the Beltrami coefficient of the mapping \(f^{\mu _1}\circ (f^{\mu _2})^{-1}\). It is known that the Teichmüller distance is compatible with the complex structure on \(T(R)\), namely, it is the Kobayashi metric on \(T(R)\). We will need an important fact about the Teichmüller distance: it is preserved under a so-called allowable map. Recall that a Beltrami coefficient \(\mu \) in \(M(R)\) induces an allowable map \(A_{\mu }\) which maps \(T(R)\) biholomorphically onto \(T(R^{\mu })\) and sends \([\mu ]\) to the base point in \(T(R^{\mu })\).
We say that \(\mu \in M(R)\) is extremal if \(\Vert \mu \Vert _{\infty }=k_0(\mu )\). Then we also say that \(f^{\mu }\) is extremal. It is well known (see [6, 7, 16] or Chapter 6 in [4]) that \(\mu \) is extremal if and only if \(\mu \) satisfies the Hamilton-Krushkal condition, that is, there exists a sequence \((\phi _n)\) in \(SQ(R)\) such that
Such a sequence \((\phi _n)\) is called a Hamilton sequence for \(\mu \). It is called degenerate if \(\phi _n\rightarrow 0\) locally uniformly in \(R\).
We also need a fundamental inequality of Reich-Strebel (see [16] or Chapter 6 in [4]). We first introduce some notations. For any \(\mu \in M(R)\), set
Then, it holds that
As stated in Sect. 1, the Teichmüller distance is induced by a Finsler structure (see [4, 15, 17]). For \(\mu \in M(R)\) and \(\nu \in L^{\infty }(R)\), the Finsler structure \(F=F_R\) is
From (2.8), it can be deduced that
In particular, \(F(\Phi (0), \Phi '(0)\nu )=H(\nu )\). It is known that the Finsler structure \(F\) is continuous on the tangent bundle of the Teichmüller space \(T(R)\).
3 A variation formula
Let \(\mu (t)\) be a continuous curve from \([0, t_0]\) into \(M(R)\). We say \(\mu (t)\) is differentiable at \(0\) if there exist some \(\mu \in L^{\infty }(R)\) such that \(\mu (t)=\mu (0)+t\mu +o(t)\) as \(t\rightarrow 0_+\), or more precisely,
We call \(\mu \) the derivative of \(\mu (t)\) at \(0\), and denote it by \(\mu '(0)\).
Theorem 3.1
Let \(\mu (t)\) and \(\nu (t)\) be two continuous curves from \([0, t_0]\) into \(M(R)\) which are differentiable at \(0\) and satisfy \(\mu (0)=\nu (0)\). Then it holds that
The following corollary is an immediate consequence of Theorem 3.1. When \(R\) is a compact Riemann surface, it was proved by Yao [20] by a lengthy computation.
Corollary 3.1
For any two Beltrami differentials \(\mu \) and \(\nu \) in \(L^{\infty }(R)\), it holds that
To prove Theorem 3.1, we need the following lemma, which is a direct consequence of the fundamental inequality (2.8).
Lemma 3.1
Suppose \(R_t\) is a Riemann surface which may depend on \(t\in [0, t_0]\). If \(\eta (t)\in M(R_t)\) satisfies \(\eta (t)=t\delta (t)+o(t)\) as \(t\rightarrow 0_+\), where \(\delta (t)\in L^{\infty }(R_t)\) satisfies \(\delta (t)=O(1)\) as \(t\rightarrow 0_+\), then it holds that
Proof
By definition, \(\tau _{R_t}(\Phi _{R_t}(0), \Phi _{R_t}(\eta (t)))=(1+o(1))k_0(\eta (t))\) as \(t\rightarrow 0_+\). Now we replace \(\mu \) by \(\eta (t)\) in the inequality (2.8) on the Riemann surface \(R_t\). Clearly, \(I_{R_t}(\eta (t))\) differs from \(H_{R_t}(\eta (t))\) by a term of order \(t^2\), both \(k_0(\eta (t))/(1-k_0(\eta (t)))\) and \(k_0(\eta (t))/(1+k_0(\eta (t)))\) differ from \(k_0(\eta (t))\) also by a term of order \(t^2\), while \(J_{R_t}(\eta (t))\) is a term of ordered \(t^2\). We conclude that \(k_0(\eta (t))=H_{R_t}(\eta (t))+o(t)\) as \(t\rightarrow 0_+\) and (3.3) follows.
Proof of Theorem 3.1
Let \(\eta (t)\) be the Beltrami coefficient of \(f^{\mu (t)}\circ (f^{\nu (t)})^{-1}\), namely,
By the differentiability of \(\mu (t)\) and \(\nu (t)\), we obtain
Clearly, with \(R_t=R^{\nu (t)}\), \(\eta (t)\in M(R_t)\) satisfies the assumption of Lemma 3.1 with
By Lemma 3.1,
But by (2.10) and the continuity of the Finsler structure \(F\), as \(t\rightarrow 0_+\) it holds that
Thus,
Finally, \(\tau (\Phi (\mu (t)), \Phi (\nu (t)))=\tau _{R_t}(\Phi _{R_t}(0), \Phi _{R_t}(\eta (t)))\) by the distance-preserving property of the allowable map \(A_{\nu (t)}: T(R)\rightarrow T(R_t)\) and (3.4) follows.
4 Existence of angle
We first introduce the notion of the angle between two joint curves in a general metric space \((X, d)\). Let \(\alpha \) and \(\beta \) be two continuous curves in \(X\) with one common endpoint \(p\). For any \(r>0\), we choose \(x(r)\in \alpha \) and \(y(r)\in \beta \) such that the length of the sub-curve of \(\alpha \) between \(p\) and \(x(r)\) is the same as that of the sub-curve of \(\beta \) between \(p\) and \(y(r)\) and equal to \(r\). Then the angle at \(p\) between \(\alpha \) and \(\beta \), denoted by \(\langle \alpha , \beta \rangle _p\), is defined as the number \(\theta \in [0, \pi ]\) by the equation
if the limit exists. Notice that when both \(\alpha \) and \(\beta \) are geodesic segments in a Teichmüller space, the notion of the angle is reduced to the one introduced by Yao [20] and Li and Qi [12]. A trivial case is when \(\alpha \equiv \beta \) in a neighborhood of \(p\), then the angle at \(p\) between \(\alpha \) and \(\beta \) exists and equals \(0\). Another trivial case is when \(\alpha \cup \beta \) is geodesic at \(p\), namely, there exists some closed neighborhood \(U(p)\) of \(p\) such that \((\alpha \cup \beta )\cap U(p)\) is a geodesic segment. Then, it is clear that the angle at \(p\) between \(\alpha \) and \(\beta \) exists and equals \(\pi \). In what follows we always assume that \(\alpha \ne \beta \) in a punctured neighborhood of \(p\), and \(\alpha \cup \beta \) is not geodesic at \(p\), and call these two curves are distinct. As will be seen in the next section, the angle between two distinct geodesic segments in an infinite dimensional Teichmüller space may still be equal to \(0\) or \(\pi \), however.
The following result, which follows directly from Theorem 3.1, gives a general condition under which there exists the angle between two geodesic segments in a Teichmüller space.
Theorem 4.1
Let \(\alpha \) and \(\beta \) be two geodesic segments in \(T(R)\) given by the equations \(\alpha =\Phi (\mu (t))\) and \(\beta =\Phi (\nu (t))\), \(t\in [0, t_0]\, (t_0<1)\), respectively. Suppose both \(\mu (t)\) and \(\nu (t)\) are continuous from \([0, t_0]\) into \(M(R)\), differentiable at \(0\) with \(\mu (0)=\nu (0)\), and
Then the angle at \(\Phi (\mu (0))\) between \(\alpha \) and \(\beta \) exists, and
We consider a special case of Theorem 4.1. For \(\mu _0\), \(\mu \) in \(M(R)\), we consider the curve
where
We set \(\alpha _{\mu }=\alpha _{0, \mu }\) for simplicity. When \(f^{\mu }\circ (f^{\mu _0})^{-1}\) is extremal, \(\alpha _{\mu _0, \mu }\) is a geodesic segment, and
We call it a standard geodesic segment joining \([\mu _0]\) to \([\mu ]\). By the well-known theorem of Teichmüller, a geodesic segment \(\alpha \) beginning at the base point in a finite dimensional Teichmüller space must be a standard, actually, a Teichmüller geodesic segment, that is, \(\alpha =\alpha _{\mu }\) for a so-called Teichmüller differential \(\mu =k|\phi |/\phi \) with \(0<k<1\), \(\phi \in SQ(R)\). While in an infinite dimensional Teichmüller space, a geodesic segment need not be standard.
The following corollary follows immediately from Theorem 4.1. It provides an affirmative answer to Problem A posed by Li-Qi [12].
Corollary 4.1
Let \(\mu _0\), \(\mu _1\) and \(\mu _2\) be three Beltrami coefficients in \(M(R)\) such that \(f^{\mu _1}\circ (f^{\mu _0})^{-1}\) and \(f^{\mu _2}\circ (f^{\mu _0})^{-1}\) are extremal. Then there exists the angle at the point \([\mu _0]\) between the two standard geodesic segments \(\alpha _{\mu _0, \mu _1}\) and \(\alpha _{\mu _0, \mu _2}\), and
In particular, when \(\mu _0=0\),
In the next section, we will see that in any infinite dimensional Teichmüller space there do exist infinitely many pairs of geodesic segments (one of which even may be a Teichmüller geodesic segment) between each pair of which the angle does not exist.
5 An example
In Sect. 4, we have introduced the notion of the angle between two curves in Teichmüller spaces and show that such defined angle exists in a much general situation. A natural question is to determine whether so-defined angle behaves like that under the standard Euclidean or hyperbolic geometry. Recall that a geodesic triangle \(\Delta \) in a general metric space consists of three distinct geodesic segments, called the sides of \(\Delta \), any two of which have precisely one common endpoint. In this section, we will prove the following result.
Theorem 5.1
Let \(R\) be a Riemann surface of infinite type so that \(T(R)\) is infinite dimensional. Given any four numbers \(l\) and \(\theta _1\), \(\theta _2\), \(\theta _3\) with \(0<l<\infty \) and \(0\le \theta _j\le \pi \) for \(j=1, 2, 3\), there exist infinitely many geodesic triangles in \(T(R)\) each of which has the same three vertices and a common side and satisfies the property that its three sides have the same length \(l\) while its three angles are equal to \(\theta _1\), \(\theta _2\), \(\theta _3\) respectively.
Theorem 5.1 implies that the sum of three angles of a geodesic triangle may be equal to any given number from \(0\) to \(3\pi \) in an infinite dimensional Teichmüller space. Thus, the geometry of an infinite dimensional Teichmüller space is largely different from the standard Euclidean or hyperbolic geometry in the view of angle. This also provides a negative answer to Problem B posed by Li-Qi [12] in the infinite dimensional case. During the proof of Theorem 5.1, we will find out that there do not exist the angles between infinitely many pairs of geodesic segments (one of which even may be a Teichmüller geodesic segment) in any infinite dimensional Teichmüller space, as stated at the end of Sect. 4 (see Lemma 5.1 below).
Proof of Theorem 5.1
Let \(R\) be a given Riemann surface of infinite type so that \(T(R)\) is infinite dimensional. Choose an extremal Beltrami coefficient \(\mu \) in \(M(R)\) which satisfies \(|\mu |\equiv k=\frac{e^{2l}-1}{e^{2l}+1}<1\) and possess a degenerating Hamilton sequence \((\phi _n)\). It is known there even exist infinitely many Teichmüller differentials each of which possess a degenerating Hamilton sequence (see [13]).
Since \((\phi _n)\) is degenerating, we can always choose a sequence of compact subsets \(D_n\) of \(R\), and a subsequence of \((\phi _n)\) which we still denote by \((\phi _n)\), such that
and
We need to consider the inverse map \((f^{\mu })^{-1}\), and denote by \(\mu ^*\) its Beltrami coefficient. Since \(\mu \) is extremal with a degenerating Hamilton sequence, \(\mu ^*\) is also extremal, and has a degenerating Hamilton sequence, which we denote by \((\phi ^*_n)\). Set \(D^*_n=f^{\mu }(D_n)\). Then \((D^*_n)\) is a sequence of compact subsets of \(R^{\mu }\). We now choose subsequences of \((\phi ^*_n)\) and \((D_n^*)\), which we still denote by \((\phi ^*_n)\) and \((D_n^*)\), such that
and
We list two basic properties of these constructions. Set \(R_1=\cup _{n=0}^{\infty }(D_{2n+1}\setminus D_{2n})\) \((D_0=\varnothing )\), \(R_2=R\setminus R_1\), \(R_1^{\mu }=\cup _{n=0}^{\infty }(D^*_{2n+1}\setminus D^*_{2n})\) \((D^*_0=\varnothing )\), \(R^{\mu }_2=R^{\mu }\setminus R^{\mu }_1\). Let \(\chi \) denote the characteristic function of a set. Then for any two numbers \(c_1\) and \(c_2\), we have the following two statements:
Step 1 Constructing a geodesic segment between \(\Phi (\mu )\) and \(\Phi (\chi _{R_1}\mu )\)
For simplicity, set \(\mu _1=\chi _{R_1}\mu \). \((P_1)\) implies that \(\mu _1\) is extremal, and \(\Vert \mu _1\Vert _{\infty }=k\). To construct a geodesic segment between \([\mu ]\) and \([\mu _1]\), we adapt some discussion from Li [10] and the second-named author [18]. Define \(\mu _t\) in \(M(R)\) joining \(\mu \) to \(\mu _1\) as follows:
where \(\sigma (t)\) is a continuous function of \(t\) in \([0, k]\) satisfying the following condition:
Clearly, \(\Vert \mu _t\Vert _{\infty }=\sigma (t)k\). Using \((P_1)\) again, we see that each \(\mu _t\) is extremal. We first prove that \(\Phi (\mu _t)\), \(t\in [0, k]\), is a geodesic segment between \([\mu ]\) and \([\mu _1]\).
In fact, if we set \(f_t=f^{\mu _t}\), then the complex dilatation \(\tilde{\mu }_t\) of \(f_t\circ f_0^{-1}\) is
A direct but tedious computation from (5.6) yields \(\Vert \tilde{\mu }_t\Vert _{\infty }=t.\) On the other hand, by \((P_2)\) we conclude that \(\tilde{\mu }_t\) is extremal. So we get
Now the Beltrami coefficient \(\tilde{\nu }_t\) of \(f_t\circ f_1^{-1}\) is
By the definition of \(\mu _t\) and the inequality (5.6) we get
On the other hand, by (5.8) and (5.10),
Therefore, \(\tilde{\nu }_t\) is extremal, and
Consequently,
This implies that \(\Phi (\mu _t)\), \(t\in [0, k]\), is a geodesic segment between \([\mu ]\) and \([\mu _1]\).
Now we consider the standard geodesic segments \(\alpha _{\mu }=\Phi (t/k\mu )\), \(\alpha _{\mu _1}=\Phi (t/k\mu _1)\) and the above-constructed geodesic segment \(\beta _{\sigma }=\Phi (\mu _t)\), \(t\in [0, k]\). Then they have the same length \(\frac{1}{2}\log \frac{1+k}{1-k}=l.\) Clearly, \(\alpha _{\mu }\cap \beta _{\sigma }=\{[\mu ]\}\), \(\alpha _{\mu _1}\cap \beta _{\sigma }=\{[\mu _1]\}\). Before we discuss the existence of the angles at \([\mu ]\) and \([\mu _1]\), we point out when \(\alpha _{\mu }\cup \beta _{\sigma }\) is (not) geodesic at \([\mu ]\), and \(\alpha _{\mu _1}\cup \beta _{\sigma }\) is (not) geodesic at \([\mu _1]\). Since both \(\alpha _{\mu }\) and \(\beta _{\sigma }\) are geodesic segments, \(\alpha _{\mu }\cup \beta _{\sigma }\) is not geodesic at \([\mu ]\) if and only if, as \(t\rightarrow 0_+\),
which implies by (5.8) that
Similarly, \(\alpha _{\mu _1}\cup \beta _{\sigma }\) is not geodesic at \([\mu _1]\) if and only if
Under these two conditions, \(\alpha _{\mu }\), \(\alpha _{\mu _1}\) and \(\beta _{\sigma }\) are distinct geodesic segments. In the following, we assume that \(\sigma \) satisfies (5.6), (5.12) and (5.13). Corollary (4.1) and \((P_1)\) imply that
We end this step by pointing out that \(\sigma (t)\equiv 1\) meets all the conditions (5.6), (5.12) and (5.13). In this case \(\beta _{\sigma }\) is the standard geodesic segment \(\alpha _{\mu , \mu _1}\). This will be essential in our final step to construct the desired geodesic triangle. We also point out that there are infinitely many continuous functions \(\sigma \) satisfying the conditions (5.6), (5.12) and (5.13), and two different such functions determine two different geodesic segments between \([\mu ]\) and \([\mu _1]\).
Step 2 On the existence of the angle at \([\mu ]\) between \(\alpha _{\mu }\) and \(\beta _{\sigma }\)
Lemma 5.1
There exists the angle at \([\mu ]\) between \(\alpha _{\mu }\) and \(\beta _{\sigma }\) if and only if \(\sigma \) is differentiable at \(0\). Furthermore, we can choose \(\sigma \) so that the angle at \([\mu ]\) between \(\alpha _{\mu }\) and \(\beta _{\sigma }\) attains any given number from \(0\) to \(\pi \).
Proof
We first assume \(\sigma \) is differentiable at \(0\). (5.6) implies that \(|\sigma '(0)|\le (1-k^2)/k\). Then \(\mu _t\) is differentiable with \(\mu _0=\mu \), and
Interchanging the endpoints, \(\alpha _{\mu }=\Phi (\nu _t)\), with
Then \(\nu _t\) is differentiable with \(\nu _0=\mu \), and
It is easy to see that
By (5.8), (5.14)–(5.16), we find out that \(\mu _t\) and \(\nu _t\) satisfy the assumption in Theorem 4.1. Consequently, there exists the angle at \([\mu ]\) between \(\alpha _{\mu }\) and \(\beta _{\sigma }\), and
Noting that
we obtain
Consequently,
Since \(|\sigma '(0)|\le (1-k^2)/k\), we see that \(\langle \alpha _{\mu }, \beta _{\sigma }\rangle _{[\mu ]}\in [0, \pi ]\).
To show that \(\langle \alpha _{\mu }, \beta _{\sigma }\rangle _{[\mu ]}\) may attain any number from \(0\) to \(\pi \), it is sufficient to show that for any number \(\delta \) with \(|\delta |\le (1-k^2)/k\), there exists a continuous function \(\sigma _{\delta }(t)\) in \([0, k]\) which satisfies the inequalities (5.6), (5.12) and is differentiable at zero with \(\sigma _{\delta }'(0)=\delta \). Actually, by (5.12), we only need to find \(\sigma _{\delta }(t)\) when \(t\rightarrow 0_+\). When \(\delta =(1-k^2)/k\), we choose
when \(-(1-k^2)/k\le \delta <(1-k^2)/k\), we choose
Conversely, suppose that there exists the angle at \([\mu ]\) between \(\alpha _{\mu }\) and \(\beta _{\sigma }\). By (5.8) and (5.16) we conclude that
Let \(\mu ^*_t\) denote the Beltrami coefficient of \(f^{\mu _t}\circ (f^{\nu _t})^{-1}\). It is routine to show that \(\mu ^*_t\) is extremal, and
Then,
Consequently, \(\sigma \) is differentiable at \(0\), and
Finally, we need to find a continuous function \(\sigma \) which satisfies (5.6), (5.12) but is not differentiable at \(0\) so that the angle at \([\mu ]\) between \(\alpha _{\mu }\) and \(\beta _{\sigma }\) does not exist. In fact, the following function works:
Step 3 On the existence of the angle at \([\mu _1]\) between \(\alpha _{\mu _1}\) and \(\beta _{\sigma }\)
Lemma 5.2
There exists the angle at \([\mu _1]\) between \(\alpha _{\mu _1}\) and \(\beta _{\sigma }\) if and only if \(\sigma \) is differentiable at \(k\). Furthermore, we can choose \(\sigma \) so that the angle at \([\mu _1]\) between \(\alpha _{\mu _1}\) and \(\beta _{\sigma }\) attains any given number from \(0\) to \(\pi \).
Proof
By the same reasoning as in Step 2, we can prove that the angle at \([\mu _1]\) between \(\alpha _{\mu _1}\) and \(\beta _{\sigma }\) exists if and only if \(\sigma \) is differentiable at \(k\). In this case, \(|\sigma '(k)|\le 1/k\), and
We omit the details here. Consequently, \(\langle \alpha _{\mu _1}, \beta _{\sigma }\rangle _{[\mu _1]}\in [0, \pi ]\), and it attains any number from \(0\) to \(\pi \). As above, it is sufficient to show that for any number \(\eta \) with \(|\eta |\le 1/k\), there exists a continuous function \(\sigma _{\eta }(t)\) in \([0, k]\) which satisfies the inequalities (5.8), (5.13) and is differentiable at \(k\) with \(\sigma _{\eta }'(k)=\eta \). This time, by (5.13), we only need to find \(\sigma _{\delta }(t)\) when \(t\rightarrow k_-\).When \(\eta =-1/k\), we choose
when \(-1/k<\eta \le 1/k\), we choose
\(\square \)
Step 4 Constructing the triangle
We have proved that \(\alpha _{\mu }\cup \alpha _{\mu _1}\cup \beta _{\sigma }\) is a geodesic triangle such that its two angles at \([\mu ]\) and \([\mu _1]\) can be equal to any two given numbers from \(0\) to \(\pi \) for an appropriate function \(\sigma \), but the third angle at \([0]\) is fixed and equal to \(\pi /3\). We now show that \(\alpha _{\mu _1}\) can be modified in a neighborhood of \([0]\) so that the new angle at \([0]\) can be equal to any given number from \(0\) to \(\pi \).
Recall that the existence and the value of the angle between two geodesic segments are preserved under an allowable map. By (5.7) we see that \(\tilde{\mu }_1=\chi _{R^{\mu }_2}\mu ^*\). Replacing \(\mu \), \(\mu _1\) and \(R_1\) by \(\mu ^*\), \(\tilde{\mu }_1\) and \(R^{\mu }_2\) respectively in the three steps above, we obtain a geodesic segment \(\gamma _{\tilde{\sigma }}\) in \(T(R^{\mu })\) joining \([\mu ^*]\) to \([\tilde{\mu }_1]\) such that the angle at \([\mu ^*]\) between \(\gamma _{\tilde{\sigma }}\) and \(\alpha _{\mu ^*}\) exists and equals any given number from \(0\) to \(\pi \), and \(\gamma _{\tilde{\sigma }}\) coincides with the standard geodesic segment \(\alpha _{\mu ^*, \tilde{\mu }_1}\) in a neighborhood of \([\tilde{\mu }_1]\) (as remarked at the end of Step 1). By the allowable map \(A_{\mu }: T(R)\rightarrow T(R^{\mu })\), \(\gamma _{\tilde{\sigma }}\) becomes a geodesic segment \(\tilde{\gamma }_{\tilde{\sigma }}\) in \(T(R)\) joining \([0]\) to \([\mu _1]\) such that the angle at \([0]\) between \(\tilde{\gamma }_{\tilde{\sigma }}\) and \(\alpha _{\mu }\) exists and equals any given number from \(0\) to \(\pi \), and \(\tilde{\gamma }_{\tilde{\sigma }}\) coincides with the standard geodesic segment \(\alpha _{\mu _1}\) in a neighborhood of \([\mu _1]\). Now let \(\Delta _0\) denote the geodesic triangle \(\alpha _{\mu }\cup \beta _{\sigma }\cup \tilde{\gamma }_{\tilde{\sigma }}\) with vertices \([0]\), \([\mu ]\) and \([\mu _1]\). Then the angles at these three vertices exist and equal any three given numbers from \(0\) to \(\pi \). This finishes our construction and completes the proof of Theorem 5.1.
Remark 1
In a finite dimensional Teichmüller space, the angle between two distinct geodesic segments exists and is always positive and less than \(\pi \). It is not known whether the sum of three angles of a geodesic triangle in a finite dimensional Teichmüller space is less than \(\pi \). This seems to be a difficult problem.
Remark 2
Masur [14] proved that any Teichmüller space of finite dimension \((\ge 2)\) does not have negative curvature. In general, a metric space \((X, d)\) is said to have negative curvature if for any geodesic triangle \(\Delta \) in \(X\) with vertices \(A\), \(B\) and \(C\), \(d(B, C)>2d(\tilde{B}, \tilde{C})\), where \(\tilde{B}\) is the midpoint of the side \(\overline{AB}\) between \(A\) and \(B\), and \(\tilde{C}\) is the midpoint of the side \(\overline{AC}\) between \(A\) and \(C\). In fact, by Masur’s discussion, for any Teichmüller space \(T(R)\) of finite dimension \((\ge 2)\) and any number \(\epsilon >1\), there exists a geodesic triangle \(\Delta \) in \(T(R)\) with vertices \(A\), \(B\) and \(C\) such that \(d(B, C)\le \epsilon d(\tilde{B}, \tilde{C})\). It is of interest to determine whether one can take \(\epsilon =1\) here. Our proof of Theorem 5.1 shows that this is the case when \(T(R)\) is infinite dimensional. Thus, an infinite dimensional Teichmüller space is far from having negative curvature.
In fact, we may consider the triangle \(\Delta =\alpha _{\mu }\cup \alpha _{\mu _1}\cup \beta _{\sigma }\). Here we assume that
with
By (5.8), (5.16) and (5.20), we obtain
Thus, \([\mu _{t_0}]\) and \([\nu _{t_0}]\) are the midpoints of \(\beta _{\sigma }\) and \(\alpha _{\mu }\), respectively. Now it follows from (5.18), (5.20) and (5.21) that
References
Earle, C.J., Kra, I., Krushkal, S.L.: Holomorphic motions and Teichmüller spaces. Trans. Am. Math. Soc. 343, 927–948 (1994)
Earle, C.J., Li, Z.: Isometrically embedded polydisks in infinite dimensional Teichmüller spaces. J. Geom. Anal. 9, 51–71 (1999)
Fletcher, A., Markovic, V.: Quasiconformal Maps and Teichmüller Theory Oxford Graduate Texts in Mathematics, vol. 11. Oxford University Press, Oxford (2007)
Gardiner, F.P.: Teichmüller Theory and Quadratic Differentials. Wiley-Interscience, New York (1987)
Gardiner, F.P., Lakic, N.: Quasiconformal Teichmüller Theory. Math. Surveys Monogr., 76, Amer. Math. Soc., Providence, RI (2000)
Hamilton, R.S.: Extremal quasiconformal mappings with prescribed boundary values. Trans. Am. Math. Soc. 138, 399–406 (1969)
Krushkal, S.L.: Extremal quasiconformal mappings. Siberian Math. J. 10, 411–418 (1969)
Li, Z.: Non-uniqueness of geodesics in infinite dimensional Teichmüller spaces. Complex Var. Theory Appl. 16, 261–272 (1991)
Li, Z.: Non-uniqueness of geodesics in infinite dimensional Teichmüller spaces (II). Ann. Acad. Sci. Fenn. Math. 18, 355–367 (1993)
Li, Z.: A note on geodesics in infinite dimensional Teichmüller spaces. Ann. Acad. Sci. Fenn. Math. 20, 301–313 (1995)
Li, Z.: Closed geodesics and non-differentiability of the Teichmüller metric in infinite dimensional Teichmüller spaces. Proc. Am. Math. Soc. 124, 1459–1465 (1996)
Li, Z., Qi, Y.: Fundamental inequalities of Reich-Strebel and triangles in a Teichmüller space. Contemp. Math. 575, 283–297 (2012)
Li, Z., Shen, Y.: A remark on the weak uniform convexity of the space of holomorphic quadratic differentials. Beijing Math. 1, 187–193 (1995)
Masur, H.: On a class of geodesics in Teichmüller space. Ann. Math. 102, 205–221 (1975)
O’Byrne, B.: On Finsler geometry and applications to Teichmüller spaces. Ann. Math. Stud. 66, 317–328 (1971)
Reich, E., Strebel, K.: Extremal quasiconformal mappings with given boundary values. In: Contributions to Analysis, A collection of papers dedicated to Lipman Bers, pp. 375–391 . Academic Press, New York (1974)
Royden, H.: Automorphisms and isometrics of Teichmüller space. Ann. Math. Stud. 66, 369–383 (1971)
Shen, Y.: On the geometry of infinite dimensional Teichmüller spaces. Acta Math. Sinica 13, 413–420 (1997)
Tanigawa, H.: Holomorphic families of geodesic disks in infinite dimensional Teichmüller spaces. Nagoya Math. J. 127, 117–128 (1992)
Yao, G.: A binary infinitesimal form of Teichmüller metric, preprint, arXiv:0901.3822
Acknowledgments
The authors would like to thank the referee for useful advice.
Author information
Authors and Affiliations
Corresponding author
Additional information
Research supported by the National Natural Science Foundation of China and the Specialized Research Fund for the Doctoral Program of Higher Education of China.
Rights and permissions
About this article
Cite this article
Hu, Y., Shen, Y. On angles in Teichmüller spaces. Math. Z. 277, 181–193 (2014). https://doi.org/10.1007/s00209-013-1249-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00209-013-1249-3