Reduced Bers boundaries of Teichmüller spaces (Q486744): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(S\) be an orientable surface of genus \(g\) with \(p\) punctures with \(\xi(S) =3g+p\geq 4\). A quasi-Fuchsian group \(G\) is a quasiconformal conjugate of a Fuchsian group which uniformizes a Riemann surface homeomorphic to \(S\). The limit set of \(G\) is a Jordan curve in the Riemann sphere, the ideal boundary of hyperbolic \(3\)-space \(\mathbb{H}^3\), and its region of discontinuity \(\Omega\) is the union of two topological disks. The quotient manifold \(\mathbb{H}^3\cup\Omega/G\) is homeomorphic to \(S\times[0, 1]\). Let \(QF(S)\) denote the subspace of marked quasi-Fuchsian groups in the space of faithful discrete representations of \(\pi_1(S)\) to \(\text{PSL}_2(\mathbb{C})\). The Teichmüller space of \(S\) is denoted by \(\mathcal{T}(S)\). By the Ahlfors-Bers theory, there is a parametrization \(qf :\mathcal{T}(S)\times \mathcal{T}(\bar{S}) \to QF(S)\), where \(\mathcal{T}(\bar{S})\) is the Teichmüller space where markings are orientation reversing. For each \(m\in \mathcal{T}(S)\), the image of \(qf_{m}=qf(m,\cdot) : \mathcal{T}(\bar{S})\to QF(S)\) is called a \textit{Bers slice} and using the Bers embedding it is realized as a bounded domain in \(\mathbb{C}^{3g-3+p}\) so that to each point of its boundary \(\partial^{B}_{m}\), called the \textit{Bers boundary} with base point \(m\), corresponds a Kleinian group with unique invariant domain. This Kleinian group is called a \(b\)-group. It was proved by Kerckhoff and Thurston that if \(\xi(S)>4\), then there exist Bers slices for which the canonical identification between them does not extend to a homeomorphism between their Bers boundaries and that there is a Bers slice for which the action of the mapping class group has no continuous extension to its Bers boundary. The \textit{reduced Bers boundary} \(\partial^{RB}_{m}\) is the quotient space of \(\partial^{B}_{m}\) obtained by identifying two points if their related \(b\)-groups are quasiconformally equivalent. Since the phenomenon observed by Kerckhoff-Thurston is caused by the existence of quasiconformal deformation spaces contained in the Bers boundary, Thurston conjectured that (1) the reduced Bers boundary \(\partial_{m}^{RB}\) is independent of the base point. He also conjectured that (2) \(\partial_{m}^{RB}\) is homeomorphic to the space of unmeasured laminations on \(S\). The purpose of the paper under review is to settle these conjectures. The author solves Conjecture (1) affirmatively in Theorem 3.7. The natural identification between \(qf_{m_1}(\mathcal{T}(\bar{S}))\) and \(qf_{m_2}(\mathcal{T}(\bar{S}))\) extends to a homeomorphism from \(\partial^{RM}_{m_1}\) to \(\partial^{RM}_{m_2}\) for two points \(m_1\), \(m_2\) of \(\mathcal{T}(S)\) (so we will omit the reference to the base point \(m\) from the notation \(\partial^{RB}_m\)). The author also proves that the action of the extended mapping class group on \(\mathcal{T}(S)\) extends continuously to \(\mathcal{T}(S)\cup \partial^{RB}\). For Conjecture (2), it is important to know that the union of ending laminations and parabolic curves is an invariant of the quasiconformal equivalence class of boundary \(b\)-groups. So there is a bijection \(e\) from \(\partial^{RB}\) to a subspace of unmeasured lamination space of \(S\). The author shows in Propositions 3.4 and 3.5 that neither \(e\) nor \(e^{-1}\) is continuous if \(\xi(S)>4\), contrary to Thurston's expectation. Besides the solution of Thurston's conjectures, the author considers other aspects of the reduced Bers boundary. Section 4 treats the rigidity of auto-homeomorphisms of the reduced Bers boundary. The main theorem here, Theorem 4.1, states that if \(\xi(S)>4\), then any auto-homeomorphism \(f\) of \(\partial^{RB}\) is induced from an extended mapping class, and, unless \(S\) is a closed surface of genus \(2\), \(f\) is induced from a unique extended mapping class. This theorem should be compared with the analogous result by Papadopoulos and the author about the auto-homeomorphisms of the space of unmeasured laminations. In the last section, Section 5, the author considers the problem of characterizing the limit point in the reduced Bers boundary of a sequence in \(\mathcal{T}(S)\). Given an unbounded sequence \(\{m_i\}\) in \(\mathcal{T}(S)\), we can find a subsequence which determines a \textit{multi-layered Thurston limit} \((\lambda_1,..., \lambda_{n})\). Here \(\lambda_j\) is a measured lamination on a subsurface \(S_{j}\) of \(S\) such that \(S=S_1\supset \cdots \supset S_n\). Then one can detect the limit of the subsequence by \((\lambda_1,..., \lambda_{n})\) up to some ambiguity caused by arc components which \(\lambda_j\) may contain. The proofs of the results of this paper rely heavily on a paper by the author and \textit{T. Soma} [``Geometry and topology of geometric limits. I.'', Preprint (2010; \url{arXiv:1002.4266})]. This paper founded the theory of brick manifolds which gives models of hyperbolic \(3\)-manifolds arising from the geometric limits of sequences of Kleinian groups. For example the author uses the result that every quasiconformal deformation of a geometric limit \(H\) of a sequence of quasi-Fuchsian groups cannot be supported on its limit set even if \(H\) is infinitely generated. | |||
Property / review text: Let \(S\) be an orientable surface of genus \(g\) with \(p\) punctures with \(\xi(S) =3g+p\geq 4\). A quasi-Fuchsian group \(G\) is a quasiconformal conjugate of a Fuchsian group which uniformizes a Riemann surface homeomorphic to \(S\). The limit set of \(G\) is a Jordan curve in the Riemann sphere, the ideal boundary of hyperbolic \(3\)-space \(\mathbb{H}^3\), and its region of discontinuity \(\Omega\) is the union of two topological disks. The quotient manifold \(\mathbb{H}^3\cup\Omega/G\) is homeomorphic to \(S\times[0, 1]\). Let \(QF(S)\) denote the subspace of marked quasi-Fuchsian groups in the space of faithful discrete representations of \(\pi_1(S)\) to \(\text{PSL}_2(\mathbb{C})\). The Teichmüller space of \(S\) is denoted by \(\mathcal{T}(S)\). By the Ahlfors-Bers theory, there is a parametrization \(qf :\mathcal{T}(S)\times \mathcal{T}(\bar{S}) \to QF(S)\), where \(\mathcal{T}(\bar{S})\) is the Teichmüller space where markings are orientation reversing. For each \(m\in \mathcal{T}(S)\), the image of \(qf_{m}=qf(m,\cdot) : \mathcal{T}(\bar{S})\to QF(S)\) is called a \textit{Bers slice} and using the Bers embedding it is realized as a bounded domain in \(\mathbb{C}^{3g-3+p}\) so that to each point of its boundary \(\partial^{B}_{m}\), called the \textit{Bers boundary} with base point \(m\), corresponds a Kleinian group with unique invariant domain. This Kleinian group is called a \(b\)-group. It was proved by Kerckhoff and Thurston that if \(\xi(S)>4\), then there exist Bers slices for which the canonical identification between them does not extend to a homeomorphism between their Bers boundaries and that there is a Bers slice for which the action of the mapping class group has no continuous extension to its Bers boundary. The \textit{reduced Bers boundary} \(\partial^{RB}_{m}\) is the quotient space of \(\partial^{B}_{m}\) obtained by identifying two points if their related \(b\)-groups are quasiconformally equivalent. Since the phenomenon observed by Kerckhoff-Thurston is caused by the existence of quasiconformal deformation spaces contained in the Bers boundary, Thurston conjectured that (1) the reduced Bers boundary \(\partial_{m}^{RB}\) is independent of the base point. He also conjectured that (2) \(\partial_{m}^{RB}\) is homeomorphic to the space of unmeasured laminations on \(S\). The purpose of the paper under review is to settle these conjectures. The author solves Conjecture (1) affirmatively in Theorem 3.7. The natural identification between \(qf_{m_1}(\mathcal{T}(\bar{S}))\) and \(qf_{m_2}(\mathcal{T}(\bar{S}))\) extends to a homeomorphism from \(\partial^{RM}_{m_1}\) to \(\partial^{RM}_{m_2}\) for two points \(m_1\), \(m_2\) of \(\mathcal{T}(S)\) (so we will omit the reference to the base point \(m\) from the notation \(\partial^{RB}_m\)). The author also proves that the action of the extended mapping class group on \(\mathcal{T}(S)\) extends continuously to \(\mathcal{T}(S)\cup \partial^{RB}\). For Conjecture (2), it is important to know that the union of ending laminations and parabolic curves is an invariant of the quasiconformal equivalence class of boundary \(b\)-groups. So there is a bijection \(e\) from \(\partial^{RB}\) to a subspace of unmeasured lamination space of \(S\). The author shows in Propositions 3.4 and 3.5 that neither \(e\) nor \(e^{-1}\) is continuous if \(\xi(S)>4\), contrary to Thurston's expectation. Besides the solution of Thurston's conjectures, the author considers other aspects of the reduced Bers boundary. Section 4 treats the rigidity of auto-homeomorphisms of the reduced Bers boundary. The main theorem here, Theorem 4.1, states that if \(\xi(S)>4\), then any auto-homeomorphism \(f\) of \(\partial^{RB}\) is induced from an extended mapping class, and, unless \(S\) is a closed surface of genus \(2\), \(f\) is induced from a unique extended mapping class. This theorem should be compared with the analogous result by Papadopoulos and the author about the auto-homeomorphisms of the space of unmeasured laminations. In the last section, Section 5, the author considers the problem of characterizing the limit point in the reduced Bers boundary of a sequence in \(\mathcal{T}(S)\). Given an unbounded sequence \(\{m_i\}\) in \(\mathcal{T}(S)\), we can find a subsequence which determines a \textit{multi-layered Thurston limit} \((\lambda_1,..., \lambda_{n})\). Here \(\lambda_j\) is a measured lamination on a subsurface \(S_{j}\) of \(S\) such that \(S=S_1\supset \cdots \supset S_n\). Then one can detect the limit of the subsequence by \((\lambda_1,..., \lambda_{n})\) up to some ambiguity caused by arc components which \(\lambda_j\) may contain. The proofs of the results of this paper rely heavily on a paper by the author and \textit{T. Soma} [``Geometry and topology of geometric limits. I.'', Preprint (2010; \url{arXiv:1002.4266})]. This paper founded the theory of brick manifolds which gives models of hyperbolic \(3\)-manifolds arising from the geometric limits of sequences of Kleinian groups. For example the author uses the result that every quasiconformal deformation of a geometric limit \(H\) of a sequence of quasi-Fuchsian groups cannot be supported on its limit set even if \(H\) is infinitely generated. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Toshihiro Nakanishi / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30F40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 30F60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57M50 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6387269 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Teichüller space | |||
Property / zbMATH Keywords: Teichüller space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Bers boundary | |||
Property / zbMATH Keywords: Bers boundary / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Kleinian group | |||
Property / zbMATH Keywords: Kleinian group / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2299940003 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1103.4680 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On boundaries of Teichmüller spaces and on Kleinian groups. III / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On boundaries of Teichmüller spaces and on Kleinian groups. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Degenerations of the hyperbolic space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Continuity of Thurston's length function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Boundaries of Teichmüller spaces and end-invariants for hyperbolic 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The classification of Kleinian surface groups. II: The Ending lamination conjecture / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the homeomorphisms of the space of geodesic laminations on a hyperbolic surface / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: NON-STANDARD ANALYSIS AND THE MORGAN-SHALEN COMPACTIFICATION / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Varieties of group representations and splittings of 3-manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4191989 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4252456 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hyperbolic manifolds and discrete groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Non-continuity of the action of the modular group at Bers' boundary of Teichmüller space / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automorphisms of complexes of curves on punctured spheres and on punctured tori / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automorphisms of the complex of curves / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometry of the complex of curves. II: Hierarchical structure / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Cusps are dense / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4011193 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The classification of Kleinian surface groups. I: Models and bounds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Valuations, trees, and degenerations of hyperbolic structures. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A note on the rigidity of unmeasured lamination spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Divergence, exotic convergence and self-bumping in quasi-Fuchsian spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ending Laminations and Boundaries for Deformation Spaces of Kleinian Groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Limits of geometrically tame Kleinian groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Geometry and Topology of Geometric Limits I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A rigidity theorem for the mapping class group action on the space of unmeasured foliations on a surface / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Topologie de Gromov équivariante, structures hyperboliques et arbres réels. (Equivariant Gromov topology, hyperbolic structures, and \({\mathbb{R}}\)-trees) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the geometry and dynamics of diffeomorphisms of surfaces / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 13:19, 9 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Reduced Bers boundaries of Teichmüller spaces |
scientific article |
Statements
Reduced Bers boundaries of Teichmüller spaces (English)
0 references
16 January 2015
0 references
Let \(S\) be an orientable surface of genus \(g\) with \(p\) punctures with \(\xi(S) =3g+p\geq 4\). A quasi-Fuchsian group \(G\) is a quasiconformal conjugate of a Fuchsian group which uniformizes a Riemann surface homeomorphic to \(S\). The limit set of \(G\) is a Jordan curve in the Riemann sphere, the ideal boundary of hyperbolic \(3\)-space \(\mathbb{H}^3\), and its region of discontinuity \(\Omega\) is the union of two topological disks. The quotient manifold \(\mathbb{H}^3\cup\Omega/G\) is homeomorphic to \(S\times[0, 1]\). Let \(QF(S)\) denote the subspace of marked quasi-Fuchsian groups in the space of faithful discrete representations of \(\pi_1(S)\) to \(\text{PSL}_2(\mathbb{C})\). The Teichmüller space of \(S\) is denoted by \(\mathcal{T}(S)\). By the Ahlfors-Bers theory, there is a parametrization \(qf :\mathcal{T}(S)\times \mathcal{T}(\bar{S}) \to QF(S)\), where \(\mathcal{T}(\bar{S})\) is the Teichmüller space where markings are orientation reversing. For each \(m\in \mathcal{T}(S)\), the image of \(qf_{m}=qf(m,\cdot) : \mathcal{T}(\bar{S})\to QF(S)\) is called a \textit{Bers slice} and using the Bers embedding it is realized as a bounded domain in \(\mathbb{C}^{3g-3+p}\) so that to each point of its boundary \(\partial^{B}_{m}\), called the \textit{Bers boundary} with base point \(m\), corresponds a Kleinian group with unique invariant domain. This Kleinian group is called a \(b\)-group. It was proved by Kerckhoff and Thurston that if \(\xi(S)>4\), then there exist Bers slices for which the canonical identification between them does not extend to a homeomorphism between their Bers boundaries and that there is a Bers slice for which the action of the mapping class group has no continuous extension to its Bers boundary. The \textit{reduced Bers boundary} \(\partial^{RB}_{m}\) is the quotient space of \(\partial^{B}_{m}\) obtained by identifying two points if their related \(b\)-groups are quasiconformally equivalent. Since the phenomenon observed by Kerckhoff-Thurston is caused by the existence of quasiconformal deformation spaces contained in the Bers boundary, Thurston conjectured that (1) the reduced Bers boundary \(\partial_{m}^{RB}\) is independent of the base point. He also conjectured that (2) \(\partial_{m}^{RB}\) is homeomorphic to the space of unmeasured laminations on \(S\). The purpose of the paper under review is to settle these conjectures. The author solves Conjecture (1) affirmatively in Theorem 3.7. The natural identification between \(qf_{m_1}(\mathcal{T}(\bar{S}))\) and \(qf_{m_2}(\mathcal{T}(\bar{S}))\) extends to a homeomorphism from \(\partial^{RM}_{m_1}\) to \(\partial^{RM}_{m_2}\) for two points \(m_1\), \(m_2\) of \(\mathcal{T}(S)\) (so we will omit the reference to the base point \(m\) from the notation \(\partial^{RB}_m\)). The author also proves that the action of the extended mapping class group on \(\mathcal{T}(S)\) extends continuously to \(\mathcal{T}(S)\cup \partial^{RB}\). For Conjecture (2), it is important to know that the union of ending laminations and parabolic curves is an invariant of the quasiconformal equivalence class of boundary \(b\)-groups. So there is a bijection \(e\) from \(\partial^{RB}\) to a subspace of unmeasured lamination space of \(S\). The author shows in Propositions 3.4 and 3.5 that neither \(e\) nor \(e^{-1}\) is continuous if \(\xi(S)>4\), contrary to Thurston's expectation. Besides the solution of Thurston's conjectures, the author considers other aspects of the reduced Bers boundary. Section 4 treats the rigidity of auto-homeomorphisms of the reduced Bers boundary. The main theorem here, Theorem 4.1, states that if \(\xi(S)>4\), then any auto-homeomorphism \(f\) of \(\partial^{RB}\) is induced from an extended mapping class, and, unless \(S\) is a closed surface of genus \(2\), \(f\) is induced from a unique extended mapping class. This theorem should be compared with the analogous result by Papadopoulos and the author about the auto-homeomorphisms of the space of unmeasured laminations. In the last section, Section 5, the author considers the problem of characterizing the limit point in the reduced Bers boundary of a sequence in \(\mathcal{T}(S)\). Given an unbounded sequence \(\{m_i\}\) in \(\mathcal{T}(S)\), we can find a subsequence which determines a \textit{multi-layered Thurston limit} \((\lambda_1,..., \lambda_{n})\). Here \(\lambda_j\) is a measured lamination on a subsurface \(S_{j}\) of \(S\) such that \(S=S_1\supset \cdots \supset S_n\). Then one can detect the limit of the subsequence by \((\lambda_1,..., \lambda_{n})\) up to some ambiguity caused by arc components which \(\lambda_j\) may contain. The proofs of the results of this paper rely heavily on a paper by the author and \textit{T. Soma} [``Geometry and topology of geometric limits. I.'', Preprint (2010; \url{arXiv:1002.4266})]. This paper founded the theory of brick manifolds which gives models of hyperbolic \(3\)-manifolds arising from the geometric limits of sequences of Kleinian groups. For example the author uses the result that every quasiconformal deformation of a geometric limit \(H\) of a sequence of quasi-Fuchsian groups cannot be supported on its limit set even if \(H\) is infinitely generated.
0 references
Teichüller space
0 references
Bers boundary
0 references
Kleinian group
0 references
0 references
0 references