Beruflich Dokumente
Kultur Dokumente
!"$#$%
&' ()*
+
,-/.021334
57698:6<;>=?69@BAC69DFEHG2GJI'K>L?I2MONQP>=!DR9MTSVU
W?XZY\[^]`_V[ba\[^cd[fe![hgjifk^Yml^n^]Vo9pfqrTs^o*k^tuXZe
¨ª©<«¬}®°¯?±x²Z³$´)¯¥¬
jE : B → MΓ = H/Γ
}¸ ºÊ Ï^oºÚ¸}ºÚ¸}ħ˽µ ¸}¿ÁÆ9Ѹ Ì ¿ÁÄ Í ¼½ÑµJħħ¿ÁǶ¿ÁÆ
È Â¸¶¿§¼½ºÀ
jΓ : MΓ → P 1 = H/PSL(2, Z) · ·
¶Öµ\ʵJ˽µJµu¼½Ñ ¿ÁÀ ¼}κ ʵ/Ê Í ¶Öµ9ʵJ˽µ/µu¼½Ñ¥¶Öµu˽µJºµ/¿ÁÆuµJħµ Ì µJº$¶zÏho¶^ÑÛ¼½Ä§Ä§¼zÕfÀV¶Ö ¸¶
j · ·
¶ÖµJµb¿ÁÀV¼}ºÄ Í ¸ÜȺ¿¡¶µuº$Î Ì µ/£¼}Ñ Ì ¼½º¼Ê¼ Ì\Í Ë½Â¼½ÎÇÀxѼ½Â£µ/¸½ÆÖÐѸ Ì ¿§Ä Í Ï
·
pxÖµÉºÎ Ì µJÂ>¼½Ñ\ÀΠ˽¼½ÎÇ À<¼½Ñ ¼½ÎºÊµ/ÊF¿§ºÊµ2ÒF¿§º Ë}¼zÕfÀ>ÀÎÇ,µJµ2ÒǼ¾
· · · SL(2, Z)
ºµJº$¶¿Á¸}Ä§Ä Í»Ý Þß À¿ Ì ¿§Ä¸ÂÄ Í ¶¼à¶ÖµuÆ/¸}Àµb¼½Ñ?¸
ѵJµu˽¼½ÎÇ»á)À¿§º Æ2µ Æ2¼½º$¶¸}¿§ºÀV¸ÜѵJµ
Ù
ÀΠ˽¼½ÎÇ\¼½ÑȺ¿¡¶µT¿§º ʵJÒâ'Ï¥W ¼½Â ¼½ÑÄÁ¸}Â˽µT¿§º ʵ2Ò ¶ÖµTº$Î Ì µ/Â¥¼½Ñ
SL(2, Z)
¾Âµ/ǵzÀµJº$¶¸¶¿§¼½ºÀ
· ·
¼½Ñ¶ÖµhÀÇÖµJµ 2 ¿ÁÀÀÎ À¶¸}º°¶¿Á¸}Ä§Ä Í À Ì ¸}ħħµ/ ּzÕhµJð٠µJ À¶¿ÁħÄÀÎǵJµ2ÒÇ,¼½ΓºµJº$¶¿¸Äá)ÀµJµhãÏ ä½âÏ
Γ M
·
[^ÎÂ>Ë}¼°¸}Äf¿À<¶¼å¿Áº°¶Â¼ÊÎ Æ2µæÀ¼ Ì µÚÆ2¼ Ì Ù ¿Áº¸¶¼}¿Á¸}Ù Ä×À¶ÂÎ Æ'¶Îµæ¼}ºF¶ÖµæÀµJ¶>¼½Ñ Ì ¼½º¾
S
·
¼Ê¼ Ì\Í Ë½Â¼½ÎÇÀ\¼½Ñ£µJÄÁħ¿§Ç¶¿ÁÆ:È Â¸¶¿Á¼}º À\ÕVÖ¿ÁÆÖÔÕh¼½ÎÄÁÊÔÖµJħÇ嶼ڸ}ºÀÕhµ/Â
À¼ Ì µ>º¸¶Î¸}Ä
·
ç ε/À¶¿§¼½ºÀ/Ï[^ÎÂZ¼½Â¿§Ë½¿§º ¸Ä Ì ¼}¶¿§Ã}¸¶¿§¼½ºQÕ£¸}À!¶¼9ʵ/ÀÆ2¿ · µV¶ÖµfÀµ2¶h¼½Ñ˽¼}ÎÇ ÀÆ2¼½ÂµzÀÇ,¼½º ʾ
¿§ºËض¼Ø¸¶¿§¼½º ¸Ä¼½Âut\ã:µJħÄÁ¿§Ç¶¿ÁÆQÀÎÂѸ½Æ2µ/À µ2ÒÇÄÁ¸}¿§º»Ö¼zÕ趼¹Æ2¼ Ì ÇζµÜ¶ÖµQÊ¿ Ì µJº À¿§¼½º À
¼½Ñx¶Öµ>ÀÇ ¸½Æ2µ/À9¼½Ñ Ì ¼ÊÎħ¿h¼½ÑVÀÎÂѸ½ÆJµ/À\¿Áº» Ù ¶Ö¿ÁÀ
ÆJÄÁ¸½ÀÀ9ÕV¿¡¶Öé˽¿¡Ã°µJº
Ì ¼½º¼Ê¼ Ì\Í Ë½Â¼½ÎÇ
µ2¶Æ½Ï^ifÀ^¸>Ê¿Áµ/Æ'¶b¸}ÇÇħ¿ÁÆ/¸¶¿§¼½ºÚ¼}Ñ?¶Öµ Ì µ2¶Ö¼ÊÀ^ʵ2ðµJħ¼½Ç,µzÊпÁº¹¶Öµ\ǵ/ÀµJº°¶×Ǹ}ǵJÂV¶Öµ
¸}ζּ½ÂÀ¸}º ÊàpbϽê?µ2¶Â¼zÃÜÖ¸/ðµ£¼ ¶¸}¿§ºµ/Ê<¸bǼ¼}Ñ,¼½Ñ¸¶¿§¼½º¸}ħ¿§¶ Í ¸º ÊàÀ¶¸ ÄÁµ£Â¸¶¿§¼½º¸}ÄÁ¿¡¶ Í
· ·
¼½Ñ Ì ¸}º Í Æ2ĸ½ÀÀµ/Àܼ½Ñ Ì ¼ÊÎħ¿£ÀÇ ¸½Æ2µ/À
¼}ÑfµJħħ¿§Ç¶¿ÁÆØÈ Â¸¶¿Á¼½ºÀ9ÕV¿¡¶Öé˽¿¡Ã°µJº Ì ¼½º¼Ê¼ Ì\Í
·
¿§ºÆJħÎÊ¿§ºËd¸}ħÄVÀÎÆÖ Ì ¼ÊÎħ¿£ÀÇ ¸½Æ2µ/Àܼ½ÑV¸¶¿§¼½º¸}ÄV¸º ÊåµJħÄÁ¿§Ç¶¿ÁÆÐtuãÚÀÎÂѸ½Æ2µzÀØá)ÀµJµ Ý ë}ß âÙÏ
ì'íî
"!$#%"& ¤
!©,¬ ®
*´°´
oºÉ¶Ö¿À×ÀµzÆ'¶¿Á¼}ºæÕxµ
˽¿¡Ã°µÜ¸ ¿§µJÑTÀÎ ÌàÌ ¸}Â Í ½¼ Ñt^¼Ê¸}¿§Â¸6 Àf¶ÖµJ¼½Â Í ¼½Ñ!µ/ħħ¿§Ç¶¿ÆÜÈ Â¸¾
· ·
¶¿§¼½º ÀJÏ<Ó»µ<µJѵJÂu¶¼Ø¶Öµ<Ç ¸}Ç,µJÂÀ Í t^¼Ê¸}¿§Â¸ Ý zß ¸}º Ê涼 Ý <zß ¸}ºÊ Ý ß ÑÛ¼½ÂuǼ¼½ÑÀu¸}ºÊ
·
ʵ2¶¸}¿§ÄÁÀJÏ
IGIC HYC E I eªµ2¶ µ ¸QÀ Ì $¼ ¼}¶Ö¹ÂµJÄÁ¸¶¿§Ã°µJÄ ÍÐÌ ¿§º¿ Ì ¸}ĺ¼½º¾¿À¼}¶Â¿¡Ã¿Á¸}Ä
9
f :E→B ·
°Å ¸½Æ2¼ ¿Á¸}ºéµJħħ¿ÁǶ¿ÁÆ:È Â ¸¶¿§¼½ºå¼zðµJÂܸæÀ Ì ¼ ¼}¶Ö 2Æ ÎÂðµ ¼½ÑVË}µ/º$Î À ÏdpxÖ¿ÁÀ Ì µ/¸}º À
· · B g(B)
¶Ö ¸¶
1&24353764 pxÖµ»Ç¼ÊÎÆ'¶ ˽¿¡Ã°µ/Àжֵ Ì ¼½º¼Ê¼ Ì\Í ¶Â¸}º ÀÑÛ¼½Â Ì ¸¶¿§¼½º ¸}ħ¼½ºË ¶Öµ
P (E)
½¼ κ Ê¸Â Í ¼½ÑV¶Öµ¹Ê¿ÁÀÆ ÏF[^ÎÂÜÈ Â¸¶¿§¼½º ¿À<À Ì ¼¼}¶Ö ¼½ºé¶ÖµØÆJ¼ Ì Çħµ Ì µJº$¶ Ï
· ∆ · B\∆
pxÖµJµJÑÛ¼½Âµ ¿¡¶£¿ÁÀ£¸
¶¼½Ç,¼½ÄÁ¼}˽¿ÆJ¸}Ä§Ä Í ¶Â¿§Ã¿Á¸}ÄÈ Â¸¶¿§¼½º:¼zðµJÂV¸
Ê¿ÁÀÆ׿Áº>¶ÖµbÆJ¸½Àµb¼½Ñ
· B = P1
¼½Â<¸»À Ì ¼¼}Ù ¶Ö 1 1 È Â¸¶¿Á¼½º ¼zðµJÂֵܶÐ]V¿§µ Ì ¸}ºº¿Á¸}º ÀÎÂѸ½Æ2µ ¼½Ñ^˽µJºÎ À
S ×S · B g(B)
Ì ¿Áº$Î À£¸<Ê¿ÀÆ}Ï!k^¼zÕ ¶ÖµbµJÄÁ¸¶¿Á¼½ºÀ£Ñ¼½Ä§Ä§¼zÕ Ñ¼ Ì À¿ Ì ¿§ÄÁ¸}ÂfµJÄÁ¸¶¿§¼½ºÀ£¿Áº Ï
π1 (B \ ∆)
89724:;<Qq$¿ Ì ¿ÁÄÁ¸}ÂÄ Í ¿§Ñ!¶Öµ
˽µJº$Î À ¶ÖµJº ¿ÁÀ׸QǼÊÎÆ2¶f¼½Ñ
Æ2¼ ÌÜÌ Î¶¸¶¼½ÂÀJÏ Ù g(B) ≥ 1 P (E) g(B)
j : B → H/Γ → H/PSL(2, Z) = P 1
áJI #"73-7 . ; 4<#%7 / $'&! )+794 7.'K)+!L!"7:3 #0*) G.M<! )/0327âI .4<# 4<#%7G9$*) ) $I .&2 ,N! 3-$.!"7:3:4S4 5OG9$'3 7:2*7:3 4
H
I .4<# 4<#%7; 0'&7P'7 / $'&!"$ ;.<4.0$32 0 ; 0 $'2*7 4 #"73-787.D'. ;:4<; 0J2 79) 7:&724
Γ0 ⊂ PSL(2, Z)
;)"/# 4<#0*4 Ï
g ∈ PSL(2, Z) gΓg −1 ⊂ Γ0
Q 3-$$HG/R W ¿§ÂÀ¶>¼}Ñu¸}ħÄ
? ˽¿¡Ã°µ/À<¶ÖµÉµ ç Î ¿Áµ/ÊFʵzÆ2¼ Ì ,
Ç ¼°À¿¡¶¿§¼½ºÏ ^
k µ2Ò¶
Ç¿ÁÆ8,9¶Õh¼9ÀΠ˽¼½ÎÇ À Ù Γ0 = PSL(2, Z)
ÀÎ ÆÖà¶Ö¸¶Z¶Öµ ¾ Ì ¸}ÇQʵzÆ2¼ Ì Ç ¼°Àµ/ÀZ¸}ÀZ¸ z¼ ðµ½ÙÏ
· Γ, Γ0 ⊂ PSL(2, Z) j ·
rT¼½ºÀ¿ÁʵJÂx¶Öµ Ì ¸}Ç
3 24
$'3
03254 2 $32/-$32";4 0324 &R0.!
j : P1 → P1
4<#%73-7 7.D'. ;4<;(032 79) ) . ! 4<.0/
" 3-0*4<.0$32 I .4 # M0& 0.! Ï
E → P1
G E
032'
E
j
0 0'3-779)<) . ! 4./"
j
3-0*4.$32%;$'2*7:3
P1
;)"/#4 #0*4
j = j0
4<#%72 4<#%7:3-7 7.D'. ;:4<;
0G.)D2 /94.0$32 $
H G "
"
2
. 4 7 ;
(
) L
! "
! '
$ :
3 4 ;
) / # <
4 #
*
0 4 032'
χ : P 1 → Z/2 = ±1
Q
b∈P 1 χ(b) = 1
9
G '
$ 3
( *
0 <
) ) á %
# :
7 -
3 7 3
7 ; ?
! Ï '
0 -
3 (
7 <
4 %
#
7 +
)
$ /
8 *
0 ) (
& $
3 2 $
( '
' -
3 '
$ &
.
7 ;
& 9
G '
$ 3
b ∈ P1 ρb Ù jÙ
3 7; !?Ï 0 âÏ $32"2*7:3-; 79)+4 G9$'37:2*7:3 4 ;)/ #G.)D2 /94.0$32 b
ρb = χ(b)ρ0b ρ0
4<#%7:3-77.D'. ;:4 ; 032 79) ) . ! 4.0/N" 3-0*4.0$32
j
;)"/# 4<#0*4
Ù áBG:$'3 0*)<) â?032' 0
χ
Ï
E0 ρb = χ(b)ρ0b b ∈ P1 j =j
89724:
4fpxÖµb¶ÖµJ¼½Âµ Ì À¸ Í Àx¶Ö ¸¶V¿§Ñ c
ρE0 = ρcE0
¶ÖµJº
ρ E = χ · ρ E0 .
*o ºÐ˽µJºµJ¸}Ä ¶Öµ/µu¸}µuµ2Ò¸½Æ'¶Ä Í g(B)+k−1 Ê¿ µ/µJº$¶Vħ¿ÁѶ¿§ºË½Àf¼½Ñ¥¶ÖµuÀ¶¸}º ʸ}ÂÊØË}µ/ºµJ¸¾
¶¼½ÂÀ£¼½Ñ Ù ¶¼
2
á)ÀµJµuÇ ¸Â¶9á¸$âT¼½ÑpxÖµJ¼½Âµ Ì . . Ï . ÇªÏ . ¿§º Ý <zß âÏ
π1 (B 0 ) SL(2, Z) Ù
Ó»µÜ¸}µ࿧º$¶µJµzÀ¶µzÊ濧º»Æ2ÄÁ¸½ÀÀ¿ÁÑ Í ¿§ºËÐ˽ħ¼ ¸}Ä Ì ¼½º¼Ê¼ Ì ¿§µ/À׿§º»À¼ Ì µÜµ/À¶Â¿ÁÆ'¶µ/ÊdÆJÄÁ¸½ÀÀ×¼½Ñ
·
ÀÎÂѸ½Æ2µ/À ÑÛ¼½Â×µ2Ò¸ Ì ÇÄÁµÜ¸¶¿Á¼½º¸}Ä!µJħħ¿ÁǶ¿ÁÆ༽Â×µJÄÁħ¿§Ç¶¿ÁÆàtuãØÀÎÂѸ½Æ2µ/À/Ï\W ¼½Â×µz¸}ÆÖÚ¼½Ñ¶Öµ/Àµ
Æ2ÄÁ¸½ÀÀµ/À9¶Ù Öµ:ʵ/Ë}µJµQ¼½Ñ ¿ÁÀ ¼½Îº ʵzÊ ÏÉpxÖ¿ÁÀ9¿ Ì ÇÄÁ¿§µ/Àภ¼½ÎºÊÔ¼½º»¶Öµ>¿ÁºÊµ2Ò»¼½Ñx¶Öµ
j · ·
˽ħ¼ ¸}Ä Ì ¼½º¼Ê¼ Ì\Í Ë½Â¼½ÎÇ ¿§º ÏT[fºÄ Í ¸ÜȺ¿¡¶µuº$Î Ì µJ£¼½ÑǼ°ÀÀ¿ ħµb˽ÄÁ¼ ¸}Ä
· Γ̃ SL(2, Z) · · ·
"!$#%"& ¤
L
L
"!$#%"& ¤
jΓ : H/Γ = MΓ → H/PSL(2, Z) = P 1 .
rT¼½ºÀ¿ÁʵJÂV¶Öµ\À¶¸}ºÊ¸}ÂÊض¿Á¸}ºË}ÎÄÁ¸¶¿§¼½º ¼½Ñ¶Öµ9ÀÇÖµJµ 2 ¿§º$¶¼>¸<κ¿Á¼}º
τ (S 2 ) S = P1
¼½Ñx¶Õh¼É¶Â¿Á¸}ºË½Ä§µ/À9ÕV¿¡¶ÖåðµJ¶¿ÁÆ2µ/À ¸}ºÊ st ÏdpxÖµ>ǵJ¿ Ì ¸}˽µ>¼½Ñ£¶Ö¿ÁÀ9¶Â¿Á¸}ºË½ÎÄÁ¸¶¿§¼½º
0, 1 ∞
ǼzÿÁʵ/À^¸<¶Â¿Á¸}ºË½ÎÄÁ¸¶¿§¼½ºæ¼½Ñ ÏfoÑ?ÕhµÜÆ2¼½Ä§¼½Âf¶Öµ9ǵJ¿ Ì ¸}˽µ/À^¼}Ñ?¶Öµ
Æ2¼½Âµ/ÀÇ,¼½º Ê¿§ºË
MΓ
ðµJ¶¿Æ2µ/À£¿§º ¸}ºÊ ¶ÖµJºØÕxµb¼ ¶¸¿Áº¹¸ ¾)¶Â¿Á¸}ºË½ÎÄÁ¸¶¿§¼½º¹¸½ÀxÕx¸}º$¶µ/ÊÏ
A, B I · j
rT¼½º$ðµJÂÀµJÄ Í À¶¸}¶¿§ºË£ÕV¿¡¶Ö9¸ ¾)¶Â¿Á¸}ºË}ÎÄÁ¸¶¿§¼½º ÕhµZÆJ¼½ºÀ¶ÂÎÆ2¶¥¸}º9¸}ħ˽µ ¸}¿ÆÆ2ÎÂðµ
Ù j τ · R
¶¼½Ë½µ2¶ÖµJÂZÕV¿¡¶Ö>¸ Ì ¸Ç ¸ ¿§ÈµzÊ<¿§º ¸}ÀZѼ}ÄÁħ¼zÕfÀJÏ?Ó»µfÖ¸zýµ^¸ Ì ¸}ÇQÑÛ¼ Ì
R → S2 Ì 0, 1, ∞
¶ÖµÜÀµ2¶b¼½Ñ!ðµ/¶¿ÁÆJµ/Àf¶¼ áÛ¶ÖµÜÆJ¼½Ä§¼½Â'âÏuW ζֵJ µ2ðµ/Â Í µ/Ê˽µ9ÕV¿§Ä§Ä µ Ì ¸}Çǵ/Ê
·
¿§º$¶¼Ø¶ÖµÜµzÊ˽µ/À×¼½ÑZ¶ÖµàÀ¶¸}º ʸ}ÂÊæ¶Â¿Á¸}ºË½ÎÄÁ¸¶¿Á¼½ºd¼½Ñ 2 ٠µ/ÀÇ,µzÆ'¶¿ÁºËضֵ<Æ2¼½Ä§¼½ÂÀb¼}ÑZ¶Öµ
(A, B, I)
µJºÊÀJÏTpxÖ¿À Ì ¸}ǹ¿ÁÀfÆ2¼ Ì ÇħµJ¶µ/Ê Í ¶Öµ Ì ¸}ǹ¼}Ñ¥¶Â¿Á¸}ºË½Ä§Ù µ/À ÕVÖ¿ÁÆÖ Ì ¸}Ç Àx¶Öµb¶Â¿Á¸}ºË½Ä§µzÀ
S
·
áÕV¿¡¶ÖÚ¼}¿§µJº$¶¸¶¿§¼½ºÚ¿ÁºÖµJ¿¡¶µ/ÊæѼ Ì â£¶¼>¼½ºµ
¼½Ñ!¶ÖÙ µ9¶Â¿Á¸}ºË½Ä§µ/À×¼½Ñ ¸}ºÊ
ABI R τst (S 2 )
¶Öµ×¶Â¿¸}ºË½Ä§µ/À£ÕV¿¡¶Öжֵb¼½ÇÇ,¼°À¿¡¶µ ¾*¼½Â¿§µJº$¶¸¶¿§¼½ºÐ¶¼Ü¶Öµb¼}¶ÖµJÂ/Ï
R
pxÖÎ ÀVÕxµ
Ö ¸/ðµÜÆ2¼½º À¶ÂÎ Æ'¶µ/ÊÚ¸:À¿ Ì Çħ¿ÁÆ2¿¸}Ä Ì ¸}ÇæÕVÖ¿ÁÆÖÚ¿ÁÀ×ħ¼ÆJ¸}Ä§Ä Í ¸}ºæ¿ÁÀ¼ Ì ¼½ÂÇÖ¿ÁÀ Ì
µ2ÒÆ2µJǶx¿Áº:¶Öµbºµ/¿§Ë½Ö ¼½ÂÖ¼¼ÊQ¼½ÑªÃ°µJ¶¿ÁÆ2µ/ÀJÏhq$¿ÁºÆ2µ×¶Â¿Á¸}ºË½Ä§µzÀx¿§º ÀÖ ¸}¿§ºË<¸}º:µzÊ˽µb¸}µ
·
Ì }
¸
Ç ,
Ç /
µ æ
Ê Á
¿ °
º
¶ Ð
¼
Ê ¿
, J
µ
 /
µ °
º b
¶
¶
 Á
¿ }
¸
º ½
Ë §
Ä /
µ b
À ½
¼ Ñ
S2
¶
Ö à
µ ¸
·
z
¼ °
à µ Ì
¸ d
Ç Á
¿ b
À §
Ä
¼
R
J
Æ }
¸ Ä§Ä Í ¸}ºÚ¿ÁÀ¼ Ì ¼½ÂÇÖ¿ÁÀ Ì
¼½Î¶À¿ÁʵQ¼}ÑhðµJ¶¿ÁÆ2µ/À
¸}ºÊd¿À\µ ç ο¡Ã}¸}ħµJº$¶\¶¼É¸ Ì ¸}Ç n ¿§º»¶ÖµQºµJ¿§Ë½Ö ¼½ÂÖ¼¼Êd¼½Ñhµz¸}ÆÖ
z ·
ðµJ¶µJÒ鿧º ÏFpxÖÎÀÜ¿¡¶>Æ2¼½Âµ/ÀÇ,¼½º ÊÀ
¶¼»¸Úκ¿ ç εи}ħ˽µ ¸}¿ÁÆÐÆ2ÎÂðµ ÕV¿¡¶ÖF¸ Ì ¸}Ç
R · R
V
Õ
Ö
¿
Æ Ð
Ö Á
¿ £
À
 ¸ Ì §
¿
È /
µ Ø
Ê z
¼ °
à J
µ x
Â
¶
Ö u
µ ,
Ç ½
¼ §
¿ $
º
¶ À Ï
R → P1 A, B, I
oº¹Ë½µJºµJ¸}Ä ÀÎÆÖÉÆ2ÎÂðµ/Àf¸}µ9ʵ/ÀÆ2¿ µ/Ê Í ÀΠ˽¼½ÎÇÀV¼}Ñ!Ⱥ¿¡¶µ\¿§º ʵ2ÒпÁºÐ¶Öµ9ÑÛµJµ
Ù · · ·
˽¼½ÎÇF¼½º ¶Õh¼å˽µJºµ/¸¶¼½ÂÀ Ï [^ÎÂ>¸½ÀÀÎ Ì Ç¶¿§¼½º ¼½ºF¶Öµ¹Â¸ Ì ¿§ÈÆ/¸¶¿§¼½º ¿§º Ê¿ÁÆJµ/À>¸¶
F2
Ç,¼½¿§º$¶À ¿ Çħ¿Áµ/À¶Ö ¸¶¶ÖµVÆ2ÎÂðµ Æ2¼½Âµ/ÀǼ}º ÊÀ¶¼\¸uÀΠ˽¼½ÎÇ༽Ñ,Ⱥ¿§¶µV¿§ºÊµ2ÒÜ¿Áº
A, B Ì R ·
¶Öµ ç μ}¶¿ÁµJº$¶ ¼½Ñ Ï!pxÖµ£Ë½Â¼½ÎÇ µ ç θ}ÄÁÀ Ï?pxÖÎÀ!ÄÁ¼ÆJ¸}Ä
Z/2 ∗ Z/3 F 2 Z/2 ∗ Z/3 PSL(2, Z)
D # !Y #B! ,
Z© ¯!±h²
® ²Z®
%³
j
oºÉ¶Ö¿À×ÀµzÆ'¶¿Á¼}ºæÕxµÜÀ¶Î Ê Í Å°¸½Æ2¼ Á¿ ¸}ºæµJÄÁħ¿§Ç¶¿ÁÆàÀÎÂѸ½ÆJµ/À×ÀÎÆÖɶָ¶×¶Öµ Ì ¸Ç Ö¸½À
· j
ʵJ˽µ/µ . Ï s^µJµ ¿ÁÀQ¶ÖµÉ˽ÄÁ¼ ¸}Ä Ì ¼½º¼Ê¼ Ì\Í Ë½Â¼½ÎÇ ¼½Ñb¶ÖµæµJħEħ¿§Ç¶¿Æ
Γ̃ ⊂ SL(2, Z) ·
È Â¸¶¿Á¼}º Ï?ÓÔµuÆJ¸}ħĪÀÎ ÆÖ¹ÀÎÂѸ½Æ2µ/À ¾ Ì ¼ÊÎĸ}ÂVÀÎÂѸ½Æ2µ/À£¸}º ÊØʵJº¼¶µ×¶Öµ Ì Ï
· E j · Í SΓ̃
rT¼½º À¿ÁʵJÂֵܶ ¾ Ì ¼ÊÎÄÁ¸}Â<Æ2ÎÂðµ ÕVÖµJµ ¿ÁÀ
¶ÖµØ¿ Ì ¸}˽µÐ¼}Ñ ¿§º
j M Γ Γ̃ PSL(2, Z)
κ ʵ/Âh¶Öµuº¸¶Î¸}Ä ÇÂJ¼ 'µ/Æ2¶¿§¼½ºªÏ?Ó»µ×Õx¸}Γº$¶£¶¼QÀ¼½Ä¡Ã°µb¶ÖµbѼ½Ä§Ä§¼zÕV¿ÁºË<Ǽ ħµ Ì 5ʵ/ÀÆ2¿ µ
· ·
¸}ħÄÀÎÂѸ½ÆJµ/À ¶¼½Ë}µJ¶ÖµJÂbÕV¿¡¶Öd¶ÖµàÀ¶ÂÎ Æ'¶Îµܼ½Ñh¸ØÅ°¸½Æ2¼ ¿Á¸}ºdµJÄÁħ¿§Ç¶¿ÁÆ<È Â¸¶¿Á¼½ºd¼zðµJÂ
SΓ̃ · ·
¶Öµ ¾ Ì ¼ÊÎÄÁ¸}Âx Æ2ÎÂðµ ÀÎÆÖ>¶Ö ¸¶T¶Öµ Ì ¼}º¼Ê¼ Ì\Í Ë½Â¼½ÎÇ ÀÎS 'µzÆ'¶ÀT¼½º$¶¼ ÏÓ»µ
j MΓ Γ̃ Γ
Õx¸}º°¶Z¶¼9˽¿¡Ã°µf¸9Æ2¼ Ì ÇħµJ¶µ×¸º ÀÕhµJÂZ¶¼u¶Ö¿ÁÀ ç ε/À¶¿§¼½ºQÎ À¿§ºËu¶Öµ ¾)¶Â¿Á¸}ºË½ÎÄÁ¸¶¿§¼½ºQ¼½Ñ Ï
j MΓ
Ó»µbÖ ¸/ðµu¸}ºØµJÒ¸½Æ'¶fÀµ ç εJº Æ2µ
áë . â
0 → Z/2 → SL(2, Z) → PSL(2, Z) → 1
ÕVÖ¿ÁÆÖØ¿§º ÊÎÆ2µzÀ£¸àÀµ ç εJº Æ2µ
áë < â
0 → Z/2 → Γ0 → Γ → 1,
ÕVÖµJµ Ï
Γ0 ⊂ SL(2, Z)
"!$#%"& ¤
7 G '$7; 2 $*4 / $324 0'. 2 7:) 7:&(7 2 4 ; $HG $'3,'7:3 4<#%72 4<#%7 7.D 0/94 ; 7 M
<
Γ
-/)"72 / 7Ðá ë < (â ;F! ) .<4<;°Ï K-/) .<2J0*)+724)+4 4 #%7 M 43. 032 ,)%)/0*4.0$32 $HG ' $ 7; 2 $*4/ $324 0'.&2
M 2'7:3:4.0/ 7½
; Ï
Ù j MΓ
B2
1&24353764ØpxÖµÜ˽¼½ÎÇ Ï9ifº Í ÀΠ˽¼½ÎÇæ¼½ÑZȺ¿¡¶µà¿§ºÊµ2Òæ¿ÁÀb¸
PSL(2, Z) = Z/2 ∗ Z/3 ·
È º¿¡¶µ>ÑÛµJµQǼÊÎÆ2¶9¼}Ñx˽¼½ÎÇÀ\¿ÁÀ¼ Ì ¼½ÂÇÖ¿ÁÆ<¶¼ ÏÐi^ÀÀÎ Ì ¿§ºË¹¶Ö¸¶ Ö ¸}À
Z, Z/2, Z/3 Γ
º¼
µJÄÁµ Ì µJº$¶Àx¼}Ѫ¼½ÂʵJ < Õxµ×Ö¸/ðµ×¸
µJǵ/ÀµJº$¶¸¶¿§¼½º:¼½Ñ ¸½Àh¸
ÑÛµJµ^ǼÊÎ Æ'¶h¼½ÑªË½Â¼½ÎÇ À
Γ
Ïfo*Ñ!Õhµ9ħ¿§ÑÛ¶^¶Öµ9˽µJºµ/¸¶¼½ÂÀf¼½Ñ?¶Öµ/Àµ9ѵJµ9˽µJºµJ¸¶¿ÁºË:ÀΠ˽¼½ÎÇ À£¶¼>µJħµ Ì µJº$¶À
Z, Z/3 ·
¼½Ñ ¶ÖµfÀ¸ Ì µV¼½Âʵ/¿§º 0 ÕhµV¼ ¶¸}¿§º<¸\ÀΠ˽¼½ÎÇà¼½Ñ 0 ÕVÖ¿ÆÖ<ÇÂ3¼ 'µ/Æ'¶À!¿ÁÀ¼ Ì ¼½ÂÇÖ¿ÁÆJ¸}Ä§Ä Í
Γ · · Γ
¼½º°¶¼ ¿ÁºÐ¼}¶ÖµJÂxÕh¼½ÂÊÀ ¸<ÀÇÄÁ¿¡¶¶¿§ºË<¼½Ñ¥¶Öµbµ2Ò¸½Æ'¶fÀµ ç ε/ºÆ2µ ë < Ï
ΓÙ Ù
89724: 7<fifħĪÀÇħ¿¡¶¶¿ÁºË°ÀfÊ¿ ,µ/ *
¾
Æ
Ö }
¸
 ½
¸ '
Æ
¶ J
µ
 x
À ½
¼ Ñ á h
â }
¸
º Q
Ê
¶
Ö µ
· Í Z/2 Γ H 1 (Γ, Z/2)
¼½ºµfÕxµ×¼ ¶¸¿Áº Ì ¸ Í º¼}¶ µ^¶Öµ µ/À¶\áÛ¶Ö¿ÁÀhÕV¿ÁÄ§Ä µbÀÇ,µ/ÆJ¿§ÈµzÊ>¿§ºÉqµ/Æ'¶¿§¼½º¹ä½âÏ!k׸ Ì µ/Ä Í
· · · ·
¶ÖµfǵJ¿ Ì ¸}˽µ/ÀT¼½Ñκ¿§Ç,¼}¶µJº$¶T˽µ/ºµJ¸¶¼½ÂÀhÆJ¸}º µfǼÊÎ Æ'¶ÀZ¼½Ñκ¿§Ç¼}¶µJº$¶hµJħµ Ì µJº$¶À Í Ù
· ·
¶ÖµuÆ2µJº$¶Â¸}ĵJħµ Ì µJº$¶f¿§º ÏpxÖµJµ Ì ¸ Í µbº¼àº¸¶Î¸}ĪÀÇħ¿¡¶¶¿§ºËÏ
SL(2, Z) ·
Ó»µbÖ¸/ðµ×¶¼<ÆJ¼}º À¿ÁʵJ£¶ÖµJµuÆJ¸½ÀµzÀ95
= 5H C
Γ̃ ' Γ
Ï pxÖµJµ9¸}µ\Ⱥ¿§¶µJÄ ÍÐÌ ¸}º Í ÀÎ ÆÖ
V
Γ̃
¸}ºÊضֵ Í Ê¿,µJÂ Í ¸QÆÖ ¸}¸½Æ'¶µJÂ
·
¼½Ñ Ï?W¼½ÂTµ/¸½ÆÖ>ÀÎÆÖQÆÖ¸}¸½Æ'¶µJÂZ¶ÖµJµVµJÒ¿ÁÀ¶ÀT¸\κ¿ ç ε9áÎÇ඼ ¿Á¸¶¿§¼½º ¸}Ä Ì ¼½ÂÇÖ¿ÁÀ Ì Àâ
Γ ·
¾ ¼ÊÎÄÁ¸} ÏÔoºÊµJµ/Ê ¶J¸ ,}µ:¶Öµ ç μ}¶¿ÁµJº$¶ o ¼½ÑV¶ÖµØκ¿¡Ã°µJÂÀ¸}ÄxµJħÄÁ¿§Ç¶¿ÁÆ
j Ì SΓ̃ Ù Ö¸½À£¶Öµ\À¶ÂÎ Æ'¶Îµ\¼½V → H/Γ
Æ2ÎÂýµ u T
Ï *
o f
¶ ?
Ñ <
¸ È
Â
¸
¶ §
¿ ½
¼ Ø
º V
Õ ¿¡¶Öɸ<Àµ/Æ2¶¿§¼½ºæ¸}ºÊØÕV¿¡¶Ö
E → H · Í Γ̃ ·
˽µJºµ/¿ÁÆfÈ µJÂÀhÀ Ì ¼$¼}¶Ö:µJħħ¿§Ç¶¿ÁÆbÆ2ÎÂðµ/ÀJÏ!pxÖµ Ì ¼½º¼Ê¼ Ì\Í ¼½Ñ ¶Ö¿ÀhÈ Â¸¶¿§¼½ºdá¼zðµJÂT¶Öµ
· ·
¼½Ç,µJºéÆ2ÎÂðµ âu¿ÁÀ Ï»rT¼ Ì Ç¸½Æ'¶¿§Ñ Í ,½µJµ/Ç¿§ºËɶֵ:À¶ÂÎÆ2¶Îµ>¼½Ñf¸º
B = H/Γ Γ̃ ' Γ Vo
µJħħ¿§Ç¶¿ÁÆfÈ Â¸¶¿Á¼}ºÉá¼zðµJ â?¸}º Êֵܶ Jµ/¼9Àµ/Æ'¶¿§¼½º>¸½ÀZ¸ ¼zðµ½Ïo*¶T¿ÁÀTÆ2ħµz¸}妅 ¸¶
· M = H/Γ ·
¶Ö¿ÁÀfÆ2¼½º À¶ÂÎÆ'¶¿§¼½º¹¿ÁÀ ¿§Â¸¶Γ¿§¼½º ¸}Ä§Ä Í Îº¿¡Ã°µJÂÀ¸ÄÏhoºÊµJµ/Ê ¿§Ñ?¶ÖµJµ\¿ÁÀf¸<Å°¸½ÆJ¼ ¿Á¸}º¹µJÄÁħ¿§Ç¶¿ÁÆ
· Ù ·
È Â¸¶¿Á¼}º 0 ÕV¿¡¶Öֵܶ£Ë}¿§Ã°µJº Ì ¼½º¼Ê¼ ÌuÍ Ë½Â¼½ÎÇ ¶ÖµJº
¶Öµ/µx¿ÁÀ¸×¸¶¿Á¼½º¸}ÄÈ µ/ÂÕV¿ÁÀµ
· V Γ̃ ·
Ì ¸}Ç V →V 0 ÕVÖ¿ÁÆÖØ¿À£ÂµJ˽Îĸ}£¼}ºØ¶Öµu˽¼½ÎÇħ/¿ ,½µuǸ}¶Àx¼½Ñ ¸º Ê
V 0Ï
V
= 5H C
p ֵJµ
µ2Ò¿ÁÀ¶Àb¸Qħ¿ÁѶ¿§ºË 0
x
Γ 'Γ·
ζ 0
Γ 6' Γ̃
Ï×pxÖµÜÆ2¼½Âµ/ÀǼ½ºÊ¿§ºË>ÀÎÂѸ½Æ2µ/À
¸}µb¼ ¶¸}¿§ºµ/ÊØÑÛ¼ Ì ÀÎÂѸ½Æ2µzÀx¿§ºærh¸½Àµ . Í ¸ºÐµ2ðµJºÐºÎ Ì µJ£¼}Ñ¥¶ÕV¿ÁÀ¶ÀJÏZpxÖ$Î Àh¶Öµ
SΓ̃ · · ·
Àµ2¶
¼½ÑVÀÎÆÖåÀÎÂѸ½Æ2µ/À\¿À9Ǹ}¸ Ì µ2¶Â+¿ JµzÊ Í ¸ÉÀ ÍÌàÌ µJ¶Â¿ÁÆ>ǼzÕhµJÂ
¼}Ñ 1 á Ì ¼ÊÎħ¼¹¶Öµ
· P
¸½Æ'¶¿§¼½ºÐ¼½Ñ¥¶ÖµuȺ¿¡¶µuË}¼}ÎÇؼ½Ñ?¸}ζ¼ Ì ¼½ÂÇÖ¿ÁÀ Ì Àx¼½Ñ¥¶Öµbµ Ì µ/ÊʵzÊ ¾Ë½Â¸}ÇÖ,â'Ï
· j
= 5H C = pxÖµ\˽µ/ºµJ¸}ÄÆJ¸½Àµ½Ï^rT¼½ºÀ¿ÊµJÂf¶Öµ\κ¿¡Ã°µ/ÂÀ¸}Ä¥µJħħ¿ÁǶ¿ÁÆ
Æ2ÎÂðµ u
E →H
Ë}¿§Ã°µJº
½¸ À
¸ ç Î ¼}¶¿§µ/º°¶Ü¼½Ñ d
Ï x
p
Ö :
µ ½
¸ '
Æ
¶ Á
¿ ½
¼ é
º ½
¼ Ñ ½
¼ º ¿À
C × H · Í Ze1 ⊕ Ze2 Ze1 ⊕ Ze2 C×λ
˽¿¡Ã°µJº Í
·
e1 (z, λ) = (z+1, λ),
e2 (z, λ) = (z+λ, λ)
áÖµJµ âÏØpxÖµ<˽¼½ÎÇ ¸½Æ'¶Àu¼½º u À¶¸ ¿§Ä§¿+J¿ÁºËɶֵQÀµ/Æ2¶¿§¼½º
·
Ï rT¼½ºÀ¿ÊµJÂf¶Öµ ç μ}¶¿§µJº$¶×¼½Ñ?¶Öµ\κ¿¡Ã°µJÂÀ¸}ĵJÄÁħ¿§Ç¶¿ÁÆÜÆJÎÙÂðµ u
(z, λ) ∈ C × H SL(2, Z) E
u ÏVÓ»µ
(0, λ) E → H · Í Γ0
˽µ2¶Z¸}ºà¼½Ç,µJºàÀÎÂѸ½Æ2µ 0 ¸½Ê Ì ¿¡¶¶¿ÁºË\¸bÈ Â¸¶¿§¼½º¹áÛÕV¿¡¶Ö<¸uÀµ/Æ2¶¿§¼½ºâ¥¼zðµJÂ!¶Öµ£¼½Ç,µJº<Æ2ÎÂðµ
V ·
ÕVÖ¼½Àµ9˽µJºµJ¿ÁÆ9È µJÂ^¿ÁÀ׸>À Ì ¼¼}¶Ö渶¿§¼½º¸}Ä?Æ2ÎÂðµ½Ï×pxÖµ Ì ¸Ç u
B 0 = H/Γ0 Ù · E → V0
¿ÁÀ^¸ Ì ¿§Èµ/Êæ¼zýµ/Âb¸>Ê¿¡Ã¿ÁÀ¼½Â ÕVÖ¿ÁÆÖÚÖ¸½À׸¶×ÄÁµ/¸½À¶×¶Õh¼:Ö¼}¿+J¼½º$¶¸}Ä!Æ2¼ Ì Ç,¼½ºµ/º°¶À95
D D
áÛÕVÖ¿ÁÆÖÉ¿ÁÀ^¸QÀ Ì ¼¼}¶Ö JµJ¼}¾Àµ/Æ'¶¿§¼½ºÉ¼½Ñ 0 ⣸}ºÊ ÕVÖ¿ÁÆÖ¹ÇÂJ¼ 'µ/Æ2¶À£¶¼ 0 ÕV¿¡¶Ö 0
V → B0 D1 B
ʵJ˽µ/µ<ãи}ºÊd¿ÁÀ\À Ì ¼¼}¶ÖÔ¸}º ÊÚκ¸ Ì ¿§Èµ/Êd¼zýµ/ 0 ¿§ºd¶ÖµQÆ2¼ Ì Çħµ Ì µ/º°¶9¼½ÑxÀ¿§ºË½ÎÄÁ¸}Â
B
D # !Y #B! ,
F3 −→ π1 (V o \ D)
↓ ↓
Z/2 × π1 (B o ) → Z2
↑ ↓
Ker(χ) −→ Γ0
pxÖµ^˽¼½ÎÇ ¿ÁÀx¸9ÀΠ˽¼½ÎÇ>¼}Ñ ¼½Ñ¿§º ʵJÒ < ¸}º Ê<¿¡¶£¿ÁÀT¿ÁÀ¼ Ì ¼½ÂÇÖ¿ÁÆ
Ker(χ) · Z/2 × π1 (B o )
¶¼
Ï x
p
Ö Á
¿ V
À §
¿
º
Ê
Î 2
Æ /
µ £
À ¸ Ì }
¸ Ç Ï
π1 (B o ) Ker(χ) → Γ0
pxÖµuÆÖ¸}¸½Æ2¶µJ ʵJȺµ/ÀV¸<ʼ½Î ÄÁµ\Æ2¼zðµJ ¼½Ñ ÏTpxÖµuǵ/¿ Ì ¸}Ë}µ\¼½Ñ?µ2ðµJ Í
χ · W o (χ) V o
È µJ 1 ¼½Ñ o Á
¿ ×
À }
¸ Ú
º J
µ §
Ä §
Ä Á
¿
Ç
¶ Á
¿ à
Æ 2
Æ
Î
 ½
Ã
µ
 /
µ }
¸ §
Ä ¿
+ J
z
µ Ú
Ê }
¸ b
À :
¸
À
¶ ¸}º ʸ}ÂÊæʼ½Î ħµÜÆ2¼zðµJÂ×¼½Ñ
· P V → Bo ·
¶Ö¿ÁÀ 1 ÏbpxÖÎ ÀfÕhµ
¼ ¶¸}¿§ºÚ¸}ºÚ¼½Ç,µJºÚÀÎÂѸ½ÆJµ V
Õ ¡
¿
¶ d
Ö :
¸ À¶ÂÎÆ2¶Îµ
¼½ÑZ¸}ºæµJħÄÁ¿§Ç¶¿ÁÆ
P · W o (χ)
È Â¸¶¿Á¼}º ¼zðµJ o Ï ifħÄfÈ µ/ÂÀQ¸}µÉÀ Ì ¼¼}¶ÖªÏ pxÖµ Ì ¼½º¼Ê¼ Ì\Í ¼½Ñ׶ֿÁÀQµJÄÁħ¿§Ç¶¿ÁÆ
· B · Γ̃
È Â¸¶¿Á¼}º>ÆJ¼½¿§ºÆJ¿ÁʵzÀZÕV¿¡¶Ö<¶Öµ^¿ Ì ¸Ë½µ×¼½Ñ ¿Áº Ï?o*Ñ ¿ÀTº¼}¶Tµ ç Î ¸}Ä ¶¼\¶ÖµVÕVÖ¼½Ä§µ
· Ker(χ) Γ0 Γ̃
¼½Ñ 0 ¶ÖµJºF¶ÖµÚÀµ ç εJº Æ2µ ë < ÀÇÄÁ¿¡¶ÀJÏ pxÖ¿ÁÀ:¸}ÄÁÀ¼ Ì µ/¸}ºÀQ¶Ö ¸¶Q¶ÖµÚÆÖ ¸Â¸}Æ2¶µJ ¿À
Γ χ
¿§ºÊÎ Æ2µ/Ê:Ѽ Ì Ï0
Γ
pxÖµàÆÖ ¸}¸½Æ'¶µJ Æ2¼ ÇħµJ¶µJÄ Í ÊµJȺµzÀ^¶Öµàħ¼Æ/¸}Ä Ì ¼½º¼Ê¼ Ì\Í ¸Â¼}κ ÊɶֵÜǼ½¿§º$¶À
χ Ì
¿§º Ï?k^¼zÕ Õxµ^ÆJ¼ Ì Ç ¸½Æ'¶¿ÁÑ Í o ,½µJµJÇ¿§ºË\¶Öµ×À¶ÂÎÆ2¶Îµ^¼½Ñª¸}ºQµ/ħħ¿§Ç¶¿Æ×È Â¸¶¿§¼½º
M \ Bo V ·
¼zðµJÂ Γ ¸}ºÊ ,½µ/µJÇ¿ÁºËQ¶Ö µ /µJ¼:Àµ/Æ2¶¿§¼½ºªÏ^eª¼ÆJ¸}Ä§Ä Í ¿§ºÉ¶Öµ
ºµJ¿ÁË}Ö ¼}ÂÖ¼¼Êм½Ñ
·
Æ2¼½Âµ/ÀǼ½ºÊ¿§ºË:¶¼ÐÀ¿ÁºË½ÎÄÁ¸}ÂuÈ µJÂÀ×¼½ÎÂbµJÄÁħ¿§Ç¶¿ÁÆ<È Ù Â¸¶¿§¼½ºÚ¿ÁÀ ¿§Â¸¶¿Á¼½º¸}Ä§Ä Í ¿ÁÀ¼ Ì ¼½ÂÇÖ¿ΓÆ
MΓ b ∈M
· · ·
¶¼ ¸éÀ¶¸}ºÊ¸}ÂÊ È Â¸¶¿Á¼½º ÑÛ¼ Ì ¶Öµæt^¼Ê¸}¿Á¸åħ¿ÁÀ¶zÏ pxÖµÚÆJ¼}µ/ÀÇ,¼½º Ê¿ÁºË ¿§Â¸¶¿§¼½º ¸}Ä
· ·
¿ÁÀ¼ Ì ¼}ÂÇÖ¿ÁÀ Ì ¿À ¿§Âµ/Ë}ÎÄÁ¸}Â>¼½ºF¶ÖµæÆ2¼ Ì ÇÄÁµ Ì µJº$¶>¶¼Ô¶ÖµæÀ¿§ºË½Îĸ}Â>È µJÂ/Ï pxÖµ JµJ¼
· ·
Àµ/Æ'¶¿§¼½ºÐ¿À£ÇµzÀµJÂðµ/ÊØκ ʵ/Âx¶Ö¿ÁÀ ¿§Â¸¶¿Á¼}º ¸}Ä¿ÁÀ¼ Ì ¼½ÂÇÖ¿ÁÀ Ì ÏTkf¼zÕ ÕxµuÆJ¸}º Ì ¼Ê¿ÁÑ Í ¼½ÎÂ
·
¿§º¿§¶¿Á¸}ÄÈ Â¸¶¿§¼½º
ÿ¸f¶Ö¿ÁÀ?È µJÂÕV¿ÁÀµT¶Â¸}ºÀѼ½Â Ì ¸¶¿§¼½º<¸ÄÁ¼½ºË׺µJ¿§Ë½Ö ¼½ÂÖ¼$¼ÊÀ¥¼½Ñ,À¿§ºË½ÎÄÁ¸}Â
· · ·
"!$#%"& ¤
E SΓ̃
↓ ↓
B → MΓ → P 1
eªµ2¶ ¸}ºÊ á¶ÖµVÇ,¼½¿§º$¶ÀZʵJÄÁµ2¶µzÊÜѼ
Ì
B o = B \ j −1 {0, 1, ∞} M o = M \ j −1 {0, 1, ∞}
¸Âµ^¶Öµ ¸}ºÊ ¾)ðµ/¶¿ÁÆJµ/Àh¼½ΓѶֵ Γ¾)¶Â¿ÁΓ¸}ºË½ÎÄÁ¸¶¿§¼½º,â'ÏpxÖµJµ^¿Àx¸9º ¸¶Î¸}Ä Ì }¸ Ç
MΓ AÙ B I j
¸}ºÊ>¸
Æ2¼ ÌàÌ Î¶¸¶¿§Ã½µbÊ¿Á¸}˽¸ Ì ¼½Ñ Ì ¼½º¼Ê¼ Ì\Í Ö¼ Ì ¼ Ì ¼½ÂÇÖ¿ÁÀ Ì À 5
π1 (B o ) → π1 (MΓo )
π1 (B o ) −→ Γ0
↓ ↓
π1 (MΓo ) −→ Γ
¸}ºÊܸ Ì }¼ º¼Ê¼ Ì\Í Ö¼ Ì ¼ Ì ¼½ÂÇÖ¿ÁÀ Ì Æ2¼ Ç ¸¶¿ ħµxÕV¿§¶ÖֵܶxǼJ'µzÆ'¶¿§¼½º
π1 (MΓo ) → Γ0 Ù Ì ·
Ï
Γ0 → Γ
W?¿Áº¸}Ä§Ä Í Õhµ£Õx¸}º$¶¶¼\ÆJ¼ Ì Ç ¸}µ£¶ÖµVħ¿§ÑÛ¶¿ÁºË9¼½Ñ,¶ÖµVµJÄÁħ¿§Ç¶¿ÁÆfÈ Â¸¶¿§¼½º ¶¼ ¸}º Ê Ï
Ù · SΓ̃ B E
= 5H C L Γ̃ ' Γ
ϹpxÖµJº
E
¿ÁÀ:áÈ µJÂÕV¿ÁÀµ ¿§Â¸¶¿§¼½º ¸ÄÁÄ Í âu¿ÁÀ¼ Ì
· ·
¼½ÂÇÖ¿ÁÆ<¶¼É¼½ºµ<¼½Ñx¶Öµ
¾ Ì ¼ÊÎÄÁ¸}ÂàÀÎÂѸ½Æ2µzÀ
Æ2¼½º À¶ÂÎÆ'¶µ/Êå¿ÁºFrh¸½Àµ . ¸ ¼zðµ º ¸ Ì µJÄ Í ¶¼æ¶ÖµØÀÎÂѸ½Æ2µØÆ2¼½Âµ2¾
j · Ù
ÀÇ,¼½º Ê¿§ºË
¶¼Ü¶Öµ\Àµ/Æ'¶¿§¼½º Ï
Γ → SL(2, Z)
= 5H C p Öµd˽µJºµ/¸}ÄbÆJ¸½Àµ°Ï pxÖµJº
x
E
¿ÁÀ»áÈ µJÂÕV¿ÁÀµ ¿§Â¸¶¿§¼½º¸}ÄÁÄ Í â>¼ ¶¸¿Áºµ/Ê ¸½À
· · ·
¸dÆ2¼ Ì Ç,¼°À¿¡¶¿§¼½ºF¼½Ñ^¸dÇÎÄ§Ä ¸½Æ-,å¼½Ñ׸dÆ2¼½Âµ/ÀǼ½ºÊ¿§ºË ¶¼ Ѽ}ÄÁħ¼zÕhµ/Ê Í ¸}º µ2ðµJº
· SΓ̃ B ·
$º Î Ì µJ£¼½Ñ¥¶ÕV¿ÁÀ¶À/Ï
·
χb χb
I0 I∗0 6
∗
In n In n+6
II 2 IV∗ 8
III 3 III∗ 9
.
IV 4 II∗ 0
s µ/µ
f ¿ÁÀà¸ÚÀ Ì ¼¼}¶Ö È µJ ¿ÁÀà¸ Ì Îħ¶¿§Çħ¿ÁÆ/¸¶¿¡Ã°µ¹È µJÂÜÕV¿¡¶Ö ¾*¿§Âµ/ÊÎÆJ¿ ÄÁµÐÆ2¼ Ì ¾
I0 · Ù In · n ·
Ç,¼½ºµ/º°¶ÀJÏépxÖµ:¶ Í Çµ/À ¸}º Ê Æ2¼½Âµ/ÀǼ½ºÊÔ¶¼Ú¶ÖµÐÆJ¸½ÀµÐ¼½ÑVǼ}¶µJº$¶¿Á¸}Ä§Ä Í Ë½¼$¼Ê
II, III IV
µ/ÊÎÆ'¶¿§¼½ºªÏVcɼ}µ9ǵ/ÆJ¿ÁÀµJÄ Í ¶Öµ9ºµJ¿§Ë½Ö ¼½ÂÖ¼¼Êм½ÑÀÎ ÆÖæ¸QÈ µJÂf¿À^¸Éá)ʵ/À¿§ºË½ÎÄÁ¸}¿+/¸¾
· ·
¶¿§¼½ºÚ¼½ÑZ¸$â ç μ¶¿§µJº$¶b¼½ÑZ¸>ħ¼Ù ÆJ¸}ÄÈ Â¸¶¿§¼½ºæÕV¿¡¶ÖdÀ Ì ¼$¼}¶ÖÚÈ µJÂÀ Í ¸}ºÚ¸}ζ¼ Ì ¼½ÂÇÖ¿ÁÀ Ì
· · ·
¼½Ñ!Ⱥ¿¡¶µ9¼½ÂʵJÂzÏfpxÖµ
ÆJ¼½Âµ/ÀÇ,¼½º Ê¿§ºËQ¼½ÂʵJÂ^¿ÁÀ Ѽ½ÂV¶Öµ9Æ/¸½Àµ ¸}º Ê ¿Áº¹¶ÖµÜÆJ¸½Àµ/À
4 III 3
Ï£pxÖµ\È µJÂÀV¼}Ñ?¶ Í Ç,µ ∗ áµ/ÀÇÏ ∗ ∗ ∗ ∗ ¸}µ\¼ ¶¸}¿§ºµ/ʹÑÛ¼ Ì È µJÂÀ
II, IV · I , I , II , III , IV ) · · I
áµzÀÇÏ Í ¶ÕV¿Á0À¶¿§ºËdáÆÖ¸}ºn Ë}¿ÁºË<¶Öµ\ħ¼ÆJ¸}ĸζ¼ Ì ¼½ÂÇÖ¿À Ì Í ¶Öµ\¿§º°Ã°¼}0¾
I , IV, III, II) · ·
ħζ¿§¼½º n ¿§º:¶Öµbħ¼ÆJ¸}Ä Ë½Â¼½ÎÇØÀ¶ÂÎ Æ'¶Îµb¼½Ñª¶Öµ×È Â¸¶¿§¼½ºâÏ?Ó»µuÀÖ¸}ÄÁÄÆJ¸}Ä§Ä ¶Öµ Ì
x 7→ −x ·
¾ " 7:3 ;T¿§ºØ¶Öµ\Àµ ç ε/Ä)Ï
∗
89724: p ÖµÐħ¼ÆJ¸}Ä£¿§º$Ã}¸}¿Á¸}º$¶
x
χb
Ö¸½Àà¸ Ì ¼½º¼Ê¼ Ì\Í ¿§º$¶µ/ÂǵJ¶¸¶¿§¼½ºÏFiVº Í
µJħµ Ì µJº$¶:¼}Ñ\¸dÄÁ¼Æ/¸Ä Ì ¼½º¼Ê¼ Ì\Í ¸¶ Ö¸½À>¸ Ì ¿§º¿ Ì ¸}Ä^µJǵ/ÀµJº$¶¸¶¿§¼½º ¸½ÀQ¸
b ∈ Bs
ǼÊÎÆ'¶Ü¼½ÑVµ/ħµ Ì µJº$¶À<Æ2¼½3º 'Î˽¸¶µ/ÊÔ¶¼ 1 1 ¿§º ÏåpxÖµ>ħµ/ºË}¶Ö ¼½Ñ£¶Ö¿ÁÀܵJǾ
SL(2, Z)
µ/ÀµJº$¶¸¶¿§¼½º µ ç Î ¸}ÄÁÀ Ï pxÖ¿ÁÀàµ2ÒÇÄÁ¸}¿§º À
0 ¶1ֵص ç θ}ÄÁ¿¡¶ Í 5:¶ÖµÐµJħµ Ì µJº$¶
χb χ b∗ = χ b + 6
−1 0
¿ÁÀ׸QǼÊÎ Æ'¶^¼}Ñ µ/ħµ Ì µJº$¶ÀbÆ2¼½ºJ'ÎË°¸¶µ/Êж¼ 1 1 áµJÄÁµ Ì µJº$¶¸} Í
0 −1 ∈ SL2 (Z) 6
Y×µJֺضÕV¿ÁÀ¶À'âÏ 0 1
χ(SΓ̃ ) = 3v0 .
G v0
. ;2 $*4 ''. 2. ;. ) 7 4 ë 4<#%72 4 #"7 ; 794 $HG
j
M &($(') )/0'3 ;) 3G0/ 7;I .4<#Ðá & . 2".<& 0*)â
χ(SΓ̃ ) = 3(v0 + 2)
G:$'3& ; 0 . M<!50'3-0'&(79407:3NG0*& .) 4Ï
/
"!$#%"& ¤
®,¬Z³%
ì
"!$#&%')(+*"! !-,/.*10)),2 35467
98;:<=<>? @î"ACBD@î"EDFìG1EAIH2
ECKJLM35ONQP?5R
TSUNQQVM
XWYZ\[M?]X"(9.*10^02"(_.a`6Qb;,2cDdfe*10)),2TgMQhYijVkVk$
8l"NkPm+"Nkjno4$j6Pk_p_kqhYijNkY?:Irkj6hYOs7[Tkth<3ukj6s'v
wyxMzYkn{F ìGY|}DH2
@"K[^p 356~jfTu!*Y`%,Qb/)!,2%7"! ,Oe9f
9(+*Cb"%(*Y`?010`/"(^%'0Mu` q)Wa
vK::I
?? =? /E íYGCBE îJí*F ìG î"GIH2
}5 3uzYhYzYmzY6zWa_SUNQkzWaxT4?<{Vk2PjnYf{#&*f%7"!a*Y` %f\Oe_(+C"c` %5Oe`` %.<%'0M52dQ*f%7"! ,
%f
9bIQ(+"!a"dQ(^Y<p_zYm\< 4N
6~DVQj6V{=?UT>? ìzìA1Cs ìzì'íYAF'E"AYA1E1H2
C kjm?1 Y8$zYkh1? (+Cf
¡{"cDd¢'£;*"!% eY`",¤*"!a+]T"(_.`62b9 cDdfe*10)),2gMkhYij6VQVk
¤8-"NQP? 4jPk_p
kqhYij6NQYW1zYfE îIa:Irkj6hYOs7[Tkth*F ìGYG"}DH2
í"K[^1
^1 VknYzWVknDj6nDP?I21:IP ¥QWDj2P?¦
` §IC2dQ*"%'0,2cDdfe*10)),2RM4kQ1NurQzi 6m¨Vuj+m+"NkPs
m+"NkjV 4 m1N2"jkNkjzYV[TzY7 @1oFf¤4VkVkjtH2 ì½@ ì)BD/E íY@E îED[_/v_ 5)8$zYVkzw
*F ìGY|YGIHQ
M©
zI jQM!ª02"(_.*10*"!a*Y` Y%'0,2cDdfe*10)),«k«k¬_«k«k«2X
?MzY¥98-"NQP?
F'E1Hy*F ìzG íY@IHQ
/ íY@C}B í1/E í® j6ij?a ¯°*F ìzG íY@IHQ,
ì)BI}YA
|"
±{4izNQqnI~Y c<'§dQ"c".§dQ
ISMkzDjhYV&z¥{NQP_ 1NQk "NkjzY RMzYhYkVQV&zY¥8lCNQPs
m+"NkjjVF'²<³Qj62P? ìGYG}DH2<@YAYGCBD½@ ìJîI<3ujknDP ´4Vk 35Vk7*F ìGYG1YH2
G";µ{
KudQY
)!"%/Q0)¶µ{
Q"d)OeM·^2,2,Q%!,{¸ ¹M!Ce*"!<,)"?Y±M1:I2PrVY±8°:K±Nk4Quv_z"NQV
W1zY7<EAYAaRumikjh
j6W SMkVkV{*F ìGG}DH2
ìA"-¤Q"(o)fd)%70¤*Y`"%,&¦¤0f%7"! ,21?1±M:I2PrV5+SU1±{zD2P n1±8;:^±)NQ4k¤v
zNQVYW1zYf
E"}IEDaRumikj6hY
j6W SMkVkV{*F ìGYG îYH2
ìzì¨p^I:IP i "N{M!\
¤0`*",2,Q% u02*f%7"!OeU.a`*"!a¤d22),¤)
)%d*Y`6"%,¤"dC2%f,)15P
p_kzNQPs
j2nªNQPzYk~ºzY¥+VkVQj6V»?¼ ¥1NQVZFf±4mj61~1× ìGYGY@IHQb
ì'íYGCB ìJîzî1K±zYzY½8l"NkP?:IzDY
±Nk4Q9v
zNQ^:I<EAYAaRumikjh
j6W SMkVkVRumikjhYF ìGYG}DH2
D # !Y #B! KY
!"#$%'&()+*, -/.0#1!"#$32
465798 63:<;>=
&(?)@*A -B%'&(* 7DC6C7D4
.(#$6E;F?3!
izYhYzYm¨zYz?¤
G jm¨V 1~4? 4