Computing the Modular Group of the Torus

  • Thread starter Thread starter electroweak
  • Start date Start date
  • Tags Tags
    Group Torus
Click For Summary
The discussion centers on computing the modular group of the torus, with a focus on the relationship between Dehn twists and automorphisms of isotopy classes. It is established that while GL(2,Z) represents the automorphisms of Z^2, the modular group is actually SL(2,Z) due to the requirement for orientation preservation. Automorphisms of R^2/Z^2 correspond to elements of GL(2,Z), but only those with positive determinants, which leads to the conclusion that the modular group consists of isotopy classes of orientation-preserving automorphisms. The distinction between GL(2,Z) and SL(2,Z) is clarified, noting that GL(2,Z) is referred to as the "extended modular group." Overall, the discussion effectively connects these algebraic structures to the topology of the torus.
electroweak
Messages
43
Reaction score
1
How does one compute the modular group of the torus? I see how Dehn twists generate the modular group, and I see how Dehn twists are really automorphisms of isotopy classes. Based on this, it seems that the modular group should be Aut(pi1(T^2))=Aut(Z^2)=GL(2,Z). But I've read that the modular group is in fact SL(2,Z). How does this work? I may have something to do with orientation-preservation, but I haven't been able to flesh this out. Thanks in advance.
 
Physics news on Phys.org
This really isn't my area, but let me give it a shot.

On the one hand, every element in GL(2,Z)=Aut(Z^2) gives us an automorphism of R^2 that stabilizes Z^2 (here I'm using the standard basis for everything), hence descends to an automorphism of the torus R^2/Z^2. On the other hand, every automorphism of R^2/Z^2 induces an automorphism of pi_1(R^2/Z^2) = Z^2 (this equality is really a specific isomorphism). It seems to me everything here is compatible, and that it shouldn't be too hard to conclude that the isotopy classes of automorphisms (=self-diffeomorphisms?) of R^2/Z^2 lie in one-to-one correspondence with elements of GL(2,Z).

The final observation to make is that an automorphism of R^2/Z^2 preserves the orientation defined by the basis {(1,0), (0,1)} for the lattice iff the corresponding automorphism in GL(2,Z) preserves the orientation in R^2 defined by the basis {(1,0),(0,1)} - i.e., iff the corresponding automorphism in GL(2,Z) has positive determinant <=> has determinant 1 (since everything in GL(2,Z) has determinant +/- 1).

So if by "modular group" you mean group of isotopy classes of orientation-preserving automorphisms, then I believe the above comments show why this group is SL(2,Z).
 
Last edited:
Cool. That makes sense. Actually, I just read that GL(2,Z) is called the "extended modular group".
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
2K
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 3 ·
Replies
3
Views
5K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 26 ·
Replies
26
Views
883
  • · Replies 2 ·
Replies
2
Views
3K