arxiv:math/ v1 [math.ag] 7 Dec 2004

Transcription

1 arxiv:math/ v1 [math.ag] 7 Dec 2004 ùÌÀ ÇÊÁ ÉÍÁÎ ÊÁ ÆÌ Ë ÌÇÍÊË ÇÌ̺ ÈÈÄÁ ÌÁÇÆ ü Ä ËÌÊÍ ÌÍÊ ÅÍÄÌÁÈÄÁ ÌÁÎ Ä Ã¹ÌÀ ÇÊÁ ÉÍÁÎ ÊÁ ÆÌ Ë Î ÊÁ Ì Ë Ê È Í Ô Ö Å ØØ Ù Ï ÐÐ Ñ Ì Ð Ñ Ø Ö ½º ÁÒØÖÓ ÙØ ÓÒº º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ ¾º ÈÖ Ð Ñ Ò Ö Ø ÒÓØ Ø ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ÌÓÙÖ ÓØØ Ø Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒº º º º º º º º º º º º º º º º º º º º º º º Ã¹Ø ÓÖ ÕÙ Ú Ö ÒØ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ º Ã¹Ø ÓÖ ÕÙ Ú Ö ÒØ ØÓÙÖ ÓØغ º º º º º º º º º º º º º º º º º º º º º º º º ½ º Ã¹Ø ÓÖ ÕÙ Ú Ö ÒØ Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒº º º º º º º º º º º º ¾ º Ã¹Ø ÓÖ ÕÙ Ú Ö ÒØ Ú Ö Ø Ö Ô Ùܺ º º º º º º º º º º º º º º º º ¾ º Ü ÑÔÐ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ Ê Ö Ò º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º Ê ÙÑ º ÇÒ ÓÒ ØÖÙ Ø ÙÒ Ð K¹Ø ÓÖ ÕÙ Ú Ö ÒØ ØÓÙÖ ÓØØ Ø ÓÒ Ö Ø ÔÖ Ñ ÒØ Ð ØÖÙØÙÖ ÑÙÐØ ÔÐ Ø Ú Ð Ö º ÇÒ Ò Ù Ø Ö ÙÐØ Ø Ò ÐÓ Ù ÔÓÙÖ Ð Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒº Ä Ð Ò ÒØÖ Ð Ú Ö Ø Ö Ô ÙÜ Ø Ð Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ ÒÓÙ Ô ÖÑ Ø ÐÓÖ ÓÒÒ Ö ÙÒ Ñ Ø Ó ÐÙÐ ÓÒ Ø ÒØ ØÖÙØÙÖ Ð K¹Ø ÓÖ ÕÙ Ú Ö ÒØ Ú Ö Ø Ö Ô ÙÜ Ô Ö Ö ÔÔÓÖØ Ð ÓÒ ØÖÙ Ø Ô Ö ÃÓ Ø ÒØ Ø ÃÙÑ Ö Ò ½ º ØÖ Ø ÕÙ Ú Ö ÒØ Ã¹Ø ÓÖÝ Ó ÓØØ ØÓÛ Ö º ÔÔÐ Ø ÓÒ ØÓ Ø ÑÙÐØ ¹ ÔÐ Ø Ú ØÖÙØÙÖ Ó Ø ÕÙ Ú Ö ÒØ Ã¹Ø ÓÖÝ Ó Ú Ö Ø µ Ï ÓÒ ØÖÙØ Ó Ø ÕÙ Ú Ö ÒØ K¹Ø ÓÖÝ Ó ÓØØ ØÓÛ Ö Ò Û Ö ÔÖ ÐÝ Ø ÑÙÐØ ÔÐ Ø Ú ØÖÙØÙÖ Ó Ø Ð Ö º Ï Ù Ñ Ð Ö Ö ÙÐØ ÓÖ ÓØØ¹Ë Ñ Ð ÓÒ Ú Ö Ø º Ì Ò ØÓ Ø Ð Ò ØÛ Ò Ú Ö Ø Ò ÓØØ¹Ë Ñ Ð ÓÒ Ú Ö Ø Û Ú Ñ Ø Ó ØÓ ÓÑÔÙØ Ø ØÖÙØÙÖ ÓÒ Ø ÒØ Ó Ø ÕÙ Ú Ö ÒØ K¹ Ø ÓÖÝ Ó Ú Ö Ø Ò Ø ÓÒ ØÖÙØ Ý ÃÓ Ø ÒØ Ò ÃÙÑ Ö Ò ½ º Ð Ø ÓÒ Ñ Ø Ñ Ø ÕÙ Ô Ö Ù Ø ¾¼¼¼µº 19Ä47 14Å15 14Å25º ÅÓØ Ð º Ã¹Ø ÓÖ ÕÙ Ú Ö ÒØ Ú Ö Ø Ö Ô ÙÜ Ú Ö Ø ØÓÖ ÕÙ º

2 ½º ÁÒØÖÓ ÙØ ÓÒ ËÓ Ø G ÙÒ ÖÓÙÔ Ä Ñ ¹ ÑÔÐ ÓÑÔÐ Ü ÓÒÒ Ü º ËÓ ÒØ B G ÙÒ ÓÙ ¹ ÖÓÙÔ ÓÖ Ð G Ø T B ÙÒ ØÓÖ ÓÑÔ Ø Ñ Ü Ñ Ð Bº ÇÒ ÒÓØ R[T] г ÒÒ Ù Ö ÔÖ ÒØ Ø ÓÒ T Ø X = G/B Ð Ú Ö Ø Ö Ô ÙÜ Ó ÓÒÒ ÔÐÙ Ò Ö Ð Ñ ÒØ ÓÒ ³ ÒØ Ö Ö ÙÜ Ú Ö Ø Ö Ô ÙÜ ÖÓÙÔ Ã ¹ÅÓÓ Ýµº Ä ÑÙÐØ ÔÐ Ø ÓÒ Ù Ò G Ò Ù Ø ÙÒ Ø ÓÒ T ÙÖ Xº Ä K¹ Ø ÓÖ T ¹ ÕÙ Ú Ö ÒØ X ÒÓØ K T (X) Ø Ò Ø Ð Ñ ÒØ ÒØ Ô Ö ÃÓ Ø ÒØ Ø ÃÙÑ Ö Ò ½ º ÁÐ ÓÒ ØÖÙ ÒØ ÒÓØ ÑÑ ÒØ ÙÒ { ˆψ w } w W K T (X) Ò Ø ÒØ ÕÙ R[T]¹ÑÓ ÙÐ Ó W Ø Ð ÖÓÙÔ Ï ÝÐ Xº ÍÒ Ó ÕÙ³ÓÒ ÓÒ ØÖÙ Ø ÙÒ K T (X) ÙÒ ÔÖÓ Ð Ñ ÓÒ Ñ ÒØ ÙÜ Ø ØÖÓÙÚ Ö ÓÖÑÙÐ ÔÓÙÖ ÑÙÐØ ÔÐ Ö ÙÜ Ð Ñ ÒØ ØØ º Ä Ñ Ñ ÕÙ Ø ÓÒ ÔÓ ÔÓÙÖ Ð K¹ Ø ÓÖ ÓÖ Ò Ö X ÒÓØ K(X)º Ò ½ È ØØ Ø Ê Ñ ÓÒÒ ÒØ ÙÒ ÓÖÑÙÐ ÔÓÙÖ ÑÙÐØ ÔÐ Ö Ò K(X) Ð Ð ³ÙÒ Ö Ò ÖÓ Ø Ô Ö ÙÒ Ð [O Xw ] Ó ÔÓÙÖ w W [O Xw ] K(X) Ò Ð Ð Ù Ù ØÖÙØÙÖ Ð Ð Ú Ö Ø Ë Ù ÖØ X w Xº Ö ÙÐØ Ø Ø Ò Ø Ð Ñ ÒØ ÓÖÑÙÐ ÔÓÙÖ G = SL(n, C) Ô Ö ÙÐØÓÒ Ø Ä ÓÙÜ Ò ½½ º Ò Ö ÓÒ Ø ÖÑ Ò Ð Ò ÓÒ Ø ÒØ ØÖÙØÙÖ K(X) Ô Ö Ö ÔÔÓÖØ Ð {[O Xw ]} w W º ÍÒ Ó Ø Ø ÖØ Ð Ø ÓÒÒ Ö ÙÒ Ñ Ø Ó ÐÙÐ Ò Ö Ð ÓÒ Ø ÒØ ØÖÙØÙÖ K T (X) Ô Ö Ö ÔÔÓÖØ Ð { ˆψ w } w W º Ä Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ ÓÒØ Ø Ò Ø Ð Ñ ÒØ ÒØÖÓ Ù Ø Ô Ö ÓØØ Ø Ë Ñ Ð¹ ÓÒ Ò º Ú Ö Ø ÓÒØ ÑÙÒ ³ÙÒ Ø ÓÒ T Ø ³ÙÒ ÔÔÐ Ø ÓÒ T ¹ ÕÙ Ú Ö ÒØ Ú Ð ÙÖ Ò Xº Ò Ñ ÞÙÖ ÑÓÒØÖ ÕÙ³ ÐÐ Ô ÖÑ ØØ ÒØ Ò ÙÐ Ö Ö Ð Ú Ö Ø Ë Ù Öغ Ä ØÓÙÖ ÓØØ ÓÒØ Ú Ö Ø ØÓÖ ÕÙ Ô ÖØ ÙÐ Ö ÓÒ ØÖÙ Ø Ô Ö Ö Ø ÓÒ Ù Ú Ö CP 1 Ø ÓÒØ ÑÙÒ Ð³ Ø ÓÒ ³ÙÒ ØÓÖ ÓÑÔ Ø D Ñ Ñ Ñ Ò ÓÒ ÕÙ Ð Ú Ö Ø º ÍÒ Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ Γ ÑÙÒ Ð³ Ø ÓÒ Ù ØÓÖ T Ô ÙØ ØÖ ÚÙ ÓÑÑ ÙÒ ØÓÙÖ ÓØØ Y Ø Ð³ Ø ÓÒ T ÙÖ Γ ³ ÒØ ÐÐ ³ÙÒ ÓÙ ¹ØÓÖ D ÙÖ Y º Ò ¾½ ÓÒ ÓÒÒ ÙÒ ÔÖ Ñ Ö Ö ÔØ ÓÒ Ð Ó ÓÑÓÐÓ Ø Ð K¹ Ø ÓÖ ÕÙ Ú Ö ÒØ Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ Ø ÓÒ ÜÔÐ Ø Ð Ð Ò Ú Ð Ú Ö Ø Ö Ô Ùܺ Ö Ö ÙÐØ Ø ÓÒ ÓÒÒ ÙÒ ÔÖ ÙÚ ÓÑ ØÖ ÕÙ ÓÖÑÙÐ Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü ³ÙÒ Ð Ó ÓÑÓÐÓ T ¹ ÕÙ Ú Ö ÒØ Xº ÓÖÑÙÐ ÓÒØ Ø Ò Ø Ð Ñ ÒØ ÑÓÒØÖ Ô Ö Ë Ö ÐÐ Ý Ò º ÔÐÙ ÓÒ ØÖÓÙÚ ÙÒ ÓÖÑÙÐ ÔÓÙÖ Ð Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü Ð { ˆψ w } w W K T (X)º ÓÖÑÙÐ ÓÒØ Ø Ø ÖÑ Ò Ò Ô Ò ÑÑ ÒØ Ô Ö Ï ÐÐ Ñ Ö Ñ Ö ³ ÙØÖ Ñ Ø Ó Ò ½ º Ò ¾¾ ÓÒ Ö Ø ÔÖ Ñ ÒØ Ð ØÖÙØÙÖ ÑÙÐØ ÔÐ Ø Ú Ð Ó ÓÑÓÐÓ ÕÙ Ú Ö ÒØ Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ ÔÐÙ Ò Ö Ð Ñ ÒØ ØÓÙÖ ÓØص ÔÙ Ò ³ Ò Ô Ö ÒØ Ñ Ø Ó ÙØ Ð Ô Ö À Ó Ù Ò Ò ½¼ ÓÒ Ù Ø ¾

3 Ö ÙÐØ Ø ¾½ ÙÒ Ñ Ø Ó ÐÙÐ ÓÒ Ø ÒØ ØÖÙØÙÖ Ð Ó ÓÑÓÐÓ ÕÙ Ú Ö ÒØ Ú Ö Ø Ö Ô ÙÜ ÐÙÐ Ë Ù ÖØ ÕÙ Ú Ö Òصº Ä ÙØ Ø ÖØ Ð Ø ³ ØÙ Ö Ð Ñ Ñ ØÖ Ú Ð Ò K¹Ø ÓÖ º ÇÒ ÓÒ ØÖÙ Ø ÙÒ Ð K¹ Ø ÓÖ ÕÙ Ú Ö ÒØ ØÓÙÖ ÓØØ Ø ÓÒ ÓÒÒ ÙÒ ÔÖ ÒØ Ø ÓÒ Ô Ö Ò Ö Ø ÙÖ Ø Ö Ð Ø ÓÒ Ð Ö º ÇÒ Ò Ø ÐÓÖ Ö ÙÖ Ú Ñ ÒØ ÙÒ ÓÔ Ö Ø ÙÖ ÕÙ ÐÙÐ Ð ÓÒ Ø ÒØ ØÖÙØÙÖ º Ö ÙÜ Ö ÙÐØ Ø ¾½ ÓÒ Ò Ù Ø ÙÒ ÓÖÑÙÐ ÔÓÙÖ ÓÑÔÓ Ö Ð ÔÖÓ Ù Ø ˆψ u ˆψ v ÙÖ Ð { ˆψ w } w W ÔÓÙÖ ØÓÙØ ÓÙÔÐ (u, v) W 2 º Ä Ø ÓÒ ¾ ÓÒØ ÓÒ Ö Ö ÔÔ Ð Ø Ò Ø ÓÒ º Ò Ð Ø ÓÒ ¾ ÓÒ Ü Ð ÒÓØ Ø ÓÒ ÙÖ Ð Ð Ö Ø Ð ÖÓÙÔ Ã ¹ÅÓÓ Ýº Ò Ð Ø ÓÒ ÓÒ Ö ÔÔ ÐÐ Ð Ò Ø ÓÒ Ø Ð ØÖÙØÙÖ ØÓÙÖ ÓØØ Ø Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒº ÈÓÙÖ ÔÐÙ Ø Ð ÓÒ ÔÓÙÖÖ ÓÒ ÙÐØ Ö ½ ½ Ø ¾¾ º Ò Ð Ø ÓÒ ÓÒ Ö ÔÔ ÐÐ Ð Ò Ø ÓÒ Ð K¹Ø ÓÖ ÕÙ Ú Ö ÒØ Ð ÒÓØ ÓÒ Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü Ø Ð ÓÖÑÙÐ ÐÓ Ð Ø ÓÒº Ò Ð Ø ÓÒ ÓÒ ÓÒ Ö ÙÒ ØÓÙÖ ÓØØ Y Ñ Ò ÓÒ ÓÑÔÐ Ü N ÙÖ Ð ÕÙ ÐÐ Ø Ð ØÓÖ ÓÑÔ Ø Dº ÇÒ ÒÓØ R[D] г ÒÒ Ù Ö ÔÖ ÒØ Ø ÓÒ Dº Ä K¹Ø ÓÖ D¹ ÕÙ Ú Ö ÒØ Y ÒÓØ K D (Y ) Ø ÙÒ R[D]¹ÑÓ ÙÐ ÓÒØ ÓÒ ÓÒ ØÖÙ Ø ÙÒ {ˆµ D ǫ } ǫ {0,1} N ÔÖÓÔÓ Ø ÓÒ º½µº ÇÒ ÐÙÐ Ð Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü Ø ÓÖ Ñ º µ Ø ÓÒ ÓÒÒ ÙÒ ÔÖ ÒØ Ø ÓÒ Ô Ö Ò Ö Ø ÙÖ Ø Ö Ð Ø ÓÒ K D (Y ) Ø ÓÖ Ñ º µº Ä ÓÖÓÐÐ Ö º½ ÓÒÒ ÙÒ Ñ Ø Ó ÐÙÐ ÓÒ Ø ÒØ ØÖÙØÙÖ rǫ,ǫ ǫ R[D] Ò Ô Ö Ð Ö Ð Ø ÓÒ ˆµ D ǫ ˆµD ǫ = r ǫ ǫ {0,1} N ǫ,ǫ ˆµD ǫ. Ò Ð Ø ÓÒ Ö ÙÜ Ö ÙÐØ Ø Ð Ø ÓÒ ÓÒ Ö ØÖÓÙÚ Ð Ð K¹Ø ÓÖ ÕÙ Ú Ö ÒØ Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ ÜÔÐ Ø Ò ¾½ ÔÖÓÔÓ¹ Ø ÓÒ º½ Ø Ø ÓÖ Ñ º¾µ Ø ÓÒ ÓÒÒ ÙÒ Ñ Ø Ó ÐÙÐ ÓÒ Ø ÒØ ØÖÙØÙÖ Ô Ö Ö ÔÔÓÖØ ØØ Ø ÓÖ Ñ º µº Ò Ð Ø ÓÒ ÓÒ Ö ÔÔ ÐÐ Ð Ð Ò ÒØÖ Ð K¹Ø ÓÖ Ú Ö Ø Ö Ô ÙÜ Ø Ð K¹Ø ÓÖ Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ Ö Ù Ø ÓÖ Ñ º ÑÓÒØÖ Ò Ø Ð ¹ Ñ ÒØ Ò ¾½ Ø ÓÒØ ÓÒ ÓÒÒ ÙÒ ÒÓÙÚ ÐÐ ÑÓÒ ØÖ Ø ÓÒº ÇÒ Ù Ø ÐÓÖ Ö ÙÐØ Ø ÔÖ ÒØ Ð Ø ÓÖ Ñ º ÕÙ ÓÒÒ ÙÒ Ñ Ø Ó ÐÙÐ ÓÒ Ø ÒØ ØÖÙØÙÖ qu,v w R[T] Ò Ô Ö Ð Ö Ð Ø ÓÒ ˆψ u ˆψv = w W q w u,v ˆψ w. Ä Ø ÓÒ Ø ÓÒ Ö ÕÙ ÐÕÙ Ü ÑÔÐ Ø Ð Ö ØÖ Ø ÓÒ ÒÓ ÐÙÐ Ù Ð K¹Ø ÓÖ ÓÖ Ò Ö º

