# Tagged Questions

**1**

vote

**1**answer

111 views

### A formula for isotropy group $\pi_1(G_a)$

Let $G$ be a compact Lie group and $T$ be its maximal tours, and $a\in \mathfrak{g}^*$. and $G_a$ be the isotropy group of $G$ then $T\subset G_a$ and we know that $\pi_1(T)=\mathbb{Z}^n$. My ...

**3**

votes

**0**answers

115 views

### Topological interpretation for groups of type $FP_2$

A group $G$ is of type $FP_2$ if it admits a partial projective resolution of $\mathbb{Z}G$-modules $$ P_2 \rightarrow P_1 \rightarrow P_0 \rightarrow \mathbb{Z} \rightarrow 0$$ with each $P_i$ being ...

**11**

votes

**1**answer

234 views

### Group cochains invariant under the action of the symmetric group

Let $G$ be a finite group and $A$ an abelian group. Recall the cochain groups
$$
C^k = \{f: G^k \to A\}
$$
and the coboundary map
$$
\delta : C^k \to C^{k+1}
$$
$$
(\delta f)(g_1, \ldots, g_{k+1}) ...

**5**

votes

**0**answers

132 views

### Nilpotent Localization in Group Theory

Algebraic topologists have invented a very pretty technique of localizing nilpotent groups. (Garth Warner covers the topic in his book manuscript Topics in Topology and Homotopy Theory). For ...

**4**

votes

**1**answer

228 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 ...

**9**

votes

**1**answer

167 views

### Are compact simple groups homotopically non-abelian?

Take a compact connected simple centreless Lie group $G$.
Can the commutator map $G\times G\to G$ sending $(x,y)$ to $[x,y]$ be homotopic to a constant map?
I am interested mostly in the case, ...

**8**

votes

**2**answers

234 views

### Are torus knot groups linear?

The fundamental group $T(p,q)$ of the complement of a $(p,q)$-torus knot (in $S^3$) admits the presentation $\langle a, b \mid a^p=b^q \rangle $. Is $T(p,q)$ linear, i.e., is there a faithful ...

**6**

votes

**0**answers

236 views

### Does a finitely generated aspherical group have an aspherical presentation with a finite generating set?

Let $G$ be a finitely generated group. Suppose $G$ has an aspherical presentation with a countably infinite generating set. Does $G$ have an aspherical presentation with a finite generating set?
Here ...

**11**

votes

**0**answers

141 views

### Fundamental groups of reduced subgroup lattices

Let $G$ be a group. Its subgroup lattice, denoted $\Sigma G$, consists of all subgroups of $G$ partially ordered by inclusion. The topology of this poset is quite trivial, since it always has a ...

**2**

votes

**1**answer

149 views

### A sort of “group-ring” construction on coefficient systems in group homology (+ special case involving GL(n,Z))

Let $G$ be a discrete group and $M$ be an $RG$-module for some ring $R$ (I'm happy to assume that $R = \mathbb{Q}$). Define $R[M]$ to be the set of $R$-linear combinations of formal symbols of the ...

**12**

votes

**2**answers

313 views

### Semidirect product decomposition of the Borromean rings group

Let $X=S^3\setminus B$ be the link complement of the Borromean rings.
Then $G=\pi_1(X)$ has a presentation of the form
$$
G = \langle \; a,b,c \mid [a,[b^{-1},c]],\; [b,[c^{-1},a]], \; ...

**5**

votes

**1**answer

209 views

### What is an interpretation of the relation in the cohomology of the pure braid groups?

In 1968, Arnol'd proved that the integral cohomology of the pure braid group $P_n$ is isomorphic to the exterior algebra generated by the collection of degree-one classes $\omega_{i,j}\ (1 \le i < ...

**3**

votes

**1**answer

169 views

### Is a retract of a group of type F_n again of this type?

It has been asked here, whether a retract of a finitely presented group is again finitely presented, i.e. if $G$ is a finitely presented group and $H$ is a group which fits into a split exact sequence ...

**4**

votes

**2**answers

398 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 ...

**0**

votes

**1**answer

140 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$?

**6**

votes

**2**answers

384 views

### mapping space between classifying spaces

I wanted to ask a summary of known results and references about the homotopy type of the mapping space $\mathrm{Map}(BG,BK)$ (and specially the connected components) between the classifying spaces ...

**7**

votes

**1**answer

173 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)$ ...

**2**

votes

**1**answer

207 views

### Naturality of the transfer in group cohomology

Let $G$ be a (discrete) group and $H\le G$ a subgroup of finite index. Then there is a transfer map
$$tr\colon\thinspace H^\ast(H;M)\to H^\ast(G;M)
$$
in group cohomology, where $M$ is any $G$-module ...

