Skip to main content
broken link fixed, cf. https://meta.mathoverflow.net/q/5301/70594
Source Link
Glorfindel
  • 2.8k
  • 6
  • 28
  • 38

Maskit's combination theorem says: if $M=M_1\cup_\Sigma M_2$ is a union of hyperbolic 3-manifolds $M_1=\Gamma_1\backslash H^3, M_2=\Gamma_2\backslash H^3$ along a surface $\Sigma$, and if the limit set of $H:=\pi_1\Sigma$ is a codimension 1 submanifold of $\partial H^3$ dividing $\partial H^3$ into domains $\Omega_1,\Omega_2$ which are precisely $H$-invariant in $\Gamma_i$ (meaning that $\Omega_i$ is not preserved by any $g\in \Gamma_i\setminus H$) then the amalgamated product $\Gamma=\Gamma_1*_H\Gamma_2$ is a discrete subgroup of $Isom(H^3)$ and in particular $M$ carries a hyperbolic metric, i.e., $\widetilde{M}$ is isometric to $H^3$.

Question: what is known about generalizations in the setting of, say, nonpositively curved manifolds, i.e., replacing the universal cover $H^3$ by any simply connected manifold of nonpositive curvature?

Li-Ohshika-Wang in http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ojm/1260892842Link handled the case of $H^n$. (The statement of their main result Theorem 4.2. is somewhat involved but, if I am not mistaken, it implies the above statement for $H^n$ instead $H^3$.) Are some other cases known?

Maskit's combination theorem says: if $M=M_1\cup_\Sigma M_2$ is a union of hyperbolic 3-manifolds $M_1=\Gamma_1\backslash H^3, M_2=\Gamma_2\backslash H^3$ along a surface $\Sigma$, and if the limit set of $H:=\pi_1\Sigma$ is a codimension 1 submanifold of $\partial H^3$ dividing $\partial H^3$ into domains $\Omega_1,\Omega_2$ which are precisely $H$-invariant in $\Gamma_i$ (meaning that $\Omega_i$ is not preserved by any $g\in \Gamma_i\setminus H$) then the amalgamated product $\Gamma=\Gamma_1*_H\Gamma_2$ is a discrete subgroup of $Isom(H^3)$ and in particular $M$ carries a hyperbolic metric, i.e., $\widetilde{M}$ is isometric to $H^3$.

Question: what is known about generalizations in the setting of, say, nonpositively curved manifolds, i.e., replacing the universal cover $H^3$ by any simply connected manifold of nonpositive curvature?

Li-Ohshika-Wang in http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ojm/1260892842 handled the case of $H^n$. (The statement of their main result Theorem 4.2. is somewhat involved but, if I am not mistaken, it implies the above statement for $H^n$ instead $H^3$.) Are some other cases known?

Maskit's combination theorem says: if $M=M_1\cup_\Sigma M_2$ is a union of hyperbolic 3-manifolds $M_1=\Gamma_1\backslash H^3, M_2=\Gamma_2\backslash H^3$ along a surface $\Sigma$, and if the limit set of $H:=\pi_1\Sigma$ is a codimension 1 submanifold of $\partial H^3$ dividing $\partial H^3$ into domains $\Omega_1,\Omega_2$ which are precisely $H$-invariant in $\Gamma_i$ (meaning that $\Omega_i$ is not preserved by any $g\in \Gamma_i\setminus H$) then the amalgamated product $\Gamma=\Gamma_1*_H\Gamma_2$ is a discrete subgroup of $Isom(H^3)$ and in particular $M$ carries a hyperbolic metric, i.e., $\widetilde{M}$ is isometric to $H^3$.

Question: what is known about generalizations in the setting of, say, nonpositively curved manifolds, i.e., replacing the universal cover $H^3$ by any simply connected manifold of nonpositive curvature?

Li-Ohshika-Wang in Link handled the case of $H^n$. (The statement of their main result Theorem 4.2. is somewhat involved but, if I am not mistaken, it implies the above statement for $H^n$ instead $H^3$.) Are some other cases known?

Source Link
ThiKu
  • 10.4k
  • 2
  • 38
  • 63

Combination theorems for discrete subgroups of isometry groups

Maskit's combination theorem says: if $M=M_1\cup_\Sigma M_2$ is a union of hyperbolic 3-manifolds $M_1=\Gamma_1\backslash H^3, M_2=\Gamma_2\backslash H^3$ along a surface $\Sigma$, and if the limit set of $H:=\pi_1\Sigma$ is a codimension 1 submanifold of $\partial H^3$ dividing $\partial H^3$ into domains $\Omega_1,\Omega_2$ which are precisely $H$-invariant in $\Gamma_i$ (meaning that $\Omega_i$ is not preserved by any $g\in \Gamma_i\setminus H$) then the amalgamated product $\Gamma=\Gamma_1*_H\Gamma_2$ is a discrete subgroup of $Isom(H^3)$ and in particular $M$ carries a hyperbolic metric, i.e., $\widetilde{M}$ is isometric to $H^3$.

Question: what is known about generalizations in the setting of, say, nonpositively curved manifolds, i.e., replacing the universal cover $H^3$ by any simply connected manifold of nonpositive curvature?

Li-Ohshika-Wang in http://projecteuclid.org/DPubS?service=UI&version=1.0&verb=Display&handle=euclid.ojm/1260892842 handled the case of $H^n$. (The statement of their main result Theorem 4.2. is somewhat involved but, if I am not mistaken, it implies the above statement for $H^n$ instead $H^3$.) Are some other cases known?