Dismiss Notice
Join Physics Forums Today!
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.

  1. Jul 28, 2011 #1
    Hi, Again:

    I am a bit confused about this result:

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


    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?

  2. jcsd
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Can you offer guidance or do you also need help?