All Questions
61 questions
5
votes
0
answers
249
views
Aspherical space whose fundamental group is subgroup of the Euclidean isometry group
Let $M$ be a smooth, compact manifold without a boundary, with its universal covering $\tilde{M} = \mathbb{R}^n$. If there exists an injective homomorphism $h: \pi_1(M) \rightarrow O(k) \ltimes \...
- 661
3
votes
0
answers
115
views
Finite homology of a homogeneous space
Let $\Gamma$ be a cocompact lattice in $\operatorname{SL}(2,\mathbb R)$ and $X=\operatorname{SL}(2,\mathbb R)/\Gamma$ be the underlying homogeneous space. Can the homology group $H_1(X,\mathbb Z)$ be ...
1
vote
1
answer
279
views
Ways to prove that $n$-component Brunnian link is nontrivial
The attached image shows a way to construct an $n$-component Brunnian link for any $n\geq 3$. That is, this link is not trivial, but deleting any of its components makes the new link trivial. The ...
- 214
11
votes
0
answers
220
views
On an Artin (?) subgroup of braid groups
While working on something apparently unrelated I encountered a "braid-like" group, which is a relatively geometric subgroup of a braid group and seems to be itself an Artin group. It seems ...
- 42.4k
1
vote
1
answer
249
views
Name for extension of the symplectic group
Let $S_g$ denote an ortientable surface of genus $g$. Let $\operatorname{Diff}(S_g)$ denote the group of diffeomorphism (that need not fix the orientation). Is there a name for the image of $\...
- 965
1
vote
2
answers
334
views
Examples of finite polyhedra with finitely generated simple fundamental group
For $n\geq 2$, $P\mathbb{R}^n$ is a simple example of finite polyhedron with finitely generated simple fundamental group. I was wondering if someone could give me an example of a finite polyhedron ...
- 1,182
0
votes
0
answers
194
views
Equivariant cohomology with discrete group action
As far as I know, the equivariant cohomology can be regarded as the generalisation of de Rham cohomology with group action on manifolds. From the literature, the group action is Lie group type. I am ...
3
votes
0
answers
158
views
What is the meaning of local inertia conjugation property?
In Hatcher, Allen; Lochak, Pierre; Schneps, Leila, On the Teichmüller tower of mapping class groups, J. Reine Angew. Math. 521, 1-24 (2000). ZBL0953.20030., we have:
Abstract. Let $\widehat{G T}^{1}$ ...
- 119
18
votes
0
answers
1k
views
What is the strongest nerve lemma?
The most basic nerve lemma can be found as Corollary 4G.3 in Hatcher's Algebraic Topology:
If $\mathcal U$ is an open cover of a paracompact space $X$ such that every nonempty intersection of ...
- 81
3
votes
0
answers
282
views
Commutator length of the fundamental group of some grope
A popular way to describe a grope as the direct limit $L$ of a nested sequence of compact 2-dimensional polyhedra
$L_0 \to L_1 \to L_2 \to \cdots$
obtained as follows. Take $L_0$ as some $S_g$, an ...
- 2,083
8
votes
1
answer
387
views
Outer automorphism group of Brieskorn homology sphere?
In this post, it is discussed how a Brieskorn homology sphere $\Sigma(a_1,a_2,a_3)$ with $\displaystyle \frac{1}{a_1}+ \frac{1}{a_2}+ \frac{1}{a_3} < 1$ is an aspherical manifold with a ...
- 309
7
votes
1
answer
288
views
A finitely presented group whose rational cohomology is not nilpotent
Does there exist a finitely presented (preferably $\text{FP}_{\infty}$) group $\Gamma$ and an element $\alpha \in \text{H}^{\ast>0}(B\Gamma;\mathbf{Q})$ that is not nilpotent?
If non-discrete ...
- 11.9k
16
votes
1
answer
505
views
How many cells needed to build the classifying space $BG$?
Let $G$ be a finitely presented group of cohomological dimension $n$.
Apart from the unresolved ambiguity pertaining to the Eilenberg--Ganea conjecture, it is known that we can find an $n$-dimensional ...
- 11.9k
6
votes
1
answer
658
views
Generalized Birman exact sequence for surfaces with boundaries
Let $S_g^n$ be a surface of genus g with n boundaries and let $Mod(S_g^n)$ be its mapping class group.
We will also denote by $S_{g,m}^n$ a surface of genus g with n boundaries and m punctures.
The ...
5
votes
1
answer
336
views
"Simplicial complex" product of groups?
Let $X=(V,E)$ be a graph, and to each vertex $v \in V$, associate a group $G_v$. The graph product of the groups $G_v$ (as defined e.g. here) is $F/R$; the quotient of the free product of the $G_v$ by ...
- 208
14
votes
2
answers
788
views
Restriction of a branched cover to its branch locus
Assume that we have a smooth, compact, complex surface $X$, and a smooth and irreducible divisor $B \subset X$. Let $G$ be a finite group. For every group epimorphism $$\varphi \colon \pi_1(X-B) \to G,...
- 66.3k
13
votes
1
answer
289
views
Powers of the Euler class, torsion free subgroup of Homeo($S^1$)
For any subgroup $G$ of $\text{Homeo}(S^1)$, we have the Euler class $\chi$ in the group cohomology $H^2(G;\mathbb{Z})$. One can think of this class as the pullback of the generator of $H^2(\mathrm{B}\...
- 1,003
14
votes
2
answers
906
views
Acyclic group and finite CW-complex
Is there a nontrivial example of an acyclic group $G$ such that its corresponding Eilenberg space $K(G,1)$ is homotopy equivalent to a finite CW-complex ?
- 717
35
votes
3
answers
1k
views
Second Betti number of lattices in $\mathrm{SL}_3(\mathbf{R})$
We fix $G=\mathrm{SL}_3(\mathbf{R})$.
Let $\Gamma$ be a torsion-free cocompact lattice in $G$. Is $b_2(\Gamma)=0$?
Here the second Betti number $b_2(\Gamma)$ is both the dimension of the ...
- 63.9k
17
votes
1
answer
683
views
Relationship between Smith's special homology groups and equivariant homology theory
EDIT: Tyler Lawson's answer was so nice that I was inspired to rewrite the notes discussed below to use Bredon homology in the definition of the Smith special homology groups. The original version is ...
- 44.8k
9
votes
1
answer
308
views
Projective resolutions of finite-dimensional representations of infinite groups
Let $G$ be a group and let $V$ be a finite-dimensional complex representation of $G$. Question: Under what circumstances can I find a projective resolution
$$ \cdots \longrightarrow P_3 \...
- 91
6
votes
1
answer
237
views
Example similar to the Griffiths twin cone but with fundamental group that allows surjection onto $\mathbb Z$
The Griffiths twin cone is an example of a wedge sum of two contractible spaces being non-contractible. Namely, it is the wedge sum $\mathbb G=C\mathbb H\vee_p C\mathbb H$ of two coni over the ...
6
votes
2
answers
331
views
Epimorphisms from the genus $2$ surface braid group to finite groups
This question is somehow related to my previous MO question Explicit description of a subgroup of the braid group $\mathsf{B}_2(C_2)$; for the reader convenience, let me write down again the relevant ...
- 66.3k
2
votes
2
answers
151
views
How to prove that $\phi: \;\mathrm Mod(S_g)\to \mathrm Sp(2g, \mathbb{Z})$ is an epimorphism? [duplicate]
How do I prove that homomorphism $\phi : \; \mathrm{Mod}(S_g)\to \mathrm{Sp}(2g, \mathbb{Z})$ (induced by the action of mapping class group of a surface on integer homologies of a surface) is an ...
11
votes
1
answer
167
views
A group of type F that is an extension of type F-by-type F
Let us first recall that a group of type $F$ is a group admitting a compact classifying space.
Let $K$ and $Q$ be groups of type $F$. Consider the family $\mathcal{G}(K, Q)$ consisting of groups $G$ ...
- 489
10
votes
1
answer
1k
views
Acyclic Finite Groups
A group is called acyclic if its classifying space has the same homology of a point. Examples of acyclic groups include Higman's group with four generators and relations, also ...
- 2,630
22
votes
1
answer
719
views
What is the cohomological dimension of the commutator subgroup of the pure braid group?
I'm interested in computing the cohomological dimension of the commutator subgroup $[P_n,P_n]$ of the pure braid group $P_n$. I wasn't able to find a reference in the literature.
Because $[P_n,P_n]$ ...
21
votes
2
answers
622
views
Morphism from a surface group to a symmetric group, lifted to the braid group
Let $\Sigma_g$ be the fundamental group of the closed orientable surface of genus $g\ge 2$; let $B_n$ be the braid group on $n\ge 3$ braids; let $S_n$ be the symmetric group on $n$ letters; let $p:B_n\...
- 2,479
5
votes
2
answers
252
views
Monoid of continuous self-maps of (real) surfaces
Let $S$ be a closed surface of genus $g > 0$ and $[S,S] = Hom(\pi_{1}(S),\pi_{1}(S))$ be the monoid of (homotopy classes of) continuous maps from $S$ to itself. Consider the semi-group $A$ of ...
- 6,995
14
votes
3
answers
683
views
Compact manifolds with big mapping class group
I was wondering if compact surfaces were the only compact manifolds with a "big" or "complicated" mapping class group.
Are there higher dimensional manifolds (which are not in some way reducible to ...
- 2,696
11
votes
2
answers
475
views
What is a finite Haken cover of the Seifert–Weber space?
It's known that the Seifert–Weber space (obtained from a dodecahedron by gluing opposite faces with a 3/10 turn) is an example of a non-Haken 3-manifold. Since every closed 3-manifold is virtually ...
- 113
3
votes
1
answer
267
views
In what sense is every element of $H_2(G)$ "represented by a free action on some surface"
(This is a cross-post of this unanswered math.stackexchange question)
In Edmond's 1982 paper Surface Symmetry II, at the bottom of page 145, he writes:
"Corollary - If $G$ is a split nonabelian ...
- 7,527
9
votes
0
answers
376
views
Explicit description of a subgroup of the braid group $\mathsf{B}_2(C_2)$
This is related to my previous MathOverflow question Fundamental group of $\mathrm{Sym}^2(C_g)$ minus the diagonal.
Let $C_2$ be a smooth curve of genus $2$ and $X:=\mathrm{Sym}^2(C_2)$ its second ...
- 66.3k
6
votes
1
answer
456
views
Restrictions on $\pi_1(X)$ of geometric origin (Kähler groups as example)
There's and old and extensively studied question about characterisation of fundamental groups of smooth compact Kähler manifolds. Restrictions imposed by Kählerness are somewhat fragile, and if we ...
- 4,600
3
votes
1
answer
432
views
Relation between conjugacy class, quotient isomorphism class, and signature of Fuchsian groups
Let $\Gamma\le SL(2,\mathbb{Z})$ be a finite index subgroup, not necessarily "congruence".
Let $c_4,c_6$ be the number of conjugacy classes of elements of order 4 and 6 respectively, let $c_{-1}$ be ...
- 7,527
3
votes
0
answers
257
views
Braids with an infinite number of strings
Has anyone developed a theory for braids with an infinite number of strings?
- 1,181
5
votes
1
answer
207
views
homological 2 dimensional groups
In a Commentarii Mathematici Helvetici paper by Benno Eckman and Heinz Müller in 1980 (volume 50, pages 510-520) proved that poincaré Duality Groups of dimension 2 with positive first ...
- 2,630
5
votes
1
answer
314
views
abelian and nonabelian parts of Aut($\widehat{F_2}$)
Let $F$ be the free profinite group on two generators. Let $\text{IA}(F) := \ker\left(\text{Aut}(F)\rightarrow GL_2(\widehat{\mathbb{Z}})\right)$, the group of "IA automorphisms" of $F$. (I'm also ...
- 10.7k
13
votes
1
answer
552
views
Realizing symmetric groups by diffeomorphisms
Let $M$ be a (closed, smooth) manifold of dimension $d$. For $n$ a positive integer, fix $n$ points $x_1, \dots, x_n \in M$. The group of diffeomorphisms of $M$ that permutes the points $x_i$ surjects ...
- 11.9k
10
votes
1
answer
536
views
Inducing up the group homomorphism between mapping class groups
There are many ways to embed the braid group into the mapping class group of a surface. To describe one of them, let ${C}_{2g+2}(\mathbb{D}^2)$ be the configuration of unordered $2g+2$ points in the ...
- 1,003
5
votes
2
answers
573
views
Are homotopy braid groups residually nilpotent?
A group is called residually nilpotent if given any non-identity element, there is a normal subgroup not containing that element, such that the quotient group is nilpotent. It is known that pure braid ...
- 1,108
8
votes
1
answer
382
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 ...
- 2,283
5
votes
1
answer
629
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 ...
- 2,390
6
votes
0
answers
484
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 ...
15
votes
2
answers
968
views
Semidirect product decomposition of the Borromean rings group
Let $X=S^3\setminus B$ be the link complement of the Borromean rings.
(source)
Then $G=\pi_1(X)$ has a presentation of the form
$$
G = \langle \; a,b,c \mid [a,[b^{-1},c]],\; ...
- 35.9k
11
votes
1
answer
810
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 < ...
- 2,830
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 ...
- 539
1
vote
1
answer
177
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$?
- 35.9k
9
votes
3
answers
735
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)
22
votes
2
answers
1k
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 ...
- 19.2k