# Tagged Questions

198 views

### Second homology of mapping class group of genus 3

In a survey paper of Korkmaz it is stated that $H_2(\mathrm{Mod}_3)$ is either $\Bbb Z$ or $\Bbb Z \oplus \Bbb Z_2$, but I was not able to find out a precise computation of this group (resolving the ...
587 views

### solvable word problem without algorithm

Let $G$ be a finitely generated group. I wonder if there are examples where: 1) The word problem is known to be solvable in $G$ but there is no algorithm known. 2) The word problem is known to be ...
92 views

### Two-relator products of cyclic groups

In "A proof of the Scott–Wiegold conjecture on free products of cyclic groups" Howie proved that every one-relator product of three cyclic groups is nontrivial. Is there a now proven theorem that says ...
300 views

### a question on rank of fundamental group

Assume $G$ be the fundamental group of a closed orientable hyperbolic 3-manifold. Let $G_{1} = \langle a_{1},...,a_{k} \rangle$ be a free subgroup of $G$, and let $G_{2}=\langle a_{k+1} \rangle$ be a ...
307 views

### Finitely presented group in which every element is conjugate to its square

Does there exist a nontrivial finitely presented group in which every element is conjugate to its square? Is this an open problem? Motivation: Jahren proved in [Geom Dedicata (2010)] that if $M$ is a ...
96 views

### Cancellations in products of two elements of a hyperbolic group

Let $G$ be a non-abelian free group with the standard generating set and the corresponding word metric. If we take two elements $g,h\in G$ and compute their product $gh$, some letters might cancel, ...
59 views

### Suitable references for Zappa-Szep products of groups

Can anyone provide references for the following: isoperimetric (Dehn) functions of semi-direct products of groups and, more generally, of Zappa-Szep products of groups?
225 views

### Subgroups of Gromov's hyperbolic groups

It's known that subgroups of Gromov's hyperbolic groups are not necessarily hyperbolic. Is there any counter-example when the quotient is Abelian. More precisely, let $G$ be a Gromov's hyperbolic ...
210 views

### Boundaries of relatively hyperbolic groups

When the interior of an n-manifold $M$ has a pinched negative curvature metric of finite volume, then its fundamental group $\Gamma=\pi_1M$ is relatively hyperbolic relative to the parabolic groups ...
133 views

### Homeomorphism of the punctured sphere which fixes an essential Jordan curve

$\phi$ is a homeomorphism from the 2-sphere to itself which represents an element of $PMCG(S^2,A)$ (we also denote it by $\phi$), where $A$ is a finite set of $S^2$. $\gamma$ is an essential Jordan ...
244 views

### What is known about maximal free subgroups of surface groups?

