Large scale properties of groups; growth functions; Dehn functions; small cancellation properties; hyperbolicity and CAT(0); actions and representations; combinatorial group theory; presentations

learn more… | top users | synonyms

16
votes
9answers
4k views

The free group $F_2$ has index 12 in SL(2,$\mathbb{Z}$)

Is there someone who can give me some hints/references to the proof of this fact?
26
votes
9answers
6k views

Introductory text on geometric group theory?

Can someone indicate me a good introductory text on geometric group theory?
20
votes
1answer
509 views

Group with finite outer automorphism group and large center

Does there exist a finitely generated group $G$ with outer automorphism group $\mathrm{Out}(G)$ finite, whose center contains infinitely many elements of order $p$ for some prime $p$? A motivation is ...
11
votes
6answers
1k views

Understanding groups that are not linear.

I have a really hard time "feeling" what it means for a group to fail to be linear. Vaguely, I'd like to know how one should think about such groups. More precisely: What are some interesting ...
10
votes
1answer
418 views

Holomorphic cusp forms and cohomology of GL(2,Z)

Let $V_{k}$ denote the complex representation of $\mathrm{GL}(2)$ given by $\mathrm{Sym}^k(V)$, where $V$ is the defining 2-dimensional representation. Assume that $k$ is even. I would like to compute ...
9
votes
2answers
568 views

Folner sets and balls

Several related questions were asked before on MO, but it is not clear to me if the following was settled. Given a finitely generated amenable group, is it always possible to find some finite ...
14
votes
2answers
555 views

Minimal number of generators for $GL(n,\mathbb{Z})$

$\DeclareMathOperator{\gl}{GL}\DeclareMathOperator{\sl}{SL}$From de la Harpe's book "Topics in Geometric Group Theory" I learnt that $\gl(n,\mathbb{Z})$ is generated by the matrices $$s_1 = ...
7
votes
2answers
328 views

Is residual finiteness a property of “many” finitely presented groups?

Is there a reasonable random model for selecting a finitely presented group $G$ such that with positive probablity (or even with probability almost $1$) some of the following properties hold: $G$ is ...
3
votes
1answer
349 views

How do Dehn functions of special linear and mapping class groups behave?

Hi, I apologize for the basic questions. I am looking for good references on the following problems: 1) What is known about the Dehn function of $SL_n(\mathbb{Z})$? 2) What is known about the Dehn ...
12
votes
1answer
749 views

Dehn's algorithm for word problem for surface groups

For some $g \geq 2$, let $\Gamma_g$ be the fundamental group of a closed genus $g$ surface and let $S_g=\{a_1,b_1,\ldots,a_g,b_g\}$ be the usual generating set for $\Gamma_g$ satisfying the surface ...
9
votes
1answer
364 views

Decidability of conjugacy problem for finitely generated subgroups of free groups

