Geometric group theory is the study of finitely generated groups via exploring the connections between algebraic properties of such groups and topological and geometric properties of spaces on which these groups act. Consider using with the (group-theory) tag.

learn more… | top users | synonyms

0
votes
0answers
23 views

Geometric group theory and geometry [closed]

Can a course in geometric group theory be helpfull for an undergraduate student who is interested only in geometry?
0
votes
0answers
75 views

problem with proof 'horoball QI extension theorem'

I'm reading the book of Drutu and Kapovich "Lectures on geometric group theory". In the proof of Mostow rigidity theorem, they say that they can extend an $\rho$-equivariant function ...
3
votes
3answers
81 views

Countable abelian groups are amenable.

I am using the following definition of amenable group: The at most countable group G is amenable iff there exists a sequence $\{F_n\}$ of finite subsets such that for every $g\in G$ we have ...
2
votes
1answer
108 views

Relatively hyperbolic groups

A group $G$ is relatively hyperbolic relative to a collection of subgroups $\mathcal{G}$, if $G$ admits an action on a connected graph, $K$, with the following properties: (1) $K$ is hyperbolic, and ...
2
votes
1answer
36 views

Finitely generated group acting cocompactly on a Manifold of bounded geometry

Want a justification of the following fact. If G is a finitely generated group, then there exist a Riemannian manifold $M$ such that the action of $G$ is cocompact isometric properly discontinuous. ...
2
votes
0answers
41 views

Short exact sequences for amalgameted free products and HNN Extensions

