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

This tag is used if a reference is needed in a paper or textbook on a specific result.

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
24 votes
Accepted

Modern references on hyperbolic groups

I think this is a great question, as there is still a need for an authoritative reference about (word-)hyperbolic groups. Since the textbook doesn't exist, I'd like to take the question in a slightly …
HJRW's user avatar
  • 25.2k
19 votes
0 answers
570 views

The oriented homeomorphism problem for Haken 3-manifolds

Haken famously described an algorithm to solve the homeomorphism problem for the 3-manifolds that bear his name (fleshed out by many others, including Hemion and Matveev who fixed some gaps). But it' …
HJRW's user avatar
  • 25.2k
18 votes

Examples of locally hyperbolic groups

Many examples can be exhibited using a theorem of Gersten: Theorem (Gersten): Let $G$ be a hyperbolic group of cohomological dimension 2. Every finitely presented subgroup $H$ of $G$ is hyperbolic. Th …
HJRW's user avatar
  • 25.2k
15 votes
2 answers
863 views

A space of ideals

Definition: Let $R$ be a commutative ring with 1. Endow the power set $2^R$ with the product topology. The ideal space $\mathcal{I}(R)$ is defined to be subset of $2^R$ consisting of ideals, equippe …
HJRW's user avatar
  • 25.2k
12 votes
Accepted

A hyperbolic group with a small profinite completion

It's a famous open question whether every word-hyperbolic group is residually finite. Kapovich--Wise showed that this is equivalent to asking whether every non-trivial word-hyperbolic group has non-t …
HJRW's user avatar
  • 25.2k
12 votes

Relative/acylindrical hyperbolicity of free-by-cyclic groups

This was proved by Jack Button and Robert Kropholler: arXiv link, see p.27. (Added: But there's a caveat; see the second update below.) J.O. Button, R. Kropholler Nonhyperbolic free-by-cyclic and on …
HJRW's user avatar
  • 25.2k
11 votes
1 answer
616 views

Analogues of the curve complex for Out(F)

Let $F$ be a finitely generated free group. Question: Is there an authoritative survey of analogues of the curve complex for $\mathrm{Out}(F)$? If not, as seems likely, would a passing expert be …
HJRW's user avatar
  • 25.2k
11 votes

Torsion-free virtually free-by-cyclic groups

Many more examples, including ones where the free kernel is finitely generated, arise by looking at knot complements. Let $K$ be any non-trivial knot with Alexander polynomial $\Delta_K(t)=1$, (appare …
HJRW's user avatar
  • 25.2k
11 votes
4 answers
1k views

Examples of acylindrical 3-manifolds

Let $C$ be the compact cylinder $S^1\times [0,1]$. A 3-manifold $M$ with incompressible boundary is called acylindrical if every map $(C,\partial C)\to (M,\partial M)$ that sends the components of $\ …
HJRW's user avatar
  • 25.2k
9 votes

Kazhdan's property (T) vs. residual finiteness

Perhaps it's worth mentioning that Property (T) seems to repel certain strengthenings of residual finiteness. An open question of Long and Reid asks: Is there an infinite finitely generated group …
HJRW's user avatar
  • 25.2k
8 votes
Accepted

For which planar topological spaces $Z$ does there exist a hyperbolic group $\Gamma$ with $\...

There are many further examples with local cut points, which can be obtained by amalgams over $\mathbb{Z}$, as @YCor suggests in his comment. Perhaps the easiest example is obtained by gluing three on …
HJRW's user avatar
  • 25.2k
8 votes

The free group $F_2$ has index 12 in SL(2,$\mathbb{Z}$)

I'm late to the party, but here's how I think about this fact. The approach I will present is perhaps slightly higher tech than some, but has the advantage that it's a completely general way of comput …
HJRW's user avatar
  • 25.2k
7 votes
Accepted

Passing to normal forms in graphs of groups

In comments, the OP indicates that what they really want is a uniqueness result for reduced words in arbitrary graphs of groups. (Indeed, what the question actually asks for, that any word can be tran …
HJRW's user avatar
  • 25.2k
6 votes

What are some good group theory references?

For infinite discrete groups: Lyndon & Schupp is authoritative for classical, combinatorial methods. Bridson & Haefliger has a lot of material for more geometric classes, like hyperbolic and CAT(0) …

15 30 50 per page