Skip to main content

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

Filter by
Sorted by
Tagged with
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 ...
AGenevois's user avatar
  • 8,401
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 ...
frafour's user avatar
  • 435
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 ...
Jean Charles's user avatar
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}) = ...
Adam Hagood's user avatar
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 ...
AGenevois's user avatar
  • 8,401
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$. ...
user75691's user avatar
  • 339
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 ...
Taras Banakh's user avatar
  • 41.8k
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 ...
Dieter's user avatar
  • 539
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 ...
user50229's user avatar
  • 201
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 ...
Sebastian's user avatar
  • 937
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 $...
SDUer's user avatar
  • 497
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 ...
Alessandro Sisto's user avatar
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-...
Piotr Hajlasz's user avatar
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 ...
anon's user avatar
  • 101
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^...
Derek Holt's user avatar
  • 37.4k
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 ...
Adrián González Pérez's user avatar
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 ...
Xiaolei Wu's user avatar
  • 1,598
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 ...
Tom Harris's user avatar
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 ...
Owen Sizemore's user avatar
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 ...
M. Dus's user avatar
  • 2,090
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...
Igor Rivin's user avatar
  • 96.4k
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 ...
Anubhav Mukherjee's user avatar
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)$ (...
Steven's user avatar
  • 103
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 ...
Nick Hildebrand's user avatar
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 $\...
BharatRam's user avatar
  • 949
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* ...
Matt Zaremsky's user avatar
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 ...
M. Winter's user avatar
  • 13.6k
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 ...
Pablo's user avatar
  • 11.3k
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) ...
Yellow Pig's user avatar
  • 2,964
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$ ...
Francesco Polizzi's user avatar
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,\...
seldom seen's user avatar
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^{-...
Harry Reed's user avatar
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 ...
scott spencer's user avatar
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 \...
Pablo's user avatar
  • 11.3k
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 ...
Pablo's user avatar
  • 11.3k
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 ...
HenrikRüping's user avatar
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?
Daniel Sebald's user avatar
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 = \...
Carl-Fredrik Nyberg Brodda's user avatar
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 ...
ggt001's user avatar
  • 301
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 ...
GroupTheory's user avatar
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?
suitangi's user avatar
  • 343
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?" ...
Ross Griebenow's user avatar
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-...
Chris Z's user avatar
  • 291
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 ...
Sarah's user avatar
  • 93
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 ...
Misha Verbitsky's user avatar
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}^...
user68316's user avatar
  • 245
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\}$ ...
user56097's user avatar
  • 402
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 ...
frafour's user avatar
  • 435
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$-...
Pablo's user avatar
  • 11.3k
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. ...
Kate Juschenko's user avatar

1 2 3
4
5
20