arxiv: v2 [math.ag] 20 Mar 2009

Átírás

1 ÌÀ ÊÇÌÀ Æ Á à ÊÇÍÈ Ç Ä Ê Á ËÌ ÃË arxiv: v2 [math.ag] 20 Mar 2009 ØÖ Øº Ï ÒØÖÓ Ù ÖÓØ Ò ÖÓÙÔ Ó Ð Ö Ø Û Ø Ò Ø Ð Ö µ Ò ÐÓ ÓÙ ØÓ Ø ÖÓØ Ò ÖÓÙÔ Ó Ð Ö Ú Ö Ø º Ï Ø Ò ÒØ Ý Ø Û Ø ÖØ Ò ÐÓ Ð Ø ÓÒ Ó Ø ÖÓØ Ò ÖÓÙÔ Ó Ð Ö Ú Ö Ø º Ë Ú Ö Ð ÒÚ Ö ÒØ Ó Ð Ñ ÒØ Ò Ø ÖÓÙÔ Ö Ù º Ì ÑÓ Ø ÑÔÓÖØ ÒØ Ò ÜØ Ò ÓÒ Ó Ø ÙÐ Ö Ö Ø Ö Ø Ó Ó ÓÑÓÐÓ Ý Û Ø ÓÑÔ Ø ÙÔÔÓÖص ÙØ Ò Ö Ø Ö Ø Þ ÖÓ Û ÒØÖÓ Ù ÒÚ Ö ÒØ Û Ö Ð ØÓ Ø Ò Ù ØÛ Ò Ð Û Ø Ø Ñ ÙÐ Ö Ö Ø Ö Ø º Ì ÒÚ Ö ÒØ Ö ØÙ ÐÐÝ Ò ÓÒ Ø ÓÑÔÐ Ø ÐÓ Ð ÖÓØ Ò Ö Ò Ó Ú Ö Ø Ù Ò ÑÓØ Ú ÒØ Ö Ø ÓÒº ÁÒ Ô ÖØ ÙÐ Ö Û ÓÛ Ø Ø Ø Ö Ö PSL n¹øóö ÓÖ Ó Ú Ö Ø Û Ó Ð Ò Ø ÓÑÔÐ Ø ÐÓ Ð ÖÓØ Ò Ö Ò Ó Ú Ö Ø ÒÓØ Ø ÔÖÓ ÙØ Ó Ø Ð Ó Ø Ò Ø Ð Ó PSL nº ÓÙÒØ Ò ÔÓ ÒØ Ó Ú Ö Ø ÓÚ Ö Ò Ø Ð ÓØ Û Ðй Ø Ð ÙÖ Ø Ñ Ø Ó ØÓ Ù ÑÓÖ ÔÖ Ó ÓÑÓÐÓ Ðµ Ø Ø Ñ ÒØ Û ÐÐ Û Ý ØÓ Ó Ø Ò ØÙ Ð Ò ÓÖÑ Ø ÓÒ ÓÒ Ø l¹ ÐÓ Ö ÔÖ ÒØ Ø ÓÒ ÙÐ Ö Ö Ø Ö Ø º È ÖØ ÙÐ ÖÐÝ Ò Ø Ð ØØ Ö Û Ø Ó Ø Ò Ò ÓÒ Ö Ø ÖØ Ò Ø Ð Ø Û Ø ÀÆ µ Ö ÑÓ ÙÐ Ú Ö Ø ÓÖ Ù Ù ÐÐÝ ÑÓÖ ÔÖÓÔ ÖÐÝ Ø µ Û Ö ÓÒ Û Ò ÓÙÒØ Ò ÓÒ Ø ÒØÐÝ Ú Ý Ø ÓÖ Ö Ó ÓÑ ÙØÓÑÓÖÔ Ñ ÖÓÙÔº Ì Ö ÑÓÖ Ö Ø ÔÔÖÓ ØÓ Ø Ó ÓÑÓÐÓ Ý Ó Ø ÑÓ ÙÐ Ô ÓÒ Ö Ý À Ö Ö¹Æ Ö Ñ Ò Ú Ò Ý Ø Ý ¹ ÓØØ µº Ì ÓÙ ÓÑÔÐ Ø ÐÝ Ö ÒØ Ò ÔÔÖÓ Ø ÙÖÔÖ Ò ÐÝ Ñ Ð Ö Ò Ø ÐÓ Ó Ø Ö ÙÖ ÓÒ Û Ò ÙØ Ú ÐÝ Ò ÐÝ Ø ØÖ Ø Ó ØÖ Ø Ø ÓÒº Ì Ñ Ò Ö Ò Ò Ü ÙØ ÓÒ Ø Ø ÔÓ ÒØ ÓÙÒØ Ò ÐÐÓÛ ÓÒ ØÓ Ù Ø ÙÑ ÙÔ ÓÚ Ö Ø ØÖ Ø Ò Ú Ý Ø ÓÖ Ö Ó ÖÓÙÔ Û Ò ÓÒ Ø Ò ÕÙÓØ ÒØ Ý Øº Ì Ø ÓÒ Ò ÙÑ ÓÚ Ö Ø ØÖ Ø ÒØ ÐÐÝ Ù ÓÒ ÓÑÔÙØ Ò ÙÐ Ö Ö Ø Ö Ø Ó Ó ÓÑÓÐÓ Ý Ò Ø Ó ØØ Ò ÓÐ Ó Ø ØÙ Ð Ó ÓÑÓÐÓ Ý Ø ÓÙ Ð Ú Ö Ô ÖØ Ó Ø À Ö Ö¹ Æ Ö Ñ Ò Ö ÙÑ ÒØ Ø Ø ÓÒ Ò ÓÑÔÙØ Ø ØØ ÒÙÑ Ö ÖÓÑ Ø ÐÓ Ö ÔÖ ÒØ Ø ÓÒ ÙÐ Ö Ö Ø Ö Ø Ò Ñ ÒÝ Ý Ù Ò Ð Ò ³ ÙÒ Ñ ÒØ Ð Û Ø Ö ÙÐصº Ì ÓÒ Ô ÖØ ÓÑ Û Ø Ö ÒØ Ø Ú ÓÒ Ý Ø ÖÓÙÔ ÓÖ Ö ÓÖÖ ÔÓÒ ØÓ Ô ØÖ Ð ÕÙ Ò ÒÚÓÐÚ Ò ÕÙ Ú Ö ÒØ Ó ÓÑÓÐÓ Ýº Ø Ô ØÖ Ð ÕÙ Ò Û ÐÐ Ò Ò Ö Ð Ú Ò Ò Ø ØÓØ Ð Ñ Ò ÓÒ Ø ÒÓØ ÔÓ Ð ØÓ Ö ØÐÝ ÓÑÔÙØ ÙÐ Ö Ö Ø Ö Ø ÖÓÑ Øº Ì ÖØ Ð Ø ÖØ Ó Ò ØØ ÑÔØ ØÓ Ø Ø Ò ÙÔ Ó Ø Ø Ø ÓÑ ØÖ Ð Ô Ø Ó Ø ÔÓ ÒØ ÓÙÒØ Ò Ó ¼ ÓÙÐ Ñ ÑÓÖ Ú Ð º ÓÖ Ø Ø ÓÒ Ñ Ø Û ÒØ ØÓ Ó ÙÖØ Ö Ø Ò Ù Ø Ñ Ò Ó ÓÑÓÐÓ Ð Ö ÙÑ ÒØ Ø ÓÑ ØÖ Ö ÓÒ Ö Ù Ù ÐÐÝ Ú Ò Ó ÑÓØ Ú Ö Ø Öº ½ ÈÓ ÒØ ÓÙÒØ Ò Ó Ú Ö Ø Ò Ó Ø Ò Ñ ÑÓØ Ú Ý ÛÓÖ Ò Ò ÖÓØ Ò Ö Ò Ó Ú Ö Ø Ò Ø Ò Ó ÔÓ ÒØ ÓÙÒØ Ò Ø Ø ÒÚÓÐÚ Ö ÓÙÐ Ñ ÑÓØ Ú Ý ÛÓÖ Ò Ò ÖÓØ Ò Ö Ò Ó Ð Ö Ø º ÁÒ Ù Ö Ò Ø Ð Ó Ñ ÒÝ Ð Ö ÖÓÙÔ Û ÐÐ ÒÚ ÖØ Ð Ó Ø Ø ÓÒ Ñ Ý Ò Ú Ý Ø Ñº Á Ú ÒØÙ ÐÐÝ ÓÙÒ ÓÙØ Ø Ø Ø ÐÖ Ý ÔÔ Ö ØÓ Ú Ö Ð Ô ÓÔÐ º ¼ ÂÓ¼ ÌÓ¼ µº Á Ð Ú ÓÛ Ú Ö Ø Ø Û Ñ Ò ØÓ Ò Ú Ø Ø ËÝÐÐ Ò Ö Ó Ø ÔÖ ÒØ ØÓ Ø ÔÓ ÒØ Ø Ø Ø ÒØÖÓ ÙØ ÓÒ Ó Ò Û ÖÓØ Ò ÖÓÙÔ Ó Ð Ö Ø Ò Ö Ù Ø Ö Ñ Ö Ø Ö Ì ÓÖ Ñ ½º¾ ÓÖ Ò ÜØ Ò Ù ÓÒ Ó Ø Ö Ð Ø ÓÒ ØÛ Ò Ø ÔÖ ÒØ ÔÔÖÓ Ò Ø ÓØ Ö µº ÑÓÖ ÔÖ Ö ÔØ ÓÒ Ó Ø ÓÒØ ÒØ ÓÐÐÓÛ º Ì ÖØ Ð Ø ÖØ Û Ø ÒØÖÓ Ù Ò ÖÓØ Ò Ö Ò K 0 (Stck k ) Ó Ð Ö Ø Ò ÓÑ Ò ØÙÖ Ð ÕÙÓØ ÒØ Ó Øµ ÓÚ Ö Ð k Ò Ú ÒÙÑ Ö Ó ØÙ Ø ÓÒ Û Ò Ö Ø ÓÒ Ö ÑÙÐØ ÔÐ Ø Ú Û Ø Ö Ô Ø ØÓ Ø Ð Ó Ø Ø Ò Ø Ö Ò º ÁØ Ø Ò ÓÛÒ Ø Ø Ø ÖÓØ Ò Ö Ò ØÙ ÐÐÝ Ô ÐÓ Ð Ø ÓÒ Ó Ø ÖÓØ Ò Ö Ò K 0 (Spc k ) Ó Ð Ö Ú Ö Ø º Ì ÐÓ Ð Ø ÓÒ Ö ÙÐØ Ø Ò Ù ØÓ Ú Ò ÙÐ Ö Ö Ø Ö Ø Ó ÒÝ Ð Ö Ø Ó Ò Ø ØÝÔ Ò Û Ø Ò Ø Ð Ö µ Ò Ù Ø ÐÝ ÓÑÔÐ Ø ÖÓØ Ò ¾¼¼¼ Å Ø Ñ Ø ËÙ Ø Ð Ø ÓÒº ÈÖ Ñ ÖÝ ½ ¾¼ ½ ½¼ Ë ÓÒ ÖÝ ½ ½ ½ ¾¼ ½ ¾¾ ½ Á Ù ÕÙÓØ Á Ó ÒÓØ Ù ÑÓØ Ú Ò ÒÝ Ø Ò ÐÐÝ ÔÖ Û Ýº

2 ¾ Ö Ò Ó Ñ Ü ÐÓ Ö ÔÖ ÒØ Ø ÓÒ ÓÖ Ñ Ü ÀÓ ØÖÙØÙÖ º ÁØ ÙÖØ Ö ÓÛÒ Ø Ø Ø Ñ Ð Ò Ù Ö Ò Ó Ø ÓÑÔÐ Ø ÓÒ Ó Ð Ñ ÒØ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ º Ì Ù Ö Ò Ú Ò ØÖÓÒ Ö ØÓÔÓÐÓ Ý Ø Ò Ø ÓÑÔÐ Ø ÓÒ ØÓÔÓÐÓ Ýº Ì Ñ Ò ÔÓ ÒØ ÓÙØ Ø ØÖÓÒ Ö ØÓÔÓÐÓ Ý Ø Ø ÓÚ Ö Ò Ø Ð Ø ØÖ Ó Ø ÖÓ Ò Ù ÓÒ Ø Û Ðй Ò Ò ÓÒØ ÒÙÓÙ º ÁØ Ø Ò ÓÛÒ Ø Ø Ø ØÖ ÔÔÐ ØÓ Ø Ð Ó Ò Ð Ö Ø ÕÙ Ð ØÓ Ø ÔÓ ÒØ ÓÙÒØ Ó Ø Ø º ÁÒ Ô Ö Ý ¼ Ø Ö ÙÐØ Ö ÜØ Ò ØÓ ÖØ Ò Ð Ö Ø ÓÒÐÝ ÐÓ ÐÐÝ Ó Ò Ø ØÝÔ º Ì ÙÐ Ö Ö Ø Ö Ø ÓÖ Ó ÓÑÓÐÓ Ý Û Ø ÓÑÔ Ø ÙÔÔÓÖص Ò Ò Ý ÜØ Ò ÓÒ ÖÓÑ Ø Ô Ø Ð ÙØ Û Ú Ø ÜÔ Ø ÓÑÔ Ö ÓÒ Û Ø Ø Ö ÒØ Ò Ø ÓÒ Ó Ä ÞÐÓ Ò ÇÐ ÓÒ Çļ µ Ó Ó ÓÑÓÐÓ Ý Û Ø ÓÑÔ Ø ÙÔÔÓÖØ ÓÖ Ð Ö Ø º Ú Ò Ø ÓÙ Ø ÔÓ ÒØ ÓÙÒØ Ò ÓÙ Ø ØØ ÒØ ÓÒ ÓÒ Ø ÔÔÖÓÔÖ Ø ÙÐ Ö Ö Ø Ö Ø Ó Ð Ò K 0 (Spc k ) Ò Ø Ú Ö ÒØ Ø Ö Ö ÓØ Ö ÒÚ Ö ÒØ Ù Ø Ó Ó Äļ Ò ÈÓ¼¾ Ø Ø Ø Ø Ð Ñ ÒØ ÒÓØ Ø Ø Ý Ø ÙÐ Ö Ö Ø Ö Ø º Ì ÒÚ Ö ÒØ Ó Äļ Ó ÒÓØ ÜØ Ò ØÓ Ú Ò K 0 (Spc k )[L 1 ] Û Ö L Ø Ð Ó A 1 Ø Ò Ø Ú Ò ÓÒ L Ò Ò ÒÒÓØ Ù ÓÖ ÓÙÖ ÔÙÖÔÓ º ÇÚ Ö Ø ÓÑÔÐ Ü ÒÙÑ Ö Û ÓÛ ÓÛ ØÓ ÜØ Ò ÈÓÓÒ Ò³ ÒÚ Ö ÒØ ØÓ Ø ÓÑÔÐ Ø ÓÒ Ó K 0 (Spc k ) Ò Ð Ó Ò ÓÑ ÓØ Ö Ö Ð Ø ÒÚ Ö ÒØ º Ï Ú ØÛÓ ÔÔÐ Ø ÓÒ Ó Ø ÒÚ Ö ÒØ º ÇÒ Ø Ò Ö Ð Ø ÓÒ Ó ÈÓÓÒ Ò³ Ü ÑÔÐ Ó Þ ÖÓ¹ Ú ÓÖ Ò K 0 (Spc k ) ØÓ ÓØ Ø ÓÑÔÐ Ø ÓÒ K 0 (Spc k ) Ò ØÓ K 0 (Stck k )º Ì ÓØ Ö ÓÛ Ò Ø Ø ÓÒØÖ ÖÝ ØÓ Ø Ó GL n ¹ØÓÖ ÓÖ Û Ó ÒÓØ Ú ÑÙÐØ ÔÐ Ø Ú ØÝ ÓÖ Ø Ð Ó PSL n ¹ØÓÖ ÓÖ Ò K 0 (Spc k ) Ò Ø Ú Ö ÒØ º Ì Ô ÖØ Ò ÒØ Ò Ø G = PSL n ØÓ Ø ÕÙ Ø ÓÒ ÔÓ Ý Ö Ò Ò ÐÐÓÒ º ¼ ÊÑ ¾º½¼ µ ÓÒ Ø Ö Ð Ø ÓÒ ØÛ Ò K 0 (Spc k ) Ò K 0 G (Spc k )º ÑÓÖ Ù Ø ÒØ Ð Ù Ó Ø ÒÚ Ö ÒØ Û ÐÐ ÓÛ Ú Ö Ñ Ò ¼ Û Ö Û ÐÐ ÓÛ Ø ÒÓÒ¹ØÖ Ú Ð ØÝ Ó Ø Ð Ó Ø Ð Ý Ò Ø Ó ÖØ Ò Ò Ø ÖÓÙÔ º Ø Ø Ò Û Ñ ÑÔÐ ÓÑÔÙØ Ø ÓÒ ÓÖ Ø Ð Ó Ø Ð Ö Ø Ó ÑÓÓØ ÔÖÓÔ Ö ÒÙ 1 ÙÖÚ Û Ø ÔÓÐ Ö Ø ÓÒ Ó Ö 3º ½ ËØ Ú Ô Ê ÐÐ Ø Ø K 0 (Spc k ) Ø ÖÓØ Ò ÖÓÙÔ Ô ÒÒ Ý Ð {X} Ó Ð Ö k¹ Ô X Ó Ò Ø ØÝÔ Û Ø Ø Ö Ð Ø ÓÒ Ø Ø {X} ÓÒÐÝ Ô Ò ÓÒ Ø ÓÑÓÖÔ Ñ Ð Ó X Ò {X} = {Y} + {U} Û Ö Y ÐÓ Ù Ñ Ó X Ò U Ø ÓÑÔÐ Ñ Òغ Í Ù ÐÐÝ ÓÒ ÓÒ Ö ÓÒÐÝ Ñ ÙØ Ø Ø Ú Ø Ñ ÖÓÙÔ ÓÙÖ Ó ÑÓØ Ú Ø Ý Ø ÙÖØ Ö ÓÒ Ö Ø ÓÒ Ó Ð Ö Ø Û Ö ÑÓ Ø ÐÓ ÐÝ Ö Ð Ø ØÓ Ð Ö Ô ºµ Ý Ò ÐÓ Ý Û Ð Ø K 0 (Stck k ) Ø ÖÓØ Ò ÖÓÙÔ Ô ÒÒ Ý Ð {X} Ó Ð Ö Ø X Ó Ò Ø ØÝÔ ÓÚ Ö Ø Ð k ÐÐ Ó Û Ó ÙØÓÑÓÖÔ Ñ ÖÓÙÔ Ñ Ö Ò Û ÐÐ ÙÑ Ø Ø Ø ÙØÓÑÓÖÔ Ñ ÖÓÙÔ Ñ Ó ÐÐ ÓÙÖ Ø Ó Ø ØÝÔ Û Ø ÓÙØ ÙÖØ Ö Ñ ÒØ ÓÒµ Û Ø Ö Ð Ø ÓÒ {X} Ô Ò ÓÒÐÝ ÓÒ Ø ÓÑÓÖÔ Ñ Ð Ó X {X} = {Y}+{U} Û Ö Y ÐÓ Ù Ø Ó X Ò U Ø ÓÑÔÐ Ñ ÒØ Ò {E} = {X A n } Û Ö E X Ú ØÓÖ ÙÒ Ð Ó ÓÒ Ø ÒØ Ö Ò nº ¾ Ò Ø Ó K 0 (Spc k ) Û Ú Ö Ò ØÖÙØÙÖ ÓÒK 0 (Stck k ) Ú Ò Ý{X}{Y} = {X Y}º ÈÙØØ Ò L := {A 1 } Ø Ð Ó Ø Ò Ð Ò Ø Ð Ø ÓÒ Ø ÓÒ ÓÚ Ò Ø Ò Ö ÛÖ ØØ Ò {E} = L n {X}º Á G Ð Ó ÓÒÒ Ø k¹ ÖÓÙÔ Ñ Ó Ò Ø ØÝÔ Ø Ò Û Ò K G 0 (Stck k) Ø ÕÙÓØ ÒØ Ó K 0 (Stck k ) Ý Ø Ö Ð Ø ÓÒ {Y} = {G}{X} ÓÖ Ú ÖÝ G G Ò Ú ÖÝ G¹ØÓÖ ÓÖ X Y Û Ö X Ò Y Ö Ô º Ï Ú ÙÒ ÕÙ Ö Ò ØÖÙØÙÖ ÓÒ K G 0 (Stck k) Ñ Ò Ø ÕÙÓØ ÒØ Ñ Ô K 0 (Stck k ) K G 0 (Stck k) Ö Ò ÓÑÓÑÓÖÔ Ñº ÆÓØ Ð Ó Ø Ø G G Ø Ò Ø ÕÙÓØ ÒØ Ñ Ô K 0 (Stck k ) K G 0 (Stck k) ØÓÖ Ø ÖÓÙ K 0 (Stck k ) ¾ ÁÒ Ø Ó K 0 (Spc k ) Ø Ö Ð Ø ÓÒ ÓÐÐÓÛ ÖÓÑ Ø Ö Ø ØÛÓº

