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

3
votes
0answers
46 views

Number of unitary representations of a Kazhdan group

It was proved by de la Harpe, Robertson, and Valette that for a discrete group $\Gamma$ with Kazhdan's property (T), there is a constant $c$ so that the number of irreducible unitary representations ...
8
votes
1answer
200 views

On the number of ends of a countable simple group

At the beginning I thought that the following statement could be an easy exercise after Stallings' theorem, but I found myself incapable of proving it: Any countable f.g. simple group has one end. ...
1
vote
1answer
172 views

Abelianization of limit groups

Let $G_1$ and $G_2$ be limit groups, and let $C_1$ and $C_2$ be cyclic subgroups of $G_1$ and $G_2$, respectively. Question: If $G$ is the amalgamated product of $G_1$ and $G_2$ with amalgamated ...
0
votes
0answers
82 views

Hyperbolic manifold of dim 3 with finite volume.

The geometrization Theorem for 3-manifolds classifies all oriented compact (without boundary ) 3-manifolds. Is there a theorem which classifies all hyperbolic oriented 3-manifold (without boundary ) ...
3
votes
0answers
82 views

A subgroup of corank 1 in a free group contains a primitive element?

Let $F$ be the free group on $\{x_i\}_{i=1}^\infty$, and let $H \leq F$ be a subgroup with $\langle H \cup \{x_1\} \rangle = F$. Must there be a free basis $B$ of $F$ for which $B \cap H \neq ...
4
votes
0answers
164 views

Primitive elements in a free group

Let $F$ be a free group of rank $\aleph_0$ and let $H$ be a subgroup for which there exists some $a \in F$ such that $\langle H \cup \{a\} \rangle = F$. Must there be some free basis $B$ for $F$ and a ...
0
votes
1answer
147 views

Must a group of defficiency > 1 be nonabelian?

Let $F$ be a free group of finite rank $n > 2$, and let $S \subseteq F$ be a subset of cardinality at most $n-2$. Denote by $S^F$ the normal subgroup of $F$ generated by $S$. Must $F/S^F$ be ...
2
votes
0answers
91 views

Generating free groups by small subgroups and an element

Let $F$ be a free group of countably infinite rank, and let $L \leq F$ be a finite index subgroup. For some prime $p$ and $k \in \mathbb{N}$, let $\sigma \colon L \to ...
4
votes
1answer
123 views

K-fellow traveler property and automatic structure

I have been reading several articles about automatic groups and metric spaces of negative curvature. However it is not clear for me the relationship between automatic groups, hyperbolcity and the ...
14
votes
0answers
237 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 ...
2
votes
1answer
94 views

What is the corank of a proper char subgroup of a finite index subgroup of a free group?

Let $F$ be the free group of rank $\aleph_0$, let $L \leq F$ be a finite index subgroup, and let $M$ be a proper characteristic subgroup of $L$. Is it possible that there exists a finite subset $S ...
2
votes
1answer
146 views

Finite generation and profinite completion

Let $G$ be a (countable) residually finite group whose profinite completion is topologically finitely generated. Must $G$ be finitely generated?
2
votes
1answer
214 views

Explicit examples of Dehn presentations of hyperbolic groups

It is well known fact that a (f.g.) group is hyperbolic if and only if it admits a (finite) Dehn presentation. My question concerns something I'm struggling with since the first time I read the proof ...
1
vote
1answer
227 views

Limit Group decomposition

I would need a clarification about a statement in the article Limit groups and groups acting freely on $\mathbb{R}^n$-trees by Vincent Guirardel. First recall that a limit group is a finitely ...
5
votes
2answers
99 views

“Relative cone types” for groups relative to some collection of subgroups

It is a well known fact that an infinite hyperbolic group contains an element of infinite order (see e.g. Bridson, Haefliger, Metric spaces of non-positive curvature, Prop. 2.22 on p. 458) I am ...
6
votes
1answer
117 views

Reduction of self-intersections without reducing the geometric intersection

Let $F$ be a hyperbolic surface. Given a closed curve $a$, let $\bar{a}$ denotes the free homotopy class of $a$. Let $i(\bar{a},\bar{b})$ denotes the geometric intersection number and $i(\bar{a})$ ...
4
votes
3answers
339 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 ...
7
votes
1answer
283 views

Products of subgroups of a free group

