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

0
votes
0answers
25 views

Asymptotic dimension of Bicombable groups

Do Bicombable Groups have finite asymptotic dimension?
2
votes
0answers
66 views

Invertibility of group Laplacian in $\ell^1$

Let $G$ be a discrete group and let $S$ be a generating set for $G$; assume that $S$ is symmetric (i.e., $g\in S$ iff $g^{-1}\in S$). Let $L=L_S=\frac{1}{|S|}(\sum_{g\in S} g-1)$ be an element of the ...
12
votes
1answer
228 views

Hyperbolic 3-manifold groups acting on the plane

Can the fundamental group of a closed hyperbolic 3-manifold act freely on the plane by homeomorphisms? Freely and cocompactly? Freely, cocompactly, and preserving orientation?
2
votes
0answers
80 views

Extra large spherical joins

If $X$ and $Y$ are piecewise spherical complexes, then their spherical join $X * Y$ is CAT(1) if and only of $X$ and $Y$ are CAT(1) (see the appendix of the first Charney-Davis paper below). One of ...
3
votes
0answers
135 views

Are all finitely generated subgroups of SL2 LERF? [closed]

Let $H \leq \mathrm{SL}_2(\mathbb{R})$ be a finitely generated subgroup. Must $H$ be LERF? A group $H$ is said to be LERF (locally extended residually finite), or subgroup separable, if its ...
7
votes
1answer
143 views

Subgroups of the mapping class group of a surface generated by Dehn twists

Let $G$ be the mapping class group of a surface of genus $g > 1$. Is it known for which positive integer $k$ one can find a subgroup $H$ of $G$ generated by a finite number of Dehn twists and a ...
8
votes
2answers
190 views

Quasi-isometric rigidity of Nil

Let $Nil$ be the unique simply connected non-abelian three-dimensional nilpotent Lie group, i.e. the group of upper triangular matrices with all the eigenvalues equal to 1 (this group is also known as ...
8
votes
1answer
435 views

What is the Status of Borel conjecture today?

Let me recall the conjecture: $M$ and $N$ two aspherical closed $n$-manifolds with isomorphic fundamental groups, then $M$ and $N$ are homeomorphic.
0
votes
0answers
59 views

Joint point of coarse geometry and dynamical system?

My major interest is on dynamical systems, but I did REU in a coarse embedding problem. I wonder whether there's some significant connection between those two subjects. I've tried to google for a ...
5
votes
0answers
120 views

Generators of pure braid groups of arbitrary Coxeter groups

Let $W$ be an arbitrary Coxeter group, and let $A$ be the associated Artin-Tits braid group, with standard Coxeter generators $\sigma_i\in A$. Let $P$ be the "pure braid group", the kernel of the ...
2
votes
0answers
195 views

A question about generating set of groups and epimorphism

Do there exist non-isomorphic finitely generated groups, $G$ and $H$, along with epimorphisms $\phi:G\rightarrow H$ and $\psi:H\rightarrow G$, such that every generating set of these groups is an ...
7
votes
1answer
150 views

Does every generating set of the first homology group of a Cayley graph give rise to a presentation of its group?

Let $G$ be a group, and fix a symmetric generating set $S$. Let $X$ be the corresponding Cayley graph. Let $R$ be a set of words in $S$, each corresponding to the identity of $G$, such that the set ...
0
votes
0answers
66 views

Rigidity of lower-dimensional lattices in Euclidean groups

Informal intro / motivation: Suppose I have an infinite set of atoms arranged in a 2D periodic crystalline "sheet". By crystalline I simply mean that it is preserved by the action of integer linear ...
3
votes
0answers
108 views

Short exact sequences for amalgamated free products and HNN Extensions

I asked this question on math stackexchange (see here) but didn't get any answer so I thought I would post it here too: If $A$ and $B$ are groups we have the following short exact sequence: $$ 0 \to ...
1
vote
0answers
49 views

Fully residually free groups and completion

Let $G$ be a fully residually free group with a finitely generated profinite completion. Is $G$ necessarily finitely generated?
5
votes
0answers
165 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) ...
1
vote
0answers
79 views