3 ÌÀ ÊÇÌÀ Æ Á à ÊÇÍÈ Ç Ä Ê Á ËÌ ÃË K0 G (Stck k)º Ý ÓÒ Ö Ò Ò Ð Ö Ô Ò Ð Ö Ø Û Ó ÓÙÖ Ð Ó Ø Ò ØÙÖ Ð Ñ Ô K 0 (Spc k ) K 0 (Stck k ) Û ÐÐ Ñ Ô K0 G (Spc k) K0 G (Stck k) Û Ø Ø Ó Ú ÓÙ Ò Ø ÓÒ Ó K0 G (Spc k)º Ï Ø ÖØ Ý ÓÐÐ Ø Ò ÓÑ ÔÖÓÔ ÖØ Ó K0 G (Stck k) Ò Ø ÓÐÐÓÛ Ò ÔÖÓÔÓ Ø ÓÒº ÈÖÓÔÓ Ø ÓÒ ½º½ µ Ï Ú {GL n } = (L n 1)(L n L) (L n L n 1 )º µ Á X Y GL n ¹ØÓÖ ÓÖ Ó Ð Ö k¹ Ø Ó Ò Ø ØÝÔ Ø Ò {X} = {GL n }{Y} K 0 (Stck k )º µ Á G G Ò X Y G¹ØÓÖ ÓÖ Ó Ð Ö k¹ Ø Ó Ò Ø ØÝÔ Ø Ò {X} = {G}{Y} K0 G (Stck k)º Úµ Á H,N G 1 N G H 1 Ò ÜØ Ò ÓÒ Ó Ð Ö ÖÓÙÔ Ò X Y G¹ØÓÖ ÓÖ Ø Ò {X} = {G}{Y} Ò K0 G (Stck k)º Úµ Á G G Ø Ò {G}{BG} = 1 K0 G (Stck k)º Ú µ Á G G F G¹ Ô X Y G¹ØÓÖ ÓÖ Ó Ð Ö k¹ Ø Ó Ò Ø ØÝÔ Ò Z Y Ø F ¹ Ö Ø ÓÒ Ó Ø ØÓ X Y Ò Ø G¹ Ø ÓÒ ÓÒ F Ø Ò {Z} = {F}{Y}º Ú µ Á G G X Y Ò X Y Ö G¹ØÓÖ ÓÖ Ò Z Y Ø Ø Ó ÓÑÓÖÔ Ñ X X Ø Ò {Z} = {G}{Y} Ò K0 G (Stck k)º Ú µ Á G G F G¹ Ô H Ò Ð Ö ÖÓÙÔ H G ÑÓÖÔ Ñ Ó Ð Ö ÖÓÙÔ X Y Ò H¹ØÓÖ ÓÖ Ó Ð Ö k¹ Ø Ó Ò Ø ØÝÔ Ò Z Y Ø F ¹ Ö Ø ÓÒ Ó Ø ØÓ X Y Ò Ø H¹ Ø ÓÒ ÓÒ F Ú Ò Ý Ø G¹ Ø ÓÒ Ò Ø ÓÑÓÑÓÖÔ Ñ H Gµ Ø Ò {Z} = {F}{Y}º ܵ Á G G Ò H G Ù ÖÓÙÔ Ñ Ø Ò {BH} = {G/H}{BG} K0 G (Stck k)º ÈÖÓÓ ÌÓ Ø ÖØ Û Ø µ Û ÒÓØ Ø Ø GL n ÓÑÓÖÔ ØÓ Ø Ô Ó Ó A n º Ì Ô Ó k+1 Ð Ò ÖÐÝ Ò Ô Ò ÒØ Ú ØÓÖ Ö ÓÚ Ö Ø Ô Ó k Ð Ò ÖÐÝ Ò Ô Ò ÒØ Ú ØÓÖ Û Ø ØÓØ Ð Ô A n Ø Ñ Ø Ñ ÒÙ Ú ØÓÖ ÙÒ Ð Ó Ö Ò kº Ì Ø Ø Ø {E} = L k {X} ÓÖ Ú ØÓÖ ÙÒ Ð E X Ó Ö Ò k ÑÔÐ µ Ý Ò ÙØ ÓÒº ÓÖ µ Ø ÔÖÓÓ Ø Ö Ð Ø Ú Ú Ö ÓÒ Ó Ø ÔÖÓÓ Ó µ Û Ø Ù ÓÒ Ó Ö Ø ÓÒ X = X n X n 1 Y Û Ö X k Ø Ø Ó k Ð Ò ÖÐÝ Ò Ô Ò ÒØ Ú ØÓÖ Ò Ø Ú ØÓÖ ÙÒ Ð Ó Ø ØÓ X º X k+1 X k Ø Ò Ø ÓÑÔÐ Ñ ÒØ Ó Ú ØÓÖ Ù ÙÒ Ð Ò Ú ØÓÖ ÙÒ Ð Ò Û Ù Ö Ô Ø ÐÝ Ø Ø Ö Ø Ó Ò Ò Ö Ð Ø ÓÒ Ó K 0 (Stck k ) ØÓ Ø Ø Ø {X} = (L n 1)(L n L) (L n L n 1 ){Y}º Ï Ø Ò Ù µ ØÓ ÓÒÐÙ º ÌÓ ÔÖÓÚ µ Û Ø ÖØ Ý ÒÓØ Ò Ø Ø {GL n } ÒÚ ÖØ Ð Ò K 0 (Stck k ) ÓÖ ÐÐ nº ÁÒ Speck BGL n GL n ¹ØÓÖ ÓÖ Ò Ò Û Ú 1 = {GL n }{BGL n }º ÁÒ Ô ÖØ ÙÐ Ö ÓÖ GL n ¹ØÓÖ ÓÖ Z W Û Ñ Ý ÛÖ Ø Ø Ö Ð Ø ÓÒ Ó µ {W} = {BGL n }{Z}º ÓÒØ ÒÙ Ò Ø ÓÖÑÙÐ ØÓ ÔÖÓÚ Ø Ú Ò ÓÑÔÓ Ø ÓÒ Ó Ø Y Ø ÙÒ ÓÒ Ó ÐÓ Ù Ø Ò Ø ÓÑÔÐ Ñ Òغ À Ò Û Ñ Ý ÙÑ Ø Ø Y ÐÓ Ð ÕÙÓØ ÒØ º º Ø Ö GL n ¹ØÓÖ ÓÖ Y Y Ù Ø Ø Y Ò Ð Ö Ô º À Ò Û Ú 2¹ ÖØ Ò Ö Ñ X Y X Y, Û Ö X Y G¹ØÓÖ ÓÖ Ó Ð Ö Ô Ò X X Ò Y Y Ö GL n ¹ØÓÖ ÓÖ º Ì Ú {X} = {BGL n }{X} = {BGL n }{G}{Y} = {G}{Y} Û ÔÖÓÚ µº Ì Ò ÔÔÐÝ Ò µ ØÓ Ø N¹ØÓÖ ÓÖ X X/N Ò ØÓ Ø H¹ØÓÖ ÓÖ X/N Y Û Ø {X} = {N}{H}{Y} ÙØ G H Ò N¹ØÓÖ ÓÖ Ó Ø Ø {G} = {N}{H} Û Ú Úµº ÙÖØ Ö Úµ Ø Ò ÓÐÐÓÛ Ý ÔÔÐÝ Ò µ ØÓ Ø G¹ØÓÖ ÓÖ Speck BGº ÆÓÛ ØÓ ÔÖÓÚ Ú µ Ø F ¹ Ö Ø ÓÒ Ó Ø ØÓ X Y Ø ÕÙÓØ ÒØ F G X º Ø ÕÙÓØ ÒØ Ñ Ô F X F G X G¹ØÓÖ ÓÖ Û Ø {F G X} = {BG}{F}{X} = {BG}{F}{G}{Y}={F}{Y}º ÁÒ Ú µ Z Ø Ö Ø ÓÒ Ó Ø ØÓ Ø G G¹ØÓÖ ÓÖ X Y X Y Ò Ø G G¹ Ô G G/G Û Ö G G G Ø ÓÒ Ð Ñ Ò º À Ò Ú µ ÓÐÐÓÛ ÖÓÑ Ú µ Ò Úµº

4 ÌÙÖÒ Ò ØÓ Ú µ Û ÒÓØ Ø Ø Ø Ó Ø F ¹ Ö Ø ÓÒ F H X ÓÑÓÖÔ ØÓ Ø F ¹ Ö Ø ÓÒ Ó Ø ØÓ Ø G¹ØÓÖ ÓÖ G H X Yº À Ò Ú µ ÓÐÐÓÛ ÖÓÑ Ú µ ÔÔÐ ØÓ Ø G¹ØÓÖ ÓÖº Ò ÐÐÝ Üµ ÓÐÐÓÛ Ö ØÐÝ ÖÓÑ Ú µ ÔÔÐ ØÓ Ø H¹ØÓÖ ÓÖ Speck BG Ò Ø G¹ Ô G/H Ù Ò Ø Ø BH = G/H G BGº Í Ò Ø Ö ÙÐØ Ù Ø Ó Ø Ò Û Ò Ó Ø Ò ÔÖ Ö Ð Ø ÓÒ ØÛ Ò K 0 (Spc k ) Ò K 0 (Stck k )º ÁÒ Û Ð Ø K0 G (Spc k ) Ø Ö Ò Ó Ø Ò ÖÓÑ K0 G (Spc k ) Ý ÒÚ ÖØ Ò L Û ÐÐ (L n 1) ÓÖ ÐÐ n > 0º Ì ÓÖ Ñ ½º¾ ÓÖ ÒÝ G Ø Ò ØÙÖ Ð Ñ Ô K0 G (Spc k) K0 G (Stck k) Ò Ù Ò ÓÑÓÖÔ Ñ K0 G (Spc k ) K0 G (Stck k)º ÈÖÓÓ Ý ÈÖÓÔÓ Ø ÓÒ ½º½ Û Ú Ø Ø {GL n } = (L n 1)(L n L) (L n L n 1 ) ÒÚ ÖØ Ð Ò K0 G (Stck k) Û ÑÔÐ Ø Ø Û Ó Ò Ø ØÓÖ Ø ÓÒ K0 G (Spc k) K0 G (Stck k) Ò Û ÐÐ ÔÖÓ Ý Ò Ò Ñ Ô Ò Ø ÓØ Ö Ö Ø ÓÒº Á Ò Ð Ö Ø X Ó Ò Ø ØÝÔ Ò Û Ø Ò Ø Ð Ö µ ÐÓ Ð ÕÙÓØ ÒØ X = [X/GL n ] Ø Ò Û ÛÓÙÐ Ð ØÓ Ò {X} Ò K0 G (Spc k) {X}/{GL n }º ÇÙÖ ÐÓ Ð Ø ÓÒ Ò ÙÖ Ø Ø {GL n } Ò ÒÚ ÖØ Ð º Á Û ÔÖ ÒØ X Ò ÓÒ Û Ý ÐÓ Ð ÕÙÓØ ÒØ X = [X /GL n ] Ø Ò Û Ñ Ý ÓÒ ØÖÙØ 2¹ ÖØ Ò Ö Ñ X X X X Ò X X GL n ¹ØÓÖ ÓÖ Ò X X GL n ¹ØÓÖ ÓÖ Û Ø {GL n }{X} = {X } = {GL n }{X } Û Ú Ø Ò Ô Ò Ò º ÁÒ Ø Ò Ö Ð Û ØÖ Ø Ý Ø X Ý ÐÓ Ð ÕÙÓØ ÒØ Ò ÙÑ ÙÔº ÌÓ ÓÛ Û Ðй Ò Ò Û Ñ Ý ÙÑ Ø Ø X ÐÓ Ð ÕÙÓØ ÒØ Ò Û Ø Û Ø Û Û ÒØ Ý Ø Ò Ô Ò Ò Ù Ø ÔÖÓÚ º Ê Ñ Ö Ñ ÒØ ÓÒ Ò Ø ÒØÖÓ ÙØ ÓÒ Ø Ø ÓÖ Ñ ÐÖ Ý ÑÔÐ ØÐÝ Ø ÓÙ Ø Ñ ÒÓØ ÜÔÐ ØÐÝ Ò Ø Ð Ø Ö ØÙÖ º ÁÒ ¼ Ø ÙØ ÓÖ Ó Ø ØÓ ÖØ Ò Ð Ö Ø ÒÐÙ Ò Ø Ó Ó Ò Ø ØÝÔ Û Ø Ò Ø Ð Ö µ Ò Ð Ñ ÒØ Ò K 0 (oh k )º Ò Ò ÐÝ Ó Ø ÔÖÓÓ ÓÛ Ø Ø ÓÒ Ö ØÖ Ø ÓÒ Ð ØÓ Ò Ø ØÝÔ Ø Ø Ò ÓÒ Ò ÓÒÐÝ ÒÚ ÖØ L Ò L n 1 Ò K 0 (Spc k ) ÓÖ Ø ÓÒ ØÖÙØ ÓÒ ØÓ ÛÓÖ º ÁÒ ÒÝ Ø ÖÙ Ð ÔÓ ÒØ Ø Ø {X}{GL n } 1 ÓÒÐÝ Ô Ò ÓÒ Ø Ø [X/GL n ] Ò ÒÓØ ÓÒ Ø ØÙ Ð Ø ÓÒ Ó GL n ÓÒ Ø Ð Ö Ô X ØÓ ÓÙÒ Ò ¼ º Ì Ð Ó ÂÓ¼ ÈÖÓÔº º Ø ÓÙ ÓÖÑ ÐÐÝ ÓÒÐÝ Ò K 0 (Stck k ) Qµº Ò ÐÐÝ ÓÒ Ò Ó Ø Ò Ø Ñ Ô K 0 (Stck k ) K 0 (Spc k ) Ý ÒÐÙ Ò Ð Ö Ø Ò Ø Ð Ö Ö Ø ÓÖÝ Ó n¹ Ø Ò Ù Ò ÌÓ Ò³ n¹ Ò ÐÓ Ù ÌÓ¼ Ì Ñ º½¼ Ó Ø Ø ÓÖ Ñº ÀÓÛ Ú Ö Ø Ñ ÛÓÖØ Û Ð ØÓ Ú Ò ÜÔÐ Ø Ò Ø ÓÒ Ó ÖÓØ Ò ÖÓÙÔ Ó Ð Ö Ø Û Ó Ö Ð Ø ÓÒ Ö ÑÔÐ Ö Ø Ò Ö ØÖ Ø ÓÒ Ó Ø Ö Ð Ø ÓÒ Ó ÌÓ Ò ØÓ Ø Ó 1¹ Ø º Ð Ó Ú Ò Ö Ø ÔÖÓÓ Ó Ø Ø ÓÖ Ñ Ö Ù ÐÝ ÑÓÖ ÓÒÚ Ò ÒØ ÓÖ Ø Ö Ö Ø Ò Ô Ò ØÓ Ø Ö Ó Ø Ö ÙÑ ÒØ ÓÙÒ Ò ¼ Ò ÂÓ¼ º ÆÓØ Ð Ó Ø Ø Ô ÖØ Ó ÈÖÓÔÓ Ø ÓÒ ½º½ Ö Ð Ó ÑÔÐ ØÐÝ Ò Ø ÕÙÓØ ÓÙÖ ÓÖ Ò ÐÓ Ù Ò Ø Ó ¼ µº ÁØ ÒÓØ Ø ÐÐ Ð Ö ÓÛ Ö Ø Ø Ô ÖÓÑ K 0 (Spc k ) ØÓ K 0 (Spc k ) Û ÓÒ³Ø ÓÖ Ò Ø Ò ÒÓÛ ÒÝØ Ò ÓÙØ Ø ÖÒ Ð Ó Ø ÐÓ Ð Ø ÓÒ Ñ Ô K 0 (Spc k ) K 0 (Spc k ) º Ì ÓÐÐÓÛ Ò ÔÖÓÔÓ Ø ÓÒ Ú Ñ ÐÐ ÑÓÙÒØ Ó Ò ÓÖÑ Ø ÓÒº ÈÖÓÔÓ Ø ÓÒ ½º ËÙÔÔÓ Ø Ø ϕ(x) Ò ρ(x) Ö ÒØ Ö ÔÓÐÝÒÓÑ Ð º Á ϕ(l) Ú ρ(l) Ò K 0 (Spc k ) Ø Ò ϕ(x) Ú ρ(x)º ÁÒ Ô ÖØ ÙÐ Ö Ø ÓÒÐÝ ÒØ Ö ÔÓÐÝÒÓÑ Ð Ò L Ø Ø Ö ÒÚ ÖØ Ð Ò K 0 (Spc k ) Ö Ôº K 0 (Stck k ) Ö ±1 Ö Ôº ÔÖÓ ÙØ Ó L Ò ÝÐÓØÓÑ ÔÓÐÝÒÓÑ Ð º ÈÖÓÓ ÙÑ Ø Ø ρ(l) = ϕ(l)x ÓÖ ÓÑ x K 0 (Spc k )º ÔÔÐÝ Ò χ c Û Ó Ò Ø ÓÒ Ö ÐÐ ÐÓÛµ Û Ø Ò ÕÙ Ø ÓÒ ρ(q) = ϕ(q)y Ò K 0 (oh k )º Ï ÒÓÛ Ö Ù Ý Ò ÙØ ÓÒ ÓÒ Ø Ö Ó ρº Ä Ø y Ø Ø ÖÑ Ó Ø Û Ø Ô ÖØ Ó y Ò a n q n Ø Ø Ö

5 ÌÀ ÊÇÌÀ Æ Á à ÊÇÍÈ Ç Ä Ê Á ËÌ ÃË Ø ÖÑ Ó ϕ(q)º Ì Ò a n q n y Ø Ø Û Ø Ô ÖØ Ó ρ(q) Ò Ò Ó Ø ÓÖÑ b m q m Û Ö ρ Ó Ö mº q ÒÚ ÖØ Ð Û Ø a n q n m y = b m º K 0 (oh k ) Ö Ð Ò ÖÓÙÔ Ö ÓÒ Ø ÖÖ Ù Ð ÐÓ Ö ÔÖ ÒØ Ø ÓÒ ÓÖ Ö Ø ÓÒ Ð ÀÓ ØÖÙØÙÖ µ Û Ø Ø Ø a n Ú b m º Ì Ù Û Ø ρ (a n /b m )q n m ϕ(q) = ϕ(q)(y (a n /b m )q n m ) Ò Ø Ò ÙØ ÓÒ ÙÑÔØ ÓÒ ÑÔÐ Ø Ø ϕ Ú ρº Ì Ö Ø Ó Ø ÔÖÓÔÓ Ø ÓÒ ÓÐÐÓÛ ÖÓÑ Ø Ö Ø Ô ÖØ Ù Ò Ø Ø K 0 (Stck k ) = K 0 (Spc k ) µº ÆÓÛ Ð ØZar = Zar k Ø Ð Ó ÓÒÒ Ø Ò Ø ØÝÔ ÖÓÙÔ Ñ ÓÖ Û ØÓÖ ÓÖ ÓÚ Ö ÒÝ Ò Ø ÐÝ Ò Ö Ø µ ÜØ Ò ÓÒ Ð Ó k Ö ØÖ Ú Ðº Ï Ú Ó ÓÙÖ Ø Ø GL n,sl n Zar ÙØ Ø ÓÐÐÓÛ Ò ÔÖÓÔÓ Ø ÓÒ ÔÖÓÚ ÑÓÖ Ü ÑÔÐ º ÈÖÓÔÓ Ø ÓÒ ½º µ Ï Ú Ø Ø K 0 (Stck k ) = K0 Zar (Stck k )º µ Ä Ø L Ò Ø Ñ Ò ÓÒ Ð k¹ Ð Ö º Ì Ò L Ø ÖÓÙÔ Ñ Ó ÒÚ ÖØ Ð Ð Ñ ÒØ Ó L ÐÓÒ ØÓ Zarº µ Zar ÐÓ ÙÒ Ö ÜØ Ò ÓÒ º ÈÖÓÓ ÓÖ µ Ù Ò Ì ÓÖ Ñ ½º¾ Ø ÒÓÙ ØÓ ÓÛ Ø Ø ÓÖ ÒÝ G Zar Ò ÒÝ G¹ØÓÖ ÓÖ X Y Ó Ð Ö k¹ Ô Ó Ò Ø ØÝÔ Û Ú Ø Ø {X} = {G}{Y} K 0 (Spc k )º ÁØ ÒÓÙ ØÓ Ò ØÖ Ø Ø ÓÒ Ó Y Ù Ø Ø Ø ØÓÖ ÓÖ ØÖ Ú Ð ÓÚ Ö ÒÝ ØÖ ØÙѺ Ï Ó Ø Ý ÆÓ Ø Ö Ò Ò ÙØ ÓÒ Ù Ò Ø Ø ÓÚ Ö Ò Ö ÔÓ ÒØ Ó Y Ø ØÓÖ ÓÖ ØÖ Ú Ð Ý ÙÑÔØ ÓÒ Ò Ø ØÖ Ú Ð Ø ÓÒ Ò ÜØ Ò ØÓ Ò ÓÔ Ò Ù Ø Ó Y º ÓÖ k¹ Ð K L ¹ØÓÖ ÓÖ ÓÚ Ö K ÓÖÖ ÔÓÒ ØÓ L K ¹ÑÓ ÙÐ ÐÓ ÐÐÝ Ö Ó Ö Ò 1 Ò Ù ÑÓ ÙÐ Ö Ò Ö Û ÔÖÓÚ µº Ì Ø Ø Ø Zar ÐÓ ÙÒ Ö ÜØ Ò ÓÒ Ð Öº Ê Ñ Ö ÇÚ Ö Ò Ð Ö ÐÐÝ ÐÓ Ð Ø ÖÓÙÔ Ò Zar Ö ÔÖ ÐÝ Ø Ô Ð ÖÓÙÔ Ò Ø Ò Ó Ë ÜÔº ½ º ÁÒ Ð Ø ÑÓ Ø ÓÒ Ó Ø ÔÖÓÓ Ó ÐÓº غ Ì Ñ ½ ÓÛ Ø Ø ÖÓÙÔ G Zar Ò Ò ÓÒÒ Ø µ Ò ØÓ ÓÛ Ø Ø Ø Ô Ð Ø Ù Ý ÐÓº غ Ì Ñ ¾ ØÓ ÓÛ Ø Ø GL n GL n /G Ö ÐÓ ÐÐÝ ØÖ Ú Ð ÙØ Ó ÖÚ Ø Ö Ø Ø Ø ÓÖ Ñ Ø ÓÐÐÓÛ ÖÓÑ Ø Ü Ø Ò Ó Ö Ø ÓÒ Ð Ø ÓÒ Û Ò ØÙÖÒ Ø G Zarº Ì Ø Ö Ô ÖØ Ó Ø ÔÖÓÔÓ Ø ÓÒ Ò Ò Ø Ð Ö ÐÐÝ ÐÓ ÐÓº غ Ä ÑÑ Û Ð Ø ÓÒ Ò ÂÓ¼ º ÆÓØ Ø Ø Û Ð Ø ÔÖÓÓ Ó Ø Ö ÙÐØ Ò Ø ÒÓÒ¹ Ð Ö ÐÐÝ ÐÓ Ö Ø Ñ ÓÖ Ø Ð Ö ÐÐÝ ÐÓ ÓÑ Ö ØÓ Ø Òº ÓÖ Ò Ø Ò ÐÓº غ ÈÖÓÔº ½ Ø Ø ÓÐÚ Ð ÓÒÒ Ø ÖÓÙÔ Ö Ô Ð ÒÓØ ØÖÙ Ò Ò Ö Ðº Ì Ö Ö Ò Ø ØÓÖ ÓÚ Ö Ù Ø Ð Ð Ø Ø Ö ÒÓØ Ô Ð ÓÖ Ò Zarµ Ò ÓÚ Ö ÒÓÒ¹Ô Ö Ø Ð Ø Ö Ö Ð Ó ÒÓÒ¹ Ô Ð ÓÒÒ Ø ÙÒ ÔÓØ ÒØ Ð Ö ÖÓÙÔ º ¾ ÙÐ Ö Ö Ø Ö Ø Ò ÔÓ ÒØ ÓÙÒØ Ò Ï Ø ÖØ Ý Ö ÐÐ Ò Ø Ò Ø ÓÒ Ó Ø ÙÐ Ö Ö Ø Ö Ø Ó Ð Ñ ÒØ Ó K 0 (Spc k ) Ò K 0 (Spc k )º Ê ÐÐ Ø Ø Ø ÙÐ Ö Ö Ø Ö Ø Ó Ó ÓÑÓÐÓ Ý Û Ø ÓÑÔ Ø ÙÔÔÓÖØ Ø Ú ÓÚ Ö ÓÑÔÓ Ø ÓÒ Ó Ò Ð Ö Ô ÒØÓ ÐÓ Ù Ô Ò Ø ÓÑÔÐ Ñ Òغ Ì Ñ Ò Ø Ø Ø ÙÐ Ö Ö Ø Ö Ø Ú Ñ Ô ÖÓÑ K 0 (Spc k )º Ï Û ÒØ Ø Ö Ô ÒØ ÖÓÙÔ ØÓ Ò ÔÔÖÓÔÖ Ø ÖÓØ Ò ÖÓÙÔ Ó Ó ÓÑÓÐÓ Ý ÖÓÙÔ Û Ø ÜØÖ ØÖÙØÙÖ º Ï Ò k = ÓÒ Ù Ó Ø ÖÓØ Ò ÖÓÙÔ Ó ÔÓÐ Ö Ð µ Ñ Ü ÀÓ ØÖÙØÙÖ Ò Û Ò k = R ÓÒ ÓÙÐ ÓÒ Ö Ñ Ü ÀÓ ØÖÙØÙÖ Û Ø ÓÑÔÐ Ü ÓÒ Ù Ø ÓÒµº ÓÖ Ò Ö Ð Ð Û ÛÓÙÐ Ð ØÓ Ù Ø ÓÒ Ó ÐÓ ÖÓÙÔ Ó Ò Ø ÐÝ Ò Ö Ø Ù Ð Ó kº ÌÓ Ð ØÓ Ø Ø Ò ÙÒØÓÖ Ð ØÝ Û ÐÐ ØÓ Ú ÒÓØ ÓÒ Ó Ñ Ü Ò Û Ò ØÓ ÔÖ ÓÙØ Ú Ò ÙÖØ Öº À Ò Û ÐÐ ÓÒ Ö Ò Ø Ø ÓÖÝ Ø Ø Ø Ö Ø Ð Ñ Ø Ó Ø Ø ÓÖÝ Ó ÐÓ Ð Q l ¹ Ý Ø Ñ ÓÒ Ô ØÖ Ó µ Ò Ø ÐÝ Ò Ö Ø Ù Ö Ò Ó kº ÁÒ ÓÒÖ Ø ÐÓ ¹ Ø ÓÖ Ø Ø ÖÑ Ø Ñ Ò Ø ÓÐÐÓÛ Ò Ü Ò Ò Ð Ö ÐÓ ÙÖ k Ó k Û Ò ÓÒ Ö ÓÖ Ò Ø ÐÝ Ò Ö Ø Ù Ö Ò S Ó k Ø ÙÒ Ñ ÒØ Ð ÖÓÙÔ π 1 (SpecS,s) Û Ö s Ø ÓÑÔÓ Ø Spec k Speck SpecSº Ò Ó Ø Ò Ø Ø ÓÖÝ Ø Ò ÓÒØ ÒÙÓÙ Ò Ø ¹ Ñ Ò ÓÒ Ð Q l ¹Ö ÔÖ ÒØ Ø ÓÒ Ó π 1 (SpecS,s) ÓÖ ÓÑ Sº ÑÓÖÔ Ñ ØÛ Ò ØÛÓ Ù