Let $F$ be a free group, and let $A,B \leq F$ be two subgroups such that $AB$ contains a nontrivial normal subgroup of $F$. Must either $A$ or $B$ contain a nontrivial normal subgroup of $F$? What if ...
5
votes
1answer
172 views

Scotts Theorem for one ended Fuchsian groups

in Peter Scott's work "Subgroups of Surface groups are almost geometric" is proven that for a closed surface $S$ and any fin. gen. subgroup $U$ of $G:=\pi_1(S,x)$ there exists a finitely sheeted ...
0
votes
1answer
76 views

Double coset separability and the existence of vanishing sequences for surface group

Definition: Let $G$ be a group. $G$ is said to be double coset separable if given any finitely generated subgroups $H$ and $K$ in $G$, given any $g\in G$ and $h\not\in HgK$, there exists a finite ...
2
votes
0answers
148 views

One question about iteration on groups

Let $G$ be a finitely generated group, $H$ a subgroup of $G$ of index $n$, with $a_i$ a set of coset representatives and $$G=\displaystyle\bigcup_{i=1}^nH{a_i}.$$ Let $\phi:H\rightarrow G$ be a ...
6
votes
1answer
194 views

Isometries of some simple Cayley graphs

Consider a Cayley graph of a group $G$ with respect to a symmetric finite generating set $S$. There are some obvious candidates to isometries of this graph - for example, translation by elements of ...
7
votes
1answer
242 views

Can you decide whether the commutator subgroup of a f.p. group is f.g?

Is the following algorithmic problem known to be decidable/undecidable? Input: a finite group presentation $P$. Decide: is the commutator subgroup of the group presented by $P$ finitely generated?
0
votes
2answers
139 views

Are there CAT(-1) spaces which are not trees whose Gromov boundary is disconnected?

Are there some examples of CAT(-1) spaces which are not trees which have disconnected Gromov boundary?
0
votes
1answer
202 views

Suppose that $G$ is a subgroup of $GL_n(\mathbb C)$ with finite exponent. Then is $G$ a finite group? [closed]

As title. the exponent of $G$ is the least number $n$ (if exists) such that $g^n=e$ holds for all $g\in G$ or $+\infty$.
3
votes
0answers
174 views

every element with eigenvalue 1

Is there a "non-trivial" subgroup $G$ of $GL(n,\mathbb C)$ whose every element has an eigenvalue $1$? "Non-trivial" here means that is no common eigenvector with eigenvalue $1$ for all elements of ...
2
votes
0answers
135 views

Discontinuity of Radon-Nikodym derivative for Patterson-Sullivan measures for word metrics on Gromov hyperbolic groups

Let $\Gamma$ be a Gromov hyperbolic group coming endowed with a word metric coming from some finite generating set. Let $\nu$ be an associated Patterson-Sullivan measure (quasi-conformal density). I ...
6
votes
0answers
191 views

When is a word metric on a CAT(-1) group a bounded distance from the orbit map of an isometric action on some CAT(-k) metric space?

Let $\Gamma$ be a group admitting a discrete and cocompact action on a CAT(-1) space. Let $d$ a word metric on $\Gamma$ coming from some finite set of generators. My question is: Does there exist a ...
18
votes
6answers
1k views

Residual finiteness: why do we care?

Residually finite groups have been studied for a long time. However, I am struggling to work out why we care, or perhaps, why they continue to be of interest. Let me explain. Magnus, in his 1968 ...
6
votes
0answers
180 views

Polynomial growth without Gromov's theorem

It is a consequence of the theorem of M. Gromov on groups with polynomial growth and a result of P. Pansu(*) that if a finitely generated group $\Gamma = \langle S\rangle,\, S=S^{-1}$ satisfies ...
13
votes
0answers
277 views

Linear groups which don't contain products of free groups

Let $G \subset GL(n, \Bbb Z)$ be a f.g. linear group. The Tits alternative says that $G$ is either virtually solvable (i.e. has a solvable subgroup of finite index), or contains a free group $F_2$. ...
1
vote
0answers
112 views

Virtually abelian centralizers

This is a sort of a follow-up question to Limits of conjugated subgroups (though it might not seem at first glance to have much to do with it.) Anyway, I'm wondering what sort of groups have the ...
8
votes
1answer
174 views

Is the Cayley graph of Thompson's group isolated in the space of vertex-transitive graphs?

Consider Thompson's group (the one commonly referred to as $T$), which is finitely presentable. Consider the Cayley graph, but then forget the coloring and direction on edges. So now we just have an ...
7
votes
0answers
68 views

