4
votes
1answer
112 views

A Karrass-Solitar theorem for surface groups

Let $\Gamma_g$ be a surface group of genus $g \geq 2$. That is, there is a presentation $$\Gamma_g = \langle x_1, y_1, \dots, x_g, y_g \vert \prod_{i = 1}^{g}[x_i,y_i] = 1\rangle$$ Is there a ...
5
votes
1answer
150 views

Bases of surface groups

Let $\Gamma_g$ be a surface group of genus $g \geq 2$. A $2g$-tuple $(x_1,y_1, \dots,x_g,y_g) \in \Gamma_g^{2g}$ will be called a Surface Basis if we have the presentation $$\Gamma_g = \langle x_1, ...
10
votes
2answers
472 views

(co)homology of symmetric groups

Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...
8
votes
1answer
209 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 ...
10
votes
1answer
155 views

Torsion-free group that is not of type F but is virtually of type F

Recall that a group $G$ is of type F if there exists a compact $K(G,1)$. There are many examples of groups which are not of type F but which are virtually of type F, that is, they have finite-index ...
2
votes
1answer
474 views

1D TQFT in Freed-Hopkins-Lurie-Teleman

In the first section of Freed-Hopkins-Lurie-Teleman they construct a one-dimensional Topological Quantum Field Theory. $F(\circ_+)$ is a vector space and $F(\circ_-)$ is the dual. $F(\circ-\circ)$ ...
4
votes
0answers
92 views

When does finite presentability of the associated graded Lie algebra of a group imply the group is finitely presented?

Let $G$ be a finitely generated group; let $L(G)$ denote the graded Lie algebra (over $\mathbb{Q}$) associated to the lower central series of $G$. I would like to know conditions for when the finite ...
1
vote
1answer
114 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
124 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
245 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
135 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
245 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
256 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
258 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
150 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
155 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
332 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
180 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 ...
5
votes
2answers
423 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
146 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$?
7
votes
2answers
412 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
177 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
215 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
95 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
506 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
257 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
516 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
426 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
606 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
892 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
210 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
471 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
330 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 ...
5
votes
1answer
144 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
815 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
286 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
235 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
187 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
138 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
792 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
256 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
174 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
579 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
592 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)$ ...
22
votes
3answers
963 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
488 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
963 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
302 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 ...