6 Ö ÔÖ ÒØ Ø ÓÒ Ó Ø ØÓ R Ò S Ø Ò Ó Ó T ÓÒØ Ò Ò ÓØ R Ò S Ò Ñ Ô ØÛ Ò Ø Ò Ù π 1 (SpecT,t)¹Ö ÔÖ ÒØ Ø ÓÒ º ËÙ Ö ÔÖ ÒØ Ø ÓÒ Ñ Ü Ø Ö ÔÓ ÐÝ ÜØ Ò Ò S Ø Ù Ú ÜØ Ò ÓÒ Ó ÔÙÖ Ö ÔÖ ÒØ Ø ÓÒ º Ö ÔÖ ÒØ Ø ÓÒ ÔÙÖ Ó Û Ø nµ ÓÖ Ú ÖÝ ÐÓ ÔÓ ÒØ x Ó SpecS Ø ÒÚ ÐÙ Ó Ø ÓÑ ØÖ µ ÖÓ Ò Ù Ñ Ô Ó Ø ØÓ x Ö Ð Ö ÒÙÑ Ö ÐÐ Ó Û Ó Ö Ñ Òµ ÓÐÙØ Ú ÐÙ Ö ÕÙ Ð ØÓ q n/2 Û Ö q = k(x) º ÆÓØ Ø Ø Û Ò S ÒÓÖÑ Ð Û Ò Ò ÙÖ Ý ÜØ Ò Ò Sµ Ø Ñ Ô Gal(K/K) π 1 (SpecS,s) Û Ö K Ø Ö Ø ÓÒ Ð Ó S Ò K Ø Ð Ö ÐÓ ÙÖ Ó K Ò k ÙÖ Ø Ú º À Ò π 1 (SpecS,s)¹Ö ÔÖ ÒØ Ø ÓÒ Ò Ø ÓÙ Ø Ó Gal(K/K)¹Ö ÔÖ ÒØ Ø ÓÒ ÓÖ Û Ø ÖÒ Ð Ó Gal(K/K) π 1 (SpecS,s) Ø ØÖ Ú ÐÐݺ ÁÒ Ø Û Ý ÓÙÖ Ó Ø Ò Ò Ø ÓÙ Ø Ó ÐÓ Ö ÔÖ ÒØ Ø ÓÒ ÓÖ Ò Ø ÐÝ Ò Ö Ø Ù Ð Ó kº Ï Ò k Ð Ö ÐÐÝ ÐÓ Ø Ò Ò Ñ Ú Ò ÑÓÖ ÓÒÖ Ø ÇÒ ÓÓ Ò Ø ÐÝ Ò Ö Ø Ù Ö Ò S Ó k Ò ÓÒ Ö Ö ÔÖ ÒØ Ø ÓÒ Ó ÓÔ Ò Ù ÖÓÙÔ Ó π 1 (SpecS,s) Û Ö ÑÓÖÔ Ñ Ö ÓÒÐÝ Ö ÕÙ Ö ØÓ ÓÑÑÙØ Û Ø Ø Ð Ñ ÒØ Ó ÓÑ ÓÔ Ò Ù ÖÓÙÔº ÁÒ Ø Ò Ö Ð ÓÒ Ó ÒÓØ ÐÐÓÛ ÐÐ ÓÔ Ò Ù ÖÓÙÔ ÙØ ÓÒÐÝ ÓÑ º Á ÓÒ Ó ÒÓØ Û ØÓ Ø Ø Ö Ø Ð Ñ Ø Ó Ø ÓÖ Ó Ñ Ü Ö ÔÖ ÒØ Ø ÓÒ ÓÚ Ö Ò Ø ÐÝ Ò Ö Ø Ù Ð ÓÒ Ñ Ý Ò Ø Ò K 0 (oh k ) ÓÐÐÓÛ Á k Ò Ø ÐÝ Ò Ö Ø Ð Ø Ò K 0 (oh k ) Ø ÖÓØ Ò ÖÓÙÔ Ó Ø Ø ÓÖÝ Ó Ñ Ü Gal( k/k)¹ö ÔÖ ÒØ Ø ÓÒ º º Q l ¹Ö ÔÖ ÒØ Ø ÓÒ Gal( k/k) GL(V) Û ØÓÖ Ø ÖÓÙ ÕÙÓØ ÒØ Gal( k/k) π 1 (S, k) Û Ö S ÒÓÖÑ Ð ÒØ Ö Ð Ñ Û Ø k ÙÒØ ÓÒ Ð Ó Ò Ø ØÝÔ ÓÚ Ö Z Ò Û Ö Ñ Ü º Ì ÖÓÙÔ Ó ÒÓØ Ô Ò ÓÒ k Ò ÙÒØÓÖ Ð ÓÖ Ð ÒÐÙ ÓÒ º ÓÖ Ò Ö Ð Ð K 0 (oh k ) := lim K K 0 (oh K ) Û Ö K ÖÙÒ ÓÚ Ö Ò Ø ÐÝ Ò Ö Ø Ù Ð Ó kº ÁÒ ÒÝ Û ÐÐ Ù K 0 (oh k ) ØÓ ÒÓØ Ø ÖÓØ Ò ÖÓÙÔ Ó Ø Ö Ñ Ü ÐÓ Q l ¹Ö ÔÖ ÒØ Ø ÓÒ ÓÚ ÓÖ Û Ò k = k = Rµ Ø Ñ Ü ÔÓÐ Ö Ð ÀÓ ØÖÙØÙÖ Ö Ôº Ø Ó ÔÖÓÚ Û Ø ÓÑÔÐ Ü ÓÒ Ù Ø ÓÒµº Ì Ø Ú ØÝ Ó Ø ÙÐ Ö Ö Ø Ö Ø Ó Ó ÓÑÓÐÓ Ý Û Ø ÓÑÔ Ø ÙÔÔÓÖص Ò Ø Ò ÓÖÑÙÐ Ø Ý Ò Ø Ø Ø Ú Ö Ò ÓÑÓÑÓÖÔ Ñ χ c : K 0 (Spc k ) K 0 (oh k ) Û Ö Ø Ö Ò ØÖÙØÙÖ ÓÒ K 0 (oh k ) Ò Ù Ý Ø Ø Ò ÓÖ ÔÖÓ ÙØ Ó Ö ÔÖ ÒØ Ø ÓÒ µº ÆÓØ Ð Ó Ø Ø Ø ÙÐ Ö Ö Ø Ö Ø ÑÙÐØ ÔÐ Ø Ú ÓÖ ØÓÖ ÓÖ ÓÚ Ö ÓÒÒ Ø ÖÓÙÔ Ñ Ò ÐÐ Ö Ö Ø Ñ Ó ÓÒ Ø ÒØ Ö ÓÒ Ø ÒØ Ø Ý ÓÑ ÓÒ Ø ÒØ Ø Ö Ò Û Ø ÓÒÒ Ø Ö µ Ó Ø Ø χ c ØÓÖ ÓÚ Ö χ c : K G 0 (Spc k) K 0 (oh k ) ÓÖ Ò Ö ØÖ ÖÝ Gº ÆÓÛ χ c (L) ÒÚ ÖØ Ð ÙØ χ c (L n 1) ÒÓغ ÁÒ ÓÖ Ö ÓÖ Ù ØÓ Ð ØÓ Ù Ì ÓÖ Ñ ½º¾ ØÓ ÜØ Ò χ c ØÓ K 0 (Stck k ) Û ÓÙÐ Ó ÓÙÖ Ù Ø ÒÚ ÖØ Ø χ c (L n 1)º ÀÓÛ Ú Ö Û ÐÐ ÓÐÐÓÛ Ø Ø Ð ÖÓ Ó Ñ Ò ÓÑÔÐ Ø ÓÒ Ò Ø º ÓÖ Ø ÒÓØ Ø Ø Ú ÖÝ Ó ÓÑÓÐÓ Ý Ó Ø Ò Ø Ð Ò Ø Ò Ø ÑÔÐ Ó Ø Ö ÔÙÖ Ó ÓÑ Û Ø K 0 (oh k ) Ö Ý Û Øº À Ò Ø ÓÑÔÐ Ø ÓÒ Û ÓÑÔÐ Ø Û Ø Ö Ô Ø ØÓ Ø Û Ø ÐØÖ Ø ÓÒ Ò Ø Ö Ø ÓÒ Ó Ò Ø Ú Û Ø Ú ÖÝ Ò Ò Ò Ø Ø Ø Ù Ø Ö ÔÐ Ò Ø ÙÑ Û Ø ÙÑ ÙÒ ÓÙÒ Ò Ø Ò Ø Ú Ö Ø ÓÒº Ï ÐÐ Ù K 0 (oh k ) ØÓ ÒÓØ Ø ÓÑÔÐ Ø ÓÒº ÈÙØØ Ò q := χ c (L) Û Ø Ò Ú χ c (L n 1) = q n 1 Û ÒÚ ÖØ Ð Û Ø ÒÚ Ö q n +q 2n + Ó Ø Ø Û Ó Ò Ø Ò ÜØ Ò ÓÒ χ c : K 0 (Stck k ) K 0 (oh k )º Ï ÒÓÛ Û ÒØ ØÓ ÓÑÔ Ö Ø Û Ø Ø ÔÖÓ Ó ÔÓ ÒØ ÓÙÒØ Ò º À Ò F Ò Ø Ð Û Ú Ñ Ô : K 0 (Stck F ) Q Ý Ó Ø Ò ØÓ Ò Ð Ö Ø Ó Ò Ø ØÝÔ µ X Ø Ñ Ó Ø ÒØ ÐÐÝ Ò Ø ÖÓÙÔÓ X(F) Ø Ñ Ó Ò ÒØ ÐÐÝ Ò Ø ÖÓÙÔÓ Ø ÙÑ ÓÚ Ö Ø ÓÑÓÖÔ Ñ Ð Ó 1 ÓÚ Ö Ø ÓÖ Ö Ó Ø ÙØÓÑÓÖÔ Ñ ÖÓÙÔ µº ÇÒ Ø ÓØ Ö Ò ÓÖ Ò Ð Ñ ÒØ i N a i Ó K 0 (oh F ) Û Ø a i ÔÙÖ Ó Û Ø iµ ÓÒ Ò ÓÒ Ö Ø ÙÑ i N Tr(a i) Û Ö Tr: K 0 (oh F ) Q Ø Ñ Ô Ø Ø Ø ÐÓ Ö ÔÖ ÒØ Ø ÓÒ ØÓ Ø ØÖ Ó Ø Ø ÓÒ Ó Ø ÖÓ Ò Ù Ð Ñ ÒØ Û Ö Û Ú Ü ÓÒ Ò ÓÖ ÐÐ Ò Ñ Ò Ó Ø Ð Ö ÒÙÑ Ö Ó Q l ÒØÓ Qµº ÁÒ Ò Ö Ð Ø ÙÑ Û ÐÐ ÒÓØ ÓÒÚ Ö ÒØ Ò ÓÒ Ò ØÓ ÓÑ ÓÒ Ø ÓÒ ÓÒ ÙÑ Ò ÓÖ Ö ØÓ ÐÐÓÛ ØÓ Ø Ø ØÖ º ÁÒ ¼ Ø ÙØ ÓÖ Ù Û Ø Ñ ÒØ ÐÐÝ ØÓ Ø Û Ø ÔÓ Ð ÓÒ Ø ÓÒ Ò Ñ ÐÝ Ø Ø Ø ÙÑ ÓÐÙØ ÐÝ

7 ÌÀ ÊÇÌÀ Æ Á à ÊÇÍÈ Ç Ä Ê Á ËÌ ÃË ÓÒÚ Ö Òغ ÀÓÛ Ú Ö Ø Ñ ØÓ Ñ ØÓ ØÓÓ Ó ÓÖ Ò Ø Ò ÔÓ ÐÝ Ô Ò Ò ÓÒ Ø ÔÖ Ò Ø Ð Ø Ø ÓÒ ÓÒ Ö Ò Ò Ð Ó Ñ Ò ÓÒÐÝ Û Ò Ø Ð Ò Ø º Á Ò Ø ÔÖÓÔÓ Ø ÓÐÐÓÛ Ò ÔÔÖÓ Ú Ò k¹ Ñ X Ó Ò Ø ØÝÔ Ò Ò ÒØ Ö n Û Ò w n (X) ØÓ i w n(hc(x)) i Û Ö w n (Hc i(x)) Ø Ñ Ò ÓÒ Ó Ø Ô ÖØ Ó Hi c (X) Ó Û Ø n ÒÓØ Ø Ø Ò Ø Û Ò k ÕÙ Ð ÓÖ R Ø ÒÓØ Ñ ÙÓÙ Ø Û Ø ÐØÖ Ø ÓÒ ÓÒ Ø Ð Ð Ó ÓÑÓÐÓ Ý ÓÑÔ Ø Ð Û Ø Ø Ø ÓÒ Ø Ð Ó ÓÑÓÐÓ Ýµº Ï Ø Ò Ò ÓÖ x K 0 (Spc k ) w n(x) ØÓ Ø Ñ Ò ÑÙÑ Ó k w n(x k ) Û Ö k ±{X k} ÖÙÒ ÓÚ Ö ÐÐ Ö ÔÖ ÒØ Ø Ú Ó x Ò ÙÑ Ó Ð Ó Ñ º ÆÓØ Ø Ø w n+2 (X A 1 ) = w n (X) Ò Ø Ù w n+2(xl) w n(x)º Ì Ñ Ò Ø Ø Û Ñ Ý ÔÙØ w n (x) := lim k w n+2k (xlk )º Ï ÒÓÛ ÜØ Ò w n ØÓ K 0 (Spc k )[L 1 ] Ý ÔÙØØ Ò w n (xl k ) := w n+2k (x) Ø ÓÒ Ø ÒØ Ý ÓÒ ØÖÙØ ÓÒ w n+2 (xl) = w n (x) ÓÖ x K 0 (Spc k )µº Ï Ð ÖÐÝ Ú Ù Ø Ú ØÝ ÓÖ w n w n (x ± y) w n (x) + w n (y) Û ÐÐ Ù ÑÙÐØ ÔÐ Ø Ú ØÝ w n (xy) i+j=n w i(x)w j (y) Ý Ø Ã ÒÒ Ø ÓÖÑÙÐ º Ì Ò ÜØ Ø Ô ØÓ ÓÑÔÐ Ø K 0 (Spc k )[L 1 ] Ý Ò ÕÙ Ú Ð Ò Ð Ó Ù Ý ÕÙ Ò x = (x i ) ÙÐ ÐÐ Ò ØÛÓ ÓÒ Ø ÓÒ º Ì Ö Ø Ù Ø Ñ Ò ÓÒ ÐØÖ Ø ÓÒ {Fil m K 0 (Spc k )[L 1 ]} Û Ö Fil m K 0 (Spc k )[L 1 ] Ô ÒÒ Ý Ð {X}L k Û Ø dim(x) k m Ò dim(x) Ø Ð Ø ÔÓ ÐÝ ÕÙ Ð ØÓ µ ÒÙÑ Ö Ù Ø Ø x Fil m K 0 (Spc k )[L 1 ]º Ï Ø Ò ØÓ Ò Û Ø Ñ Ò Ø Ø dim(x i x j ) Û Ò i,j º Ï ÙÖØ Ö ÑÔÓ Ø Ø Ø Ö ÓÒ Ø ÒØ Ò D ÓØ Ò Ô Ò ÒØ Ó i Ù Ø Ø w n (x i ) n d + D ÓÖ ÐÐ nº Ï ÐÐ Ý Ø Ø Ù ÕÙ Ò ÓÒÚ Ö ÒØ Ó ÙÒ ÓÖÑ ÔÓÐÝÒÓÑ Ð ÖÓÛØ º ÆÓØ Ø Ø Ý Ö ÙÐØ Ó Ð Ò º ¼ µ Û Ú Ø Ø w n (x) = 0 2dim(x) < n Ò Ø Ù Ý Ù Ø Ú Øݵ ÓÖ ÒÝ n w n (x i ) Ú ÒØÙ ÐÐÝ ÓÒ Ø ÒØ Ò Û Ñ Ý ÙÒ Ñ ÓÙ ÐÝ Ò w n (x) Ø Ø ÓÒ Ø ÒØ Ú ÐÙ º (x i ) Ó ÙÒ ÓÖÑÐÝ ÔÓÐÝÒÓÑ Ð ÖÓÛØ Û Ð Ó Ø Ø Ø w n (x) Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ º Ì ÓÒ Ø ÓÒ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ò ÓÒÚ Ò ÒØÐÝ ÓÖÑÙÐ Ø Ò Ø ÓÐÐÓÛ Ò Û Ýº ÓÖ x K 0 (Spc k )[L 1 ] Û ÔÙØ w(x,t) = n w n(x)t n ÓÒ Ö Ò Ð Ñ ÒØ Ó Z((t 1 )) Ä ÙÖ ÒØ Ö Ò t 1 Û Ø ÒØ Ö Ó ÒØ º Ì Ø ÕÙ Ò (x i ) Ó ÙÒ ÓÖÑ Ñ Ò Ø Ø w(x i,t) ϕ(t)/(t 1) d ÓÖ ÓÑ Ä ÙÖ ÒØ ÔÓÐÝÒÓÑ Ð ϕ Ò Ò ÒØ Ö d ÓØ Ò Ô Ò ÒØ Ó i Ò Û Ö ÓÑÔ Ö ÓÒ Ñ Ó ÒØ¹Û º ÙÖØ ÖÑÓÖ Ù Ø Ú ØÝ Ò ÓÖÑÙÐ Ø w(x±y,t) w(x,t)+w(x,t) Ò Ù ÑÙÐØ ÔÐ Ø Ú ØÝ w(xy,t) w(x,t)w(y,t)º Ì Ø Ñ Ø Ó Ú ÓÙ Ø Ø ÓÒÚ Ö ÒØ ÕÙ Ò ÙÒ ÓÖÑÐÝ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ö ÐÓ ÙÒ Ö Ø ÖÑ¹Û Ø ÓÒ Ù ØÖ Ø ÓÒ Ò ÑÙÐØ ÔÐ Ø ÓÒº Ø Ó Ø Ø ÓÒÚ Ö ØÓ Þ ÖÓ ÛÖØ Ø Ñ Ò ÓÒ ÐØÖ Ø ÓÒµ ÓÖÑ Ò Ð Û Ñ Ý Ò K pol 0 (Spc k ) Ø ÕÙÓØ ÒØ Ó Ø ÓÒÚ Ö ÒØ ÕÙ Ò ÙÒ ÓÖÑÐÝ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ý Ø Ó ÓÒÚ Ö Ò ØÓ Þ ÖÓº Ï Ò ÜØ Ò Ø w n ÓÖ ÕÙ Ú Ð ÒØÐÝ w(,t)µ ØÓ K pol 0 (Spc k ) Ò Ø Ð Ö Ø Ø ÓÒÚ Ö ÒØ ÕÙ Ò ÙÒ ÓÖÑÐÝ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ó Ð Ñ ÒØ Ó K pol 0 (Spc k ) ÓÒÚ Ö Ò K pol 0 (Spc k )º Ï Ó ÓÙÖ Ú ÓÑÔÐ Ø ÓÒ Ñ Ô ( ): K 0 (Spc k )[L 1 ] K pol 0 (Spc k )º Ï Ð Ó Ø ÓÒØ ÒÙÓÙ Ñ Ô ÖÓÑ K pol 0 (Spc k) ØÓ Ø ÓÑÔÐ Ø ÓÒ K 0 (Spc k ) Ó K 0 (Spc k )[L 1 ] Ò Ø ØÓÔÓÐÓ Ý Ú Ò Ý Ø Ñ Ò ÓÒ ÐØÖ Ø ÓÒº Ý Ò Ø ÓÒ ÙÒ ÓÖÑÐÝ ÓÒÚ Ö ÒØ ÕÙ Ò ÓÒÚ Ö ØÓ Þ ÖÓ ÔÖ ÐÝ Û Ò Ø ÓÒÚ Ö ØÓ Þ ÖÓ Ò Ø Ñ Ò ÓÒ ÐØÖ Ø ÓÒ ØÓÔÓÐÓ Ýº À Ò Ø Ñ Ô K pol 0 (Spc k ) K 0 (Spc k ) Ò Ø Ú Ò Û Ñ Ý Ø Ò Ó K pol 0 (Spc k ) Ù Ö Ò Ó K 0 (Spc k )º ÁØ ØÓÔÓÐÓ Ý ÓÛ Ú Ö ØÖÓÒ Ö Ø Ò Ø Ù Ö Ò ØÓÔÓÐÓ Ýº ÁÒ Ñ Ð Ö Ñ ÒÒ Ö Û Ð Ó Ò Ù Ö Ò K pol 0 (oh k) Ó K0 (oh k ) ÓÒ Ø Ò Ó Ø Ó Ð Ñ ÒØ x ÓÖ Û w n (x) Ø ÑÓ Ø ÔÓÐÝÒÓÑ Ð ÖÓÛØ º À Ö Û Ò w n (x) ØÓ Ø ÙÑ k m k dimv k Û Ö k m k[v k ] Ø Û Ø n¹óñôóò ÒØ Ó x ÛÖ ØØ Ò ÙÑ Ó ÒÓÒ¹ ÓÑÓÖÔ ÖÖ Ù Ð ÐÓ Ö ÔÖ ÒØ Ø ÓÒ Ö Ôº ÀÓ ØÖÙØÙÖ µº ÁØ Ð Ö Ø Ø x K 0 (Spc k ) Ø Ò w n (χ c (x)) w n (x) Ó Ø Ø χ c ÜØ Ò ØÓ Ñ Ô K pol 0 (Spc k ) Kpol 0 (oh k)º Ï Û ÒØ ÓÛ Ú Ö ØÓ Ú K pol 0 (oh k ) ØÖÓÒ Ö ØÓÔÓÐÓ Ý Ø Ò Ø Ø ÔÖÓÚ Ý K 0 (oh k )º Ì Ù Û Ð Ö ÕÙ Ò (x i ) Ò K pol 0 (oh k ) ÓÒÚ Ö ÒØ Ó ÙÒ ÓÖÑ ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ø ÓÒÚ Ö ÒØ Ò Ø ÐØÖ Ø ÓÒ ØÓÔÓÐÓ Ý º º ÓÖ Ú ÖÝ n Ø Û Ø n¹óñôóò ÒØ Ó Ø x i Ú ÒØÙ ÐÐÝ ÓÒ Ø Òص Ò w n (x i ) ÙÒ ÓÖÑÐÝ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ ÓÚ º Ì Ò (x i )