Approximation of the effective resistance on Cayley graph

Let $\Gamma$ be a finitely generated group, and denote by $G$ the Cayley graph of $\Gamma$. Denote by $d_R$ the resistance distance metric on this graph. The resistance distance metric between the ...
4
votes
0answers
97 views

Is a finitely generated subgroup of a free profinite group virtually a retract?

Let $F$ be a nonabelian finitely generated free profinite group, and let $H \leq F$ be a finitely generated closed subgroup. Must there be some open subgroup $H \leq U \leq F$, and a closed normal ...
3
votes
0answers
78 views

Geometric automorphism of free group respect to nonorientable suface

An outer automorphism $[ϕ]\in Out(F_n)$ is geometric if it is induced by a surface homeomorphism h:M→M, where M is a compact surface with nonempty boundary. I am wondering is it enough we only ...
3
votes
1answer
188 views

Special linear groups over function fields

Let $p$ be a prime number, and let $q$ be a finite power of $p$. Denote by $F_q$ the unique field with $q$ elements. What is known about the structure and properties of $\mathrm{SL}_2(F_q[t])$ as ...
3
votes
2answers
198 views

Limits of conjugated subgroups

I've recently encountered the following problem. Given a group $G$, a subgroup $H$ and a sequence $g_n\in G$, let $$ \liminf_{j\to\infty}H^{g_j} :=\bigcup_{n\ge 1} \bigcap_{j\ge n} H^{g_j}.$$ Here $$ ...
1
vote
1answer
99 views

Convex subcomplexes of CAT(0) cubical complexes

Is the following statement true? If so, can anyone provide a reference? Let $X$ be a CAT(0) cubical complex, and let $Y$ be a connected subcomplex of $X$. Then the following are equivalent: ...
11
votes
1answer
353 views

Is there a faithful transitive locally finite action of the modular group?

Is there a faithful transitive action of $G = \mathrm{PSL}_2(\mathbb{Z})$ on $\mathbb{Z}$ such that orbits under each $g \in G$ are finite?
1
vote
0answers
129 views

Zariski dense subgroups and conjugates

Let $H \leq \mathrm{SL}_3(\mathbb{Z})$ be a finitely generated subgroup which is not Zariski dense, and let $g \in \mathrm{SL}_3(\mathbb{Z})$. Must there be some $a \in \mathrm{SL}_3(\mathbb{Z})$ such ...
1
vote
0answers
80 views

Are lattices in the special real linear group subgroup seperable?

Let $G \leq SL_2(\mathbb{R})$ be a lattice, let $H \leq G$ be a finitely generated subgroup of infinite index, and let $n \in \mathbb{N}$. Must there be some $H \leq U \leq G$ such that $n \leq [G : ...
2
votes
2answers
217 views

F.g group with infinite ends not Q.I to a free group

Is there any easy example of a finitely generated group with a Cantor set of ends that is not quasi-isometric to a finitely generated free group? Thanks in advance.
1
vote
0answers
110 views

Can a profinite completion be free pro-p?

Is there a prime number $p$ and a finitely generated residually finite group whose profinite completion is a free pro-$p$ group on a nonempty finite set? Thanks to YCor we see that we cannot take the ...
3
votes
1answer
194 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$ ?
2
votes
0answers
159 views

Exotic actions of hyperbolic groups

Let $G$ be a hyperbolic group acting faithfully on $\mathbb{Z}$ such that: The action is highly transitive - it is $k$-transitive for each $k \in \mathbb{N}$. For every quasiconvex subgroup $H \leq ...
5
votes
1answer
215 views

A hyperbolic group with a small profinite completion

Is there a finitely generated non-elementary word hyperbolic group the profinite completion of which is known (or conjectured) to be rather restricted, that is: abelian, pro-$p$, virtually ...
6
votes
2answers
308 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 ...
6
votes
1answer
153 views

Is there a highly transitive action of a finitely generated torsion simple group?

Is there a highly transitive action of a finitely generated torsion simple group $G$ on $\mathbb{Z}$ ? Highly transitive means $k$-transitive for each $k \in \mathbb{N}$, that is: for every two ...
4
votes
1answer
231 views

Characterizing residually amenable groups

Let $G$ be a finitely generated group. The amenability of $G$ is equivalent to the existence of a certain "weak measure" on $G$. Is there such a characterization for residually amenable groups as ...