4 Ê Ñ Ö Ñ ÒØ º Â Ö Ñ Ö Å Ð Ö ÓÒ Ñ³ ÚÓ Ö Ù Ö ³ ÔÔÐ ÕÙ Ö Ñ Ö ÙÐØ Ø Ù ÐÙÐ ÓÒ Ø ÒØ ØÖÙØÙÖ Ð K¹Ø ÓÖ Ú Ö Ø Ö ¹ Ô Ùܺ Â Ø Ò Ð Ñ ÒØ Ö Ñ Ö Ö À Ó Ù Ò Ø Ï ÐÐ Ñ Ö Ñ ÔÓÙÖ Ð ÙÖ Ö Ñ ÖÕÙ ÙÖ Ñ ÔÖ ÒØ ØÖ Ú ÙÜ Ø Å Ð Î Ö Ò ÔÓÙÖ Ö Ð ØÙÖ ØØ ÒØ Ú Ø ÖØ Ð º ¾º ÈÖ Ð Ñ Ò Ö Ø ÒÓØ Ø ÓÒ ¾º½º Ð Ö Ã ¹ÅÓÓ Ýº Ä Ò Ø ÓÒ Ø Ð Ö ÙÐØ Ø ÕÙ Ù Ú ÒØ ÙÖ Ð Ð Ö Ã ¹ÅÓÓ Ý ÓÒØ ÜÔÓ Ò ½¾ Ø ½ º ËÓ Ø A = (a ij ) 1 i,j r ÙÒ Ñ ØÖ ÖØ Ò Ò Ö Ð ³ ع¹ Ö Ø ÐÐ ÕÙ a ii = 2 a ij N i j Ø a ij = 0 Ø ÙÐ Ñ ÒØ a ji = 0µº ÇÒ Ó Ø ÙÒ ØÖ ÔÐ Ø (h, π, π ) ÙÒ ÕÙ ÓÑÓÖÔ Ñ ÔÖ µ Ó h Ø ÙÒ C¹ Ô Ú ØÓÖ Ð Ñ Ò ÓÒ (2r rg(a)) π = {α i } 1 i r h Ø π = {h i } 1 i r h ÓÒØ Ò Ñ Ð ³ Ð Ñ ÒØ Ð Ò Ö Ñ ÒØ Ò Ô Ò ÒØ Ú Ö ÒØ α j (h i ) = a ij º ÇÒ ÒÓØ Ù h i Ô Ö α i º ij Ð Ö Ã ¹ÅÓÓ Ý g = g(a) Ø Ð³ Ð Ö Ä ÙÖ C Ò Ò Ö Ô Ö h Ø Ô Ö Ð ÝÑ ÓÐ e i Ø f i 1 i rµ ÓÙÑ ÙÜ Ö Ð Ø ÓÒ [h, h] = 0 [h, e i ] = α i (h)e i [h, f i ] = α i (h)f i ÔÓÙÖ ØÓÙØ h h Ø ØÓÙØ 1 i r [e i, f j ] = δ ij h j ÔÓÙÖ ØÓÙØ 1 i, j r Ø (ade i ) 1 aij (e j ) = 0 = (adf i ) 1 aij (f j ), pour tous 1 i j r. ij Ð Ö h ³ Ò Ø ÒÓÒ ÕÙ Ñ ÒØ Ò gº ÇÒ Ð³ ÔÔ ÐÐ Ð ÓÙ ¹ Ð Ö ÖØ Ò gº ÇÒ Ð ÓÑÔÓ Ø ÓÒ g = h α + (g α g α ), Ó ÔÓÙÖ λ h g λ = {x g tels que [h, x] = λ(h)x, h h} Ø Ó ÓÒ Ò Ø + Ô Ö + = {α r i=1 Nα i tels que α 0 et g α 0}º ÇÒ ÔÓ = + Ó = + º ÇÒ ÔÔ ÐÐ + Ö Ô Ø Ú Ñ ÒØ µ г Ò Ñ Ð Ö Ò ÔÓ Ø Ú Ö Ô Ø Ú Ñ ÒØ Ò Ø Ú µº Ä Ö Ò {α i } 1 i r ÓÒØ ÔÔ Ð Ð Ö Ò ÑÔÐ º ÇÒ Ò Ø ÙÒ ÓÙ ¹ Ð Ö ÓÖ Ð b g Ô Ö b = h α + g α º Ù ÓÙÔÐ (g, h) ÓÒ Ó Ð ÖÓÙÔ Ï ÝÐ W Aut(h ) Ò Ò Ö Ô Ö Ð Ö Ü ÓÒ ÑÔÐ {s i } 1 i r Ò Ô Ö λ h, s i (λ) = λ λ(h i )α i. Ë ÓÒ ÒÓØ S г Ò Ñ Ð Ö Ü ÓÒ ÑÔÐ Ð ÓÙÔÐ (W, S) Ø ÙÒ Ý Ø Ñ ÓÜ Ø Öº ÇÒ ÓÒ ÙÒ ÒÓØ ÓÒ ³ÓÖ Ö ÖÙ Ø ÕÙ³ÓÒ ÒÓØ u v Ø ÙÒ ÒÓØ ÓÒ ÐÓÒ Ù ÙÖ ÕÙ³ÓÒ ÒÓØ l(w)º ÇÒ ÒÓØ 1 г Ð Ñ ÒØ Ò ÙØÖ W º Ò Ð Ò º º W Ò g Ñ Ò ÓÒ Ò µ ÓÒ ÒÓØ w 0 Ð ÔÐÙ Ö Ò Ð Ñ ÒØ W º ÇÒ Ó Ø ÒØ ÙÒ Ö ÔÖ ÒØ Ø ÓÒ W Ò h Ô Ö Ù Ð Ø º ÈÐÙ ÔÖ Ñ ÒØ ÔÓÙÖ ØÓÙØ 1 i r ÓÒ h h, s i (h) = h α i (h)h i.

5 Ä ÖÓÙÔ Ï ÝÐ ÔÖ ÖÚ º ÇÒ ÔÓ R = Wπ ³ Ø Ð³ Ò Ñ Ð Ö Ò Ö ÐÐ º ÇÒ ÔÓ R + = R + Ø ÔÓÙÖ β = wα i R + ÓÒ ÔÓ s β = ws i w 1 W ÕÙ Ø Ò Ô Ò ÒØ Ù Ó Ü Ù ÓÙÔÐ (w, α i ) Ú Ö ÒØ β = wα i µ Ø β = wh i hº ÈÓÙÖ ØÓÙØ Ð Ñ ÒØ w W ÓÒ Ò Ø Ð³ Ò Ñ Ð (w) ÒÚ Ö ÓÒ w Ô Ö (w) = + w 1 º ÇÒ Ü ÙÒ Ö Ù h Z h Ø Ð ÕÙ (i) h Z Z C = h (ii) h i h Z ÔÓÙÖ ØÓÙØ 1 i r (iii) h Z / r i=1 Zh i Ø Ò ØÓÖ ÓÒ (iv) α i h Z = Hom(h Z, Z) h µ ÔÓÙÖ ØÓÙØ 1 i rº ÇÒ Ó Ø ÔÓ ÓÒ Ñ ÒØ ÙÜ ρ i h Z 1 i rµ ÕÙ Ú Ö ÒØ ρ i(h j ) = δ i,j ÔÓÙÖ ØÓÙØ 1 i, j rº ÇÒ ÔÓ ρ = r i=1 ρ iº ¾º¾º ÖÓÙÔ Ã ¹ÅÓÓ Ý Ø Ú Ö Ø Ö Ô Ùܺ ÇÒ ÒÓØ G = G(A) Ð ÖÓÙÔ Ã ¹ÅÓÓ Ý Ó g Ô Ö Ã Ø È Ø Ö ÓÒ Ò ½ º ÇÒ ÒÓØ e г Ð ¹ Ñ ÒØ Ò ÙØÖ Gº Ò Ð Ò G Ø ÙÒ ÖÓÙÔ Ä Ñ ¹ ÑÔÐ ÓÑÔÐ Ü ÓÒÒ Ü Ø ÑÔÐ Ñ ÒØ ÓÒÒ Ü º ÇÒ ÒÓØ H B G Ð ÓÙ ¹ ÖÓÙÔ G Ó Ö Ô Ø Ú Ñ ÒØ h Ø bº ËÓ Ø K Ð ÓÖÑ ÙÒ Ø Ö Ø Ò Ö G Ø T = K H Ð ØÓÖ ÓÑÔ Ø Ñ Ü Ñ Ð K Ó hº ÇÒ ÒÓØ t h г Ð Ö Ä T º Ä Ö Ò α i Ø Ð ÔÓ ÓÒ Ñ ÒØ ÙÜ ρ i ÔÔ ÖØ ÒÒ ÒØ it ËÓ Ø N G (H) Ð ÒÓÖÑ Ð Ø ÙÖ H Ò G Ð ÖÓÙÔ ÕÙÓØ ÒØ N G (H)/H ³ ÒØ W º ÇÒ ÔÓ X = G/B = K/T º ³ Ø ÙÒ Ú Ö Ø Ö Ô ÙÜ Ò Ö Ð º ÇÒ Ø Ö G ÙÖ X Ô Ö ÑÙÐØ ÔÐ Ø ÓÒ Ù ÕÙ Ò Ù Ø ÙÒ Ø ÓÒ B H Ø T ÙÖ Xº ij Ò Ñ Ð ÔÓ ÒØ Ü T Ò X ³ ÒØ W º ÈÓÙÖ w W ÓÒ Ò Ø C(w) = B BwB Ø ÔÓÙÖ ØÓÙØ Ö Ò ÑÔÐ α ÓÒ Ò Ø Ð ÓÙ ¹ ÖÓÙÔ P α G Ô Ö P α = C(s α )º ÇÒ Ð ÓÑÔÓ Ø ÓÒ ÖÙ Ø G = w W BwB Ø ÓÒ ÔÓ X w = BwB/B X = w W X wº ÈÓÙÖ ØÓÙØ w W Ð ÐÐÙÐ Ë Ù ÖØ X w Ø ÓÑÓÖÔ R 2l(w) º ÇÒ Ó Ø ÒØ Ò ÙÒ ÓÑÔÓ Ø ÓÒ ÐÐÙÐ Ö Ì¹ ÒÚ Ö ÒØ X Ó ØÓÙØ Ð ÐÐÙÐ ÓÒØ Ñ Ò ÓÒ Ô Ö º ÈÓÙÖ ØÓÙØ w W Ð Ú Ö Ø Ë Ù ÖØ X w Ø Ð³ Ö Ò Ð ÐÐÙÐ X w º ³ Ø ÙÒ ÓÙ ¹Ú Ö Ø ÖÖ ÙØ Ð Ø T ¹ ÒÚ Ö ÒØ X Ñ Ò ÓÒ Ö ÐÐ 2l(w)º Ä Ú Ö Ø Ë Ù ÖØ Ò ÓÒØ Ô Ð Ò Ò Ö Ðº ÈÓÙÖ ØÓÙØ w W ÓÒ Ð ÓÑÔÓ Ø ÓÒ Ù Ú ÒØ X w = X w. w w