8 ÓÒÚ Ö Ò K 0 (oh k ) ØÓ Ò Ð Ñ ÒØ Ó K pol 0 (oh k)º Ì ØÓÔÓÐÓ Ý Ò Ý Ú Ò Ù Ø Ò ÐÓ Ø ÐÓ ÙÒ Ö ÙÒ ÓÖÑÐÝ ÓÒÚ Ö ÒØ ÕÙ Ò ºµ Ú Ò Ò Ð Ñ ÒØ n x n Ò K pol 0 (oh k) Ø Ô ÖØ Ð ÙÑ n N x n ÓÒÚ Ö ÙÒ ÓÖÑÐÝ ØÓ Ø Ð Ñ ÒØ Ó Ø Ø K 0 (oh k ) Ò Ò K pol 0 (oh k )º ÙÖØ ÖÑÓÖ w n (χ c (x)) w n (x) Û Ø ÓÒØ ÒÙÓÙ ÜØ Ò ÓÒ χ c : K pol 0 (Spc k ) K pol 0 (oh k ) Û Ö Ò ÓÑÓÑÓÖÔ Ñº ÓÖ ÓÙÖ Ò ÜØ Ö ÙÐØ Û Ò ØÓ Ö ÐÐ Ø Ø ÓÖ Ò Ð Ö Ø X ÐÓ ÐÐÝ Ó Ò Ø ØÝÔ ÓÚ Ö Ò Ø Ð k Û Ò Ò Ø ÔÓ ÒØ ÓÙÒØ cnt(x) [0, ] ØÓ Ø Ñ Ó Ø ÖÓÙÔÓ X(k) º º Ø ÙÑ x1/ Aut(x) Û Ö Ø ÙÑ ÖÙÒ ÓÚ Ö Ø ÓÑÓÖÔ Ñ Ð Ó X(k) Ò Aut(x) Ø ÖÓÙÔ Ó ÙØÓÑÓÖÔ Ñ Ò ÓÚ Ö kµº Ò ÙÑ ÓÚ Ö ÒÓÒ¹Ò Ø Ú ÒÙÑ Ö Ø ÐÛ Ý ÓÒÚ Ö ÒØ Ø ÓÙ Ø Ñ Ý Û Ò X Ó Ò Ø ØÝÔ Ø Ò Ø ÙÑ ÓÛ Ú Öº Ì ÔÓ ÒØ ÓÙÒØ Ø Ú ÓÚ Ö ÓÑÔÓ Ø ÓÒ ÒØÓ ÐÓ Ù Ø Ò Ø ÓÑÔÐ Ñ ÒØ Ò Ò Ú Ö Ò ÓÑÓÑÓÖÔ Ñcnt: K 0 (Stck k ) Qº ÆÓØ Ø Ø Ø ÓÑÔÓ Ø Û Ø Ø Ò ØÙÖ Ð Ñ Ô K 0 (Spc k ) K 0 (Stck k ) Ø Ù Ù Ð ÓÙÒØ Ò Ñ Ôº Ò ÐÐÝ Û Ú Ñ Ô Tr: K 0 (oh k ) Q Ú Ò Ý Ó Ø Ò ØÓ ÒÝ ÐÓ Ö ÔÖ ÒØ Ø ÓÒ Ø ØÖ Ó Ø ÖÓ Ò Ù Ñ Ô Ò Û Ö Û ÓÒ Ò ÓÖ ÐÐ Ú Ó Ò Ò Ñ Ò Ó Q Ø Ð Ó ÓÑÔÐ Ü Ð Ö ÒÙÑ Ö Ò Ò Ð Ö ÐÓ ÙÖ Ó Q l º Ï ÒÓÛ Ú Ø ÓÐÐÓÛ Ò ÜÔ Ø µ ÓÑÔ Ø Ð ØÝ Ö ÙÐغ ÓÖ Ø ÓÒ Ô ÖØ Û Ò Ò Ò ÐÓ Ý Û Ø Ø Ô Ø Ð Ø Ñ Ò ÓÒ ÐØÖ Ø ÓÒ Fil m K 0 (Stck k ) K 0 (Stck k ) ØÓ Ø Ù ÖÓÙÔ Ô ÒÒ Ý Ø Ð Ö Ø Ó Ñ Ò ÓÒ mº Ï Ð Ó ÜØ Ò Fil m K 0 (Spc k ) ØÓ K pol 0 (Spc k ) Ý Ø Ò Ø ÐÓ ÙÖ º ÈÖÓÔÓ Ø ÓÒ ¾º½ µ Ì Ð Ñ ÒØ L Ò Ø L n 1 ÐÐ n > 0 Ó K pol 0 (Spc k ) Ö ÒÚ ÖØ Ð Ó Ø Ø Ø ÓÑÔÐ Ø ÓÒ Ñ Ô ÜØ Ò ØÓ Ö Ò ÓÑÓÑÓÖÔ Ñ K 0 (Spc k ) K pol 0 (Spc k ) Ò Ø Ù ØÓ Ñ Ô K 0 (Stck k ) K pol 0 (Spc k ) Û ÐÐ Ð Ó ÒÓØ ( )º µ Ì ÓÑÔÐ Ø ÓÒ Ñ Ô( ): K 0 (Stck k ) K pol 0 (Spc k) Ø Fil m K 0 (Stck k ) ØÓFil m K pol 0 (Spc k)º ÁÒ Ô ÖØ ÙÐ Ö Ø ÓÒØ ÒÙÓÙ ÓÖ Ø ÐØÖ Ø ÓÒ ØÓÔÓÐÓ º ÙÑ ÒÓÛ Ø Ø k Ò Ø Ð º µ ÓÖ Ú ÖÝ x = n N x n K pol 0 (oh k) Û Ö x n Ø ÓÑÔÓÒ ÒØ Ó Û Ø n Ø ÙÑ n Tr(x n) ÓÒÚ Ö ÒØ Ò Ò Ú ÓÒØ ÒÙÓÙ ÜØ Ò ÓÒ Ó Tr ØÓ Ö Ò ÓÑÓÑÓÖÔ Ñ Tr: K pol 0 (oh k) º Úµ ÓÖ Ú ÖÝ x K 0 (Stck k ) Û Ú Ø Ø cnt(x) = Tr(χ c (x))º Rº Úµ cnt: K 0 (Spc k )[L 1 ] Q ÜØ Ò ØÓ ÓÒØ ÒÙÓÙ Ö Ò ÓÑÓÑÓÖÔ Ñ cnt: K pol 0 (Spc k ) ÈÖÓÓ Ï Ú Ø Ø L ÒÚ ÖØ Ð ÐÖ Ý Ò K 0 (Spc k )[L 1 ]º ÙÖØ ÖÑÓÖ L n 1 = L n (1 L n ) Ò Ø Ö k 1 L kn ÓÒÚ Ö ÒØ ÙÑ ÙÒ ÓÖÑÐÝ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ º Ì ÔÖÓÚ µº ÌÓ ÔÖÓÚ µ Û Ñ Ý ÓÒ Ö ÓÒÐÝ Ø x = {X} Û Ö dim(x) m Ò Ý ÙØØ Ò ÙÔ X Û Ñ Ý ÙÖØ Ö ÙÑ Ø Ø X = [X/GL n ] Ó Ø Ø dimx m+n 2 º Ï Ø Ò Ú {X} = {X}{GL n } 1 ÙØ {GL n } 1 ÔÓÛ Ö Ö Ò L 1 Ø ÖØ Ò Û Ø L n2 Ó Ø Ø {X}{GL n } 1 Fil dimx n2 K pol 0 (Spc k ) = Fil m K pol 0 (Spc k )º ÓÖ µ k q Ð Ñ ÒØ Ø Ò Ý Ò Ø ÓÒ Ø Ö d Ù Ø Ø Tr(x n ) n d q n/2 ÓÖ ÐÐ n Û Ú ÓÒÚ Ö Ò q > 1º ÙÖØ ÖÑÓÖ (x i ) ÓÒÚ Ö ÒØ ÕÙ Ò Ó ÙÒ ÓÖÑ ÔÓÐÝÒÓÑ Ð ÖÓÛØ ÓÒÚ Ö Ò Ò K pol 0 (oh k) ØÓ x Ø Ò Ø Ö Ö D Ò d Ù Ø Ø w n x i n d +D ÓÖ ÐÐ n Ò i Ò Ø Ò Tr(x) Tr(x i ) k 2dim(x x i) 2( k d +D)q k/2, Û ÓÛ Ø Ø dim(x x i ) i Û Ú Tr(x i ) Tr(x)º ÙÖØ Ö ÓØ Ö Ö Ò ÓÑÓÑÓÖÔ Ñ ØÓ Ú Ö Ý Ø ÕÙ Ð ØÝ Ó Úµ Ø ÒÓÙ ØÓ Ø ÓÒ K 0 (Spc k ) Û Ö Ø ÑÔÐÝ Ø Ä ØÞ Ü ÔÓ ÒØ ÓÖÑÙÐ º

9 ÌÀ ÊÇÌÀ Æ Á à ÊÇÍÈ Ç Ä Ê Á ËÌ ÃË Ò ÐÐÝ ØÓ ÔÖÓÚ Úµ Û ÒÓØ Ø Ø Tr χ c ÓÒØ ÒÙÓÙ ÜØ Ò ÓÒ Ó cnt ØÓ K pol 0 (Spc k )º Ê Ñ Ö µ ÓÖ Ø ØÖÙØ Ó Ø ÔÖÓÔÓ Ø ÓÒ Ø ÛÓÙÐ ÒÓÙ ØÓ Ú w n (x) ÖÓÛ ÐÓÛ Ö Ø Ò α n ÓÖ ÐÐ α > 1 ÓÖ Ú Ò ÓÖ ÓÑ α < 2µº ÀÓÛ Ú Ö Ø Ö ÕÙ Ö Ñ ÒØ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ñ ØÓ Ñ ØÓ Ø ÑÓÖ Ò ØÙÖ Ð ÓÒ Ø ÓÒ ÓÛ Ú Ö ÓÑÑ ÒØ ÐÓÛµº µ ÆÓØ Ø Ø w n (χ c (x)) ÓÖ x K 0 (Spc k ) ݵ Ò Ò Ö Ð Ñ ÐÐ Ö Ø Ò w n (x) Ù Ó ÔÓ Ð Ò ÐÐ Ø ÓÒ Ó ÖÖ Ù Ð ÐÓ Ö ÔÖ ÒØ Ø ÓÒ Û Ó ÒÓØ ÓÖÖ ÔÓÒ ØÓ Ò ÐÐ ¹ Ø ÓÒ Ó Ú Ö Ø Ò K 0 (Spc k )º ÏÓÖ Ò Û Ø ÖÓØ Ò ÖÓÙÔ Ó ÑÓØ Ú Ò Ø Ó Ú Ö Ø ÛÓÙÐ ÒÓ ÓÙ Ø Ø Ú ÐÙ Ó w n ÐÓ Ö ØÓ Ø Ø Ó K pol 0 (oh k)º ÇÒ Ø ÓØ Ö Ò Ø Ý Ò Ò K 0 (Spc k ) Ú ÑÓÖ Ò ÓÖÑ Ø ÓÒº Á Ð Ó Ò Ø ÕÙ Ø ÙÐØ ØÓ Ñ Ò Ø Ø Ø Ö Ö Ò ØÙÖ Ð Ü ÑÔÐ Ó Ð Ñ ÒØ x Ò Ø Ñ Ò ÓÒ ÓÑÔÐ Ø ÓÒ Ó K 0 (Spc k ) ÓÖ Û w n (x) Ó ÒÓØ Ú ÔÓÐÝÒÓÑ Ð ÖÓÛØ Û Ð w n (χ c (x)) Ó º µ Ì ÜØ Ò ÓÒ Ó χ c ØÓ K 0 (Stck k ) Ò Ø Ö Ð Ø ÓÒ Û Ø ÔÓ ÒØ ÓÙÒØ Ò ÓÖ k Ò Ø Ð ÓÒ Ò ÌÓ¼ ÓÖ Ø Ò Ö Ð Ó n¹ Ø Ù Ò Ø Ñ º ¾º½ ËØ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ì Ñ Ó Ø Ø ÓÒ ØÓ ØÖÝ ØÓ Ø Ø ÓÒ Ö Ø ÓÒ Ó ¼ ÒØÓ ÓÙÖ ØÙÔº À Ò X Ò Ð Ö Ø ÐÓ ÐÐÝ Ó Ò Ø ØÝÔ Ò Ù Ù Ð Û Ø Ò Ø Ð Ö µ ØÖ Ø Ø ÓÒ Ó X Û ÐÐ Ñ Ò ÓÙÒØ Ð Ø (X i ) Ó ÐÓ ÐÐÝ ÐÓ Ù Ø Ó Ò Ø ØÝÔ Ù Ø Ø X Ø Ó ÒØ ÙÒ ÓÒ Ó Ø Ñ Ò dim(x i ) i º ÆÓØ Ø Ø Û Ó ÒÓØ ÙÑ ÓÖ Ò Ø Ò Ø Ø Ø ÐÓ ÙÖ Ó ØÖ ØÙÑ ÙÒ ÓÒ Ó ØÖ Ø ºµ ÓÐÐÓÛ Ò ¼ Û Ý Ø Ø X ÒØ ÐÐÝ Ó Ò Ø ØÝÔ Ø ØÖ Ø Ø ÓÒº Ì ØÖ Ø Ø ÓÒ ÙÒ ÓÖÑÐÝ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ø ÙÑ i {X i} Û ÐÐ ÖÓÑ ÒÓÛ ÓÒ Ô Ò Û Ø Ø ÓÑÔÐ Ø ÓÒ ÝÑ Óе ÓÒÚ Ö Ò K pol 0 (Spc k )º ÁÒ ÓÒÖ Ø Ø ÖÑ Ø Ñ Ò Ø Ø Ø Ö ÔÓÐÝÒÓÑ Ð P(x) Ù Ø Ø w n ( i S X i) P( n ) ÓÖ ÐÐ n Ò ÐÐ Ò Ø Ù Ø S Ó Ø Ò Ü Ø ÓÒÚ Ö Ò Ò Ø ÐØÖ Ø ÓÒ ØÓÔÓÐÓ Ý ÙÖ Ý ¾º½ µº Ì Ö Ø Ö Ø ÙÑÑ Ð ØÝ Ø Ò Ø ÓÒÚ Ö Ò Ö Ú Ö ÓÒ ÙØ Ø Ý Ö ÐÝ Ò ØÓ ÕÙ Ú Ð Òغµ Ï Ý Ø Ø X Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ø ÓÑ ØÖ Ø Ø ÓÒ (X i ) Û ÙÒ ÓÖÑÐÝ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ º Ï Ø Ò Û ÒØ ØÓ Ò {X} K pol 0 (Spc k ) {Xi }º Ì Ò Ò Ô Ò ÒØ Ó Ø Ó Ó ØÖ Ø Ø ÓÒº ÌÓ ÔÖÓÚ Ø Ø Ø ÒÓÙ ØÓ ÓÛ ÕÙ Ð ØÝ Ò K 0 (Spc k ) Ø Ñ Ô K pol 0 (Spc k ) K 0 (Spc k ) Ò Ø Ú µº À Ò Û ÑÔÐÝ ÙÑ Ø Ø (X i ) Ò (Y j ) Ö Ü Ù Ø ÓÒ Ó X Û Ø Ø ÓØ ÙÑ i {X i} Ò j {Y j} Ö ÕÙ Ð ØÓ i,j {X i Y j } ÓÖ i Ø ØÖ Ø Ø ÓÒ (X i Y j ) Ó X i Ò Ø ØÖ Ø Ø ÓÒ X i Ó Ò Ø ØÝÔ Ò Ñ Ð ÖÐÝ ÓÖ Ø ØÖ Ø Ø ÓÒ (Y j X i ) Ó Y j µº Ì Ú {X i } = j {X i Y j } Ò {Y j } = i {Y j X i }º Ï Ø Ò Ú Û ÔÖÓÔ ÖØ º ÈÖÓÔÓ Ø ÓÒ ¾º¾ µ ËÙÔÔÓ Ø Ø X Ò Ð Ö k¹ Ø ÐÓ ÐÐÝ Ó Ò Ø ØÝÔ Ò Y ÐÓ Ù Ø Û Ø ÓÑÔÐ Ñ ÒØ Uº Á Ø Ø Y Ò U Ö Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ø Ò Ó X Ò Û Ú {X} = {Y}+{U} K pol 0 (Spc k ). µ Á X Ø Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ ÓÚ Ö Ò Ø Ð k Ø Ò Tr(χ c {X}) = cnt(x)º ÈÖÓÓ ËÙÔÔÓ Ø Ø Y Ö Ôº U Ú ØÖ Ø Ø ÓÒ (Y i ) Ö Ôº (U i ) Ó ÙÒ ÓÖÑ ÔÓÐÝÒÓÑ Ð ÖÓÛØ º Ì Ö ÙÒ ÓÒ Ø Ò Ú ØÖ Ø Ø ÓÒ Ó X Ó ÙÒ ÓÖÑ ÔÓÐÝÒÓÑ Ð ÖÓÛØ º Ì ÔÖÓÚ µº ÓÖ µ Û Ú Ý Ò Ø ÓÒ Ó Ø ÔÓ ÒØ ÓÙÒØ Ø Ø cnt(x) = i cnt(x i)º À Ò Ý ÈÖÓÔÓ Ø ÓÒ ¾º½ Û Ú Tr({X}) = i Tr({X i }) = i cnt(x i ) = cnt(x). Ê Ñ Ö µ ÁØ ÛÓÙÐ Ñ Ö ÓÒ Ð ØÓ Ñ Ò Ú Ö ÓÒ ÓÖ Ø Ö Ø Ô ÖØ Ø Ø ÒÚÓÐÚ Ò Ò Ò Ø ÓÑÔÓ Ø ÓÒ Ó X ÒØÓ Ó ÒØ Ù Ø º ÀÓÛ Ú Ö ÓÒ ÛÓÙÐ ØÓ Ò Û Ø Ú ØÓ

