|Jul28-11, 04:58 PM||#1|
Quotients of Mapping Class Group Iso. to Symplectic Group.
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
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?
|Similar Threads for: Quotients of Mapping Class Group Iso. to Symplectic Group.|
|Relationship Between Symplectic Group and Orthogonal Group||Linear & Abstract Algebra||2|
|Surjection Between Mapping Class Grp. and Symplectic Matrices||Differential Geometry||2|
|Mapping Class Group and Path-Component of Id.||Differential Geometry||5|
|Mapping Class Group of Torus.||Differential Geometry||2|
|Isometry sub-group of the gauge group & the center of structural group||Differential Geometry||0|