Professional Documents
Culture Documents
!"$#$%
&' ()*
+
,-/.021334
5769828;:<82=?>A@B69CEDGFIHJDGKMLNOL2DGPQDSR
57DGFTHU=GCNOL'VU69WQXY:Z>\[]LNO^`_aHU=GCE69K
bdceEfhgjikcbmlngjoqp
²M³µ´{¶O·y¸ª¹qºt»j¼·$½)¹\¶
c¾J¿ÀÁµÂÄÃÅ¿¢¿Á;¾JƪÁvÃ{ÇÅ;È¿ÀÁµÉyÁ/ÊËÌÁ;¿ÇÆJÊÍEËaÊÎÏ ÐjÅÑ ÃyÒ;Á/Å?ÊyÍnÑϾ Ò'¿ÏÇÁ/ÎJo9Ð Á/ËaÃy¾¾
ÅÏÇÍÃÒ2Á/Å\À Ã/ÓªÁnÅÁ;Á;¾ÌÃy¾GÐ ¾ Ò2ÇÁ/ÃÅÐľÉhÐľª¿Á;ÇÁvÅ¿!Ãy¾ ÎSÔ$¾ÊvÕ9¾ÅÊËaÁnÅ¿ÇРԨР¾ÉhÑÇÊÉÇÁ/ÅÅnÖ×{Ø{ÙÐ ¾
Ò2ʾ¾Á/Ò'¿Ð ʾÕ9Ð¥¿ÀaÑÀ$ÆÅÐÄÒyÚ Å\¿ÀÁ;ÊÇÐÄÁ/ÅÖ ×{Û{Ù*ÜOptÀÐÄÅ!ÃyÂÄÅÊ?Ò;ʾÒ2Á/ǾÅqÅÊËaÁnÉÁ/¾Á;ÇÃyÂÄÐ Ý/Ã{¿ÐÄʾÅqÊÍ
ËÌÊÎÏ ÐÅÑÃÒ2ÁvÅMÊÍÑϾ Ò'¿ÏÇÁ/ÎSÅÏÇÍÃyÒ;Á/Å;È{ РÔÁEËaÊÎÏ ШÅÑ ÃÒ2Á/Å\ÊÍÅ¿ÃyÞ ÁE˵ÃyÑÅ/È{ÊÇ\ËaʨÎÏÂÄÐ
ÅÑÃÒ2ÁvÅSÊÍo9Ð Á/ËaÃy¾¾ßÅÏÇÍÃÒ2Á/ÅSÕ9Ð¥¿ÀßÅÑÐ ¾kÖ ×àvÙ?Ö ávàvÙ*Ümc*¾â¿ÀÐÄÅGÑ ÃyÑ,Á;Ç/ÈOÕnÁZãÇÅ¿Â ÆäÅÀÊvÕ
¿À Ã{¿?¿ÀÁa¿ÊÑÊyÂÄÊÉyÐÒ;ÃyÂÍÇÃyËaÁ2ÕnÊÇÔdÕ9ÀÐÄÒÀåÀ Ã/ÓªÁµÃy  ÊvÕtÁ/ÎåbäÜæhʾ$¿ÅÁ2ÓÐÄÒÀç¿ÊdÒ2ÊËÌÑÏ¿Á
Ð ¾UÃÌÒ;ÊËGÞÐ ¾ Ã{¿ÊÇÐÃ{ÂÕtÃ/Æ£ÅÊËaÁGeEÀÁ;ǾUÒ2ÂÄÃÅÅÁ/Åtʾ ÃÔÁ;ÆZÑ,ÊÐ ¾$¿ÊÍMÀÐÄÅÑÇʨÊÍMÊÍ
Mg,n è
éêÐ¥¿¿Á;¾Ú ÅnÒ;ʾ{ëÁ/Ò'¿ÏÇÁÌÖ×{Û{Ùì!Á2í¨¿Á;¾ ÎÅj¿ÊG¿ÀÁÅÁ2¿¿ÐľÉÌÊÍfhÏÇÕ9Ð¥¿ÝÅÑ ÃÒ2Á/Å;ÈÃy¾ ÎZÅÁ/Ò2ʾ ΠÆ
ÕnÁUÅÔÁ2¿ÒÀîÃy¾ïÃy¾ Ãy ÊÉyÆßÞ,Á2¿ÕnÁ;Á/¾ïfhÏÇÕ9Ð ¿ÝdÅÑ ÃÒ2Á/ÅaÊyÍ?Ò'ÆÒ2 ÐÄÒdÒ2ÊvÓªÁ;ÇÐ ¾ÉªÅµÃy¾ ÎßËaʨÎÏÂÄÐ
ÅÑÃÒ2ÁvÅÊÍo9ÐÄÁ;˵Ã{¾¾ZÅÏÇÍÃÒ;Á/Å!Õ9Ð ¿À£ÅÑÐľÜqc¾ZâÍðÊÇ¿ÀÒ;ÊyËaÐ ¾É¢ÕtÊyÇÔ,È$ÊÏÇjÇÁ/ÅÏÂ¥¿ÅjÕ9Ð Â Â,ÞÁ
ÏÅÁvÎZ¿ÊµÅ¿ÏÎÆñ¿ÀÁ¢Ò;ÊÀÊËaÊ ÊÉyÆ£ÊÍ\fhÏÇÕ9Ð¥¿ÝSÅÑ ÃÒ2Á/ÅtÍÊÇ9Ò'ÆÒ2 ÐÄÒSÒ2ÊvÓªÁ;ÇÐ ¾ÉªÅ;Ü
fhÏÇÕ9Ð¥¿ÝñÅÑ ÃÒ2Á/ÅSÞÃÅÐÒ;Ãy ¥ÆäÒ;Êy¾ ÅÐÄÅ¿ÐľäÁ/ò$ÏÐ ÓyÃy Á;¾ Ò2ÁZÒ2ÂÄÃÅÅÁvÅSÊÍtÇÃyËaÐ ãÁvÎäÒ2ÊvÓªÁ;ÇÐ ¾ÉªÅ
Þ,Á2¿ÕnÁ;Á/¾ó¿*ÕnÊUÒ2ÊËaÑÃÒ'¿¢o9Ð Á;˵Ãy¾¾çÅÏÇÍÃyÒ;Á/Å;ÈÕ9ÀÁ/ÇÁ ÐÄÅÁvòªÏÐ¥ÓyÃy Á/¾ª¿?¿Ê
(p : S → T1 )
ÐÄÍM¿ÀÁ/ÇÁ?Á2íÐÄÅ¿Åt¿*ÕtÊÌÞÐ ÀÊ ÊËÌÊÇÑÀÐÄÅ˵Š1 1 Ãy¾Î
(p2 : S2 → T2 ) f :S →S h:T →T
ÅÏÒÀµ¿ÀÃ{¿ ÜOéåÁÊÍ¿Á;¾£ÎÁ/¾Êy¿ÁÞ$Æ ¿ÀÁÉÁ;¾¨Ï 1ÅjÊÍ¿À2Á¿Êy¿ÃyÂÅÑÃÒ21ÁªÈ¨Ãy¾Î 2
p2 ◦ f = h ◦ p 1 g
ÞªÆ 0 ¿ÀÁÉÁ;¾¨ÏÅEÊÍ¿ÀÁhÞ ÃÅÁÜ!ptÀÁ2ÆñÃyÇÁÇÁ;ÂÄÃ{¿Á/ÎZÞ$Æa¿ÀÁo9Ð Á;˵Ãy¾¾¨ô$fhÏÇÕ9Ð¥¿ÝÍÊÇËGÏÂÃõ
g
0 ÈÕ9ÀÁ/ÇÁ ÐÄÅt¿ÀÁSÎÁ/ÉÇÁ;Á?ÊÍM¿ÀÁSÒ2ÊvÓªÁ;ÇÐ ¾ÉÈÃy¾Î È¿ÀÁ¿Êy¿ÃyÂ
2g − 2 = d(2g − 2) + B d B
öS÷'øÄùúû÷øüýþÿú*ýø ÷þ*þü
ý)÷'øÄü
! " $#% ¯ }
&!'('
$ ¡
b
Hcomb 0 0
g,g 0 (G, K, R) → H (g, g , G, K, R) × P(R >0 )
G`04:R[65,BKa9E>;:;<40TGOGbJG`:61c[R02<4>6?dQ>75,9
5F>6Be>Z <2>6?dQ:D9
5f@TGU0YLg5,9,/
H0 (g, g 0 , G, K, R)×P(R b>0 ) S
5,9,7h>61i@5 ZT>DG`[j79
1J<T9
J10lk
m Ð ¾ Ò2Á£fhÃyÇÁ/Çô$æʾ$¿ÅÁ2ÓÐÄÒÀMÚ ÅS¿ÀÁ/ÊyÇÁ;Ë ÐÄÅÏ ÅÁ;ÍÏÂnÐ ¾ßÁ2íÑ ÐÄÒ2Ð ¿µÒ/Ã{ÂÒ2ÏÂÿРʾ ÅÊÍÒ2ÊÀÊ6
ËÌÊ ÊÉÐÄÒ/ÃyÂÐ ¾$ÓyÃyÇÐÄÃy¾$¿ÅtÊÍMËaÊÎÏ ÐÅÑ ÃÒ2Á/Å¢Ö {ÙjÖ ×{Ø{Ù*ȨÕnÁ?ÀÊÑÁh¿À Ã{¿ptÀÁ;ÊÇÁ;Ë áÜÄá?Ò/Ã{¾<ÞÁ
ÏÅÁ/ÍðÏÂ\Ð ¾m¿ÀÐÄÅhÎÐ ÇÁvÒ'¿Ð ʾMÈÍðÊÇÁ;íÃyËaÑÂÄÁGÐ ¾$¿Á;ÉÇÃ{¿ÐľɣÒ;ÊyÀÊËaÊ ÊÉyÆdÒ2ÂÄÃÅÅÁ/ÅhʾmfhÏÇÕ9Ð ¿Ý
ÅÑÃÒ2ÁvÅ;h Ü Ò'¿ÏÃy  ƪȿÀÐÅÐÄÅSÃy ÇÁ/ÃÎÆd¿ÀÁaÒ;ÃÅÁaÍÊÇÑÏ ÂÄÞÃÒÔmÊÍnÒ2ÂÄÃÅÅÁ/Å¢ÎÁ;ã¾Á/Îóʾó¿ÀÁ
ËÌÊÎÏ ÐMÅÑ ÃÒ2Á¢ÊyÍOÑϾ Ò'¿ÏÇÁ/Σo9ÐÄÁ;ËaÃy¾¾dÅÏÇÍÃÒ2ÁvÅ;Ü
ptÀÁãÇÅ¿nËaÊy¿Ð¥ÓÿРʾ£ÐÅEÐ ¾ZÍÃÒ'¿tÃÒ2ʾ{ëÁ/Ò'¿ÏÇÁÊÍgܪé Ð¥¿¿Á;¾çÖ×àvÙ,Õ9ÀÐÄÒÀ£ÎÁvÃyÂÄÅjÕ9Ð¥¿À
Ð ¾$¿Á;ÇÅÁ/Ò'¿Ð ʾ徨ÏËGÞ,Á;ÇÅSÎÁ;ã¾Á/ÎJʾçËaÊÎÏ ÐjÅÑ ÃÒ2Á/Å¢ÊÍnÑϾÒ'¿ÏÇÁ/ÎóoÐ Á;˵Ãy¾¾âÅÏÇÍÃÒ2Á/Å
Õ9Ð¥¿ÀGÅÑÐľÈÒ2ÂÄʪÅÁ;¥ƢÇÁ;ÂÄÃ{¿Á/οÊfÏÇÕ9Ð¥¿ÝjÅÑÃÒ;Á/ÅÊy Í ÃyÂÄÊyÐÅMÒ2ÊvÓªÁ;ÇÐ ¾ÉªÅÕ9Ð¥¿ÀSÒ'ÆÒ2 ÐÒ!ÉÇÊÏÑ Å;Ü
m Á/Ò'¿Ð ʾå×aÐÅÎÁ2ÓªÊy¿ÁvÎd¿ÊZfhÏÇÕ9Ð¥¿ÝÌÅÑÃÒ2ÁvÅ;Üc*¿¢Ò2ʾª¿ÃyÐ ¾ ÅÃZÒ;ÊyËaÑ Á2¿ÁG¿ÇÁ/Ã{¿ËaÁ;¾ª¿?ÊÍ
fÏÇÕ9Ð¥¿ÝñÅÑÃÒ;Á/Å¢ÍÊÇ¢¾Ê ¾ Ãy ÊÐÄÅSÒ;ÊvÓªÁ;ÇÐ ¾ÉªÅ;ÜZc¾ m Á/Ò'¿Ð Ê ¾ ÈMÕnÁZÅÀÊvÕ ÀÊvÕ ¿ÊdÃÎÃyÑ¿
m ¿ÇÁ;Þ,Á/Â)Ú Åj¿ÀÁ;ÊÇÁ/Ë ¿ÊÌÒ2ÊvÓªÁ;ÇÐ ¾ÉªÅtÃy¾ ε¿ÊÌÅ¿ÃyÞÂÄÁo9Ð Á;˵Ãy¾¾UÅÏÇÍÃÒ2ÁvÅ;Ü m Á/Ò'¿Ð Ê ¾ ÐÄÅnãÇÅ¿
õÇÁ;ӨРÁ;Õ Ê¾mÍÃ{¿ *ÉyÇÃ{ÑÀ Å ¿ÀÁ;¾mÕnÁGÉÐ¥ÓªÁS¿ÀÁGÉÇÃyÑÀÐÄÒ;ÃyÂOÒ2ʾ Å¿ÇÏÒ'¿Ð ʾóÊÍqÀÊ ÊËaÊÇÑÀÐÄÒ
ËaÃyÑ Å\ÞÁ2¿ÕnÁ;Á;¾ÌÒ2ÊËaÑÃÒ'¿!o9Ð Á;˵Ãy¾¾ÌÅÏÇÍÃÒ2Á/Å\¿ÊhÊÞ¿ÃyÐ ¾G¿ÀÁn˵ÃyÐ ¾G¿ÀÁ;ÊÇÁ/Ë Ð ¾G¿ÀÁn¾Ê¾
Ò2ÊËÌÑ ÃÒ'¿Ð ãÁvÎJÅÁ;¿¿Ð ¾É ptÀÁ/ÊÇÁ; Ë Ü $ì'ÜSc¾ m Á/Ò'¿Ð ʾ ¨ÈÕtÁÌÑÇÊvÓÁ¿ÀÁaÒ;ʾª¿Ð ¾¨ÏÐ ¿*ÆJÃy¾Î
ÎÁ/ÅÒ2ÇÐ Þ,Áñ¿ÀÁZÒ2Á/  ÏÂÄÃyÇÌè ÎÁ/Ò2ÊËaÑ,ʪÅÐ ¿Ð ʾßÊÍÎÁ/Ò2ÊÇÃ{¿Á/ÎåfhÏÇÕ9Ð¥¿Ý£ÅÑ ÃÒ2Á/Å;ÜmptÀÁZÒ2Á;  ÏÂÄÃyÇ
ÎÁ/Ò;ÊËÌÑʪÅÐ¥¿ÐÄʾaÐÄÅjÒ2ÊËÌÑ Ã{¿ÐÄÞ ÁÕ9Ð¥¿ÀÌ¿ÀÁÊÇÞÐ ÍÊyÂÎaÅ¿ÇÏÒ2¿ÏÇÁÜqptÀÁ9Ò2ʾ$¿Ð ¾¨ÏÐ¥¿ÆÌÐ ¾$ÓÊ ÓÁvÅ
õ¾Ê¾U¿ÇÐ¥ÓÐÄÃyÂOÒ;ʾſÇÏÒ2¿Ð ʾóÊyÍò$Ï ÃyÅÐÄÒ2ʾÍÊÇ˵ÃyÂMÀÊËÌÁ/ÊyËaÊÇÑÀÐÅËaÅ/c Ü hÅÒ;ʾÅÁ/ò$ÏÁ;¾ Ò2Á
ÊÍ¿ÀÁÒ2Á/  ÏÂÄÃyÇjÎÁ/Ò;ÊyËaÑʪÅÐ¥¿ÐÄʾÈyÕnÁtÊÞ¿ÃyÐ ¾aÃ?Ò2ÊËGÞÐ ¾ Ã{¿ÊÇÐÃ{ÂÒÀÃyÇÃÒ'¿Á;ÇÐÄÝ/Ã{¿Ð ʾaÊyÍ ¿ÀÁ;Ð Ç
Ò2ʾ¾Á/Ò'¿Á/Î Ò;ÊyËaÑʾÁ;¾$¿Å;Ü c¾ m Á/Ò'¿Ð ʾ ÛâÕnÁåÅÀÊvÕ ÀÊvÕB¿Ê Á2í¨¿Á;¾Îê¿ÀÁåÅÁ2¿¿ÐÄ¾É ¿Ê
ÅÏÐ ¿ÃyÞ Á¢Ò2ÊËaÑÃÒ'¿Ð ã Ò;Ã{¿ÐÄÊy¾ Å;ÈÃy¾ ÎZã¾ÐÄÅÀ£¿ÀÁ?ÑÇʨÊÍMÊÍOptÀÁ;ÊÇÁ;Ë áÜÄáÜOéåÁ¢Ò2ʾ Ò2Â Ï ÎÁ?Ð ¾
¿ÀÁtÂÄÃÅ¿EÅÁvÒ'¿ÐÄÊy¾µÞ$ÆG¿ÀÁ9Ã{¾ Ãy ÊÉyÆÞÁ2¿ÕnÁ;Á;¾afhÏÇÕ9Ð¥¿Ý9ÅÑÃÒ2Á/Å!Ê Í Ãy ÊÐÄÅjÒ'ÆÒ2 ÐÒÒ2ÊvÓªÁ;ÇÐ ¾ÉªÅ
Ãy¾Î£ËaʨÎÏ ÐMÅÑ ÃÒ2Á/ÅÊyÍqÅÑÐ ¾dÒ2ÏÇÓªÁ/Å;Ü
!#"%$'&)(+*-,.'/102,)$
3465 ptÀÁhÃyÏ¿ÀÊÇEÁ2íÑÇÁvÅÅÁ/ÅjÀÐÄÅEÉÇÃ{¿Ð¥¿ÏÎÁ9¿ÊjÇÊÍÁ/ÅÅÊÇ Ü¨lEÁ/Ç¿Ð ¾MÜ
7q³98ß»j¸:J½·6;<>=@?¼BA1C
c¾î¿ÀÐÄÅ<ÅÁvÒ'¿ÐÄʾÈ9ÕnÁJÇÁ/Ò;Ãy ÂÀÊvÕB¿ÊßÎÁ;ã¾ÁófhÏÇÕ9Ð ¿ÝçÅÑÃÒ2ÁvÅ£Ãy¾Î ¿ÀÁ;РǣÊÇÞÐ ÍÊÂÄÎ
Å¿ÇÏ Ò'¿ÏÇÁªÈqÒ;ÊËÌÐľÉmÍÇÊË pMÁ;ÐÒÀË;  Á/ÇG¿ÀÁ/ÊÇÆªÜ ÊÇS¿ÀÁ£ÅÃyÔÁñÊÍ9Ò2 Á/ÃyǾÁ/ÅÅ;ÈOÕnÁZãÇÅ¿
Ò2ʾÅÐÎÁ;Ç!fÏÇÕ9Ð¥¿ÝÅÑÃÒ;Á/ÅOÊÍ%Ãy ÊÐÄÅ!Ò;ÊvÓÁ/ÇÐ ¾ÉÅ/ÜOptÀÁn˵ÃyÐ ¾aÃy¾ ÎGËaÊÅ¿!¾Ã{¿ÏÇÃyÂÎÐÄÅÒ;ÇÁ2¿Á
Ð ¾$ÓyÃ{ÇÐÄÃy¾ª¿9ÐÄÅt¿ÀÁ?ÇÃyËaÐ ãÒ/Ã{¿Ð ʾdÎÃ{¿ÃÌÃÅÅʨÒ2ÐÃ{¿Á/Σ¿ÊµÃÉÇÊÏÑ<Ãy¾ ÎZ¿ÊµÃy¾ªÆZÀÊ ÊËaÊÇÑÀÐÄÒ
ÃÒ'¿Ð ʾUÊÍOÐ ¿9ʾUõÒ2ÊËaÑÃÒ'¿9o9ÐÄÁ;˵Ãy¾¾mÅÏÇÍÃÒ2Á> Ü DÅÁvÎ<Þª Æ GÜæ¢ÏÇÐÄÞÃ/Æ$ÃÅÀÐÖ××vÙ*Ȩé7 Ü Ü
fhÃyÇÓªÁ;ÆïÖ á vÙEÐ ¾å¿ÀÁZÒ2ʾ$¿Á2í¨¿GÊÍpMÁ;ÐÒÀ; Ë Â Â Á/ÇÌÅÑÃÒ2ÁvÅ;È\¿ÀÁñÇÃyËÌÐÄãÒ;Ã{¿Ð ʾâÎÃ{¿ÃdÐÄÅGÃyÂÄÅÊ
ÏÅÁ/ÍðÏÂÐľU¿ÀÁSÒ;Êy¾$¿Á2í¨¿ÊÍ!ÃyÇÐ¥¿ÀËaÁ2¿ÐÄÒSÉÁ;ÊËaÁ2¿ÇÆUÃyÍ¿Á;Çhbä Ü ÇÐ ÁvÎäÖ {Ù*È ÅÁ/ÁSÃyÂÄÅÊóÖ vÙ*ÜEéåÁ
Ò2ʾÒ; ÏÎÁñÞ$ÆåÃdÅ¿Ï Î¨ÆåÊÍtfhÏÇÕ9Ð ¿ÝZÅÑ ÃÒ2Á/ÅGÍðÊÇG¾Ê ¾ ?Ãy ÊÐÄÅGÒ;ÊvÓªÁ;ÇÐ ¾ÉªÅ;ÈO¿ÀÁ2ÆåÃyÇÐÅÁZÃÅ
ã¾Ð¥¿ÁSò$ÏÊy¿Ð Á;¾$¿ÅtÊE Í Ãy ÊÐÄÅfhÏÇÕ9Ð¥¿ÝSÅÑ ÃÒ2Á/Å;Ü
F"G)HJIKHJL
H
$IMC*,(+*i\Á2¿ ÞÁ9âã¾Ð ¿Á9ÉÇÊÏÑÜqptÀÁ;¾ñÃy¾µÃyÞ Å¿ÇÃÒ'¿c12:6?j5 X <2:D9
5F>6B [R:D9E:SÊÍ
G
ÐÅMÃÍðÊÇ˵ÃyªÅÏË Pt Õ9ÀÁ/ÇÁ È{Ãy¾Î
G R = i=1 ri Ci r ∈ N∗ ∀i ∈ {1, . . . , t} (C )
ÐÄÅãÅÁ2¿?Ê;ʾ¿ÇÐ Ó¨ÐÄÃyÂ!Ãy¾Îm Ñ ÃyÐ ÇÕ9ÐÄÅÁµÎÐÄÅ¿Ð ¾ iÒ'¿SÒ2ʾ{ëÏɪÃÒ'ÆmÒ2ÂÄÃÅÅÁvÅÊÍ Ü¢ptiÀi∈{1,...,t}
ÁÌÎÁ;ÉÇÁ/Á
G
ÊÍ ÐÅ Pt Ü
R i=1 ri
iMÁ2¿ Þ,ÁUÃçÒ2ÊËaÑÃÒ'¿µo9Ð Á/ËaÃy¾¾ ÅÏÇÍÃÒ2ÁÈEÃy¾Î Ãy¾ ÁON ÁvÒ'¿Ð ÓÁUÞÐ
C ϕ : G ,→ Aut(C)
ÀÊ ÊËaÊÇÑÀÐÄÒGÃÒ'¿ÐÄÊy¾óÊÍ!õã¾Ð ¿ÁGÉÇÊÏÑ ã¾Ð¥¿Á;¾ÁvÅÅÐÄÅhÃyÏ¿Ê˵Ã{¿ÐÒ¢ÐÄÍ ÞªÆ<¿ÀÁ
fÏÇÕ9Ð¥¿Ý?¿ÀÁ;ÊÇÁ;ËZìÜqéäÁ?ʾ¥ƣÒ;ʾÅÐÄÎÁ;Çè ÃÒ'¿ÐÄʾÅtÕ9Ð¥¿ÀdÅÊyËaÁSãíÁ/ΣÑ,ÊÐ ¾$¿Å;Ü
g(C) ≥ 2
%
$ ¡
pMÁ;ÐÒÀ
Ë Â Â Á/ÇnÅÑÃÒ;Á/Å!ÊÍ˵ÃyÇÔÁ/Îao9Ð Á;˵Ãy¾¾ñÅÏÇÍÃyÒ;Á/Å;ÜqptÀÐÄÅÐÄÅÞÁ/Ò;ÃyÏ ÅÁȪР¾µÊÏÇjÒ2ʾ$¿Á2í¨¿vÈ
o9Ð Á;˵Ãy¾¾dÅÏÇÍÃÒ2Á/ÅÃyÇÐÄÅÁGÃÅtÁ2íÑ ÐÒ2Ð¥¿hÒ2ÊËaÑ Á2í<Å¿ÇÏÒ2¿ÏÇÁ/ÅʾUÅËaʨÊy¿ÀdÅÏÇÍÃyÒ;Á/Å;Ü
F"G)HJIKHJL
H
$I M* *ni\Á2¿ ÞÁEÃ9Ò2ÊËaÑ ÃÒ'¿Oo9Ð Á;˵Ãy¾¾GÅÏÇÍÃÒ2Á!Õ9Ð ¿ÀÃ9ÞÐ ÀÊ ÊËaÊyÇÑÀÐÄÒ
(C, ϕ)
à Ò'¿Ð ʾîÊÍ Ü ptÀÁ;¾ ¿ÀÁdfhÏÇÕ9Ð¥¿ÝmÅÑ ÃÒ2Á ÊyÍh¿ÊÑ,Ê ÊÉÐÄÒ/Ã{Â9¿ÆÑ,Á ÐÄÅ
G H (C, ϕ) (C, ϕ)
¿ÀÁóÅÏÞÅÁ;¿ZÊÍ ËµÃÎÁóÊÍ¢Ò2ÊGÏÑ Á/Å ÅÏ ÒÀî¿À Ã{¿ñ¿ÀÁ;ÇÁmÐÅZÃ
Hg(C) (G, R(ϕ)) (T, ρ) G
Á/ò$ÏÐ¥ÓyÃyÇÐÃ{¾$¿ÎÐ N,Á;ÊËaÊÇÑÀÐÄÅË]Þ,Á;¿*ÕnÁ/Á;¾ Ãy¾Î Ü
T C
é ÁÇÁ/Ò/Ã{ÂÄ ¿ÀÃ{¿nÐ ¾£Á/ÃÒÀZfhÏÇÕ9Ð¥¿ÝÅÑÃÒ;Á
å È$¿ÀÁ¾¨ÏËGÞ,Á/Ç ÊÍMÎÐÅ¿ÐľÒ'¿
Hg (G, R) hg (G, R)
¿ÊÑ,ÊÂÄÊyÉÐÒ;ÃyÂn¿*ÆÑ,ÁvÅ ÅÊËaÁ2¿Ð ËaÁ/ŵÒ;Ãy ÂÄÁ/Îß¿ÀÁ£fhÏÇÕ9Ð ¿Ý<¾$ÏËGÞ,Á;Ç'ìSÐÄÅÌã¾Ð¥¿ÁÜâpOÃyÔÁ
è ¿ÕnÊåÁ/ Á;ËaÁ;¾$¿ÅñÊÍ È9Ãy¾Îï Á2¿
[pi :
Ci → (S, Y )]i={1,2} H (G, R) ψ : π (S − Y ) → G
¿ÀÁmÒ;ÊÇÇÁ/ÅÑÊy¾ ÎÐ ¾ÉäÁ;ÑÐ ËaÊÇÑÀÐÄÅ˵ŠptÀÁ;ÊgÇÁ;Ë ×¨Ü $ìÜ ptÀÁ;¾ ¿Ài ÁmÁ2í1ÐÄÅ¿Á;¾ Ò2ÁmÊÍ¢Ã
Á/ò$ÏÐ¥ÓyÃyÇÐÃ{¾$¿<ÎÐ N Á/ÊËÌÊÇÑÀÐÅË è ÅÏ ÒÀ ¿ÀÃ{¿ ÃyËaÊϾ$¿Åµ¿Ê
G
f : C 1 → C2 p ◦f = p
¿ÀÁZÁ;í¨ÐÅ¿Á/¾Ò2Á£ÊÍÃy¾âÁ/ Á;ËaÁ;¾$¿ Ð ¾ Ð N + ¿ÀÁ<ÅÏÞÉ2ÇÊÏÑâÊÍ Ð1N + Õ9ÀÐÄÒÀ
k (S, Y ) è (S)
ÑÇÁvÅÁ;ÇÓªÁ/Å Ãy¾ ΠХ¿ÅZÑ ÃyÇ¿Ð ¿Ð ʾêÐľêÒ2ÊÂÄÊyÇÅìÈÕ9ÀÐÄÒÀ ÅÃ{¿ÐÅãÁ/Å ÈÏÑ ¿Ê
Y ψ ◦ k∗ = ψ1
Ò2ʾ{ëÏɪÃ{¿Ð ʾÜptÀÐÅtÇÁ/ РÁ/Åʾ<¿ÀÁ¿ÀÁ;ÊÇÁ;Ë Ê¾U РÍð¿9ÊÍOËaÃyÑÑÐľɪÅ;Ü 2
DÅÐ ¾Éh¾ÊvÕ hÐ Á/ÂÄÅÁ;¾MÚ Å\¿ÀÁ;ÊÇÁ;Ë ptÀÁ;ÊÇÁ/Ë áEÊÍMÖ á/Û{Ùì'È{Á2ÓªÁ;ÇÆSÁ; Á/ËÌÁ/¾ª¿!ÊÍ Ð N +
Ò2ÊËÌÁvÅqÍÇÊË7Ã{¾µÃyÏ¿ÊËÌÊÇÑÀÐÅË ÊÍè ¿ÀÁtÍϾ ÎÃ{ËaÁ;¾$¿Ãy¨ÉÇÊÏÑÌÊyÍ
(S, Y )
Õ9ÀÐÄÒÀaÑÇÁvÅÁ;ÇÓªÁ/Å
S −Y
¿ÀÁ¢Ò2ʾ{ëÏɪÃyÒ2Æ£Ò2ÂÄÃÅÅÊÍO ʨÊyÑ Å9ÃyÇÊϾ ΣÑ,ÊÐ ¾$¿ÅÊÍM¿ÀÁSÅÃyËaÁ¢Ò;Ê ÊÇ/Ü
cÍÕnÁ£ÎÁ;¾Êy¿Áñ¿ÀÁ<òªÏÊy¿ÐÄÁ;¾$¿ÌÊÍt¿ÀÐÄÅÌÅÏÞÉÇÊÏÑäÞ$Æç¿ÀÁZÐ ¾¾Á;ÇaÃyÏ¿ÊËaÊÇÑÀÐÄÅ˵ÅGÞ$Æ
ÈnÃy¾Î Þ$ÆâgjÑÐ ¿ÀÁdÅÁ2¿µÊÍhÁ;ÑÐÄËÌÊÇÑÀР˵ÅÌÍÇÊË
Out(π1 (S − Y ), Y ) (π (S − Y ), G)
ʾ$¿Ê Õ9Ð¥¿ÀGР˵ÃyÉÁjÊÍ ʨRÊÑÅ\1ÃyÇÊϾ΢Ñ,ÊÐ ¾$¿Å\ÊÍ ãíÁ/΢ުƿÀÁEÇÃyËÌÐÄãÒ;Ã{¿Ð ʾ
π1 (S−Y ) G Y
ÎÃ{¿Ã È¿ÀÁ;¾
R
gjÑÐ
hg (G, R) = # Out(π1 (S − Y ), Y )\ R (π1 (S − Y ), G)/G.
pMÊhÅÁ;ÁEÃy¾SÁ; Á/ËÌÁ/¾ª¿OÊÍgEÑÐ ÃÅ\ÃÒ2Ê  Á/Ò2¿Ð ʾÊÍÁ; Á;ËaÁ;¾$¿Å\ÊyÍ ÅÃ{¿ÐÄÅÍðÆÐ ¾É
(π (S−Y ), G) G
Ò2Á;Ç¿ÃyÐ ¾£ÇÁ;ÂÃ{¿Ð ʾ Å ÅÁ/ÁaÖ {ÙRìjÃy  1ÊvÕÅn¿ÀÁ?Ò;ÊËÌÑÏ¿Ã{¿ÐÄÊy¾<ÊÍ Ð ¾UÅÊËaÁ?ÑÃyÇ¿ÐÄÒ2ÏÂÄÃyÇ
Ò;ÃÅÁI è hg (G, R)
Ü hÅEÃy¾µÁ2íÃ{ËaÑ ÁȪ¿ÀÁ9ÇÁvÃyÎÁ;ÇEÒ;Ãy¾aÓªÁ;ÇÐ ÍÆÌ¿ÀÃ{¿jÐ ¿EÐÄÅjÊy¾Á9ÍÊÇ ÃyÞ,Á/ ÐÄÃy¾ZÃy¾ÎaÉÁ/¾$Ï Å
G
Ý;Á;ÇÊÊÇ!ʾÁtÍðÊÇ!ò$ÏÊ{¿Ð Á;¾$¿ÅÏÇÍÃÒ2Á/Å;Ü m Á;Á¢Ö Û{ÙÍðÊÇqÁ2íÃyËaÑÂÄÁ/ÅOÕ9Ð¥¿ÀÌ¿*ÕnÊ¿ÊyÑÊ ÊÉÐÄÒ;Ãy¨¿ÆÑ,Á/Å/Ü
hÊvÕSÈOfhÏÇÕ9Ð¥¿ÝZÅÑÃÒ;Á/Å¢Õ9Ð¥¿Àâãí¨Á/Îç¿ÊÑ,Ê ÊÉÐÄÒ;ÃyÂj¿Æ¨ÑÁZÃyÇÐÄÅÁ£ÃÅGò$ÏÊy¿Ð Á;¾$¿ÅSÊÍÅÊËaÁ
ptÀÁ¢ÎÐÄÅ¿Ãy¾Ò2Á¢ÐÄÅt¿ÀÁ;¾UÎÁ;ã¾Á/ΣÞ$Æ Ü
d([T , ρ , f ], [T , ρ , f ]) = ln(Kf0 )
ptÀ Á 120TG`:D9
5D0c?P>l[6JG`:61 aD12>6JlQ<ÊÍâÒ2Ê1ÏÑ 1Á 1 2È$ÎÁ;2¾Êy¿2ÁvÎÌÞ$Æ ÈÐÅ!¿ÀÁ
(C, ϕ) ModG (C, ϕ)
òªÏÊy¿ÐÄÁ;¾ª¿
ZG (C, ϕ)
,
ZG (C, ϕ) ∩ Diff 0+ (C)
Õ9ÀÁ;ÇÁ ÐÄÅ?Ð¥¿ÅÁ; Ín¿ÀÁaò$ÏÊy¿Ð Á/¾ª¿¢ÊÍj¿ÀÁµÒ2Á;¾$¿ÇÃy РÝ;Á;ÇSÊÍ Ð ¾ Þ$Æ
ZG (C, ϕ) ϕ(G) Diff + (C)
Ü ¾SÁ/ Á;ËaÁ;¾$¿ ÊÍ ÃÒ'¿Å\ʾ Þ$Æ
ϕ(Z(G)) f ModG (C, ϕ) TG (C, ϕ) f ·[T, ρ, h] = [T, ρ, h◦
ÜghÅ9ÅÃyÐÄÎUÃyÞ,ÊvÓªÁõ
f −1 ]
M"+'W' C M *
C* -#/+0J>D9
5F0B
9 >Z @ A9,/+0h:R<T9
5F>6BV>Z 5875,BV@5 T04<T^
TG (C, ϕ) ModG (C, ϕ)
9,5F>6B LM5
9,/P9O/0cHJK1Lg5,9ONW7FQ:R<40 kj-#/+0W79E:R@5
G 58Nl01>Z 7i>6?A0 X 3R04[WQ+>D5OB
9
HG (C, ϕ) [T, ρ, h]
JKBC[R01d9,/+0:R<T9
5F>6B >Zc9,/+0d10TGU:D9
5 D
0d?P:4QRQ5OBKa <TGU:747 aD12>6JlQ 587W5OB @5 T04<T9
5F>6B LM5
9O/P9,/+0 <4>6?j^
?hJ+9F:6B9 >Z 5OB J>D9
5f0B
9E04[ @ k
ρ(G) Aut(T ) Z(G)
%&$ $KG&*iMÁ2¿ ˵ÃyÑñ¿Ê ÍÊÇ Ãy¾ÎZÃÅÅÏËaÁ¿ÀÃ{¿
[C , ϕ , f ] [Ci , ϕi ] i = 1, 2 f : C 1 → C2
ÐÄÅ?à ÁvòªÏÐ¥ÓyÃyÇÐÄÃyi¾$¿?iÞÐÄÀiÊ ÊËaÊÇÑÀÐÄÅËU ÜGptÀÁ;¾ ÐÅ?Ãy¾óÁ; Á/ËÌ Á/¾ª¿¢ÊÍ
G m = f1−1 ◦ f −1 ◦ f2
¿ÀÁ?ÇÁ;ÂÄÃ{¿Ð¥ÓªÁ¢ËaÊÎÏÂÄÃyÇÉÇÊÏÑ ÈÃy¾ Î Ð ¾
ModG (C, ϕ) [C1 , ϕ1 , f1 ] = [C2 , ϕ2 , f2 ◦ m−1 ]
Ü
TG (C, ϕ)
p ÀÁafhÏÇÕ9Ð ¿ÝñÅÑÃÒ2Á
t ÐÄÅ¢Á;¾ÎÊvÕnÁ/ÎóÕ9Ð ¿Àç¿ÀÁµò$ÏÊ{¿Ð Á;¾$¿¢¿ÊÑÊ ÊÉyÆªÜ ÏÇ¿ÀÁ;Ç
H (C, ϕ)
ËÌÊÇÁªÈj¿ÀÁdÃyÒ2¿Ð ʾ ÊÍ G ʾ pMÁ;ÐÒÀË;  Á/ÇZÅÑÃÒ2ÁUÐŵÃçÎÐÄÅÒ2ʾ$¿Ð ¾$ÏÊÏŵʾÁ
ModG (C, ϕ)
ÅÁ/ÁdÖ á/ÛÙì \ÀÁ/¾Ò2Á ÃÒ/òªÏÐ ÇÁ/Å?¿ÀÁµÅ¿ÇÏ Ò'¿ÏÇÁµÊÍnÃy¾çÊÇÞÐÄÍðÊÂÄÎܾ
Õn è ÁSÑÏ¿¿ÀÁS¾ Ã{¿ÏÇÃyHÂG¿Êy(C, ϕ)
ÑÊ ÊÉyÆUÅÊa¿ÀÃ{¿Ð¥¿ÅÅÏÞÅÁ2¿Å
H (G, R)
ÞÁ/Ò2ÊËaÁSÐ¥¿ÅhÒ2ʾg ¾Á/Ò'¿Á/Î
HG (C, ϕ)
Ò2ÊËÌÑʾÁ/¾ª¿Å;Ü
!#"$#%&"' MC*&* 0T9 @40 :V<4>6?dQ:R<T9 5F0?A:6BB\74J1
Z:R<40 0JK5 QRQ04[ Lg5,9,/\:=@5O/+>DG`>D^
C
?A>61EQ
/_5F<V:R<T9
5f>6B : BC[
6 @40 ,9 /+0 7i0T9A>Z @12:6BC</ Q>65,B
9,7 >Z ,9 /+0
ϕ : G ,→ Aut(C) S P
J>D9
5f0B
9Y7JK1
Z:R<40lk-&/+0B=9,/+0 -
05F<4/_? G,GU01 7EQ+:R<407 :6BC[ :621 0
TG (C, ϕ) T (C/ϕ(G), P )
:6BC:DG
D9
5F<4:DGOG e0JK5D:DG`0B
9Ek
ÞªÆ
G G/K è G
ìÈÃy¾Îd¿ÀÁÐÄÎÁ;¾$¿ÐÄãÒ;Ã{¿Ð ʾJÞÁ2¿ÕnÁ;Á;¾óÇÐÄÉyÀ$¿¢Ò2ÂÃyÅÅÁ/Å?Ãy¾Îd¿ÀÁÌÅÁ2¿
(h, Kg) 7→ Kgh−1
È ÍðÏǾÐÅÀ<¿ÀÁSÁ;ËGÞÁ/ÎÎÐ ¾É õjÍÃyÐ ¿ÀÍðÏ ¾Á/ÅÅ9ÊÍO¿ÀÁSÃÒ'¿Ð ʾdÐÄÅ9ÐÄËÌÑ РÁvÎ
{1, . . . , d} G ,→ Sd
ÞªÆZ¿ÀÁ?ÑÇÊÑ,Á;Ç¿Æ£ÊÍ Ü
K
F"G)HJIKHJL
H
$I MC*,(&*téäÁãí yà ¾ Î ÃSÅÏÞÉyÇÊyÏѵÊÍÐľÎÁ2í ÅÏÒÀµ¿À ÿ T
G K d gKg −1 =
ÜqiMÁ;¿ ¿ÀÁ¢Á;ËGÞ,ÁvÎÎÐ ¾ÉÌÉÐ¥ÓªÁ/¾UÞªÆZ¿ÀÁSÃÒ'¿ÐÄÊy¾UÊÍ Ê¾ Ü
{eG } i : G ,→ Sd G G/K
i\Á2¿ Ð ¾ Õ9Ð¥¿Àm¿ÀÁÌÒ;ÊyÇÇÁ/ÅÑ,ʾ ÎÐÄ¾É Ü
• [p : T → S] H(g, g 0 , d) ψ : π (S − Y, q) → Sd
ptÀÁ;¾ç¿ÀÁñÞÇÃ{¾ ÒÀÁ/ÎåÒ;ÊvÓªÁ;ÇÐ ¾É ÐÅGÅÃyÐÄÎç¿ÊdÀÃ/ÓªÁZÃUËaʾÊÎÇÊyËS1ÆçÊÍn¿*ÆÑ,Á
p (G, K)
Ð Í?¿ÀÁ;ÇÁdÁ2íÐÄÅ¿ÅZÃy¾îÐÄÅÊËaÊyÇÑÀÐÄÅË ÞÁ2¿ÕnÁ;Á;¾îcË Ãy¾ Î ÅÏ ÒÀ ¿À Ã{¿ ÐÄÅ
α (ψ) G i◦α
¿ÀÁJÐÎÁ;¾$¿Ð¥¿Æêʾ cË ¿ÀÁçÒ;ÊyÇÇÁ/ÅÑ,ʾ ÎÐÄ¾É Ñ,Á;ÇËGÏ¿Ã{¿Ð ʾ ÇÁ;ÑÇÁ/ÅÁ;¾$¿Ã{¿Ð ʾÅUÃyÇÁ
(ψ) è
ÐÄÅÊyËaÊÇÑÀÐÒvìÜ
ÐÅ¿ÀÁÅÏÞÅÁ2¿ÊÍ ËµÃÎÁÊÍ!Á/ Á;ËaÁ;¾$¿ÅÕ9Ð ¿ÀJËÌʾʨÎÇÊËSÆ
• H(g, g 0 , G, K) H(g, g 0 , d)
ÊÍ\¿*ÆÑ,Á Ü
(G, K)
ÊÇGÃy¾åÁ; Á;ËaÁ;¾$¿GÊÍ È\¿ÀÁñÅ¿ÃyÞÐ Â Ð Ý/Á;Ç ÊÍtÃy¾ªÆJÑÊÐ ¾$¿ Ð ¾å¿ÀÁµãÞÁ;Ç
H(g, g 0 , G, K) K xi
ÊvÓªÁ;Çt¿ÀÁ¢ÞÃÅÁ?ÑÊÐ ¾ª¿ ÐÅt¿ÀÁ;¾dÒ2ʾ{ëÏɪÃ{¿Á/ÎZ¿Ê ÓÐÄà i ÜqéåÁ¢ÅÁ2¿ Ü
q K α ψ̃ = α ◦ ψ
éåÁñÒ;Ãy¾¾Êy¿GÎÁ;ã¾ÁÌ¿ÀÁµÇÃyËaÐ ãÒ;Ã{¿Ð ʾâÎÃ{¿Ã<Ð ¾ç¿ÀÐÅSÅÁ2¿¿ÐľÉÈqÎÏÁÌ¿Ê<¿ÀÁaÍÃÒ2¿¢¿À Ã{¿
¿ÀÁhÁ/ò$ÏÐ¥ÓyÃy Á/¾Ò2ÁÇÁ;ÂÄÃ{¿ÐÄÊy¾<Ð ¾$ÓªÊÂ¥ÓªÁ/ÎZÐÄÅE¿ÀÁÒ2ʾ{ëÏɪÃ{¿Ð ʾZÐ ¾Z¿ÀÁ?ÅƨËaËaÁ2¿ÇÐÄÒhÉÇÊÏÑMÈ$¾Êy¿
Ð ¾ ÜptÀÁ¢ÅÊ ϿРʾmÒ2ÊËaÁ/ÅtÍÇÊË ¿ÀÁ?ÊÑÁ;ÇÃ{¿ÐÄʾ<Ê> Í ?Ãy ÊÐÄÅ9Ò2 ʪÅÏÇÁñÖ á;Ø{Ù*Ü
G
$K I
i ¡
" I ¡ " ï ª~ ¡ $
[p1 : C1 /ϕ1 (K) → C1 /ϕ1 (G)] = [p2 : C2 /ϕ2 (K) → C2 /ϕ2 (G)],
Ð)Ü ÁÜÄȨ¿ÀÁ;ÇÁÁ2í¨ÐÅ¿ Ãy¾Î ÅÏÒÀ
f : C1 /ϕ1 (K) → C2 /ϕ2 (K) h : C1 /ϕ1 (G) → C2 /ϕ2 (G)
¿À Ã{¿ Ü!ptÀÐÄÅjËaÁ/Ãy¾Å!¿ÀÃ{¿ ÍðÊÇEÅÊËÌÁ ÜqptÀ¨Ï Å
p2 ◦ f = h ◦ p 1 θ ◦ ψ 1 = ψ2 ◦ h∗ θ ∈ Int(Sd )
ÕnÁGÒ;Ãy¾m  РÍð¿ ʾ$¿Ê ÅÏ ÒÀd¿À Ã{¿
f k : (C1 , ϕ1 ) → (C2 , ϕ2 ) k ◦ (ϕ1 ◦ θ0 (g)) = ϕ2 (g) ◦ k
ÍðÊÇ 0 Ð ¾ ÎÏ Ò2Á/ÎmÞªÆ Ü9c*¿hÇÁ;˵Ã{ÐľſʣÅÀÊÕ ¿ÀÃ{¿ 0 ÜhlnÏ¿ ÐÄÅ
θ ∈ Out(G, K) θ θ (R) = R k
Ãy¾aÁvòªÏÐ¥ÓyÃyÇÐÄÃy¾$¿j˵ÃyÑñÞ,Á2¿ÕnÁ;Á/¾ Ãy¾Î ÅÊ¢¿À Ã{¿ Ü
[C , ϕ ] [C1 , ϕ1 ◦ θ0 ] R(ϕ2 ) = R(ϕ1 ◦ θ0 )
m Ð ¾ Ò2Á ÈÕnÁ¢ÃyÇÁSÎ2ʾÁ2Ü
R(ϕ1 ) = R(ϕ2 )
%#
$ ¡
:6B ^ 9
JlQCGU0 >ZcQ015,?A0T9E0147P[R0T9F01?j5,BC07A:e75OBKa GU0P0TGU0?A0B
9 >Z
n (p1 , . . . , pn ) ∈ R n w
7J</9,/+:D9Y9O/+0 Q015O?P>00T9E01:612>6JKBC[ 587 k
St(C, X) x i pi
ptÀÁÍðÊÂÄ ÊvÕ9Ð ¾ÉGÑÇÊÑÊÅÐ¥¿ÐÄÊy¾ZÅÀÊvÕÅ¿ÀÃ{¿ m ¿ÇÁ;Þ,Á;Â,ÎÐ ,
N Á;ÇÁ;¾$¿ÐÄÃyÂÄÅEÞÁ;ÀÃ/ÓªÁÕtÁ; Â,Ͼ ÎÁ;Çj РÍð¿
Ð ¾Éa¿ÀÇÊÏÉÀ<ÇÃyËaÐ ãÁ/ÎUÒ2ÊvÓªÁ;ÇÐľɪÅ;Ü
%&$ $ H L Hf$I &
* MC* 09 @20;7i>6?P0j<TGU:747h>Z 12:6?h5 XY04[ <4> D015,BKa67h@409
L 020B
[p : C → S]
9,L >A<4>6?WQ:R<T9
c5f0?P:6BB 7JK1
ZT:R<407ik 0T9
@409,/+0d7i0T9 >Z@12:6BC</Q>65,B
9,7
5
9,7<4:612[65,BC:DG
:6BC[
X
Y
@20 9,/+0P7i0T9;>Z 12:6?j5 X <2:D9
5F>6B Q>65OB
9,7ik h0BC>D9E0@
ex
S b
9,/+0e?jJG 9
5 QCGb5f<5
9 =>Z
x ∈
S
F"G)HJIKHJL
H
$I *
(+*SÖ i
á {ÙÖ {#
Ù Z:D9f^
aD12:4Q
/ ÄÐ ÅtÉÐ¥ÓªÁ;¾£Þ$Æ£ÃGã¾Ð ¿Á?ÅÁ;¿ ÊÍMÊÇÐÄÁ;¾$¿Á/Î
Γ A(Γ) è
/Á ÎÉÁvÅìjÃy¾ ÎZÞªÆñ¿ÕnÊÌÑ,Á/ÇËGÏ¿Ã{¿Ð ʾ Å Ãy¾ Î ÊÍ¿ÀÐÅtÅÁ2¿vÈÕ9ÀÁ;ÇÁ ÐÄÅÃy¾£Ð ¾$ӪʠϿРʾ
σ0 σ1 σ1
Õ9Ð¥¿ÀÊÏ¿9ãíÁ/ΣÑ,ÊÐ ¾$¿Å;Ü
9ÂÄÂÍÃ{¿*ÉÇÃyÑÀ ÅÕ9Ð Â Â9Þ,ÁdÒ2ʾ¾Á/Ò2¿Á/Îõ£ÕnÁdÃÅÅÏËaÁ<¿À Ã{¿a¿ÀÁUÉÇÊÏÑ ÉÁ;¾Á/ÇÃ{¿Á/Î Þ$Æ
σ
yà ¾Î ¿ÀÁÅÊDÒ;Ãy  Á/ΣÒ;ÃyÇ¿ÊÉÇÃyÑÀÐÒ9ÉÇÊÏÑì!ÃÒ2¿Åj¿ÇÃy¾ ÅÐ¥¿Ð¥ÓªÁ;Â¥ÆZʾñ¿ÀÁhÅÁ;¿nÊÍÊÇÐ Á;¾$¿Á/Î 0
Á/ÎÉÁvÅ;Ü 1 è
σ
ptÀÁ<ÉÁ;ÊËaÁ2¿ÇÐÄÒUÁ/ÎÉÁvÅaÃyÇÁ<¿ÀÁUÊÇÞÐ¥¿ÅaÊÍ ÈtÃy¾Îß¿ÀÁ<ÓªÁ;Ç¿ÐÄÒ2ÁvŵÃyÇÁ<¿ÀʪÅÁUÊÍ
σ1 (Γ)
ÜUéåÁZÎÁ;¾Êy¿ÁñÞ$Æ Ãy¾ Î ¿ÀÁ/ÅÁ£ÅÁ2¿Å;È!Ãy¾ÎåÞ$Æ Ãy¾ Î ¿ÀÁ;Ð Ç
σ0 (Γ) Ag (Γ) V (Γ) a(Γ) v(Γ)
Ò;ÃyÇÎÐľÃyÂÄÅ;Ü hÊy¿Á¿ÀÃ{¿ ÐÅ9ÃÌÉyÇÃ{ÑÀMÜqcÍ ÈÕnÁSÎÁ/¾Êy¿Á?ÞªÆ Ð¥¿ÅÊÇÐ ÉÐ ¾dÃy¾ Î
Γ a ∈ A(Γ) a(0)
ÞªÆ Ð ¿ÅhÁ;¾ÎÜtéåÁS¿ÃyÔÁS¿ÀÁÒ2ʾ$ÓªÁ;¾$¿Ð ʾd¿À Ã{¿ ÐÅ¿ÀÁ *ÊÇÞÐ¥¿hÊÍ Ãy¾ Î
a(1) a(1) σ0 a a(0)
ÐÄÅn¿ÀÁ ÊÇÞÐ¥¿9ÊÍ Ü ÊÇ9Ò2ʾªÓªÁ;¾Ð Á;¾ Ò2ÁÈÕnÁ¢ÊÍ¿Á;¾UÑÏ¿
g Ü
σ0 σ1 (a) ā = σ1 (a)
éåÁGÎÁ;ã¾Á È,ÅÏ ÒÀ<¿À ÿ ÜnptÀÁ¢ÊÇÞÐ¥¿ÅÊÍ
σ (Γ) = σ (Γ)σ (Γ)−1 σ σ σ2 = 1 σ (Γ)
ÃyÇÁaÒ/Ãy  Á/ÎJ¿ÀÁ Z2:R<407µÊÍ 1 ÜÌéä0ÁµÎÁ/¾Êy¿Á¿ÀÁµÅÁ2¿SÊÍE0ÍÃÒ21Á/Å¢ ÞªÆ Ãy¾ ÎJÐ¥¿Å¢Ò/Ã{ÇÎ2Ð ¾ ÃyÂ
Γ F (Γ)
ÞªÆ Ü ptÀÁó Á;¾Éy¿À ÊyÍGÃßÒ'ÆÒ2 ÁJÊyÍ ÇÁ/ÅÑÜ ìµÐÄÅZ¿ÀÁmÓyÃy Á/¾Ò'ÆîÊÍ?¿ÀÁ
f (Γ) σ0 (Γ) è σ2 (Γ)
Ò2ÊÇÇÁ/ÅÑʾÎÐ ¾ÉÌÓªÁ;Ç¿Á;í ÇÁ/ÅÑÜÍÃÒ2Áì'Ü
gÓªÁ;ÇÆ£ÍÃÒ2Á¢ÐÄÅ9Ãy¾<ÊÇÐ è Á;¾$¿Á/Î< ʨÊÑÈÍÊÇ/ÈÐÄÍ ¿ÀÁ;¾ Ü
b = σ2 (a) b(0) = a(1)
hÅMÃy¾?Á;íÃyËaÑ ÁÈ{ÃtÉÇÃyÑÀ Á/ËGÞ,Á/ÎÎÁ/Î?Ð ¾GÃÒ2ÊËa Ñ ÃÒ'¿MÊÇÐ Á;¾$¿Á/΢ÅÏÇÍÃyÒ;ÁÐÄÅMÃt¿ÊÑÊyÂÄÊ6É
Γ
ÐÄÒ;Ãy¨ÇÁvÃ{ÂÄÐ Ý/Ã{¿Ð ʾÌÊÍ ÃÍÃ{¿ *ÉÇÃyÑÀMÜ\ptÀÁEÑ,Á/ÇËGÏ¿Ã{¿ÐÄÊy¾ ÊÍ ÐÄÅOÉÐ¥ÓªÁ;¾ÌÞªÆS¿ÀÁEÑÇÊyëÁ/Ò2¿Ð ʾ
σ Γ
ÊÍM¿ÀÁ?¾Á;Ð ÉÀ¨Þ,ÊÇÀʨʨÎÅnÊÍ\¿ÀÁÓªÁ;Ç¿ÐÄÒ;Á/Åʾ£¿ÀÁ¿Ãy¾ÉÁ/0¾ª¿9ÑÂÄÃy¾Á/ÅÃ{¿¿ÀÁ/ÅÁ¢Ñ,ÊÐ ¾$¿Å;Ü
ptÀÁ?ÉÁ;¾¨ÏÅ ÊÍM¿ÀÁ¢ÍÃ{¿ *ÉyÇÃyÑÀ ÐÄÅt¿ÀÁ;¾UÎÁ;ã¾Á/ΣÞ$ÆZ¿ÀÁ?gjÏÂÄÁ;ÇÍÊÇËGÏÂÃõ
g(Γ) Γ
d
d¯
c
c̄
a b
ā
b̄
!"# $
∆
Á;¾$¿Á/ÎZ ʨÊÑ È¨ÀÊËÌÊy¿ÊÑÐÄÒ¿Ê È
βa · · · a β̄ (βai · · · al )(a1 · · · ai−1 ai · · · al )(āl · · · āi β̄)
Õ9ÀÐÄÒÀ<ÐÄÅÃaÒ2ʾyiëÏɪÃ{¿i−1 Á? ʨÊyÑUÊÍ Ü
γ
ptÀÁ;ÇÁ;ÍÊÇÁ¿ÊGÁ/ÃÒÀñÍÃÒ2ÁÐÄÅnÃÅÅÊÒ2ÐÄÃ{¿Á/ÎZâÕnÁ; ÂÎÁ;ã¾Á/ÎñÒ2ʾ{ëÏɪÃÒ'ƵÒ2ÂÄÃÅÅEÊÍÁ;ÂÄÁ;ËaÁ;¾$¿Å
ÊÍ ÈÕ9ÀÐÒÀ<Õ9Ð Â ÂMÞÁ¢Ò;Ãy  Á/Îd
à G`>l>4QC^bZT:R<20;Ü
π1 (Γ, p)
,Ã{¿ *ÉÇÃyÑÀ ÅEÕ9ÀʪÅÁÓªÁ;Ç¿ÐÄÒ2Á/ÅÃ{ÇÁ¢Ã{¿9 Á/ÃÅ¿9¿ÇÐ¥ÓyÃyÂÄÁ;¾ª¿hÃyÇÁSÒ;Ãy  Á/Î 7?P>l>D9,/<ÍÃ{¿ ÉÇÃyÑÀÅ;Ü
F"G)HJIKHJL
H
$I M *
*C AÒ2ÊvÓªÁ;ÇÐľÉçÊÍÍÃ{¿*ÉÇÃyÑÀ ŠРŵÃóËaÊÇÑÀÐÄÅË ÊÍÍÃ{¿
p : Γ → ∆
ÉÇÃyÑÀ Å9Õ9ÀÐÄÒÀçÅÃ{¿ÐÄÅãÁ/Åh¿ÀÁÌÁ2íÐÄÅ¿Á;¾Ò;ÁÌÃy¾ ÎmϾÐÄò$ÏÁ;¾ÁvÅÅhÑÇÊÑÁ;Ç¿ÆdÊÍj РÍð¿Ð ¾É<ÊÇÐ Á;¾$¿Á/Î
ÑÃ{¿ÀÅ;ÜptÀÁ¢Ò;ÃyÇÎÐ ¾ÃyÂÊÍMÓªÁ;Ç¿Á;íÚ ÅtãÞ,Á/ÇtÐÄÅn¿ÀÁ;¾UÒ2ʾ Å¿Ãy¾$¿võO¿ÀÐÄÅÐÄÅn¿ÀÁ¢ÎÁ;ÉÇÁ/ÁM Ü Ò;Êv_Ó
Á;ÇÐ ¾ÉÌÊÍOoÐ Á;˵Ãy¾¾ÐÄÃy¾UÍÿÉÇÃyÑÀÅtÐÄÅ9ÃaÒ2ÊvÓªÁ;ÇÐľÉÌÕ9ÀÁ;ÇÁ? Á;¾Éy¿À ÅÁ/ÎÉÁ/Å9ÃyÇÁ?ÑÇÁ/ÅÁ;ÇÓªÁvÎÜ
Á;ã¾Á comb ¿ÊZÞÁGÁvòªÏÐ¥ÓyÃy Á;¾ Ò2ÁÌÒ2ÂÃÅÅÁ/ÅhÊÍjÎÁ/ÉyÇÁ;Á Ò2ÊvÓªÁ;ÇÐ ¾ÉªÅhÊÍÅËÌʨÊy¿À
H (g, g 0 , d) d
o9Ð Á;˵Ãy¾¾ÐÄÃy¾UÍÃ{¿*ÉyÇÃ{ÑÀ Å Õ9Ð¥¿À Ãy¾ Î 0 0Ü
[p : Γ → ∆] g(Γ) = g g(Γ ) = g
ÅtÐľ<¿ÀÁ¢Ò/ÃÅÁ?ÊÍOo9Ð Á;˵Ãy¾¾dÅÏÇÍÃÒ2Á/Å ptÀÁ/ÊyÇÁ;ËA×¨Ü $ìÕnÁ¢ÀÃ/ÓªÁªõ
è
!#"$#%&"' *&*e-&/+0120c5O7W:j@5 i02<T9
5F>6B@20T9
LY040B :6B&[;9,/+0 7i0T9I>ZW<TG`:747i07
Hcomb (g, g 0 , d)
L /+010
M 587 :caR0B
J_7 0 7 ?P>l>D9,/ c5f0?P:6BB5F:6B Z:D9f^
aD12:4Q
/ 6 : BC[ 587c: D a 12>6JlQ
[∆, l, ψ] (∆, l) g S ψ
/+>6?A>6?P>61EQ
/_5O74? Lg5,9,/
9 12:6B+75,9
5D0;5,?A:ia_0 0 0 0 5 Z ,9 /+010
π1 (∆) → Sd [∆, l, ψ] = [∆ , l , ψ ]
0435O79,7;:6B5O7i>6?A0T9
1 0 0 6
: C
B [
7
J
< e
/ ,
9 +
/ D
: 9 0 k
h : (∆, l) → (∆ , l ) θ ∈ Int(Sd ) θ ◦ ψ = ψ ◦ h∗
c¿OÕ9ÐÄ ÂÞ,Á/Ò;ÊyËaÁtÒ2 ÁvÃ{ÇÃyÍ¿Á;ÇqptÀÁ;ÊÇÁ;Ë Ü ¿À Ã{¿qÞ,Êy¿ÀS¿ÀÁ/ÊyÇÁ;˵Å!×¨Ü hÃy¾Î Ü hÃyÇÁnÁ/ò$ÏÐ ÓyÃ
 Á;¾$¿/ȨÏÅÐľÉS¿ÀÁÍÃÒ'¿j¿ÀÃ{¿no9Ð Á;˵Ãy¾¾ÐÄÃy¾ZÍÃ{¿ÉÇÃyÑÀÅjÃyÇÁhÎÁ;ÍÊyÇËaÃ{¿Ð ʾñÇÁ2¿ÇÃÒ2¿EÊÍÑϾ Ò
¿ÏÇÁ/Îîo9ÐÄÁ;˵Ã{¾¾kÅÏÇÍÃÒ2Á/Å;Ü7c¾ ÍÃÒ2¿/ÈÐ¥¿<ÐÄÅ£¾Êy¿<ÎÐ
µÒ2ÏÂ¥¿£¿ÊßÉÐ¥ÓªÁçÃßÎÐÄÇÁ/Ò'¿<ÑÇÊ$ÊÍ¢ÊÍ
Ü Ü ÏÇ¿ÀÁ;ÇËaÊÇÁÈÕnÁaÀÃ/ÓªÁÌ¿ÀÁa¾Ê{¿Ð ʾ Å?ÊÍEËaʾÊÎÇÊyËSÆóÉÇÊÏÑÅ¢Ãy¾ÎJËaÊy¾ÊÎÇÊËSÆ
ÃÒ'¿Ð ʾ Å;ÜptÀ¨ÏÅtÕnÁ¢ÎÁ;ã¾Á comb ÐľUÑ,Á;ÇÍÁ/Ò'¿Ãy¾Ãy ÊÉyÆZÕ9Ð¥¿À 0 Ü
Hg,g0 (G, K) H(g, g , G, K)
é Á¾ÊvÕîÍðÊÒ2Ï Åʾµ¿ÀÁÒ;ÃÅÁÊÍÃy ÊÐÄÅEÒ;ÊvÓªÁ;ÇÐ ¾ÉªÅ;ÜqiMÁ2¿ Þ,ÁhâÍÃ{¿ÉÇÃyÑÀȨÃ{¾ Î
å ÞÁ
Γ G
ÅÊËÌÁSã¾Ð¥¿Á¢ÉÇÊÏÑÜéåÁSÎÁ;¾Êy¿Á¢Þ$Æ Ã{¾mÃÒ'¿Ð ʾUÊÍ Ê¾ ÜjéåÁSÒ/Ãy Â
ϕ : G ,→ Aut(Γ) G Γ
Ð¥¿J:75 Z412040?Ð Í ÃÒ2¿ÅtÍðÇÁ;Á/Â¥Æñʾ£¿ÀÁϾ ÎÁ/ÇÂ¥ÆÐ ¾ÉÌÉÇÃyÑÀ ʾ£ÉÁ;ÊËaÁ2¿ÇÐÄÒÁ/ÎÉÁ/ÅtÃy¾Î
ÓªÁ;Ç¿ÐÒ2Á/Åì'ÈOÞÏ¿¢Õ9Ð ¿Àä¾Êy¾ç¿ÇÐ¥ÓÐÄÃyÂjÐÅÊy¿ÇÊÑ$ÆçÉÇÊÏÑåÍÊyÇSÁvÃyÒÀåè ÍÃÒ2ÁµÊÍ
ϕ(G)
¿ÀÁvÅÁñÃÒ'¿Ð ʾ Å
Γ è
Õ9Ð Â Â,ÑÇÊvÓÐÄÎÁhÅÊËaÁÃyÒ2¿Ð ʾ ÅEÊyÍ Ê¾£ÅÏÇÍÃÒ2ÁvÅÕ9Ð¥¿ÀZãíÁ/εÑÊÐ ¾ª¿Åì'Ü!ptÀÁ;¾ñ ¿ÀÁhò$ÏÊy¿Ð Á;¾$¿
G
ÍÃ{¿ ÉÇÃyÑÀÐÄÅqÕnÁ/ ÂÎÁ/ã¾Á/ÎÜ\c*¾aÍÃÒ'¿vÈ{¿ÀÁ9òªÏÊy¿ÐÄÁ;¾ª¿ÉÇÃyÑÀÌÐÄÅqÕnÁ;ÂÄÂÎÁ;ã¾Á/ÎÞ$ÆGÍÇÁ;Á;¾Á/ÅÅqÊÍ
ʾµÁ/ÎÉÁ/Å;I Ü ¾ ÎÌÅÐ ¾Ò;Á9Á/ÎÉyÁvÅ!Ð ¾ Ò2ÐÄÎÁ;¾$¿jʾµÃ?ÓªÁ;Ç¿Á2íÊÍ,¿ÀÁ9ò$ÏÊy¿Ð Á;¾$¿EÉyÇÃ{ÑÀµÃyÇÁÐľ
ϕ(G)
ÞÐ ëÁ/Ò'¿Ð ʾµÕ9Ð¥¿ÀñÁ/ÎÉyÁvÅÐ ¾Ò;ÐÄÎÁ/¾ª¿EʾñÃy¾$ÆÓªÁ;Ç¿Á2íÌÊÍÐ¥¿ÅãÞ,Á;ÇvÈyÕnÁÑÏ¿¿ÀÁ9Ð ¾ ÎÏ Ò2Á/εÒ'ÆÒ2 ÐÒ
ÊÇÎÁ;ÇÐ ¾ÉÜâptÀÁ£ÑÇÊ{ëÁ/Ò'¿Ð ʾ ÐÄÅaà Ãy ÊÐÄŵÒ2ÊvÓªÁ;ÇÐ ¾ÉJÊÍ9ÍÃ{¿ *ÉÇÃyÑÀ Å;Ü
p : Γ → Γ/ϕ(G)
pÕnÊUÒ2ÊÏÑÂÄÁ/Å Ãy¾Î y
Ã
Ç Ì
Á /
Á $
ò
Ï
Ð y
Ó y
Ã
 ;
Á $
¾ ¿¢Ð Íj¿ÀÁ;ÆóÎÐ N,Á;Ç?Þ$ÆJà Á/ò$ÏÐ¥ÓyÃyÇÐÄÃy¾$¿
(Γ, ϕ) (Γ0 , ϕ0 ) G
ÐÄÅÊËaÊyÇÑÀÐÄÅËUÜ
c¾ ÅÑÐ ÇÁ/ÎïÞªÆß¿ÀÁdÅÁ2¿¿ÐľÉäÊÍo9Ð Á;˵Ãy¾¾îÅÏÇÍÃÒ2Á/Å ÅÁ;ÁU¿ÀÁdÑÇÁ2ÓÐ ÊÏŵÅÁ/Ò2¿Ð ʾìÈnÕnÁ
 ʨÊyÔ£Ã{¿Å¿Ã{ÞÐ Â ÐÄÝ;Á;ÇÅ ÊÍOÍÃÒ;Á/Å ÜiMÁ;¿ Þ,Á¿ÀÁSè Ò'ÆÒ2 ÁSÎÁ;ã¾Ð ¾É ÈÊÍOÊÇÎÁ/Ç Ü
GF F σ2,F F vF
ptÀÁ;¾ ËaÁ/Ãy¾ Å¿À Ã{¿ E
Ü h
f ;
Á
¾ 2
Ò Á
Ê ¾
È
Í
Ê Ç
g ∈ GF ϕ(g)σ ϕ(g −1 ) = σ2,F ϕ(g) = σ2,F i
F
È\Ãy¾ ÎmÕnÁÌÀ Ã/ÓªÁaÃy¾JÁ;ËG2,F Þ,ÁvÎÎÐ ¾É ∼ Ü m Á2¿
i ∈ Z/v(F ) ϕF : GF ,→ hσ2,F i = Z/v(F ) eF
¿ÀÁÊÇÎÁ;ÇÊÍ ÜGptÀÁ;¾ −1 vF /eF ÐÄÅ?ÃZÑÇÐ¥ÓÐ Â Á/ÉyÁvÎóÉÁ;¾Á;ÇÃ{¿ÊÇÊyÍ ÈÕ9ÀÐÒÀóÕnÁ
GF ϕ (σ ) G
ÎÁ;¾Êy¿ÁSÞªÆ Ü hÅÞÁ;ÍÊyÇÁÈFÕnÁGÅÃ/2,F
Y Æ£¿À Ã{¿ Ãy¾Î<Ð¥¿Å9ÊÇÞÐ¥¿hÃ{ÇÁSÒ2Ê ÊÇÁ/ÎUÞ$Æ F È¿ÀÁ
τF F C(τF )
Ò2ʾ{ëÏɪÃÒ'Æ£Ò;ÂÄÃÅÅÊÍ Ü
τF
i\Á2¿ ÞÁa¿ÀÁñÅÁ;¿GÊÍtÒ2Ê ÊÇÁvÎçÊÇÞÐ¥¿Å¢ÊÍtÍÃÒ;Á/Å?Õ9Ð¥¿ÀâËGÏÂ¥¿Ð Ñ ÐÄÒ2Ð ¿Ð ÁvÅ;È
{Oi , bi }i∈{1,...,t}
Ãy¾Î Þ,Á¿ÀÁSÒ2ʾyëÏɪÃÒ'Æ£Ò2ÂÄÃÅÅÁvÅÊÍ\ÑÇÐ¥ÓÐ Â Á;ÉÁvÎ<ÉÁ;¾Á;ÇÃ{¿ÊyÇÅ;Ü
C(τi )
$K I
i ¡
" I ¡ " ï ª~ ¡ $
(
[1]
O P
d
c
O [2] O b P
P
O [0]
P
a
P/_5
9E0T^
è /+04:R[e<4>DG,G`:4Q
7i07ik
Ð ÐÄÐðì -&/+0 J:75 Z212040:R<T9
5f>6B >Z >6B 12079,15F<T9,7e9E>=: J:75 Z212040 :R<T9,5F>6B]>Z >6B
è ϕ G Γ
k
V>61204> D01 9O/+0;12:6?j5 XY<4:D9
5F>6BV[R:D9E: 5O7 Q1207i01D02[Rk
G
WO(e) (Γ)
%&$ $KG&* ÊÇt¿ÀÁ¢ãÇÅ¿9Ñ,ÊÐ ¾$¿/ÈÕnÁSÎÁvÅÒ2ÇÐ ÞÁ¿ÀÁSÒ;ÃyÇ¿ÊÉÇÃyÑÀÐÄÒ?ÉyÇÊyÏÑ<ÊÍ Ü
W (Γ)
i\Á2¿ j j Ãy¾Î j j ÍðÊÇ Þ,Át¿ÀÁ ÊÇÞÐ¥¿ÊO(e) Í Ã{¾ Î
(a1 , . . . , ak ) (b1 , . . . , bl ) j ∈ {1, . . . , |G|} G a(0)
È$ÅÏÒÀÌ ¿À Ã{¿
Ç v
Á
Å
Ñ Ü \
ì Ä
Ð !
Å
¿
À
Á
Ê
Ç
Þ
Ð
¿
Ê Í
Ç /
Á
Å M
Ñ Ü '
ì q
Ü t
p
À ;
Á a
¾
Ç 2
Á
¿
Ç
à '
Ò
¿ Ä
Ð
¾ ?
É ¿ÀÁ
a(1) {aj1 }j è {bj1 }j ā è a
ÊÇÞÐ¥¿ ÉÐ¥ÓªÁE¿ÀÁj¾Á2ÕäÓªÁ;Ç¿ÐÄÒ;Á/Å ÜOptÀÁEÉÇÃyÑÀ
O(e) sj = (aj , . . . , ajk , bj2 , . . . , bjl ) WO(e) (Γ)
ÐÄÅn¿ÀÁ?ÍÃ{¿*ÉÇÃyÑÀZÕ9Ð ¿ÀdÅÃyËaÁ ÑÇÐ¥ÓÿÁ¢Ê2Í j j ÈÃy¾ Î<ÅÃyËaÁ Á2íÒ2Á;Ñ¿
σ1 O(e) = {(a , b )} σ0
ÍðÊÇt¿ÀÁ?ÊÇÞÐ¥¿ÅÊÍ Ãy¾ Î ÇÁ/ÑÂÄÃÒ2ÁvÎ<ÞªÆZ¿ÀÁ?¾Á2Õ 1ÊÇÞ1Ð ¿ j Ü
a(0) a(1) {sj }j
hÅtÕnÁSÒ;Ãy¾dÇÁ2¿ÇÃÒ'¿9¾Á;Ð¥¿ÀÁ;ÇÃÌ ʨÊÑMȾÊÇ9Ãy¾dÊÇÞÐ ¿Õ9ÀÐÄÒÀmÒ2ʾ$¿ÃyÐ ¾ Å9ÅÊËaÁ¢ÍÃÒ2Á/Å;ÈÕnÁ
ÀÃ/ÓªÁ Ü m Ð ¾Ò;Á Ãy¾ Î
f (WO(e) (Γ)) = f (Γ) a(WO(e) (Γ)) = a(Γ) − |G| s(WO(e) (Γ)) =
ÈÕnÁ?À Ã/ÓªÁ Þ$ÆZgjÏ Á;Çô_qÊÐľÒ;ÃyǪÜ
s(Γ) − |G| g(WO(e) (Γ)) = g(Γ)
$K I
i ¡
" I ¡ " ï ª~ ¡ $
Hhcomb (G, R) Hh (G, R) × P(R b>0 )
qcomb q
comb
Hg,g 0 (G, K, R) H(g, g , G, K, R) × P(R b>0 )
0
pcomb p
Mcomb
g 0 ,(b1 ,...,bt ) Mg0 ,(b1 ,...,bt ) × P(R b>0 )
H;>615UNl>6B
9E:DG?A:4Q
7;:6120d/+>6?P02>6?P>61EQ
/_5O7?7 :6BC[ 6
019
5F<4:DG#>6BC07 :612012:6?j5 XY04[P<4> D
015,BKa67ik
S
ptÀÁ?ÓªÁ;Ç¿ÐÄÒ;ÃyÂM˵Ã{Ñ ÅÀ Ã/ÓªÁ?ÞÁ;Á;¾dÃy ÇÁvÃyÎÆ<ÎÁ;ã¾Á/Îõ È
q([C, ϕ]) = [C/ϕ(K) → C/ϕ(G)]
Ãy¾Î ÜqptÀÁËaÃyÑ Å!ÍÇÊË ¿ÀÁÇÐ ÉÀ$¿¿Ê?¿ÀÁÂÄÁ;Í¿EÃyÇÁ9ÉÐ¥ÓªÁ;¾µÞ$Æ
p ◦ q([C, ϕ]) = [C/ϕ(G), Y ]
ptÀÁ;ÊÇÁ/Ë ÜÄá¢Ãy¾Î jÇÊÑ,ʪÅÐ ¿Ð ʾ Ü×¨Ü hÁ2í¨¿¿ÀÁ;ÊÇÁ;Ë ÉÐ¥ÓªÁ/Åt¿ÀÁ?ÐľªÓªÁ;ÇÅÁ?˵ÃyÑÅ/Ügn¿t¿ÀÁ
 Á2ÓªÁ;ÂÊÍËaÊÎÏ РÅÑ ÃÒ2Á/ÅÊyÍÑϾÒ'¿ÏÇÁ/ÎÌo9Ð Á;˵Ãy¾¾ZÅÏÇÍÃÒ2ÁvÅ;Èy¿ÀÁÒ2ʾ Å¿ÇÏ Ò'¿Ð ʾµÐÄÅÔ¨¾ÊvÕ9¾
ÅÐ ¾ Ò2ÁaÖ¥Oá {Ù*Ü!bmÊÇÁÎÁ2¿ÃyÐÄÂÄÅÃyÇÁhÉÐ¥ÓªÁ;¾<Ð ¾çÖ×{Ø{ÙÃy¾ÎJÖ#× {ÙÜ!ptÀÁ?Ò2ʾ$¿Ð ¾¨ÏÐ¥¿*Æ£ÐÄÅtÎÐÄÅÒ;ÏÅÅÁ/ΣР¾
¿ÀÁ?¾Á;í$¿ÅÁvÒ'¿ÐÄʾÜ
!#"$#%&"' *&* 0T9 k -&/+0120 04365O79: <4>6?dQ:R<T9 c
5f0?P:6BB
[Γ, l, ϕ] ∈ Hcomb (G, R)
h
74J1
Z:R<40 0BC[R>6LY04[LM5
9,/ :6BC[ LI/0120
kΓk ϕ̂ : G ,→ Aut(kΓk) wΓ ∈ St(kΓk, X) S
5O7 9,/+0 T
7 0T9 >g
Z X 3R04[Q>65,B
9,7>Z 7J</9O/+:D9
X = {x1 , . . . , xf (Γ) } ϕ̂(G) S
f : (Γ, l, ϕ) → (Γ0 , l0 , ϕ0 )
Q
/_587?h7 :6BC[V0JK5D:615f:DB
9 P/_5,9E0/+04:R[=<4>DGOGU:4Q
7i07 ,9 /+0B 9,/+01004365O79,7 :
S G
^0J5 D:615F:6B
9
;^ J:75F<2>6BZ>61?P:DG /+>6?P04>6?A>61EQ
/_5O7? ˆ 7J</=9,/+:D9 ˆ LM/+0B
f : kΓk → kΓ0 k K(f ) → 1
k
|l − l0 | → 0
G *JéåÁñÒ;Ãy¾åÇÁvÅ¿ÇÐÒ'¿GÊÏÇÅÁ; Ín¿ÊU¿ÀÁñÒ;ÃÅÁµÕ9ÀÁ;ÇÁµÁ/Ð¥¿ÀÁ;Ç
%&$ $K& ÐÄÅGÃy¾åÐÄÅÊËaÊÇÑÀÐÄÅË
f
Õ9ÀÐÄÒÀçÃyÂ¥¿Á;ÇÅʾ¥ÆóʾÁÌÁ/ÎÉÁÚ Åh Á;¾Éy¿ÀMÈÊÇ ÐÄÅ¢Ãñé ÀÐ¥¿Á;ÀÁ/ÃÎJÒ;Ê ÂÄÃyÑÅÁÌʾJʾÁÁ/ÎÉÁÈ
f
ÔÁ;Á;ÑÐ ¾ÉÒ;ʾſÃy¾ª¿OÊy¿ÀÁ;ÇMÂÄÁ;¾Éy¿ÀÅ;Ü ÊÇ/ÈÐ ¾S¿ÀÁÉÁ;¾Á;ÇÃyÂ$Ò;ÃÅÁÈvÕnÁEÎÁ/Ò2ÊËaÑÊÅÁ ÈyÃy¾Î?Ï ÅÁ
f
¿ÀÁÍÃÒ'¿M¿ÀÃ{¿ ÐÄÅ òªÏ ÃÅÐÄÒ2ʾÍðÊÇ˵ÃyÂªÐ Í ÇÁvÅÑÜ ìÐÄÅ ÇÁ/ÅÑÜ ì
g◦h K(g)K(h) gè h K(g) è K(h)
òªÏ ÃÅÐÄÒ2ʾÍðÊÇ˵ÃyÂ)Ü
éåÁÏ ÅÁ¢Ò2ÊËÌÑ Á2í£Å¿ÇÏ Ò'¿ÏÇÁ/ÅÎÁ/ã¾Á/ÎZÐ ¾£¿ÀÁÑÇʨÊÍMÊyÍOptÀÁ/ÊyÇÁ;Ë Ü ÈÞÏ¿nÕ9Ð ¿À£¿ÀÁ
ÒÀ Ã{¾ÉÁ?ÊÍOÒ;Ê$ÊÇÎÐ ¾ Ã{¿Á/Å
p(F (a))
za = exp(2iπua /p(F (a))).
2π
éåÁ¢Õ9Ð Â ÂOÃyÂ¥ÕtÃ/ÆÅ9ÏÅÁ¢¿ÀÁSÑ,ÊÕnÁ;Ç9ÍϾ Ò'¿Ð ʾU ÐÄÔÁ¢¿ÀÐÄÅ;õjÕ9ÀÁ;¾U¿ÀÁSÃyÇÉÏËaÁ;¾$¿ÐÄÅ9ãí¨ÁvÎÈ
Ð¥¿Ò2ʾÅÐÄÅ¿Å9Ð ¾UËGÏÂ¥¿Ð Ñ ƨÐľÉñÐ¥¿Õ9Ð¥¿À<¿ÀÁ?Á;í¨ÑʾÁ;¾$¿vÜ
$K I
i ¡
" I ¡ " ï ª~ ¡ $
g5O1479g:67T0
iMÁ2¿
e = (a, ā)
Þ,Á¢¿ÀÁSÁvÎÉÁÅÏ ÒÀd¿À ÿ
l(f (e)) = l(e) + ε F (a) =
Ãy¾ Î
Þ,Áa¿ÀÁñÍÃÒ2ÁaÕ9ÀÐÄÒÀâÒ;Êy¾$¿ÃyÐ ¾Å Ü m Á2¿ È È
(a1 , a2 , . . . , ak = a) a lk = l(a) p = p(F (a))
ÜqéåÁ¢ãÇÅ¿ÃÅÅÏËaÁ?¿À Ã{¿ Ü
R = p/(2π), Rε = (p + ε)/(2π) k≥2
ptÀÁ;¾£ÕnÁSÎÁ/ã¾Á ˆ ÞªÆ
fF : D(O, R) → D(O, Rε )
Rε p+ε
p ε ÍðÊÇ
z |z| p+ε 0 ≤ arg(z) ≤ 2π(p − lk )/p,
R
p ÍðÊÇ
Rε z p+ε (1+ε/lk )
ε p
ε × exp 2iπ 1− 2π(p − lk )/p ≤ arg(z) ≤ 2π.
R |z| p+ε (p/lk −1) p+ε lk
ptÀÐÄÅÐÄÅtÕnÁ/ ÂMÎÁ;ã¾Á/ΣÍÊÇ Ãy¾ Î Ü
arg(z) = 2π arg(z) = 2π(p − lk )/p
éåÁZÎÊU¿ÀÁZÅÃyËÌÁZÒ;Êy¾ Å¿ÇÏÒ2¿Ð ʾäÍÊÇ¢¿ÀÁñÍÃÒ2Á ÈqÃy¾ÎJ¿ÃyÔÁñÐÄÎÁ/¾ª¿Ð¥¿ÆçÍÊÇSÊy¿ÀÁ/Ç
F (ā)
ÍÃÒ2ÁvÅ;Ü
c¾J¿ÀÁµÒ;ÃÅÁ È¿ÃyÔÁ ˆ È\Ãy¾ÎJ¾Êy¿Á¿À ÿ Ò/Ã{¾å¾Êy¿¢ÞÁ
k=1 fF (z) = (p + ε)z/p F (ā)
ËÌʾÊvÓyÃy Á;¾$¿vÜ
éåÁ?ÀÃ/ÓªÁ?ÃaÅÐ ËaÐ ÂÄÃyÇÒ2ʾſÇÏ Ò'¿ÐÄÊy¾<ÐľZ¿ÀÁ¢Ò;ÃÅÁÕ9ÀÁ;ÇÁ Ãy¾ Î ÞÁ; ʾɿÊÌ¿ÀÁ?ÅÃyËaÁ
a ā
ÍÃÒ2ÁªÜ
éåÁ?À Ã/ÓªÁ¿ÊµÒÀÁ/ÒÔñ¿ÀÃ{¿¿ÀÁ ˆ É ÏÁ¿ÊµÎÁ;ã¾Á/Î ˆ ÞÁ2¿ÕnÁ;Á;¾ Ãy¾ Î Ü
fF f kΓk kΓ0 k
qÐÄÇÅ¿Â ÆªÈ ¿ÀÁSÀÊËaÁ;ÊËaÊyÇÑÀÐÄÅ˵Šˆ Á2í¨¿Á;¾ ÎUʾdÞÊϾ ÎÃyÇÐ ÁvÅÊÍ!ÎÐÄÅÔÅ;ÈÃy¾Î<ÓªÁ;Ç¿ÐÄÒ2ÁvÅ
fF
ËaÃyÑ Åtʾ$¿ÊÓªÁ;Ç¿ÐÄÒ;Á/Å;Ü
é Ð¥¿ÀÊϿ ʪÅÅÊÍ\ÉÁ;¾Á/ÇÃy Х¿ÆªÈÕnÁ¢Ò;ʾÅÐÄÎÁ;Çt¿ÀÁ¢Ò;ÃÅÁÕ9ÀÁ;ÇÁ Ãy¾ Î ÎÊ̾Êy¿9Þ,Á; ʾÉ
a ā
¿Êa¿ÀÁ¢ÅÃyËÌÁ¢ÍÃÒ2ÁÜ!cÍ\ÕnÁ¢ÅÁ2¿ Ãy¾ Î ˆ
È n
Õ ¢
Á
À Ã/ÓÁ
θ = arg(z) α = arg(fF (z))
p ÊyÇ θp(1 + ε/lk ) + c
α=θ α= .
p+ε p+ε
Õ9Ð¥¿À ÅÊyËaÁçÒ2ʾ Å¿Ã{¾$¿vÜ m Ð ¾ Ò2Á ÈÃy¾Î ÈÕnÁçÎÁ/ÎÏÒ;Á
c θ = 2πx/p α = 2πy/(p + ε)
¿À Ã{¿/È,Õ9Ð ¿ÀçÒ;Ãy¾Ê¾ÐÄÒ;ÃyÂqÒ2ʨÊÇÎÐ ¾Ã{¿Á/Å;È ˆ ÐÄÅ¿ÀÁGÐÄÎÁ;¾$¿Ð ¿*ÆmÊÇ?Ãy¾óÃ
a¾ÁËaÃyÑ
Ü ÅÓyÃ{ÂÄÏÁ/ÅhÃ{¿¿ÀÁ¢ÓªÁ;Ç¿ÐÄÒ2ÁvÅ9ÃyÇÁSãí¨è ÁvÎÈÃ
a¾Á
fF x 7→ y =
ìnʾU¿ÀÁSÅÁ;ÉËaÁ;¾$¿
x(1 + ε/lk ) + c [0, p]
ËaÃyÑ ÅtÐľÎÏÒ;Á/Î£ÞªÆ ˆ Ãy¾ Î ˆ Á/ò$ÏÃyÂʾ<ÁvÎÉÁ/Å;Ü
f f 0
éåÁjÀÃ/ÓªÁ¿ÊÒ/ÃyÂÄÒ2ÏFÂÄÃ{¿Áj¿ÀÁjFÎÐ ÂÄÃ{¿Ã{¿Ð ʾ Å ÜMéåÁjÒ/Ã{¾SÇÁvÅ¿ÇÐÒ'¿\¿ÀÁjÒ;ÊyËaÑÏ¿Ã{¿ÐÄÊy¾
K(fˆ(z))
¿ÊhÃy¾ÉÏÂÃ{ÇOÅÁvÒ'¿ÊÇÅMÕ9ÀÁ;ÇÁ ˆ ÐÄÅ\ÎÐ N,Á;ÇÁ/¾ª¿ÐÄÃyÞ ÁÈÃy¾ÎSÏÅÁEÍðÊ  ÊÕ9Ð ¾Éh Á/ËÌ˵ÃÈÕ9ÀʪÅÁEÑÇʨÊÍ
f
ÐÄÅÎÐ ÇÁvÒ'¿/Ü
M"+'W' C*&*
0T9
T
9,/+0=>4Q0B 7T0T9P>Z 9,/+0 <4>6?WQCGU043 QCGU:6BC0=[R0fXMBC04[ @
0 < α <
:6BC[ k 0T9 @407i>6?P0[65 W04>6?P>61EQ
/_587? >Z9O/+0
arg(z) < β < 2π 0 ≤ |z| < 1 g : T → T0
Z>61? LI/+0120 :6120h1204:DG BJ?A@40147 7J</ 9,/+:D9 k -#/+0B 5O7
g(z) = cz a z̄ b S a, b, c |a| > |b| g
^ J:75F<4>6BlZ>61?P:DGLg5,9,/ k
K K = (|a|+|b|)/(|a|−|b|)
c*¾µ¿ÀÁhÒ;ÃÅÁ9Õ9ÀÁ;ÇÁ Ãy¾Î ÎÊS¾Êy¿jÞ,Á/ ʾÉS¿Ê¢¿ÀÁhÅÃyËaÁ9ÍÃÒ2ÁȪÕnÁÊÞ¿ÃyÐ ¾ñÍÊÇjÁ2íÃ{ËaÑ Á
a ā
p + ε ÍðÊÇ
K(fˆ(z)) = 0 < arg(z) < 2π(p − lk )/p,
p
lk p + ε ÍÊÇ
K(fˆ(z)) = 2π(p − lk )/p < arg(z) < 2π.
lk + ε p
&04<2>6B&[<4:7i0 i\Á2¿ ÞÁÌÃZÅËaʨÊy¿ÀJo9ÐÄÁ;˵Ãy¾¾ÐÄÃy¾JÍÃ{¿*ÉÇÃyÑÀJÃ{¾ Î ¿ÀÁ
(Γ, l) (We (Γ), l)
ÅËaÊ$Êy¿Àåo9Ð Á;˵Ãy¾¾ÐÄÃy¾âÍÃ{¿ÉÇÃyÑÀçÊÞ¿ÃyÐ ¾ÁvÎçÞ$ÆçÒ2Ê ÂÃ{Ñ ÅÐ ¾Éd¿ÀÁµÁ/ÎÉÁ Ü£iMÁ2¿
e = (a, ā)
$ ¡
plk−1
(1−η)p
µ µ (1−η)p
(1−η4 )p4
µ µ
(1−η3 )p3
R1
µ R3
µ
µ R4 µ
µ
R2
(1−η4 )p4 µ (1−η3 )p3
(1−η 0 )p0
µ µ (1−η 0 )p0
(µ+lk )lk−1
lk +lk−1 fˆ
(1−η)(p−lk )
(1−η)(p−lk )
µ
(1−η3 )p3
(1−η4 )p4
P1
µ c(lk )
µ
P4 P3
µ P2 µ
(1−η4 )p4
(1−η3 )p3
0
(1−η )(p −lk ) 0 µ
#
lk +m0
# $
%
$ ¡
9,15D:DGU0B9 ZT:D9f^
aD1:4Q
/R7 0B&[R>6LY04[Lg5,9,/: J:75 Z212040 :R<T9
5f>6B >Z >Zj12:6?j5 X <2:D9
5F>6B [R:D9E:
S G
LI/_5F</ [65 W01>6BC0YZ212>6? 9,/+0h>D9,/+01@ :WXMB5
9E07i0J0BC<40h>Z;0JK56:615F:6B
9Y5 Q
7ik
RS
%&$ $KG&*óptÀÁµÒ;ʾÎÐ¥¿ÐÄÊy¾åÐÄÅSÅÏ
µÒ2Ð Á;¾$¿GÅÐľÒ2ÁµÁ/ò$ÏÐ¥ÓyÃyÇÐÄÃy¾$¿¢éêÀÐ¥¿Á/ÀÁ/ÃÎçÒ;Ê ÂÄÃyÑÅÁ/Å¢ÉÐ¥ÓªÁ
X (−1)s(∆j ) × |Z(G)|
χorb (Hg (G, R)) = .
|AutG (Γj , ϕj )|
[Γj ,ϕj ]
éåÁÇÁvÅÏË Ê¾Ì¿ÀÁ9ÐÅÊËÌÊÇÑÀÐÄÅË Ò2ÂÃyÅÅÁ/Å Ð ¾ ÎÁ;í¨ÐľÉ?¿ÀÁhÒ2Á;  ÏÂÄÃyÇnÎÁvÒ2ÊËh
[Γ /ϕ = ∆ ]
Ñ,ʪÅÐ¥¿Ð ʾçÊÍ ÈMÃy¾Îm¿ÀÁ;¾JÕnÁÌÏ jÅÁG¿jÀÁaÇÁ;ÂÄjÃ{¿Ð ʾçÞ,Á;¿*ÕnÁ/Á;¾çÃyÏ¿ÊËaÊÇÑÀÐÄÅ˵Å
M 0
ÉÇÊÏÑ Å ptÀÁ;ÊÇgÁ/Ë ,(b1,...,b
Übyìjt¿)ʵÊÞ¿ÃyÐ ¾
è
X (−1)s(∆) X |Aut(∆)|
χorb (Hg (G, R)) =
|Aut(∆)| |Aut(∆, ψ)|
[∆] ψ
Õ9ÀÁ;ÇÁG¿ÀÁ ÎÁ/ÅÒ;ÇÐ Þ,Á¿ÀÁaÅÁ2¿¢ÊÍEÒ2ʾ{ëÏɪÃÒ'ÆóÒ2ÂÄÃÅÅÁ/ÅÊÍjÁ/ÑÐ ËaÊÇÑÀÐÄÅËaÅ¢ÍðÇÊË
ψ π1 (∆)
ʾª¿Ê Õ9Ð¥¿ÀUР˵ÃyÉÁ/ÅÊÍ\ÂÄÊ$ÊÑ+ÍÃÒ2Á/ÅtãíÁ/ΣÞ$ÆZ¿ÀÁ?ÇÃyËaÐ ãÒ/ÿРʾmÎÃ{¿ÃÜ!lEÏ¿
G
X |Aut(∆)|
|Aut(∆, ψ)|
ψ
ÄÐ ÅZ¿ÀÁçÒ2ÂÄÃÅÅ<Á/ò$ÏÃ{¿Ð ʾêÍÊÇZ¿ÀÁçÃÒ'¿Ð ʾ ÊÍ Ê¾î¿ÀÐÄÅ<ÅÁ2¿vÜ ptÀ¨ÏÅZ¿ÀÐÄÅ<ÅÁ2¿<ÐÄÅ
Aut(∆)
Ð ¾ÎÁ;ÑÁ;¾ÎÁ;¾$¿ÍðÇÊË Ü Á;¾Êy¿Á?Ð ¿9ÞªÆ ÈÃy¾ Σ Á2¿ ÞÁÐ¥¿ÅÒ/ÃyÇÎÐ ¾ ÃyÂ)ÜqéåÁ
∆ Epig0 (G, R) dorb
ÀÃ/ÓªÁ?ÑÇÊvÓªÁ/Îõ
$K I
i ¡
" I ¡ " ï ª~ ¡ $
%&$ $ H L Hf$I C
*
C*
χorb (Hg (G, R)) = dorb × χorb (Mg0 ,(b1 ,...,bt ) ).
p ÀÐÄÅËaÁ/Ãy¾ Åh¿ÀÃ{¿?fhÏÇÕ9Ð¥¿ÝaÅÑÃÒ2Á/Å¢Ã{ÇÁ ÁvÅÅ?ÅÐ ¾ÉÏÂÄÃyÇ¿ÀÃy¾JËaʨÎÏ ÐÅÑÃÒ2ÁvÅ;ÜGptÀÁÇÃ
t
¿Ð ʾ Ãy¾¨ÏËGÞÁ;Ç ÐÅ9Ò;ÃyÂÄÒ2ÏÂÄÃ{¿ÁvÎ<Ð ¾äÖ á{Ù ÅÁ;ÁSÃyÂÄÅÊmÖ ÙEÖ×{Ø{Ùì'Ü
ÐÄÅGÃ<¾Ê¾J¿ÇÐ¥ÓÐÄÃyÂjʾÁÜZptÀÁñè Ò;ÃyÇÎÐľÃyÂÊÍ
χ (Mg0 ,(b1 ,...,bt ) )
ptÀÁµÒ2ÊËaÑÏ¿Ã{orb¿Ð ʾäÊÍ
dorb Hom 0 (G, R)
ÇÁ/ÑÂÄÃÒ2ÁaÁ;ÑÐÄËÌÊÇÑÀÐÅ˵ÅÞªÆó ÀÊËaÊËÌÊÇÑÀÐÄÅ˵Åì9ÐÅ?Ò;ÃyÂÄÒ2ÏÂÄÃ{¿ÁvÎóÐ ¾ Ö iá Ù ÅÁ;ÁaÃyÂÄgÅÊåÖ á×vÙìÈ
Ð¥è ¿Ê¾Â¥Æ£ÎÁ/Ñ,Á;¾ ÎÅnʾZ¿ÀÁÐ ÇÇÁvÎÏ Ò2Ð Þ Á?Ò;ÊËÌÑ Á2íZÇÁ/ÑÇÁvÅÁ;¾$¿Ã{¿Ð ʾÅnÊÍ I Ü è ÊÇÅƨËaËaÁ2¿ÇÐÄÒ
G
ÉÇÊÏÑ Å;È¿ÀÁvÅÁÒ;ÃyÇÎÐľÃyÂÄÅÃyÑÑÁ/ÃyÇhÃÅhÒ2ʨÁ
µÒ2Ð Á;¾$¿ÊÍÃñÉyÁ/¾Á;ÇÃ{¿Ð ¾ÉZÅÁ;ÇÐÄÁ/ÅÒ2ÊËaÐ ¾ÉZÍÇÊË
Ã˵Ã{¿ÇÐ¥í<ËÌÊÎÁ;ÂjÖ ×¨á2Ù*ÈÒ2 ʪÅÁ;Â¥Æ<ÇÁ/ÂÄÃ{¿Á/Σ¿ Ê EÃy¾É{ô¨bdÐ ÂÄÂÄÅt¿ÀÁ;ÊÇÆ£ÍðÊÇ9ÅÏÇÍÃÒ2Á/Å¢Ö á×vÙÜ
éåÁóÒ2ʾ Ò2Â Ï ÎÁUÕ9Ð ¿Àî¿ÀÁm¾Ê¾+ɪÃy ÊÐÄÅÐÄÃy¾êÒ/ÃÅÁÜkéåÁmÃyÂÄÅÊâÀÃ/ÓªÁmÃâÒ2Á;  ÏÂÄÃyÇ<ÎÁvÒ2ÊËh
Ñ,ʪÅÐ¥¿Ð ʾêÊÍ Ð ¾$¿Ê Ò2Á;ÂÄÂÄÅ ÈtÕ9ÀÁ/ÇÁ ÐÄÅ
H(g, g 0 , G, K, R) × P(R b>0 ) C(p) [p : Γ → ∆]
Ãy¾mÁ/ò$ÏÐ¥ÓÃ{ÂÄÁ;¾Ò;ÁÌÒ2ÂÄÃÅÅhÊÍjÎÁ/ÉÇÁ;Á Ò2ÊvÓªÁ/ÇÐ ¾ÉZÕ9Ð¥¿ÀçÃñËaʾÊÎÇÊË¢ÆdÊÍ!¿*ÆÑÁ Ü
d (G, K, R)
ptÀÁ/ÅÁhÒ2Á; ÂÅtÃ{ÇÁÑÃyÇÃyËaÁ2¿ÇÐ Ý;ÁvÎñުƵÁ/ÎÉÁ/Å;Ú$ Á;¾Éy¿À ÅEÊÍ I Ü !Á;ÇÍÊyÇËÌÐľÉSé ÀÐ¥¿Á;ÀÁ/ÃÎZÒ2ÊÂ
∆
ÂÄÃyÑÅÁvÅEÃyÂ Ê¾É Êy¾ ÈÃy¾Îa¿À¨ÏÅjéêÀÐ¥¿Á/ÀÁ/ÃÎñÒ2Ê ÂÄÃyÑ ÅÁ/ÅnÃyÂ Ê¾É −1 ʾ ȪÉÐ ÓÁÃSÒ2Á;ÂÄÂ
e ∆ p (e) Γ
ÐľÒ2ÐÎÁ;¾$¿Êy¾ ÈÕ9ÀÁ;ÇÁ Ü
C(q) C(p) q : Wp−1 (e) (Γ) → We (∆)
ÏÇ¿ÀÁ;ÇËaÊÇÁÈ$ÕnÁ?ÅÁ;Áh¿À Ã{¿ ÃÒ'¿ÅnÒ;Á;  ÏÂÄÃyÇÂ¥ÆZʾ
Out(G, K, R) Hh (G, R) × P(R b>0 )
ÞªÆ −1 !
Ü h
f ;
Á
¾ ;
Ò Á
θ · C(Γ, ϕ) = C(Γ, ϕ ◦ θ )
0
χorb (H(g, g , K, G, R)) = χorb (Hh (G, R))/Out(G, K, R).
"+' %
* ¾çÐ ËaÑ,ÊÇ¿Ã{¾$¿GÅ¿Á;ÑçÐ ¾åæhÊy¾$¿ÅÁ2ÓÐÄÒÀåÇÁ/ÅÏÂ¥¿ÅµÖ×{Ø{ÙÐÄÅ¿ÀÁaÁ2íÑÂÄÐÄÒ2Ð¥¿GÒ;ÊËÌÑÏ
¿Ã{¿Ð ʾâÊÍ9Ò2ÊÀÊËaÊ ÊÉyÆåÒ;ÂÄÃÅÅÁ/Åʾå¿ÀÁ£Ò2Á; ÂÄÏÂÄÃyÇÌÎÁ/Ò2ÊËaÑ,ʪÅÐ ¿Ð ʾßÊÍtËaÊÎÏ ÐnÅÑ ÃÒ2ÁñÊÍ
ÑϾÒ2¿ÏÇÁ/ÎUo9Ð Á;˵Ãy¾¾óÅÏÇÍÃÒ;Á/Å;ÜtptÀÁGÒ2ÊÀÊËaÊ ÊÉyÆdÒ2ÂÄÃÅÅÁvÅÃyÇÁSãÇÅ¿¢eEÀÁ/ǾdÒ2ÂÃÅÅÁ/ÅÊÍ
 Р¾ÁZÞϾ ΠÁ/ÅGÊvÓªÁ;ÇËaÊÎÏ ÐtÅÑ ÃyÒ;Á/Å;È!Õ9ÀʪÅÁZãÞ,Á;ÇÅGÃyÇÁñ¿ÀÁ<Ò2Êy¿Ãy¾ÉÁ;¾$¿ÌÅÑ ÃÒ2Á/ÅÌÃ{¿G¿ÀÁ
¿À<ÑϾ Ò'¿ÏÇÁÜ
i
c¿?ÍÊ  ÊvÕÅÍÇÊËBÊÏÇhÕnÊÇÔÈ,¿À Ã{¿¿ÀÁÑÏÂ Â Þ ÃyÒÔUÊÍ¿ÀÁvÅÁÌÒ;ÂÄÃÅÅÁ/ÅʾJfÏÇÕ9Ð¥¿ÝÌÅÑÃÒ2Á/Å/È
Ò;Ãy¾<ÞÁ¢Ò2ÊËaÑÏ¿Á/Î<Ð ¾<¿ÀÁSÅÃyËaÁÕtÃvƪÜ
!³£¹ = ?¼·ª½n¼?·ª½)¹\¶
* MC*7Å¿Ã{ÞÂ ÁGÍÃ{¿ÉÇÃyÑÀUÊÍq¿*ÆÑÁ
F"G)HJIKHJL
H
$I & ÐÅËaÃÎÁSÊÍ!õËaÊÎÏÂÄÃyÇÉÇÃyÑÀ
(g 0 , b)
ÊÍ\¿ÆÑ,Á ÅÏ ÒÀ£¿À ÿvõ
(E, g, P ) (g 0 , b)
p\ÊÁ/ÃÒÀÓªÁ;Ç¿Á2í Õ9Ð¥¿À ÐÄÅ!ÃÅÅÊÒ2ÐÄÃ{¿Á/ÎÌÃho9Ð Á/ËaÃy¾¾ÐÃ{¾aÍÃ{¿ÉÇÃyÑÀ È{Õ9Ð¥¿À
• s P (s) 6= ∅ Γ
ÍÃÒ2Á/Å;ÈÉyÁ/¾$Ï Å ÈÃy¾ Î ÎÐÄÅ¿Ð ¾ÉyÏÐÄÅÀÁ/ΣӪÁ;Ç¿ÐÄÒ2ÁvŠ˵Ã/ÆÞ,Á?ËaʾÊvÓyÃysÂÄÁ;¾$¿ÊÇ
#P (s) g(s) v
ÞÐ¥ÓyÃy Á;¾$¿vÈ¿ÀÁ¢Êy¿ÀÁ;ÇʾÁvÅÿ9ÂÄÁ/ÃÅs¿¿ÇÐ¥ÓyÃy Á/¾ª¿vÜ ì è
p\ÊSÁ/ÃÒÀñÁ/ÎÉÁëÊyÐľР¾ÉSÓªÁ;Ç¿ÐÄÒ2Á/Å Õ9Ð¥¿À ÐÄÅnÃÅÅÊÒ2ÐÄÃ{¿ÁvÎñÃy¾ñÐÄÎÁ;¾$¿Ð ãÒ;Ã{¿Ð ʾ
• si P (si ) 6= ∅
ÊÍ\¿ÀÁ¢Ò2ÊÇÇÁ/ÅÑ,ʾÎÐ ¾ÉaÎÐÄÅ¿Ð ¾ÉÏÐÄÅÀÁ/ΣӪÁ;Ç¿ÐÄÒ2ÁvÅ;Ü
p ÕnÊåÅ¿ÃyÞ ÁUÍÃ{¿*ÉÇÃyÑÀ Å
Ãy¾Î ÃyÇÁ<Á/ò$ÏÐ ÓyÃy Á;¾$¿µÐ Í¿ÀÁ;ÇÁ
(E, g, P, (Γ)s ) (F, l, Q, (∆)s )
Á2íÐÄÅ¿ ÊÇ Ò2ÊËaÑ,ʪÅÁ/Î<ÊÍ\ÐÄÅÊËaÊÇÑÀÐÄÅ˵Å
h : (E, g, P ) → (F, l, Q) (F, l, Q) → (E, g, P )
Ãy¾ÎâÇÁ2¿ÇÃÒ'¿Ð ʾ ÊÍÁvÎÉÁ/ÅëÊÐ ¾Ð ¾ÉJÓªÁ;Ç¿ÐÄÒ2Á/Å Õ9Ð¥¿À ÈEÅÏ ÒÀß¿À Ã{¿ Ãy¾Î
si P (si ) = ∅ Γs
ÃyÇÁ?ÐÅÊËÌÁ;¿ÇÐÄÒ¢Ð Í Ü
∆h(s) P (s) 6= ∅
éåÁ¾ÊvÕ À Ã/ÓÁ¿Ê<ÑÇÁ/Ò;ÐÄÅÁÌÀÊvÕ ÅËaʨÊy¿ÀçÍÃ{¿ÉÇÃyÑÀÅhÊÍ¿ÆÑ,Á ÎÁ;ÉÁ;¾Á;ÇÃ{¿ÁvÅÐ ¾$¿Ê
(g 0 , b)
Å¿ÃyÞ Á¢ÍÃ{¿ÉÇÃyÑÀÅtÊyÍqÅÃyËaÁ?¿Æ¨ÑÁÜOéäÁ?À Ã/ÓªÁ¿ÊñÎÐÄÅ¿Ð ¾ÉÏÐÅÀ<¿ÕnÊñÒ;ÃÅÁ/Å;Ü
qÐÄÇſ ƪÈÕnÁÌÒ;Ãy¾JÑ,Á;ÇÍÊÇË é ÀÐ¥¿Á/ÀÁ/ÃÎÚ ÅÒ2Ê ÂÄÃyÑ ÅÁ/ÅʾóÂÄÊ$ÊÑ ÅÕ9ÀÐÄÒÀçÎÊ£¾Êy¿?Þ,ÊϾ Î
Ãy¾ªÆmÍÃÒ2ÁÜGi\Á2¿ ÅÏ ÒÀçã ʨÊÑJÐľÒ2ÐÎÁ;¾$¿¢Ê¾çÃZÓªÁ;Ç¿Á2í Ð ¾åãÍÃ{¿ *ÉÇÃyÑÀ h Ü Íð¿Á;Ç¿ÀÁ
e v Γ
ÇÁ2¿ÇÃÒ'¿Ð ʾMÈÕtÁSÎÐÄÅÒ;Êy¾¾Á/Ò'¿¿ÀÁSÉÇÃyÑÀUʾ ¿ÊñÑÇÊÎÏ Ò2Á?¿ÕnÊZÎÐÄÅ¿Ð ¾ÉyÏÐÄÅÀÁ/ÎUÓªÁ/Ç¿ÐÄÒ;Á/Å;Ü
v
jÇÁ/Ò2ÐÄÅÁ;¥ƪÈÐ Í ÈÅÏÒÀd¿À ÿ Ãy¾Î È,¿ÀÁ/¾ÈÃÅà ÊÇÞÐ¥¿vÈ
e = (a, ā) σ2 (a) 6= a σ (ā) 6= ā σ0
Õ9Ð¥¿À Þ,Á/Ò;2ÃyÏ ÅÁ<ÍðÊÇaÁ2íÃyËaÑ Á
ÈÕ9ÀÐÄÒÀUÐÄÅÍÊÇÞÐÄÎÎÁ;¾ìÜjptÀÁ;¾<¿Àè Á¢¾Á2Õ ÎÐÄÅ¿Ð ¾ÉÏÐÄÅÀÁ/Î<ÓªÁ;Ç0¿ÐÄÒ2ÁvÅ9ÃyÇÁ
v = (a1 , . . . , aj , a, b1 , . . . , bk , ā) j, k ≥ 1 σ (a) = ā
Ð ËaÑÂ ÐÄÁ/Å
σ2 (ā) = ā
Ãy¾ Î ÜptÀÁ2Æ<Ã{ÇÁ?Ñ,ʪÅÅÐ ÞÂ¥Æ<ËaʾÊvÓyÃy Á/¾ª¿9ÊÇÞÐ¥ÓyÃy Á;¾$¿vÜ
(a1 , . . . , aj ) (b1 , . . . , bk )
n¿j¿ÀÁ Á;ÓÁ/ ÊÍËaÊÎÏÂÄÃyÇEÉÇÃyÑÀ Å!ÕnÁhÒ2ÇÁ/Ã{¿ÁÃy¾ñÁ/ÎÉÁÃy¾ εÃS¾Á2Õ ÓªÁ;Ç¿Á2íÈ$ÊÇEâ ʨÊÑMÈ
Õ9Ð¥¿ÀdÃyÑÑÇÊyÑÇÐÄÃ{¿Á¢ÎÃ{¿ÃÜ
m Á/Ò2ʾ ÎÂ¥Æ$È!ÕnÁUÒ;Ãy¾ïÒ2Ê ÂÄÃyÑ ÅÁUÃJÅÏÞÉÇÃyÑÀ ÊÍ Ð ¾$¿ÊçÃmÓªÁ;Ç¿Á2íäÕ9ÀÐÄÒÀ ÞÁ/Ò2ÊËaÁ/Å
∆ Γ
ÎÐÄÅ¿Ð ¾ÉÏÐÄÅÀÁ/Î ÑÇÊvÓÐÄÎÁ/οÀÃ{¿¿ÀÁ¾¨ÏËGÞÁ;Ç!ÊÍÍÃÒ2ÁvÅ!ÔÁ;Á;Ñ ÅÒ2ʾ Å¿Ãy¾$¿'ì'I Ü n¿¿ÀÁ9 Á2ÓªÁ;ÂÊÍ
ËÌÊÎÏÂÄÃyÇtÉÇÃyÑÀè Å;È$ÕnÁ?Ò;ÇÁ/Ã{¿Á?Ãy¾<Á/ÎÉÁ?Ãy¾Î£ÃGËaʾÊvÓyÃy Á;¾$¿tÓªÁ;Ç¿Á2í Õ9Ð ¿À
s g(s) = g(∆)
Ãy¾Î Ü
P (s) = ∅
ptÀÁ;¾MÈvÕtÁEÀ Ã/ÓªÁEæhʾª¿ÅÁ2ÓÐÄÒÀÚ Å\¿ÀÁ;ÊÇÁ;ËUÈ{Õ9ÀÐÄÒÀÍÏǾÐÄÅÀÁ/ÅOÃÒ2Á;  ÏÂÄÃyÇ!ÎÁ/Ò2ÊËaÑ,ʪÅÐ ¿Ð ʾ
ÊÍM¿ÀÁÕ9ÀÊÂ ÁSÅÑÃÒ2Á 0 b Ü
Mg0 ,b × P(R >0 )
!#"$#%&"' &*&* -#/+0120 587h:6B /+>6?P04>6?A>61EQ
/_5O7? b
Mcomb 0
g 0 ,b → Mg 0 ,b × P(R >0 )
%&$ $KG&* !Ð¥íßÃmËaÊÎÏÂÄÃyÇÉÇÃyÑÀ ÜäptÀÁZ˵ÃyÑßÍÇÊË ÇÐ ÉÀ$¿Ì¿ÊóÂÄÁ;Íð¿aÐÄÅÉÐ¥ÓªÁ;¾
(E, g, P )
ÞªÆå¿ÀÁ£ptÀÁ;ÊÇÁ;Ë Ü óÃyÑÑ ÐÄÁ/Îä¿ÊóÁ/ÃÒÀ Ò2ÊËaÑ,ʾÁ;¾ª¿aÃÅÅÊÒ2ÐÄÃ{¿Á/Îä¿ÊJÃdÓªÁ;Ç¿Á2í Õ9Ð¥¿À
s
%#
$ ¡
Ü ÊÇS¿ÀÁñÐ ¾$ÓªÁ;ÇÅÁñ˵ÃyÑÈOÕnÁñÀÃ/ÓªÁµ¿ÊJÅÃ/ÆåÅÊyËaÁ2¿ÀÐľÉJÃ{ÞÊÏ¿GËaʾÊvÓyÃyÂÄÁ;¾ª¿
P (s) 6= ∅
Ãy¾Î£ÞÐ ÓyÃy Á;¾$¿ÓªÁ;Ç¿ÐÄÒ;Á/Å;Ü
cÍ ÐÅõÞÐ¥ÓyÃy Á/¾ª¿hÓÁ/Ç¿Á;í<ÊÍ!Ãño9Ð Á;˵Ãy¾¾ÐÄÃy¾mÍÃ{¿*ÉÇÃyÑÀ È Õ9Ð¥¿ÀmÁ/ÎÉÁvÅ Ãy¾Î
s (Γ, l) a b
Ð ¾Ò;ÐÄÎÁ/¾ª¿SʾJÐ ¿/È¿ÀÁ/¾ ÐÄÅ?ÞÐ ÀÊ ÊËaÊyÇÑÀÐÄÒ¿Ê ÈÕ9ÀÁ;ÇÁ 0 ÐÄÅ¿ÀÁÌo9Ð Á;˵Ãy¾¾ÐÄÃy¾
kΓk kΓ0 k Γ
ÍÃ{¿ ÉÇÃyÑÀÌÊÞ¿ÃyÐ ¾Á/ÎaÍÇÊË Ð ¾ñÒ;Ãy¾ Ò2Á; Р¾É ȪÁvÎÉÁ/Å Ãy¾ Î Þ,ÁvÒ2ÊËÌÐľÉGÃ?¾Á2Õ ÁvÎÉÁ
(Γ, l) s a b
ÊÍ\ Á;¾Éy¿À Ü
l(a) + l(b)
i\Á2¿ Þ,ÁÃËaʾÊvÓyÃy Á/¾ª¿!ÓªÁ;Ç¿Á2íÊÍ ÈªÃy¾ Î ÞÁn¿ÀÁtϾÐÄò$ÏÁtÁ/ÎÉÁtÐ ¾ Ò2ÐÄÎÁ;¾$¿Ê¾ÌÐ¥¿/Ü
s (Γ, l) a
c*Í ÐÄÅ9ÃaÅËaÃyÂÄÂMÎÐÅÔZÒ2Á/¾ª¿Á;ÇÁvΣР¾ Ȩ¿ÀÁ/¾ ÐÄÅÃÌ ÊÒ;ÃyÂMÒ2ʨÊÇÎÐľÃ{¿Á¢Ã{¿ È
Ds s (Ds ∩ Ua , u2a ) s
ÀÊ ÊËaÊÇÑÀÐÄÒ;ÃyÂÄÂ¥ÆÌÒ2ÊËaÑÃ{¿Ð ÞÂÄÁtÕ9Ð¥¿ÀÌ¿ÀÁtÊ{¿ÀÁ;Ç!Êy¾Á/Å;ȪÃy¾Î Þ,Á/Ò2ÊËaÁ/Å!ÃãÇÅ¿ÊÇÎÁ;Ç!Ñ,Ê Á
s
ÊÍ Ü
wΓ
eEʾ$¿Ðľ$ÏÐ¥¿Æ£Ò;Ãy¾£Þ,Á?ÅÔÁ2¿ÒÀÁ/ΣÃÅnÍÊ  ÊvÕÅ;ÜqéåÁ?ÃÅÅÊÒ2ÐÿÁ¿ÊÌÁ/ÃÒÀ<Á/ÎÉÁÚ ÅnÇÁ2¿ÇÃÒ'¿Ð ʾ
ÃçÎÁ;ÍÊÇËaÃ{¿Ð ʾïÕ9ÀʪÅÁdÎÐ ÂÄÃ{¿Ð ʾîÐÄÅñÒ;Êy¾$¿ÇÊ  Á/ÎïÐ ¾îÍϾ Ò'¿ÐÄʾïÊÍhÁ/ÎÉÁÚ ÅaÂÄÁ;¾Éy¿À ÃŵР¾
ptÀÁ;ÊÇÁ/Ë ¨Ü ×ìÜ è
( J3 4 B,)45 ÇÊË
¾ ÊvÕBʾÈÕnÁóãí
ÃâÎÁ;ÉÇÁ;Á
R = b C + ··· + b C b
ÇÃyËÌÐÄãÒ;Ã{¿Ð ʾkÎÃ{¿ÃâÊÍSÃßã¾Ð¥¿ÁJÉÇÊÏÑ Ü éäÁóãÇÅ¿£À 1 Ã/Óª1Ám¿ÊßÁ2í¨¿Á;¾tÎ t¿ÀÁóÇÃyËaÐ ãÁ/Î
G
Ò2ÊvÓªÁ;ÇÐ ¾É ¿ÊaõÅÏÐ ¿ÃyÞ ÁSÒ2ÊËaÑÃÒ2¿Ð ã Ò;Ã{¿Ð ʾ Ü
Hh (G, R) → Mg0 ,{b1 ,...,bt } Hh (G, R)
m Ð ¾ Ò2Á?Á2ÓªÁ;ÇÆ<Å¿ÃyÞ Á¢o9Ð Á/ËaÃy¾¾dÅÏÇÍÃÒ2Á?ÊÍ ÐÄÅÊÞ¿ÃyÐľÁ/Î<ުƣ ÇÁ2¿ÇÃÒ'¿Ð ʾ
M 0 1 ,...,bt }
ÊÍqÅÊËÌÁS ʨÊyÑ ÅʾdõÅËaʨÊ{¿ÀUo9Ð Á/ËaÃy¾¾mÅÏÇÍÃÒ2Á¢gÊ,{b Í ÈÕnÁ¢ÞÏÐ ÂÎ<Á;ÂÄÁ;ËaÁ;¾$¿Å
M 0 1 ,...,bt }
ÊÍ ÍðÇÊË ÅËaʨÊy¿À<Êy¾Á/ÅtÐ ¾<ÇÁ2¿ÇÃÒ'¿ÐľÉaÅÊyËaÁ?Êg Ç,{bÞÐ ¿ÅnÊÍ\ ʨÊÑÅ;ÜptÀÁÍðÊ ÂÄÊvÕ9Ð ¾É
H (G, R)
ÇÁ/ÅÏÂ¥h¿jÐÄÅ!ÐÄËÌÑÊÇ¿Ãy¾$¿EÅÐ ¾ Ò2Á9Ð¥¿jÉÐ¥ÓªÁ/Åq¿ÀÁÅ¿ÃyÞÐ ÂÄÐ¥¿*ƵÒ2ʾ ÎÐ ¿Ð ʾµÍÊÇjÃyÒ2¿Ð ʾ Å!ÊÍ Êy¾µÅ¿ÃyÞÂÄÁ
G
o9Ð Á;˵Ãy¾¾dÅÏÇÍÃÒ2Á/Å;Ü
%&$ $ H L Hf$I &
* * 0T9
[C, ϕ] ∈ Hh (G, R)
kA-#/+0B 9,/+079E:R@5,Gb5UNl01
G(L)
>Z;:PG`>l>4Q
L
58705
9,/+01< R
<TGb5f<h>61h[65O/+04[612:DG`k
F"G)HJIKHJL
H
$I &*C* ¾ ÃÎËaÐÄÅÅÐÄÞ ÁUÅƨËaËaÁ2¿ÇÐÄÒ£ÅÏÞ ÅÏÇÍÃÒ2Á£ÎÁvÒ2ÊËÌÑʪÅÐ¥¿Ð ʾ ÊÍ
• D
ÐÅjÃSÅÏÞÅÏÇÍÃyÒ;Á9ÎÁ/Ò2ÊËaÑ,ʪÅÐ ¿Ð ʾñÊÍ Õ9ÀÁ;ÇÁ ÐÄÅ¿ÀÁÅÁ;¿
[C, ϕ] ∈ Hh (G, R) C −X è X
ÊÍOãíÁ/ΣÑ,ÊÐ ¾$¿ÅìÈ ÅÆËÌËaÁ2¿ÇÐÄÒÕ9Ð ¿ÀdÇÁ/ÅÑÁ/Ò'¿t¿ÊÌ¿ÀÁ¢ÀÊ ÊËaÊÇÑÀÐÄÒ¢ÃÒ'¿Ð ʾUÊÍ ÈÃy¾Î
G
ÅÏ ÒÀa¿À Ã{¿Á2ÓªÁ;ÇÆaÒ2ÏÇÓªÁÊÍ ¿ÀÁÎÁ/Ò;ÊËÌÑʪÅÐ¥¿ÐÄʾµÎʨÁ/Å!¾Êy¿jÐ ¾$¿Á;ÇÅÁ/Ò'¿j¿ÀÁ9ÅÁ;¿ Ü m Ï ÒÀ
X
Ã<ÎÁ/Ò;ÊyËaÑÊÅÐ¥¿ÐÄÊy¾åÐÄÅ?Ò/Ãy  Á/ÎJ˵Ã{íР˵ÃyÂ!Ð Íj¿ÀÁµòªÏÊy¿ÐÄÁ;¾ª¿SÎÁ/Ò2ÊËaÑ,ʪÅÐ¥¿Ð ʾçÊÍ
C/ϕ(G)
ÐÄÅ9ÃÌÑ Ãy¾$¿ÅÎÁ/Ò2ÊËaÑ,ʪÅÐ¥¿Ð ʾMÜ
i\Á2¿ Þ,ÁaÃUÒ2ÊËaÑÃÒ'¿¢oÐ Á;˵Ãy¾¾åÅÏÇÍÃÒ2ÁÕ9Ð¥¿Àç¾ÊÎÁ/Å;Üj¾åÃÒ'¿ÐÄʾ
• (C, i ) ϕ : G ,→
ÀÊËÌÁ/Ê C ÐÄÅÅÃyÐÎU¿ÊZÞ,ÁÅ¿Ã{Þ ÁÐ Í ÃÒ'¿ÅÀÊyÂÄÊËÌÊÇÑÀÐÒ;Ãy ¥ÆmʾmÁ/ÃÒÀJÒ2ÊËj
(C, iC ) ϕ(G)
ÑʾÁ;¾$¿vÈÐ Íj¿ÀÁ¾ÊÎÁÌÅ¿ÃyÞÐÄ РÝ;Á;ÇÅ¢ÃyÇÁÌÃy ÂÒ'ÆÒ2 ÐÄÒÈÕ9Ð ¿Àó¿ÀÁÌÑÇÁ/Ò2Á/ÎÐ ¾É£ÑÇÊyÑÁ;Ç¿Ædʾ
Å¿ÃyÞÐÄ РÝ;Á;ÇÅÊÍM¿Ð Á/Å/ÈÃy¾Î£Ð Í ÐÄÅn¿ÀÁ¢Ò;ÃyÇÎÐľÃyÂÊÍ\¾Ê¨ÎÁ/ÅtÊy¾
ÐÄÅt¿iÀÁ¢Ò/Ã{ÇÎÐ ¾ iÃyÂÊÍqiÅËaÊ$Êy¿è ÀUiãíÁ/ΣÑÊÐ ¾ª¿Åì'Ü
2g − 2 + F + L > 0 L
¿ÀÁ )¿ÀUÒ;ÊËÌÑʾÁ;¾$¿vÈ
i Fi
ÐÄÅa¿ÀÁmÅÁ2¿ñÊÍhÁvòªÏÐ¥ÓyÃy Á;¾ Ò2ÁmÒ2ÂÄÃÅÅÁvŵÊÍ Õ9ÀÁ;ÇÁ ÐÄŵÃ
• Hh (G, R) [(C, iC ), ϕ] (C, iC )
ÉÁ;¾¨Ï Å Ò;ÊyËaÑ ÃÒ'¿o9Ð Á;˵Ãy¾¾JÅÏÇÍÃÒ2ÁGÕ9Ð¥¿Àó¾ÊÎÁvÅ;ÈÃy¾ Î ÐÄÅÃZÅ¿ÃyÞ ÁÌÃÒ'¿Ð ʾmÕ9Ð¥¿À
g ϕ
ÜOpMÕnÊÁ; Á;ËaÁ;¾$¿ÅOÎÁ/ã¾Á!¿ÀÁEÅÃyËÌÁEÒ;ÂÄÃÅÅMÐÄͨ¿ÀÁ2ÆSÎÐ N,Á;Ç\ުƢà *Á/ò$ÏÐ¥ÓÃ{ÇÐÄÃy¾ª¿
R(ϕ) = R G
ÀÊËÌÁ/ÊËÌÊÇÑÀÐÅË Õ9ÀÐÄÒÀUÐÄÅÞÐ ÀÊ ÊËaÊÇÑÀÐÄÒ?ʾ<ÁvÃyÒÀdÒ2ÊËaÑ,ʾÁ;¾$¿/Ü
A A ¸A,¶j¼BA1C
!#"%$&(')"*+,-./'102*3"4.#5!&')"6.789
9'2:;"%$#<>= @?3ACBED &
=FHG '('? & GJILKK
& NMOP/
<,-'Q!#.%RS#TU)VXW8S8Y[Z%\^]_Va`%Y#bcT8Z%\HdZW8ef`@g%ef`_hLhibQ\Xj%Y8PO"Nk
.F$#!#"lHmn!#-6$#@HGooX
p%q:rs>"5!2"lut2vc$#wxXL.#Ly!&z"5i,"%$#-.78i|{~}Sf>W#ZU)}S_\%bS#T_+U)}S#Z%W_^ZFdNLS_Y#Y#b)\Y
KNMO~s[!&.Ha--$&fl*+.&i",[y~-68<*q,,-!q.&i"6.q"l!#",-wH"%$#-.78n>VgQg-neS8WJ
a(=FHGGo
? ~ opJIa ooX
o%N0N[s[!#."l :rOi!&l F: Cl5,-
.&i"6u'6H@!&. "l $#<
5! 2$#w;*+Cl!&*Nx
!&5C78 C S_bQ\S\XjLS > `U} D =FHG @? a & ' Ia &
' +t2
i
["!&,- 2f$#<*+Cl5,'~6,-.&l02*f".#5!&')"6. $#<.FxX*3*+$#!&.F7#XHGJI
Hp 3(2 `%\T_S_YbQ\U)}SqU}S#Z%W8"! ZFd # 1bcS_ef`%\i\(Y8VCW)d`@T_S8Y^=@$&@x;s[!#LHGoG ? l-$#l Lx
MOXP/X
<,-'Q!#.1$2"%, -i
i",-.':;"%$#<@$#5l. %$&$ XmO!#-6$#
-EXmO!&.&.HXmO!&6$&
HGooX
)
",-.!#5.78 +
nZ%e+e^~b)\
g jL -,
D 3=FHG '('? ' IC &
G% ii5,-$& 5! -$&wq.&68<*+."l . $#<N-!#!&l56-,--$x '*3Cl5,-' ",-!#"6q65!&@.F7#
% i5,-$#X
g jLS 8W#`%bcTUZ_hZgZ#j 10 2 *3
` W8Y_U T8Z%VCW8YHS_ )
!8"l5i"%$&2y~ C$&.O-f:;"%$#<*3"%$#-6. 54 AD
=
bQYTW8S_USnj%W#Z%V%hiY1`%\2jCS#Z%e^SU)W_Jl-$#l/@x "!F@x@JMl/:;"%$#<LC6JM6$&5!# " 1
k
$#.L!&. $ A B at["*q!&lN
-imn!#.&.t>"*N!#-lHGGpX
Hp% D iMO "!&!Fy>< 6<*3,x ' *3Ll5,1.#i"%6 ' 65!F@.78n- {~}S#Z%W84ZFd^efZJ%Vg b)
-
.#i"%6.78 OW#ZJTJRZ%\@Z%\ `U)}~EZHT%- B =HG ' ? iK@GoJIXC &
H% ) /
q * .f"l />L-!&*f"9Fy><!Fx '
*3".3 !&L$#", .&5!&'"6.F7# P [W#ZHT%
HG%N
q KN ,-xL"68<^"l Q KN 2 5!F$8"%!8"C#L*+N-l@$#$#."l ".FxX*+X$#$#-6.
'Q!68<i"!8"%6$#!&.2'
&
%q: N
2L$&.#_X68<LvL$&!&.#6_$#$#<!Fx^$#<*3Ll5,E.#i"6'~65!F@."l$&<*3"%$#!& 4
!Fx'Q56$#-C78 *
nZ%e/e `U} [}@%YH A BF =HGG @? ~8I & & pX
&(& N
N
q 5!&-i"Hx@".#< 2/"i"%,-xC$&6O')"*3-,-.'X6*3i"6$902*f"N.&5!#')"6. > -$#<$#!&-Cz",
& o%R 2 -$&$&Fy >l*+.&i",!8"C-$x "l -@$#!&.&6$#- $#<!Fx4 *+Cl5,-.&i"6_7#
!
iVCW S_YbQ\ =
b
[
S&Ze^ A =HGGX ? &
K@pJICpX X
&!' R
2 $&$#~%
,!8"-62*+$#!Fxf".&.#L6z"%$&l 4 .
-$&<^*3"%$#!& +*3Ll,.O'$ [ql*+.&i",
9
:;-68<, v*N!F$ 25 F' c!&,- ')!
!#"$&%')(+*%&
,-*./$102*#"34 576
89 6$:$;=<$3) 34$)>+?A@CB'"
(D$3#
$