# Questions tagged [geometric-group-theory]

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

66
questions

**14**

votes

**3**answers

1k 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 ...

**10**

votes

**1**answer

605 views

### CAT(0) groups that does not act on CAT(0) cubical complex

CAT(0) groups are groups that act on a CAT(0) space properly and cocompactly. If a group acts on a CAT(0) cubical complex properly and cocompactly, then of course it is a CAT(0) Group. I am wondering ...

**20**

votes

**9**answers

7k 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?

**19**

votes

**7**answers

3k 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 ...

**26**

votes

**1**answer

1k 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 ...

**18**

votes

**4**answers

2k views

### Units in the group ring over fours group after Gardam

Giles Gardam recently found (arXiv link) that Kaplansky's unit conjecture fails on a virtually abelian torsion-free group, over the field $\mathbb{F}_2$.
This conjecture asserted that if $\Gamma$ is a ...

**17**

votes

**1**answer

712 views

### Is Hopf property a quasi-isometry invariant?

Recall that a group $G$ is called Hopfian if every surjective endomorphism $G\to G$ is injective. Malcev observed that all finitely-generated (f.g.) residually finite groups are Hopfian. It is well-...

**9**

votes

**1**answer

304 views

### How are reflection groups related to general point groups?

I always tried to understand how the finite reflection groups of $\Bbb R^d$ (of some fixed dimension $d$) relate to the point groups of the same space $\smash{\Bbb R^d}$ (finite subgroup of the ...

**7**

votes

**2**answers

417 views

### Ends of finitely generated torsion groups

It is known that the number of ends of a finitely generated group is 0,1, 2 or $\infty$.
Problem 1. What is known about the number of ends of infinite finitely generated torsion groups?
In ...

**42**

votes

**13**answers

11k views

### Introductory text on geometric group theory?

Can someone indicate me a good introductory text on geometric group theory?

**28**

votes

**4**answers

2k views

### Trees in groups of exponential growth

Question: Let $G$ be a finitely generated group with exponential growth.
Is there a finite generating set $S \subset G$, such that the associated Cayley graph $Cay(G,S)$ contains a binary tree?
...

**21**

votes

**4**answers

1k views

### Free splittings of one-relator groups

Roughly speaking, I want to know whether one-relator groups only have 'obvious' free splittings.
Consider a one-relator group $G=F/\langle\langle r\rangle\rangle$, where $F$ is a free group. Is it ...

**20**

votes

**4**answers

1k views

### Cayley graph of $A_5$ with generators $(1,2,3,4,5),(1,4,3,2,5)$

The Cayley graph of $A_5$ with two generators of order 5 seems rather complicated. What is its graph genus (orientable or non-orientable)?
The best I could get by trial and error is an embedding ...

**6**

votes

**2**answers

1k views

### Residual Finiteness of Fundamental Group of Compact 3-Manifold

Hempel, in his 1987 article "Residual Finiteness for 3-Manifolds", shows that if $M$ is a compact Haken 3-manifold, then $\pi_1(M)$ is residually finite. The outline of the proof is basically:
Reduce ...

**19**

votes

**2**answers

3k 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 = \begin{...

**23**

votes

**1**answer

768 views

### Groups whose finite index subgroups of fixed index are isomorphic

I am interested in finitely generated groups $G$ that are residually finite and have the following property: For each $d \geq 1$, $G$ has subgroups of finite index $d$, and all such subgroups are ...

**21**

votes

**4**answers

1k views

### Is there a non-Hopfian lacunary hyperbolic group?

The question's in the title and is easily stated, but let me try to give some details and explain why I'm interested. First, a disclaimer: if the answer's not already somewhere in the literature then ...

**15**

votes

**2**answers

687 views

### Is there a finitely generated residually finite group with solvable word problem that does not embed in a finitely presented residually finite group?

The famous Higman embedding theorem says that every recursively presented group embeds in a finitely presented group. This is a convenient tool to construct finitely presented groups with bizarre ...

**13**

votes

**1**answer

736 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 ...

**33**

votes

**1**answer

1k views

### Is this conjecture strictly weaker than P=NP?

My three computability questions are related to the following group theory question (first asked by Bridson in 1996):
For which real $\alpha\ge 2$ the function $n^\alpha$ is equivalent to the Dehn ...

**21**

votes

**1**answer

640 views

### Can a hyperbolic, one ended, one relator group, have a shorter trivial word?

Let $G= \langle S \mid r \rangle$ be a one-relator presentation for a one-ended hyperbolic group, with $r$ cyclically reduced.
Question: Can there be a nontrivial word $w(S)$ which is trivial in the ...

**15**

votes

**2**answers

2k 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 ...

**13**

votes

**1**answer

845 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 ...

**12**

votes

**1**answer

318 views

### Quasimorphisms and Bounded Cohomology: Quantitative Version?

Consider maps from a discrete group $\Gamma$ to the additive group $\mathbb{R}$. A function $f:\Gamma \to \mathbb{R}$ is called a quasimorphism if it is locally close to being a group homomorphism. ...

**8**

votes

**2**answers

476 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

**1**answer

431 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 ...

**16**

votes

**2**answers

3k views

### The fundamental group of a closed surface without classification of surfaces?

The fundamental group of a closed oriented surface of genus $g$ has the well-known presentation
$$
\langle x_1,\ldots, x_g,y_1,\ldots ,y_g\vert \prod_{i=1}^{g} [x_i,y_i]\rangle.
$$
The proof I know ...

**12**

votes

**0**answers

283 views

### Does Thompson's group $V$ have property AP?

Property AP: A discrete group $\Gamma$ has property AP (Approximation Property) if there exists a net $(\phi_i)_{i \in I}$ of finitely supported functions on $\Gamma$ such that $\phi_i \to 1 $ weak$^*$...

**10**

votes

**1**answer

438 views

### Is residual finiteness a quasi isometry invariant for f.g. groups?

A "residually finite group" is group for which the intersection of all finite index subgroups is trivial. Suppose $G$ and $G'$ are two quasi-isometric finitely generated groups. Does the residual ...

**9**

votes

**4**answers

798 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 ...

**6**

votes

**0**answers

226 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

**1**answer

483 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?

**3**

votes

**1**answer

332 views

### Are there quasiconvex normal subgroups?

Let $G$ by a hyperbolic group, and let $H \lhd G$ be a normal quasiconvex subgroup. Is it possible that $|H| = [G : H] = \infty$ ?

**16**

votes

**1**answer

816 views

### Is it true that every f.g. infinite simple group has exponential growth?

Is it true that every finitely generated infinite simple group has
exponential (word-)growth?
Remark: As Mark Sapir has pointed out, the question whether
every finitely generated group of ...

**10**

votes

**2**answers

330 views

### Decidability of word problem for group admitting certain action

Let $G$ be a group acting highly transitively (and faithfully) on a set $S$. Suppose that $G$ is finitely presented, and that every stabilizer in $G$ of a finite subset of $S$ is finitely generated. I ...

**9**

votes

**1**answer

274 views

### If a group $G$ has decidable word problem, must it have a decidable square problem?

My question is a refinement of this one about 'efficient' construction of square elements: If the word problem for a (finitely generated, finitely presented) group is decidable, must the 'square ...

**8**

votes

**0**answers

156 views

### Sharp isoperimetry in the discrete Heisenberg group

The exact shape of the set which has the best isoperimetry in the continuous Heisenberg is (from what I know) a difficult open problem. This brought to wonder what is known in the discrete case?
More ...

**7**

votes

**2**answers

623 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 , 1\}$...

**7**

votes

**1**answer

555 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 ...

**7**

votes

**2**answers

481 views

### Dehn function for undistorted subgroups of a product of free groups

Let $G$ be a finitely generated subgroup of a product of two finite rank free groups $F_m \times F_n$. If there is a Lipschitz retraction $F_m \times F_n \to G$ with respect to word metrics, then $G$ ...

**7**

votes

**3**answers

607 views

### Is there a one relator group with property (T)?

Is there a one-relator group with property (T)?
That is, is there an $n > 2$, and some $x \in F_n$ (the free group on $n$ generators) such that the quotient of $F_n$ by the normal subgroup ...

**6**

votes

**2**answers

368 views

### Which groups are doubling?

A metric space $(M,d)$ is doubling if there exists $n$ such that every ball of radius $r$ can be covered by $n$ balls of radius $r/2$, for all $r$. For which f.g. groups $G$ and finite symmetric ...

**6**

votes

**1**answer

344 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 ...

**5**

votes

**1**answer

263 views

### Relations between boundaries of groups acting on hyperbolic spaces with WPD elements

Let $(X,d)$ be Gromov-hyperbolic space and let $\Gamma$ be a finitely generated group acting on $\Gamma$ by isometries. Recall the following two definitions.
Say that the action is acylindrical if ...

**5**

votes

**0**answers

137 views

### Finitely generated nilpotent groups as cusp groups

I recently learned about the following question, asked by I. Kapovich :
Is there an example of a group $G$ which is hyperbolic relative to some parabolic subgroups that are nilpotent of class $\geq 3$...

**4**

votes

**3**answers

310 views

### Graphs of groups with homomorphisms not necessarily injective

I'm wondering if there is any literature on graphs of groups where the maps $G\to H$ from an edge group $G$ to its endpoint group $H$ are not necessarily $\pi_1$-injective. Or is this just too general ...

**4**

votes

**1**answer

141 views

### Non-cocompact action on CAT(0) cube complex and hyperplane stabilizers

A hyperplane of a cube complex $X$ is a connected component of taking an $(n-1)$-cube for each midcube of $X$ and identifiying midcubes along faces of adjacent $n$-cubes of $X$.
If a group $G$ acts ...

**4**

votes

**0**answers

150 views

### In the literature on infinite graphs, are there results on "periodizable" graphs?

Let $G=(V,E)$ be a connected countably infinite $k$-regular simple graph (no loops or multiple edges). For $A$ a finite subset of $V$, let me denote by $G_A=(A,E_A)$ the induced subgraph with vertex ...

**3**

votes

**1**answer

259 views

### Is a finitely generated residually free group "almost LERF"?

Let $G$ be a finitely generated residually free group.
(i.e. for each $1 \neq g \in G$ there exists a homomorphism $\tau \colon G \to F$ such that $F$ is a free group, and $\tau(g) \neq 1$.)
Let $...

**2**

votes

**2**answers

655 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 $\mathrm{Aut}(\mathbb{Z}^n)\...