Tag Archive

You are currently browsing the tag archive for the ‘Separability’ tag.

35. Separating quasi-convex subgroups.

22 April 2009 in Course notes | Tags: Quasiconvex subgroups, Separability | by pweil | Leave a comment

Last time: Theorem 21 (Groves–Manning–Osin): If $G$ is hyperbolic rel $\mathcal P$ then there exists a finite subset $A \subseteq G\setminus 1$ such that if $\bigcup_i N_i \cap A = \emptyset$ then
(a) $P_i/N_i \to G/\mathcal N$ is injective;
(b) $G$ is hyperbolic rel $P_i/N_i$ .

Theorem 22 (Gromov, Olshanshkii, Delzant): If $G$ is hyperbolic relative to the infinite cyclic $\{\langle g_1\rangle,\dots,\langle g_n \rangle\}$ then there is a $K>0$ such that for all $l_1,\dots,l_n>0$ there exists a $\phi : G \to G'$ hyperbolic such that $o(\phi(g_i))=Kl_i$ for each $i$ .

The proof is an easy application of Groves–Manning–Osin.

Definition: If $\{\langle g_1 \rangle,\dots,\langle g_n\rangle\}$ (infinite cyclic) is malnormal then we say $g_1,\dots,g_n$ are independent. A group G is omnipotent if for every independent $g_1,\dots,g_n$ there exists a $K>0$ such that for all $l_1,\dots,l_n>0$ there exists a homomorphism $\phi$ from $G$ to a finite group such that $o(\phi(g_i)) = Kl_i$ for all $i$ .

Omnipotence strengthens residual finiteness for torsionfree groups.

Exercise 29: If every hyperbolic group is residually finite then every hyperbolic group is omnipotent.

We’ll finish off by talking about a similar theorem of Agol–Groves–Manning. I’m going to seem a little cavalier about torsion. This is OK. In fact, if every hyperbolic group is residually finite then every hyperbolic group is virtually torsionfree.

Theorem 22 (Agol–Groves–Manning): If every hyperbolic group is residually finite then every quasi-convex subgroup $H$ of any hyperbolic group $G$ is separable.

Let $g \in G \setminus H$ . The idea is to Dehn fill $H$ to get a new hyperbolic group $\bar G$ in which the image $\bar H$ is finite and $\bar g \not\in\bar H$ . If we could do this, we would be done by residual finiteness. This works if $H$ is malnormal. But it probably isn’t. Fortunately, we can quantify how far $H$ is from being malnormal:

Definition: The height of $H$ is the maximal $n \in \mathbb N$ such that there are distinct cosets $g_1 H,\dots,g_n H \in G/H$ such that the intersection
$g_1 H g_1^{-1} \cap \dots \cap g_n H g_n^{-1}$
is infinite.

H is height $0$ iff $H$ is finite. In a torsionfree group, $H$ is height $1$ iff $H$ is malnormal.

Theorem 23 (Gitik, Mitra, Rips, Sageev): A quasiconvex subgroup of a hyperbolic group has finite height.

Agol, Groves and Manning are able to prove:

Theorem 24: Let $G$ be a (torsionfree) residually finite hyperbolic group, and $H$ a quasiconvex subgroup of height $k$ . Let $g \in G\setminus H$ . Then is an epimorphism $\eta: G \to \bar G$ to a hyperbolic group such that
(i) $\eta(H)$ is quasiconvex in $\bar G$ ;
(ii) $\eta(g) \not\in\eta(H)$ ;
(iii) $\eta(H)$ has height $\leq k-1$ .

The idea of the proof of Theorem 24 is to Dehn fill a finite index subgroup of a maximal infinite intersection of conjugates of $H$ . Theorem 22 is an easy consequence.

30. Doubles of Free Groups (continued)

13 April 2009 in Course notes | Tags: Doubles of free groups, Elevations, Separability | by dgirao | Leave a comment

