1
vote
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
1answer
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
2answers
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
1answer
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
1answer
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
0answers
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
4answers
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
1answer
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
3answers
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
2answers
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
2answers
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
3answers
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
1answer
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
2answers
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
1answer
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
1answer
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
4answers
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
1answer
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
2answers
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
1answer
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
0answers
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
5answers
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
1answer
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
1answer
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
2answers
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
2answers
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
3answers
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
2answers
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
3answers
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
0answers
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
1answer
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
1answer
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
1answer
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
2answers
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
3answers
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
1answer
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
1answer
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 ...