Let $\Gamma_g=< a_1,...,a_g,b_1,...,b_g | \prod_{i=1}^g [a_i,b_i]>$ (a surface group). What is known about maximal free subgroups of $\Gamma_g$ for $g>1.$ (I.e. free subgroups which are not ...
78 views

### Characterizations of product groups under quasi-isometry

This is a follow-up question to Quasi-isometric rigidity of certain products of groups. It can be moved to a comment if it is too trivial. If all the asymptotic cones of a finitely generated group ...
122 views

165 views

### Periodic automorphisms of free groups and surface homeomorphisms

Denote by $F_n$ the free group of rank $n$. We say that an automorphism $\phi\in Aut(F_n)$ is geometric if there exists a surface with boundary $M$ and a homeomorphism $h\colon M\to M$ such that $h$ ...
470 views

### Why isn't $\langle x,y,z|xyzx^{-1}y^{-1}z^{-1}\rangle$ a hyperbolic surface group?

The group mentioned in the title, $\langle x,y,z|xyzx^{-1}y^{-1}z^{-1}=1\rangle$, is in between the torus fundamental group $\langle x,y|xyx^{-1}y^{-1}=1\rangle$ and the two-holed torus fundamental ...
265 views

### Do quasi convex hyperbolic subgroups remain quasi convex after adding redundant generators?

We know now that hyperbolic 3-manifolds virtually embed into right-angled Artin groups as quasiconvex subgroups. Also, quasiconvexity depends on the generating set. I have been constructing a space ...
419 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 ...
144 views

### Intersections of subgroups of surface groups [closed]

Let $\mathcal{S}_g$ denote the fundamental group of an oriented surface of genus $g\ge 2$. Does $\mathcal{S}_g$ contain subgroups $A$ and $B$ of finite index such that $A\cap B = \lbrace e\rbrace$?
206 views

### QVH characterization of virtually special groups

Agol's recent VHC paper gave a characterization of virtually special groups in terms of being $\mathcal{QVH}$. He remarks that this may be taken as the defining property of virtually special groups ...
218 views

### Does this group act geometrically on a Median space?

Let $G$ be the semidirect product of $\mathbb{Z}^2$ with $\mathbb{Z}/6$ where $\mathbb{Z}/6$ acts by the order 6 element of $SL_2(\mathbb{Z})$. We can think of this group as the group of order ...
233 views

### Walls of CAT(0) cube complex sufficiently far apart implies intersection of stabilizers finite

I was reading through Agol's paper on the Virtual Haken Conjecture and I came across a claim whose proof I am after. It seems to boil down to the following claim about the hyperplanes and their ...
269 views

### Complexification or 'real'ization of Mapping Class group.

So is there a complexification or 'real'ization of the mapping class group or can it be realised as a lattice in some lie group. like $PSL(2, \mathbb Z)$ in $PSL(2, \mathbb R)$. for g=1 this certainly ...
352 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 ...
277 views

### General properties of free-by-cyclic groups

I admit this is a very broad question, but I am looking for general properties of [finitely generated free]-by-[infinite cyclic] groups. More precisely, what are some properties that the groups ...
176 views

### Non-trivial action of $SL_n(\mathbb{Z} )$ on a simplicial tree

A group $G$ has Serre's property $FA$ if any isometric action of $G$ on a simplicial tree has a global fixed point. Let $n\geq 3$. It is well-known that $SL_n(\mathbb{Z} )$ has property $FA$. Now my ...
115 views

### How to judge a manifold generated by Coxeter system smooth?

For the definition of Coxeter System, you can see: http://en.wikipedia.org/wiki/Coxeter_group Given a chamber Q, given a Coxeter System $(\Gamma,V)$, we can defined a set M by the following way: ...
514 views

### Judging whether a finitely presented group is a 3-manifold group?

Given a finitely presented group $G$, how many necessary conditions do people know for $G$ to be isomorphic to the fundamental group of some closed connected 3-manifold? (e.g. residually finite)
285 views

### Algorithm to test for discrete or quasi-Fuchsian subgroups of PSL(2,C)

Let $\Gamma = \pi_1(S)$ denote the fundamental group of a compact surface $S$ of genus $g>1$. Given a representation $\rho : \Gamma \to \mathrm{PSL}(2,\mathbb{C})$, specified by matrix ...
234 views

### Combination theorems for discrete subgroups of isometry groups

Maskit's combination theorem says: if $M=M_1\cup_\Sigma M_2$ is a union of hyperbolic 3-manifolds $M_1=\Gamma_1\backslash H^3, M_2=\Gamma_2\backslash H^3$ along a surface $\Sigma$, and if the limit ...
321 views

### Right Angled Artin Group Reference request

The following should be true: every normal subgroup of a non-Abelian Right Angled Artin Group should contain a free group on two generators. Is there a standard reference one can cite for this?
347 views

### Are there a surface group and its two isomorphic subgroups which cannot be transferred to each other under any automorphism of the mother group? [closed]

My question is: Are there $G$, which is a fundamental group of a surface or a 2-orbifal, and its two finite index subgroups $H_1$, $H_2$ satisfying the following condition: $H_1$ is isomorphic to ...
603 views

### The image of the point-pushing group in the hyperelliptic representation of the braid group

Let $B_{2g+1}$ be the Artin braid group on $2g+1$ strands. There is a symplectic representation $\rho: B_{2g+1} \rightarrow Sp_{2g}(\mathbf{Z})$ called the "hyperelliptic representation," which ...
355 views

### Groups with finitely generated center

Does every group with a finite classifying space have finitely generated center? Remarks: If $G$ is a finitely generated group with infinitely generated center $Z(G)$, then the quotient $G/Z(G)$ ...
Let $C$ be the compact cylinder $S^1\times [0,1]$. A 3-manifold $M$ with incompressible boundary is called acylindrical if every map $(C,\partial C)\to (M,\partial M)$ that sends the components of ...