Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 1463

Homotopy theory, homological algebra, algebraic treatments of manifolds.

39 votes

finite generated group realized as fundamental group of manifolds

Theorem. Every finitely presentable group is the fundamental group of a closed 4-manifold. Sketch proof. Let $\langle a_1,\ldots,a_m\mid r_1,\ldots, r_n\rangle$ be a presentation. By van Kampen, th …
HJRW's user avatar
  • 25.2k
27 votes
Accepted

Does injectivity of $\pi_1(\partial U) \to \pi_1(M)$ imply injectivity of $\pi_1(U) \to \pi_...

The answer is 'yes' by Britton's lemma (see wikipedia and, more generally, Serre's book Trees and Scott and Wall's article 'Topological methods in group theory'). Since $M$ and $U$ are smooth and c …
HJRW's user avatar
  • 25.2k
21 votes

Fundamental groups of closed hyperbolic 3-manifolds are freely indecomposable

One can also see it using the theory of ends. If $\pi_1M$ were freely decomposable, then it would follow from the easy direction of Stallings' Ends Theorem that $\pi_1M$ had two or infinitely many en …
HJRW's user avatar
  • 25.2k
19 votes

Acyclic group and finite CW-complex

I presume by "acyclic" you are referring to homology with $\mathbb{Z}$ coefficients. There are many such examples. For instance, you can take two elements $u,v$ in the free group $F_2$ of rank 2 tha …
HJRW's user avatar
  • 25.2k
15 votes
Accepted

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

Apologies for the shameless self-promotion, but as you ask for necessary conditions, you seem to want a list of theorems of the form 'If G is a 3-manifold group then G has property P'. Aschenbrenner, …
13 votes
Accepted

HNN extensions which are free products

This might help. Lemma If $A$ does not split freely and $C$ is a non-trivial subgroup of $A$ then the HNN extension $G=A*_C$ does not split freely. The proof uses Bass--Serre theory---see Serre's bo …
HJRW's user avatar
  • 25.2k
11 votes

What part of the fundamental group is captured by the second homology group?

For a group $G$, $H_2(G,\mathbb{Z})$ is also called the Schur multiplier of $G$. Among other things, if $G$ is perfect (ie $H_1=0$) then it is a term in the universal central extension $\widehat{G}$f …
HJRW's user avatar
  • 25.2k
11 votes

Recognizing the 4-sphere and the Adjan--Rabin theorem

A presentation with the same number of generators and relations is called balanced. The triviality problem for balanced presentations (indeed, the word problem for balanced presentations) is a major …
HJRW's user avatar
  • 25.2k
11 votes

Fundamental groups of surfaces

This question is very vague, but here are some thoughts to add to Mark's answer. First, note that any finitely presented group arises as the fundamental group of a closed manifold of dimension 4 (see …
HJRW's user avatar
  • 25.2k
10 votes
Accepted

finite complex with non-finitely generated homology with local coefficients

As Ricardo points out in the comments, there's an error in my sketched calculation below. I also didn't notice the requirement that $X$ should be finite, so the natural $BK$ fails on two counts! How …
HJRW's user avatar
  • 25.2k
10 votes

Residually finite + torsion free + finite index = finite complex?

Here's a result that gives some idea of how hard it is to characterise linear (let alone residually finite) groups of type $F$ (ie with a $K(G,1)$ that's a finite complex). Theorem: There is a sequen …
HJRW's user avatar
  • 25.2k
10 votes

A strong form of Mostow rigidity without geometrization?

Gabai proved that homotopy hyperbolic 3-manifolds are virtually hyperbolic, in the paper of that name: Gabai, David, Homotopy hyperbolic 3-manifolds are virtually hyperbolic. J. Amer. Math. Soc. 7 (1 …
HJRW's user avatar
  • 25.2k
10 votes

Fundamental group of a generalized connected sum

This basic question is unfortunately not well explained anywhere in the literature that I know of, although the answer is well known to lots of people. When $\pi_1(S)$ embeds into $\pi_1(M)$ and $\pi_ …
HJRW's user avatar
  • 25.2k
9 votes
Accepted

Are virtual cubulated groups cubulated?

The answer is 'yes' when your group $G$ is word-hyperbolic. This can be deduced from Sageev's theorem. I'll explain this here, but a good reference is Hruska--Wise's paper 'Finiteness properties of …
HJRW's user avatar
  • 25.2k
8 votes

Compact manifolds with big mapping class group

There are situations in which surfaces are the "unique" examples with big mapping class groups. One such is closed manifolds of negative sectional curvature. Theorem (Paulin): If $M$ is a closed $n$- …
HJRW's user avatar
  • 25.2k

15 30 50 per page