6 ¾º º Ä ÑÓÒÓ Wº ÇÒ Ò Ø Ð ÑÓÒÓ W ÓÑÑ Ð ÑÓÒÓ Ò Ò Ö Ô Ö Ð Ð Ñ ÒØ {s i } 1 i r ÓÙÑ ÙÜ Ö Ð Ø ÓÒ s 2 i = s i Ø ÙÜ Ö Ð Ø ÓÒ ØÖ W s i s j }{{} m i,j termes Ó m i,j Ø Ð³ÓÖ Ö s i s j Ò W º s 2 i = s i = s j s i }{{} m i,j termes sim i,j <, ³ ÔÖ Ð³ ØÙ Ò Ö Ð Ð Ö À ÚÓ Ö ½ µ г Ò Ñ Ð W ³ ÒØ Ð³ Ò Ñ Ð W º ÈÓÙÖ ÙÒ Ð Ñ ÒØ w W ÓÒ ÒÓØ w г Ð Ñ ÒØ ÓÖÖ ÔÓÒ ÒØ Ò W Ò Ô Ö w = s i1 s il w = s i1 s il Ø ÙÒ ÓÑÔÓ Ø ÓÒ Ö Ù Ø w Ø ÔÓÙÖ v W ÓÒ ÒÓØ v г Ð Ñ ÒØ Ó Ò W º Ò W ÓÒ Ð Ö Ð Ø ÓÒ Ù Ú ÒØ ½µ { w si = ws i si ws i > w, w s i = w si ws i < w. ¾µ { si w = s i w si s i w > w, s i w = w si s i w < w. º ÌÓÙÖ ÓØØ Ø Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ ËÓ Ø N 1 ÙÒ ÒØ Ö Ò ØÙÖ Ðº ÇÒ ÔÓ E = {0, 1} N º ÈÓÙÖ ǫ = (ǫ 1, ǫ 2,...,ǫ N ) E ÓÒ ÒÓØ π + (ǫ) г Ò Ñ Ð ÒØ Ö i {1, 2,..., N} Ø Ð ÕÙ ǫ i = 1 Ø π (ǫ) г Ò Ñ Ð ÒØ Ö i {1, 2,..., N} Ø Ð ÕÙ ǫ i = 0º ÇÒ ÔÔ ÐÐ ÐÓÒ Ù ÙÖ ǫ ÒÓØ l(ǫ) Ð Ö Ò Ð π + (ǫ)º ÈÓÙÖ 1 i N ÓÒ ÒÓØ (i) E г Ð Ñ ÒØ E Ò Ô Ö (i) j = δ i,j º ÇÒ Ò Ø Ð Ð Ñ ÒØ (0) Ø (1) E Ô Ö (0) j = 0 Ø (1) j = 1 ÔÓÙÖ ØÓÙØ jº ÇÒ ÑÙÒ Ø E ³ÙÒ ØÖÙØÙÖ ÖÓÙÔ Ò ÒØ ÒØ {0, 1} Ú Z/2Zº ÈÓÙÖ ØÓÙØ ÒØ Ö 1 n N ÓÒ ÔÓ (n) = (1) + (2) + + (n) Eº ÇÒ Ò Ø ÙÒ ÓÖ Ö Ô ÖØ Ð ÙÖ E Ô Ö ǫ ǫ π + (ǫ) π + (ǫ ). º½º ÌÓÙÖ ÓØغ Ä Ò Ø ÓÒ Ø Ð Ö ÙÐØ Ø Ø ÓÒ º½º½ Ø º½º¾ ÓÒØ ÜÔÓ ÔÐÙ Ò Ø Ð Ò ½ º º½º½º Ò Ø ÓÒº Ä ØÓÙÖ ÓØØ ÓÒØ Ú Ö Ø ÓÑÔÐ Ü ÓÑÔ Ø Ø Ð ÓÒ ØÖÙ Ø Ð Ñ Ò Ö Ù Ú ÒØ ËÓ Ø L 2 ÙÒ Ö Ò ÖÓ Ø ÓÐÓÑÓÖÔ ÙÖ CP 1 º ÇÒ ÔÓ Y 2 = P(1 L 2 ) Ó 1 Ø Ð Ö Ò ÖÓ Ø ØÖ Ú Ð Ù Ù CP 1 º Ä Ú Ö Ø Y 2 Ø ÙÒ Ö Ù Ù Y 1 = CP 1 Ö CP 1 ³ Ø ÙÒ ÙÖ À ÖÞ ÖÙ º ÇÒ Ô ÙØ Ø Ö Ö ÔÖÓ Ù Ð³ Ö Ò ÖÓ Ø ÒÓØ L 2,L 3,...,L N º ÕÙ Ø Ô Ð Ú Ö Ø Y j Ø

7 ÙÒ Ö Ù Ù Y j 1 Ö CP 1 º ÇÒ Ó Ø ÒØ ÐÓÖ Ð Ö ÑÑ Ù Ú ÒØ Ó ÔÓÙÖ ØÓÙØ 2 j N L j Ø ÙÒ Ö Ò ÖÓ Ø Ù Ù Y j 1 µ {un point} = Y 0 CP 1 = Y 1 π 1 P(1 L 2 ) = Y 2 π 2 º ºº P(1 L N ) = Y N π N Y N 1 ÕÙ Ø Ô ÓÒ ÙÜ Ø ÓÒ Ô ÖØ ÙÐ Ö s 0 j : Y j 1 Y j Ø s j Ò Ô Ö s 0 j (x) = (x, [1, 0]) Ø s j (x) = (x, [0, 1])º : Y j 1 Y j È Ö Ò Ø ÓÒ ÙÒ ØÓÙÖ ÓØØ Ñ Ò ÓÒ N Ø ÙÒ Ñ ÐÐ {Y j, π j, s 0 j, s j } 1 j N Ù ³ÙÒ Ö ÑÑ Ù ØÝÔ ÔÖ Òغ ÇÒ Ø ÕÙ ÙÜ ØÓÙÖ ÓØØ {Y j, π j, s 0 j, s j } 1 j N Ø {Y j, π j, s 0 j, s j } 1 j N ÓÒØ ÓÑÓÖÔ ³ Ð Ü Ø N ÓÑÓÖÔ Ñ ÓÐÓÑÓÖÔ {F j : Y j Y j} 1 j N ÕÙ ÓÑÑÙØ ÒØ Ú Ð ÔÔÐ Ø ÓÒ π j s 0 j s j Ø π j s 0 j s j º Ü ÑÔÐ º½º CP 1 CP 1 Æ Ó µ Ø ÙÒ ØÓÙÖ ÓØØ Ñ Ò ÓÒ Nº º½º¾º Ð ³ ÓÑÓÖÔ Ñ ØÓÙÖ ÓØغ ÇÒ ÓÒÒ ÙÒ Ð Ø ³ ÒØ Ö C = {c i,j } 1 i<j N º ÇÒ ÓÒ Ö R N ÑÙÒ ÒÓÒ ÕÙ (e 1, e 2,...,e N ) Ø ÓÒ Ò Ø N Ð Ñ ÒØ v 1, v 2,..., v N R N Ô Ö Ð ÓÖÑÙÐ Ù Ú ÒØ v N = e N, v N 1 = e N 1 c N 1,N e N, º v 1 = e 1 c 1,2 e 2 c 1,N e N. ÇÒ Ò Ø Ð³ Ú ÒØ Ð Σ C R N ÓÑÑ Ð Ö ÙÒ ÓÒ ØÓÙ Ð Ò Ò Ò Ö Ô Ö Ð Ú Ø ÙÖ ÓÙ ¹ Ò Ñ Ð Λ {e 1, e 2,..., e N, v 1, v 2,...,v N } Ø Ð ÕÙ e i Λ ÐÓÖ v i / Λº ÇÒ ÒÓØ ÐÓÖ Y C Ð Ú Ö Ø ØÓÖ ÕÙ Ó Ð³ Ú ÒØ Ð Σ C ÚÓ Ö ÓÙ ¾ Ô ØÖ 6µ ³ ع¹ Ö Ð ÕÙÓØ ÒØ (C 2 \(0, 0)) N Ô Ö Ð³ Ø ÓÒ ÖÓ Ø (C ) N Ó Ð i¹ Ñ Ø ÙÖ (C ) N Ø ÙÖ (C 2 \ (0, 0)) N Ô Ö µ (z 1, w 1,..., z i 1, w i 1, z i, w i, z i+1, w i+1,..., z N, w N )a i = (z 1, w 1,...,z i 1, w i 1, z i a i, w i a i, z i+1, w i+1 a ci,i+1 i,...,z N, w N a ci,n i ).

8 ÇÒ Ó Ø ÒØ Ò ÙÒ Ú Ö Ø ÓÑÔÐ Ü Ñ Ò ÓÒ Nº Ä Ú Ö Ø Y C Ø ÓÑÔ Ø Ö Ð³ Ú ÒØ Ð Σ C Ø ÓÑÔÐ Ø Ò R N º º Ð Ö ÙÒ ÓÒ Ò Σ C Ø Ð R N µ Ø Ð Ö Ð³ Ú ÒØ Ð Σ C Ø Ö ÙÐ Ö º º Ð Ò Σ C ÓÒØ Ò Ò Ö Ô Ö Ð Ñ ÒØ Ù Ö Ù Z N R N ÕÙ Ô ÙÚ ÒØ ØÖ ÓÑÔÐ Ø Ò ÙÒ Z N µº ÇÒ ÒÓØ [z 1, w 1,...,z N, w N ] Ð Ð (z 1, w 1,..., z N, w N ) Ò Y C º ËÓ Ø ǫ Eº ÇÒ ÒÓØ {i 1 < i 2 < < i k } Ð Ð Ñ ÒØ π + (ǫ)º ÇÒ Ò Ø ÐÓÖ ÙÒ Ð Ø ³ ÒØ Ö C(ǫ) = {d i,j (ǫ)} 1 i<j k Ô Ö d l,m (ǫ) = c il,i m º Ò Ô ÖØ ÙÐ Ö ÔÓÙÖ ØÓÙØ ÒØ Ö 1 n N ÓÒ ÔÓ C n = C((n)) = {c i,j } 1 i<j n º ÈÓÙÖ ØÓÙØ 2 n N Y Cn Ø ÙÒ Ö Ù Ù Y Cn 1 Ö CP 1 º Ò Ø ÓÒ Ò Ø ÙÒ Ö Ò ÖÓ Ø L(C n 1, c 1,n, c 2,n,...,c n 1,n ) ÙÖ Y Cn 1 Ô Ö L(C n 1, c 1,n, c 2,n,...,c n 1,n ) = (C 2 \ (0, 0)) n 1 (C ) n 1 C Ó Ð i¹ Ñ Ø ÙÖ (C ) n 1 Ø Ô Ö ((z 1, w 1,...,z n 1, w n 1 ), v)a i = ((z 1, w 1,..., z n 1, w n 1 )a i, a ci,n i v). Á г Ø ÓÒ a i ÙÖ (z 1, w 1,...,z n 1, w n 1 ) Ø ÓÒÒ Ô Ö (z 1, w 1,..., z i 1, w i 1, z i, w i, z i+1, w i+1,..., z n 1, w n 1 )a i = (z 1, w 1,..., z i 1, w i 1, z i a i, w i a i, z i+1, w i+1 a ci,i+1 i,..., z n 1, w n 1 a ci,n 1 i ). ÇÒ Ú Ö ÑÑ Ø Ñ ÒØ ÕÙ³ÓÒ Ò P(1 L n ) = Y Cn Ó 1 Ò Ð Ö Ò ÖÓ Ø ØÖ Ú Ð Ù Ù Y Cn 1 Ø Ó L n Ò Ð Ö L(C n 1, c 1,n, c 2,n,...,c n 1,n )º Ë ÓÒ Ò Ø π n : Y Cn Y Cn 1 Ô Ö π n ([z 1, w 1,...,z n 1, w n 1, z n, w n ]) = [z 1, w 1,..., z n 1, w n 1 ], Ð Ú Ö Ø Y C Ø ÐÓÖ ÓÒ ØÖÙ Ø Ð³ Ö Ø ÓÒ Ù Ú Ö CP 1 ÐÓÒ Ð Ö ÑÑ Ù Ú ÒØ º ºº P(1 L N ) = Y CN = Y C π N Y CN 1 {un point} = Y 0 CP 1 = Y C1 π 1 P(1 L 2 ) = Y C2 π 2 Ë ÓÒ Ò Ø s 0 j : Y j 1 Y j Ø s j : Y j 1 Y j ÓÑÑ Ò Ð Ø ÓÒ ÔÖ ÒØ ÐÓÖ Ð Ñ ÐÐ {Y Cj, π j, s 0 j, s j } 1 j N Ø ÓÒ ÙÒ ØÓÙÖ ÓØØ Ñ Ò ÓÒ N Ø ÓÒ Ó Ø ÒØ Ò ÙÒ ÔÔÐ Ø ÓÒ µ Z N(N 1)/2 { Ð ³ ÓÑÓÖÔ Ñ ØÓÙÖ ÓØØ Ñ Ò ÓÒ N},

9 ÕÙ C Z N(N 1)/2 Ó Y C Ø ÔÓÙÖ ØÓÙØ ØÓÙÖ ÓØØ Y C Ò Ð³ Ñ ÙÒ ÔÔÐ Ø ÓÒ µ Z N { Ð ³ ÓÑÓÖÔ Ñ Ö Ò ÖÓ Ø ÓÐÓÑÓÖÔ ÙÖ Y C }, ÕÙ (m 1, m 2,..., m N ) Z N Ó Ð Ö L(C, m 1, m 2,...,m N ) ÙÖ Y C º Ä Ö ÙÐØ Ø Ù Ú ÒØ Ø ÐÓÖ ÔÖÓÙÚ Ò ½ ÈÖÓÔÓ Ø ÓÒ º¾º Ä ÔÔÐ Ø ÓÒ Ø ÓÒØ Ø ÓÒ º º½º º Ø ÓÒ ÖÓÙÔ ÙÖ Ð ØÓÙÖ ÓØغ ÈÓÙÖ ØÓÙØ 1 i N ÓÒ Ø Ö D C = (C ) N ³ Ð Ö Ä d C C N µ ÙÖ Y Ci Ô Ö µ (e λ1(d), e λ2(d),..., e λn(d) )[z 1, w 1, z 2, w 2,..., z i, w i ] = [z 1, e λ1(d) w 1, z 2, e λ2(d) w 2,...,z i, e λi(d) w i ], Ó λ k d C Ø Ò Ô Ö λ k((d 1, d 2,..., d N )) = d k º ij Ø ÓÒ D C ÙÖ Y Ci Ò Ù Ø ÙÒ Ø ÓÒ D = (S 1 ) N ³ Ð Ö Ä d ir N d C µ ÙÖ Y Ci º Ä λ k ÓÒØ Ò id º ÈÓÙÖ ØÓÙØ 2 i N ÓÒ Ø Ö D C Ø Ô Ö Ö ØÖ Ø ÓÒ Dµ ÙÖ L i Ô Ö µ (e λ1(d), e λ2(d),..., e λn(d) )[z 1, w 1, z 2, w 2,..., z i 1, w i 1, v] = [z 1, e λ1(d) w 1, z 2, e λ2(d) w 2,...,z i 1, e λi 1(d) w i 1, e λi(d) v]. ÔÐÙ ÓÒ ÒÓØ L 1 C Ð Ö Ò ÖÓ Ø ØÖ Ú Ð ÙÖ Ð ÔÓ ÒØ Ø ÓÒ Ø Ö D C ÙÖ L 1 Ô Ö Ä Ð ÑÑ Ù Ú ÒØ Ø ÑÑ Ø (e λ1(d), e λ2(d),..., e λn(d) )v = e λ1(d) v. Ä ÑÑ º º ÈÓÙÖ ØÓÙØ 1 i N г Ø ÓÒ D C ÙÖ Y Ci = P(1 L i ) Ø Ò Ù Ø Ô Ö Ð³ Ø ÓÒ D C ÙÖ L i º ÔÐÙ Ð ÔÔÐ Ø ÓÒ π i ÓÒØ D C ¹ ÕÙ Ú Ö ÒØ º Ò ØÓÙØ Ð Ù Ø ÓÒ ÙÔÔÓ ÓÒÒ ÙÒ Ð Ø ³ ÒØ Ö C Ø ÓÒ ÒÓØ Y Ù Ð Ù Y C µ Ð ØÓÙÖ ÓØØ Ó Cº º½º º ÓÑÔÓ Ø ÓÒ ÐÐÙÐ Ö º ÇÒ Ò Ø ÙÒ ÓÑÔÓ Ø ÓÒ ÐÐÙÐ Ö Y Ò¹ Ü Ô Ö E Ð Ñ Ò Ö Ù Ú ÒØ ÈÓÙÖ ǫ E ÓÒ ÒÓØ Y ǫ Y г Ò Ñ Ð Ð [z 1, w 1,..., z N, w N ] ÕÙ Ú Ö ÒØ ÔÓÙÖ ØÓÙØ ÒØ Ö i ÓÑÔÖ ÒØÖ 1 Ø N w i = 0 si ǫ i = 0, w i 0 si ǫ i = 1. ÇÒ Ú Ö ÑÑ Ø Ñ ÒØ ÕÙ ØØ Ò Ø ÓÒ Ø Ò ÓÑÔ Ø Ð Ú Ð³ Ø ÓÒ (C ) N ÙÖ (C 2 \ (0, 0)) N Ò Ô Ö Ð³ ÕÙ Ø ÓÒ º

10 ÈÓÙÖ ǫ E Ø 1 k < l N ÓÒ ÔÓ c k,l (ǫ) = c k,l + k < i 1 < < i m < l m > 0, i j π + (ǫ) ( 1) m+1 c k,i1 c i1,i 2 c im,l. ÒÓÑ Ö ÓÒØ Ð Ñ ÒØ ÓÒÒ Ô Ö Ö ÙÖÖ Ò ÙÖ l k > 0 Ô Ö Ð Ö Ð Ø ÓÒ Ù Ú ÒØ c k,k+1 (ǫ) = c k,k+1 pour 1 k N 1, µ c k,l (ǫ) = c k,l k < m < l c m,l c k,m (ǫ) pour 1 k < l N, m π + (ǫ) Ó Ô Ö ÓÒÚ ÒØ ÓÒ = 0º ÈÓÙÖ ǫ E Ø i {1, 2,..., N} ÓÒ Ò Ø λ i (ǫ) d C Ô Ö λ i (ǫ) = ( 1) ǫi+1( ) λ i + c j,i (ǫ)λ j. j<i,j π +(ǫ) ÇÒ ÑÓÒØÖ ÐÓÖ Ð Ñ ÒØ Ð ÔÖÓÔÓ Ø ÓÒ Ù Ú ÒØ ÈÖÓÔÓ Ø ÓÒ º º (i) ÈÓÙÖ ØÓÙØ ǫ E Y ǫ Ø ÙÒ Ô Ò ÓÑÔÐ Ü Ñ Ò ÓÒ l(ǫ) Ø Ð Ó٠г Ø ÓÒ Ð Ò Ö Ù ØÓÖ D C º (ii) ÈÓÙÖ ØÓÙØ ǫ E Y ǫ = ǫ ǫ Y ǫ º (iii) Y = ǫ E Y ǫº (iv) ÈÓÙÖ ØÓÙØ ǫ E Ð ÓÙ ¹Ú Ö Ø Y ǫ ³ ÒØ Ð Ú Ö Ø Y C(ǫ) Ø Ø ÓÒ ÙÒ ÓÙ ¹Ú Ö Ø ÖÖ ÙØ Ð Ð Y º ÔÐÙ ÒÓÙ ÐÐÓÒ ÚÓ Ö Ó Ò Ù Ð ÑÑ Ù Ú ÒØ ÓÒØ Ð ÑÓÒ ØÖ Ø ÓÒ Ø ÑÑ Ø Ä ÑÑ º º (i) ij Ò Ñ Ð Y D ÔÓ ÒØ Ü Y Ó٠г Ø ÓÒ D Ø ÓÒ Ø ØÙ 2 N ÔÓ ÒØ [z 1, w 1, z 2, w 2,...,z N, w N ], où (z i, w i ) {(1, 0), (0, 1)}. ÇÒ ÒØ ÓÒ Y D Ú E Ò ÒØ ÒØ (1, 0) Ú 0 Ø (0, 1) Ú 1º Ä ÔÓ ÒØ Ü ǫ Y D Ø Ð³ÙÒ ÕÙ ÔÓ ÒØ Ü Y ǫ º (ii) ËÓ Ø (ǫ, ǫ ) E 2 ÐÓÖ ǫ Y ǫ ǫ ǫ, Ø Ò ÓÒ ÒÓØ Tǫ ǫ г Ô Ø Ò ÒØ Y ǫ Ò ǫ Ð ÔÓ Ð Ö ÔÖ ÒØ Ø ÓÒ D Ò Tǫ ǫ Ò Ù Ø Ô Ö Ð³ Ø ÓÒ D ÙÖ Y ÓÒØ Ð {λ i(ǫ)} i π+(ǫ )º º¾º Î Ö Ø ÓØØ¹Ë Ñ Ð ÓÒº ÇÒ ÙØ Ð Ð ÒÓØ Ø ÓÒ Ð Ø ÓÒ ¾º ÈÓÙÖ ÔÐÙ Ø Ð ÙÖ Ð Ú Ö Ø ÓØØ¹Ë ÐÑ Ð ÓÒ ÓÒ ÔÓÙÖÖ ÓÒ ÙÐØ Ö ½ º ½¼

11 º¾º½º Ò Ø ÓÒº ÓÒ ÖÓÒ ÙÒ Ù Ø N Ö Ò ÑÔÐ µ 1 º º º µ N ÒÓÒ Ò Ö Ñ ÒØ Ø ÒØ º ÇÒ Ò Ø Γ(µ 1,...,µ N ) = P µ1 B P µ2 B B P µn /B, ÓÑÑ Ð³ Ô ÓÖ Ø B N Ò P µ1 P µ2 P µn Ó٠г Ø ÓÒ ÖÓ Ø B N Ò Ô Ö (g 1, g 2,..., g N )(b 1, b 2,...,b N ) = (g 1 b 1, b 1 1 g 2b 2,..., b 1 N 1 g Nb N ), b i B, g i P µi. ÇÒ Ó Ø ÒØ Ò ÙÒ Ú Ö Ø ÔÖÓ Ø Ú ÖÖ ÙØ Ð Ø Ð º ÇÒ ÒÓØ [g 1, g 2,...,g N ] Ð Ð (g 1, g 2,..., g N ) Ò Γ(µ 1,..., µ N )º ÇÒ ÒÓØ g µi P µi ÙÒ Ö ÔÖ ÒØ ÒØ ÕÙ ÐÓÒÕÙ Ð Ö Ü ÓÒ N Pµi (H)/H Z/2Zº ÇÒ Ò Ø ÙÒ Ø ÓÒ Ù B ÙÖ Γ Ô Ö b[g 1, g 2,..., g N ] = [bg 1, g 2,..., g N ], b B, g i P µi. È Ö Ö ØÖ Ø ÓÒ ÓÒ Ó Ø ÒØ Ò ÙÒ Ø ÓÒ H Ø T º º¾º¾º ÓÑÔÓ Ø ÓÒ ÐÐÙÐ Ö º ÈÓÙÖ ǫ E ÓÒ ÒÓØ Γ ǫ Γ Ð³ Ò Ñ Ð Ð [g 1, g 2,...,g N ] ÕÙ Ú Ö ÒØ ÔÓÙÖ ØÓÙØ ÒØ Ö i ÓÑÔÖ ÒØÖ 1 Ø N g i B si ǫ i = 0, g i / B si ǫ i = 1. ÇÒ Ú Ö ÑÑ Ø Ñ ÒØ ÕÙ ØØ Ò Ø ÓÒ Ø Ò ÓÑÔ Ø Ð Ú Ð³ Ø ÓÒ B N º ÈÓÙÖ ǫ E Ø 1 i N ÓÒ Ò Ø v i (ǫ) = 1 k i, k π + (ǫ) Ó Ô Ö ÓÒÚ ÒØ ÓÒ = 1º ÇÒ ÔÓ v(ǫ) = v N(ǫ)º ÓÒØ Ð Ñ ÒØ W º s µk, ÔÐÙ ÓÒ ÔÓ α i (ǫ) = v i (ǫ)µ i ³ Ø ÙÒ Ö Ò º ÇÒ Ò Ø Ñ Ñ v(ǫ) = 1 k N, k π + (ǫ) s µk W. ÇÒ ÑÓÒØÖ ÐÓÖ Ð Ñ ÒØ Ð ÔÖÓÔÓ Ø ÓÒ Ù Ú ÒØ ÈÖÓÔÓ Ø ÓÒ º º (i) ÈÓÙÖ ØÓÙØ ǫ E Γ ǫ Ø ÙÒ Ô Ò ÓÑÔÐ Ü Ñ Ò ÓÒ l(ǫ) Ø Ð Ó٠г Ø ÓÒ B Ø ØØ Ø ÓÒ Ò Ù Ø ÙÒ Ø ÓÒ Ð Ò Ö Ù ØÓÖ H ÙÖ Γ ǫ º (ii) ÈÓÙÖ ØÓÙØ ǫ E Γ ǫ = ǫ ǫ Γ ǫ º (iii) Γ = ǫ E Γ ǫº ½½

12 (iv) ÈÓÙÖ ØÓÙØ ǫ E Γ ǫ ³ ÒØ Ð Ú Ö Ø Γ(µ i, i π + (ǫ)) Ø Ø ÓÒ ÙÒ ÓÙ ¹Ú Ö Ø ÖÖ ÙØ Ð Ð Γº ËÓ Ø Γ T г Ò Ñ Ð ÔÓ ÒØ Ü T Ò Γ ÓÒ Ô ÙØ ÒØ Ö Γ T Ú E Ö Ù Ð ÑÑ Ù Ú ÒØ Ä ÑÑ º º (i) ij Ò Ñ Ð Γ T Ø ÓÒ Ø ØÙ 2 N ÔÓ ÒØ [g 1, g 2,..., g N ], Ó g i {e, g µi }. ÇÒ ÒØ ÓÒ Γ T Ú E Ò ÒØ ÒØ e Ú 0 Ø g µi Ú 1º (ii) ÈÓÙÖ ØÓÙØ ǫ E Ð ÔÓ ÒØ Ü ǫ Ø Ð³ÙÒ ÕÙ ÔÓ ÒØ Ü Γ ǫ º º¾º º Ä Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ ÓÒØ ØÓÙÖ ÓØغ ËÓ Ø τ : d C h г ÔÔÐ Ø ÓÒ Ò Ô Ö τ(λ i ) = µ i º ÐÐ ÒÚÓ d Ò t º ËÓ Ø s t г Ñ d Ô Ö τ Ø Ó Ø s C h г Ñ d C º ÇÒ Ð ÙÜ Ù Ø Ù Ú ÒØ Ó Ð ÔÖ Ñ Ö ÓÒØ ÙÖ Ø Ú Ø Ð ÙÜ Ñ Ò Ø Ú µ d τ s t, d τ C s C h. ÇÒ Ò Ù Ø Ð Ù Ø Ù Ú ÒØ ÙÖ Ð ØÓÖ ÓÑÔÐ Ü H S C γ D C. ÇÒ ÓÒØ ÒÙ ÒÓØ Ö γ Ð ÑÓÖÔ Ñ H Ò D C Ò Ò º ÇÒ Ð Ñ ÒØ Ð Ù Ø Ù Ú ÒØ ÙÖ Ð ØÓÖ ÓÑÔ Ø T S γ D. ij Ø ÓÒ h H ÙÖ Γ Ø ÒØ ÓÒÒ Ô Ö Ð ÓÖÑÙÐ h[g 1, g 2,...,g N ] = [hg 1 h 1, hg 2 h 1,...,,hg N h 1 ], Ð ØÓÖ H Ø ÙÖ Γ Ú ÓÒ Ñ S C º Ë N = 1 Γ(µ 1 ) Ø ÓÑÓÖÔ CP 1 º ÔÐÙ N 2 Γ(µ 1,...,µ N ) Ø ÙÒ Ö Ø ÓÒ Ù Ù Γ(µ 1,..., µ N 1 ) Ö CP 1 º Ò Ø ÓÒ Ô ÙØ ÒØ Ö Ð Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ Γ ÙÒ ØÓÙÖ ÓØØ Ö Ð ÔÖÓÔÓ Ø ÓÒ Ù Ú ÒØ ÚÓ Ö ½ Ø ¾¾ ÔÓÙÖ ÔÐÙ Ø Ð µ ÈÖÓÔÓ Ø ÓÒ º º ÁÐ Ü Ø ÙÒ ÓÑÓÖÔ Ñ Ú Ö Ø C µ φ ÒØÖ Ð Ú Ö Ø Γ(µ 1, µ 2,..., µ N ) Ø Ð ØÓÙÖ ÓØØ Y C Ú C = {c j,k } 1 j<k N Ó c j,k Ø Ò Ô Ö c j,k = µ k (µ j )º Ä Ð Ø C Ø ÓÒ ÙÒ Ò Ñ Ð ÒÓÑ Ö ÖØ Ò Ô Ò ÒØ Ù Ó Ü Ð Ù Ø µ 1, µ 2,...,µ N º ÔÐÙ (h, x) H Γ, φ(hx) = γ(h)φ(x), ½¾

13 Ø Ð³ Ø ÓÒ H ÙÖ Γ ³ ÒØ ÓÒ ÐÐ ³ÙÒ ÓÙ ¹ØÓÖ D C ÙÖ Y C º ÇÒ Ú Ö Ö Ð ÓÒ ØÖÙØ ÓÒ φ ÚÓ Ö ¾¾ µ ÕÙ φ ÒÚÓ Γ ǫ ÙÖ Y ǫ Ø Ð ÔÓ ÒØ ǫ Γ T ÙÖ Ð ÔÓ ÒØ ǫ Y D º Ä ØÓÖ T Ø ÙÖ Γ Ú ÓÒ Ñ S Ø ÓÒ (t, x) T Γ, φ(tx) = γ(t)φ(x). ij Ø ÓÒ T ÙÖ Γ ³ ÒØ ÓÒ ÐÐ ³ÙÒ ÓÙ ¹ØÓÖ D ÙÖ Y C º º Ã¹Ø ÓÖ ÕÙ Ú Ö ÒØ º½º Ò Ø ÓÒ º ËÓ Ø U C ÙÒ ØÓÖ ÓÑÔÐ Ü ³ Ð Ö Ä u C Ø Ó Ø U U C Ð ØÓÖ ÓÑÔ Ø Ñ Ü Ñ Ð U C º ÇÒ ÒÓØ u u C г Ð Ö Ä Uº ÇÒ ÒÓØ X[U] Ð ÖÓÙÔ Ö Ø Ö U Ø ÓÒ ÔÓ R[U] = Z[X[U]]º ÇÒ ÒÓØ Q[U] Ð ÓÖÔ Ö Ø ÓÒ R[U]º ÈÓÙÖ ØÓÙØ ÔÓ ÒØ Ö α iu u C ÓÒ ÒÓØ eα : U S 1 Ð Ö Ø Ö ÓÖÖ ÔÓÒ¹ Òغ ËÓ Ø Z ÙÒ Ô ØÓÔÓÐÓ ÕÙ ÓÑÔ Ø ÑÙÒ ³ÙÒ Ø ÓÒ ÓÒØ ÒÙ Uº ÇÒ Ò Ø Ð K¹Ø ÓÖ U¹ ÕÙ Ú Ö ÒØ Z ÓÑÑ Ð ÖÓÙÔ ÓÒ ØÖÙ Ø Ô ÖØ Ö Ù Ñ ¹ ÖÓÙÔ Ð ³ ÓÑÓÖÔ Ñ Ö Ú ØÓÖ Ð ÓÑÔÐ Ü Ñ Ò ÓÒ Ò U¹ ÕÙ Ú Ö ÒØ Ù Ù Zº ÇÒ ÑÙÒ Ø ÖÓÙÔ ³ÙÒ ØÖÙØÙÖ ³ ÒÒ Ù Ò Ð³ Ù ÔÖÓ Ù Ø Ø Ò ÓÖ Ðº ÔÐÙ ÓÑÑ Ð K¹Ø ÓÖ U¹ ÕÙ Ú Ö ÒØ Ù ÔÓ ÒØ ³ ÒØ R[U] ÓÒ Ó Ø ÒØ ÙÒ ØÖÙØÙÖ R[U]¹ Ð Ö ÕÙ³ÓÒ ÒÓØ K U (Z)º ÌÓÙØ ÔÔÐ Ø ÓÒ g : Z 1 Z 2 ÓÒØ ÒÙ Ø U¹ ÕÙ Ú Ö ÒØ Ò Ø ÙÒ ÑÓÖÔ Ñ R[U]¹ Ð Ö g : K U (Z 2 ) K U (Z 1 )º Ò Ô ÖØ ÙÐ Ö Ð³ ÒÐÙ ÓÒ Z U Z Ò Ø ÙÒ ÑÓÖÔ Ñ i U : K U(Z) K U (Z U ) ÔÔ Ð Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü º Ë Ð³ Ò Ñ Ð ÔÓ ÒØ Ü Z U Ø Ö Ø K U (Z U ) ³ ÒØ Ñ Ò Ö Ú ÒØ F(Z U ; R[U]) Ð R[U]¹ Ð Ö ÓÒØ ÓÒ Z U Ú Ð ÙÖ Ò R[U] ÑÙÒ Ð³ Ø ÓÒ Ø Ð ÑÙÐØ ÔÐ Ø ÓÒ ÔÓ ÒØ Ô Ö ÔÓ Òغ ÇÒ Ó Ø ÒØ ÐÓÖ ÙÒ ÑÓÖÔ Ñ i U : K U(Z) F(Z U ; R[U])º ÇÒ ÒÓØ Ð³ ÒÚÓÐÙØ ÓÒ K U (Z) Ò Ô Ö Ð Ù Ð Ø Ö Ø ÓÒ ÒÓØ Ð Ñ Ñ ÓÒ Ð³ ÒÚÓÐÙØ ÓÒ R[U] Ò ÙÖ Ð Ö Ø Ö Ô Ö (e α ) = e α ÕÙ Ò Ù Ø ÙÒ ÒÚÓÐÙØ ÓÒ F(Z U ; R[U])º ÈÓÙÖ ØÓÙØ Ð Ñ ÒØ τ K U (Z) i U (τ) = i U ( τ). º¾º ÓÖÑÙÐ ÐÓ Ð Ø ÓÒº ÇÒ ÙÔÔÓ ÕÙ Z Ø ÙÒ Ú Ö Ø ÓÑÔÐ Ü ÔÖÓ Ø Ú Ð Ñ Ò ÓÒ n ÑÙÒ ³ÙÒ Ø ÓÒ U C º ØØ Ø ÓÒ Ò Ù Ø ÐÓÖ ÙÒ Ø ÓÒ U ÙÖ Zº Ä Ú Ö Ø Z Ø ÒØ Ð Ð ÖÓÙÔ ÖÓØ Ò K 0 (U C, Z) ÓÒ ØÖÙ Ø Ô ÖØ Ö Ð ³ ÓÑÓÖÔ Ñ ÙÜ U C ¹ ÕÙ Ú Ö ÒØ Ó Ö ÒØ ÙÖ Z Ø ÓÑÓÖÔ Ù ÖÓÙÔ ÖÓØ Ò K 0 (U C, Z) ÓÒ ØÖÙ Ø Ô ÖØ Ö Ð ³ ÓÑÓÖÔ Ñ ½

14 ÙÜ U C ¹ ÕÙ Ú Ö ÒØ ÐÓ Ð Ñ ÒØ Ð Ö ÙÖ Z ÚÓ Ö Ô ØÖ 5µº ÇÒ ÒØ ÓÒ ÙÜ ÖÓÙÔ º ÇÒ ÙÒ ÑÓÖÔ Ñ ÒÓÒ ÕÙ K 0 (U C, Z) K U (Z)º ÇÒ ÙÔÔÓ ÕÙ ÑÓÖ¹ Ô Ñ Ø ÙÒ ÓÑÓÖÔ Ñ ³ Ø Ð ÔÓÙÖ Ð ØÓÙÖ ÓØØ Ø Ð Ú Ö Ø Ö Ô ÙÜ Ò Ð Ò µ Ø ÓÒ ÒØ ÙÜ ÖÓÙÔ º ÈÓÙÖ ØÓÙØ ÓÙ ¹Ú Ö Ø U C ¹ ÒÚ Ö ÒØ Z Ø ØÓÙØ Ù F K 0 (U C, Z) г Ø ÓÒ U C ÙÖ Z Ò Ù Ø ÙÒ Ø ÓÒ U C ÙÖ H k (Z, F /Z ) Ø ÓÒ Ò Ø χ(z, F) R[U] Ô Ö u U, χ(z, F)(u) = ( 1) k Tr(u; H k (Z, F /Z )). k ÇÒ ÙÔÔÓ ÔÐÙ ÕÙ Z U Ø Ò º Ò ÕÙ ÔÓ ÒØ Ü m Z U ÓÒ ÒÓØ (α m 1,...,α m n ) (iu ) n (u C )n Ð ÔÓ Ð Ö ÔÖ ÒØ Ø ÓÒ U Ò T m Z г Ô Ø Ò ÒØ Z Ò mº Ò Ð ÓÖÑÙÐ ³ Ö Ø Ð Ñ Ò Ö Ù Ú ÒØ ÈÖÓÔÓ Ø ÓÒ º½º ÈÓÙÖ ØÓÙØ Ù F ÐÓ Ð Ñ ÒØ Ð Ö Ø U C ¹ ÕÙ Ú Ö ÒØ Ù Ù Z χ(z, F) ÐÙÐ Ö Ð ÓÖÑÙÐ Ù Ú ÒØ χ(z, F) = m Z U i U (F)(m) 1 i n (1 e αm i ). º Ã¹Ø ÓÖ ÕÙ Ú Ö ÒØ ØÓÙÖ ÓØØ ÇÒ Ö ÔÖ Ò Ð ÒÓØ Ø ÓÒ Ð Ø ÓÒ º½º ËÓ Ø N 1 ÙÒ ÒØ Ö Ò ØÙÖ Ð Ø Ó Ø C = {c i,j } 1 i<j N ÙÒ Ð Ø ³ ÒØ Ö º ÇÒ ÔÓ Y = Y C º ÇÒ ÑÓÒØÖ Ô Ö Ö ÙÖÖ Ò ÙÖ Ð Ñ Ò ÓÒ Y ÚÓ Ö ½ Ó Ð Ö ÙÐØ Ø Ø ÑÓÒØÖ Ò Ð Ô ÖØ ÙÐ Ö Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒµ ÕÙ Ð ÑÓÖÔ Ñ ÒÓÒ ÕÙ K 0 (D C, Y ) K D (Y ) Ø ÙÒ ÓÑÓÖÔ Ñ º Ò Ð Ù Ø ÓÒ ÒØ ÓÒ ÙÜ ÖÓÙÔ º Ò ¾½ ÓÒ ÐÙÐ Ð Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü Ð Ð K¹Ø ÓÖ ÕÙ Ú Ö ÒØ Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ Ò Ô Ö Ù Ð Ø Ô Ö Ö ÔÔÓÖØ Ð Óѹ ÔÓ Ø ÓÒ ÐÐÙÐ Ö ÓÒ ØÖÙ Ø Ò Ð Ø ÓÒ º¾º Á ÓÒ ÓÒ ØÖÙ Ø ³ ÓÖ ÙÒ K D (Y ) г Ö Ò ÖÓ Ø ÓÖÑÙÐ ½¼µ ÓÒ ÐÙÐ Ð Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü ØØ Ø ÓÖ Ñ º µ Ø ÓÒ Ò Ù Ø ÕÙ ³ Ø Ð Ù Ð Ô Ö Ö ÔÔÓÖØ Ð ÓÑÔÓ Ø ÓÒ ÐÐÙÐ Ö ÓÒ ØÖÙ Ø Ò Ð Ø ÓÒ º½ Ø ÓÖ Ñ º µº ÇÒ Ö ØÖÓÙÚ Ö ÐÓÖ Ò Ð Ø ÓÒ Ð Ð K¹Ø ÓÖ ÕÙ Ú Ö ÒØ Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ ÙØ Ð Ò ¾½ º ÇÒ Ú ÔÐÙ ÜÔÐ Ø Ö Ð ØÖÙØÙÖ ÑÙÐØ ÔÐ Ø Ú Ð Ö º º½º ÓÒ ØÖÙØ ÓÒ ³ÙÒ º Ä ØÖÙØÙÖ Ð Ã¹Ø ÓÖ D¹ ÕÙ Ú Ö ÒØ Y Ø ÓÒÒ Ô Ö Ð ÔÖÓÔÓ Ø ÓÒ Ù Ú ÒØ ÈÖÓÔÓ Ø ÓÒ º½º ½

15 (i) Ä K¹Ø ÓÖ D¹ ÕÙ Ú Ö ÒØ Y D ³ ÒØ F(E; R[D])º (ii) Ä Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü i D K D(Y ) F(E; R[D]) Ø Ò Ø Ú º (iii) Ä K¹Ø ÓÖ D¹ ÕÙ Ú Ö ÒØ Y Ø ÙÒ R[D]¹ÑÓ ÙÐ Ð Ö Ö Ò 2 N º ÑÓÒ ØÖ Ø ÓÒº Ä ÔÓ ÒØ (i) Ø ÑÑ Øº Ä ÔÓ ÒØ (ii) Ø ÙÒ ÓÒ ÕÙ Ò (iii)º Ò Ø ³ ÔÖ Ð Ø ÓÖ Ñ ÐÓ Ð ¹ Ø ÓÒ ÚÓ Ö ¾¼ µ Ð ÑÓÖÔ Ñ K D (Y ) R[D] Q[D] F(E; Q[D]) Ò Ù Ø Ô Ö i D Ø ÙÒ ÓÑÓÖÔ Ñ º ÔÐÙ ÓÑÑ K D (Y ) Ø ÙÒ R[D]¹ÑÓ ÙÐ Ð Ö K D (Y ) ³ Ò Ø Ò K D (Y ) R[D] Q[D] Ø ÓÒ ÓÒ Ð Ö ÑÑ ÓÑÑÙØ Ø Ù Ú ÒØ ÕÙ ÔÖÓÙÚ ÕÙ i D Ø Ò Ø Ú K D (Y ) K D (Y ) R[D] Q[D] i D F(E; R[D]) F(E; Q[D]) ÈÓÙÖ ÑÓÒØÖ Ö (iii) ÓÒ Ú ÜÔÐ Ø Ö ÙÒ {ˆµ D ǫ } ǫ E Ù R[D]¹ÑÓ ÙÐ K D (Y )º ÇÒ ÔÖÓ Ô Ö Ö ÙÖÖ Ò ÙÖ N 1º ÈÓÙÖ N = 1 K S 1(P 1 ) Ø ÙÒ R[S 1 ]¹ÑÓ ÙÐ Ð Ö Ò Ò Ö Ô Ö Ð Ö Ò ÖÓ Ø ØÖ Ú Ð 1 Ø Ô Ö Ð Ö E Ò ÓÑÑ Ð Ö Ò ÖÓ Ø Ø ÙØÓÐÓ ÕÙ ÙÖ P 1 ÓÙÑ Ð³ÙÒ ÕÙ Ö Ð Ø ÓÒ E 2 = (1 + e λ1 )E e λ1 1, ÚÓ Ö ½ ÓÖÓÐÐ Ö ¾º¾º¾µº ÇÒ ÔÓ ˆµ D (0) = E Ø ˆµD (1) = 1 Eº ÇÒ ÙÔÔÓ Ð Ö ÙÐØ Ø Ú Ö ÔÓÙÖ ØÓÙØ ØÓÙÖ ÓØØ Ñ Ò ÓÒ N 1º ËÓ Ø Y = Y C Ø Y = Y CN 1 º ÐÓÖ Y = P(1 L N ) Ó L N Ø ÙÒ Ö Ò ÖÓ Ø Ù Ù Y ÚÓ Ö Ð Ø ÓÒ º¾º½ ÔÓÙÖ Ð Ò Ø ÓÒ Y CN 1 Ø L N µº ÇÒ ÒÓØ π N : Y = P(1 L N ) Y Ð ÔÖÓ Ø ÓÒ Y ÙÖ Y Ø E N K D (Y ) Ð Ö Ø ÙØÓÐÓ ÕÙ Ù Ù Y = P(1 L N )º ËÓ Ø D = (S 1 ) N 1 Ô Ö ÝÔÓØ Ö ÙÖÖ Ò K D (Y ) Ø ÙÒ R[D ]¹ÑÓ ÙÐ Ð Ö Ò Ò Ö Ô Ö ÙÒ {ˆµ D f } f {0,1} 1º ÇÒ Ò Ø ÙÒ Ø ÓÒ N D = (S1 ) N ÙÖ Y Ò ÒØ Ö Ð ÖÒ Ö ÓÑÔÓ ÒØ ØÖ Ú Ð Ñ ÒØ ÙÖ Y º ÇÒ ÐÓÖ K D (Y ) = K D (Y ) Z R[S 1 ] ÚÓ Ö ¾¼ µ Ø K D (Y ) Ø ÓÒ ÙÒ R[D]¹ÑÓ ÙÐ Ð Ö ÕÙ Ñ Ø ÓÑÑ Ð Ñ ÐÐ {ˆµ D f } f {0,1} 1 Ó ÔÓÙÖ ØÓÙØ N f {0, 1}N 1 ÓÒ ÔÓ ˆµ D f = ˆµ D f 1º Ä ÔÖÓ Ø ÓÒ π N Ø D¹ ÕÙ Ú Ö ÒØ Ø ÑÙÒ Ø ÓÒ K D (Y ) ³ÙÒ ØÖÙØÙÖ K D (Y )¹ÑÓ ÙÐ º ÓÑÑ Y = P(1 L N ) K D (Y ) Ø ÙÒ K D (Y )¹ÑÓ ÙÐ Ð Ö ½

16 Ö Ò 2 Ò Ò Ö Ô Ö Ð Ö ØÖ Ú Ð 1 Ø Ð Ö Ø ÙØÓÐÓ ÕÙ E N ÓÙÑ Ð³ÙÒ ÕÙ Ö Ð Ø ÓÒ µ E 2 N = (1 L N )E N L N 1, ÚÓ Ö ½ Ø ÓÖ Ñ ¾º¾º½ ÓÙ ¾¼ µº ËÓ Ø p : E = {0, 1} N {0, 1} N 1 Ð ÔÖÓ Ø ÓÒ ÐÓÒ Ð N 1 ÔÖ Ñ Ö ÓÓÖ ÓÒÒ ÓÒ Ó Ø ÒØ ÓÒ ÙÒ Ù R[D]¹ÑÓ ÙÐ K D (Y ) Ò ÔÓ ÒØ ˆµ D ǫ = { π N (ˆµ D p(ǫ) )E N si ǫ N = 0, π N (ˆµD p(ǫ) )(1 E N) si ǫ N = 1. ÇÒ Ú ÜÔÐ Ø Ö Ð {ˆµ D ǫ } ǫ E Ò Ò Ð ÑÓÒ ØÖ Ø ÓÒ Ð ÔÖÓÔÓ Ø ÓÒ ÔÖ ÒØ º ÇÒ Ö ÔÖ Ò Ð Ö ÑÑ Ð Ø ÓÒ º¾º½ º ºº P(1 L N ) = Y C π N Y CN 1 {un point} = Y 0 CP 1 = Y C1 π 1 P(1 L 2 ) = Y C2 π 2 ÈÓÙÖ 1 i N ÕÙ Ú Ö Ø Y Ci Ó Y CN = Y C µ Ø ÑÙÒ Ð³ Ø ÓÒ D Ò Ù Ø Ô Ö Ð³ Ø ÓÒ D C Ø Ð ÔÖÓ Ø ÓÒ π i ÓÒØ D¹ ÕÙ Ú Ö ÒØ º ÈÓÙÖ 0 i N ÓÒ ÔÓ Π i = π i+1 π i+2 π N : Y Y Ci Π N = Id Y Ø Y C0 = Y 0 µº ÇÒ ÔÓ E i = Π i (T i) K D (Y ) Ó T i K D (Y Ci ) Ø Ð Ö Ø ÙØÓÐÓ ÕÙ ÙÖ Y Ci Ø F i = 1 E i º ÈÓÙÖ ØÓÙØ ǫ E Ð Ð ˆµ D ǫ K D (Y ) Ø ÐÓÖ ÓÒÒ Ô Ö Ð ÓÖÑÙÐ Ù Ú ÒØ ½¼µ ˆµ D ǫ = F i i π +(ǫ) E j. j π (ǫ) º¾º Ê ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü º ÈÓÙÖ ØÓÙØ 1 i N Ð ÔÖÓ Ø ÓÒ Π i 1 : Y Y Ci 1 Ô ÖÑ Ø Ò Ö ÙÒ Ð Ñ ÒØ K D (Y ) Ô ÖØ Ö Ù Ö Ò ÖÓ Ø D¹ ÕÙ Ú Ö ÒØ L i ÙÖ Y Ci 1 º ÇÒ ÒÓØ ÒÓÖ L i Ø Ð Ñ Òغ Ä Ò Ø ÓÒ Ø Ð³ Ø ÓÒ D ÙÖ Y Ci Ø ÙÖ L i Ô ÖÑ ØØ ÒØ ÐÙÐ Ö Ð Ñ ÒØ Ð Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü Ö Ò ÖÓ Ø E i Ø L i ½

17 Ä ÑÑ º¾º i D (E i)(ǫ) = { 1 si ǫi = 0, e λi(ǫ) si ǫ i = 1, i D (F i)(ǫ) = i D (L i)(ǫ) = e λi { 0 si ǫi = 0, 1 e λi(ǫ) si ǫ i = 1, 1 j i 1 j π + (ǫ) e cj,i(ǫ)λj. Ä Ø ÓÖ Ñ Ù Ú ÒØ ÓÒÒ Ð Ú Ð ÙÖ Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü Ð ˆµ D ǫ º Ë ÓÒ ÔÓ µ D ǫ = i D (ˆµD ǫ ) Ð Ð ÑÑ º¾ Ø Ð ÓÖÑÙÐ ½¼ ÓÒÒ ÒØ ÑÑ Ø Ñ ÒØ Ð ÓÖÑÙÐ Ù Ú ÒØ Ì ÓÖ Ñ º º ÈÓÙÖ (ǫ, ǫ ) E 2 e λi(ǫ ) (e λi(ǫ ) 1) si ǫ ǫ, µ D ǫ (ǫ ) = i π +(ǫ ) i π +(ǫ) 0 sinon. Ü ÑÔÐ º º ÇÒ ÓÒ Ö Ð ÙÖ À ÖÞ ÖÙ H 1 = Y { 1} º ÇÒ ÔÓ ǫ 1 = (0, 0), ǫ 2 = (1, 0), ǫ 3 = (0, 1), ǫ 4 = (1, 1). Ë ÓÒ Ò Ø Ð Ñ ØÖ M = {µ i,j } 1 i<j 4 Ô Ö µ i,j = µ D ǫ i (ǫ j ) ÓÒ Ó Ø ÒØ Ð ÓÖÑÙÐ Ù Ú ÒØ 1 e λ1 e λ2 e 2λ1 λ2 M = 0 1 e λ1 0 e λ1 λ2 (1 e λ1 ) e λ2 e λ1 (1 e λ1 λ2 ) (1 e λ1 )(1 e λ1 λ2 ) º º Ö Ø Ö Ø ÓÒ Ð ˆµ D ǫ º Ä {ˆµ D ǫ } ǫ E Ø Ö Ð Ð Óѹ ÔÓ Ø ÓÒ ÐÐÙÐ Ö Y = ǫ E Y ǫ Ô Ö Ð Ø ÓÖ Ñ Ù Ú ÒØ Ì ÓÖ Ñ º º Ä Ñ ÐÐ {ˆµ D ǫ } ǫ E Ø ÙÒ Ù Ê ¹ÑÓ ÙÐ K D (Y ) Ö ¹ Ø Ö Ô Ö Ð Ö Ð Ø ÓÒ (ǫ, ǫ ) E 2, χ(y ǫ, ˆµ D ǫ ) = δ ǫ,ǫ. ÑÓÒ ØÖ Ø ÓÒº ÇÒ Ø ÕÙ Ð Ñ ÐÐ {ˆµ D ǫ } ǫ E Ø ÙÒ K D (Y )º ÈÓÙÖ (ǫ, ǫ ) E 2 ÓÒ Ú ÐÙÐ Ö χ(y ǫ, ˆµ D ǫ ) Ö Ð ÓÖÑÙÐ ÐÓ Ð Ø ÓÒº ½

18 Ò ÙØ Ð ÒØ Ð ÔÖÓÔÓ Ø ÓÒ º½ Ø Ð Ð ÑÑ º ÓÒ Ó Ø ÒØ ÔÓÙÖ ØÓÙØ ˆµ D K D (Y ) Ø ØÓÙØ ǫ E ½½µ χ(y ǫ, ˆµ D ) = ǫ ǫ i D (ˆµD )(ǫ ) i π +(ǫ) (1 e λi(ǫ ) ). ØØ ÓÖÑÙÐ Ø Ð Ø ÓÖ Ñ º ÒÓÙ ÑÓÒØÖ ÒØ ÑÑ Ø Ñ ÒØ ÕÙ χ(y ǫ, ˆµ D ǫ ) = 1 Ø χ(y ǫ, ˆµ D ǫ 0 ) = 0 ǫ 0 ǫº ËÓ Ø ǫ 0 E Ø Ð ÕÙ ǫ 0 ǫ Ø ǫ 0 ǫº ÐÓÖ Ð ÓÖÑÙÐ ½½ Ø Ð Ø ÓÖ Ñ º ÒÓÙ ÓÒÒ ÒØ χ(y ǫ, ˆµ D ǫ 0 ) = e λi(ǫ ) (e λi(ǫ ) 1) i π +(ǫ ) i π +(ǫ 0), (1 e λi(ǫ ) ) ³Ó гÓÒ Ø Ö ǫ 0 ǫ ǫ χ(y ǫ, ˆµ D ǫ 0 ) = i π +(ǫ) i π +(ǫ )\π +(ǫ 0) ǫ 0 ǫ ǫ i π +(ǫ)\π +(ǫ 0) e λi(ǫ ) (1 e λi(ǫ ) ). ËÓ Ø j Ð ÔÐÙ Ö Ò Ð Ñ ÒØ π + (ǫ) \ π + (ǫ 0 ) ÓÒ ÐÓÖ χ(y ǫ, ˆµ D ǫ 0 ) = ³Ó гÓÒ Ø Ö χ(y ǫ, ˆµ D ǫ 0 ) = ǫ 0 ǫ ǫ ǫ j = 0 ǫ 0 ǫ ǫ ǫ j = 0 i π + (ǫ )\π + (ǫ 0 ) i π + (ǫ)\π + (ǫ 0 ) i π + (ǫ )\π + (ǫ 0 ) i π + (ǫ)\π + (ǫ 0 ) e λ i(ǫ ) (1 e λ i(ǫ ) ) + e λ i(ǫ ) (1 e λ i(ǫ ) ) + ǫ 0 ǫ ǫ ǫ j = 1 i π + (ǫ )\π + (ǫ 0 ) i π + (ǫ)\π + (ǫ 0 ) i π + (ǫ +(j))\π + (ǫ 0 ) i π + (ǫ)\π + (ǫ 0 ) e λ i(ǫ ) (1 e λ i(ǫ ) ), e λ i(ǫ +(j)) (1 e λ i(ǫ +(j)) ). ÕÙ Ø ÖÑ ØØ ÓÑÑ Ø ÒÙÐÐ º Ò Ø Ó Ø ǫ ÙÒ Ð Ñ ÒØ Ð ÓÑÑ Ø ÓÒ ÓÑÑ j Ø Ð ÔÐÙ Ö Ò Ð Ñ ÒØ π + (ǫ) \ π + (ǫ 0 ) ÔÓÙÖ ØÓÙØ i π + (ǫ) \ π + (ǫ 0 ) λ i (ǫ + (j)) = λ i (ǫ ) i j Ø λ j (ǫ + (j)) = λ j (ǫ )º Ä Ø ÖÑ Ð ÓÑÑ Ó ǫ Ø ÓÒ e λi(ǫ ) [ ] i π +(ǫ )\π +(ǫ 0) 1 (1 e λi(ǫ ) ) 1 e + eλj(ǫ ). λj(ǫ ) 1 e λj(ǫ ) i π +(ǫ (j))\π +(ǫ 0) 1 Ø ÖÑ Ø Ò ÒÙÐ ³ ÔÖ Ð Ö Ð Ø ÓÒ 1 e + ex x 1 e x χ(y ǫ, ˆµ D ǫ 0 ) = 0º = 0 Ø ÓÒ Ó Ø ÒØ ÓÒ ½

19 º º ËØÖÙØÙÖ ÑÙÐØ ÔÐ Ø Ú º Ä R[D]¹ Ð Ö K D (Y ) Ø Ò Ò Ö Ô Ö Ð E i º ÇÒ Ö ÔÔ ÐÐ ÕÙ³ÓÒ ÔÓ F i = 1 E i Ø ÕÙ Ð Ñ ÐÐ {ˆµ D ǫ } ǫ E Ò Ô Ö ˆµ D ǫ = Ø ÙÒ Ù R[D]¹ÑÓ ÙÐ K D (Y )º F i i π +(ǫ) j π (ǫ) º º½º ÈÖ ÒØ Ø ÓÒ Ô Ö Ò Ö Ø ÙÖ Ø Ö Ð Ø ÓÒ º ÈÓÙÖ ØÓÙØ 1 i N Ð Ö Ð Ø ÓÒ ³ Ö Ø ÓÙ Ð ÓÖÑ ½¾µ E 2 i = (1 + L i)e i L i = E i L i F i. ÇÒ Ò Ù Ø Ð Ñ ÒØ Ð Ö Ð Ø ÓÒ Ù Ú ÒØ ½ µ F 2 i = (1 L i)f i, E i F i = L i F i, E 1 i E j = E i = E i + (1 + L 1 i )F i. ÈÓÙÖ ÓÑÔÖ Ò Ö Ð ØÖÙØÙÖ ÑÙÐØ ÔÐ Ø Ú K D (Y ) Ð ÙØ ÓÒ ÜÔÖ Ñ Ö L i Ò ÓÒØ ÓÒ E j ÔÓÙÖ 1 j < i Ä ÑÑ º º L i = e λi 1 j<i E cj,i j. ÑÓÒ ØÖ Ø ÓÒº ÇÒ Ô ÙØ ÑÓÒØÖ Ö Ð ÑÑ Ö ÙÜ Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü º ÓÑÑ Ð³ ÔÔÐ Ø ÓÒ i D : K D(Y ) F(E; R[D]) Ø ÙÒ ÑÓÖÔ Ñ R[D]¹ Ð Ö Ò Ø Ð Ù Ø ÑÓÒØÖ Ö ÕÙ ÔÓÙÖ ØÓÙØ ǫ E i D (L ( cj,i. i)(ǫ) = e λi i D j)(ǫ)) (E 1 j<i ³ ÔÖ Ð Ð ÑÑ º¾ ÓÒ Ó Ø ÓÒ ÑÓÒØÖ Ö ÕÙ ÔÓÙÖ ØÓÙØ ǫ E c j,i (ǫ)λ j = c j,i λ j (ǫ). 1 j < i j π + (ǫ) 1 j < i j π + (ǫ) Ò Ð ÙÜ Ñ ÓÑÑ ¹ Ù Ð Ó ÒØ λ j Ø Ð c j,i + c k,i c j,k (ǫ) = c j,i (ǫ), j < k < i k π + (ǫ) ³ ÔÖ Ð Ö Ð Ø ÓÒ Ø ÓÒ ÓÒ Ò Ð³ Ð Ø ÚÓÙÐÙ º ½

20 ÇÒ ÒÓØ B Ð R[D]¹ Ð Ö R[D][X 1,...,X N, X1 1,..., X 1 N ] Ø ÔÓÙÖ 1 i N ÓÒ Ò Ø Ð³ Ð Ñ ÒØ L i B Ô Ö L i = e λi 1 j<i X cj,i j. ÇÒ Ô ÙØ ÐÓÖ Ö ÙÑ Ö Ð Ö ÙÐØ Ø ÔÖ ÒØ Ò Ð Ø ÓÖ Ñ Ù Ú ÒØ Ì ÓÖ Ñ º º Ä ÑÓÖÔ Ñ R[D]¹ Ð Ö B Ò K D (Y ) ÕÙ ÒÚÓ X i ÙÖ E i Ø Xi 1 ÙÖ E 1 i = E i Ò Ù Ø ÙÒ ÓÑÓÖÔ Ñ f : C = B/I K D (Y ), Ó I Ø Ð³ Ð Ò Ò Ö Ô Ö {X 2 i X i + (1 X i )L i } 1 i N º ÔÐÙ Ð Ñ ÐÐ ÔÓÐÝÒÑ {Q ǫ } ǫ E Ò Ô Ö Q ǫ = (1 X j ) C pour toutǫ E, i π (ǫ) X i j π +(ǫ) Ø ÙÒ Ù R[D]¹ÑÓ ÙÐ Ð Ö C Ø Q ǫ Ø ÒÚÓÝ ÙÖ ˆµ D ǫ Ô Ö Ð³ ÓÑÓÖÔ Ñ fº º º¾º ÐÙÐ ÓÒ Ø ÒØ ØÖÙØÙÖ º ÇÒ Ú ÓÒÒ Ö ÙÒ Ñ Ø Ó ÐÙÐ Ð Ñ ÒØ rǫ,ǫ ǫ R[D] ÕÙ Ú Ö ÒØ Ð Ö Ð Ø ÓÒ ˆµ D ǫ ˆµD ǫ = r ǫ,ǫ ǫ ˆµD ǫ. ǫ E Ð Ñ ÒØ ÓÒØ Ð Ñ ÒØ Ò Ô Ö Ð Ö Ð Ø ÓÒ r ǫ ǫ,ǫ = χ(y ǫ, ˆµD ǫ ˆµ D ǫ ). ÇÒ ÒØÖÓ Ù Ø Ð R[D]¹ Ð Ö D = B[Z 1,...Z N ] = R[D][X 1,...,X N, X 1 1,..., X 1 N, Z 1,...,Z N ]. ÇÒ ÒÓØ β : D C Ð ÑÓÖÔ Ñ Ò Ù Ø Ô Ö Ð ÑÓÖÔ Ñ B¹ Ð Ö D Ò B ÕÙ ÒÚÓ Z i ÙÖ 1 X i º Ò Ø ÓÒ º º ÈÓÙÖ ØÓÙØ 1 i N + 1 ÓÒ ÒÓØ o i : D D Ð ÑÓÖÔ Ñ R[D]¹ Ð Ö Ò Ô Ö o i (X j ) = { 1 pourj i, X j pourj < i, ij ÔÔÐ Ø ÓÒ o N+1 Ø Ð³ ÒØ Ø Dº o i (Z j ) = { 0 pourj i, Z j pourj < i. ¾¼

21 Ò Ø ÓÒ º º ÇÒ ÒÓØ ω i : B B Ð ÑÓÖÔ Ñ R[D]¹ Ð Ö Ò Ô Ö { 1 pour j i, ω i (X j ) = X j pour j < i, Ø ÓÒ ÒÓØ ω i Ð ÑÓÖÔ Ñ Ò Ù Ø ÙÖ C ÑÓÖÔ Ñ Ø Ò Ò Ö ω i Ð Ø Ð Iµº Ü ÑÔÐ º½¼º ÇÒ Ð Ö Ð Ø ÓÒ w i (Q ǫ ) = { Qǫ X 1 i X 1 N si j i, ǫ j = 0 0 sinon. ½ µ β o i = ω i β. Ò Ø ÓÒ º½½º ËÓ Ø ǫ ÙÒ Ð Ñ ÒØ E ÐÓÒ Ù ÙÖ l ØÖ Ø Ñ ÒØ ÔÓ Ø Ú º ÇÒ ÒÓØ {i 1 < < i l } Ð Ð Ñ ÒØ π + (ǫ)º ÇÒ Ò Ø ÐÓÖ Ð³ ÔÔÐ Ø ÓÒ R ǫ : D R[D] Ð Ñ Ò Ö Ù Ú ÒØ (i) R ǫ Ø R[D]¹Ð Ò Ö (ii) P D Ø ÙÒ ÑÓÒÑ ÒÓÒ ÒÙÐ ÕÙ ³ Ö Ø ÓÙ Ð ÓÖÑ P = SXi r l Zi s l Ó S D Ø Ö 0 Ò X il Ø Z il Ø Ó s Ø ÙÒ ÒØ Ö ÔÓ Ø Ø r ÙÒ ÒØ Ö ÕÙ ÐÓÒÕÙ ) R ǫ (i l) (S(1 L il ) s 1 L r sis > 0, il ( ) R ǫ (i l) S(L il + L 2 R ǫ i l + + L r 1 i l ) sis = 0 etr > 1, ( ) (P) = R ǫ (i l) S(1 + L 1 i l + + L r i l ) sis = 0 etr < 0, R ǫ (il) (S) sis = 0 etr = 0, 0 sis = 0 etr = 1, (iii) R (0) (P) = P(X i = 1, Z i = 0)º ØÖÓ Ö Ð Ø ÓÒ Ò ÒØ ÓÑÔÐ Ø Ñ ÒØ Ö ÙÖ Ú Ñ Òص Ð ÔÔÐ Ø ÓÒ R ǫ º Ê Ñ ÖÕÙ º½¾º Ä Ò Ø ÓÒ ÔÔÐ Ø ÓÒ R ǫ Ø Ò Ô Ö ÐÐ Ô¹ ÔÐ Ø ÓÒ T A Ò Ô Ö À Ó Ù Ò Ò Ó ÓÑÓÐÓ ÓÖ Ò Ö Ò Ø Ò Ö Ð¹ Ò Ó ÓÑÓÐÓ ÕÙ Ú Ö ÒØ Ò ¾¾ º Ì ÓÖ Ñ º½ º ÈÓÙÖ ǫ E ÓÒ ÒÓØ β ǫ : D R[D] г ÔÔÐ Ø ÓÒ Ø ÖÑ Ò Ô Ö Ð Ö Ð Ø ÓÒ ½ µ P D, β(p) = ǫ E β ǫ (P)Q ǫ. ÐÓÖ ÔÓÙÖ ØÓÙØ ǫ E β ǫ = R ǫ º ÇÒ Ò Ù Ø ÑÑ Ø Ñ ÒØ Ð ÓÖÓÐÐ Ö Ù Ú ÒØ ¾½

22 ÓÖÓÐÐ Ö º½ º ÈÓÙÖ ǫ E ÓÒ ÔÓ Sǫ D ǫ ǫ Ø ǫ ØÖÓ Ð Ñ ÒØ E ÐÓÖ r ǫ ǫ,ǫ = Rǫ (S D ǫ SD ǫ ). = i π X (ǫ) i j π Z +(ǫ) j Dº ËÓ ÒØ Ê Ñ ÖÕÙ º½ º ÇÒ ÑÓÒØÖ Ð Ñ ÒØ Ð³ ÓÖÓÐÐ Ö ÕÙ rǫ,ǫ ǫ = 0 Ù ǫ ǫ Ø ǫ ǫ º ÈÓÙÖ ÑÓÒØÖ Ö Ð Ø ÓÖ Ñ º½ ÓÒ ÙÖ Ó Ò Ù Ð ÑÑ Ù Ú ÒØ Ä ÑÑ º½ º ËÓ Ø ǫ ÙÒ Ð Ñ ÒØ E ÐÓÒ Ù ÙÖ l ØÖ Ø Ñ ÒØ ÔÓ Ø Ú º ÇÒ ÒÓØ {i 1 < < i l } Ð Ð Ñ ÒØ π + (ǫ)º Ë S Ø ÙÒ ÑÓÒÑ ÒÓÒ ÒÙÐ D Ö ÒÙÐ Ò X il Ø Z il ÐÓÖ β ǫ (SX il ) = 0, β ǫ (SZ il ) = β ǫ (il )(S), β ǫ (S) = β ǫ (il )(S). ÑÓÒ ØÖ Ø ÓÒº ÓÑÑ S Ø ÙÒ ÑÓÒÑ ÒÓÒ ÒÙÐ Ö 0 Ò X il Ø Z il ÇÒ ÓÒ o il (S) = o il +1(S). ½ µ β ( o il +1(SZ il ) ) = β ( o il +1(S) ) β ( o il +1(Z il ) ) = β ( o il (S) ) (1 X il ). Ä ÔÖ Ñ Ö Ñ Ñ Ö Ð³ Ð Ø ½ Ø Ð β ( o i+1 (SZ il ) ) ( = ω il +1 β(szil ) ) = ǫ E ǫ j = 0 j > i l β ǫ (SZ il )Q ǫ X 1 i l +1 X 1 N. Ä ÔÖ Ñ Ö Ð Ø ÔÖÓÚ ÒØ Ð Ö Ð Ø ÓÒ ÓÑÑÙØ Ø ÓÒ ½ Ø Ð ÓÒ Ð³ Ü ÑÔÐ º½¼º Ä ÖÒ Ö Ñ Ñ Ö Ð³ Ð Ø ½ Ø Ð β ( o i (S) ) ( ) (1 X il ) = ω il β(s) (1 Xil ) = = ǫ E, ǫ i l = 1 ǫ j = 0 j > i l ÇÒ Ò Ù Ø ÓÒ Ð³ Ð Ø β ǫ (SZ il )Q ǫ = ǫ E ǫ j = 0 j > i l ǫ E ǫ j = 0 j i l β ǫ (i l )(S)Q ǫ X 1 i l +1 X 1 N. ǫ E, ǫ i l = 1 ǫ j = 0 j > i l β ǫ (S)Q ǫ (1 X il )X 1 i l +1 X 1 N β ǫ (i l )(S)Q ǫ. Ä Ñ ÐÐ {Q ǫ } ǫ E Ø ÒØ ÙÒ C ÙÖ R[D] ÓÒ Ò Ù Ø Ð ÙÜ Ñ Ð Ø Ù Ð ÑÑ º Ä ÔÖ Ñ Ö ÑÓÒØÖ Ü Ø Ñ ÒØ Ð Ñ Ñ Ñ Ò Ö Ø Ð ØÖÓ Ñ Ø ÙÒ ÓÒ ÕÙ Ò ÙÜ ÔÖ Ñ Ö Ö β(s(x il + Z il )) = β(s)º ¾¾

23 ÑÓÒ ØÖ Ø ÓÒ Ù Ø ÓÖ Ñ º½ º ÈÓÙÖ ÑÓÒØÖ Ö Ð Ø ÓÖ Ñ Ð ÙØ ÑÓÒØÖ Ö ÕÙ Ð ÔÔÐ Ø ÓÒ β ǫ Ú Ö ÒØ Ð ØÖÓ Ö Ð Ø ÓÒ Ð Ò Ø ÓÒ º½½º Ä Ö Ð Ø ÓÒ (i) Ø ÑÑ Ø º ÈÓÙÖ ØÖÓÙÚ Ö Ð Ö Ð Ø ÓÒ (iii) Ð Ù Ø ³ ÔÔÐ ÕÙ Ö ω 1 ÙÜ ÓÖÑÙÐ ½ º ÈÓÙÖ ÑÓÒØÖ Ö Ð Ö Ð Ø ÓÒ (ii) ÓÒ ÓÒ Ö ÙÒ Ð Ñ ÒØ E ÐÓÒ Ù ÙÖ l ØÖ Ø Ñ ÒØ ÔÓ Ø Ú Ø ÓÒ ÒÓØ {i 1 < < i l } Ð Ð Ñ ÒØ π + (ǫ)º Ä Ö Ð Ø ÓÒ ½¾ Ø ½ Ô ÖÑ ØØ ÒØ ÑÓÒØÖ Ö Ð Ñ ÒØ Ô Ö Ö ÙÖÖ Ò Ð Ö Ð Ø ÓÒ Ù Ú ÒØ Ú Ð Ð Ò C ÔÓÙÖ ØÓÙØ 1 i N Ø ØÓÙØ ÒØ Ö Ö Ð Ø n Xi n = X i (L i + L 2 i + + Ln 1 i )(1 X i ) si n > 0, Xi n = X i + (1 + L 1 i + + L n i )(1 X i) si n < 0, (1 X i ) n = (1 L i ) n 1 (1 X i ) si n > 0, Xi n(1 X i) = L n i (1 X i) n. ËÙÔÔÓ ÓÒ Ô Ö Ü ÑÔÐ ÕÙ P D Ø ÙÒ ÑÓÒÑ ÒÓÒ ÒÙÐ ÕÙ ³ Ö Ø ÓÙ Ð ÓÖÑ P = SXi r l Ó S D Ø Ö 0 Ò X il Ø Z il Ø Ó r < 0º ÐÓÖ ³ ÔÖ Ð Ö Ð Ø ÓÒ ¹ Ù β ( SXi r ) ( l = β S ( X il + (1 + L 1 i l + + L r ) ) i l )Z il, Ø ÓÒ ÓÒ Ò Ô ÖØ ÙÐ Ö β ǫ (P) = β ǫ (SX il ) + β ǫ ( S(1 + L 1 i l + + L r i l )Z il ). ÓÑÑ ÕÙ Ø ÖÑ S Ø SL k i l ÔÓÙÖ 1 k r Ø ÙÒ ÑÓÒÑ ÒÓÒ ÒÙÐ Ö 0 Ò X il Ø Z il ÓÒ Ô ÙØ ÔÔÐ ÕÙ Ö Ð Ð ÑÑ º½ ÔÓÙÖ Ó Ø Ò Ö ( β ǫ (P) = β ǫ (il ) S(1 + L 1 i l + + L r i l ) ). Ä ÙØÖ ØÖ Ø ÒØ Ð Ñ Ñ Ñ Ò Ö º º Ã¹Ø ÓÖ ÕÙ Ú Ö ÒØ Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒ ÇÒ Ö ÔÖ Ò Ð ÒÓØ Ø ÓÒ Ð Ø ÓÒ º¾º ÇÒ Ó Ø N Ö Ò ÑÔÐ µ 1,..., µ N ÒÓÒ Ò Ö Ñ ÒØ Ø ÒØ Ø ÓÒ ÔÓ Γ = Γ(µ 1,...,µ N )º ÈÓÙÖ 1 i < j N ÓÒ ÔÓ b i,j = µ j (µ i ) Ø B = {b i,j} 1 i<j N º Ä Ö ÙÐØ Ø ØØ Ø ÓÒ Ò Ô Ò ÒØ Ô Ð ØÖÙØÙÖ ÓÑÔÐ Ü Γ Ø ÓÒ ÒØ ÓÒ Γ Ú Ð ØÓÙÖ ÓØØ Y = Y B Ð ÓÑÔÓ Ø ÓÒ Γ = ǫ E Γ ǫ Ú Ð ÓÑÔÓ Ø ÓÒ Y = ǫ E Y ǫ Ø Ð ÔÓ ÒØ Ü ǫ Γ T Ú Ð ÔÓ ÒØ Ü ǫ Y D º Ä ØÓÖ T Ø ÙÖ Γ Ú ÓÒ Ñ S Ø Ð³ Ø ÓÒ S ÙÖ Γ ³ ÒØ ÐÐ ³ÙÒ ÓÙ ¹ØÓÖ D ÙÖ Y º ÈÓÙÖ ØÓÙØ ǫ E ÓÒ ÒÓØ ÐÓÖ ˆµ S ǫ = pd S (ˆµD ǫ ) г Ð Ñ ÒØ K S(Γ) Ó Ø ÒÙ Ô ÖØ Ö ˆµ D ǫ Ô Ö Ö ØÖ Ø ÓÒ S г Ø ÓÒ Dº Ð Ñ ÒØ ³Ó Ø ÒÒ ÒØ Ð³ Ö ÀÓÔ Ð Ñ Ñ Ñ Ò Ö ÕÙ Ð Ð ˆµ D ǫ Ø Ð ÓÖÑ ÒØ ÓÒ ÙÒ Ù R[S]¹ÑÓ ÙÐ K S (Γ)º ¾

24 ÔÐÙ ÔÓÙÖ ØÓÙØ ÓÙÔÐ (ǫ, ǫ ) E 2 χ(γ ǫ, ˆµ S ǫ ) = δ ǫ,ǫ. ÓÑÑ Ð ØÓÖ T Ø ÙÖ Γ Ú ÓÒ Ñ S ÓÒ R[S] R[T] Ø K T (Γ) ³ ÒØ K S (Γ) R[S] R[T]º Ë ÓÒ ÔÓ ˆµ T ǫ = ˆµ S ǫ 1 ÓÒ ÓÒ Ð ÔÖÓÔÓ Ø ÓÒ Ù Ú ÒØ ÈÖÓÔÓ Ø ÓÒ º½º (i) Ä K¹Ø ÓÖ T ¹ ÕÙ Ú Ö ÒØ Γ T ³ ÒØ F(E; R[T])º (ii) Ä Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü i T K T(Γ) F(E; R[T]) Ø Ò Ø Ú º (iii) Ä K¹Ø ÓÖ T ¹ ÕÙ Ú Ö ÒØ Γ Ø ÙÒ R[T]¹ÑÓ ÙÐ Ð Ö Ñ ØØ ÒØ ÓÑÑ Ð Ñ ÐÐ {ˆµ T ǫ } ǫ E ÕÙ Ú Ö Ð Ö Ð Ø ÓÒ (ǫ, ǫ ) E 2, χ(γ ǫ, ˆµ T ǫ ) = δ ǫ,ǫ. º½º Ê ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü º ÈÓÙÖ ØÓÙØ ǫ E ÓÒ ÔÓ µ T ǫ = i T (ˆµT ǫ )º Ä Ø ÓÖ Ñ º ÒÓÙ Ô ÖÑ Ø ÐÓÖ Ö ØÖÓÙÚ Ö Ð Ú Ð ÙÖ Ö ØÖ Ø ÓÒ ÙÜ ÔÓ ÒØ Ü Ð ˆµ T ǫ ÐÙÐ Ò ¾½ Ì ÓÖ Ñ º¾º ÈÓÙÖ ǫ E e αi(ǫ ) (e αi(ǫ ) 1) si ǫ ǫ, µ T ǫ (ǫ ) = i π +(ǫ ) i π +(ǫ) 0 sinon. ÑÓÒ ØÖ Ø ÓÒº ÇÒ Ð Ö ÑÑ ÓÑÑÙØ Ø Ù Ú ÒØ K S (Γ) p D S K D (Y ) i S i D F(E; R[S]) γ F(E; R[D]) Ó Ð ÔÔÐ Ø ÓÒ γ : F(E; R[D]) F(E; R[S]) Ø p D S : K D(Y ) K S (Γ) ÓÒØ Ù Ø γ : S Dº ÈÓÙÖ ØÓÙØ ÓÙÔÐ (ǫ, ǫ ) E 2 ÓÒ ÓÒ i T(ˆµ T ǫ )(ǫ ) = i S(ˆµ S ǫ )(ǫ ) = i Sp D S (ˆµ D ǫ )(ǫ ) = γ(µ D ǫ )(ǫ ). ³ ÔÖ Ð³ ÜÔÖ ÓÒ µ D ǫ ÚÓ Ö Ø ÓÖ Ñ º µ Ð Ù Ø ÔÖÓÙÚ Ö ÕÙ ÔÓÙÖ ØÓÙØ ǫ E Ø ØÓÙØ i {1, 2,..., N} ½ µ α i (ǫ) = τ(λ i (ǫ)). ØØ ÓÖÑÙÐ Ø ÑÓÒØÖ Ò ¾¾ º ¾

25 º¾º ËØÖÙØÙÖ ÑÙÐØ ÔÐ Ø Ú º ÓÑÑ Ò Ð Ô Ö Ö Ô ÔÖ ÒØ Ð Ö ¹ ÙÐØ Ø Ð Ø ÓÒ º ÒÓÙ Ô ÖÑ ØØ ÒØ Ù Ö Ð Ø ÓÖ Ñ Ù Ú ÒØ Ì ÓÖ Ñ º º Ä K¹Ø ÓÖ T ¹ ÕÙ Ú Ö ÒØ K T (Γ) Ð Ú Ö Ø ÓØع Ë Ñ Ð ÓÒ Γ ³ ÒØ Ð R[T]¹ Ð Ö R[T][X 1,..., X N, X 1 1,..., X 1 N ]/J, Ó J Ø Ð³ Ð Ò Ò Ö Ô Ö {Xi 2 X i + (1 X i )M i } 1 i N Ú M i = e µi X bj,i j. Ü ÑÔÐ º º ÇÒ ÔÐ Ò Ð A 2 Ó Ð ÖÓÙÔ G Ø ÓÑÓÖÔ SL(3, C)º ij Ð Ö K T ( Γ(α1, α 2, α 1 ) ) ³ ÒØ ÐÓÖ Ó J Ø Ð³ Ð Ò Ò Ö Ô Ö j<i R[T][X 1, X 2, X 3, X 1 1, X 1 2, X 1 3 ]/J, {X 2 1 X 1 +(1 X 1 )e α1, X 2 2 X 2 +(1 X 2 )e α2 X 1, X 2 3 X 3 +(1 X 3 )e α1 X 2 1 X 2}. ÇÒ ÒØÖÓ Ù Ø Ð R[T]¹ Ð Ö T = R[T][X 1,...,X N, X 1 1,..., X 1 N, Z 1,...,Z N ]. ÇÒ ÒÓØ M = (µ 1,..., µ N ) Ð N¹ÙÔÐ Ø Ö Ò ÑÔÐ ÕÙ Ò Ø Ð Ú Ö Ø Γº Ò Ø ÓÒ º º ËÓ Ø ǫ ÙÒ Ð Ñ ÒØ E ÐÓÒ Ù ÙÖ l ØÖ Ø Ñ ÒØ ÔÓ Ø Ú º ÇÒ ÒÓØ {i 1 < < i l } Ð Ð Ñ ÒØ π + (ǫ)º ÇÒ Ò Ø ÐÓÖ Ð³ ÔÔÐ Ø ÓÒ R ǫ M : T R[T] Ð Ñ Ò Ö Ù Ú ÒØ (i) RM ǫ Ø R[T]¹Ð Ò Ö (ii) P T Ø ÙÒ ÑÓÒÑ ÒÓÒ ÒÙÐ ÕÙ ³ Ö Ø ÓÙ Ð ÓÖÑ P = SXi r l Zi s l Ó S T Ø Ö 0 Ò X il Ø Z il Ø Ó s Ø ÙÒ ÒØ Ö ÔÓ Ø Ø r ÙÒ ÒØ Ö ÕÙ ÐÓÒÕÙ ) R ǫ (i l) M (S(1 M il ) s 1 M r si s > 0, il ( ) R ǫ (i l) RM ǫ M S(M il + Mi 2 l + + M r 1 i (P) = l ) si s = 0 etr > 1, ( ) R ǫ (i l) M S(1 + Mi 1 l + + Mi r l ) si s = 0 etr < 0, R ǫ (i l) M (S) si s = 0 etr = 0, 0 si s = 0 etr = 1, (iii) R (0) M (P) = P(X i = 1, Z i = 0)º ØÖÓ Ö Ð Ø ÓÒ Ò ÒØ ÓÑÔÐ Ø Ñ ÒØ Ö ÙÖ Ú Ñ Òص Ð ÔÔÐ Ø ÓÒ RM ǫ º ÇÒ ÔÓ R M = R (1) M º ¾

26 Ì ÓÖ Ñ º º ÈÓÙÖ ǫ E ÓÒ ÔÓ Sǫ T = i π X (ǫ) i j π Z +(ǫ) j T º ËÓ ÒØ ǫ ǫ Ø ǫ ØÖÓ Ð Ñ ÒØ E ÐÓÖ Ø ÓÒ ÓÒ χ(γ ǫ, ˆµ T ǫ ˆµ T ǫ ) = Rǫ M(Sǫ T Sǫ T ), ˆµ T ǫ ˆµT ǫ = ǫ E R ǫ M (ST ǫ ST ǫ )ˆµT ǫ. Ü ÑÔÐ º º ÇÒ ÔÐ Ò Ð A 2 Ø ÓÒ ÔÖ Ò M = (α 1, α 2, α 1 ) ǫ = (1, 0, 0) ǫ = (0, 0, 1) Ø ǫ = (1)º ÇÒ ÐÙÐ χ(γ, ˆµ T ǫ ˆµT ǫ ) = e α1 R (1) M χ(γ, ˆµ T ǫ ˆµ T ǫ ) = R M( (Z1 X 2 X 3 )(X 1 X 2 Z 3 ) ) = R M (X 1 Z 1 X 2 2X 3 Z 3 ) = R (2) M (X 1Z 1 X2 2 M 3) = R (2) M (X 1Z 1 X2 2 X 2 e α1 1 X 2) = e α1 R (2) M (X 1 1 Z 1X2 3 ( ) X 1 1 Z 1(M 2 +M2 2 )) = e α1[ R (1) M (X 1 1 Z 1e α2 X 1 ) R (1) M (X 1 1 Z 1e 2α2 X1 2 )] = e α1 [e α2 R (1) M (Z 1) e 2α2 R (1) M (X 1Z 1 ) ] = e α1 [e α2 R (0) M R (0) (1) e 2α2 M ) ] (e α1 = e α1 (e α2 e 2α2 e α1 ) = e 2α1 2α2 e α1 α2. º Ã¹Ø ÓÖ ÕÙ Ú Ö ÒØ Ú Ö Ø Ö Ô ÙÜ º½º Ò Ø ÓÒ º Ä Ú Ö Ø Ö Ô ÙÜ X Ò³ Ø ÒØ Ô ÓÑÔ Ø Ò Ò Ö Ð ÓÒ Ò Ø K T (X) Ð Ñ Ò Ö Ù Ú ÒØ ÇÒ Ò Ø ÔÓÙÖ ØÓÙØ ÒØ Ö n 0 X n = X w. ËÓ Ø F Ð ÐØÖ Ø ÓÒ ÐÓÖ w W l(w) n F : = X 1 X 0 X 1. (1) ÕÙ X n Ø ÙÒ ÓÙ Ô ÓÑÔ Ø T ¹ Ø Ð X Ø (2) Ð ØÓÔÓÐÓ X Ø Ð ØÓÔÓÐÓ Ð Ñ Ø Ò Ù Ø Ô Ö Ð ÐØÖ Ø ÓÒ Fº Ö ØØ ÐØÖ Ø ÓÒ ÓÒ Ò Ø ÐÓÖ Ð Ã¹Ø ÓÖ T ¹ ÕÙ Ú Ö ÒØ X ÒÓØ K T (X) Ô Ö K T (X) = lim K T (X n ). n + ØØ Ò Ø ÓÒ Ø Ò Ô Ò ÒØ Ð ÐØÖ Ø ÓÒ F Ú Ö ÒØ (1) Ø (2)º ÇÒ ÒÓØ F(W; Q[T])µ Ð R[T]¹ Ð Ö ÓÒØ ÓÒ W Ú Ð ÙÖ Ò Q[T] ÑÙÒ Ð³ Ø ÓÒ Ø Ð ÑÙÐØ ÔÐ Ø ÓÒ ÔÓ ÒØ Ô Ö ÔÓ Òغ ÈÓÙÖ ØÓÙØ 1 i r ÓÒ Ò Ø ÐÓÖ ÙÒ ÓÔ Ö Ø ÙÖ Ñ ÞÙÖ D i ÙÖ F(W; Q[T]) Ô Ö (D i f)(v) = f(v) f(vs i)e vαi 1 e vαi. ¾

27 Ò ½ ÃÓ Ø ÒØ Ø ÃÙÑ Ö ÑÓÒØÖ ÒØ ÕÙ ÓÔ Ö Ø ÙÖ Ñ ÞÙÖ Ú Ö ÒØ Ð Ö Ð Ø ÓÒ ØÖ W º ÈÓÙÖ ØÓÙØ w W ÓÒ Ô ÙØ ÓÒ Ò Ö ÙÒ ÓÔ Ö Ø ÙÖ D w ÙÖ F(W; Q[T]) Ô Ö D w = D i1 D i2 D il w = s i1 s i2 s il Ø ÙÒ ÓÑÔÓ Ø ÓÒ Ö Ù Ø wº ÔÐÙ ÔÓÙÖ ØÓÙØ 1 i r D 2 i = D iº ÓÒ ÔÓÙÖ u W ÓÒ ÒÓØ D u = D u ÐÓÖ ÔÓÙÖ ØÓÙØ ÓÙÔÐ (v, w) W 2 D v D w = D v w º ÇÒ ÒÓØ Ψ Ð ÓÙ ¹ Ð Ö F(W; R[T]) Ò Ô Ö Ψ = {f F(W; R[T]), telles que w W, D w f F(W; R[T])}. ij Ò Ñ Ð ÔÓ ÒØ Ü X T W Ø ÒØ Ö Ø ÓÒ Ô ÙØ ÒØ Ö K T (X T ) Ú F(W; R[T]) Ø ÓÒ Ó Ø ÒØ Ò ÙÒ ÑÓÖÔ Ñ i T : K T(X) F(W; R[T])º Ä Ö ÙÐØ Ø Ù Ú ÒØ Ø ÔÖÓÙÚ Ò ½ ÈÖÓÔÓ Ø ÓÒ º½º ij ÔÔÐ Ø ÓÒ i T Ø Ò Ø Ú Ø Ð³ Ñ K T(X) Ô Ö ØØ ÔÔÐ Ø ÓÒ Ø Ð Ψº ÔÐÙ Ψ = w W R[T]ψw Ó Ð ÓÒØ ÓÒ ψ w ÓÒØ ÙÒ ÕÙ Ñ ÒØ Ø ÖÑ Ò Ô Ö Ð Ö Ð Ø ÓÒ (v, w) W 2, D v (ψ w )(1) = δ v,w. ÔÐÙ Ð ÓÒØ ÓÒ ψ w Ú Ö ÒØ Ð ÔÖÓÔÖ Ø Ù Ú ÒØ (i) ψ w (v) = 0 Ù w v (ii) ψ w (w) = β (w 1 ) (1 eβ ) { ψ (iii) D i ψ w w + ψ wsi si ws i < w, = 0 si ws i > w, (iv) v W, ψ 1 (v) = e ρ vρ º Ê Ñ ÖÕÙ º¾º ÍÒ Ð Ñ ÒØ f = (a w ) w W w W R[T]ψw Ø Ò ÙÒ ÓÒ¹ Ø ÓÒ W Ú Ð ÙÖ Ò R[T]º Ò Ø Ó Ø v W ³ ÔÖ Ð ÔÖÓÔÖ Ø (i) w W a wψ w (v) Ø ÙÒ ÓÑÑ Ò Ó Ð Ø ÖÑ Ú ÒØÙ ÐÐ Ñ ÒØ ÒÓÒ ÒÙÐ ÓÖÖ ¹ ÔÓÒ ÒØ ÙÜ Ð Ñ ÒØ u W ÕÙ Ú Ö ÒØ u vº ÇÒ ÔÓ ˆψ w = (i T ) 1 (ψ w ) Ø ÔÓÙÖ v W ÓÒ ÒÓØ ˆD v : K T (X) K T (X) г ÔÔÐ Ø ÓÒ Ò Ù Ø Ô Ö D v : Ψ Ψº Ä Ñ ÐÐ { ˆψ w } w W Ø ÙÒ Ù R[T]¹ ÑÓ ÙÐ K T (X)º Ê Ñ ÖÕÙ º º Ò Ð Ò K T (X) ³ ÒØ K 0 (H, X) ÚÓ Ö ½ µ Ø ÃÓ Ø ÒØ Ø ÃÙÑ Ö ÑÓÒØÖ ÒØ Ò ½ ÕÙ Ð { ˆψ w } w W K T (X) K 0 (H, X) Ø Ö Ð ÙÜ Ú Ö Ø Ë Ù ÖØ Ô Ö Ð Ö Ð Ø ÓÒ (v, w) W 2, χ(x v, ˆψ w ) = δ v,w. ¾

28 Ò ½ ÃÓ Ø ÒØ Ø ÃÙÑ Ö ÓÑÔÓ ÒØ i T Ú φ : F(W; Q[T]) F(W; Q[T]) Ò Ô Ö φ(f)(w) = f(w 1 ) ÔÓÙÖ ØÓÙØ Ð Ñ ÒØ f F(W; Q[T]) Ø ØÓÙØ w W º ÁÐ ØÖÓÙÚ ÒØ ÐÓÖ Ð ÓÙ Ð Ö Ψ ÒÓØ Ψ Ò ½ µ F(W; R[T]) Ψ = {f F(W; R[T]), telles que w W, D wf F(W; R[T])}, Ó Ð ÓÔ Ö Ø ÙÖ D w ÓÒØ Ò Ô ÖØ Ö ÓÔ Ö Ø ÙÖ D i ÓÒÒ Ô Ö (D i f)(v) = f(v) f(s iv)e v 1 α i 1 e v 1 α i. ÁÐ ÓÒ Ö ÒØ Ð ψ w Ψ ÒÓØ ψ w Ò ½ µ Ø τ w K T (X) Ö Ð ÙÜ ψ w Ø ˆψ w ÓÒ Ö Ò Ø ÖØ Ð Ô Ö Ð Ö Ð Ø ÓÒ ψ w = φ(ψ w 1 ) Ø τ w = ˆψ w 1 º º¾º Ä Ò Ú Ð Ú Ö Ø ÓØØ¹Ë Ñ Ð ÓÒº ËÓ Ø µ 1,...,µ N ÙÒ Ù Ø ÕÙ ÐÓÒÕÙ N Ö Ò ÑÔÐ º ÇÒ ÔÓ Γ = Γ(µ 1,..., µ N ) Ø ÓÒ Ò Ø ÙÒ ÔÔÐ ¹ Ø ÓÒ g Γ Ò X Ô Ö ÑÙÐØ ÔÐ Ø ÓÒ g([g 1,..., g N ]) = g 1 g N [B], Ó Ò Ð ÑÙÐØ ÔÐ Ø ÓÒ Ò Ð ÖÓÙÔ Gº ØØ ÔÔÐ Ø ÓÒ Ø T ¹ ÕÙ Ú Ö ÒØ º Ä Ø ÓÖ Ñ Ù Ú ÒØ ÑÓÒØÖ Ò ¾½ Ø Ð Ð Ò ÒØÖ K T (X) Ø K T (Γ) Ì ÓÖ Ñ º º ÈÓÙÖ ØÓÙØ Ð Ñ ÒØ v Ù ÖÓÙÔ Ï ÝÐ W g ( ˆψ v ) = ˆµ T ǫ. ǫ E, v(ǫ)=v ÈÓÙÖ ÑÓÒØÖ Ö Ø ÓÖ Ñ ÓÒ ÙØ Ð Ò ¾½ Ð Ö ÙÐØ Ø Ù Ú ÒØ ÓÒØ ÓÒ Ú ÓÒÒ Ö ÙÒ ÒÓÙÚ ÐÐ ÑÓÒ ØÖ Ø ÓÒ Ä ÑÑ º º ËÓ Ø ˆψ K T (X) Ø ψ = i T ( ˆψ)º ÈÓÙÖ ØÓÙØ ǫ E ÓÒ ÐÓÖ χ(γ ǫ, g ( ˆψ)) = (D v(ǫ) (ψ)(1)). ÑÓÒ ØÖ Ø ÓÒº Ò ¾½ ÓÒ ÑÓÒØÖ Ö ÙÐØ Ø Ò Ò Ö Ð ÒØ ÙÒ Ö ÙÑ ÒØ ÓÑ ØÖ Ð Ö ÕÙ ÙØ Ð Ô Ö ÃÓ Ø ÒØ Ø ÃÙÑ Ö Ò ½ º ÇÒ Ú ÓÒÒ Ö ÙÒ ÑÓÒ ØÖ Ø ÓÒ ÙÖ ÙÒ ÐÙÐ Ù Ö Ø Ö Ð³ Ð ÓÖÑÙÐ ÐÓ Ð Ø ÓÒº ËÓ Ø ˆψ K T (X) ÓÒ ÔÖÓ Ô Ö Ö ÙÖÖ Ò ÙÖ l(ǫ)º Ä Ö ÙÐØ Ø Ø ØÖ Ú Ð l(ǫ) = 0º ËÙÔÔÓ ÓÒ Ð Ö ÙÐØ Ø Ú Ö ÔÓÙÖ ØÓÙØ ǫ ÐÓÒ Ù ÙÖ ØÖ Ø Ñ ÒØ Ò Ö ÙÖ p Ø Ó Ø ǫ ÐÓÒ Ù ÙÖ pº ³ ÔÖ Ð Ð ÑÑ º Ø Ð ÓÖÑÙÐ ½ ÔÓÙÖ ǫ ǫ Ð ÔÓ Ð Ö ÔÖ ÒØ Ø ÓÒ H Ò Ð³ Ô Ø Ò ÒØ Γ ǫ Ò ǫ ÓÒØ Ð { α i (ǫ )} i π+(ǫ)º Ò ÙØ Ð ÒØ Ð ÔÖÓÔÓ Ø ÓÒ º½ ÓÒ Ó Ø ÒØ ÐÓÖ χ(γ ǫ, g ( ˆψ)) = ǫ ǫ i T (g ( ˆψ))(ǫ ) i π (1 ) +(ǫ) ) = ψ(v(ǫ )) eαi(ǫ ǫ ǫ i π (1 ) +(ǫ) ). eαi(ǫ ¾

29 ËÓ Ø j Ð ÔÐÙ Ö Ò Ð Ñ ÒØ π + (ǫ) Ø Ó Ø ǫ = ǫ (j)º Ò Ø Ò Ù ÒØ Ð Ð Ñ ÒØ ǫ Ø Ð ÕÙ ǫ j = 0 Ø ÙÜ Ø Ð ÕÙ ǫ j = 1 ÓÒ Ó Ø ÒØ χ(γ ǫ, g ( ˆψ)) = ǫ ǫ ψ(v(ǫ )) (1 e α j (ǫ ) ) i π + ( ǫ) (1 eα i (ǫ ) ) + ǫ ǫ ψ(v(ǫ )s µj ) (1 e α j (ǫ ) ) i π + ( ǫ) (1 eα i (ǫ ) ) º ÇÒ ÓÒ χ(γ ǫ, g ( ˆψ)) = [ 1 ψ(v(ǫ )) e v(ǫ )α j ψ(v(ǫ )s µj ) ǫ ǫ i π (1 ) +( ǫ) eαi(ǫ ) 1 e v(ǫ )α j º º ³ ÔÖ Ð ÓÖÑÙÐ Ò Ø Ð = ǫ ǫ i T ( ˆD sµj ˆψ)(v(ǫ )) i π +(ǫ) (1 eαi(ǫ ) ), χ(γ ǫ, g ( ˆψ)) = χ(γ ǫ, g ( ˆD sµj ˆψ)), Ø ÓÒ Ô Ö ÝÔÓØ Ö ÙÖÖ Ò ǫ Ø ÒØ ÐÓÒ Ù ÙÖ p 1µ χ(γ ǫ, g ( ˆψ)) = (D v( ǫ) i T ( ˆD sµj ˆψ))(1) = (Dv( ǫ) D sµj (ψ))(1) = (D v(ǫ) (ψ))(1). ] ÑÓÒ ØÖ Ø ÓÒ Ù Ø ÓÖ Ñ º º ÇÒ Ø ÖÑ Ò Ð ÑÓÒ ØÖ Ø ÓÒ Ù Ø ÓÖ Ñ Ð Ñ Ñ Ñ Ò Ö ÕÙ Ò ¾½ º ËÓ Ø v ÙÒ Ð Ñ ÒØ Ù ÖÓÙÔ Ï ÝÐ W º ³ ÔÖ Ð Ð ÑÑ º ÔÓÙÖ ØÓÙØ Ð Ñ ÒØ ǫ E χ(γ ǫ, g ( ˆψ v )) = (D v(ǫ) )(ψ v )(1). ÇÖ ³ ÔÖ Ð Ö Ø Ö Ø ÓÒ ÓÒØ ÓÒ {ψ w } w W ÔÖÓÔÓ Ø ÓÒ º½µ u W, (D u (ψ v ))(1) = δ u,v. ÇÒ Ù Ø ÙÜ ÓÖÑÙÐ ÔÖ ÒØ ÕÙ ÔÓÙÖ ØÓÙØ ǫ E ½ µ χ(γ ǫ, g ( ˆψ v )) = δ v(ǫ),v. ³ ÔÖ Ð Ö Ø Ö Ø ÓÒ Ð {ˆµ T ǫ } ǫ E ÓÒ ÓÒ Ò g ( ˆψ v ) = ˆµ T ǫ. ǫ E, v(ǫ)=v Ê Ñ ÖÕÙ º º Ø ÓÖ Ñ Ø ÙØ Ð Ò ¾½ ÔÓÙÖ ÓÒÒ Ö ÙÒ ÓÖÑÙРܹ ÔÐ Ø ÔÓÙÖ Ð ÓÒØ ÓÒ ψ w º ØØ ÓÖÑÙÐ Ø ÑÓÒØÖ Ô Ö ³ ÙØÖ Ñ Ø Ó Ô Ö Ï ÐÐ Ñ Ö Ñ Ò ½ º ¾

30 Ü ÑÔÐ º º ÇÒ ÔÐ Ò Ð A 2 Ø ÓÒ ÓÒ Ö Γ = Γ(α 1, α 2, α 1 )º Ä Ø ÓÖ Ñ º ÒÓÙ ÓÒÒ Ð Ö Ð Ø ÓÒ Ù Ú ÒØ g ( ˆψ 1 ) = ˆµ T (0), g ( ˆψ s1 ) = ˆµ T (1,0,0) + ˆµT (0,0,1) + ˆµT (1,0,1), g ( ˆψ s2 ) = ˆµ T (0,1,0), g ( ˆψ s1s2 ) = ˆµ T (1,1,0), g ( ˆψ s2s1 ) = ˆµ T (0,1,1), g ( ˆψ s1s2s1 ) = ˆµ T (1). º º ËØÖÙØÙÖ ÑÙÐØ ÔÐ Ø Ú º ÇÒ ÒÓØ q w u,v R[T] Ð ÓÒ Ø ÒØ ØÖÙØÙÖ Ò Ô Ö Ð Ö Ð Ø ÓÒ ½ µ ˆψu ˆψv = w W q w u,v ˆψ w. Ê Ñ ÖÕÙ º º Å Ñ Ò Ð Ò Ò ØØ ÓÑÑ Ò ÙÒ Ò º Ò Ø ÔÓÙÖ ØÓÙØ u W Ð Ð ˆψ w Ö ØÖ ÒØ X u ÓÒØ ÒÙÐÐ Ù w u º Ò ½ ÃÓ Ø ÒØ Ø ÃÙÑ Ö ÓÒÒ ÒØ ÙÒ ÓÖÑÙÐ ÔÓÙÖ ÐÙÐ Ö ÓÒ Ø ÒØ ØÖÙØÙÖ º ÁÐ Ò ÒØ Ð Ñ ØÖ E = (e u,v ) (u,v) W 2 Ô Ö e u,v = ψ u (v), Ø ÔÓÙÖ w W Ð Ñ ØÖ ÓÒ Ð E w = (E w (u, v)) (u,v) W 2 Ô Ö E w (u, v) = δ u,v ψ w (u). ÈÓÙÖ w W ÓÒ ÒÓØ Q w = (Q w (u, v)) (u,v) W 2 Ð Ñ ØÖ Ò Ô Ö Q w (u, v) = q w u,v. ÃÓ Ø ÒØ Ø ÃÙÑ Ö ÑÓÒØÖ ÒØ ÐÓÖ Ð ÓÖÑÙÐ Ù Ú ÒØ Q w = EE w E 1, Ó Ð³ ÒÚ Ö E 1 E Ø ÙÒ Ñ ØÖ Ó ÒØ Ò Q[T]º ÈÓÙÖ ØÖÓÙÚ Ö ÙÒ Ó ÒØ ÓÒ Ó Ø ÓÒ ÐÙÐ Ö Ð Ñ ØÖ E Ø ÓÒ ÒÚ Ö º ÇÒ Ó Ø ÒØ Ò ÜÔÖ ÓÒ Ò Q[T] ÕÙ³ Ð ÙØ ÑÔÐ Ö ÔÙ ÕÙ Ð Ñ ØÖ Q w Ø Ó ÒØ Ò R[T]º ÇÒ Ú ÓÒÒ Ö ÙÒ Ñ Ø Ó ÐÙÐ ÔÐÙ ÓÒ Ú ÙØ ÐÙÐ Ö ÙÒ Ó ÒØ Ô ÖØ ÙÐ Ö Ø ÕÙ Ò Ô Ô Ô Ö Ð ÓÖÔ Ö Ø ÓÒ R[T]º ÇÒ Ü ÙÒ ÓÑÔÓ Ø ÓÒ Ö Ù Ø w = s µ1 s µn Ï ÝÐ W º ÇÒ ÔÓ M = (µ 1,...,µ N )º ³ÙÒ Ð Ñ ÒØ w Ù ÖÓÙÔ Ì ÓÖ Ñ º º ÈÓÙÖ ØÓÙØ ÓÙÔÐ (u, v) W 2 ( qu,v w = R M ( Sǫ T ) ( Sǫ ). T ) ǫ E, v(ǫ)=u ǫ E, v(ǫ )=v ¼

31 ÑÓÒ ØÖ Ø ÓÒº ÇÒ ÔÓ Γ = Γ(µ 1,..., µ N ) Ø ÓÒ Ö ÔÔ ÐÐ Ð Ò Ø ÓÒ Ð³ Ô¹ ÔÐ Ø ÓÒ g Γ Ò X g([g 1,..., g N ]) = g 1 g N [B]. Ë ÓÒ ÔÔÐ ÕÙ g г Ð Ø ½ ÓÒ Ó Ø ÒØ g ( ˆψ u ˆψv ) = w W qu,vg w ( ˆψ w ), ³Ó ³ ÔÖ Ð Ø ÓÖ Ñ º ( ˆµ T ǫ )( ˆµ T ǫ ) = qu,v w W w ˆµ T ǫ, ³Ó гÓÒ Ø Ö ǫ E, v(ǫ)=u ( ǫ E, v(ǫ )=v ˆµ T ǫ )( ˆµ T ǫ ǫ E, v(ǫ)=u ǫ E, v(ǫ )=v ) = w W ǫ E, v( ǫ)= w ˆµ T ǫ. qu,v w ǫ E, v( ǫ)= w Ò Ð Ø ÖÑ ÖÓ Ø Ð Ó ÒØ ˆµ T (1) Ø Ð q w u,v. Ò Ð Ø ÖÑ Ù ³ ÔÖ Ð Ø ÓÖ Ñ º Ð Ó ÒØ ˆµ T (1) Ø Ð ( R M ( Sǫ T ) ( Sǫ ). T ) ǫ E, v(ǫ)=u ǫ E, v(ǫ )=v Ä Ñ ÐÐ {ˆµ T ǫ } ǫ E Ø ÒØ ÙÒ Ù R[T]¹ÑÓ ÙÐ K T (Γ) ÓÒ Ò Ù Ø Ð³ Ð Ø qu,v w = R M (( Sǫ T ) ( Sǫ ). T ) ǫ E, v(ǫ)=u ǫ E, v(ǫ )=v º Ü ÑÔÐ º½º Ä SL(3, C)º ÇÒ ÔÐ Ò Ð A 2 Ó Ð ÖÓÙÔ G Ø ÓÑÓÖÔ SL(3, C) Ø B G Ù ÓÙ ¹ ÖÓÙÔ SL(3, C) ÓÖÑ Ñ ØÖ ØÖ Ò ÙÐ Ö ÙÔ Ö ÙÖ º Ä ÖÓÙÔ Ï ÝÐ W ³ ÒØ Ù ÖÓÙÔ Ô ÖÑÙØ Ø ÓÒ Ð³ Ò Ñ Ð {1, 2, 3}º º½º½º ÐÙÐ Ù ÔÖÓ Ù Ø ˆψ 1 ˆψ 1 º ËÓ Ø w = s µ1 s µn ÙÒ ÓÑÔÓ Ø ÓÒ Ö Ù Ø ³ÙÒ Ð Ñ ÒØ Ù ÖÓÙÔ Ï ÝÐ W ³ ÔÖ Ð Ø ÓÖ Ñ º Ø ÕÙ ÐÕÙ Ó Ø Ð ÖÓÙÔ G q1,1 w = R M(X1 2 X2 2 X2 N ), Ó M = (µ 1, µ 2,... µ N )º Ò Ø Ð ÙÐ Ð Ñ ÒØ ǫ E Ø Ð ÕÙ v(ǫ) = 1 Ø ǫ = (0)º ÌÓÙØ ³ ÓÖ q 1 1,1 = 1 ÓÒ ØÓÙ ÓÙÖ qw w,w = ψw (w)µº Ò Ù Ø q s1 1,1 = R α 1 (X 2 1) = R (0) α 1 (e α1 ) = e α1, ½

32 Ø Ñ Ñ q s2 1,1 = eα2 º Ò Ù Ø q s1s2 1,1 = R α1,α 2 (X 2 1 X2 2 ) = R(1) α 1,α 2 (X 2 1 e α2 X 1 ) = e α2 R (1) α 1,α 2 (X 3 1 ) = e α2 R (0) α 1,α 2 (e α1 + (e α1 ) 2 ) = e α2 (e α1 + e 2α1 ) = e α1+α2 (1 + e α1 ), Ø Ñ Ñ q s2s1 1,1 = e α1+α2 (1 + e α2 )º Ò Ò q s1s2s1 1,1 = R M (X 2 1 X2 2 X2 3 ) Ó M = (α 1, α 2, α 1 )º ÇÒ Ó Ø ÒØ ÓÒ q s1s2s1 1,1 = R (2) M (X2 1 X2 2 e α1 X 2 1 X 2) = e α1 R (2) M (X3 2 ) = e α1 R (1) M (e α2 X 1 + (e α2 X 1 ) 2 ) = e α1+2α2 R (0) M (e α1 ) = e 2α1+2α2. ÇÒ Ò Ó Ø ÒÙ ( ˆψ 1 ) 2 = ˆψ 1 e α1 ˆψ s1 e α2 ˆψ s2 + e α1+α2 (1 + e α1 s1s2 ) ˆψ +e α1+α2 (1 + e α2 ) ˆψ s2s1 e 2α1+2α2 ˆψ s1s2s1. º½º¾º ÐÙÐ Ù ÔÖÓ Ù Ø ˆψ 1 ˆψ s1 º ÌÓÙØ ³ ÓÖ q s1 1,s 1 = ψ 1 (s 1 ) = e α1 º Ò Ù Ø q s1s2 1,s 1 = R α1,α 2 (X 1 Z 1 X 2 2) = R (1) α 1,α 2 (X 1 Z 1 e α2 X 1 ) = e α2 R (1) α 1,α 2 (X 2 1 Z 1) = e α2 R (0) α 1,α 2 (e 2α1 ) = e 2α1+α2, Ø ÔÐÙ q s2s1 1,s 1 = R α2,α 1 (X 2 1 X 2Z 2 ) = R (1) α 2,α 1 (X 2 1 e α1 X 1 ) = e α1 R (1) α 2,α 1 (X 3 1 ) = eα1 R (0) α 2,α 1 (e α2 + e 2α2 ) = e α1+α2 (1 + e α2 ). Ò Ò q s2s1s2 1,s 1 = R M (X 2 1X 2 Z 2 X 2 3) Ó M = (α 2, α 1, α 2 )º ÇÒ ÓÒ q s2s1s2 1,s 1 = R (2) M (X2 1 X 2Z 2 e α2 X 2 1 X 2) = e α2 R (2) M (X2 2 Z 2) ÇÒ Ò Ó Ø ÒÙ = e α2 R (1) M (e 2α1 X 2 1) = e 2α1+α2 R (0) M (e α2 ) = e 2α1+2α2. ˆψ 1 ˆψs 1 = e α1 ˆψ s1 e 2α1+α2 ˆψ s1s2 e α1+α2 (1 + e α2 ) ˆψ s2s1 + e 2α1+2α2 ˆψ s1s2s1. ÇÒ Ñ Ñ Ò Ò ÒØ α 1 Ò α 2 Ø s 1 Ò s 2 µ ˆψ 1 ˆψs 2 = e α2 ˆψ s2 e α1+2α2 ˆψ s2s1 e α1+α2 (1 + e α1 ) ˆψ s1s2 + e 2α1+2α2 ˆψ s1s2s1. ¾

33 º½º º ÐÙÐ Ù ÔÖÓ Ù Ø ˆψ s1 ˆψ s1 º ÌÓÙØ ³ ÓÖ q s1 s 1,s 1 = ψ s1 (s 1 ) = 1 e α1 º Ò Ù Ø Ø ÔÐÙ q s1s2 s 1,s 1 = R α1,α 2 (Z 2 1X 2 2) = R (1) α 1,α 2 (Z 2 1e α2 X 1 ) = e α2 R (1) α 1,α 2 (X 1 Z 2 1) = e α2 R (0) α 1,α 2 (e α1 (1 e α1 )) = e α1+α2 (1 e α1 ), q s2s1 s 1,s 1 = R α2,α 1 (X 2 1 Z2 2 ) = R(1) α 2,α 1 (X 2 1 (1 e α1 X 1 )) = R (1) α 2,α 1 (X 2 1 e α1 X 3 1 ) = R (0) α 2,α 1 (e α2 e α1 (e α2 + e 2α2 )) = e α2 (1 e α1 e α1+α2 ). Ò Ò q s2s1s2 s 1,s 1 = R M (X 2 1 Z2 2 X2 3 ) Ó M = (α 2, α 1, α 2 )º ÇÒ ÓÒ q s2s1s2 s 1,s 1 = R (2) M (X2 1Z 2 2e α2 X 2 1 X 2) = e α2 R (2) M (X 2Z 2 2) = e α2 R (1) M (e α1 X 1 (1 e α1 X 1 )) = e α1+α2 R (0) M ( e α1 α2 ) = e 2α1+2α2. ÇÒ Ò Ó Ø ÒÙ ( ˆψ s1 ) 2 = (1 e α1 ) ˆψ s1 e α1+α2 (1 e α1 ) ˆψ s1s2 e α2 (1 e α1 e α1+α2 ) ˆψ s2s1 e 2α1+2α2 ˆψ s1s2s1. ÇÒ Ñ Ñ Ò Ò ÒØ α 1 Ò α 2 Ø s 1 Ò s 2 µ ( ˆψ s2 ) 2 = (1 e α2 ) ˆψ s2 e α1+α2 (1 e α2 ) ˆψ s2s1 e α1 (1 e α2 e α1+α2 ) ˆψ s1s2 e 2α1+2α2 ˆψ s1s2s1. º½º º ÐÙÐ Ù ÔÖÓ Ù Ø ˆψ s1 ˆψ s2 º ÌÓÙØ ³ ÓÖ q s1s2 s 1,s 2 = R α1,α 2 (X 1 Z 1 X 2 Z 2 ) = R (1) α 1,α 2 (X 1 Z 1 e α2 X 1 ) = e α2 R (1) α 1,α 2 (X 2 1Z 1 ) = e α2 R (0) α 1,α 2 (e 2α1 ) = e 2α1+α2, Ø Ñ Ñ q s2s1 s 1,s 2 = e α1+2α2. ÔÐÙ q s2s1s2 s 1,s 2 = R M ( X1 Z 2 X 3 (X 1 X 2 Z 3 + Z 1 X 2 X 3 + Z 1 X 2 Z 3 ) ) Ó M = (α 2, α 1, α 2 )º ÇÒ ÚÓ Ø Ð Ñ ÒØ ÕÙ Ð ÙÜ ÖÒ Ö Ø ÖÑ ÓÑÔ Ò ÒØ Ø ÓÒ Ó Ø ÒØ q s2s1s2 s 1,s 2 = R M (X 2 1X 2 Z 2 X 3 Z 3 ) = R (2) M (X2 1X 2 Z 2 e α2 X 2 1 X 2) = e α2 R (2) M (X2 2 Z 2) = e α2 R (1) M (e 2α1 X 2 1 ) = e2α1+α2 R (0) M (e α2 ) = e 2α1+2α2. ÇÒ Ò Ó Ø ÒÙ ˆψ s1 ˆψ s2 = e 2α1+α2 ˆψ s1s2 + e α1+2α2 ˆψ s2s1 e 2α1+2α2 ˆψ s1s2s1.

34 º½º º ÙØÖ Ö ÙÐØ Ø º ÇÒ Ó Ø ÒØ Ð Ñ ÒØ Ð Ö ÙÐØ Ø Ù Ú ÒØ ˆψ 1 ˆψs 1s 2s 1 = e 2α1+2α2 ˆψ s1s2s1, ˆψ s1 ˆψ s1s2s1 = e α1+α2 (1 e α1+α2 ) ˆψ s1s2s1, ˆψ s1s2 ˆψ s1s2s1 = e α2 (1 e α1 )(1 e α1+α2 ) ˆψ s1s2s1, ( ˆψ s1s2s1 ) 2 = (1 e α1 )(1 e α2 )(1 e α1+α2 ) ˆψ s1s2s1, ( ˆψ s1s2 ) 2 = (1 e α1 )(1 e α1+α2 ) ˆψ s1s2 e α2 (1 e α1 )(1 e α1+α2 ) ˆψ s1s2s1, ˆψ s1 ˆψ s2s1 = e α2 (1 e α1+α2 ) ˆψ s2s1 e α1+α2 (1 e α1+α2 ) ˆψ s1s2s1, ˆψ s1 ˆψ s1s2 = e α1+α2 (1 e α1 ) ˆψ s1s2 + e 2α1+2α2 ˆψ s1s2s1, ˆψ 1 ˆψs 1s 2 = e 2α1+α2 ˆψ s1s2 e 2α1+2α2 ˆψ s1s2s1, ˆψ s1s2 ˆψ s2s1 = e α1+α2 (1 e α1+α2 ) ˆψ s1s2s1. Ä Ü ÙØÖ ÔÖÓ Ù Ø ³Ó Ø ÒÒ ÒØ Ò Ô ÖÑÙØ ÒØ s 1 Ø s 2 ³ÙÒ Ô ÖØ Ø α 1 Ø α 2 ³ ÙØÖ Ô Öغ º¾º ÉÙ ÐÕÙ ÙØÖ ÐÙÐ º º¾º½º ÐÙÐ ( Ò ) Ð B 2 º ÇÒ ÔÐ Ò Ð B 2 Ó Ð Ñ ØÖ ÖØ Ò 2 2 Ø A = º 1 2 ÇÒ ÐÙÐ ³ ÓÖ q s2s1s2 1,s 1 = R M (X1 2X 2Z 2 X3 2) Ó M = (α 2, α 1, α 2 )º ÇÒ ÓÒ q s2s1s2 1,s 1 = R (2) M (X2 1X 2 Z 2 e α2 X 2 1 X2 2) = e α2 R (2) M (X3 2Z 2 ) = e α2 R (1) M (e 3α1 X 3 1) = e 3α1+α2 R (1) M (X3 1) = e 3α1+2α2 (1 + e α2 ). ÇÒ ÐÙÐ Ñ ÒØ Ò ÒØ q s2s1s2s1 1,s 1 = R M ( X1 X 2 X 3 X 4 (X 1 Z 2 X 3 X 4 + X 1 Z 2 X 3 Z 4 + X 1 X 2 X 3 Z 4 ) ), Ó M = (α 2, α 1, α 2, α 1 )º ÇÒ ÚÓ Ø Ð Ñ ÒØ ÕÙ Ð ÙÜ ÔÖ Ñ Ö Ø ÖÑ Óѹ Ô Ò ÒØ Ø ÓÒ Ó Ø ÒØ q s2s1s2s1 1,s 1 = R M (X1X 2 2X 2 3X 2 4 Z 4 ) = R (3) M (X2 1X2X 2 3e 2 α1 X 1 X2 2 X 3) = e α1 R (3) M (X3 1X3) 3 = e α1 R (2) ( M X 3 1 (e α2 X1 2 X2 2 + e 2α2 X1 4 X4 2) ) = e α1+α2 R (2) M (X 1X e α2 X 1 1 X4 2 ) = e α1+α2 R (1) M (e α1 X e α1 α2 + e 2α1 α2 X 1 + e 3α1 α2 X 2 1) = e α1+α2 ( e α1+α2 + e α1+α2 e 3α1+2α2 ) = e 4α1+3α2. Ò Ø Ü ÑÔÐ ÓÒ ³ Ô ÖÓ Ø ÕÙ Ø ÖÑ Ô ÙÚ ÒØ ÓÑÔ Ò Ö Ñ Ñ ÕÙ Ò ÓÒ Ò³ ÕÙ³ÙÒ ÑÓÒÑ Ù Ô Öغ

35 ÇÒ ÐÙÐ Ò Ò q s2s1s2s1 s 1s 2,s 1s 2 = R M (X 2 1 Z2 2 Z2 3 X2 4 ) Ó M = (α 2, α 1, α 2, α 1 )º ÇÒ Ó ¹ Ø ÒØ q s2s1s2s1 s 1s 2,s 1s 2 = R (3) M (X2 1 Z2 2 Z2 3 e α1 X 1 X 2 2 X 3) = e α1 R (3) M (X3 1 X 2 2 Z2 2 X 3Z 2 3 ) = e α1+α2 R (2) M (X 1Z 2 2 (1 e α2 X 2 1 X2 2 )) = e α1+α2 R (1) M (X 1 e α1 X 2 1 e 2α1 α2 X 1 + e 3α1 α2 X 2 1 ) = e 2α1+2α2 (1 e 2α1+α2 ). º¾º¾º ÍÒ ÐÙÐ ( Ò Ð ) G 2 º ÇÒ ÔÐ Ò Ð G 2 Ó Ð Ñ ØÖ 2 1 ÖØ Ò Ø A = Ø ÓÒ ÐÙÐ 3 2 q s1s2s1s2 s 2,s 2s 1 = R M ( (X1 Z 2 X 3 X 4 + X 1 Z 2 X 3 Z 4 + X 1 X 2 X 3 Z 4 )X 1 Z 2 Z 3 X 4 ), Ó M = (α 1, α 2, α 1, α 2 )º ÇÒ ÚÓ Ø Ð Ñ ÒØ ÕÙ Ð ÙÜ ÖÒ Ö Ø ÖÑ ³ ÒÒÙÐ ÒØ Ø ÓÒ Ó Ø ÒØ q s1s2s1s2 s 2,s 2s 1 = R M (X 2 1X 2 Z 2 X 3 Z 3 X 4 Z 4 ) = e α2 R (3) M (X3 1X 1 2 Z 2X 2 3Z 3 ) = e 2α1+α2 R (2) M (X 1 1 X5 2Z 2 ) = e 2α1+6α2 R (1) M (X4 1) = e 3α1+6α2 (1 + e α1 + e 2α1 ). º º Ã¹Ø ÓÖ ÓÖ Ò Ö º Ä K¹Ø ÓÖ ÓÖ Ò Ö X ÒÓØ K(X) Ø Ð ÖÓÙÔ ÓÒ ØÖÙ Ø Ô ÖØ Ö Ù Ñ ¹ ÖÓÙÔ Ð ³ ÓÑÓÖÔ Ñ Ö Ú ØÓ¹ Ö Ð ÓÑÔÐ Ü Ñ Ò ÓÒ Ò Ù Ù Xº Ä K¹Ø ÓÖ Ù ÔÓ ÒØ ³ ÒØ Z Ø K(X) Ø ÑÙÒ ³ÙÒ ØÖÙØÙÖ ³ ÒÒ Ù Ò Ð³ Ù ÔÖÓ Ù Ø Ø Ò ÓÖ Ðº ÇÒ ÒÓØ ev г ÔÔÐ Ø ÓÒ ÒÓÒ ÕÙ K T (X) K(X)º Ò ½ ÃÓ Ø ÒØ Ø ÃÙÑ Ö ÑÓÒØÖ ÒØ Ð Ö ÙÐØ Ø Ù Ú ÒØ ÈÖÓÔÓ Ø ÓÒ º½º ij ÔÔÐ Ø ÓÒ ÒÓÒ ÕÙ ev ˆ : Z R[T] K T (X) K(X) Ø ÙÒ ÓÑÓÖÔ Ñ Ó Z Ø ÓÒ Ö ÓÑÑ ÙÒ R[T]¹ÑÓ ÙÐ Ô Ö Ð³ ÔÔÐ Ø ÓÒ R[T] Ò Z Ò Ô Ö Ð³ Ú ÐÙ Ø ÓÒ Ò 1º ÈÓÙÖ w W ÓÒ ÔÓ ˆψ w 1 = ev( ˆψ w ) K(X)º ³ ÔÖ Ð ÔÖÓÔÓ Ø ÓÒ ÔÖ ÒØ Ð Ñ ÐÐ { ˆψ w 1 } w W Ø ÙÒ Ù Z¹ÑÓ ÙÐ K(X)º ³ Ø Ð Ù Ð ÔÓÙÖ µ Ð K(X) ÓÒ ØÖÙ Ø Ô Ö Ñ ÞÙÖ Ò ÚÓ Ö ½ µº Ä Ø ÓÖ Ñ º Ø Ð ÔÖÓÔÓ Ø ÓÒ º½ Ô ÖÑ ØØ ÒØ ÐÙÐ Ö Ð ÓÒ Ø ÒØ ØÖÙØÙÖ Ô Ö Ö ÔÔÓÖØ ØØ º ÇÒ ÒÓØ t w u,v Ð ÒØ Ö Ö Ð Ø Ò Ô Ö ˆψ u 1 ˆψ v 1 = w W t w u,v ˆψ w 1. ÒØ Ö ÐÙÐ ÒØ Ò Ú ÐÙ ÒØ Ò 1 Ð ÓÒ Ø ÒØ ØÖÙØÙÖ q w u,v K T (X)º ÇÒ Ô ÙØ Ò Ö ØÖ Ò Ö Ð Ø ÓÖ Ñ º Ù Ð K¹Ø ÓÖ ÓÖ Ò Ö º ÈÓÙÖ Ð ÓÒ Ú ÒØÖÓ Ù Ö ÔÔÐ Ø ÓÒ r M ÕÙ ÓÒØ Ð Ú ÐÙ Ø ÓÒ Ò 1 ÔÔÐ Ø ÓÒ R M Ò Ò Ð Ø ÓÒ º