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
987 questions
10
votes
3
answers
666
views
Subgroups of RAAGs vs. subgroups of RACGs
Is a (finitely generated) torsion-free subgroup of a right-angled Coxeter group isomorphic to a subgroup of a right-angled Artin group?
It is well-known from the theory of special cube complexes that ...
10
votes
2
answers
444
views
Sequence of epimorphisms of residually finite groups stabilizes
Let $G_1 \to G_2 \to \cdots$ be a sequence of epimorphisms of finitely generated residually finite groups. Does it eventually stabilize? That is, are all but finitely many epimorphisms actually ...
10
votes
2
answers
853
views
Examples of hyperbolic groups with non-hyperbolic subgroups
In a previous question, I asked about hyperbolic groups in which every finitely generated subgroup is hyperbolic. I am now curious about the reverse question: what are some examples of hyperbolic ...
10
votes
4
answers
578
views
Is the action of $G$ on $H_1(T^n, \mathbb{Z}) = \mathbb{Z}^n$ faithful?
Let $G$ be a finite group of diffeomorphisms of the torus $T^n$ fixing some point $p$, i.e. $p$ is fixed by every element of $G$. I have two questions.
Is the action of $G$ on $H_1(T^n, \mathbb{Z}) = ...
10
votes
1
answer
377
views
Translation lengths in CAT(0) spaces
Let $a,b$ be two loxodromic isometries of a CAT(0) space. Assume that, for every $n \geq 1$, $a^nb$ is also loxodromic. Is it possible for the translation length of $a^nb$ to be bounded independently ...
10
votes
4
answers
934
views
Stallings' Theorem for free products of groups
There is a well known theorem which states that:
Theorem(Stallings):
For any immersion $f$ from a finite graph $D$ to $G$ there is a finite-sheeted covering space $D '$ of $G$ that extends $f$. ...
10
votes
1
answer
183
views
The rigidity of the countable product of free groups
For a natural number $n$ let $F_n$ be the free group with $n$ generators.
The group $F_n$ is endowed with the discrete topology.
Given an increasing sequence $\vec p=(p_k)_{k\in\omega}$ of prime ...
10
votes
2
answers
890
views
Are virtual cubulated groups cubulated?
Suppose $G$ has a finite index subgroup $N$ such that $N$ acts properly and cocompactly on a CAT(0)-cube complex. Does $G$ also act properly and cocompactly on a CAT(0)-cube complex?
Edit: After ...
10
votes
2
answers
815
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 ...
10
votes
2
answers
631
views
Invariant free factor of a free group
Let $F_n=F\ast F'$ be a free splitting of the free group $F_n$ and $\phi\in Aut(F_n)$. The free factor $F$ is said to be invariant under $\phi$ if $\phi(F)\subseteq F$.
I recently wondered if this ...
10
votes
1
answer
423
views
Residually finite group surjective to nonresidually finite group with finitely generated kernel
As is described in the title, is there a known example such that there is a surjective homomorphism of groups $$f: G\rightarrow H,$$ with $G$ and $H$ finitely presented, $G$ is residually finite, and $...
10
votes
2
answers
724
views
Centralizers of non-iwip elements of $Out(F_n)$
Does there exist an infinite order element $\phi\in Out(F_n)$, for some or all $n\geq 3$, which is not iwip but has finite index in its centralizer? How about an element such that all its non-zero ...
10
votes
1
answer
706
views
Where to find English translation of Pansu's paper from Ann. Math?
Where can I find English translation of the following paper?
P. Pansu,
Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang un. (French. English summary) [Carnot-...
10
votes
2
answers
550
views
Gromov hyperbolicity constant vs. Gromov-Hausdorff distance to a tree
Let $X$ be a compact, geodesic metric space which is Gromov hyperbolic with a constant $\delta>0$. To fix scaling, let us also assume that $X$ has diameter $1$.
To fix a definition of Gromov ...
10
votes
1
answer
602
views
hyperbolic quotient of hyperbolic group
I have a memory of hearing about a result (or perhaps a conjecture), possibly due to Gromov, that, if $G$ is a hyperbolic group and $g \in G$ has infinite order, then the quotient group $G/\langle (g^...
10
votes
1
answer
434
views
Is property FA of Serre known for $SL_2(\mathbb{Z}[i])$ and $SL_2(\mathbb{Z}[\zeta_3])$
In Serre's book Trees [Se, p. 68] it says:
3) For $SL_2$ the situation is different. It is clear that
$SL_2(\mathbf Z )$ does not have property (FA). It is the same with
$SL_2(A)$ when $A$ is ...
10
votes
1
answer
1k
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 ...
10
votes
2
answers
454
views
Minimal normally generating subsets of minimal generating sets
Let $G$ be a finitely generated group. The weight $w(G)$ of $G$ is defined to be the minimum number of elements of $G$ whose normal closure in $G$ is the whole of $G$ (this is sometimes also called ...
10
votes
1
answer
788
views
Are Hyperbolic Groups Residually Amenable
It is a well-known conjecture (or maybe just a question) that all hyperbolic groups are residually finite. What happens if we weaken the conclusion; in particular
Are all hyperbolic groups residually ...
10
votes
1
answer
737
views
Parabolic subgroups of relatively hyperbolic and CAT(0) groups
Let $G$ be a finitely generated group. We say that $G$ is CAT(0) if it acts properly and co-compactly by isometries on a CAT(0) space.
We say it is hyperbolic relative to a collection $\Omega$ of ...
10
votes
1
answer
459
views
Kazhdan's property T for Kahler surfaces
Is it true that the fundamental groups of compact Kahler surfaces have property T if and only if it they are finite? I am having trouble finding counterexamples to this, but maybe that's just me...
10
votes
2
answers
677
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 ...
10
votes
1
answer
580
views
Nonhyperbolic groups that contain no free abelian groups or Baumslag-Solitar groups
I've heard it conjectured that a finitely presentable group $G$ is hyperbolic if it satisfies the following two conditions.
$G$ contains no subgroup isomorphic to a Baumslag-Solitar group $BS(n,m)$ (...
10
votes
1
answer
537
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 ...
10
votes
2
answers
403
views
Second Bounded Cohomology of a Group: Interpretations
Suppose we have a group $\Gamma$ acting on an abelian group $V$. Then it is well-known that the second cohomology group $H^2(\Gamma,V)$ corresponds to equivalence classes of central extensions of $\...
10
votes
1
answer
149
views
Iterated algebraic fibering
A finitely generated group $G$ algebraically fibers if there is an epimorphism $G\to\mathbb{Z}$ with finitely generated kernel. Since this kernel is finitely generated, we can ask whether *it* ...
10
votes
1
answer
416
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 ...
10
votes
2
answers
383
views
Can a positive measure subset of a free group be nowhere dense?
Let $F$ be a finitely generated free group and let $S \subseteq F$ be a subset for which there is some $\epsilon > 0$ such that for any epimorphism to a finite group $\phi \colon F \to G$ we have ...
10
votes
0
answers
223
views
Does a rank 1 CAT(0) space with a proper cocompact group action contain a zero width axis?
A geodesic in a proper CAT(0) space is said to be rank 1 if it does not bound a flat half-plane and zero-width if it does not bound a flat strip of any width.
Let $X$ be a geodesically complete CAT(0) ...
10
votes
0
answers
351
views
Finite quotients of surface braid groups
Let $\Sigma_b$ be a closed orientable surface of genus $b \geq 2$, and denote by $\mathsf{P}_2(\Sigma_b)$ the pure braid group with two strands on $\Sigma_b$.
There is a braid $A_{12} \in \Sigma_b$ ...
10
votes
0
answers
455
views
Is there a one-relator circle-packing theorem?
Let $X_w$ be the presentation complex of a one-relator group $\langle x_1,\dotsc,x_n\mid w\rangle$, with $w$ cyclically reduced, i.e., $X_w=R\cup_w D$, with $R$ the rose with $n$ petals labeled $x_1,\...
10
votes
0
answers
214
views
2-generator subgroups of an Artin group of small type
Suppose I have an Artin group $G$ of small-type, meaning that the generators either commute or braid. E.g a braid group. Take two generators $g, h$ and arbitrary conjugates of these generators $xgx^{-...
10
votes
0
answers
458
views
is a group $G$, that admits finite $k(G, 1)$ and has no Baumslag-Solitar subgroups, necessarily hyperbolic?
This is the first question asked in Bestvina's article "Questions in Geometric Group Theory". Does anyone know if there has been any progress made on this problem? Is the question answered if $G$ is ...
10
votes
1
answer
331
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 \...
9
votes
3
answers
842
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 ...
9
votes
3
answers
1k
views
Are subgroups of hyperbolic groups quasiisometrically embedded ?
Given a finitely generated subgroup of a finitely generated hyperbolic group. Is it true that the inclusion of each subgroup is a quasiisometric embedding ?
The first example for a group that does ...
9
votes
1
answer
493
views
Can $E_8$ be enlarged?
Is there any finite 8-dimensional point group which contains the $E_8$ Coxeter group as a subgroup other than $E_8$ itself?
9
votes
3
answers
498
views
Residually solvable Bianchi groups
Let $d$ be a square-free positive integer, and let $\mathcal{O}_d$ be the ring of integers of the quadratic imaginary number field $\mathbb{Q}(\sqrt{-d})$. Consider the Bianchi group $\Gamma_d = \...
9
votes
1
answer
467
views
dichotomy in hyperbolic groups
Suppose $G$ is a word hyperbolic group i.e. every geodesic triangle in a cayley graph with respect to a finite generating set of $G$ is $\delta$-thin, for some $\delta>0$. There are various ...
9
votes
2
answers
396
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 ...
9
votes
1
answer
674
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?
9
votes
1
answer
398
views
When are biautomatic groups hyperbolic?
This list of open problems from http://grouptheory.info/ includes the question:
"Is every biautomatic group which does not contain any $\mathbb{Z} \times \mathbb{Z}$ subgroups, hyperbolic?"
...
9
votes
1
answer
738
views
Gromov hyperbolic groups which are solvable are elementary
I have read on wikipedia that a Gromov hyperbolic group which is solvable is elementary (i.e. virtually cyclic). Where can I find a proof of this fact?
There is a proof of a similar fact in Bridson-...
9
votes
1
answer
377
views
Morse theory on outer space via the lengths of finitely many conjugacy classes
Let $F_n$ be the free group on letters $\{x_1,\ldots,x_n\}$ and let $X_n$ be the (reduced) outer space of rank $n$. Points of $X_n$ thus correspond to pairs $(G,\mu)$, where $G$ is a finite connected ...
9
votes
2
answers
762
views
Bieberbach theorem for compact, flat Riemannian orbifolds
In his thesis, Bieberbach solved Hilbert 18 problem and
proved that any compact, flat Riemannian manifold is a
quotient of a torus. I need a reference to an orbifold version
of this result: any ...
9
votes
1
answer
308
views
Counterexamples to analogue of Cannon conjecture in higher dimensions
It is known that a group $G$ acts geometrically on $\mathbb{H}^2$ if and only if $G$ is word-hyperbolic and its boundary $\partial G$ is homeomorphic to $S^1$.
The analogous statement for $\mathbb{H}^...
9
votes
1
answer
371
views
Finitely generated group every 2-generated subgroup of which is finite
I know of Tarski monsters and the Burnside Problem. I would like to know if there is an infinite finitely generated group $G$ such that for any $g$ and $h$ in $G$, the subgroup generated by $\{g,h\}$ ...
9
votes
1
answer
281
views
Largest Hopfian quotient
Let $\Gamma$ be a group, say finitely generated if it helps. Does $\Gamma$ admit a largest Hopfian quotient? That is, does there exist a Hopfian quotient $H$ of $\Gamma$, such that every surjective ...
9
votes
2
answers
373
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 $k$-...
9
votes
2
answers
954
views
Actions of Thompson group F
Does anybody know the actions of Thompson group F which are not conjugate to the standard one?
Motivation is to find actions such that the Schreier graph of the action does not contain a binary tree.
...