3
$\begingroup$

Hi, I apologize for the basic questions. I am looking for good references on the following problems:

1) What is known about the Dehn function of $SL_n(\mathbb{Z})$?

2) What is known about the Dehn function of mapping class groups?

Thanks!!

$\endgroup$
4
  • $\begingroup$ is like a generalization of a Dehn twist in the 2-torus? $\endgroup$
    – janmarqz
    Dec 8, 2009 at 19:04
  • 2
    $\begingroup$ No, it is a measure of how hard it is to "fill discs" in the group. See Martin Bridson's beautiful survey "The geometry of the word problem" for a discussion of this. $\endgroup$ Dec 8, 2009 at 19:49
  • 2
    $\begingroup$ It might be useful to change to title so that it mentions the special linear group and dthe mapping class group. $\endgroup$ Dec 8, 2009 at 20:04
  • $\begingroup$ As motivation for people reading this, the "Dehn function" for a group is also often called the "isoperimetric function" for the group. $\endgroup$ Dec 9, 2009 at 2:05

1 Answer 1

8
$\begingroup$

1) For $SL_n(\mathbb{Z})$, it depends on the dimension.

a. For $n=2$, the group is virtually free, so the Dehn function is linear.

b. For $n=3$, a theorem of Thurston-Epstein says that it is exponential (this can be found in the book "Word Processing in Groups").

c. For $n>3$, Thurston conjectured that it should be quadratic. This was recently proven for $n>4$ by Robert Young. He hasn't yet written up the proof, but he has a preprint here proving that it is at most quartic.

2) For the mapping class group, Lee Mosher proved that it is automatic (see his paper "Mapping class groups are automatic" in the Annals in 1995; a survey of the proof can be found in his beautiful paper "A user's guide to the mapping class group: once-punctured surfaces"). As shown in "Word processing in groups", this implies that its Dehn function is quadratic.

$\endgroup$
1

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.