Lemma 29: Suppose $\{f_i':C_i\longrightarrow\Gamma^{H}\}$ is a finite set of infinite degree elvations and $\Delta \subseteq \Gamma^{H}$ is compact. Then for all sufficiently large $d>0$ , there exists an intermediate covering $\Gamma_d$ such that

(a) $\Delta$ embeds in $\Gamma_d$

(b) every $f'_i$ descends to an elevation $\hat{f_i}:\hat{C_i}\longrightarrow \Gamma_d$ of degree $d$

(c) the $\hat{f_i}$ are pairwise distinct

Proof: We claim that the images of $f_i'$ never share an infinite ray (a ray is an isometric embedding of $[0,\infty)$ ). Neither do two ends of the same elevation $f_i'$ . Let’s claim by passing to the universal cover of $\Gamma$ , a tree $T$ .

For each $i$ , lift $f_i'$ to a map $\tilde{f_i}:\mathbb{R}\longrightarrow T$ . If $f'_i$ and $f'_j$ share an infinite ray then there exists $h\in H$ such that $\tilde{f_i}$ and $h\tilde{f_j}$ overlay in an infinite ray. The point is that $\tilde{f_i}, \tilde{f_j}$ correspond to cosets $g_if_{\ast}(\pi_1(C))$ and $g_jf_{\ast}(\pi_1(C))$ . But this implies that

$g_if_{\ast}(\pi_1(C))=hg_jf_{\ast}(\pi_1(C))$

This implies that $Hg_if_{\ast}(\pi_1(C))=Hg_jf_{\ast}(\pi_1(C))$ . So $f'_i=f'_j$ . A similar argument implies that the two ends of $f'_i$ do not overlap in an infinite ray. This proves the claim.

Let $\Gamma'$ be the core of $\Gamma^{H}$ . Enlarging $\Delta$ if necessary, we can assume that

(i) $\Gamma'\subseteq\Delta$ ;

(ii) $\Delta$ is a connected subgraph;

(iii) for each $i$ , for some $x_i\in C'_i$ , $f'_i(x_i)\in\Delta$ ;

(iv) for each $i$ , $|im(f'_i)\cap \delta\Delta|=2$ .

For each $i$ identifying $C'_i$ with $\mathbb{R}$ so that $C$ is identified with $\mathbb{R}/\mathbb{Z}$ and $x_i$ is identified with $0$ . Let

$\Delta_d=\Delta\cup(\bigcup_i f'_i([-d/2,d/2]))$

For all sufficiently large $d$ ,

$f'_i(\pm d/2)\notin\Delta$

Now, the restriction of $\Delta_d \longrightarrow \Delta$ factors through $\Delta_d/\sim\longrightarrow\Gamma$ , where $f'_i(d/2)\sim f'_i(-d/2)$ . This is a finite-to-one immersion, so, by theorem 5, we can complete it to a finite-sheeted covering map as required. $\Box$

Theorem 19: $D$ is LERF.

Recall the set-up from the previous lecture. We built a graph of spaces $\mathscr{X}$ for $D$ .

Proof: Let $H\subset D$ be finitely generated. Let $X_H$ be the corresponding covering space of $X_{\mathscr{X}}$ and let $\Delta\subseteq X_H$ be compact. Because $H$ is finitely generated, there exists a subgraph of spaces $X'$ such that $\pi_1(X') =H$ . We can take $X'$ large enough so that $\Delta \subseteq X'$ . We can enlarge $\Delta$ so that it contains every finite-degree edge space of $X'$ . Also enlarge $\Delta$ so that

$\partial^{\pm}_{e'}(\Delta\times (\mathrm{interval}))\subseteq\Delta$

for any $e'\in E(\Xi')$ . For each $v'\in V(\Xi')$ let $\Delta_{v'}=\Delta\cap X_{v'}$ and let ${f'_i}=\{$ incident edge map of infinite degree $\}$ .

Applying lemma 29 to $\Gamma^H=X_{v'}$ , for some large $d$ , set $X_{\hat{v}}=\Gamma_d$ . (Here we use the fact that vertex groups of $\mathscr{X}'$ are finitely generated)

Define $\mathscr{X}^+$ as follows:

$\bullet \Xi^+=\Xi^-$

$\bullet$ For each $v^+\in V(\Xi^+)$ , the edge space is the $X_{v^+}$ that the lemma produced from the corresponding $v'$ .

Now, by construction, $\bigcup_{v^+}X_{v^+}$ can be completed to a graph of spaces $\mathscr{X}^+$ so that the map

$X_{\mathscr{X}'}\longrightarrow X_{\mathscr{X}}$

factors through $X_{\mathscr{X}'}\longrightarrow X_{\mathscr{X}}$ and $\Delta$ embeds. Let $\mathscr{X}^-$ be identical to $\mathscr{X}^+$ except with +’s and -’s exchanged. Clearly $\mathscr{X}^+\cup\mathscr{X}^-$ satisfies Stallings condition, as required. $\Box$

29. Doubles of free groups

8 April 2009 in Course notes | Tags: Doubles of free groups, Elevations, Separability | by yyao392c | Leave a comment

Agol-Groves-Manning’s Theorem predicts that, for every word-hyperbolic group we can easily construct, every quasiconvex subgroup is separable (otherwise, we would find a non-residually finite hyperbolic group!).

In this section, we use graphs of groups to build new hyperbolic groups:

Combination Theorem (Bestvina & Feighn): If $H$ is a malnormal subgroup of hyperbolic groups $G_1, G_2$ , then $G_1\ast_H G_2$ is hyperbolic.

Recall: $H$ is called a malnormal subgroup of $G$ if it satisfies: if $gHg^{-1}\cap H\neq 1$ , then $g\in H$ .

For a proof, see M. Bestvina and M. Feighn, “A combination theorem for negatively curved groups”, J. Differential Geom., 35 (1992), 85–101.

Example: Let $F$ be free, $w\in F$ not a proper power. By Lemma 11, $\langle w\rangle\leq F$ is malnormal, so $D:=F\ast_{\langle w\rangle} F$ is hyperbolic. As a special case, if $\Sigma$ is closed surface of even genus $n=2k$ , considered as the connected sum of two copies of the closed surface of genus $k$ , then by Seifert-van Kampen Theorem, $\pi_1(\Sigma)=F_{2k}\ast_{\langle w\rangle} F_{2k}$ for some $w\in F_{2k}$ .

Question: (a) Which subgroups of $D$ are quasiconvex? (b) Which subgroups of $D$ are separable?

We will start by trying to answer (b). The following is an outline of the argument: Let $\Gamma$ be a finite graph so that $\pi_1(\Gamma)=F$ , let $\Gamma_{\pm}$ be two copies of $\Gamma$ . Realize $w\in F$ as maps $\partial^{\pm}: C\rightarrow \Gamma_{\pm}$ , where $C\simeq S^1$ . Let $X$ be the graph of spaces with vertex spaces $\Gamma_{\pm}$ , edge space $C$ , and edge maps $\partial^{\pm}$ . Then clearly, $D\simeq \pi_1(X)$ , and finitely generated subgroups $H\leq D$ are in correspondence with covering spaces $X^H\rightarrow X$ . We can then use similar technique to sections 27 and 28.

Let us now make a few remarks about elevations of loops. Let $f: C\rightarrow X$ be a loop in some space $X$ , i.e., $C\simeq S^1$ and $\pi_1(C)\simeq\mathbf{Z}$ . Consider an elevation of $f$ :

diagram

The conjugacy classes of subgroups of $\mathbf{Z}$ are naturally in bijection with $\mathbf{N}\cup\{\infty\}$ . The degree of the elevation is equal to the degree of the covering map $C'\rightarrow C$ .

Definition: Suppose $X'\rightarrow X$ is a covering map and $\widehat{X}$ is an intermediate covering space, i.e., $X'\rightarrow X$ factors through $\widehat{X}\rightarrow X$ , and we have a diagram

diagram1

If $f'$ and $\widehat{f}$ are elevations of $f$ and the diagram commutes, then we say that $f'$ descends to $\widehat{f}$ .

Let $\Gamma$ be a finite graph, $H\leq \pi_1(\Gamma)$ a finitely generated subgroup and $f: C\rightarrow\Gamma$ a loop. Let $\Gamma^H\rightarrow\Gamma$ be a covering space corresponding to $H$ .

Lemma 29: Consider a finite collection of elevations $\{f'_i: C'_i\rightarrow\Gamma^H\}$ of $f$ to $\Gamma^H$ , each of infinite degree. Let $\Delta\leq\Gamma^H$ be compact. Then for all sufficiently large $d>0$ , there exists an intermediate, finite-sheeted covering space $\Gamma_d\rightarrow\Gamma$ satisfying: (a) $\Delta$ embeds in $\Gamma_d$ ; (b) every $f'_i$ descends to an elevation $\widehat{f}_i: \widehat{C}_i\rightarrow\Gamma_d$ of degree exactly $d$ ; (c) these $\widehat{f}_i$ are pairwise distinct.

Tag Archive

35. Separating quasi-convex subgroups.

30. Doubles of Free Groups (continued)

29. Doubles of free groups

Recent Posts

Pages

Recent Comments

Archives

Follow “392C Geometric Group Theory”