**1**

vote

**0**answers

92 views

### When are graphs of cohomologically complete groups cohomologically complete?

A group $G$ is cohomologically $p$- complete if the canonical map from $G$ to it's pro$-p$ completion $\hat G^p$ induces an isomorphism on cohomology $H^\ast_{cont}(\hat G^p, \mathbb{Z}_p) \rightarrow ...

**11**

votes

**4**answers

493 views

### Computing homotopy groups of X such that pi_1(X) has solvable word problem

The paper
E. H. Brown, Jr., Finite computability of Postnikov complexes, Ann. of Math. (2) 65 (1957), 1-20.
proves that if $X$ is a finite simply-connected simplicial complex, then there is an ...

**6**

votes

**1**answer

241 views

### Localizations of non-nilpotent spaces

For simplicity let's talk about $p$-localizations of spaces for a fixed prime $p$. Every space $X$ has a well-defined $p$-localization which can be constructed by the small object argument and which ...

**6**

votes

**3**answers

501 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)

**6**

votes

**2**answers

425 views

### Why additional constraint is need for this two groups to be isomorphic?

I'm reading AMS's book Papers on Topology, which collects Poincare's papers on topology.
However, the first paper stops me.
In the paper, he considered the group generated by transformations in ...

**20**

votes

**2**answers

563 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 ...

**6**

votes

**3**answers

878 views

### $\pi_1$ Sequence of Topological Groups

Consider a connected topological group $G$ (not necessarily Lie). You have some maps $G\times G\to G$, such as projection to either summand, or multiplication $(g,h)\mapsto gh$. Now let's look at a ...

**2**

votes

**1**answer

205 views

### How many quotients can a finitely generated group have or how many bundles over aspherical spaces does a fixed total space support?

Consider $M^3_{pq}$,
a torus bundle over $S^1$ with fundamental group the HNN extension generated by three generators $x,y,z$ satisfying the relations $\quad [x,y], \quad x^z = x^p \quad$ and $y^z = ...

**6**

votes

**2**answers

461 views

### cohomological dimension of a group acting on a product

I recently came across an interesting result of Kobayashi [Corollary 5.5], a special case of which is the following: Suppose $\Gamma$ is a discrete torsion free subgroup of $SL_n(\mathbb{R})$ which ...

**10**

votes

**1**answer

308 views

### finite complex with non-finitely generated homology with local coefficients

I am looking for an explicit example, if one exists, of a (pointed) finite connected CW-complex $X$ such that some homology group with local coefficients $H_n(X,{\mathbb Z}[\pi_1 X])$ is not a ...

**4**

votes

**1**answer

135 views

### For which rings R is SL_n(R) a virtual duality group

A famous theorem of Borel and Serre says that if $R$ is the ring of integers in an algebraic number field, then $\text{SL}_n(R)$ satisfies virtual Bieri-Eckmann duality. In other words, there exists ...

**2**

votes

**4**answers

737 views

### Commutativity of the fundamental group of any Lie Group [closed]

How do we formally prove that the fundamental group of any Lie group is always commutative?

**4**

votes

**1**answer

269 views

### Transgressions commute with the Steenrod operations on the base and fiber in a central group extension?

The following sentence is quoted from the paper ON THE COHOMOLOGY OF SPLIT EXTENSIONS by D. J. BENSON AND M. FESHBACH:
In general, the differentials in the Lyndon-Hochschild-Serre spectral sequence
...

**6**

votes

**2**answers

230 views

### equivariant cohomology of the complement to the arrangment $\cup_{i\neq j}overrightarrow{x_i} = overrightarrow{x_j}$?

Let $V=\mathbb{R}^d$ be a $d$-dimensional (Euclidian) vector space over real numbers.
Let $G=SO(V)$ be a compact Lie group of linear orthogonal transformations of $V$.
Let $Conf_n(V)$ be the space of ...

**5**

votes

**1**answer

183 views

### Finite index subgroups of the mapping class group with geometric meaning

I have got a question that is perhaps not precise in a mathematical sense.
Is there a classification of all coverings of the moduli space of Riemann surfaces which are moduli spaces themselves, that ...

**1**

vote

**0**answers

134 views

### Twisted homology of free products

Let $G_1$ and $G_2$ be groups and let $M$ be a vector space equipped with actions of $G_1$ and $G_2$. The free product $G_1 \ast G_2$ thus acts on $M$. How can one compute the twisted group homology ...

**11**

votes

**5**answers

733 views

### When are all centralizers in a Lie group connected?

Let $G$ be a compact connected Lie group acting on itself by conjugation,
$$ G\times G\to G,\qquad (\sigma,h)\mapsto \sigma h \sigma^{-1}.$$
The fixed point set of a closed subgroup $H\le G$ equals ...

