Quotients of Mapping Class Group Iso. to Symplectic Group.

  • Thread starter Bacle
  • Start date
  • #1
662
1
Hi, Again:

I am a bit confused about this result:

Mg/Mg^(2) ~ Sp(2g,Z) (group iso.)

Where:

i) Mg is the mapping class group of the genus-g surface, i.e., the collection of diffeomorphisms: f:Sg-->Sg , up to isotopy.

ii)Mg^(2) is the subgroup
of Mg of maps that induce the identity in H_1(Sg,Z/2), and

iii)Sp(2g,Z) is the symplectic
group associated with the intersection form over Z, i.e., we consider the pair (Z-module,
Symplectic form) given by: (H_1(Sg,Z), (a,b)_2), where (a,b)_2 is the intersection form
in in H_1(Sg,Z/2), so that Sp(2g,Z) is the subgroup of Gl( H_1(Sg,Z)) that preserves
(, )_2.

For one thing, the mapping class group is in a different "category" (used in the informal
sense) than Sp(2g,Z) ; Mg and Mg^2 are maps f,g :Sg-->Sg , and h in Sp(2g,Z) is a linear
map m: H_1(Sg,Z)-->H_1(Sg,Z) (with (x,y)_2 =(m(x),m(y))_2.

I understand being in different categories does not make an iso. impossible, but I
don't see what the isomorphism would be.

I don't know if these are Lie group isos. or just standard group isos. Any ideas?

Thanks.
 

Answers and Replies

Related Threads on Quotients of Mapping Class Group Iso. to Symplectic Group.

  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
3
Views
4K
Replies
5
Views
2K
Replies
1
Views
2K
Replies
2
Views
2K
Replies
3
Views
2K
  • Last Post
Replies
3
Views
3K
Replies
8
Views
3K
  • Last Post
Replies
3
Views
943
Replies
2
Views
3K
Top