10 ½¼ ÑÔÓ ÓÑ ÙÒ ÓÖÑ ØÝ ÓÒ Ø Ñ Ò ÓÒ Ó Ø ØÖ Ø Ó Ø ØÖ Ø Ø ÓÒ Ó Ø Ò Ú Ù Ð Ô º ÓÒ ÔÖÓ Ð Ñ Ø Ø (X i ) ØÖ Ø Ø ÓÒ Ó X Ø Ò Ø ÒÓØ Ð Ö Ø Ø ÓÒ Ò ÓÙÒ i w({x i}) Ò Ø ÖÑ Ó w n ({X}) Û ÛÓÙÐ Ò ØÓ ÓÙÒ i w n({x i }) Ò Ø ÖÑ Ó i,j w n({x i,j }) Û Ö (X i,j ) ØÖ Ø Ø ÓÒ Ó X i Ó ÙÒ ÓÖÑ ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ò (X i ) ÓÑÔÓ Ø ÓÒ Ó X µº µ ÒÓØ Ö ÔÖÓ Ð Ñ Û Ø ÓÙÖ Ò Ø ÓÒ Ø Ø Ú Ò ÓÔ Òµ Ù Ø Ó Ø Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ñ Ý ÒÓØ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ º Ì Ò Ñ Ø Ø Ý ÑÓ Ý Ò Ø ÒÓØ ÓÒ Ó ÓÒÚ Ö Ò º ÍÒ ÓÖØÙÒ Ø ÐÝ ÙÒ Ö Ø Ø ÑÓ Ø ÓÒ Ø ÙÐ Ö Ö Ø Ö Ø ÒÓ ÐÓÒ Ö Ò Ö ÐÝ Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ º Ï Ò Ø Ù Ø ÓÒ Ý Ú Ö Ý Ò Ø Ø Ø ÑÓ ÙÐ Ø Ó ¼ Ø Ó ÙÒ Ð ÓÚ Ö ÑÓÓØ Ò ÔÖÓÔ Ö ÙÖÚ ÓÖ ÔÐ Ø Ñ ¹ ÑÔÐ ÖÓÙÔ Gº ÈÖÓÔÓ Ø ÓÒ ¾º Ä Ø G ÔÐ Ø Ñ ¹ ÑÔÐ k¹ ÖÓÙÔ Ñ Ò ÑÓÓØ Ò ÔÖÓÔ Ö ÙÖÚ ÓÚ Ö º Ì Ò Ø Ð Ö Ø Bun G, Ó G¹ØÓÖ ÓÖ ÓÚ Ö Ó ÔÓÐÝÒÓÑ Ð ÖÓÛØ º ÈÖÓÓ Ì Ù Ø Ó Ò ÒØÓ Ø Ø Ð Ó ¼ Ä ÑÑ º ØÓ Ø Ø Ø ÓÒÚ Ö Ò ØÙ ÐÐÝ ÔÓÐÝÒÓÑ Ð Ù Ò ½ ï Ô ÖØ ÙÐ ÖÐÝ ½ ï º ØÓ Ø Ø Ö ÕÙ Ø Ò ÓÖÑ Ø ÓÒº ÓÖ Ø Ö Ö³ Ò Ø ÙØ ÓÖ³ µ ÓÒÚ Ò Ò Û ÐÐ ÓÒÐÝ ØÖ Ø Ø ÒÓØ Ø ÓÒ ÐÐÝ Ò ÓÒ Ô¹ ØÙ ÐÐݵ ÑÔÐ Ö Ó G = SL n º À Ò Û ØÖ Ø Ý Bun SLn, Ý Ø ØÖ Ø Ó Ü Ö Ò Ò Ö Ó Ø Ô Ó Ø À Ö Ö¹Æ Ö Ñ Ò ÐØÖ Ø ÓÒº À Ò Ø Ý Ö Ú Ò Ý ÓÒ ÕÙ Ò (d 1,d 2,...,d k ) Ó ÔÓ Ø Ú ÒØ Ö Ú Ò Ø Ö Ò Ò ÓÒ ÒÖ Ò ÕÙ Ò (m 1,...,m k ) Ó ÒØ Ö Ö ÔÖ ÒØ Ò Ø Ö Ó Ø Ô Ó Ø ÐØÖ Ø ÓÒº Ì Ø Ø Û ÓÐ Ú ØÓÖ ÙÒ Ð ÓÑ ÖÓÑ Ò SL n ¹ ÙÒ Ð Ñ Ò Ø Ø i d i = n Ò Ø Ø Û Ú À Ö Ö¹Æ Ö Ñ Ò ÐØÖ ¹ Ø ÓÒ Ñ Ò Ø Ø m 1 /d 1 > m 2 /d 2 > > m k /d k º Ì Ö Ñ ÐÐ ÔÖÓ Ð Ñ Ò Ø Ø ÓÒ Ú Ò ØÖ ØÙÑ Ø À Ö Ö¹Æ Ö Ñ Ò ÐØÖ Ø ÓÒ Ñ Ý ÒÓØ Ü Øº ÀÓÛ Ú Ö Ø Ñ Ô ÖÓÑ Ø Ð Ö Ø Ó Ú ØÓÖ ÙÒ Ð Û Ø À Ö Ö¹Æ Ö Ñ Ò ÐØÖ Ø ÓÒ Ó Ø Ú Ò ØÝÔ ØÓ Ø ØÖ ØÙÑ ÙÒ Ú Ö Ð ÓÑ ÓÑÓÖÔ Ñº Ò Ö ÐÐÝ X Y ÙÒ Ú Ö Ð ÓÑ ÓÑÓÖÔ Ñ ØÛ Ò Ð Ö Ø Ó Ò Ø ØÝÔ Û Ú Ø Øχ c ({X}) = χ c ({Y}) ÒK pol 0 (oh k) Ø Û ÓÐÐÓÛ ÑÑ ¹ Ø ÐÝ Ý Ö ÙØ ÓÒ ØÓ Ø Ô Ø Ð º À Ò Û Ñ Ý Ò ÐÐ ÒÓÖ Ø ÔÖÓ Ð Ñº ÆÓÛ Bun d,m Ø Ø Ó 0 E 1 E k Ó Ú ØÓÖ ÙÒ Ð ÓÒ Û Ø E i /E i 1 Ñ ¹ Ø Ð Ó Ö Ò d i Ò Ö m i Ò Û Ö Û Ú i d i = n Ò m 1 /d 1 > m 2 /d 2 > > m k /d k µº Ï ÒÓÛ ÓÒ¹ Ö Ø Ñ Ô Bun d,m,m Bund Bun d k,m k Ñ ÔÔ Ò ØÓ (0 E 1 E k 1,E k /E k 1 ) Ò d = (d 1,...,d k 1 ) Ò m = (m 1,...,m k 1 )º Ï Ø ÐÓ Ø ÙÒ Ö Ø Ñ Ô Ø ÜØ Ò ÓÒ Ó E k 1 Ý E k /E k 1 Ú Ò Ý E k º Ì Ñ Bun d,m,m Bund Bun d k,m k È Ö Ø ÙÒ¹ Ö Ø Ö ÙÑ Ó ÜØ Ò ÓÒ Û Ö Ý Ø Ô Ö Ø ÓÑÔÐ Ü Rπ Hom(F,E k 1 )[1] Û Ö 0 E 1 E k 1 Ø ÙÒ Ú Ö Ð ÓÚ Ö Bun d,m F Ø ÙÒ Ú Ö Ð Ú ØÓÖ ÙÒ Ð ÓÚ ÖBun d k,m k Ò π Ø ÔÖÓ Ø ÓÒ Bun d,m Bun d k,m k Bun d,m Bun d k,m k º Ï Ñ Ý Ø Ò ØÖ Ø Ý Ø Ó Ø Ø π Hom(F,E k 1 ) Ö Ó Ö Ò a Ý Ò R 1 π Hom(F,E k 1 ) Ö Ó Ö Ò b Ý Ò Ó Ø Ø Rπ Hom(F,E k 1 ) Ø ÙÑ Ó Ø Ó ÓÑÓÐÓ Ýº Ì Ú Ø Ø ÓÚ Ö Ù ØÖ ØÙÑ X π ÓÑÓÖÔ ØÓ BG a a G b a º Í Ò Ø Ú ØÝ Ó { } Û Ø {Bun d,m } = Lb a {Bun d,m Bun d k,m k } = L b a {Bun d,m }{Bun d k,m k } Ò a b ÑÔÐÝ Ø Ö Ð Ø Ú µ ÙÐ Ö Ö Ø Ö Ø Ó Hom(F,E k 1 ) Û ÕÙ Ð d k m i d i m k i<k Ý Ø Ê Ñ ÒÒ¹ÊÓ ÓÖÑÙÐ º ÁØ Ö Ø Ò Û Ø Û Ö {Bun d,m } = L χ {Bun d1,m1 } {Bun d k,m k }, χ = i<j ( mj d i d j m ) i +d i d j (1 g()). d j d i

11 ÌÀ ÊÇÌÀ Æ Á à ÊÇÍÈ Ç Ä Ê Á ËÌ ÃË ½½ ÆÓÛ ÓÖ Ü d i<j d id j ( mj d j mi d i ) Ð Ò Ö ÙÒØ ÓÒ Û Ó ÖÒ Ð Ð ÖÐÝ Ñ Ø Ø ÓÒ Ú Ò Ý Ø ÓÒ Ø ÓÒ m 1 /d 1 > m 2 /d 2 m k /d k Ò i m i = 0 ÓÒÐÝ Ò 0º À Ò Ø ÒÙÑ Ö Ó m³ Û Ú Ü Ú ÐÙ Ó χ ÔÓÐÝÒÓÑ ÐÐÝ ÓÙÒ Ò ÓÒÐÝ Ø ÓÒ Ò Ø ÒÙÑ Ö Ó Ò Ø Ú Ú ÐÙ º Ð Ó Ø ÓÑÓÖÔ Ñ Ð Ó Bun di,mi ÓÒÐÝ Ô Ò ÓÒ Ø Ö Ù Ó m i ÑÓ ÙÐÓ d i ÔÖÓÚ Ø Ø Ø Ð Ð Ö ÒÓÙ Ó Ø Ø Ð Ò ÙÒ Ð Ó Ö 1 Ð ÜØ Ò ÓÒ Ö ÐÐÓÛ ÓÛ Ú Öµ Û Ø Ø Ø ÙÑ d,m {Bund,m } ÙÒ ÓÖÑÐÝ ÔÓÐÝÒÓÑ ÐÐÝ ÓÒÚ Ö Òغ Ê Ñ Ö Ì Ó ÓÑÓÐÓ Ý Ó Ø ÑÓ ÙÐ Ô Ò ÕÙ Ø ÓÒ ÙÐØ Ñ Ø ÐÝ ÓÑ ÖÓÑ Ø Ó Ó¹ ÑÓÐÓ Ý Ó Ø ÖÓÙÔ Ò ÕÙ Ø ÓÒ Ø ÐÓÓÔ Ô Ò Ø Ð Ý Ò Ô º µº Ì ÔÓÐÝÒÓÑ Ð ÖÓÛØ ÓÒ Ø ÓÒ Ø Ù Ö Ð Ø ØÓ Ø ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ó Ø Ó ÓÑÓÐÓ Ý Ó Ø Ð Ý Ò Ô Ò ÐÓÓÔ Ô Ó Ø ÖÓÙÔº ÆÓØ Ø Ø Ø Ö Ö Ò Ø Ï¹ÓÑÔÐ Ü ÓÖ Û Ø Ó ÓÑÓÐÓ Ý Ó Ø ÐÓÓÔ Ô ÖÓÛ ÜÔÓÒ ÒØ ÐÐݺ Ì Ñ Ý ÓÖ Ñ Ý ÒÓØ Ò Ö ÙÑ ÒØ Ò Ø Ò Ø ÔÓÐÝÒÓÑ Ð ÖÓÛØ ÓÒ Ø ÓÒ Ò ØÙÖ Ð ÓÒ Ø ÓÒº ¾º¾ Ì Ö Ð χ c Ó Ð Ö Ø ÆÓØ Ø Ø Ó Ö Û Ú Ò Ò Ò χ c ÓÖ Ò Ð Ö Ø Ò Ø ÖÑ Ó χ c Ó Ð Ö Ô º Í Ò Ø Ø ÓÖÝ Ó Ó ÓÑÓÐÓ Ý Ó ÓÑÔ Ø ÙÔÔÓÖØ ÓÖ Ð Ö k¹ Ø Ó Ò Ø ØÝÔ ÒØÖÓ Ù Ò Çļ Û ÐÐ ÒÓÛ Ø Ø χ c Ñ Ý Ò ÒØ ÖÔÖ Ø Ò ØÙ Ð ÓÒÚ Ö Òص ÙÐ Ö Ö Ø Ö Ø Ó Ø Ø º Ï Ø ÖØ Ý Ò Ø Ø ÓÑ ÜÔ Ø ÔÖÓÔ ÖØ Ö Ò ØÖÙ º ÓÐÐÓÛ Ò Çļ Û ÐÐ ÓÒÐÝ ÓÒ Ö l¹ Ó ÓÑÓÐÓ Ý ÐØ ÓÙ Ø Ñ Ö ÓÒ ÐÝ Ð Ö Ø Ø Ø Ö Ö ÙÑ ÒØ Ò ÖÖ Ø ÖÓÙ Ð Ó Ò Ø Ó Ñ Ü ÀÓ ØÖÙØÙÖ µº Ï Ö Ø ØÖ Ø Ø Ó Ò Ð Ö Ø Ó Ò Ø ØÝÔ Û ÐÐ Ù Hc(X) i ØÓ ÒÓØ Ø Ó ÓÑÓÐÓ Ý Ó Ø ÜØ Ò ÓÒ Ó X ØÓ Ô Ö Ð ÐÓ ÙÖ Ó k Û Ø Q l ¹Ó ÒØ µº ÈÖÓÔÓ Ø ÓÒ ¾º Ä Ø X Ò Ð Ö Ø Ó Ò Ø ØÝÔ º µ Á U X Ò ÓÔ Ò Ù Ø Ò Z Ø ÓÑÔÐ Ñ ÒØ Ø Ò Û Ú ÐÓÒ Ü Ø ÕÙ Ò Hc i (U) Hi c (X) Hi c (Z) Hi+1 c (U)... µ Á dimx N Ø Ò Hc(X) i = 0 ÓÖ i > 2Nº µ Hc(X) i Ñ Ü Ó Û Ø iº Úµ dimhc i (X) ÔÓÐÝÒÓÑ Ð ÖÓÛØ º ÈÖÓÓ µ ÓÐÐÓÛ ÖÓÑ Çļ º º¼º½ Ò Ô ØÓ Ø Ð Ñ Øº ÓÖ µ Û Ò Ù µ ØÓ Ö Ù ØÓ Ø Û Ò X ÑÓÓØ Ò Ø Ò Ø Ö ÙÐØ ÓÐÐÓÛ ÖÓÑ Ù Ð Øݺ ÙÖØ Ö ØÓ ÔÖÓÚ µ Û Ò Ù µ Ò Ø Ø Ø Ø Ñ Ü Ú Ö ÐÓ ÙÒ Ö Ù Ó Ø ÕÙÓØ ÒØ Ò ÜØ Ò ÓÒ ØÓ Ö Ù ØÓ Ø Û Ò X ÐÓ Ð ÕÙÓØ Òغ ÁÒ Ø Ø Û Ò Ò Ú ØÓÖ ÙÒ Ð ÓÚ Ö X Û Ø Ò ÓÔ Ò Ù Ø Û Ô Ø Ð Ò Û Ø ÓÑÔÐ Ñ ÒØ Ó Ö ØÖ Ö ÐÝ Ó Ñ Ò ÓÒº Ø Ó ÓÑÓÐÓ Ý Ó Ú ØÓÖ ÙÒ Ð Ø Ó ÓÑÓÐÓ Ý Ó Ø Ø Ø Ñ ÑÓÙÒØ Ò Ö Ò Û Ø Û Ò Ù µ Ò µ ØÓ Ö Ù ØÓ Ø Ò Ð Ö Ô Ò Û Ø Ð Ò ³ ÙÒ Ñ ÒØ Ð Ö ÙÐØ ¼ º Ò ÐÐÝ ØÓ ÔÖÓÚ Úµ Û Ö Ö Ù ØÓ Ø Û Ò X ÑÓÓØ Ò ÐÓ Ð ÕÙÓØ ÒØ [X/GL n ]º Ï Ö Ø Ò Ý Ù Ð ØÝ Ö Ù ØÓ ÔÖÓÚ Ò Ø Ø dimh i (X) ÔÓÐÝÒÓÑ Ð ÖÓÛØ Û ÓÐÐÓÛ ÖÓÑ Ø Ô ØÖ Ð ÕÙ Ò H i (BGL n ) H j (X) = H i+j (X). ÆÓÛ Çļ Ò Ó ÓÑÓÐÓ Ý Û Ø ÓÑÔ Ø ÙÔÔÓÖØ ÓÖ Ò Ø Ó ÒØ ÓÖ Ð Ö Ø ÐÓ ÐÐÝ Ó Ò Ø ØÝÔ º ÁØ Ý ØÓ Ø Ø Ø Ó ÓÑÓÐÓ Ý ÓÖ ÓÒ Ø ÒØ Ó ÒØ Ýµ Ø Ò ÙØ Ú Ð Ñ Ø Ó Ø Ó ÓÑÓÐÓ Ý ÓÚ Ö ÐÐ ÓÔ Ò Ù Ø Ó Ò Ø ØÝÔ º Ì ÔÖÓÔ ÖØÝ ÓÛ Ú Ö ØÖÓÝ Ò Ò Ö Ð Û Ò ÓÒ Ô ØÓ l¹ ÓÖ Q l ¹Ó ÒØ º ÁØ Ø Ö ÓÖ Ñ ØØ Ö ØÓ Ò Hc i (X) ÓÖ Ø ÓÒÐÝ ÐÓ ÐÐÝ Ó Ò Ø ØÝÔ Ø Ò ÙØ Ú Ð Ñ Ø ÓÚ Ö ÓÔ Ò