**1**

vote

**1**answer

250 views

### Discrete subgroups of isometry group of proper metric space

Let $X$ be a proper metric space and consider its isometry group $\mathrm{ISO}(X)$ endowed with the compact-open topology. Let $G$ be a subgroup of $\mathrm{ISO}(X)$.
Consider the following ...

**1**

vote

**1**answer

168 views

### Lefschetz numbers for homomorphisms of free groups

Let $G = F_X$ be the free group on a finite set $X$, and $\phi\colon G\to G$ a group homomorphism. Consider the number
$$ \sum_{x\in X} (\text{number of occurrences of the generator $x$ in the word ...

**9**

votes

**2**answers

572 views

### Cohomological dimension of a homomorphism

Let $G$ and $\Gamma$ be discrete groups, and let $\phi\colon\thinspace G\to \Gamma$ be a homomorphism.
Define its cohomological dimension $\operatorname{cd}\phi$ to be the least integer $d$ such that ...

**12**

votes

**2**answers

575 views

### Are acyclic subcomplexes of finite contractible 2-complexes contractible?

Let $Y$ be a contractible finite simplicial 2-complex.
Let $X$ be an acyclic subcomplex of $Y$ (i.e. $X$ connected, $H_1(X)=0$, $H_2(X)=0$).
Is $X$ contractible? (Equivalently, is $\pi_1(X)$ ...

**21**

votes

**3**answers

880 views

### Geometric Interpretation of the Lower Central Series for the Fundamental Group?

For any group G we can form the lower central series of normal subgroups by taking $G_0 = G$, $G_1 = [G,G]$, $G_{i+1} = [G,G_i]$. We can check this gives a normal chain
$G_0 > G_1 > ... > ...

**7**

votes

**2**answers

476 views

### Is the Euler characteristic of aspherical connected 2-complexes at most 1? (No!) What can be said about subcomplexes of 2-complexes deformation retractible onto graphs.

I have several related questions, i do not know which one is more important to me, i think it would depend on their answers.
Is it true that the Euler characteristic of a finite connected aspherical ...

**15**

votes

**3**answers

945 views

### The second homotopy group of a simple CW-complex

Let $X$ be a CW-complex with
one 0-cell
two 1-cells
three 2-cells
no cells in dimensions 3 or higher.
Is it always true that $\pi_2(X)\ne 1$?

**8**

votes

**0**answers

284 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 ...

**11**

votes

**1**answer

450 views

### Is $SL(n,\mathbb{Z})$ a CAT(0) group?

Is it possible to find a CAT(0) space on which the matrix group $SL(n,\mathbb{Z})$ acts properly discontinuously and cocompactly? Note: when the cocompactness is dropped , it is possible.

**13**

votes

**1**answer

480 views

### Does there exist smooth circle action on manifolds M^{4n} with exactly three fixed points such that n\neq 1

I have a question in mind for some time. That is, does there exist a smooth circle action on a closed manifold $M^{4n}$ ($n\geq 2$) with exactly three fixed points?
Remarks:(1) For n=1, the examples ...

**2**

votes

**1**answer

406 views

### Amenability of Thompson's group looking at a 4-manifold having it as the fundamental group

Just for curiosity I have done a quick web-search and I have seen that some people are studying manifolds with amenable fundamental group. On the other hand, any finitely presented group and then, in ...

**5**

votes

**2**answers

278 views

### Pairs of Permutations up to Simultaneous Conjugation

The conjugacy classes of $S_n$ are the cycle types since if $\tau = (\dots)(\dots)\dots(\dots)$, the conjugation $\tau \mapsto \sigma \tau \sigma^{-1}$ permutes the labels in the cycles of $\tau$.
...

**3**

votes

**3**answers

566 views

### Coverings of a graph of groups

For topological space $X$ (connected, path connected etc.), there is classification of coverings of $X$ : for fixed $x_0\in X$, consider $\pi_1(X,x_0)$. Then there is a $1-1$ correspondance between ...

**4**

votes

**1**answer

314 views

### Is there an algorithm for computing Schur multiplier?

Suppose we are given group $G=\langle a_1,\ldots,a_n \mid R_1=1,\ldots R_m=1 \rangle$. Is there an algorithm which computes a finite presentation for the Schur multiplier, i.e. second homology group ...

**2**

votes

**1**answer

284 views

### Baumslag-Solitar subgroups of Poincare duality groups

Can a Poincaré duality group $G$ contain Baumslag--Solitar subgroups $H$ such as BS(1,3) or BS(2,3)?
I don't mean to include those subgroups which are the fundamental group of the torus or ...