moduli interpretations for noncongruence modular curves
play

Moduli Interpretations for Noncongruence Modular Curves William Y. - PowerPoint PPT Presentation

Moduli Interpretations for Noncongruence Modular Curves William Y. Chen Pennsylvania State University April 6, 2015 William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves Introduction Let H be


  1. The Question Do noncongruence modular curves also have a moduli interpretation? Bad answer: By Belyi’s theorem, every smooth projective irreducible curve defined over Q is a quotient H / Γ , often noncongruence, so every 1-dimensional moduli space is a modular curve, often noncongruence. To get a much nicer answer, we proceed as follows: 1. To every finite group G and elliptic curve E / S , we define the set Hom sur-ext ( ⇡ 1 ( E � / S ) , G ) of Teichmuller structures of level G on E / S . 2. We show that SL 2 ( Z ) acts on Hom sur-ext ( ⇡ 1 ( E � / S ) , G ) , and the associated moduli spaces are H / Γ , where Γ is the stabilizer of some level structure via the SL 2 ( Z ) -action. 3. Γ is congruence if G is abelian. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  2. Reinterpreting the Classical Congruence Level Structures William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  3. Reinterpreting the Classical Congruence Level Structures Congruence level structures from another point of view: { Γ 0 ( N ) -structures on E } ⇠ { cyclic N -isogenies E 0 ! E } William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  4. Reinterpreting the Classical Congruence Level Structures Congruence level structures from another point of view: { Γ 0 ( N ) -structures on E } ⇠ { cyclic N -isogenies E 0 ! E } · · · ⇠ { galois covers of E with galois group isomorphic to Z / N Z } / ⇠ = William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  5. Reinterpreting the Classical Congruence Level Structures Congruence level structures from another point of view: { Γ 0 ( N ) -structures on E } ⇠ { cyclic N -isogenies E 0 ! E } · · · ⇠ { galois covers of E with galois group isomorphic to Z / N Z } / ⇠ = Similarly, we have { Γ 1 ( N ) -structures on E } ⇠ { Connected principal Z / N Z -bundles on E } / ⇠ = William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  6. Reinterpreting the Classical Congruence Level Structures Congruence level structures from another point of view: { Γ 0 ( N ) -structures on E } ⇠ { cyclic N -isogenies E 0 ! E } · · · ⇠ { galois covers of E with galois group isomorphic to Z / N Z } / ⇠ = Similarly, we have { Γ 1 ( N ) -structures on E } ⇠ { Connected principal Z / N Z -bundles on E } / ⇠ = and { Γ ( N ) -structures on E } ⇠ { Connected principal ( Z / N Z ) 2 -bundles on E } / ⇠ = William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  7. Idea: Considering level structures given by nonabelian covers should give rise to noncongruence modular curves. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  8. Idea: Considering level structures given by nonabelian covers should give rise to noncongruence modular curves. = Z 2 is abelian, so there are no nonabelian covers of Problem: ⇡ 1 ( E ) ⇠ elliptic curves. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  9. Idea: Considering level structures given by nonabelian covers should give rise to noncongruence modular curves. = Z 2 is abelian, so there are no nonabelian covers of Problem: ⇡ 1 ( E ) ⇠ elliptic curves. Solution: Allow for ramification at 1 . I.e., consider covers of punctured elliptic curves E � 1 . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  10. Idea: Considering level structures given by nonabelian covers should give rise to noncongruence modular curves. = Z 2 is abelian, so there are no nonabelian covers of Problem: ⇡ 1 ( E ) ⇠ elliptic curves. Solution: Allow for ramification at 1 . I.e., consider covers of punctured elliptic curves E � 1 . Why? Because ⇡ 1 ( E � 1 ) ⇠ = F 2 (free group of rank 2) which has plenty of nonabelian quotients! William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  11. The Relative Fundamental Group (SGA 1) Let f : E ! S be an elliptic curve and E � := E � 1 . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  12. The Relative Fundamental Group (SGA 1) Let f : E ! S be an elliptic curve and E � := E � 1 . Let g : S ! E � be a section. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  13. The Relative Fundamental Group (SGA 1) Let f : E ! S be an elliptic curve and E � := E � 1 . Let g : S ! E � be a section. Let s 2 S be a geometric point, and L the set of primes invertible on S . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  14. j The Relative Fundamental Group (SGA 1) Let f : E ! S be an elliptic curve and E � := E � 1 . Let g : S ! E � be a section. Let s 2 S be a geometric point, and L the set of primes invertible on S . Then we have a split exact sequence f ∗ / ⇡ 1 ( S , s ) � / ⇡ L / ⇡ 0 1 1 ( E � s , g ( s )) 1 ( E � , g ( s )) ! 1 g ∗ William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  15. j The Relative Fundamental Group (SGA 1) Let f : E ! S be an elliptic curve and E � := E � 1 . Let g : S ! E � be a section. Let s 2 S be a geometric point, and L the set of primes invertible on S . Then we have a split exact sequence f ∗ / ⇡ 1 ( S , s ) � / ⇡ L / ⇡ 0 1 1 ( E � s , g ( s )) 1 ( E � , g ( s )) ! 1 g ∗ ⇡ 1 ( S , s ) acting on ⇡ L 1 ( E � s , g ( s )) William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  16. j The Relative Fundamental Group (SGA 1) Let f : E ! S be an elliptic curve and E � := E � 1 . Let g : S ! E � be a section. Let s 2 S be a geometric point, and L the set of primes invertible on S . Then we have a split exact sequence f ∗ / ⇡ 1 ( S , s ) � / ⇡ L / ⇡ 0 1 1 ( E � s , g ( s )) 1 ( E � , g ( s )) ! 1 g ∗ ⇡ 1 ( S , s ) acting on ⇡ L s , g ( s )) a pro-etale group scheme ⇡ L 1 ( E � 1 ( E � / S , g , s ) William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  17. j The Relative Fundamental Group (SGA 1) Let f : E ! S be an elliptic curve and E � := E � 1 . Let g : S ! E � be a section. Let s 2 S be a geometric point, and L the set of primes invertible on S . Then we have a split exact sequence f ∗ / ⇡ 1 ( S , s ) � / ⇡ L / ⇡ 0 1 1 ( E � s , g ( s )) 1 ( E � , g ( s )) ! 1 g ∗ ⇡ 1 ( S , s ) acting on ⇡ L s , g ( s )) a pro-etale group scheme ⇡ L 1 ( E � 1 ( E � / S , g , s ) The construction of ⇡ L 1 ( E � / S , g , s ) is independent of g , s (up to inner automorphisms), and commutes with arbitrary base change. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  18. Teichmuller Level Structures (Deligne/Mumford) Let G be a finite constant group scheme over S of order N . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  19. Teichmuller Level Structures (Deligne/Mumford) Let G be a finite constant group scheme over S of order N . Assume N is invertible on S , and L the set of primes dividing N . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  20. Teichmuller Level Structures (Deligne/Mumford) Let G be a finite constant group scheme over S of order N . Assume N is invertible on S , and L the set of primes dividing N . For any E / S , there is a scheme H om sur-ext ( ⇡ 1 ( E � / S ) , G ) := H om sur S ( ⇡ 1 ( E � / S ) , G ) / Inn ( G ) S finite etale over S whose formation commutes with base change. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  21. Teichmuller Level Structures (Deligne/Mumford) Let G be a finite constant group scheme over S of order N . Assume N is invertible on S , and L the set of primes dividing N . For any E / S , there is a scheme H om sur-ext ( ⇡ 1 ( E � / S ) , G ) := H om sur S ( ⇡ 1 ( E � / S ) , G ) / Inn ( G ) S finite etale over S whose formation commutes with base change. We will call a global section of H om sur-ext ( ⇡ 1 ( E � / S ) , G ) a Teichmuller S structure of level G on E / S . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  22. Teichmuller Level Structures (Deligne/Mumford) Let G be a finite constant group scheme over S of order N . Assume N is invertible on S , and L the set of primes dividing N . For any E / S , there is a scheme H om sur-ext ( ⇡ 1 ( E � / S ) , G ) := H om sur S ( ⇡ 1 ( E � / S ) , G ) / Inn ( G ) S finite etale over S whose formation commutes with base change. We will call a global section of H om sur-ext ( ⇡ 1 ( E � / S ) , G ) a Teichmuller S structure of level G on E / S . If S = Spec k for an algebraically closed field k , then H om sur-ext Hom sur ( F 2 , G ) / Inn ( G ) ( ⇡ 1 ( E � / k ) , G )( k ) ⇠ k William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  23. Teichmuller Level Structures (Deligne/Mumford) Let G be a finite constant group scheme over S of order N . Assume N is invertible on S , and L the set of primes dividing N . For any E / S , there is a scheme H om sur-ext ( ⇡ 1 ( E � / S ) , G ) := H om sur S ( ⇡ 1 ( E � / S ) , G ) / Inn ( G ) S finite etale over S whose formation commutes with base change. We will call a global section of H om sur-ext ( ⇡ 1 ( E � / S ) , G ) a Teichmuller S structure of level G on E / S . If S = Spec k for an algebraically closed field k , then H om sur-ext Hom sur ( F 2 , G ) / Inn ( G ) ( ⇡ 1 ( E � / k ) , G )( k ) ⇠ k In general H om sur-ext Hom sur ( F 2 , G ) / Inn ( G ) ( ⇡ 1 ( E � / S ) , G )( S ) ⇢ S William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  24. Suppose E � / S admits a section g : S ! E � , William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  25. / ✏ ✏ Suppose E � / S admits a section g : S ! E � , then for any covering space X � ! E � , we may consider g ⇤ X � . g ⇤ X � X � g / E � S William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  26. / ✏ ✏ Suppose E � / S admits a section g : S ! E � , then for any covering space X � ! E � , we may consider g ⇤ X � . g ⇤ X � X � g / E � S Theorem There is a canonical bijection H om sur-ext ( ⇡ 1 ( E � / S ) , G )( S ) { Connected principal G -bundles X � / E � ⇠ S s.t. g ⇤ X � is completely decomposed } / ⇠ = William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  27. The Moduli Problem We define the stack (ie., category) M G of elliptic curves equipped with a Teichmuller structure of level G as follows: William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  28. The Moduli Problem We define the stack (ie., category) M G of elliptic curves equipped with a Teichmuller structure of level G as follows: 1. Its objects are “enhanced elliptic curves” ( E / S , ↵ ) , and ↵ is a global section of H om sur-ext ( ⇡ 1 ( E � / S ) , G ) S William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  29. ✏ ✏ The Moduli Problem We define the stack (ie., category) M G of elliptic curves equipped with a Teichmuller structure of level G as follows: 1. Its objects are “enhanced elliptic curves” ( E / S , ↵ ) , and ↵ is a global section of H om sur-ext ( ⇡ 1 ( E � / S ) , G ) S 2. A morphism h : ( E 0 / S 0 , ↵ 0 ) ! ( E / S , ↵ ) is a fiber-product diagram / E E 0 / S S 0 such that h ⇤ ( ↵ ) = ↵ 0 William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  30. “Forgetting” the level structure ↵ yields a morphism (ie., functor) p : M G ! M 1 , 1 , ( E / S , ↵ ) 7! E / S William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  31. “Forgetting” the level structure ↵ yields a morphism (ie., functor) p : M G ! M 1 , 1 , ( E / S , ↵ ) 7! E / S Theorem The “forget level structure” morphism p : M G ! M 1 , 1 is finite etale, and for any E 0 / Q , p � 1 ( E 0 / Q ) = H om sur-ext 0 / Q ) , G )( Q ) ⇠ ( ⇡ 1 ( E � = Hom sur ( F 2 , G ) / Inn ( G ) Q William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  32. “Forgetting” the level structure ↵ yields a morphism (ie., functor) p : M G ! M 1 , 1 , ( E / S , ↵ ) 7! E / S Theorem The “forget level structure” morphism p : M G ! M 1 , 1 is finite etale, and for any E 0 / Q , p � 1 ( E 0 / Q ) = H om sur-ext 0 / Q ) , G )( Q ) ⇠ ( ⇡ 1 ( E � = Hom sur ( F 2 , G ) / Inn ( G ) Q There’s a classical exact sequence 1 � ! Inn ( F 2 ) � ! Aut ( F 2 ) � ! GL 2 ( Z ) � ! 1 so we may think of SL 2 ( Z ) ⇢ Out ( F 2 ) . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  33. “Forgetting” the level structure ↵ yields a morphism (ie., functor) p : M G ! M 1 , 1 , ( E / S , ↵ ) 7! E / S Theorem The “forget level structure” morphism p : M G ! M 1 , 1 is finite etale, and for any E 0 / Q , p � 1 ( E 0 / Q ) = H om sur-ext 0 / Q ) , G )( Q ) ⇠ ( ⇡ 1 ( E � = Hom sur ( F 2 , G ) / Inn ( G ) Q There’s a classical exact sequence 1 � ! Inn ( F 2 ) � ! Aut ( F 2 ) � ! GL 2 ( Z ) � ! 1 so we may think of SL 2 ( Z ) ⇢ Out ( F 2 ) . Theorem = \ The monodromy action of ⇡ 1 (( M 1 , 1 ) Q ) ⇠ SL 2 ( Z ) on p � 1 ( E 0 / Q ) is via outer automorphisms of F 2 . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  34. Main Results From now on, by default, all schemes/stacks will be over Q . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  35. Main Results From now on, by default, all schemes/stacks will be over Q . Let ' : F 2 ⇣ G be a surjective homomorphism, then we may think of [ ' ] 2 p � 1 ( E 0 / Q ) , and let Γ [ ' ] := Stab SL 2 ( Z ) ([ ' ]) . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  36. Main Results From now on, by default, all schemes/stacks will be over Q . Let ' : F 2 ⇣ G be a surjective homomorphism, then we may think of [ ' ] 2 p � 1 ( E 0 / Q ) , and let Γ [ ' ] := Stab SL 2 ( Z ) ([ ' ]) . Theorem 1. The connected components of M G are in bijection with the orbits of SL 2 ( Z ) ⇢ Out ( F 2 ) on p � 1 ( E 0 / Q ) ⇠ = Hom sur ( F 2 , G ) / Inn ( G ) . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  37. Main Results From now on, by default, all schemes/stacks will be over Q . Let ' : F 2 ⇣ G be a surjective homomorphism, then we may think of [ ' ] 2 p � 1 ( E 0 / Q ) , and let Γ [ ' ] := Stab SL 2 ( Z ) ([ ' ]) . Theorem 1. The connected components of M G are in bijection with the orbits of SL 2 ( Z ) ⇢ Out ( F 2 ) on p � 1 ( E 0 / Q ) ⇠ = Hom sur ( F 2 , G ) / Inn ( G ) . 2. The coarse moduli scheme M G of M G is a smooth a ffi ne curve defined over Q (but possibly disconnected). William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  38. Main Results From now on, by default, all schemes/stacks will be over Q . Let ' : F 2 ⇣ G be a surjective homomorphism, then we may think of [ ' ] 2 p � 1 ( E 0 / Q ) , and let Γ [ ' ] := Stab SL 2 ( Z ) ([ ' ]) . Theorem 1. The connected components of M G are in bijection with the orbits of SL 2 ( Z ) ⇢ Out ( F 2 ) on p � 1 ( E 0 / Q ) ⇠ = Hom sur ( F 2 , G ) / Inn ( G ) . 2. The coarse moduli scheme M G of M G is a smooth a ffi ne curve defined over Q (but possibly disconnected). 3. The component of M G containing [ ' ] is the modular curve M [ ' ] := Γ [ ' ] \H . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  39. Main Results From now on, by default, all schemes/stacks will be over Q . Let ' : F 2 ⇣ G be a surjective homomorphism, then we may think of [ ' ] 2 p � 1 ( E 0 / Q ) , and let Γ [ ' ] := Stab SL 2 ( Z ) ([ ' ]) . Theorem 1. The connected components of M G are in bijection with the orbits of SL 2 ( Z ) ⇢ Out ( F 2 ) on p � 1 ( E 0 / Q ) ⇠ = Hom sur ( F 2 , G ) / Inn ( G ) . 2. The coarse moduli scheme M G of M G is a smooth a ffi ne curve defined over Q (but possibly disconnected). 3. The component of M G containing [ ' ] is the modular curve M [ ' ] := Γ [ ' ] \H . 4. M [ ' ] = Γ [ ' ] \H is a fine moduli scheme ( ) Γ [ ' ] is torsion-free. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  40. Main Results From now on, by default, all schemes/stacks will be over Q . Let ' : F 2 ⇣ G be a surjective homomorphism, then we may think of [ ' ] 2 p � 1 ( E 0 / Q ) , and let Γ [ ' ] := Stab SL 2 ( Z ) ([ ' ]) . Theorem 1. The connected components of M G are in bijection with the orbits of SL 2 ( Z ) ⇢ Out ( F 2 ) on p � 1 ( E 0 / Q ) ⇠ = Hom sur ( F 2 , G ) / Inn ( G ) . 2. The coarse moduli scheme M G of M G is a smooth a ffi ne curve defined over Q (but possibly disconnected). 3. The component of M G containing [ ' ] is the modular curve M [ ' ] := Γ [ ' ] \H . 4. M [ ' ] = Γ [ ' ] \H is a fine moduli scheme ( ) Γ [ ' ] is torsion-free. 5. If G is abelian, then Γ [ ' ] is congruence. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  41. Example: G = Z / N Z There is one SL 2 ( Z ) -orbit on Hom sur ( F 2 , Z / N Z ) / Inn ( Z / N Z ) = Hom sur ( Z 2 , Z / N Z ) with representative ' : [ m n ] 7! n mod N William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  42. Example: G = Z / N Z There is one SL 2 ( Z ) -orbit on Hom sur ( F 2 , Z / N Z ) / Inn ( Z / N Z ) = Hom sur ( Z 2 , Z / N Z ) with representative ' : [ m n ] 7! n mod N ⇥ a b ⇤ The stabilizer are the matrices 2 SL 2 ( Z ) such that c d �⇥ a b �⇥ am + bn ⇤ [ m � ⇤� ' n ] = ' = cm + dn ⌘ n mod N cm + dn c d William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  43. Example: G = Z / N Z There is one SL 2 ( Z ) -orbit on Hom sur ( F 2 , Z / N Z ) / Inn ( Z / N Z ) = Hom sur ( Z 2 , Z / N Z ) with representative ' : [ m n ] 7! n mod N ⇥ a b ⇤ The stabilizer are the matrices 2 SL 2 ( Z ) such that c d �⇥ a b �⇥ am + bn ⇤ [ m � ⇤� ' n ] = ' = cm + dn ⌘ n mod N cm + dn c d Of course this forces c ⌘ 0 , d ⌘ 1 mod N , so Γ [ ' ] = Γ 1 ( N ) . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  44. Example: G = Z / N Z There is one SL 2 ( Z ) -orbit on Hom sur ( F 2 , Z / N Z ) / Inn ( Z / N Z ) = Hom sur ( Z 2 , Z / N Z ) with representative ' : [ m n ] 7! n mod N ⇥ a b ⇤ The stabilizer are the matrices 2 SL 2 ( Z ) such that c d �⇥ a b �⇥ am + bn ⇤ [ m � ⇤� ' n ] = ' = cm + dn ⌘ n mod N cm + dn c d Of course this forces c ⌘ 0 , d ⌘ 1 mod N , so Γ [ ' ] = Γ 1 ( N ) . If G = ( Z / N Z ) 2 , then there are � ( N ) SL 2 ( Z ) -orbits on Hom sur ( Z 2 , ( Z / N Z ) 2 ) where each orbit corresponds to a possible determinant, and the stabilizers are all Γ ( N ) . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  45. Example: G = A 5 There are three SL 2 ( Z ) -orbits on Hom sur ( F 2 , A 5 ) / Inn ( A 5 ) , with reps ' 1 : x ( 23 )( 45 ) ' 2 : x ( 23 )( 45 ) ' 3 : x ( 23 )( 45 ) 7! 7! 7! y ( 152 ) y ( 142 ) y ( 14352 ) 7! 7! 7! William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  46. Example: G = A 5 There are three SL 2 ( Z ) -orbits on Hom sur ( F 2 , A 5 ) / Inn ( A 5 ) , with reps ' 1 : x ( 23 )( 45 ) ' 2 : x ( 23 )( 45 ) ' 3 : x ( 23 )( 45 ) 7! 7! 7! y ( 152 ) y ( 142 ) y ( 14352 ) 7! 7! 7! The orbits have sizes | [ ' 1 ] | = | [ ' 2 ] | = 10, and | [ ' 3 ] | = 18. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  47. Example: G = A 5 There are three SL 2 ( Z ) -orbits on Hom sur ( F 2 , A 5 ) / Inn ( A 5 ) , with reps ' 1 : x ( 23 )( 45 ) ' 2 : x ( 23 )( 45 ) ' 3 : x ( 23 )( 45 ) 7! 7! 7! y ( 152 ) y ( 142 ) y ( 14352 ) 7! 7! 7! The orbits have sizes | [ ' 1 ] | = | [ ' 2 ] | = 10, and | [ ' 3 ] | = 18. The stabilizers are Γ [ ' 1 ] = Γ [ ' 2 ] , Γ [ ' 3 ] and have indices 10, 10, 18 in SL 2 ( Z ) and are all noncongruence. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  48. Example: G = A 5 There are three SL 2 ( Z ) -orbits on Hom sur ( F 2 , A 5 ) / Inn ( A 5 ) , with reps ' 1 : x ( 23 )( 45 ) ' 2 : x ( 23 )( 45 ) ' 3 : x ( 23 )( 45 ) 7! 7! 7! y ( 152 ) y ( 142 ) y ( 14352 ) 7! 7! 7! The orbits have sizes | [ ' 1 ] | = | [ ' 2 ] | = 10, and | [ ' 3 ] | = 18. The stabilizers are Γ [ ' 1 ] = Γ [ ' 2 ] , Γ [ ' 3 ] and have indices 10, 10, 18 in SL 2 ( Z ) and are all noncongruence. The coarse moduli scheme of M G is M G = M [ ' 1 ] t M [ ' 2 ] t M [ ' 3 ] and is defined over Q . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  49. Example: G = A 5 There are three SL 2 ( Z ) -orbits on Hom sur ( F 2 , A 5 ) / Inn ( A 5 ) , with reps ' 1 : x ( 23 )( 45 ) ' 2 : x ( 23 )( 45 ) ' 3 : x ( 23 )( 45 ) 7! 7! 7! y ( 152 ) y ( 142 ) y ( 14352 ) 7! 7! 7! The orbits have sizes | [ ' 1 ] | = | [ ' 2 ] | = 10, and | [ ' 3 ] | = 18. The stabilizers are Γ [ ' 1 ] = Γ [ ' 2 ] , Γ [ ' 3 ] and have indices 10, 10, 18 in SL 2 ( Z ) and are all noncongruence. The coarse moduli scheme of M G is M G = M [ ' 1 ] t M [ ' 2 ] t M [ ' 3 ] and is defined over Q . Each M [ ' i ] = H / Γ [ ' i ] . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  50. Example: G = A 5 There are three SL 2 ( Z ) -orbits on Hom sur ( F 2 , A 5 ) / Inn ( A 5 ) , with reps ' 1 : x ( 23 )( 45 ) ' 2 : x ( 23 )( 45 ) ' 3 : x ( 23 )( 45 ) 7! 7! 7! y ( 152 ) y ( 142 ) y ( 14352 ) 7! 7! 7! The orbits have sizes | [ ' 1 ] | = | [ ' 2 ] | = 10, and | [ ' 3 ] | = 18. The stabilizers are Γ [ ' 1 ] = Γ [ ' 2 ] , Γ [ ' 3 ] and have indices 10, 10, 18 in SL 2 ( Z ) and are all noncongruence. The coarse moduli scheme of M G is M G = M [ ' 1 ] t M [ ' 2 ] t M [ ' 3 ] and is defined over Q . Each M [ ' i ] = H / Γ [ ' i ] . M [ ' 3 ] is defined over Q , but M [ ' 1 ] = M [ ' 2 ] are defined over a quadratic extension of Q . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  51. Example: G = A 5 There are three SL 2 ( Z ) -orbits on Hom sur ( F 2 , A 5 ) / Inn ( A 5 ) , with reps ' 1 : x ( 23 )( 45 ) ' 2 : x ( 23 )( 45 ) ' 3 : x ( 23 )( 45 ) 7! 7! 7! y ( 152 ) y ( 142 ) y ( 14352 ) 7! 7! 7! The orbits have sizes | [ ' 1 ] | = | [ ' 2 ] | = 10, and | [ ' 3 ] | = 18. The stabilizers are Γ [ ' 1 ] = Γ [ ' 2 ] , Γ [ ' 3 ] and have indices 10, 10, 18 in SL 2 ( Z ) and are all noncongruence. The coarse moduli scheme of M G is M G = M [ ' 1 ] t M [ ' 2 ] t M [ ' 3 ] and is defined over Q . Each M [ ' i ] = H / Γ [ ' i ] . M [ ' 3 ] is defined over Q , but M [ ' 1 ] = M [ ' 2 ] are defined over a quadratic extension of Q . The modular curves M [ ' i ] all have genus 0. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  52. Example: G = A 5 There are three SL 2 ( Z ) -orbits on Hom sur ( F 2 , A 5 ) / Inn ( A 5 ) , with reps ' 1 : x ( 23 )( 45 ) ' 2 : x ( 23 )( 45 ) ' 3 : x ( 23 )( 45 ) 7! 7! 7! y ( 152 ) y ( 142 ) y ( 14352 ) 7! 7! 7! The orbits have sizes | [ ' 1 ] | = | [ ' 2 ] | = 10, and | [ ' 3 ] | = 18. The stabilizers are Γ [ ' 1 ] = Γ [ ' 2 ] , Γ [ ' 3 ] and have indices 10, 10, 18 in SL 2 ( Z ) and are all noncongruence. The coarse moduli scheme of M G is M G = M [ ' 1 ] t M [ ' 2 ] t M [ ' 3 ] and is defined over Q . Each M [ ' i ] = H / Γ [ ' i ] . M [ ' 3 ] is defined over Q , but M [ ' 1 ] = M [ ' 2 ] are defined over a quadratic extension of Q . The modular curves M [ ' i ] all have genus 0. Since each Γ [ ' i ] contains � I , none of the M [ ' i ] are fine moduli spaces. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  53. Example: G = A 5 There are three SL 2 ( Z ) -orbits on Hom sur ( F 2 , A 5 ) / Inn ( A 5 ) , with reps ' 1 : x ( 23 )( 45 ) ' 2 : x ( 23 )( 45 ) ' 3 : x ( 23 )( 45 ) 7! 7! 7! y ( 152 ) y ( 142 ) y ( 14352 ) 7! 7! 7! The orbits have sizes | [ ' 1 ] | = | [ ' 2 ] | = 10, and | [ ' 3 ] | = 18. The stabilizers are Γ [ ' 1 ] = Γ [ ' 2 ] , Γ [ ' 3 ] and have indices 10, 10, 18 in SL 2 ( Z ) and are all noncongruence. The coarse moduli scheme of M G is M G = M [ ' 1 ] t M [ ' 2 ] t M [ ' 3 ] and is defined over Q . Each M [ ' i ] = H / Γ [ ' i ] . M [ ' 3 ] is defined over Q , but M [ ' 1 ] = M [ ' 2 ] are defined over a quadratic extension of Q . The modular curves M [ ' i ] all have genus 0. Since each Γ [ ' i ] contains � I , none of the M [ ' i ] are fine moduli spaces. Nonetheless, there is a bijection M G ( C ) ⇠ { ( E / C , X ) : X / E � is a connected principal G -bundle } / ⇠ = William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  54. When is Γ [ ' ] noncongruence? William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  55. When is Γ [ ' ] noncongruence? For Γ  SL 2 ( Z ) finite index, let ` := ` ( Γ ) be the lcm of its cusp widths. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  56. When is Γ [ ' ] noncongruence? For Γ  SL 2 ( Z ) finite index, let ` := ` ( Γ ) be the lcm of its cusp widths. ` ( Γ ) is called the geometric level of Γ . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  57. When is Γ [ ' ] noncongruence? For Γ  SL 2 ( Z ) finite index, let ` := ` ( Γ ) be the lcm of its cusp widths. ` ( Γ ) is called the geometric level of Γ . Theorem (Wohlfart) Γ is congruence if and only if Γ ◆ Γ ( ` ) . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  58. When is Γ [ ' ] noncongruence? For Γ  SL 2 ( Z ) finite index, let ` := ` ( Γ ) be the lcm of its cusp widths. ` ( Γ ) is called the geometric level of Γ . Theorem (Wohlfart) Γ is congruence if and only if Γ ◆ Γ ( ` ) . We use an idea of Schmithusen - Consider p ` / SL 2 ( Z / ` Z ) / SL 2 ( Z ) / 1 / Γ ( ` ) 1 e f d p ` / Γ ( ` ) \ Γ / Γ / p ` ( Γ ) / 1 1 William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  59. When is Γ [ ' ] noncongruence? For Γ  SL 2 ( Z ) finite index, let ` := ` ( Γ ) be the lcm of its cusp widths. ` ( Γ ) is called the geometric level of Γ . Theorem (Wohlfart) Γ is congruence if and only if Γ ◆ Γ ( ` ) . We use an idea of Schmithusen - Consider p ` / SL 2 ( Z / ` Z ) / SL 2 ( Z ) / 1 / Γ ( ` ) 1 e f d p ` / Γ ( ` ) \ Γ / Γ / p ` ( Γ ) / 1 1 Then d = e · f , and Γ is congruence i ff f = 1, or equivalently e = d . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  60. When is Γ [ ' ] noncongruence? For Γ  SL 2 ( Z ) finite index, let ` := ` ( Γ ) be the lcm of its cusp widths. ` ( Γ ) is called the geometric level of Γ . Theorem (Wohlfart) Γ is congruence if and only if Γ ◆ Γ ( ` ) . We use an idea of Schmithusen - Consider p ` / SL 2 ( Z / ` Z ) / SL 2 ( Z ) / 1 / Γ ( ` ) 1 e f d p ` / Γ ( ` ) \ Γ / Γ / p ` ( Γ ) / 1 1 Then d = e · f , and Γ is congruence i ff f = 1, or equivalently e = d . Ie, Γ is noncongruence i ff e < d ( p ` ( Γ ) is large in SL 2 ( Z / ` ) ). William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  61. Example: G = A 5 Let A := ( 23 )( 45 ) , B := ( 152 ) , then AB = ( 15423 ) in A 5 . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  62. Example: G = A 5 Let A := ( 23 )( 45 ) , B := ( 152 ) , then AB = ( 15423 ) in A 5 . Theorem Let ' 2 Hom sur-ext ( F 2 , A 5 ) be given by x 7! A , y 7! B , William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  63. Example: G = A 5 Let A := ( 23 )( 45 ) , B := ( 152 ) , then AB = ( 15423 ) in A 5 . Theorem Let ' 2 Hom sur-ext ( F 2 , A 5 ) be given by x 7! A , y 7! B , then Γ [ ' ] is noncongruence. Key Fact: | ' ( x ) | = | A | = 2, William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  64. Example: G = A 5 Let A := ( 23 )( 45 ) , B := ( 152 ) , then AB = ( 15423 ) in A 5 . Theorem Let ' 2 Hom sur-ext ( F 2 , A 5 ) be given by x 7! A , y 7! B , then Γ [ ' ] is noncongruence. Key Fact: | ' ( x ) | = | A | = 2, | ' ( y ) | = | B | = 3, William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  65. Example: G = A 5 Let A := ( 23 )( 45 ) , B := ( 152 ) , then AB = ( 15423 ) in A 5 . Theorem Let ' 2 Hom sur-ext ( F 2 , A 5 ) be given by x 7! A , y 7! B , then Γ [ ' ] is noncongruence. Key Fact: | ' ( x ) | = | A | = 2, | ' ( y ) | = | B | = 3, | ' ( xy ) | = | AB | = 5. (ie, they’re pairwise coprime) William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  66. Example: G = A 5 Let A := ( 23 )( 45 ) , B := ( 152 ) , then AB = ( 15423 ) in A 5 . Theorem Let ' 2 Hom sur-ext ( F 2 , A 5 ) be given by x 7! A , y 7! B , then Γ [ ' ] is noncongruence. Key Fact: | ' ( x ) | = | A | = 2, | ' ( y ) | = | B | = 3, | ' ( xy ) | = | AB | = 5. (ie, they’re pairwise coprime) and { [ 1 1 0 1 ] , [ 1 0 1 1 ] } generate SL 2 ( Z ) . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  67. The following are in the same SL 2 ( Z ) -orbit: ' 23 = ' : x 7! A ' 25 : x 7! A ' 53 : x 7! AB y 7! B y 7! AB y 7! B William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  68. The following are in the same SL 2 ( Z ) -orbit: ' 23 = ' : x 7! A ' 25 : x 7! A ' 53 : x 7! AB y 7! B y 7! AB y 7! B Then Γ [ ' ij ] are all conjugate in SL 2 ( Z ) , so let N := ` ( Γ [ ' ij ] ) . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  69. The following are in the same SL 2 ( Z ) -orbit: ' 23 = ' : x 7! A ' 25 : x 7! A ' 53 : x 7! AB y 7! B y 7! AB y 7! B Then Γ [ ' ij ] are all conjugate in SL 2 ( Z ) , so let N := ` ( Γ [ ' ij ] ) . Write N = 2 e 2 3 e 3 5 e 5 M , where 2 , 3 , 5 - M , then we have William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  70. The following are in the same SL 2 ( Z ) -orbit: ' 23 = ' : x 7! A ' 25 : x 7! A ' 53 : x 7! AB y 7! B y 7! AB y 7! B Then Γ [ ' ij ] are all conjugate in SL 2 ( Z ) , so let N := ` ( Γ [ ' ij ] ) . Write N = 2 e 2 3 e 3 5 e 5 M , where 2 , 3 , 5 - M , then we have SL 2 ( Z / ` ) ⇠ = SL 2 ( Z / 2 e 2 ) ⇥ SL 2 ( Z / 3 e 3 ) ⇥ SL 2 ( Z / 5 e 5 ) ⇥ SL 2 ( Z / M ) William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  71. The following are in the same SL 2 ( Z ) -orbit: ' 23 = ' : x 7! A ' 25 : x 7! A ' 53 : x 7! AB y 7! B y 7! AB y 7! B Then Γ [ ' ij ] are all conjugate in SL 2 ( Z ) , so let N := ` ( Γ [ ' ij ] ) . Write N = 2 e 2 3 e 3 5 e 5 M , where 2 , 3 , 5 - M , then we have SL 2 ( Z / ` ) ⇠ = SL 2 ( Z / 2 e 2 ) ⇥ SL 2 ( Z / 3 e 3 ) ⇥ SL 2 ( Z / 5 e 5 ) ⇥ SL 2 ( Z / M ) 3 1 ] 2 Γ [ ' 23 ] , so p ` ( Γ [ ' 23 ] ) � I ⇥ I ⇥ SL 2 ( Z / 5 e 5 ) ⇥ SL 2 ( Z / M ) Note [ 1 2 0 1 ] , [ 1 0 William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  72. The following are in the same SL 2 ( Z ) -orbit: ' 23 = ' : x 7! A ' 25 : x 7! A ' 53 : x 7! AB y 7! B y 7! AB y 7! B Then Γ [ ' ij ] are all conjugate in SL 2 ( Z ) , so let N := ` ( Γ [ ' ij ] ) . Write N = 2 e 2 3 e 3 5 e 5 M , where 2 , 3 , 5 - M , then we have SL 2 ( Z / ` ) ⇠ = SL 2 ( Z / 2 e 2 ) ⇥ SL 2 ( Z / 3 e 3 ) ⇥ SL 2 ( Z / 5 e 5 ) ⇥ SL 2 ( Z / M ) 3 1 ] 2 Γ [ ' 23 ] , so p ` ( Γ [ ' 23 ] ) � I ⇥ I ⇥ SL 2 ( Z / 5 e 5 ) ⇥ SL 2 ( Z / M ) Note [ 1 2 0 1 ] , [ 1 0 5 1 ] 2 Γ [ ' 25 ] , so p ` ( Γ [ ' 25 ] ) � I ⇥ SL 2 ( Z / 3 e 3 ) ⇥ I ⇥ SL 2 ( Z / M ) Also, [ 1 2 0 1 ] , [ 1 0 William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  73. The following are in the same SL 2 ( Z ) -orbit: ' 23 = ' : x 7! A ' 25 : x 7! A ' 53 : x 7! AB y 7! B y 7! AB y 7! B Then Γ [ ' ij ] are all conjugate in SL 2 ( Z ) , so let N := ` ( Γ [ ' ij ] ) . Write N = 2 e 2 3 e 3 5 e 5 M , where 2 , 3 , 5 - M , then we have SL 2 ( Z / ` ) ⇠ = SL 2 ( Z / 2 e 2 ) ⇥ SL 2 ( Z / 3 e 3 ) ⇥ SL 2 ( Z / 5 e 5 ) ⇥ SL 2 ( Z / M ) 3 1 ] 2 Γ [ ' 23 ] , so p ` ( Γ [ ' 23 ] ) � I ⇥ I ⇥ SL 2 ( Z / 5 e 5 ) ⇥ SL 2 ( Z / M ) Note [ 1 2 0 1 ] , [ 1 0 5 1 ] 2 Γ [ ' 25 ] , so p ` ( Γ [ ' 25 ] ) � I ⇥ SL 2 ( Z / 3 e 3 ) ⇥ I ⇥ SL 2 ( Z / M ) Also, [ 1 2 0 1 ] , [ 1 0 3 1 ] 2 Γ [ ' 53 ] , so p ` ( Γ [ ' 53 ] ) � SL 2 ( Z / 2 e 2 ) ⇥ I ⇥ I ⇥ SL 2 ( Z / M ) Also, [ 1 5 0 1 ] , [ 1 0 William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  74. The following are in the same SL 2 ( Z ) -orbit: ' 23 = ' : x 7! A ' 25 : x 7! A ' 53 : x 7! AB y 7! B y 7! AB y 7! B Then Γ [ ' ij ] are all conjugate in SL 2 ( Z ) , so let N := ` ( Γ [ ' ij ] ) . Write N = 2 e 2 3 e 3 5 e 5 M , where 2 , 3 , 5 - M , then we have SL 2 ( Z / ` ) ⇠ = SL 2 ( Z / 2 e 2 ) ⇥ SL 2 ( Z / 3 e 3 ) ⇥ SL 2 ( Z / 5 e 5 ) ⇥ SL 2 ( Z / M ) 3 1 ] 2 Γ [ ' 23 ] , so p ` ( Γ [ ' 23 ] ) � I ⇥ I ⇥ SL 2 ( Z / 5 e 5 ) ⇥ SL 2 ( Z / M ) Note [ 1 2 0 1 ] , [ 1 0 5 1 ] 2 Γ [ ' 25 ] , so p ` ( Γ [ ' 25 ] ) � I ⇥ SL 2 ( Z / 3 e 3 ) ⇥ I ⇥ SL 2 ( Z / M ) Also, [ 1 2 0 1 ] , [ 1 0 3 1 ] 2 Γ [ ' 53 ] , so p ` ( Γ [ ' 53 ] ) � SL 2 ( Z / 2 e 2 ) ⇥ I ⇥ I ⇥ SL 2 ( Z / M ) Also, [ 1 5 0 1 ] , [ 1 0 Thus, p ` ( Γ [ ' ] ) = SL 2 ( Z / ` ) , so e = 1 < d , hence Γ [ ' ] is noncongruence. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  75. Theorem If G = S n ( n � 4 ), A n ( n � 5 ), or PSL 2 ( F p ) ( p � 5 ), then there exists a surjection F 2 ! G such that Γ [ ' ] is noncongruence. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  76. Theorem If G = S n ( n � 4 ), A n ( n � 5 ), or PSL 2 ( F p ) ( p � 5 ), then there exists a surjection F 2 ! G such that Γ [ ' ] is noncongruence. Conjecture 1. For every nonabelian finite simple group G , every surjection ' : F 2 ! G has Γ [ ' ] noncongruence. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  77. Theorem If G = S n ( n � 4 ), A n ( n � 5 ), or PSL 2 ( F p ) ( p � 5 ), then there exists a surjection F 2 ! G such that Γ [ ' ] is noncongruence. Conjecture 1. For every nonabelian finite simple group G , every surjection ' : F 2 ! G has Γ [ ' ] noncongruence. 2. For every finite group G , either all surjections ' : F 2 ! G have Γ [ ' ] congruence, or all surjections have Γ [ ' ] noncongruence. William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  78. Which subgroups of SL 2 ( Z ) appear as Γ [ ' ] ? William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

  79. Which subgroups of SL 2 ( Z ) appear as Γ [ ' ] ? Theorem (Asada, 2001) For a surjective homomorphism ' : F 2 ! G onto a finite group G , let Γ ' := Stab Aut ( F 2 ) ( ' ) . Then every finite index subgroup of Aut ( F 2 ) contains a group of the form Γ ' . William Y. Chen Pennsylvania State University Moduli Interpretations for Noncongruence Modular Curves

Recommend


More recommend