If $A$ and $B$ are groups we have the following short exact sequence: $$ 0 \to [A,B] \to A * B \to A \times B \to 0, $$ where the group $[A,B]$ is free (see e.g. Serre's Trees). I am wondering if ...
1
vote
1answer
32 views

Weakly relatively hyperbolic groups

A finitely-generated group $G$ is weakly hyperbolic relatively to a collection of subgroups $\{ H_1, \ldots, H_r\}$ if the graph obtained from a Cayley graph of $G$ by coning off the cosets of the ...
2
votes
1answer
44 views

Centralizers in mapping class groups

According to Nielsen-Thurston classification, given a closed surface $S$, the elements of the mapping class group $\mathrm{MCG}(S)$ lie in three categories: periodic, reducible and pseudo-Anosov. ...
2
votes
0answers
50 views

Classification of Torus bundle over $\mathbb{S}^1$ [closed]

$T^2$ has a fixed free isometry group as $D_8$, is this true that $T^2$ bundle over $S^1$ have three type?
2
votes
0answers
44 views

Classification of closed flat three dimensional manifold? [closed]

Obviously $T^3$ is one type. $K^2\times S^1$ is also one type. Maybe $T^2\tilde{\times}\mathbb{S}^1$ bundle is also one type.
1
vote
1answer
28 views

Find the Cayley graph of the group $G = ( \mathbb{Z}/2 \mathbb{Z}) × ( \mathbb{Z}/2 \mathbb{Z})$ with generating set ${(1, 0),(0, 1)}$.

I am quite new to geometric group theory and can't really visualize the way the Cayley graph changes when you change the generating set. I found many possible graphs here but I don't really see how to ...
4
votes
1answer
56 views

Infinite torsion CAT(0) groups

Do all infinite CAT(0) groups contain a $\mathbb{Z}$ subgroup? I am aware that this has been established for hyperbolic groups, and similar questions have appeared on open questions lists for CAT(0) ...
3
votes
1answer
44 views

Relative hyperbolicity and splittings

A subgroup $H \leq G$ is almost malnormal whenever $|H \cap H^g| <+ \infty$ for every $g \notin H$. For the definition of relatively hyperbolic groups, see for instance there. Do you know an ...
3
votes
1answer
63 views

Hyperbolic groups and cohomology

I'm looking for a reference (survey article, monograph, etc.) that treats the cohomological properties of hyperbolic groups and/or its generalizations as relatively hyperbolic groups, lacunary ...
2
votes
0answers
95 views

Linear Isoperimetric Inequality is invariant under quasi isometry

Suppose $X$ and $Y$ are quasi-isometric. Show that $X$ satisfies a linear isoperimetric inequality iff $Y$ satisfies a linear isoperimetric inequality. My idea: Suppose $X$ satisfies a linear ...
5
votes
2answers
112 views

Is every metric space quasi-isometric to a graph?

I've proved that if $(X, d)$ is a geodesic metric space then there exists a graph which is quasi-isometric to $X$. During this proof I've precisely used the fact that given two point in $X$ there ...
2
votes
2answers
55 views

Tree of groups $(\mathcal{G},T)$

Let $G$ be act on $\Gamma$ with a fundamental domain $T$ where $T$ is tree. We construct tree of groups $(\mathcal{G},T)$ with the following structure: $$\text{for every } v\in ...
1
vote
0answers
20 views

Weyl (anti-)invariant differential operators on spheres

The permutation group $S_n$ acts as via Weyl reflections of $A_{n-1}$ on $R^{n-1}$ und thus on the sphere $S^{n-2}$. On this sphere, we have a natural action of $SO(n-1)$ generated by the angular ...
1
vote
2answers
54 views

Isometric group of hyperbolic 3-dim manifolds

In the book : Foundation of Hyperbolic Manifolds There is a theorem that any finite subgroup of $ Isom(\mathbb{E}^n) $ fixes a point. And I hope to solve the following question : Any ...
2
votes
1answer
51 views

Using CAT(0) inequality

Let $X$ be a CAT(0) space with metric $d$. Let $p,x,y$ three points on $X$, and let $u,v$ be points on geodesic $[p,x]$ and geodesic $[p,y]$ such that $d(p,u)\geq a,d(p,v)\geq a$,where a is some ...
0
votes
1answer
19 views

Maximal subset with finite Assouad-Nagata dimension

Given some space $X$ with non-finite Assouad-Nagata dimension. Is it possible for a subset $Y \subset X$ with finite Assouad-Nagata dimension to exist such that $Y$ is maximal in the sense that if any ...
2
votes
0answers
29 views

Can SAGE or othe software compute or guess growth rates of infinite discrete groups?

I am interested in the growth rate of some finitely generated (infinite, non-abelian) discrete groups. Knowing very little about geometric group theory, I am wondering if I can plug them into sage and ...
2
votes
1answer
68 views

Fuchsian group with parabolic element

I'm interested in this problem: let $\Gamma \subset PSL(2, \mathbb{R})$ a Fuchsian group (i.e. it is a discrete subgroup) which contains the trasnformation $\gamma \colon z \mapsto z+1$ then the ...
1
vote
0answers
33 views

What's the asymptotic of the radius of the Rubik square Cayley graph?

This post is a sequel of The Rubik Square permutation groups, which should be read first to understand the notation. Question: what's the radius$^*$ of the Cayley graph of $G_n$ generated by the red ...
0
votes
1answer
43 views

Definition of almost geodesic metric space

Is there a term for a metric space that satisfies the following condition: There exists a $C \geq 0$ such that for all $x,y \in X$ there exists a path $\gamma :[0,1] \to X$ with $\gamma(0)=x$ and ...
2
votes
1answer
41 views

action of a subgroup on a metric space

If $G$ acts properly and cocompactly by isometries on the metric space $X$ and if $H$ is a subgroup of $G$. Does $H$ act properly and cocompactly by isometries on a subspace of $X$?
4
votes
2answers
57 views

When is a right-angled Coxeter group one-ended?

Let $\Gamma$ be a simplicial graph (ie. without multiple edes nor loops). We define the associated right-angled Artin group $A(\Gamma)$ by the presentation $$\langle v \in V(\Gamma) \mid [u,v]=1 \ ...
4
votes
1answer
69 views

Geometric Representation of Quasidihedral Groups

I am going back through Dummit/Foote studying for a prelim and came across the 'quasidihedral' or 'semi-dihedral', group of order $2^n$, with presentation $\langle r,s \mid r^{2^{n-1}} = s^2 = 1, srs ...
2
votes
1answer
33 views

explicit equivalent relation in the expression of the classifying space of a monoid

Let $M$ be a topological monoid. $M$ can be considered as a category internal to topological spaces and has a simplicial space $N_\bullet(M)$ as its nerve. (It's also called the internal nerve.) The ...
15
votes
0answers
292 views

Is there a “ping-pong lemma proof” that $\langle x \mapsto x+1,x \mapsto x^3 \rangle$ is a free group of rank 2?

Let $f,g: \mathbb R \to \mathbb R$ be the permutations defined by $f: x \mapsto x+1$ and $g: x \mapsto x^3$, or maybe even have $g:x \mapsto x^p$, $p$ an odd prime. In the book, by Pierre de la ...
0
votes
1answer
80 views

The ends of a group

May I refer you to theorem $8.32$ on page $146$ in Metric Spaces of Non-Positive Curvature In the last paragraph, why is it the case that $H$ has finite index implies there is a constant $\mu$ such ...
1
vote
0answers
24 views

Class preserving Autpmorphism

This time I am having interest in theory of Class preserving Automorphism and central preserving Automorphism and some topics related to Automorphism of groups. So Could you please tell me some ...
2
votes
1answer
34 views

“Uniqueness” of the Multi- Dehn-twist

I'm trying to writing down a proof for the following claim about Dehn-Twists: Let $\{a_1,...,a_m\}$ be a collection of distinct nontrivial isotopy classes of simple closed curves in a surface $S$ ...
1
vote
1answer
63 views

Is my graph a tree?

Let M be a smooth connected manifold. G is a group act on M cocompactly and suppose there is a harmonic function $h$ on M with minimal energy.$h:\rightarrow [0,1]$ such that h is nonconstant and ...
-1
votes
1answer
75 views

hyperbolic isometry

I have a project I have to do. In order to do it I need to investigate this book. In page 94 they defined hyperbolic isometry on a metric s.t it possesses no fixed point in the tree. After that they ...
1
vote
1answer
51 views

Horosphere of a metric tree

I have a project I have to do. In order to do it I need to investigate W.E. Grosso's translation of "The Green Book" on Hyperbolic Group Theory, as found here. I try to understand the term horosphere ...
8
votes
1answer
91 views

(Un)distorted subgroups in $\mathbb{F}_2 \times \mathbb{F}_2$

We consider the product of free groups $$\mathbb{F}_2 \times \mathbb{F}_2 = \langle a,b,c,d \mid [a,b]=[b,c]=[c,d]=[d,a]=1 \rangle.$$ Given some elements $g_1,\ldots,g_n \in \mathbb{F}_2 \times ...
3
votes
1answer
81 views

Integers and perfect cubes are isometric

Is there a quick way to check if the integers and $\{n^{3}: n \in \mathbb{Z}\}$ are quasi-isometric? It seems that they are since they look the "same" from far away.
0
votes
1answer
63 views

Number of path connected components

Is it possible to give an explicit characterization of compact subsets of $[0,\infty)$. Is it true that given any compact subset $K \subseteq [0,\infty)$ then $[0,\infty) \setminus K$ has only one ...
0
votes
1answer
45 views

Integers are geodesic

Consider $\mathbb{Z}$ the integers. Is this considered a geodesic metric space under the usual metric? Why? given $n,m$ integers, we would require to have a map $f: [0,c] \rightarrow \mathbb{Z}$ such ...
3
votes
1answer
96 views

Examples of connections between bounded cohomology and geometric properties of groups

I think that the question is self explanatory. The only example that comes to my mind is the characterization of hyperbolic groups given by Mineyev ("Straightening and bounded cohomology"). There is ...
1
vote
0answers
44 views

Action of $Homeo(S)$ on $Out(\pi_1(S))$ for $S$ orientable surface

Let $S$ an orientable surface of any genus, possibly punctured and with boundary: with the classical notation $S=S_{g,n}^{b}$ where $g$ is the genus, $n$ the number of punctures and $b$ the numer of ...
2
votes
0answers
85 views

A small cancellation group does not contain $\mathbb{Z}^3$

I read somewhere that a small cancellation group (ie. a group admitting a presentation statisfying the small cancellation condition $C'(1/6)$) does not contain $\mathbb{Z}^3$, but without a precise ...
1
vote
0answers
32 views

Identification of polygon edges

In Klein's famous example of regular 14-gon made of 336 copies of (2,3,7) triangles, he used identification for edges such that side 2i+1 is identified with side 2i+6 (mod 14). But I wonder how could ...
2
votes
1answer
76 views

Decomposition of a group whose Cayley graph is a tree

This is an exercise taken from Chapter 9 of a French book, Géométrie et Théorie des Groupes. It says, roughly, the following: Show that a finitely generated hyperbolic group, whose Cayley graph is a ...
5
votes
1answer
88 views

Is $Out(F_n)$ of type FP$_\infty$

Is $Out(F_n)$ of type $FP_\infty$? $Out(F_n)$ acts on Outer space $X_n$ which is finite dimensional, locally finite and contractible. However the action is only proper (stabilizers of points ...
1
vote
0answers
36 views

Sequence of bounded sequence in metric space

I am reading a paper and bumped at this lemma which I do not know the proof and would like to see some reference. Please suggested me a possible reference. Let $M$ be a metric space and ...
5
votes
2answers
244 views

Are all $\delta$-hyperbolic groups CAT(0)?

In Alessandro Sisto's notes on geometric group theory he mentions that "Many, probably most people in the field" believe that not all $\delta$-hyperbolic groups are CAT(0) groups. Can anything be said ...
0
votes
0answers
40 views

harmonic function on manifold

Let M be a 2 dimensional manifold. $h:M\rightarrow R$ be a harmonic function from manifold to real line. G is group that act by isometry. $g*h(x)=h(g(x))$. Let $W=\{x|h(x)=t\}$ that is the level set ...
2
votes
1answer
68 views

Are right-angled Artin groups always CAT(0)?

To each right-angled Artin group $A_\Gamma$ there is an associated space $S_\Gamma$ on which the group acts on (the Salvetti complex). The fundamental group of the Salvetti complex is the right-angled ...