12 ½¾ Ù Ø Ó Ò Ø ØÝÔ º Ì ÓÒÐÝ Ø Ò ØÓ Ò Û Ò Ø Ð Ñ Ø ØÓ Ø Ò Û ÓÓ ØÓ ÑÔÐÝ ØÓ Ø Ø Ò ¹ Ý Ø Ñ Ò Ý Ø ÓÔ Ò Ù Ø Ó Ò Ø ØÝÔ º Ì Ñ Ò ÓØ Ò Ø ÐÓ Ò Ø Ñ Ü ÀÓ ØÖÙØÙÖ º Ì Û ÓÐ Ù ÓÒ ÓÑ Û Ø ÑÓÓØ Ò Ø Ø Ø Û ÐÐ ÓÒ Ö Hc i (X) Û ÐÐ Ò Ú ÒØÙ ÐÐÝ ÓÒ Ø ÒØ Ý Ø Ñ Û Ö Ò Ò ¹ Ý Ø Ñ {H α } Ú ÒØÙ ÐÐÝ ÓÒ Ø ÒØ Ø Ö Ò Ò Ü α Ó Ø Ø ÓÖ ÒÝ ÑÓÖÔ Ñ α β Ø Ò Ù Ñ Ô H α H β Ò ÓÑÓÖÔ Ñº Ì ØÙÖÒ Ñ Ò Ø Ø Ø Ý Ø Ñ ÓÑÓÖÔ Ò Ò ¹Ó Ø ØÓ ÓÒ Ø ÒØ Ý Ø Ñºµ Ì ÓÖ Ñ ¾º µ Á X ÒØ ÐÐÝ Ó Ò Ø ØÝÔ Ø Ò ÓÖ i Hc i (X) Ú ÒØÙ ÐÐÝ ÓÒ Ø Òغ µ Á X Ó ÙÒ ÓÖÑ ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ò dimhc i (X) ÖÓÛ ÔÓÐÝÒÓÑ ÐÐÝ Ø Ò χ c ({X}) = i ( 1) i {Hc i (X)} Kpol 0 (oh k). ÈÖÓÓ Ä Ø {X i } ØÖ Ø Ø ÓÒ Ó X Ò {U α } Ø Ñ ÐÝ Ó ÓÔ Ò Ù Ø Ó Ò Ø ØÝÔ º Ú Ò N Ø Ö ÓÒÐÝ Ò Ø ÒÙÑ Ö Ó X i Ó Ñ Ò ÓÒ > Nº Ó Ø Ñ Ò ÓÚ Ö Ý Ò Ø ÒÙÑ Ö Ó Ø U α Ò {U α } Ò ÙØ Ú Ø Ö U α Û Ó ÓÑÔÐ Ñ ÒØ Ñ Ò ÓÒ N Ò Ò Ý ÈÖÓÔÓ Ø ÓÒ ¾º ÓÖ ÒÝ U α U β Hc i(u α) Hc i(u β) Ò ÓÑÓÖÔ Ñ Û ÔÖÓÚ µº ÓÒØ ÒÙ Ò Ø ÙÑÔØ ÓÒ ÓÒ ÔÓÐÝÒÓÑ Ð ÖÓÛØ Ò Ø Ø Ø Ø Hc i (X) Ó Û Ø i ÑÔÐ Ø Ø i ( 1)i {Hc(X)} i ÓÒÚ Ö Ò ØÓ ÓÛ Ø Ø Ø ÕÙ Ð ØÓ χ c ({X}) Ø ÒÓÙ ØÓ ÓÛ Ø Ò K 0 (oh k )º Ì ÑÓÙÒØ ØÓ ÓÛ Ò Ø Ø Ø Û Ø n¹ô ÖØ Ö Õ٠к ÆÓÛ Ù Ò Ø ÒÓØ Ø ÓÒ Ó µ Ø Û Ø n Ô ÖØ Ó i ( 1)i {Hc(X)} i ÕÙ Ð ØÓ Ø Û Ø n¹ô ÖØ Ó i ( 1)i {Hc i(u α)} Û Ø N << 0º ÇÒ Ø ÓØ Ö Ò Ø Û Ø n¹ô ÖØ Ó χ c ({X}) ÕÙ Ð ØÓ Ø Û Ø n Ô ÖØ Ó χ c ( {X i U α }) = χ c (U α ) i ÐÐ ÙØ Ò Ø ÒÙÑ Ö Ó Ø X i U α Ö ÑÔØݺ À Ò Û Ö Ö Ù ØÓ Ø Û Ò X Ó Ò Ø ØÝÔ º ÙØØ Ò X ÒØÓ Ô Û Ñ Ý ÙÑ Ø Ø X ÐÓ Ð ÕÙÓØ Òغ Ì Ñ Ò Ø Ø Ø Ö Ö Ú ØÓÖ ÙÒ Ð ÓÚ Ö X Û Ø ÒÓÒ¹ Ô Ø Ð ÐÓÙ Ó Ö ØÖ Ö ÐÝ Ó Ñ Ò ÓÒº Ì Ó Ñ Ò ÓÒ ÐÓÙ Ñ Ý ÒÓÖ Ý ¾º½ µ Ò ¾º µº À Ò Û Ö Ö Ù ØÓ Ø Û Ò X Ô Ò Û Ø Ð Ö Ý Ò Ø ÓÒµº Ì ÑÓØ Ú Ð Ò Ø Ö Ò ÙÐ Ö Ö Ø Ö Ø Ï Ò Ø Ð Ö Ø Ö Ø Þ ÖÓ Û Ò Ù Ø ÔÖ ÒØ Ø ÓÒ Ó K 0 (Spc k ) Ò ÓÒ ¹ ÕÙ ÒØÐÝ Ó K 0 (Stck k )µ Ó Ø Ò Ý ØØÒ Ö º ¼ µ ØÓ Ø ÑÓÖ Ö Ò Ó ÓÑÓÐÓ Ð ÒÚ Ö ¹ ÒØ Ó Ð Ò K 0 (Spc k )º Ï Ø ÖØ Ý Ò Ò Ø Ö Ô ÒØ ÓÖ Ø ÒÚ Ö ÒØ º Û Ö Ó Ò ØÓ Ù Ø ØØÒ Ö Ö ÔÖ ÒØ Ø ÓÒ Ò Ø Ø ÓÒ k Û ÐÐ Ð Ó Ö Ø Ö Ø Þ ÖÓº ÓÖ Ò Ö Ð Ð k Ó Ö Ø Ö Ø Þ ÖÓµ Û Ð Ø L 0 (oh k ) Ø ÖÓÙÔ Ò Ö Ø Ý ÓÑÓÖÔ Ñ Ð Ò Ø Ø ÓÖÝ Ó Ö Ø Ð Ñ Ø Ó ÓÙÒ ÓÒ ØÖÙØ Ð Z p ¹ÓÑÔÐ Ü Ò Ø Ö Ú Ø¹ ÓÖݵ ÓÚ Ö Ò Ø ØÝÔ Ø Ò Ò Ó k Û Ö p Ü ÔÖ Ñ µº Ï ÒØÖÓ Ù Ø Ö Ð Ø ÓÒ {A B} = {A}+{B} ÙØ ÒÓ Ö Ð Ø ÓÒ ÓÖ Ø Ò Ù ØÖ Ò Ð º ÁÒ k = Û ÐØ ÖÒ ¹ Ø Ú ÐÝ Ð Ø L 0 (oh k ) Ò Ö Ø Ý ÓÑÓÖÔ Ñ Ð Ó ÓÙÒ Z¹ÓÑÔÐ Ü A Û Ø Ò Ø ÐÝ Ò Ö Ø Ó ÓÑÓÐÓ Ý ØÓ Ø Ö Û Ø ÔÓÐ Ö Ð µ ÀÓ ØÖÙØÙÖ Ó Û Ø k ÓÒ H k (A) Ò Ø Ñ Ö Ð Ø ÓÒ ÓÖ Ò Û Ò k = R Ø Ñ ÔÐÙ ÒÚÓÐÙØ ÓÒ ÓÚ µº Ï Ò Ö Ò ØÖÙØÙÖ ÓÒ L 0 (oh k ) Ý ÔÙØØ Ò {A}{B} = {A L Z p B} Ö Ôº Ó ÓÙÖ {A L Z B}µº Ì Ö Ò ÒÖ Ò Ö ÐØÖ Ø ÓÒ ÓÒ L 0 (oh k ) Û Ø Fil k L 0 (oh k ) Ò Ò Ö Ø Ý Óѹ ÔÐ Ü ÓÒ ÒØÖ Ø Ò Ö k Ò Û Ð Ø L 0 (oh k ) Ø ÓÑÔÐ Ø ÓÒ Ó L 0 (oh k ) Û Ø Ö Ô Ø ØÓ Ø ÐØÖ Ø ÓÒº Ø ÐØÖ Ø ÓÒ ÑÙÐØ ÔÐ Ø Ú º º Fil k Fil l Fil k+l µ Û Ú Ö Ò ÓÑÓÑÓÖÔ Ñ L 0 (oh k ) L 0 (oh k )º ÓÖ ÓÙÖ Ö Ø Ñ ÓÖ Ö ÙÐØ Û Ò Ø ÓÐÐÓÛ Ò Ð ÑÑ º

13 ÌÀ ÊÇÌÀ Æ Á à ÊÇÍÈ Ç Ä Ê Á ËÌ ÃË ½ Ä ÑÑ º½ nº Fil n K 0 (Spc k ) Ô ÒÒ Ý Ð Ó ÑÓÓØ Ò ÔÖÓÔ Ö Ú Ö Ø Ó Ñ Ò ÓÒ ÈÖÓÓ Ï ÔÖÓÚ Ø Ý Ò ÙØ ÓÒ ÓÚ Ö n Û Ø n = 1 Ò Ó Ú ÓÙ º ÙÑ ÒÓÛ Ø Ø dimu n Û Ø Ò Û ÒØ ØÓ ÜÔÖ Ø Ð Ò Ö ÓÑ Ò Ø ÓÒ Ó ÑÓÓØ Ò ÔÖÓÔ Ö Ú Ö Ø Ó Ñ Ò ÓÒ nº ÓÓ Ò Ö Ø ÓÑÔ Ø Ø ÓÒ Ó U Ò Ø Ò Ö ÓÐÙØ ÓÒ Ó Ò ÙÐ Ö Ø ÜÔÖ Ø Ð Ð Ò Ö ÓÑ Ò Ø ÓÒ Ó Ò n¹ Ñ Ò ÓÒ Ð ÑÓÓØ Ò ÔÖÓÔ Ö Ú Ö ØÝ Ò Ú Ö Ø Ó Ñ ÐÐ Ö Ñ Ò ÓÒ Û Ò Ø ÔÖÓÓ Ý Ò ÙØ ÓÒº ÈÖÓÔÓ Ø ÓÒ º¾ µ Ì Ö Ö Ò ÓÑÓÑÓÖÔ Ñ χ G : K 0 (Spc k ) L 0 (oh k ) Ö Ø Ö Ý χ G ({X}) = {RΓ(X)} Û Ö X ÑÓÓØ Ò ÔÖÓÔ Öº µ χ G ÜØ Ò ÙÒ ÕÙ Ðݵ ØÓ ÓÒØ ÒÙÓÙ Ö Ò ÓÑÓÑÓÖÔ Ñ χ G : K0 (Spc k ) L 0 (oh k )º ÁÒ Ô ÖØ ÙÐ Ö Ø ÜØ Ò ÙÒ ÕÙ Ðݵ ØÓ Ö Ò ÓÑÓÑÓÖÔ Ñ χ G : K 0 (Stck k ) L 0 (oh k )º µ ÓÖ k Ø Ö ÖÓÙÔ ÓÑÓÑÓÖÔ Ñ H k ( ) Q: L 0 (oh k ) K 0 (oh k ) Ö¹ Ø Ö Ý ÓÒØ ÒÙ ØÝ Ò Ø ÔÖÓÔ ÖØÝ H k ({}) Q = {H k () Q}º Ï Ú ÓÖ x K 0 (Spc k ) Ø Ø H k (x) Q ÔÙÖ Ó Û Ø k Ò χ(x) = i ( 1)k H k (χ G (x))º ÁÒ Ô ÖØ ÙÐ Ö H k (χ G (x)) Q Ø Û Ø k Ô ÖØ Ó ( 1) k χ(x)º ÈÖÓÓ Ý ¼ Ø Ñº º½ K 0 (Spc k ) Ò Ö Ø Ý Ð {X} X ÑÓÓØ Ò ÔÖÓÔ Ö Ò Ø Ö Ö Ð Ø ÓÒ Ö Ò Ö Ø Ý {Bl Y X} {E} = {X} {Y} Û Ö X ÑÓÓØ Ò ÔÖÓÔ Ö Y X ÑÓÓØ Ò ÔÖÓÔ Ö Ù Ú Ö ØÝ Bl Y X Ø ÐÓÛ Ò ÙÔ Ó X ÐÓÒ Y º ÆÓÛ Ø Ö Ø Û Ðй ÒÓÛÒ ÓÑÓÖÔ Ñ Ó ÓÑÔÐ Ü RΓ(Bl Y X) RΓ(Y) = RΓ(X) RΓ(Y) º º RΓ( ) ØÓÖ Ø ÖÓÙ Ø Ø ÓÖÝ Ó ÒØ Ö Ð ÑÓØ Ú Ò Ø ÓÖÖ ÔÓÒ Ò ÓÑÓÖÔ Ñ Ó ÑÓØ Ú Å ÓÖº ï ÓÖº ï µº Ì ÔÖÓÚ µº ÓÖ µ Û Ö Ø ÒÓØ Ø Ø χ G Ø L ØÓ Ò ÒÚ ÖØ Ð Ð Ñ ÒØ Ò L 0 (oh k )º ÁÒ L = {P 1 } 1 Ò χ G ({P 1 }) = 1+{Z( 1)[ 2]} Ö ÔºZ p ( 1)[ 2]µ Ò {Z( 1)[ 2]} ÒÚ ÖØ Ð Û Ø ÒÚ Ö {Z(1)[2]} ÐÖ Ý Ò L 0 (oh k )º Ì Ú Ù Ö Ò ÓÑÓÑÓÖÔ Ñ K 0 (Spc k )[L 1 ] L 0 (oh k ) Ò Û Ò Û Ò ÓÛ Ø Ø Ø ÓÒØ ÒÙÓÙ Ò Ø ÐØÖ Ø ÓÒ ØÓÔÓÐÓ º Ì ÓÛ Ú Ö ÓÐÐÓÛ Ö ØÐÝ ÖÓÑ Ä ÑÑ º½ Ò Ø Ø Ø Ø χ G ({X}/L m ) = {RΓ(X)(m)[2m]} Ò Ø Ø RΓ(X) Ó ÑÔÐ ØÙ [0,2n] X n¹ Ñ Ò ÓÒ Ðº Ì ÓÒÐÝ Ø Ò Ð Ø Ø Ò Ø ÙÒ ÕÙ Ò Ó Ø ÜØ Ò ÓÒ Ó χ G ØÓ K 0 (Stck k ) ÙØ Ø ÓÐÐÓÛ ÖÓÑ Ø Ø Ø Ø K 0 (Spc k ) K 0 (Stck k ) ÐÓ Ð Ø ÓÒº ÓÖ Ø Ð Ø Ô ÖØ H k ( ) Ø Ú ÓÒ ÓÑÔÐ Ü Û Ø Ò Ò Ù Ñ ÔH k ( ) Q: L 0 (oh k ) K 0 (oh k ) Û Ð ÖÐÝ ÓÒØ ÒÙÓÙ Ò Ò ÜØ Ò ØÓ L 0 (oh k )º ÆÓÛ ÓØ H k (χ G ( )) Ø Ú Ò ÓÒØ ÒÙÓÙ Ó ØÓ Ú Ö Ý Ø Ø Ø Ñ Ô ØÓ Ø Û Ø k Ô ÖØ Ó L 0 (oh k ) Ø ÒÓÙ ØÓ Ú ÖÝ Ø ÓÒ Ð H k (χ G ({X})) Q Û Ö X ÑÓÓØ Ò ÔÖÓÔ Öº ÁÒ Ø Ø H k (χ G ({X})) Q = {H k (X,Q)} Ö Ôº Û Ø Q p ¹Ó ÒØ µ Ò H k (X,Q) Ò ÔÙÖ Ó Û Ø kº Ì ÑÔÐ Ø Ø Ø ÙÑ i ( 1)k H k (χ G (x)) ÓÒÚ Ö Ò Ú ÓÒØ ÒÙÓÙ ¹ Ø Ú ÙÒØ ÓÒ ÓÒ K 0 (Spc k ) Ò Ó Ó χº À Ò ØÓ Ú Ö Ý Ø Ø Ø Ý Ö ÕÙ Ð Ø Ù ØÓ Ó Ø ÓÒ {X} X ÑÓÓØ Ò ÔÖÓÔ Ö Ò Û Ø Ð Öº Ê Ñ Ö ÁÒ Ø Ó Ø ØØÒ Ö ÔÖ ÒØ Ø ÓÒ ÓÒ ÓÙÐ Ù ÖÐ Ö Ö ÙÐØ º Ë µ Ø Ø Ó Ø Ú ÖØÙ Ð ÑÓØ Ú ØÓ Ð Ó K 0 (oh k )º ÁÒ ÓÖ Ö ØÓ Ø Ø ÒÓÒ¹ØÖ Ú Ð Ð Ñ ÒØ Ó L 0 (oh k ) ÓÖ L 0 (oh k )µ Ø Ù ÙÐ ØÓ Ô ØÓ Ø ÙÒ ÖÐÝ Ò Ð Ò ÖÓÙÔ º À Ò Û Ð Ø L 0 (plx) Ø ÖÓÙÔ Ò Ö Ø Ý ÓÑÓÖÔ Ñ Ð Ó ÓÙÒ ÓÑÔÐ Ü Ò Ø Ö Ú Ø ÓÖݵ Ó Ò Ø ÐÝ Ò Ö Ø Z¹ÓÑÔÐ Ü Ö Ôº Ó ÓÙÖ Z p ¹ÓÑÔÐ Ü µ Ý Ø Ñ Ö Ð Ø ÓÒ ÓÖ Ò L 0 (plx) Ø ÓÖÖ ÔÓÒ Ò Ö ÓÑÔÐ Ø ÓÒº Ò Ø Ý Ú Ö Ò ØÖÙØÙÖ Ú Ò Ý Ø Ö Ú Ø Ò ÓÖ ÔÖÓ Ùغ Ï Ð Ó Ð Ø L 0 (Ab) Ø ÓÖÖ ÔÓÒ Ò ÖÓÙÔ ÓÒ ÑÓ ÙÐ Ö Ø Ö Ø Ò ÓÑÔÐ Ü ÙØ Û Ó ÒÓØ Ú Ø ÑÙÐØ ÔÐ Ø Ú ØÖÙØÙÖ º Ï Ú ÖÓÙÔ ÓÑÓÑÓÖÔ Ñ L 0 (Ab) L 0 (plx) Ú Ò Ý {M} {M[0]} Ò H k : L 0 (plx) L 0 (Ab) Ú Ò Ý {} {H k ()}º Ï ÓÒØ ÒÙ Ý Ò Ò 1 := {Z} L 0 (Ab) Û Ñ Ô ØÓ Ø ÒØ ØÝ Ð Ñ ÒØ Ó L 0 (plx)µ Ò α p,n := {Z/q n } Û Ö n > 0 Ò q ÔÖ Ñ º Ò ÐÐÝ ÓÖ M Ò Ð Ò ÖÓÙÔ Û Ð Ø M[t,t 1 ]

