Hi, Again:(adsbygoogle = window.adsbygoogle || []).push({});

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.

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Quotients of Mapping Class Group Iso. to Symplectic Group.

Can you offer guidance or do you also need help?

**Physics Forums | Science Articles, Homework Help, Discussion**