4
$\begingroup$

After studying the first section, especially the section 1.3 (covering spaces) in Hatcher's book, it is obvious that many classical topics in group theory, especially in infinite group theory, have nice geometric interpretation, I can not help asking the following question:

Question 1: Are there any results in group theory that are much easier to be obtained by geometric, or topolocial tools that by purely algebraic tools?

Of course, the first typical example comes to mind is that any subgroup of a free group is free. Are there any other examples?

Since it is a common idea in group alegbras that we compare properties of groups with the algebra it generated, and we know that free group $F_2=Z*Z$ has a nice geometric interpretation by considering its cayley graph, I would like to ask the following question,

Question 2: Denote $L(F_2)$ to be the von-Neumann algebra associated to the free group generated by two elements, is there any geometric interpertation for this algebra?

Of course, another motivation to ask the 2nd question is that we have already many known candidate invariants associated to these free group factors, such as the free dimension in free probability, the number of generators etc, but in my opinion, most of them are more of less algebraic or analytic in natural.

  • 0
    Indeed.${}{}{}$2012-11-15

1 Answers 1

1

Here are two other examples how topology can be used to obtain results in group theory.

Let $G$ be a torsionfree group. Then it is a classical conjecture that the Whitehead group $Wh(G)$ vanishes. This Whitehead group is a quotient of the first algebraic K-theory group of $\mathbb{Z}G$ and thus a priori purely algebraically defined.

Now by the famous s-cobordism states that if $G = \pi_1(X)$ is the fundamental group of some manifold $X$ then there is a canonical bijection

$ Wh(G) \cong \{ \text{h-cobordisms from X to some other manifold Y} \}/diffeomorphism $

and indeed some proofs that $Wh(G)=0$ are obtained by studying the right hand side, and geometrically showing that there are only trivial h-cobordisms.

As a second example, again let $G$ be a torsionfree group. Then it is conjectured that the complex group ring $\mathbb{C}G$ has no nontrivial idempotent elements, i.e., only $0$ and $1$ are such idempotents.

This conjecture for example follows from either the Farrell-Jones Conjecture or the Baum-Connes Conjecture. These conjectures are about algebraic $K$ and $L$ theory and topological $K$-theory for certain group algebras and have been proved for a large class of groups. A nice survey about these conjectures can be found on Prof. Wolfgang Luecks homepage, just google his name. Moreover I do think that these conjectures are of topological nature, (they are related to surgery theory and index theory).

As far as I know proving either one of these conjectures for the group $G$ is one of the main ways to get to the idempotent conjecture, which a priori does not have anything todo with topology.