Profinite rank of Fuchsian groups

Let $G$ be a Fuchsian group whose profinite completion is finitely generated. Must $G$ be finitely generated? A Fuchsian group is a discrete subgroup of $\mathrm{SL}_2(\mathbb{R})$ or ...
3
votes
2answers
312 views

Subgroups of hyperbolic groups

Let $G$ be a finitely generated hyperbolic group, and let $H \leq G$ be a subgroup whose profinite completion is finitely generated. Must $H$ be finitely generated? In view of Ian Agol's answer, I ...
3
votes
1answer
174 views

An inequality for Fuchsian groups?

Let $G$ be a finitely generated Fuchsian group. (i.e. a discrete subgroup of $\mathrm{PSL}_2(\mathbb{R})$). Is it true that $d(G) < 2\beta_{2}^1(G) + 1$ ? Here, $\beta_{2}^1(G)$ stands ...
2
votes
0answers
106 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$.) ...
2
votes
0answers
67 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 ...
1
vote
0answers
88 views

Higher connectedness of Rips complexes

For $G$ a countable discrete group, if it is finitely generated resp. finitely presented, we know that there is $R_0$ resp. $R_1$ such that for every $R\geq R_i$ the Rips complex ...
4
votes
1answer
140 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
0answers
102 views

Volume growth of balls

Let $G$ be a locally compact group and $K\subset G$ a compact subgroup. Suppose that on the homogeneous space $X=G/K$ we have a $G$-invariant proper metric $d$. For $R>0$ let $B(R)$ be the open ...
1
vote
1answer
117 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 ...
6
votes
2answers
205 views

How bad is the modular space?

I'm wondering if there is some results about the quotient space $\mathbb{H}^{3}/PSL(2,\mathcal{O}_{K})$? Do we know something about its homology or homotopy groups ? $\mathbb{H}^{3}$ is the hyperbolic ...
1
vote
0answers
60 views

Salvaging Howson's theorem for free profinite groups

This is an attempt to find a correct version of Do free profinite groups satisfy Howson's theorem? Let $F$ be a free profinite group, and let $A,B \leq F$ be closed finitely generated subgroups ...
3
votes
2answers
230 views

Do limit groups satisfy Howson's theorem?

Let $G$ be a limit group, and let $A,B \leq G$ be finitely generated subgroups generating $G$ (i.e. $\langle A \cup B \rangle = G$). Must $A \cap B$ be finitely generated? Recall that a limit ...
1
vote
0answers
84 views

Homology of spherical braid groups

By the spherical braid group, I mean the fundamental group of the configuration space of distinct unordered points in $S^2$. I am wondering what is known about the group homology of the spherical ...
10
votes
2answers
289 views

Conjugacy of matrices of order three in $PGL(2,k)$, where $k$ is any field

We know that every matrix of order three in $PGL(2,\mathbb Z)$ is conjugate to the following matrix $$ \left( \begin{array}[cc] &1 & -1 \\ 1&0 \end{array} \right) $$ I want to know if ...
0
votes
0answers
117 views

Rational cohomological dimension of the lattices in $SL_n(\mathbb{Q}_p)$

What is the rational cohomological dimension of the lattices in $SL_n(\mathbb{Q}_p)$, where $n\geq 3$ ? A reference would be appreciated. For the definition of "cohomological dimension of a group ...
5
votes
0answers
253 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}$ ...
1
vote
0answers
72 views

Algorithm to generate hyperbolic metric on a compact surface

Let $F$ be a compact surface of genus $g$ with generators $a_1,b_1,\ldots ,a_g,b_g$ with relation $[a_1,b_1]\cdots [a_g,b_g]=1$. We can also consider surfaces with boundary in which case the ...
5
votes
0answers
108 views

Connectedness of cones in the boundary of a 1-ended hyperbolic group

Let $G$ be a one-ended hyperbolic group. We can think of the boundary of $G$ as consisting of geodesic rays originating at the identity in some Cayley graph, modulo the relationship of being ...
5
votes
0answers
117 views

A group acting acylindrically on a fine hyperbolic graph with infinite edge stabilizers