14 ½ Ø ÖÓÙÔ Ó Ò Ø ÓÖÑ Ð ÙÑ i Z m it i m i M Ò M((t 1 )) Ø ÖÓÙÔ Ó ÓÖÑ Ð ÙÑ i Z m it i Û ÔÓ ÐÝ Ú Ò Ò Ò Ø ÒÙÑ Ö Ó Ò Ø Ú ÔÓÛ Ö Ø ÖÑ º ÈÖÓÔÓ Ø ÓÒ º µ L 0 (Ab) Ø Ö Ð Ò ÖÓÙÔ ÓÒ 1 Ò Ø α q,n Û Ö q ÖÙÒ ÓÚ Ö ÐÐ ÔÖ Ñ Ö Ôº ÕÙ Ð ØÓ pµº µ Ì Ñ Ô H : L 0 (plx) L 0 (Ab)[t,t 1 ] Ò H : L 0 (plx) L 0 (Ab)((t 1 )) Ú Ò Ý H ({}) = i Hi ({})t i Ö ÓÑÓÖÔ Ñ º µ Ì ÑÙÐØ ÔÐ Ø Ú ØÖÙØÙÖ ÓÒ L 0 (Ab)[t,t 1 ] Ò L 0 (Ab)((t)) Ò Ù Ý Ø ÓÑÓÖ¹ Ô Ñ Ö Ø Ö Ý Ø ÓÒ Ø ÓÒ Ø Ø Ø Ñ Ô Z[t,t 1 ] L 0 (Ab t,t 1) Ò Z((t 1 )) L 0 (Ab)((t)) Ò Ù Ý m m 1 t t Ò Ø ÓÒ Ñ Ô ÓÒØ ÒÙÓÙ Ö Ö Ò ÓÑÓÑÓÖ¹ Ô Ñ Ò { 0 q q α q,m α q,n = α q,min(m,n) (1+t 1 ) q = q ØÓ Ø Ö Û Ø Ø Ø Ø Ø Ø ÑÙÐØ ÔÐ Ø ÓÒ ÓÒØ ÒÙÓÙ Ò Ø t 1 ¹ ØÓÔÓÐÓ Ý Ò Ø ((t 1 ))¹ º ÈÖÓÓ Ø Ö Ò Z Ò Z p Ú ÐÓ Ð Ñ Ò ÓÒ1Ø ÓÑÔÐ Ü Ò ÕÙ Ø ÓÒ Ö ÓÑÓÖÔ ØÓ Ø Ö Ø ÙÑ Ó Ø Ö Ø µ Ó ÓÑÓÐÓ Ý ÑÓ ÙÐ º Ì Ú Ø ÓÒ Ô Öغ Ì Ö Ø Ô ÖØ ÓÐÐÓÛ ÖÓÑ Ø Ð Ø ÓÒ Ó Ò Ø ÐÝ Ò Ö Ø ÑÓ ÙÐ ÓÚ Ö Ø Ö Ò Ò ÕÙ Ø ÓÒ Ò Ø Ð Ø ÖÓÑ Ø ÐÙÐ Ø ÓÒ Ó Ø Ò ÓÖ ÔÖÓ ÙØ Ò Tor¹ ÖÓÙÔ º Ê Ñ Ö µ Ì ÓÒÐÙ ÓÒ ÓÙÐ Ó ÓÙÖ Ø ÓÙ Ø Ó Ý Ò Ø Ø Ø Ù Ù Ð Ö Ò Ò ØÓÖ ÓÒ ÒÚ Ö ÒØ Ó Ø Ó ÓÑÓÐÓ Ý Ó ÑÓÓØ Ò ÔÖÓÔ Ö Ú Ö ØÝ Ö Ò Ø ÒÚ Ö ÒØ Ó Ø Ð Ò K 0 (Spc k ) Ò Ò Ø Ó Ø Ð Ò K 0 (Spc k )µº Ì ÔÖ ØÖÙØÙÖ Ó Ø ÖÓÙÔ Ö Ò Ñ ÒØ ÓÒ Ñ ÒÐÝ ØÓ ÑÔ ÓÛ Ú ÖÝ ÑÙ Ð Ö Ö Ø Ý Ö Ø Ò Ø ÓÖ Ò ÖÝ ÖÓØ Ò ÖÓÙÔ Û Ö Ù Ø ÓÑÓÖÔ ØÓ Zµº µ Á ÓÒ ÛÓÖ Ö Ø ÓÒ ÐÐÝ Ò Ø Ó ÒØ Ö ÐÐÝ Ø Ò Ø Ö Ò ÙÐ Ö Ö Ø Ö Ø Ò Ö ÓÚ Ö ÖÓÑ Ø ÓÖ Ò ÖÝ ÙÐ Ö Ð Ò K 0 (oh k )º ÁÒ RΓ(X) ÔÙÖ ÓÑÔÐ Ü Ó ÓÑÓÖÔ ØÓ Ø ÙÑ Ó Ø Ø µ Ó ÓÑÓÐÓ Ý Ò Ø Ò Û Ò Ù Ì ÓÖ Ñ º¾º À Ò Ø ÜØÖ Ò ÓÖÑ Ø ÓÒ ÔÖÓÚ Ý Ø Ö Ò ÙÐ Ö Ö Ø Ö Ø ØÓÖ ÓÒ Ò ÒØ Ö Ð ØÝ Ò ÓÖÑ Ø ÓÒº Ì Ö Ö ÒÙÑ Ö Ó Ú Ö ÒØ Ó Ø Ø Ò ÕÙ ÓÑ Ó Û Û ÐÐ ÔÔ Ö Ò Ø Ò ÜØ Ö ÙÐغ ÌÓ ÔÖ Ô Ö ÓÖ Ø Ð Ø Ù ÒÓØ Ø Ø Ø Ö Ò Ó Ú ÓÙ Ø Ú ØØÒ Ö ØÝÔ ÔÖ ÒØ Ø ÓÒ Ó K 0 (Spc k )[L 1 ] ÁØ Ò Ö Ø Ý Ð {X}/L n n 0 Ò Ö Ð Ø ÓÒ {Bl Y X}/L n {X}/L n = {E}/L n {Y}/L n ÓÖ Ò {P 1 X}/L n+1 {X}/L n+1 = {X}/L n ÓÖ ÑÓÓØ Ò ÔÖÓÔ Ö Y Xº Ð Ó Û ÐÐ ÔÙØ Ẑ := lim Z/n = n p Z p Ò H (X,Ẑ) := p H (X,Z p )º Ì ÓÖ Ñ º µ Ä Ø A k Ø ÖÓÙÔ Ò Ö Ø Ý ÓÑÓÖÔ Ñ Ð Ó Ð Ö ÖÓÙÔ Ñ A ÓÚ ÖkÛ Ó ÓÒÒ Ø ÓÑÔÓÒ ÒØ Ò Ð Ò Ú Ö ØÝ Ò Û Ó ÖÓÙÔ Ó ÓÑ ØÖ ÓÒÒ Ø ÓÑÔÓÒ ÒØ Ò Ø ÐÝ Ò Ö Ø ÖÓÙÔ Ó ÓÑ ØÖ ÔÓ ÒØ Ò Û Ø Ö Ð Ø ÓÒ {A B} = {A}+{B}º Ì Ò Ø Ö ÙÒ ÕÙ µ ÖÓÙÔ ÓÑÓÑÓÖÔ Ñ Pic k : K 0 (Spc k ) A k ÓÖ Û Pic k ({X}) = {Pic(X)} ÓÖ ÑÓÓØ Ò ÔÖÓÔ Ö Xº µ Ì Ö Ò ÜØ Ò ÓÒ Ó Pic ØÓ K 0 (Spc ) Ú Ò Ò ÓÒ Fil 0 K0 (Spc ) Û Û ÐÐ Ð Ó ÐÐ Pic µº µ Ä Ø L 0 (Ab k ) Ø ÖÓÙÔ Ò Ö Ø Ý ÓÑÓÖÔ Ñ Ð Ó Ø Ð Ð Ö ÖÓÙÔ Ñ A Û Ó ÖÓÙÔ Ó ÓÑ ØÖ ÓÒÒ Ø ÓÑÔÓÒ ÒØ Ò Ø ÐÝ Ò Ö Ø ÖÓÙÔ Ó ÓÑ ØÖ ÔÓ ÒØ Ò Û Ø Ö Ð Ø ÓÒ {A B} = {A}+{B}º Ì Ò Ø Ö Ö ÓÒØ ÒÙÓÙ ÖÓÙÔ ÓÑÓÑÓÖÔ Ñ NS k : K0 (Spc k ) L 0 (Ab k ) Ö Ø Ö ÝNS k ({X}/L n ) = NS k+n ({X}) Ò NS k ({X}) = {NS k (X)} ÓÖ X ÑÓÓØ Ò ÔÖÓÔ Ö Û Ö NS k (X)( k) Ø ÖÓÙÔ Ó Ð Ö Ó Ñ Ò ÓÒ k¹ýð ÓÒ X k ÑÓ ÙÐÓ ÓÑÓÐÓ Ð ÕÙ Ú Ð Ò Û Ø Ø Ò ØÙÖ Ð Gal( k/k)¹ Ø ÓÒº ÈÖÓÓ ËØ ÖØ Ò Û Ø µ Ø ÓÐÐÓÛ Ö ØÐÝ ÖÓÑ Ø ØØÒ Ö ÔÖ ÒØ Ø ÓÒ Ò Ø ÓÑÔÙØ Ø ÓÒ Ó Ø È Ö Ñ Ó ÐÓÛ ÙÔº ÓÖ µ Û Ò Pic ({X}/L n ) X ÑÓÓØ Ò ÔÖÓÔ Ö ÓÐÐÓÛ Ï Ð Ø Ø Ø Ð Ó A 0,n X A c,n X Û Ö Ac,n X Ø ÒÚ Ö Ñ Ó Ø Ð Ó

15 ÌÀ ÊÇÌÀ Æ Á à ÊÇÍÈ Ç Ä Ê Á ËÌ ÃË ½ ØÝÔ (n+1,n+1) Ò H 2n+2 (X,) ÙÒ Ö Ø Ñ Ô H 2n+2 (X,Z) H 2n+2 (X,)º Ë Ñ Ð ÖÐÝ Û Ð Ø A 0,n X Ø Ï Ð ÒØ ÖÑ Ø Â Ó Ò º Ï ¾ µ Ó Ø ØÓ Ø ÔÓÐ Ö Ð µ ÀÓ ØÖÙØÙÖ ÓÒ H 2n+1 (X,Z)º ÆÓÛ Pic(X) ÒÝ ÓÑÔÐ Ü ÓÑÑÙØ Ø Ú Ð Ö ÖÓÙÔ Û Ó ÖÓÙÔ Ó ÓÑÔÓÒ ÒØ Ò Ð Ò Ú Ö ØÝ Ø Ö Ø ÔÖÓ ÙØ Ó Ø ÓÒÒ Ø ÓÑÔÓÒ ÒØ Ò Ø ÖÓÙÔ Ó ÓÑÔÓÒ ÒØ Û Ö ÛÓÖ Ò ÓÚ Ö Ò Ð Ö ÐÐÝ ÐÓ Ð µº ÙÖØ ÖÑÓÖ A 0,1 X Ø Â Ó Ò º º Ø ÓÒÒ Ø ÓÑÔÓÒ ÒØ Ó Pic(X) Ò A c,1 (X) Ø ÖÓÙÔ Ó ÓÑÔÓÒ ÒØ Ó Pic(X) Ý Ä ØÞ Ø ÓÖ Ñº ÁØ ÙÖØ ÖÑÓÖ Ð Ö Ø Ø {P 1 X}/L n+1 {X}/L n+1 Ñ ÔÔ ØÓ Ø Ñ Ð Ñ ÒØ {X}/L n Û ÓÛ Ø Ø Û Pic Ú Ò Ñ Ô ÖÓÑ K 0 (Spc k )[L 1 ]º Ò ÐÐÝ RΓ(X) Ó ÑÔÐ ØÙ [0,2dimX] Ø Ð Ö Ù Ò Ä ÑÑ º½µØ Ø Fil 0 K 0 (Spc k ) Ñ ÔÔ ØÓ Þ ÖÓ Û Ò Ô ÖØ ÙÐ Ö Ú Ù Ò ÜØ Ò ÓÒ ØÓ K 0 (Spc k ) Û Ø Ø Ñ ÔÖÓÔ ÖØݺ ÌÙÖÒ Ò ØÓ µ Ý Ò Ø ÓÒNS k 2k (X) ÓÖX ÑÓÓØ Ò ÔÖÓÔ Ö Ø Ù ÖÓÙÔ Ó H (X,Ẑ(k)) Ô ÒÒ Ý Ø ÝÐ Ð Ó k¹ó Ñ Ò ÓÒ Ð Ù Ú Ö Ø Ó X kº ÁØ Ð ÖÐÝ Ø Ð Ý Ø ÐÓ Ø ÓÒ Ò Ò Ú Ö ØÓ Ò Ø Ð ÖÓÙÔ Ñ º Ì Ò ÜØ Ø Ô ØÓ ÓÛ Ø Ø Ø Ò Ø ÐÝ Ò Ö Ø º Á ÒÓØ Ø Ö ÓÙÒØ Ð Ø {Y i } Ó k¹ó Ñ Ò ÓÒ Ð Ù Ú Ö Ø Û Ó 2k ÝÐ Ð Ô Ò Ù ÖÓÙÔ M Ó H (X,Ẑ(k)) Û Ø Ø ÔÖÓÔ ÖØÝ Ø Ø Ø Ö ÒÓ Ò Ø Ù Ø Ó Y i Û Ó ÝÐ Ð Ô Ò Mº Ì Ù Ú Ö Ø Y i Ñ Ý Ò ÓÚ Ö ÓÑÑÓÒ ÓÙÒØ ÐÝ Ò Ö Ø Ð Ö ÐÐÝ ÐÓ Ù Ð K Ó k Û Ø Ò Ñ Ý Ñ Ò º Ï Ñ Ý Ø Ò Ö ÔÐ k Ý Ò Û Ø ÝÐ Ð Ñ Ô ØÓÖ Ø ÖÓÙ H 2k 2k (X,Z) H (X,Ẑ(k)) Û ÓÛ Ø Ø M Ò Ø ÐÝ Ò Ö Ø Û ÓÒØÖ Ø ÓÒº Ï Ø Ö Ñ Ò ØÓ Ú Ö Ö Ø ØØÒ Ö Ö Ð Ø ÓÒ Ò {P 1 X}/L n+1 {X}/L n+1 = {X}/L n º Ì ÓÐÐÓÛ ÑÑ Ø ÐÝ ÖÓÑ Ø ÓÖÑÙÐ ÓÖ Ø Ó ÓÑÓÐÓ Ý Ò ÓÛ ÖÓÙÔ Ó ÐÓÛ Ò ÙÔ Ò ÔÖÓ ÙØ Û Ø P 1 Ò Ø ÓÑÔ Ø Ð ØÝ Ó Ø ÓÖÑÙÐ Û Ø Ø ÝÐ Ñ Ôº Ê Ñ Ö µ ÁÒ Ø Ó Ø Ï Ð ÒØ ÖÑ Ø Â Ó Ò Û ÓÙÐ Ú Ù Ø Ñ Ü Ñ Ð Ð Ò Ù Ú Ö ØÝ Ó Ø Ù Ù Ð Ö Ø µ ÒØ ÖÑ Ø Â Ó ÒH 2n+1 (X,)/H 2n+1 (X,Z)+F n H 2n+1 (X,)º µ Ì Ñ Ô NS k Û ÐÐ Ù Ò ¼ ØÓ Ø ÓÙÒØ Ö Ü ÑÔÐ Ó ËÛ Ò ØÓ ÆÓ Ø Ö³ ÔÖÓ Ð Ñ ÒØÓ ÓÙÖ ÓÒØ Üغ ÓÖÓÐÐ ÖÝ º Ì Ö Ò K 0 (Spc k ) K 0 (Spc k )[L 1 ] K 0 (Stck k ) Ò K 0 (Spc k ) ÓÒØ Ò Þ ÖÓ¹ Ú ÓÖ º ÈÖÓÓ Ä Ø Ù Ö ÐÐ Ø ØÙÔ Ó ÈÓ¼¾ Û Ö ÈÓÓÒ Ò ÔÖÓÚ Ø Ø Ø Ñ ÒØ ÓÖ K 0 (Spc k )µº Ï Ú Ò Ð Ò Ú Ö ØÝ A ÓÚ Ö k Û Ø Ò ÓÑÓÖÔ Ñ Ö Ò ÓÚ Ö k Û ÐÐ ÓÑ ØÖ ¹ ÐÐݵ ÕÙ Ð ØÓ Ø Ö Ò Ó ÒØ Ö R Ò ÒÙÑ Ö Ð º ÙÖØ ÖÑÓÖ Û Ú ÒÓÒ¹ÔÖ Ò Ô Ð Ð I Ò R Ò ÔÙØ B := I RA Û Ò Ô ÖØ ÙÐ Ö Ø ÔÖÓÔ ÖØÝ Ø Ø Hom(A,B) = I R¹ÑÓ ÙÐ µº Ï Ú Ø Ø B n = I n R A = A n 1 A R In Ò Û ÓÓ n Ù Ø Ø I n ÔÖ Ò Ô Ð n = 2 Ò ÈÓÓÒ Ò³ Ô Ü ÑÔÐ µ Û Ø B n = A n Û Ú 0 = ({A} n 1 + {A} n 2 {B} + B n 1 )({A} {B}) Ò K 0 (Spc k ) Ò Û Û ÒØ ØÓ ÓÛ Ø Ø ÓØ ØÓÖ Ú ÒÓÒ¹Þ ÖÓ Ñ Ò ÒÝ Ó Ø Ö Ò Ò ÕÙ Ø ÓÒ Ò ÐÐ Ó Ø Ñ Ñ Ô ÓÑÔ Ø ÐÝ ØÓ K 0 (Spc k ) Ø ÒÓÙ ØÓ ÓÛ Ø Ø Ø Ö Ñ Ò Ø Ø Ö Ò Ö ÒÓÒ¹Þ ÖÓº ÓÖ Ø Ö Ø ØÓÖ Ø ØÖ Ú Ð Ø Û Ø 2dimA(n 1)¹Ô ÖØ Ó Ø ÙÐ Ö Ö Ø Ö Ø ÒÓÒ¹ØÖ Ú Ðº Ï Ö Ø Ù Ð Ø Û Ø Ø ÔÖÓ Ð Ñ ÓÒ Û Ø Ö {A} = {B} K 0 (Spc k )º ÆÓÛ ØÓ ÓÛ Ø Ø Ø Ý Ö Ö ÒØ Ø ÒÓÙ ØÓ ÓÛ Ø Ø Ø Ý Ö Ø ÒØ ÑÓ ÙÐÓ Fil 0 Ò Ò Ð Ñ ÒØ Ó K 0 (Spc k )[L 1 ]º ÓÖ Ø Û Ñ Ý Ý Ø Ò Ö Ð Ñ Ø Ö ÙÑ ÒØ ÙÑ Ø Ø k = º Pic({A}) = {A} A Ò Ø Ñ ÓÖ B Û Ö Ö Ù ØÓ ÓÛ Ò Ø Ø A = B ÓÖ ÓÑ Ð Ò ÖÓÙÔ Ñ Û Ó ÓÒÒ Ø ÓÑÔÓÒ ÒØ Ò Ð Ò Ú Ö Øݺ ËÙ Ò ÓÑÓÖÔ Ñ Ò Ù Ò ÓÑÓÖ¹ Ô Ñ Hom(A,A) Hom(A,) = Hom(A,B) Hom(A,) Ó Ò Ø ÐÝ Ò Ö Ø R¹ÑÓ ÙÐ º ÈÙØØ Ò M := Hom(A,) Ø Ú Ò ÓÑÓÖÔ Ñ R M = I M ÙØ Û Ú Ò ÐÐ Ø ÓÒ ÓÖ Ò Ø ÐÝ Ò Ö Ø R¹ÑÓ ÙÐ Ó Ø Ø Û Ø Ò ÓÑÓÖÔ Ñ R = I Û ÓÒØÖ Ø Ø ÙÑÔØ ÓÒ Ø Ø I ÒÓÒ¹ÔÖ Ò Ô Ðº ÁØ Ò ØÙÖ Ð ØÓ Ò Û Ø Ò Ö Ð ØÝ Ø Ð Ø Ö ÙÑ ÒØ ÛÓÖ º Ì Ò Ö Ð ÕÙ Ø ÓÒ ØÓ Û Ø ÜØ ÒØ ÖÓÙÔ Ñ Ø ÖÑ Ò Ý Ø Ð Ò A k º Ì Ø Ñ ÔÖÓ Ð Ñ Ò

16 ½ Û Ø Ö A = B ÑÔÐ Ø Ø A = Bº Ï Ö ØÖ Ø ÓÙÖ ÐÚ ØÓ Ø Û Ò A Ò B Ö Ð Ò Ú Ö Ø Ò Ý Ö ØÖ Ø Ò ØÓ ÒØ ØÝ ÓÑÔÓÒ ÒØ Û Ñ Ý ÙÑ Ø Ø Ð Ó Ò Ð Ò Ú Ö Øݺ ÈÖÓÔÓ Ø ÓÒ º ÙÑ Ø Ø A B Ò Ö Ð Ò Ú Ö Ø Ò A = B º Ì Ò Ø Ö ÐÓ ÐÐÝ Ö Ö Ò 1 ÑÓ ÙÐ I ÓÚ Ö R := End(A) Ù Ø Ø B ÓÑÓÖÔ ØÓ I R A Ó Ø Ø Ò Ô ÖØ ÙÐ Ö A = B ÔÖ ÐÝ Û Ò R = I Ò ØÓÖ ÓÒ Ö Ò Ø ÐÝ Ò Ö Ø R¹ÑÓ ÙÐ M Ù Ø Ø R M = I Mº ÁÒ Ô ÖØ ÙÐ Ö R Ö Ø ÖÝ Ò ÒÓ ÑÔÐ ØÓÖ Ó R Q ØÓØ ÐÐÝ Ò Ø ÕÙ Ø ÖÒ ÓÒ Ð Ö ÓÚ Ö Ø ÒØÖ Ø Ò A = Bº ÈÖÓÓ Ï Ñ Ý ÙÑ Ø Ø k Ò Ø ÐÝ Ò Ö Ø º Ï Ø ÓÖ ÒÝ ÔÖ Ñ p Ò ÓÑÓÖÔ Ñ T p A T p = T p B T p Ó ÑÓ ÙÐ ÓÚ Ö Ø ÐÓ ÖÓÙÔ G Ó kº Ì ÃÖÙÐÐ¹Ë Ñ Ø Ø ÓÖ Ñ Ø Ò ÑÔÐ Ø Ø Û Ú Ò ÓÑÓÖÔ ÑT p A = T p B Ó G¹ÑÓ ÙÐ º Ä ØI := Hom(A,B)º Ý Ø Ì Ø ÓÒ ØÙÖ Ì Ñ Û Ú I p := I Z p = Hom G (T p A,T p B) Ò Ò Ô ÖØ ÙÐ Ö Ù Ò Ø ÓÑÓÖÔ Ñ T p A = T p B Û Ø Ø Ø I p = Rp := R Z p R p ¹ÑÓ ÙÐ Ó Ø Ø I ÐÓ ÐÐÝ Ö R¹ÑÓ ÙÐ Ó Ö Ò 1º Ì ÑÔÐ Ö Ø Ø Ø Ø Ú ÐÙ Ø ÓÒ Ñ ÔHom G (T p A,T p B) R p T p A T p B Ò ÓÒ Ø ØT p (I R A) = I R T p(a)º ÌÓ Ø Ö Ø Ø ÑÔÐÝ Ø Ø Ø Ø ÙØÓÐÓ Ð Ñ Ô I R A B Ò Ù Ò ÓÑÓÖÔ Ñ Û Ò T p( ) ÓÖ ÐÐ p ÔÔÐ Ò Ò Ò ÓÑÓÖÔ Ñ Û Ú Ø Ö Ø Ô Öغ ÈÙØØ Ò M := Hom(A,) Û Ø Ò ÓÑÓÖÔ Ñ Ó R¹ÑÓ ÙÐ R M = Hom(A,A ) = Hom(A,B ) = I Mº Ò ÐÐÝ Û Ò R Ö Ø ÖÝ Ø Ø Ø Ø M ØÓÖ ÓÒ Ö ÑÔÐ Ø Ø M ÔÖÓ Ø Ú º Ì ÓÒ Ø ÓÒ ÓÒ R Q ÑÔÐ Ø Ø Ø ÙÐ Ð Ø Ð Ö ÓÒ Ø ÓÒ Ö Ð Ø Ú ØÓ Z Ê º º½ µ Ò Ò Û Ú Ò ÐÐ Ø ÓÒ ÓÖ ÔÖÓ Ø Ú ÑÓ ÙÐ ÐÓº غ Ì Ñº º¾ º Ê Ñ Ö Ò ÐÐ Ø ÓÒ ÒÓØ ÐÛ Ý ØÖÙ Ë º ÁØ Ö Ø Ö Ø Þ ÖÓ Ü ÑÔÐ ÒÚÓÐÚ ÒÓÒ¹ Ö Ø ÖÝ ÓÖ Öº ÀÓÛ Ú Ö Ø ÔÙÖ ÐÝ Ð Ö ÓÒ ÕÙ Ò Ó ÓÒ Ó Ø ÔÓ Ø Ú Ö¹ Ø Ö Ø Ü ÑÔÐ ÑÔÐ Ø Ø Ø Ö Ò Ü ÑÔÐ Û Ö R Ñ Ü Ñ Ð ÓÖ Ö Ò Ò Ø ÕÙ Ø ÖÒ ÓÒ Ð Ö ÓÚ Ö Qº Ê ÐÐ Ø Ø Ø ÃÙÑÑ Ö ÕÙ Ò Ö Ôº Ø ÜÔÓÒ ÒØ Ð ÕÙ Ò µ Ú ÖÓÙÔ ÓÑÓÑÓÖ¹ Ô Ñ ÖÓÑ Ø Ö Ù Ö ÖÓÙÔ Ó Ú Ö ØÝ X Ö Ôº ÓÚ Ö µ ØÓ H 3 (X,Ẑ) Ö Ôº H3 (X,Z)µº Ì Ñ Ó Ò Ð Ñ ÒØ Ó Ø Ö Ù Ö ÖÓÙÔ ÙÒ Ö Ø Ñ Ô Û ÐÐ ÐÐ Ø Ö Ø Ö Ø Ð º ÈÖÓÔÓ Ø ÓÒ º ËÙÔÔÓ k Ð Ö ÐÐÝ ÐÓ º ÓÖ Ú ÖÝ ÒØ Ö n 1 ÓÖ Û n+1 ÒÓØ ÔÓÛ Ö Ó Ø Ö Ø Ö Ø Ó k Ø Ö ÑÓÓØ Ò ÔÖÓ Ø Ú Ú Ö ØÝ X Ò ÔÖÓ Ø Ú Ô Ö Ø ÓÒ P X Ó Ö Ð Ø Ú Ñ Ò ÓÒ n Ò Û Ø ÒÓÒ¹ØÖ Ú Ð Ö Ø Ö Ø Ð º ÈÖÓÓ ËÙÔÔÓ Ø Ø Û Ú Ò Ø ÖÓÙÔ G Ó ÓÖ Ö ÔÖ Ñ ØÓ Ø Ö Ø Ö Ø Ø Ð ØØ Ö ÔÓ Ø Ú Ø Ò Ö ÐÝ ÓÒ Ú Ö ØÝ Y Ò ÔÖÓ Ø Ú Ö ÔÖ ÒØ Ø ÓÒ π: G PGL n+1 (k)º Ï Ø Ò Ø ÔÖÓ Ø Ú Ô ÙÒ Ð P := Y G P n Y/G =: X Ò Ø Ð Ö Ø Ø Ø Ö Ø Ö Ø Ð Ø ÒÚ Ö Ñ ÙÒ Ö Ø Ð Ý Ò Ñ Ô X BG Ó Y X Ó Ø Ö Ø Ö Ø Ð Ó πº Ì Ð ØØ Ö Ò Ø Ñ Ó π ÙÒ Ö Ø ÓÑÔÓ Ø H 1 (G,PGL n+1 (k)) H 2 (G,k ) H 2 (G, k ) = H 2 (G,Q/Z) = H 3 (G,Z)º ÆÓÛ Á Ð Ñ Ø Ø ÓÖ Ú ÖÝ ÔÓ Ø Ú ÒØ ÖK Ø Ö ÑÓÓØ Ò ÔÖÓ Ø Ú Y ÓÚ Ù Ø Ø Ø Ò Ù Ñ Ô H i i (G,Z) H (X,Ẑ) Ò Ø Ú ÓÖ i Kº ÁÒ Ø Ó ÙܹØÝÔ ÓÒ ØÖÙØ ÓÒ Ó Ë ÖÖ º Ë ï¾¼ µ Ø ÖØ Û Ø Ð Ò Ö Ö ÔÖ ÒØ Ø ÓÒ V Ó G Û Ó Ó Ø ÔÖÓ Ø Ú Ö ÔÖ ÒØ Ø ÓÒ Ø ÙÐ Ò ÓÒ ØÖÙØ ÑÓÓØ ÓÑÔÐ Ø ÒØ Ö Ø ÓÒ Y Ò Ø ÔÖÓ Ø Ú Ô P(V)Ó V ÓÒ Û G Ø Ö Ðݺ Ì Ñ Ü Ñ Ð ÔÓ Ð Ñ Ò ÓÒ Ó Y Ô Ò ÓÒ Ø Ó Ñ Ò ÓÒ Ó Ø ÔÓ ÒØ Ó P(V) Û Ø ÒÓÒ¹ØÖ Ú Ð Ø Ð Öº Ì Ø Ó Ñ Ò ÓÒ Ñ Ý Ñ Ð Ö ÔÓ Ð Ý ÓÓ Ò Ù Ø Ð V ÓÖ Ò Ø Ò Ý Ö ÔÐ Ò Ú Ò V Ý ÔÓÛ Ö Ó Øµ Ò Ø Ö ÓÖ Û Ñ Ý Ò Y ³ Ó Ö ØÖ Ö ÐÝ Ñ Ò ÓÒº ÓÒ Ö Ö Ø Ø Ø ÕÙÓØ ÒØ [P(V)/G]º Ì Ò ØÙÖ Ð Ñ Ô [P(V)/G] BG Ñ [P(V)/G] ÔÖÓ Ø Ú ÙÒ Ð ÓÚ Ö BG Ó Ø ØÓ Ø Ú ØÓÖ ÙÒ Ð [V/G] BGº Ì ÑÔÐ Ø Ø ξ H 2 ([P(V)/G],Ẑ) Ø Ö Ø ÖÒ Ð Ó Ø G¹Ð Ò Ö Ð Ò ÙÒ Ð O(1) Ø Ò H ([P(V)/G], ) Ø Ö H (G,Ẑ)¹ ÑÓ ÙÐ ÓÒ Ø ξ i i = 0,...,n 1 º Ö ½º µº Ì Ö Ñ Ý ÓÑ ÓÙ Ø ÓÙØ Ø Z p ¹Ô ÖØ Ó Ø Û Ò p = charkº ÁØ ØÙÖÒ ÓÙØ ØÓ ØÖÙ ÙØ ÒÓØ Ù Ò Ø Ù ÕÙ ÒØ Ö ÙÑ ÒØ ºµ

17 ÌÀ ÊÇÌÀ Æ Á à ÊÇÍÈ Ç Ä Ê Á ËÌ ÃË ½ Ï ÒÓÛ Ú ÑÓÖÔ Ñ X = Y/G = [Y/G] [P n /G] Ò Ù Ý Ø ÒÐÙ ÓÒ Y P n Ú Ò Ö ØÓ ÓÑÔ Ö ÓÒ Ñ Ô ÖÓÑ Ø Ô ØÖ Ð ÕÙ Ò H i (G,H j (P n,ẑ)) = Hi+j ([P n /G],Ẑ) ØÓ Ø ÓÖÖ ÔÓÒ Ò ÓÒ ÓÖ [Y/G]º Ý Ø Ä ØÞ Ø ÓÖ Ñ Ø Ñ Ô H i n (P,Ẑ) Hi (Y,Ẑ) Ò ÓÑÓÖÔ Ñ ÓÖ i < dimy Û Ý Ø ÓÑÔ Ö ÓÒ Ñ Ô Ó Ô ØÖ Ð ÕÙ Ò ÑÔÐ Ø Ø H i n ([P /G],Ẑ) Hi (X,Ẑ) Ò ÓÑÓÖÔ Ñ ÓÖ i < dimy º ÁÒ Ô ÖØ ÙÐ Ö Ø ÓÑÔÓ Ø i H (G,Ẑ) Hi (X,Ẑ) Ò Ø Ú Ò Ø Ñ Ö Ò º Û Ò Ñ dimy Ö ØÖ Ö ÐÝ Ð Ö Û Ú ÔÖÓÚ Ò ÓÙÖ Ð Ñº Ä Ø ÒÓÛ 1 k H G 1 ÒÓÒ¹ØÖ Ú Ð ÒØÖ Ð ÜØ Ò ÓÒ Ó G Ò ÙÑ Ø Ø Û Ú Ð Ò Ö Ö ÔÖ ÒØ Ø ÓÒ H GL n+1 (k) Ó H Û Ø k ØÓ Ð Ö Ñ ØÖ º Ì Ú Ù Ò Ò Ù ÔÖÓ Ø Ú Ö ÔÖ ÒØ Ø ÓÒ G PGL n+1 º Á Ð Ñ Ø Ø Ø Ö Ø Ö Ø Ð Ó Ø Ö ÔÖ ÒØ Ø ÓÒ ÕÙ Ð ØÓ Ø Ð Ó Ø ÒØÖ Ð ÜØ Ò ÓÒ Hº ÁÒ Û Ð Ø ÑÓ Ø ÓÒ ÔØÙ Ð ÛÓÙÐ ÒÓ ÓÙ Ø Ö Ø ÑÔÐ Ø ÔÖÓ ÐÝ Ø Ý ÓÑÔÙØ Ø ÓÒ Ý ÓÝÐ º ÁÒ Ô ÖØ ÙÐ Ö Ø ÒÓÒ¹ØÖ Ú Ð Ø ÒØÖ Ð ÜØ Ò ÓÒ º ÆÓÛ ÓÓ Y ÓÚ Û Ø K 3º Ì ÔÙÐÐ Ó α ØÓ X Ö ÔÖ ÒØ Ø ÔÖÓ Ø Ú ÙÒ Ð Y G P n Y/G Ò Ý ÙÑÔØ ÓÒ Ø ÒÓÒ¹Þ ÖÓº Á n+1 ÒÓØ Ú Ð Ý Ø Ö Ø Ö Ø Ó k Û Ò Ð Ø H Ø g = 1 Ð Ú Ð n+1 Ø Ø ÖÓÙÔ Ó Ø Ø G = Z/(n+1)Z Z/(n+1)Z Ò Ø Ø Ø ÖÓÙÔ Ò n+1¹ Ñ Ò ÓÒ Ð Ö ÔÖ ÒØ Ø ÓÒ Ó Ø Ö ÕÙ Ö Ò º Á n+1 ÒÓØ ÔÓÛ Ö Ó Ø Ö Ø Ö Ø Û Ñ Ý Ð Ø d ÒÝ ÒÓÒ¹ØÖ Ú Ð Ú ÓÖ Ó n+1 ÒÓØ Ú Ð Ý Ø Ö Ø Ö Ø Ò Ð Ø H Ø Ð Ú Ð d Ø Ø ÖÓÙÔ Ò Ð Ø Ø n+1¹ Ñ Ò ÓÒ Ð Ö ÔÖ ÒØ Ø ÓÒ (n+1)/d ÓÔ Ó Ø Ø Ò Ö Ö ÔÖ ÒØ Ø ÓÒº Ê Ñ Ö µ Û ÓÒÐÝ Ò K 3 Û Ø Ø ÒÓØ Ø ÓÒ Ó Ø ÔÖÓÓ µ Ø ÔÖÓÓ ØÙ ÐÐÝ Ú Ù 3¹ Ñ Ò ÓÒ Ð Ü ÑÔÐ º µ Ì Ö Ö 2¹ Ñ Ò ÓÒ Ð Ü ÑÔÐ Ø Ð Ø ÓÖ ÓÑ Ú ÐÙ Ó nº ÇÒ Ù Ü ÑÔÐ Ò 3 ÒÖ ÕÙ ÙÖ º ÁÒ Ø Ø ÈÓ Ò Ö Ù Ð ØÝ ÓÛ Ø Ø Ø ØÓÖ ÓÒ Ù ÖÓÙÔ Ó H (X,Ẑ) ÕÙ Ð ØÓ Z/2 Ò Ø ÓÑ ÖÓÑ Ø Ö Ù Ö ÖÓÙÔ Ø Ó ÓÑÓÐÓ Ð Ö Ù Ö ÖÓÙÔ ÕÙ Ð ØÓ Ø Ö Ù Ö ÖÓÙÔµº Á ÓÒ³Ø ÒÓÛ ÓÛ Ú Ö Û n Ò Ó Ò Ò Ø ÔÖ ÙÑ ÐÝ n = 1 ÔÓ Ð µº Ä ÑÑ º Ä Ø G Ñ ¹ ÑÔÐ ÖÓÙÔ ÓÚ Ö Ò Ð Ö ÐÐÝ ÐÓ Ð kº µ {G} ÒÚ ÖØ Ð Ò K 0 (Spc k ) º µ ÙÑ Ø ØF G¹ Ô Ò P X G¹ØÓÖ ÓÖ Ó Ô µº Á Û ÓÖ Ø ØÛÓG¹ØÓÖ ÓÖ P X Ò P F P G F Ú Ø ÕÙ Ð Ø {P} = {G}{X} Ò {P F} = {G}{P G F} Ø Ò Û Ú {P G F} = {F}{X}º ÈÖÓÓ Á Û Ð Ø B ÓÖ Ð Ù ÖÓÙÔ Ó G Û Ú B¹ØÓÖ ÓÖ G G/B Ò B Ù Ú ÜØ Ò ÓÒ Ó G m ³ Ò G a ³ Ò Ø Ù B Zar Ó Ø Ø {G} = {B}{G/B}º ÆÓÛ Ò Ý Ø Ø B Ù Ú ÜØ Ò ÓÒ G m ³ Ò G a ³ Û Ú Ø Ø {B} Ò ÒØ Ö ÔÓÐÝÒÓÑ Ð Ò L Ò G/B ÐÐ ÓÑÔÓ Ø ÓÒ Ó Ó {G/B}º Ì ÔÓÐÝÒÓÑ Ð Ø ÖÑ Ò Ý Ø Ø Ø Ø χ c ({G}) Ø Ñ ÔÓÐÝÒÓÑ Ð Ò q := χ c (L) Ò Ø Û Ðй ÒÓÛÒ Ø Ø Ø ÔÓÐÝÒÓÑ Ð ÔÓÛ Ö Ó q Ø Ñ ÔÖÓ ÙØ Ó q n 1³ Û ÓÛ Ø Ø {G} Ò ÒÚ ÖØ Ð Ò K 0 (Spc k ) º ÓÖ Ø ÓÒ Ô ÖØ Û Ú Ù Ò Ø ÙÑ Ö Ð Ø ÓÒ Ò Ý Ø Ö Ø Ô ÖØ Û Ò Ò Ð {G}º {G}{F}{X}= {F}{P} = {P F} = {G}{P G F} ÈÖÓÔÓ Ø ÓÒ º ÙÑ Ø Ø k Ð Ö ÐÐÝ ÐÓ º Ì Ö Ö PSL n ¹ØÓÖ ÓÖ ÓÖ ÒÝ n 1 ÒÓØ ÔÓÛ Ö Ó Ø Ö Ø Ö Ø Ó k T X ÓÚ Ö ÑÓÓØ Ò ÔÖÓ Ø Ú Ú Ö Ø X Ù Ø Ø {T} {PSL n }{X} K 0 (Spc k )º ÁÒ Ô ÖØ ÙÐ Ö Ø Ñ Ô K PSLn 0 (Spc k ) K 0 (Spc k ) ÒÓØ Ò Ø Ú Ò Ñ Ð ÖÐÝ ÓÖ Ø Ú Ö ÒØ º ÈÖÓÓ Ý ÈÖÓÔÓ Ø ÓÒ º Ø Ö P n 1 ¹ Ö Ø ÓÒ π: P X X ÑÓÓØ Ò ÔÖÓÔ Ö Û Ó Ö Ø Ö Ø Ð ÒÓÒ¹ØÖ Ú Ðº Ì ÔÙÐÐ Ó P X ÐÓÒ P X Ø ÓÒ Ò Ò Ö ÙØ ÓÒ Ó Ø ØÖÙØÙÖ ÖÓÙÔ ØÓ GL n+1 Ò Ò Ô ÖØ ÙÐ Ö Ø Ð α ÔÙÐÐ ØÓ 0 Ò

18 ½ H 3 (P,Z p )º ÆÓÛ Û Ú Ø Ø Ø R i π Z p Ö ÓÒ Ø ÒØ Ø Ý ÓÑ ÓÒ Ø ÒØ Ø Ö ÔÙÐÐ ÐÓÒ π Û ÓÒÒ Ø Ö º Ð Ó R 2i+1 π Z p = 0 Ø Ä Ö Ý Ô ØÖ Ð ÕÙ Ò ÓÖ π Ú Ò Ü Ø ÕÙ Ò H 3 (X,Z p ) H 3 (P,Z p ) H 1 (X,R 2 π Z p ) = H 1 (X,Z p ). ÆÓÛ Ø Ò ÓÖ Û Ø Q Ø Ô ØÖ Ð ÕÙ Ò Ò Ö Ø ÓÖ Ò Ø Ò ÓÖ Ö ÓÒ Ó Û Øµ Ó Ø Ø Ø ÖÒ Ð Ó H 3 (X,Z p ) H 3 (P,Z p ) ØÓÖ ÓÒ ÖÓÙÔ Ò ÙÖØ ÖÑÓÖ H 1 (X,Z p ) ØÓÖ ÓÒ Ö º ÌÓ Ø Ö Ø ÓÛ Ø Ø Ø ØÓÖ ÓÒ Ù ÖÓÙÔ Ó H 3 (X,Z p ) Ñ Ô ÙÖ Ø Ú ÐÝ ÓÒØÓ Ø Ø Ó H 3 (P,Z p )º ÀÓÛ Ú Ö Û Ú Ò Ø Ø α Ó ØÓ Þ ÖÓ Ó Ø ÓÒÐÙ ÓÒ Ø Ø Ø ØÓÖ ÓÒ Ù ÖÓÙÔ Ó H 3 (P,Z p ) ØÖ ØÐÝ Ñ ÐÐ Ö Ø Ò Ø Ø Ó H 3 (X,Z p )º Ì ÑÔÐ Ø Ø Û Ó ÒÓØ Ú Ø Ø {P} = {P n }{X} K 0 (Spc k ) ÓØ ÖÛ H (χ G (P)) = (1 s n+1 )/(1 s)h (X) Û Ö s := t 2 Ò Ò Ô ÖØ ÙÐ Ö {H 3 (P,Z p )} ÛÓÙÐ ÕÙ Ð ØÓ {H 3 (X,Z p )} + {H 1 (X,Z p )}º Ì ÛÓÙÐ Ú Ø Ø Ø ØÓÖ ÓÒ Ù ÖÓÙÔ Ó H 3 (P,Z p ) ÛÓÙÐ ÕÙ Ð ØÓ Ø Ø Ó H 3 (X,Z p ) Û Û Ú Ò ÒÓØ Ø º ÓÐÐÓÛ Ò Ä ÑÑ º ÓÒ Ó Ø ØÛÓ PSL n+1 ØÓÖ ÓÖ T X Ó Ø ØÓ P X Ò T P n T PSLn+1 P n = P Ó ÒÓØ ÙÐ Ð Ø ÑÙÐØ ÔÐ Ø Ú ØÝ Ö Ð Ø ÓÒº Ê Ñ Ö µ Ä ÑÑ º Ò ÖÝ ÓÒÐÝ ØÓ Ô ÒÔÓ ÒØ Ø ØÓÖ ÓÖ ÓÖ Û ÑÙÐØ ÔÐ Ø Ú ØÝ Ð º Á ÓÒ Ó Ò³Ø Ö ÓÙØ Ø Ø ÓÒ ÓÙÐ Ý Û Ý Ó ÓÒØÖ Ø ÓÒ ÙÑ ÑÙÐØ ÔÐ Ø Ú ØÝ ÓÖ ÐÐ PSL n+1 ¹ØÓÖ ÓÖ Û ÑÔÐ Ø Ø K 0 (Spc k ) K PSLn+1 0 (Spc k ) Ò ÓÑÓÖÔ Ñº Ï Ò Ø Ò ÔÔÐÝ ½º½ Ú µº µ Ë Ñ Ð Ö Ö ÙÐØ Ö ØÖÙ ÓÖ Ú ÖÝ Ñ ¹ ÑÔÐ Ô Ð Ð Ö ÖÓÙÔ Ò Û ÐÐ ÓÛÒ Ð Û Ö º ÑÔÐ ÓÑÔÙØ Ø ÓÒ Ï ÐÐ ÒÓÛ Ú Ò Ü ÑÔÐ Ò Ø Ô Ö Ø Ó ¼ Ø ÓÙ Ø ÓÚ Ö Ý Ö ØÖ Ñ Ö ÑÓÖ ÓÑÔÐ Ø Ø Ò Ø ÓÒ Û ÐÐ Ù µº Ì Ò Ö Ð Ø Ò ÕÙ Ø ÓÐÐÓÛ Ò ÈÖ ÒØ Ø Ø Û Ó Ð Û Û ÒØ ØÓ ÓÑÔÙØ Ø Ø ÕÙÓØ ÒØ Ó Ð Ò Ö ÖÓÙÔ Ø Ò Ð Ò ÖÐݵ ÓÒ Ò ÓÔ Ò Ù Ø Ó Ð Ò Ö Ô ÓÖ ÔÓ ÐÝ ÔÖÓ Ø Ú Ô Ø ÓÙ Ø Ø ÛÓÙÐ ØÝÔ ÐÐÝ Ú Ù PGL n Ð Ò Ö ÖÓÙÔ Û Ó Ú ØÓÖ ÓÖ ÒÓØ ØÖ Ú Ð Ò Ø Ö ØÓÔÓÐÓ Ýµº Ì Ð Ó Ø Ø ÕÙÓØ ÒØ ÓÖ Ø Ø ÓÒ Ó Ø ÖÓÙÔ ÓÒ Ø ÙÐÐ Ð Ò Ö Ô ÕÙ Ð ØÓ ÔÓÛ Ö Ó L Ú Ý Ø Ð Ó Ø ÖÓÙÔº À Ò Û Ñ Ý ÐÓÓ Ò Ø Ø Ø ÓÑÔÐ Ñ ÒØ Ó Ø ÓÔ Ò Ù Øº Ì Ø ÓÑÔÐ Ñ ÒØ Ò Ø Ò ØÖ Ø ØÝÔ ÐÐÝ Ý ÑÔÓ Ò Ú Ö ÓÙ Ò Ó Ò ÙÐ Ö Ø µ Ò ÓÖ ØÖ ØÙÑ Ø Ø Ô Ý Ò Ø Ò ÔÙØ Ò Ø Ò Ö ÔÓ Ø ÓÒ Û Ù Ø Ñ Ò Ö ÙØ ÓÒ Ó Ø ØÖÙØÙÖ ÖÓÙÔµº ØÖ ØÙÑ Û Ø Ø Ò Ü ÔÓ Ø ÓÒ Ò Ø Ò Ñ Ò ÓÔ Ò Ù Ø Ó Ð Ò Ö Ô Û Ø ÖÓÙÔ Ø ÓÒ Ò ÓÒ Ò Ö Ù ØÓ ÓÒ Ö Ò Ø ÓÑÔÐ Ñ Òغ ÍÒ ÓÖØÙÒ Ø ÐÝ Ø ÒÙÑ Ö Ó ØÖ Ø Ø Ø ÓÒ ÑÙ Ø ÓÒ Ö Ú ÖÝ ÕÙ ÐÝ ÓÑ Ð Ö Ó Á ÐÐ ÓÑ Û Ø Ø Ý ÑÝ Ñ ÓÒÐÝ ØÓ ÐÐÙ ØÖ Ø Ø Ø Ò ÕÙ º Ü ÑÔÐ Ï ÐÐ Ò ØÓ ÓÑÔÙØ {BΣ 2 } Ò {BΣ 3 }º ÁÒ ¼ Û ÐÐ ÔÖÓÚ Ø Ø Ò Ò Ö Ð {BΣ n } = 1 ÓÖ ÐÐn ÙØ Ø Ò ÓÒ Ý Ò º Û Ö Ó Ò ØÓ Ñ Ø Ø Ö ØÖ Ø ÓÒ ÒÝÛ Ý Û ÙÑ Ø Ø Ø Ö Ø Ö Ø Ö ÒØ ÖÓÑ 2 Ò 3º ÓÖ Σ 2 = {±1} Û Ò Ñ Ø ÒG m Zar Ò Ò Ý ÈÖÓÔÓ Ø ÓÒ ½º½ Û Ø{BΣ 2 } = {G m /±1}{BG m } = {G m }{BG m } Ò 1 = {G m }{BG m } Û Ú {BΣ 2 } = 1º ÓÖBΣ 3 Û Ú Ø Ø Ø Ø Ò Ö Ö ÔÖ ÒØ Ø ÓÒ Ú Ý Ø ØÖ Ú Ð Ù Ö ÔÖ ÒØ Ø ÓÒ Ú Ò Ñ Ò Σ 3 GL 2 Zar Ò Ò Ý ÈÖÓÔÓ Ø ÓÒ ½º½ Û Ø Ø Ø {[P 1 /Σ 3 ]} = {P 1 }{BΣ 3 }º ÆÓÛ Ø Ö Ö Ø Ö ÔÓ ÒØ Ó P 1 Û Ø ÒÓÒ¹ØÖ Ú Ð Σ 3 ¹ Ü ÔÓ ÒØ Ò U Ø ÓÑÔÐ Ñ ÒØ Ó Ø Ñ Û Ú [U/Σ 3 ] = U/Σ 3 Ò U/Σ 3 P 1 Ñ ÒÙ ÓÒ ÔÓ Òغ À Ò X := P 1 \U Û Ú {[P 1 /Σ 3 ]} = {U/Σ 3 }+{[X/Σ 3 ]} = {P 1 } 1+{[X/Σ 3 ]}º X ÓÒ Ø Ó Ø Ö ÔÓ ÒØ Ô ÖÑÙØ Ý Σ 3 ÓÖ Ò ØÓ Ø Ø Ò Ö Ô ÖÑÙØ Ø ÓÒ Ö ÔÖ ÒØ Ø ÓÒ Ò Ò [X/Σ 3 ] = BΣ 2 Ò Ý Û Ø Û Ù Ø ÔÖÓÚ {[X/Σ 3 ]} = 1