The conjugacy problem for a free group $F_n$ on $n$ letters has an easy solution. Each element of $F_n$ is conjugate to a unique and easily computable "cyclically reduced element" (this means that if ...
8
votes
0answers
447 views

Uniquely geodesic groups

Definition : A group is CAT(0) if it acts properly, cocompactly and isometrically on a CAT(0) space. Examples : see this blog. Remark : A CAT(0) space is uniquely geodesic, but the converse is ...
8
votes
4answers
546 views

isometric embeddings of Cayley graphs in “nice” spaces

This is from a physicist I know and as may be expected, I am threading my way between poorly defined and poorly translated. What groups have Cayley graphs (w.r.t. a fixed finite generating set, and ...
5
votes
0answers
167 views

Wild automorphisms of a free group

Let $F_X$ be a free group on a countably infinite set $X$. Let $\alpha$ be an automorphism of $F_X$ and $H$ a closed subgroup of $F_X$ in the profinite topology. Is it possible that $\alpha(H) ...
5
votes
1answer
201 views

Bases of surface groups

Let $\Gamma_g$ be a surface group of genus $g \geq 2$. A $2g$-tuple $(x_1,y_1, \dots,x_g,y_g) \in \Gamma_g^{2g}$ will be called a Surface Basis if we have the presentation $$\Gamma_g = \langle x_1, ...
3
votes
1answer
143 views

Connection between Stalling's end theorem and Seifert-van Kampen Theorem

Stalling`s end Theorem (a group has more than one end iff it splits over a finite subgroup) and the Seifert-van Kampen Theorem (the fundamental group of a 'decomposable' space is a free amalgamated ...
8
votes
1answer
371 views

Topology of boundaries of hyperbolic groups

For many examples of word-hyperbolic groups which I have seen in the context of low-dimensional topology, the ideal boundary is either homeomorphic to a n-sphere for some n or a Cantor set. So, I was ...
7
votes
2answers
606 views

Is there an algebraically normal function from $\mathbb{Z}^{n}$ to $\{ 0 , 1\}$?

Definition: Let $h$ be a polynomial in $n$ variables, then : $\gamma(h,r,R):=\{ v \in \mathbb{Z}^{n} : \vert h(v) \vert \leq r, \Vert v \Vert < R \}$ Let $\omega : \mathbb{Z}^{n} \to \{ 0 , ...
5
votes
1answer
296 views

Fixed points on boundary of hyperbolic group

Let G be a word-hyperbolic group with torsion and let ∂G be its boundary. Do there exist criteria that imply that all non-trivial finite order elements of G act fixed-point freely on ∂G?
7
votes
1answer
364 views

Paper by I. N. Sanov, Solution of the Burnside problem for exponent 4

I have searched extensively online and for copies of printed journals containing the paper which details Sanov's solution to the Burnside Problem for exponent 4, which is widely cited in many papers ...
5
votes
0answers
265 views

Quotients of an extension of the Higman group

(Note: this started as a different question that soon changed form, thanks to the answers.) Let $G = \mathbb{Z}/4\mathbb{Z} \ltimes H_4$, where $H_4$ is the Higman group and $\mathbb{Z}/4\mathbb{Z}$ ...
4
votes
1answer
146 views

Which 3-manifolds have positive rank gradient?

For which $3$-manifolds $M$ is the fundamental group $\pi_1(M)$ finitely generated and has positive rank gradient? Recall that the rank gradient of a finitely generated group $G$ is defined to ...
4
votes
3answers
382 views

Must the powers of some element always grow linearly with respect to a word metric?

Suppose we have a group $G$ which is finitely generated , and let $|\cdot |$ denote some word metric on it. Must there be an element $a\in G$ such that $|a^n|\ge c\cdot n$ for some $c>0$? My ...
3
votes
1answer
244 views

Bases of free groups

Let $F$ be a free group on a finite set $X$. Let $A \subseteq X$ be a subset of $X$ contained in some $H \leq F$, a subgroup of finite index in $F$. Must there be a basis (free generating set) for $H$ ...
2
votes
0answers
77 views

Rank gradient in free products amalgamating a finite subgroup

Let $A,B$ be finitely generated groups with a common finite subgroup $C$. Suppose that $[A : C] > 2, [B : C] > 1$. Must $A *_C B$ have positive rank gradient? See Which 3-manifolds have ...
2
votes
1answer
128 views

Engulfing Kleinian groups?

Let $G$ be a Kleinian group, and let $H \lneq G$ be a finitely generated subgroup. Must there be a proper finite index subgroup $U$ of $G$ containing $H$ ? I know that this is true for Fuchsian ...
2
votes
0answers
177 views

Marshall Hall's theorem for surface groups [closed]

Let $\Gamma_g$ be a surface group of genus $g \geq 2$, that is we have a presentation: $$\Gamma_g = \langle x_1,y_1 \dots, x_g,y_g \vert \prod_{i = 1}^g [x_i,y_i] = 1\rangle$$ Let $H \leq \Gamma_g$ ...
1
vote
1answer
348 views

Kropholler's Conjecture and 3-manifolds

Suppose that $G$ is a group and that $H$ is a subgroup, both finitely generated, and assume that there is a non-trivial H-almost invariant set $X$ with $HXH=X$. Kropholler's Conjecture asserts that $ ...
1
vote
2answers
430 views

Abstract Commensurator Group of $\mathbb{Z}^n$ $Comm(\mathbb{Z}^n)\cong GL(n,\mathbb{Q})$?

Hello! In a paper I read that $\mathrm{Comm}(\mathbb{Z}^n)\cong \mathrm{GL}(n,\mathbb{Q})$. Why is that true? How can I find an isomorphism of this groups? I know that ...