I am looking for an example of a group $G$ that acts (cocompactly and) acylindrically on a hyperbolic graph $\Gamma$, such that a) the graph $\Gamma$ is fine, b) $\Gamma$ is not a tree, c) not all ...
3
votes
0answers
46 views

Cubulating non-compact hyperbolic manifolds

Let $X$ be a hyperbolic manifold of arbitrary dimension. When does $X$ admit a cell structure of a CAT(-1) cube complex? of a hyperbolic CAT(0) cube complex? I suspect that the question is widely ...
7
votes
0answers
166 views

A conjecture of Lubotzky on ranks of subgroups of special linear groups over the integers

In a 1985 paper named "Dimension function for discrete groups" Lubotzky conjectured that: For any integer $n \geq 3$ the group $\mathrm{SL}_n(\mathbb{Z})$ contains infinitely many finite index ...
2
votes
1answer
116 views

k-fellow traveler property and automatic structur

Let P be a permutation group with some generating set S and let W be the word acceptor automaton of P, if I know the value of k (k-fellow-traveller property of CayleyGraph CG(P,S)). I realized that ...
5
votes
1answer
53 views

Local quasiconvexity in graphs of free groups with cyclic edge groups

In Wise1 Wise shows that hyperbolic graphs of free groups with cyclic edge groups are subgroup separable. In Hsu-Wise these are shown to be cubulated, and by Agol they're virtually special, so ...
2
votes
2answers
186 views

Do quasi-isometric groups have the same rational cohomology?

Let $G_1$ and $G_2$ be two finitely generated groups which are quasi-isometric in the sense of geometric group theory. Are their rational cohomology rings $H^{\ast}(G_i; \mathbb Q)$ necessarily ...
4
votes
1answer
95 views

Computations with conetypes of hyperbolic groups

I'd like to know if there exists (and, in this case, where I can find it) some computer program/programming language/any kind of software that can find explicitly the conetypes of a hyperbolic group ...
5
votes
0answers
82 views

Maximum relator and hyperbolicity

It is a well-known theorem that a finitely generated group is hyperbolic if and only if it admits a finite Dehn presentation. To prove the "only if" direction one proceeds roughly as follows: Suppose ...
4
votes
0answers
77 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 ...
5
votes
1answer
209 views

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

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 generated by $x$ has Kazhdan's property $\mathrm{(T)}$ ?
4
votes
1answer
117 views

local quasi geodesics in hyperbolic spaces

I asked this question on math stackexchange (see here) but didn't get any answer so I thought I post it here too. We have the following two well-known Theorems: T1) For all $\delta > 0, ...
2
votes
0answers
60 views

Actions on spaces with measured walls

In geometric group theory, the question of whether or not a group acts nicely on a CAT(0) cube complex, or equivalently on a median graph, is of interest. The same question for actions on spaces with ...
16
votes
0answers
517 views

How boundedly generated is $SL_3(\mathbb{Z})$?

The group $G = \mathrm{SL}_3(\mathbb{Z})$ is known to be boundedly generated, that is, there exists some $m \in \mathbb{N}$, and $g_1, \dots, g_m \in G$ such that we have the following equality of ...
3
votes
1answer
162 views

Is there a bound on the rank of finite index subgroup of SL_3(Z)?

Is there an $N \in \mathbb{N}$ such that every finite index subgroup of $\mathrm{SL}_3(\mathbb{Z})$ has a generating set of size $N$?
4
votes
1answer
98 views

Is being Noetherian a quasi-isometric invariance for f.g. groups?

Recall that a group $G$ satisfies max (or is said to be Noetherian) if all its proper subgroups are finitely generated. Similarly $G$ satiesfies max-n if all its normal subgroups are normal closures ...
7
votes
1answer
353 views

Can a group be a union of finitely many subgroups of infinite index?

Is there a group $G$ and subgroups $H_1, \dots, H_n \leq G$ for some $n \in \mathbb{N}$, such that $[G : H_i] = \infty$ for each $1 \leq i \leq n$, and $$G = \bigcup_{i=1}^n H_i \ \ ?$$