axiv:0704.1236v2 [math.ag] 15 Feb 2008 ËÙÖ Ð ÖÔÖ ÒØØÓÒ Ù ÖÓÙÔ ÓÒÑÒØÐ ³ÙÒ ÚÖØ ÔÖÚ ³ÙÒ Ú ÙÖ ÖÓ ÑÒØ ½ ½º½ ÁÒØÖÓÙØÓÒ ÒÓÖÑÙÜ ÑÔÐ ÆÐ ÓÖÒ ½ ÚÖÖ ¾¼¼ ÍÒ ÖÔØÓÒ ÐØÖÒØÚ Ò Ð³ Ò ÐØ Ð ÖÖ ³ÙÒ ÖÔØÓÒ ÐØÖÒØÚ Ù ÖÓÙÔ ÓÒÑÒØÐ ØÐ Ò Ò ¾ Ò ØÖÑ ÖÚØÑÒØ µ Ø ÙÒ ÕÙ ØÓÒ Ð ÕÙ ÑÓØÚ ÒØÐÐÑÒØ ÔÖ Ð ÚÓÐÓÒØ ØÖÑÒÖ ÐÖÕÙÑÒØ ÖÓÙÔ ÓÒÑÒØÙÜ ÕÙ Ò ÓÒØ ÓÒÒÙ ÕÙ ÔÖ ÚÓ ØÖÒ ÒÒغ ijØÙ Ý ØÑØÕÙ Ù ÐÒ ÒØÖ ÖÚØÑÒØ ÓÒ ÙÒ ÚÖØ Ð¹ ÖÕÙ ÔÖÓØÚ X Ø ÖØÒ Ö ÙÖ X ÓÑÑÒ Ú ÏÐ ½ µº ÐÙ¹ ÑÓÒØÖ ÕÙ³ÙÒ ÖÚØÑÒØ ÐÓ Ò ÒÓÒ ÖÑ ÙÖ ÊÑÒÒ Y X ÔÖÑØ ³ ÓÖ ØÓÙØ ÖÔÖ ÒØØÓÒ V ÓÑÔÐÜ Ù ÖÓÙÔ ÐÓ G ÙÒ Ö ÙÖ X ÓÒ Ò Ð Ö ØÖÚÐ Y V ÙÖ Y Ò E = Y V/Gº ÏÐ ÖÑÖÕÙ ÕÙ ØØ ÓÔÖØÓÒ Ø ÓÑÔØÐ Ú Ð ÔÖÓÙØ ØÒ ÓÖÐ ÕÙ ÓÒÖ ÔÖÓÔÖØ ÖÑÖÕÙÐ ÙÜ Ö Ó Ð ÓÒØ Ò ÔÖØÙÐÖ Ò Ù Ò ÕÙ³Ð Ü Ø ÙÜ ÔÓÐÝÒÑ ØÒØ f, g ÓÒØ ÒØÖ ÔÓ¹ Ø ØÐ ÕÙ f(e) g(e)º ÁÐ ÚÓØ Ò Ö Ð ÒÖÐ ØÓÒ Ö Ò ÖÓØ ØÓÖ ÓÒ Ø ÓÑÑÒ Ð ÖØÖ Öº ØÖÚÐ ØÖÓÙÚ ÓÒ ÓÙØ ÑÒØ Ò Ð ÓÖÑÙÐØÓÒ ÆÓÖ ¾ µ Ð ØÓÖ Ö Ò ÙÖ X Ø ØÒÒÒÒ Ø Ð ÖÓÙÔ ÌÒÒ Ó Ø Ð ÖÓÙÔ ÓÒÑÒØÐ ÔÖÓÒµ Xº гÚÒØ ³ØÖ ÚÖ ÔÓÙÖ ÙÒ Ñ X ÔÖÓÔÖ ÖÙØ ÓÒÒÜ ÙÖ ÙÒ ÓÖÔ ÐÖÕÙÑÒØ ÐÓ ÖØÖ ØÕÙ 0º Ò ÖØÖ ØÕÙ p Ð ÖÓÙÔ ÌÒÒ Ð ØÓÖ Ö ÒØÐÐÑÒØ Ò Ð Ñ Ò ÖÓÙÔ ÓÒÑÒØÐ ÆÓÖµ ÙÖØ Ò Ð ÖÓÙÔ ÓÒÑÒØÐ Xº ÌÓÙØÓ ÓÑÑ Ð ÓÙÐÒ ÆÓÖ ØØ ÖÔØÓÒ ÐÖÕÙ Ð Ö Ò Ò ÔÒÒØ Ò Ø ÕÙ Ð ØÓÔÓÐÓ Ö Xµ Ù ÖÓÙÔ ÓÒÑÒØÐ Ò³ ÕÙ ÔÙ ³ÙØÐØ ÔÙ ÕÙ Ð Ö Ò ÖÒ ÔÐÙ ÖÒ ÕÙ 1 ÑÐÒØ ØÖ Ð ÓÒ ØÖÙÖ Ü ÒÐÓ ºº Ò ÙØÐ Ö ÖÚØÑÒصº ÈÖØÒØ Ù ÔÖÓÐÑ Ð ØÖÑÒØÓÒ ÐÖÕÙ Ù ÖÓÙÔ ÓÒÑÒ¹ ØРгØÙ ÓÙÖ ÓÙÚÖØ ÔÖ ÜÑÔÐ Ð ÖÓØ ÔÖÓØÚ ÑÓÒ ØÖÓ ½
ÔÓÒØ µ ÔÔÖØ ÔÐÙ ÓÖÐ ÕÙ ÐÐ ÓÙÖ ÓÑÔÐØ º Ò Ø ÆÓÖ ÑÓÒØÖ Ò ÕÙ³Ð Ü Ø ÙÒ ÕÙÚÐÒ ØÓÖ ØÒÒÒÒ ÒØÖ Ð ØÓÖ ÖÔÖ ÒØØÓÒ Ù ÖÓÙÔ ÓÒÑÒØÐ Ð ÓÙÖ ÓÙÚÖØ Ø ÐÐ Ö ÔÖÓÐÕÙ Ù Ò Ë Ö µ Ò º ÁÐ ÑÐ ÖÙ Ñ ÔÙعØÖ Ô ÑÔÓ Ð ÓÒ ØÖÙÖ ÐÖÕÙÑÒØ ØÐ Ö º ÔÒÒØ ÆÓÖ Ò Ø ÕÙ³ ÕÙ Ö ÙÒ ÔÖÙÚ ØØ ÕÙÚÐÒº Ø ÖØÐ ÖÔÓÒ Ù ÓÙ ³Ò ÓÒÒÖ ÙÒ ÑÓÒ ØÖØÓÒ ÓÑÔÐØ Ø ÒÔÒ¹ ÒØ Ù ÑÑÒØ ÒÖÐ ÔÓÙÖ ØÖ ÚÐÐ Ò ØÓÙØ ÑÒ ÓÒº ÈÐÙ ÔÖ¹ ÑÒØ ÓÒ ÒØ ÓÒÒ ÙÒ Ñ X ÔÖÓÔÖ ÒÓÖÑÐ ÓÒÒÜ ÙÖ ÙÒ ÓÖÔ k Ø D = (D i ) i I ÙÒ ÑÐÐ Ú ÙÖ ÖÖÙØÐ ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ ÙÖ X Ð ØÓÖ FPa(X,D) Ö Ôº EFPa(X,D)µ Ö ÔÖ¹ ÓÐÕÙ ÑÓÖ µ Ò Ö Ôº ÒØÐÐÑÒØ Ò µ Ø ÒÓØÖ Ö ÙÐØØ ÔÖÒÔÐ ØÓÖÑ µ ³ÒÓÒ ÌÓÖÑ ½º ËÓØ D = i I D i Ø x X(k) ÙÒ ÔÓÒØ ÖØÓÒÒÐ x / Dº µ Ä ÔÖ (EFPa(X,D), x ) Ø ÙÒ ØÓÖ ØÒÒÒÒº µ Ë k Ø ÐÖÕÙÑÒØ ÐÓ ÖØÖ ØÕÙ 0 ØÓÙØ Ö ÔÖÓÐÕÙ ÒØÐÐÑÒØ Ò Ø Ò Ø Ð ÖÓÙÔ ÌÒÒ (FPa(X,D), x ) Ø ÒÓÒÕÙÑÒØ ÓÑÓÖÔ Ù ÖÓÙÔ ÓÒÑÒØÐ π 1 (X D, x)º Ä ÔÖÑÖ ÔÓÒØ ÔÖÑØ ÔÖÓÔÓ Ö Ò ÖØÖ ØÕÙ ÔÓ ØÚ ÙÒ ¹ ÒØÓÒ Ù Ñ Ò ÖÓÙÔ ÓÒÑÒØÐ ÑÓÖ π D (X, x) ÓÑÑ ÖÓÙÔ ÌÒÒ Ð ØÓÖ (EFPa(X,D), x )º Ñ Ò ÖÓÙÔ Ø ÙÒ ÝÖ Ù Ñ Ò ÖÓÙÔ ÓÒÑÒØÐ ÆÓÖ ¾ µ Ø Ù ÖÓÙÔ ÓÒÑÒØÐ ÑÓ¹ Ö ÖÓØÒ¹ÅÙÖÖ ¾½ µº ÍÒ Ø ÑÖÕÙÒØ Ø Ð³ÓÑÒÔÖ Ò ÖØÒ ÑÔ ÐÒ¹ÅÙÑÓÖ Ð ÑÔ ÖÒ ØÓÙØ Ù ÐÓÒ Ø ÖØк ÁÐ ÓÒØ ÓÒ ØÖÙØ ÔÖØÖ Ð ÔÖ (X,D) Ò ÓÙØÒØ ÙÒ ØÖÙØÙÖ ³ÓÖÓÐ Ð ÐÓÒ Ú ÙÖ Ø ÓÒØ Ò Ò Ñ ØÓÖÙ º Ò ÕٳРÓÒØ ÒØ Ð³ÒÓÒ ÒÓØÖ Ö ÙÐØØ ÔÖÒÔÐ Ð Ò ÓÒØ ÓÐÙÑÒØ Ù ÓÙÖ ÐÙÖ ÔÖ Ò ÐÖÒØ ³ÙÒ ÓÙÖ ÒÓÙÚÙ ³ÒÒ ÔÖÓÐÑ º ÈÖ ÜÑÔÐ Ð ÙÖÙÜ ÔÖÓÙØ Ò Ð ØÓÖ ÐÓ ÒÒ ÖÚØÑÒØ ÑÓÖ ¾½ ³ÚÖ ØÖ ÙÒ ÔÖÓÙØ Ö Ù ÙÐ ÙÖ ÙÒ ØÐ ÑÔ ÖÒ ½ º ÈÓÙÖ ÓÒÐÙÖ ÓÒ ÔÖÓÔÓ ÙÒ ÑØÓ ÓÒ ØÖÙØÓÒ Ö ÔÖÓ¹ ÐÕÙ µ Ò Ò ÔÖ Ð ÑØÓ ÔØØ ÖÓÙÔ ÏÒÖ Ø ÅÝ Ò ØÓÖ ÖÔÖ ÒØØÓÒ º ½º¾ ÇÖÒ ØÓÒ Ð³ÖØÐ Ò Ð ÔÖØ ¾ ÓÒ ÒØ Ð Ö ÔÖÓÐÕÙ ÙÖ ÙÒ Ñ X Ð ÐÓÒ ³ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ D = (D i ) i I ÔÓ ÖØÓÒÒÐ ÒÓѹ ÒØÙÖ Ò ÙÒ ÑÐÐ ³ÒØÖ Ü = ( i ) i I º Ø Ò ÙÜ ØÑÔ ÓÒ ÒØ ³ÓÖ ÔÖØ ¾º½º½µ Ð ÙÜ ÔÖÓÐÕÙ ÔÙ ÔÖØ ¾º¾µ Ð ÒÓØÓÒ ÐÖØ ÐÓÐ ÔÓÙÖ ÙÒ ØÐ Ùº ÇÒ ÑÓÒØÖ Ð ÖØÖ ÖÙÖ ½ ÚÓÖ ÐÑÑ ½ µ ¾
ØØ ÓÒØÓÒ ÔÖÓÔÓ ØÓÒ ½µ ÕÙ ÑÔÐ ÓÒ ÖÐÑÒØ ÐÓÖ ÕÙ Ð ÑÐÐ Ø ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ ÔÖÓÔÓ ØÓÒ ¾µº ÇÒ ÖÔÔÐÐ Ò ÙØ ÔÖØ ¾ºº½µ Ð ÒÓØÓÒ ÑÔ ÖÒ Ó Ð ÓÒÒ X D Ø Ø Ð ÔÖØ ÔÓÙÖ ÙØ ÔÖ Ð ØÓÖÑ ¾ ÕÙ ÒØ Ð Ö ÔÖÓÐÕÙ ÙÜ Ö Ù ÙÐ ÙÖ Ð ÑÔ ÖÒ º Ä ÙÜ ÔÖØ ÙÚÒØ ÓÒØ ÒØÙÖ ÔÐÙ ØÒÕÙº Ä Ö ÙÐØØ ÒØÐ Ð ÔÖØ Ø Ð ÔÖÓÔÓ ØÓÒ ÕÙ ÓÒÒ ÙÒ ÒØÖ¹ ÔÖØØÓÒ Ù ÖÓÙÔ ÓÒÑÒØÐ ÑÓÖ ÓÑÑ ÐÑØ ÔÖÓØÚ ÖÓÙÔ ÓÒÑÒØÙÜ ÑÔ ÖÒ º ³ Ø ÙÒ ÓÒ ÕÙÒ ÔÙ ÔÖ Ñѹ Ø Ù ÐÑÑ ³ÝÒÖº Ä ÔÖØ ØÙ Ð ÐÒ ÒØÖ ÖÓÙÔ ÓÒÑÒØÐ ³ÙÒ ÑÔ ÐÒ¹ ÅÙÑÓÖ ÓÒÚÒÐ Ø Ö Ò º ÐÒ ³ÜÔÖÑ ÔÖ ÙÒ ÕÙÚÐÒ ØÓÖ ØÒÒÒÒ ÒØÖ Ý ØÑ ÐÓÙÜ k¹úøóöð ÖÒ Ò ÙÖ Ð ÑÔ Ø Ö Ò ÓÒÒ ÔÖ ÙÒ ÓÒØÙÖ Ð ÊÑÒÒ¹ÀÐÖØ ÚÓÖ Ð ÓÖÓÐÐÖ º Ä ÔÓÒØ ÖÙÐ ØÓÖÑ µ Ø Ð Ø ÕÙ Ð Ö ÒØÐÐÑÒØ Ò ÙÖ Ð ÑÔ ÖÒ Ø ÙÒ ÔÙ ÔÐÙ ÒÖÐÑÒØ ÙÖ Ñ ØÓÖÙ µ ÔÖÓÔÖ Ø ÖÙØ ÙÖ ÙÒ ÓÖÔ ÓÖÑÒØ ÙÒ ØÓÖ ØÒÒÒÒº Ä ÔÖØ ÙÚÒØ ÔÖØ µ Ø ÙÒ ÔÖØ ÝÒØ Ó Ð³ÓÒ ÑÐ Ð ÖÒØ ÐÑÒØ ÔÓÙÖ ÓÙØÖ Ù ØÓÖÑ ½º ÒÒ Ð ÖÒÖ ÔÖØ ÔÖØ µ Ø ÓÒ Ö Ð³ÔÔÐØÓÒ Ù ØÓÖÑ ½ Ù ÐÙÐ ÜÔÐØ Ö ÔÖÓÐÕÙ Ò ÖÓÙÔ ³ÓÐÓÒÓÑ Ö ÓÐÙк ½º ÇÖÒ Ø ÐÒ Ú ØÖÚÙÜ Ü ØÒØ Ä ÒØÓÒ Ö ÔÖÓÐÕÙ ÔÖ ÖÔÔÓÖØ ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ D Ò Ð ÔÖØ ¾ Ø Ò ÔÖ ÐÐ ÅÖÙÝѹÓÓÛ ¾ º ÍÒ ÖÒ ÑÔÓÖØÒØ Ú ÙØÙÖ Ø Ð³ÑÔÐÓ ³Ò ÑÙÐØÔÐ ÑÓ¹ ÖÐÑÒØ ÙØÒØ ³Ò ÕÙ ÓÑÔÓ ÒØ ÖÖÙØÐ ÖÙÐÖ Dµ ÕÙ ÑÒ ÒØÙÖÐÐÑÒØ Ð ÒØÓÒ ½ ÒØÐÐÑÒØ ÕÙÚÐÒØ ÐРѹ ÔÐÓÝ ÔÖ ÁÝÖ Ø ËÑÔ ÓÒ ÚÓÖ ¾ º ÓÑÔÐÕÙ ÒÙÐÖÑÒØ Ð ÓÒØÓÒ ÐÖØ ÐÓÐ ÔÓÙÖ ÙÒ Ù ÔÖÓÐÕÙ Ð ÒØÓÒ Ò ØÖÑ ³Ó¹ ÑÓÐÓ ÓÑÔÐÜ Ó ØØ Ø ÒØÖÑÒØ ÓÖÒÐ Ø ÑÐ ÔÔÓÖØÖ ÙÒ ÐÖ ÒÓÙÚÙ ÙÖ Ð ÒÓØÓÒ Ö ÔÖÓÐÕÙ ÐÓÐÑÒØ ÐÒ ÑÔÐÓÝ Ò ¾ ÚÓÖ Ð ÖÑÖÕÙ µº Ä ÑÔ ÖÒ ÓÒØ Ø ÒØÖÓÙØ ÔÖ Î ØÓÐ µ Ø ÑÒ ½ µº ijÒØØÓÒ Ö ÔÖÓÐÕÙ Ú Ð Ö ÙÖ Ð ÑÔ ÖÒ Ø ÒØ Ò ½¼ Ò Ð ØÙØÓÒ Ò ÙÒÕÙ ÒÖÐ ØÓÒ Ð ØÙØÓÒ ÔÖ ÒØ Ò ÔÓ Ô ÔÖÓÐÑ ÔÖØÙÐÖº ÇÒ ÔÙØ ØÖÓÙÚÖ ÖØÒ ÔÖÙÖ ÙÖ Ö ÙÐØØ Ò ÔÖØÙÐÖ Ò Ð ØÖÚÐ Û µ Ñ ÙØÙÖ Ò³ÑÔÐÓÝÒØ ÕÙ Ö ÔÖÓÐÕÙ Ò ÙÒÕÙ Ö ÙÐØØ Ò ÒÓÙ ÑÐÒØ ÓÖÖØ ÕÙ Ò Ð ³ÙÒ Ú ÙÖ ÖÙÐÖº Ä ÔÖÙÚ ÓÒÒ Ù ØÓÖÑ ÆÓÖ ÔÖÓÐÕÙ ØÓÖÑ µ Ø ÓÑÔй ØÑÒØ ÒÔÒÒØ Ð ÔÖÙÚ ÆÓÖ Ò ÑÒ ÓÒ 1 ÆÓÖ Ò³ÙØÐ ÒØ Ô Ð ÒØÓÒ Ë Ö Ö ÔÖÓÐÕÙ µ Ñ Ö Ð³ÙØÐ ØÓÒ ÑÔ ÖÒ ÙØ ³ Þ ÔÖ Ð ÑÓÒ ØÖØÓÒ Ð ÚÖ ÓÒ Ð ÕÙ ÒÓÒ ÔÖÓÐÕÙµ Ù ØÓÖÑ Ò ÔÖØÙÐÖ Ð ÑÓÒ ØÖØÓÒ ÕÙ Ð Ö
ÒØÐÐÑÒØ Ò ÙÖ ÙÒ Ñ ØÓÖÙ ÓÖÑÒØ ÙÒ ØÓÖ ØÒÒÒÒ ØÓÖÑ µ Ø ÙÒ ÔØØÓÒ ÖØ Ð ÔÖÙÚ ÕÙ ÆÓÖ ÓÒÒ ÔÓÙÖ ÙÒ Ñ Ù Ùк ÌÓÙØÓ Ð³ÑÔÐÓ ³ÙÒ ÓÒØÙÖ ØÝÔ ÊÑÒÒ¹ÀÐÖØ ÚÓÖ ïºµ ÔÓÙÖ Ö Ð ÐÒ ÒØÖ Ý ØÑ ÐÓÙÜ Ø Ö Ò Ò ÕÙ ÒØÙÖÐÐ ÑÐ ÒÓÙÚÐÐ Ò ÓÒØÜغ Ä ØÖÚÙÜ ÖÓØÒ¹ÅÙÖÖ ¾½ µ ÙÖ Ð ÖÓÙÔ ÓÒÑÒØÐ ÑÓÖ Ò ÕÙ ÙÜ ÆÓÓ ½ µ Ø ÓÓÒÝÒ µ ÙÖ Ð ÖÓÙÔ ÓÒÑÒØÐ ÑÔ ÐÒ¹ÅÙÑÓÖ ÓÒØ ³ÙØÖ ÒÖÒØ ÑÔÓÖØÒØ Ð ÔÖÙÚº ÐÑÒØÖ Ñ ÔÖÓÖ ÙÒ ÔÙ ÙÖÔÖÒÒØ Ð³ ÓÒ ØÖÙÖ Ö Ò ÔÖ Ñ ÖØ ÚÓÖ Ð ÔÖÓÔÓ ØÓÒ ½¾ Ø Ð ÐÑÑ ¾¼µ Ò ÑÐ Ô ÚÓÖ Ø ÑÔÐÓݺ ÒÒ ÔÓÙÖ ÓÒÐÙÖ ÙÖ Ð Ò Ù Ò Ø ÖØÐ Ð ÖØ ÒØÙÖÐй ÑÒØ ÓÙØÐ ³ÚÓÖ ÙÒ ÚÖ ÓÒ Ù ØÓÖÑ ÆÓÖ ÔÖÓÐÕÙ ÔÓÙÖ ÙÒ Ú ÙÖ ÖÓ ÑÒØ ÒÓÖÑÙÜ ÒÖÙÜ ÓÙ ÙÖ ÙÒ ÓÖÔ ÕÙÐÓÒÕÙº ½º ÊÑÖÑÒØ ØÖÚÐ ÓØ ÙÓÙÔ ÒÐÓ Î ØÓÐ ÓÒØÓÙÖ Ò³ØÒØ ÔÔÖÙ Òع ØÑÒØ ÕÙ³ Ð ÙØ ³ÙÒ Ú Ø ÓÐÓÒ Ò ÒÚÖ ¾¼¼º Â Ð³Ò ÖÑÖ ÐÙÖÙ ÑÒغ  ØÒ ÐÑÒØ ÖÑÖÖ Ð ÒÖÓ ÓÓ ÅÐ Ñ ÐÑ Ó ÖÞ ÅÚ ÆÓÖ ÅÖØÒ ÇÐ ÓÒ Ø ÖÐ ÎÞÞÓ ÔÓÙÖ ³ÒØÖ ÒØ Ù ÓÒ ÙÖ Ð Ùغ ¾ Ö ÔÖÓÐÕÙ Ð ÐÓÒ ³ÙÒ ÑÐÐ ÖÙ¹ ÐÖ Ú ÙÖ Ò ØØ ÔÖØ ÓÒ ÒÓØÖ X ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÐÓÐÑÒØ ÒÓØÖÒ I ÙÒ Ò ÑÐ Ò D = (D i ) i I ÙÒ ÑÐÐ Ú ÙÖ ÖØÖ Ø ÙÖ X = ( i ) i I ÙÒ ÑÐÐ ³ÒØÖ i 1º ¾º½ ¾º½º½ ÙÜ ÔÖÓÐÕÙ ÒØÓÒ ËÓÒØ ³ÓÖ I, C ÙÜ ØÓÖ ÑÓÒÓÐ I ØÒØ ÙÔÔÓ ØÖغ ÍÒ ÓÒØÙÖ ÑÓÒÓÐ F : I C ÔÖÑØ ÚÓÖ C ÓÑÑ ÙÒ I¹ÑÓÙÐ Öе ÙÖ Ð ÑÓÒÓ I Ú Ð³ÓÔÖØÓÒ I C C (I, C) F(I) C ÇÒ ÓÒ Ö ÔÖ ÒØ I = (Z I ) op C 1 = ( 1 ZI ) op Ó ÔÖ ÒØÓÒ 1 ZI = i I 1 i Z Ø C 2 = MODX Ð ØÓÖ ÙÜ O X ¹ÑÓÙÐ ÙÖ Xº I Ø C 1 ÓÒØ ÚÙ ÓÑÑ ØÓÖ Ó ÙÜ Ò ÑÐ ÓÖÓÒÒ ÓÖÖ ¹ ÔÓÒÒØ Ø ÑÙÒ Ù ÔÖÓÙØ ØÒ ÓÖÐ ÒÙØ ÔÖ Ð³ØÓÒ ÕÙÒØ C 2 ÐÐ
Ø ÑÙÒ ØÖÙØÙÖ ÑÓÒÓÐ ÒÓÒÕÙº ÒÒ ÓÒ ÔÓ Ù ÓÒØÙÖ ³ÒÐÙ ÓÒ F 1 : I C 1 Ø Ù ÓÒØÙÖ F 2 : I C 2 l = (l i ) i I O X ( ld) = O X ( i I l id i ) ÕÙ ÔÖÑØØÒØ ÚÓÖ C 1 Ø C 2 ÓÑÑ I¹ÑÓÒÓ º ÒØÓÒ ½º ÇÒ ÒØ Ð ØÓÖ ÙÜ ÔÖÓÐÕÙ ÙÖ X Ð ÐÓÒ D ÔÓ ÑÙÐØÔÐ 1 ÓÑÑ Ð ØÓÖ ÑÓÖÔ Ñ ÑÓÙÐ ÙÖ Ð ÑÓÒÓ (Z I ) op PAR 1 (X,D) = Hom (Z I ) op((1 ZI ) op, MODX) ÈÐÙ Ò ØÐ ÙÒ ÓØ PAR 1 (X,D) Ø ÙÒ ÓÙÔÐ (E, j) Ó E : ( 1 ZI ) op MODX Ø ÙÒ ÓÒØÙÖ ÒÓÒ Ò ÖÑÒØ ÑÓÒÓÐ µ Ø j Ø ÙÒ ÓÑÓÖ¹ Ô Ñ ÒØÙÖÐ Ø ÓÑÓÖÔ Ñ Ô ÙÓ¹ÔÖÓ µ (Z I ) op ( 1 ZI ) op + ( 1 ZI ) op j (Z I ) op E E (Z I ) op MODX OX( D) MODX ÇÒ ÓÑØØÖ ÓÙÚÒØ j ÔÓÙÖ ÐÐÖ Ð ÒÓØØÓÒ º ÍÒ ÑÓÖÔ Ñ (E, j) (E, j ) Ø ÙÒ ØÖÒ ÓÖÑØÓÒ ÒØÙÖÐÐ ¾º½º¾ ( 1 ZI ) op ÓÑÔØÐ Ú j Ø j Ò ÙÒ Ò ÚÒغ E E α MODX ÇÔÖØÓÒ ÐÑÒØÖ ÙÖ Ð ÙÜ ÔÖÓÐÕÙ ÈÓÙÖ l obj 1 ZI Ø E objpar1 (X,D) ÓÒ ÔÓ Ù Ð Ò Ð ÑÒÖ Ù ÙÐÐ E [l] : ( 1 ZI ) op +l ( 1 ZI ) op E MODX г ÓÑÓÖÔ Ñ Ô ÙÓ¹ÔÖÓ ØÒØ ÒÙØ ÔÖ ÐÙ E Ð ÑÒÖ ÚÒغ È ÓÒ Ù ÔÖÓÙØ ØÒ ÓÖÐ ÙÜ ÔÖÓÐÕÙ ÓÒÒ E, E objpar1 (X,D) ÓÒ ÔÓ ÔÓÙÖ ØÓÙØ l obj 1 ZI гÓØ E l E [ l] PAR 1 (X,D) ÓØÒÙ ÓÑÑ ÔÖÓÙØ ØÒ ÓÖÐ ÜØÖÒ E l objmodx ÔÖ E [ l] objpar1 (X,D)º ØØ ÕÙÒØØ ØÒØ ÒØÙÖÐÐ Ò l ÓÒ ÔÙØ ÒÖ (E E ) ÓÑÑ Ð ÓÒ ¾ Ù ÓÒØÙÖ ÚÖÒ ÑÜØ ÓÖÖ ÔÓÒÒØ Ò PAR 1 (X,D) ÕÙ Ø ÓÓÑÔÐØ ÚÙ ÕÙ MODX г ص ¾ ÔÓÙÖ ØÐ ÙÖ Ð ÒÓØÓÒ ÓÒ ÓÒµ ÚÓÖ ¾ ÓÙ Ò ½¼ ÔÔÒ
l 1 (E E ) ZI = E l E [ l] ÔÖÓÙØ ØÒ ÓÖÐ Ø Ð³ÓÒØ Ù ÒÖµ Ù ÓÒØÙÖ Hom ÒØÖÒ ÒØÙÖÐ PAR1 (X,D) ÓÒØ ÒÓÙ Ò³ÙÖÓÒ Ô Ù µº È ÓÒ Ù ØÖÙØÙÖ ÔРгÒÐÙ ÓÒ Z I 1 ZI ÑØ ÔÓÙÖ ÓÒØ Ù Ð ÓÒØÙÖ 1 ZI l [ l] Ó [l] = ([l i ]) i I [ ] ÒÒØ Ð ÔÖØ ÒØÖ ÓÒ ÔÖ ÕÙ Ð Ò³ÒØÖ¹ ÒÖ Ô ÓÒÙ ÓÒ Ú Ð ÒÓØØÓÒ Ù Ðµº ÇÒ Ò ÙØ ÕÙ Ð ÓÒØÙÖ ³ÓÙÐ ÓÙ ³ÚÐÙØÓÒ Ò ÞÖÓµ Hom (ZI ) op((1 ZI ) op, MODX) Hom (ZI ) op((zi ) op, MODX) MODX ÑØ ÙÒ ÓÒØ Ù ÕÙ³ÓÒ ÒÓØÖ E E Ò ÔÖ Z I E = E O X ([ ]D) ½µ ÇÒ ÔÔÐÐÖ E Ð Ù ÔÖÓÐÕÙ ØÖÙØÙÖ ÔÐ ÒÙØ ÔÖ Eº ÄÓÖ ÕÙ D = E ÓÒ ÔÓ ³ÙÒ Ù ÔÖÓÐÕÙ ÔÖØÙÐÖ Ò ÓÑÑ ÓÒØÙÖ ÔÖ l O X ( le) г ÓÑÓÖÔ Ñ Ô ÙÓ¹ÔÖÓ ØÒØ Ò Ð ÑÒÖ ÚÒغ ÇÒ Ð ÒÓØÖ ÑÔÐÑÒØ O X ( E)º ÒÒ Ð Ø ÐÖ ÕÙ f : X X Ø ÙÒ ÑÓÖÔ Ñ ÔÐØ Ð ÔÖ ÓÒØÙÖ ÓÒØ (f, f ) ÒØÖ Ð ØÓÖ MODX Ø MODX ÒÙØ ÙÒ ÓÒØÓÒ ÑÐÖ ÒØÖ Ð ØÓÖ PAR 1 (X,D) Ø PAR1 (X, f D)º ¾º¾ ¾º¾º½ Ö ÔÖÓÐÕÙ ØØ ÇÒ Ú ÒÖ ÖØÒ ÔÔÐØÓÒ ÓÒØ Ð ÙØ Ø 1 ZI = i I 1 i Z ÚÙ ÓÑÑ Ò ÑÐ ÓÖÓÒÒº ÒØÓÒ ¾º ËÓØ J I ÙÒ ÓÙ ¹Ò ÑÐ Ø (e i ) i I Ð ÒÓÒÕÙ Z I º ÇÒ ÔÔÐÐ ØØ ØÓÙØ ÔÔÐØÓÒ ÖÓ ÒØ ¾µ F : {0 < 1} J 1 ZI ÕÙ Ø Ò Ù Ò ÙÚÒØ Ð Ü Ø ÙÒ ÑÐÐ ³ÒØÖ ǫ = (ǫ i ) i J ÚÖÒØ i J 1 ǫ i i ØÐÐ ÕÙ µ = (µ i ) i J {0 < 1} J F(µ) = F(0) + i J µ i ǫ i i e i
ÈÖ Ð ÙØ ÓÒ ÒØÖ ÙÒ ØØ ÒØÖ ÙÜ Ò ÑÐ ÓÖÓÒÒ Ú Ð ÓÒØÙÖ ÒØÖ Ð ØÓÖ ÓÖÖ ÔÓÒÒØ º Ä ÓÒÒ ³ÙÒ ØØ ÕÙÚÙØ Ò ÒØÒÙ ÐÐ J F(0) Ø Ð ÑÐÐ ǫº Ò Ð ÔÖØÙÐÖ Ó F(0) = 0 Ø ǫ = J ÓÒ ÔÖÐÖ Ð ØØ ÔÐ Ó J Ø ÓÒ Ð ÒÓØÖ F J Ð ³Ø ÑÔÐÑÒØ Ð³ÒÐÙ ÓÒ F J : {0 < 1} J 1 ZI º ÈÐÙ ÒÖÐÑÒØ ÐÓÖ ÕÙ F(0) = 0 ÓÒ ÒÓØÖ F ǫ J Ð ØØ ÓÖÖ ÔÓÒÒغ ¾º¾º¾ ÓÑÔÐÜ Ó ÙÒ Ù ÔÖÓÐÕÙ Ø ÙÒ ØØ ÇÒ ÓÑÑÒÖ ÔÖ ÔÖ Ö Ð ÓÒÚÒØÓÒ ÙØÐ ÓÒÖÒÒØ Ð ÓÑÔÐÜ ÑÙÐØÔÐ ÒØÐÐÑÒØ ÑÔÖÙÒØ ¼ µº ËÓØ J ÙÒ Ò ÑÐ Òº ÍÒ Óѹ ÔÐÜ Ò µ ÑÙÐØÔÐ ÚÐÙÖ Ò ÙÒ ØÓÖ ÐÒÒ A Ø ÙÒ ÓÒØÙÖ C. = (N J ) op A ØÐ ÕÙ ÓÒ ÒÓØ (e i ) i J Ð ÒÓÒÕÙ N J ÐÓÖ ÔÓÙÖ ØÓÙØ ÑÙÐØ¹Ò α = (α i ) i J Ø ÔÓÙÖ ØÓÙØ j J Ð ÑÓÖÔ Ñ d j α : C α C α ej ÚÖÒØ d j α e j d j α = 0º ÙÒ ØÐ ÓÑÔÐÜ ÓÒ Ó Ð ÑÒÖ ÓÒ ÓÑÔÐÜ ØÓØÐ Tot(C ) Ð ÑÒÖ Ù ÙÐÐ ÓÒ ÓÑÑÒ ÔÖ ØÖÒ ÓÖÑÖ C Ò ÓÑÔÐÜ Òع ÓÑÑÙØØ Ò ÜÒØ ÙÒ ÓÖÖ ØÓØÐ ÖØÖÖ ÙÖ Ð³Ò ÑÐ J Ø Ò ÑÓÒØ Ð ÖÒØÐÐ Ð ÑÒÖ ÙÚÒØ ÓÒ ÔÓ ÔÓÙÖ ØÓÙØ ÑÙÐØ¹Ò α = (α i ) i J Ø ÔÓÙÖ ØÓÙØ j J δ j α = ( 1)P i<j αi d j α ijÔÔÐÐØÓÒ ÓÑÔÐÜ ÒعÓÑÑÙØØ Ø Ù Ø ÔÖ Ð Ø ÕÙ³ÐÓÖ δ j δ j = δ j δ j ÐÓÖ ÕÙ ÜÔÖ ÓÒ ÓÒØ ÙÒ Ò ÔÓÙÖ ØÓÙØ j j Ò Jº Ä ÓÑÔÐÜ ØÓØÐ Ø ÐÓÖ Ò ÔÖ ÔÓÙÖ n 0 Tot(C ) n = α, α =n C α Ó α = i J α i Ø Ð ÖÒØÐÐ ØÒØ Ò ÔÖ δ n = α, α =n i J δi αº Ä Ø ÕÙ³ÓÒ ÔÖØ ³ÙÒ ÓÑÔÐÜ ÒعÓÑÑÙØØ ÙÖ ÕÙ³ÓÒ ÓØÒØ Ò Ò ÙÒ ÓÑÔÐÜ ÑÔеº ÒØÓÒ º ËÓÒØ E objpar1 (X,D) ÙÒ Ù ÔÖÓÐÕÙ Ø F : {0 < 1} J 1 ZI ÙÒ Øغ ÇÒ ÔÔÐÐ ÓÑÔÐÜ ÑÙÐØÔÐ Ó Ð ÔÖÓÐÓÒÑÒØ ÔÖ ÞÖÓ Ù ÓÒØÙÖ ÓÑÔÓ E F op (N J ) op ÓÑÑ Ò Ð ÖÑÑ ¹ ÓÙ (N J ) op MODX E F op ({0 < 1} J ) op ÈÖ Ù ÓÒ ÒÓØÖ ÒÓÖ ÓÑÔÐÜ ÑÙÐØÔÐ E F op º Ä Ò ÒØÓÒ ÔÔÖØ Ò Ð ÔÖØÙÐÖ Ó E = O X Ð Ù ØÖÙØÙÖÐ ÑÙÒ Ð ØÖÙØÙÖ ÔÖÓÐÕÙ ÔÐ Ø F = F J Ð ØØ ÔÐ Ó Jº
ÄÑÑ ½º ÈÓÙÖ i I ÓÒ ÒÓØ (O X ( D i ) O X ) Ð ÓÑÔÐÜ Ò ÑÔе ÓÒÒØÖ Ò Ö 1 Ø 0º ÈÓÙÖ ØÓÙØ J I Ð Ü Ø ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ ÓÑÔÐÜ ÑÙÐØÔÐ O X F op J i J(O X ( D i ) O X ) ÑÓÒ ØÖØÓÒº Ð Ö ÙÐØ ÑÔÐÑÒØ Ð³ÜÔÖ ÓÒ O X ½µ ﾺ½º¾º ÓÒÒ ÔÖ Ø ÜÑÔÐ Ø ÖÙÐ ÔÓÙÖ ÒÖ Ð Ö ÔÖÓÐÕÙ ÔÙ ÕÙ Ùܹ ÖÓÒØ ÐÓÐÑÒØ ÓÑÑ ÖØ Ò ÙÜ Ð Ù Ù ØÖÙØÙÖÐ ºº Ù ØÝÔ O X [l] ÔÓÙÖ l obj 1 ZI ÚÓÖ ÖÑÖÕÙ µ ÕÙ ÑÔÓ ÓÒØÖÒØ ÓÖØ ÙÜ ÓÑÔÐÜ Ó ÕÙ Øغ ÑÒÖ ÑÐÖ ÓÒ ÄÑÑ ¾º ËÙÔÔÓ ÓÒ D = Eº ÈÓÙÖ ØÓÙØ J I Ø ØÓÙØ ǫ = (ǫ j ) j J ÓÑÑ Ò ï¾º¾º½ Ð Ü Ø ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ ÓÑÔÐÜ ÑÙÐØÔÐ O X ( E) F op ǫ J i J(O X ( ǫ i E i ) O X ) ÑÓÒ ØÖØÓÒº ÓÒ ÕÙÒ ÖØ Ð ÒØÓÒ ¾º ¾º¾º ÒØÓÒ Ö ÔÖÓÐÕÙ ÄÑÑ º ËÓØ E objpar1 (X,D) ÙÒ Ù ÔÖÓÐÕÙ Ø F : {0 < 1} J 1 ZI ÙÒ Øغ ÁÐ Ü Ø ÙÒ ÑÓÖÔ Ñ ÒØÙÖÐ ÓÑÔÐÜ ÑÙÐØÔÐ E F(0) (O X F op J ) E F op ÕÙ Ø ÙÒ ÓÑÓÖÔ Ñ Ò ÑÙÐعµÖ 0º ËÙÔÔÓ ÓÒ ÔÐÙ E F(0) ÐÓй ÑÒØ ÐÖ ÖÒ Ò ÐÓÖ i J : i J D i X Ò Ð³ÑÑÖ ÓÒ ÖÑ ÒÓÒÕÙ Ð Ü Ø ÙÒ ÙÖØÓÒ ÒØÙÖÐÐ i J i J E F(0) H 0 (Tot(E F op ))º ÇÒ ÖÔÓÙ Ð ÔÖÙÚ ÔÖ Ð ÒØÓÒ ÙÚÒغ Ä ÙÜÑ ÖØÓÒ ÑÓÒØÖ ÕÙ ÓÙ Ð ÝÔÓØ Ù ÐÑÑ H 0 (Tot(E F op )) Ø ÙÔÔÓÖØ Ò i J D i ÕÙ ÓÒÒ ÙÒ Ò Ð ÒØÓÒ º ËÓØ E objpar1 (X,D) ÙÒ Ù ÔÖÓÐÕÙº ÇÒ Ø ÕÙ ³ Ø ÙÒ Ù ÔÖÓÐÕÙ ÐÓÐÑÒØ ÐÖ ÓÙ ÒÓÖ ÙÒ Ö ÔÖÓÐÕÙ ÔÓÙÖ ØÓÙØ ØØ F : {0 < 1} J 1 ZI гÓÑÓÐÓ H l (Tot(E F op )) Ù ÓÑÔÐÜ ÑÙÐØÔÐ Ó Ø ÒÙÐÐ ÔÓÙÖ l > 0 Ø Ø ÙÒ Ù ÐÓÐÑÒØ ÐÖ ÖÒ Ò ÙÖ i J D i ÔÓÙÖ l = 0º ÇÒ ÒÓØÖ Pa1 (X,D) Ð ØÓÖ ÙÜ ÔÖÓÐÕÙ ÐÓÐÑÒØ ÐÖ ÙÖ X Ð ÐÓÒ D ÔÓ ÑÙÐØÔÐ 1 º ØØ ÒØÓÒ ÔÒ ÔÖÓÖ Ù ÓÜ ³ÙÒ ÓÖÖ ØÓØÐ ÙÖ I Ñ Ð ÔÖÓÔÓ ØÓÒ ½ Ø Ð ÖÑÖÕÙ ½ ÕÙ ³Ò ÙØ ÑÓÒØÖÒØ ÕÙ³Ð Ò³Ò Ø ÖÒ Ù ÑÓÒ ÔÓÙÖ ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ ÚÓÖ ï¾º º½µ ÕÙ Ø Ð ÙÐ ÕÙ ÒÓÙ ÓÒ ÖÖÓÒ
ÑÓÒ ØÖØÓÒ Ù ÐÑÑ º Ä ÙÜÑ ÖØÓÒ Ø ÙÒ ÓÒ ÕÙÒ Ð ÔÖÑÖ ÔÙ ÕÙ Ðй ÒØÖÒ Ð³Ü ØÒ ³ÙÒ ÑÓÖÔ Ñ ÓÑÔÐÜ ÑÔÐ Tot(E F(0) (O X F op J )) Tot(E F op ) ÕÙ Ø ÙÒ ÓÑÓÖÔ Ñ Ò ¹ Ö 0 ³Ó ÙÒ ÔÑÓÖÔ Ñ H 0 (Tot(E F(0) (O X F op J ))) H 0(Tot(E F op ))º ijÝÔÓØ ÙÖ E F(0) ÓÒÒ ÐÓÖ H 0 (Tot(E F(0) (O X F op J ))) E F(0) H 0 (Tot((O X F op J )))º Ä ÐÑÑ ½ ÑÓÒØÖ ÕÙ Tot((O X F op J )) Ø Ð ÓÑÔÐÜ ÃÓ ÞÙÐ Ó Ð ÑÐÐ (D i ) i J ÕÙ ÔÖÑØ ÓÒÐÙÖº Ê Ø ÑÓÒØÖÖ Ð ÔÖÑÖ ÖØÓÒº ijÝÔÓØ ÕÙ F Ø ÙÒ ØØ ÑÓÒØÖ ÕÙ³ÓÒ Ò ÔÖØÙÐÖ µ = (µ i ) i J {0 < 1} J F(µ) F(0) + F J (µ)º ØØ ÒÐØ ÒØÖ ÔÔÐØÓÒ ÖÓ ÒØ ÔÙØ ³ÒØÖÔÖØÖ ÓÑÑ Ð³Ü ØÒ ³ÙÒ ØÖÒ ÓÖÑØÓÒ ÒØÙÖÐÐ ÒØÖ Ð ÓÒØÙÖ ÓÖÖ ÔÓÒÒØ {0 < 1} J F F(0)+F J 1 ZI Ò Ô ÒØ ÙÜ ØÓÖ ÓÔÔÓ Ø Ò ÓÑÔÓ ÒØ Ú E ({0 < 1} J ) op F op op (F(0)+F J) op ( 1 ZI ) op E MODX ÓÒ ÓØÒØ ÙÒ ØÖÒ ÓÖÑØÓÒ ÒØÙÖÐÐ E op : E (F(0) + F J ) op E F op º Ä ÖÑÑ ÙÚÒØ ({0 < 1} J ) op (F(0)+F J) op o p (FJ,F(0)) (Z I ) op ( 1 ZI ) op + ( 1 ZI ) op (F op J,E F(0) ) j (Z I ) op E E (Z I ) op MODX OX( D) MODX ÑÓÒØÖ Õ٠г ÓÑÓÖÔ Ñ Ô ÙÓ¹ÔÖÓ j E ÔÖÑØ ³ÒØÖ E (F(0) + F J ) op Ú E F(0) (O X F op J ) ÕÙ ÓÒÐÙØ Ð ÑÓÒ ØÖØÓÒ Ù ÐÑѺ ¾º Ö ÔÖÓÐÕÙ Ø ÖÚØÑÒØ ÈÓÙÖ ÑÓÒØÖÖ Ð ÔÖØÒÒ Ð ÒØÓÒ ÓÒ ÓØ ÑÓÒØÖÖ Ð³Ü ØÒ Ö ÔÖÓÐÕÙ ÒÓÒ ØÖÚÙÜ ºº ÙØÖ ÕÙ Ð ÓÑÑ ÖØ Ð Ö ØÖÙØÙÖ ÔÐ Ò ÕٳРÓÒØ ØÓÙ ÐÓÐÑÒØ ØÝÔµº Ä ÑÒÖ Ð ÔÐÙ ÖØ ÔÖÓÙÖ ØÐ Ö ÔÖÓÐÕÙ Ø ³ÙØÐ Ö ÖÚØÑÒØ ÃÙÑÑÖ ÖÑ Ð ÐÓÒ ³ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ º ÇÒ ÓÑÑÒ ÔÖ ÔÖ Ö ÒÓØÓÒ º
¾º º½ ÑÐÐ ÖÙÐÖ Ú ÙÖ ÇÒ ÖÔÔÐÐ Ð ÐÑÑ ÓÐÐÓÖÕÙ ÙÚÒØ Ò ÕÙ³ÙÒ ÔÖÙÚ ÖÔÓÙ ÔÖ Ð ÒØÓÒ ÐÕÙÐÐ Ð ÓÒÒ ÙÒ Ò º ÄÑÑ º ËÓØ X ÙÒ Ñ ÐÓÐÑÒØ ÒÓØÖÒ I ÙÒ Ò ÑÐ Ò D = (D i ) i I ÙÒ Ò ÑÐ Ú ÙÖ ÖØÖ Ø ÙÖ X Ø ÔÓÙÖ ØÓÙØ i I s i : O X O X (D i ) Ð ØÓÒ ÒÓÒÕÙº Ä ÓÒØÓÒ ÙÚÒØ ÓÒØ ÕÙÚ¹ ÐÒØ µ Ò ØÓÙØ ÔÓÒØ x X ÓØ ÙÒ ØÓÒ s i Ø ÒÚÖ Ð ÓØ (s i ) i I Ø ÙÒ ÙØ ÖÙÐÖ Ù Ò ËÖÖµ µ Ð ØÓÒ (s i ) i I : O X i I O X (D i ) Ø ÖÙÐÖ ºº Ð ÓÑÔÐÜ ÃÓ ÞÙÐ Ó Ù ÑÓÖÔ Ñ ÙÐ Ò³ Ô ³ÓÑÓÐÓ Ò Ö ÙÔÖÙÖ ÓÙ Ð 1µ µ i I D i X Ø ÙÒ ÑÑÖ ÓÒ ÖÑ ÖÙÐÖ Ø I I Ø Ð³Ð Ò¹ ÒÖ ÔÖ Ð (s i ) i I ÐÓÖ Ò ØÓÙØ ÔÓÒØ x i I D i Ð (s i ) i I ÓÖÑÒØ ÙÒ Ý ØÑ ÑÒÑÐ ÔÓÙÖ Ð ÖÒе ÒÖØÙÖ I I,x º ÒØÓÒ º ÇÒ Ö ÕÙ D = (D i ) i I Ø ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ ÔÓÙÖ ØÓÙØ ÓÙ ¹Ò ÑÐ J I Ð ÓÙ ¹ÑÐÐ D J = (D i ) i J ÚÖ Ð ÓÒØÓÒ ÕÙÚÐÒØ Ù ÐÑÑ º ÑÓÒ ØÖØÓÒ Ù ÐÑÑ º (i) = (ii) Ö ÙÐØ Ù Ø ÕÙ Ð ÓÑÔÐÜ ÃÓ ÞÙÐ Ó ÓØ ÙÒ ÑÓÖÔ Ñ ÙÖØ ÓØ ÙÒ ÙØ ÖÙÐÖ ÓÒØ Ò ÓÑÓÐÓ Ò Ö ÔÐÙ ÖÒ ÕÙ 1º (ii) = (iii) Ð Ø ÕÙ I I ÓØ ÖÙÐÖ Ö ÙÐØ ÖØÑÒØ Ð ÒØÓÒ ÜÔÓ ÎÁÁ ÒØÓÒ ½ºµº ÔÐÙ Ò ÒÓØÒØ E I = i I O X (D i ) Ø i I : i I D i X гÑÑÖ ÓÒ ÖÑ ÒÓÒÕÙ Ð ÖÙÐÖØ s I = (s i ) i I ÑÓÒØÖ ÕÙ I I /II 2 i I E I ÓÒ Ò ÙÒ ÔÓÒØ x i ID i I I,x /II,x 2 Ø ÐÖ ÖÒ #I ÔÖ ÓÒ ÕÙÒØ I I,x Ò ÙÖØ ØÖ ÒÒÖ ÔÖ ÑÓÒ #I ÐÑÒØ º (iii) = (i) i I D i X Ø ÙÒ ÑÑÖ ÓÒ ÖÑ ÖÙÐÖ ÓÒ Ò ÔÖع ÙÐÖ ÕÙ ¹ÖÙÐÖ ÜÔÓ ÎÁÁ ÈÖÓÔÓ ØÓÒ ½º µº ÙØÖÑÒØ Ø I I /II 2 Ø ÐÓÐÑÒØ ÐÖ ÖÒ Ò ÙÖ i I D i Ø Ð³ÓÑÓÑÓÖÔ Ñ ÙÖØ ÒÓÒÕÙ Sym OX/I I (I I /I 2 I) g II (O X ) Ø ÙÒ ÓÑÓÖÔ Ñº Ò ÙÒ ÔÓÒØ x i I D i Ð ÐÑÑ ÆÝÑ ÑÓÒØÖ ÕÙ Ð ÖÒ I I,x /II,x 2 ÙÖ O X,x/I I,x Ø Ð ÒÓÑÖ ÑÒÑÐ ÒÖ¹ ØÙÖ I I,x ÙÖ O X,x ÚÓÖ #Iº ÓÒ (s i ) i I Ø ÙÒ I I,x /II,x 2 Ø ÔÖ ÓÒ ÕÙÒØ Ð s i Ò ÒØ ÙÒ ÓÑÓÖÔ Ñ O X,x /I I,x [(S i ) i I ] Sym OX,x/I I,x (I I,x /II,x 2 ) Ó Ð S i ÓÒØ ÒØÖÑÒ º ÇÒ Ò ÓÒÐÙØ Õ٠гÓÑÓÑÓÖÔ Ñ ÙÖØ O X,x /I I,x [(S i ) i I ] g II,x (O X,x ) Ò ÔÖ Ð (s i ) i I Ø ÙÒ ÓÑÓÖÔ Ñ ÙØÖÑÒØ Ø Ð ÑÐÐ (s i ) i I Ø ÕÙ ¹ÖÙÐÖ Ù Ò ½ 0 ÒØÓÒ ½º½º ÓÒ ÖÙÐÖ ½ 0 ÓÖÓÐÐÖ ½º½º½½µº Ò ÙÒ ÒÒÙ ÐÓÐ ÒÓØÖÒ Ð ÖÙÐÖØ ³ÙÒ ÙØ Ò ÔÒ Ô Ð³ÓÖÖ ÐÑÒØ ÕÙ ÔÖÑØ ÔÖÐÖ ÑÐÐ ÖÙÐÖ ½¼
ÄÑÑ º µ ÌÓÙØ ÓÙ ¹ÑÐÐ ³ÙÒ ÑÐÐ ÖÙÐÖ Ð³ Ø ÐÑÒغ µ Ë (l i ) i I Ø ÙÒ Ò ÑÐ ³ÒØÖ l i 1 ÐÓÖ Ð ÑÐÐ (D i ) i I Ø ÖÙÐÖ Ø ÙÐÑÒØ Ð ÑÐÐ (l i D i ) i I г غ ÑÓÒ ØÖØÓÒº (i) Ø ÑÑغ (ii) Ö ÙÐØ ÔÖ ÖÙÖÖÒ Ð ÖØÖ ØÓÒ (i) Ù ÐÑÑ ÔÙ ÕÙ ÕÙ³ÙÒ ÐÑÒØ Ø Ú ÙÖ ÞÖÓ Ö Ôº ÒÚÖ Ðµ Ø ÙÐÑÒØ ÙÒ ÔÙ Ò Ð³ غ Ä ÒÓØÓÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ ³ØÒ ÙÜ ÑÔ ÐÒ¹ ÅÙÑÓÖ ÐÓÐÑÒØ ÒÓØÖÒ Ø Ð ÐÑÑ Ø ÒÓÖ Úк ÇÒ ÔÐÙ Ð Ö ÙÐØØ ÙØÐ ÙÚÒغ ÈÖÓÔÓ ØÓÒ ½º ËÓØ X ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÐÓÐÑÒØ ÒÓع ÖÒ D ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ º ÐÓÖ Ð Ù ÔÖÓÐÕÙ E objpar1 (X,D) Ø ÐÓÐÑÒØ ÐÖ Ø ÙÐÑÒØ µ l 1 Z Ð Ù E l Ø ÐÓÐÑÒØ ÐÖ ÙÖ Xº µ i I l i < l i l i + 1 1 i Z coke((e l i ) (E li ) ) Ø ÐÓÐÑÒØ ÐÖ ÚÙ ÓÑÑ ÓØ PAR ( 1 j ) j i (D i, (D j D i ) j i )º ÑÓÒ ØÖØÓÒº ÈÓÙÖ ÑÓÒØÖÖ Ð³ÕÙÚÐÒ ÓÒ ÔÙØ ÙÔÔÓ Ö ÕÙ µ Ø ÚÖº ËÓØ J Ø i Jº Ä ÓÒÒ ³ÙÒ ØØ F : {0 < 1} J 1 ZI ÕÙÚÙØ ÐÐ ³ÙÒ ØÖÔÐØ ( F, l i, l i ) Ó F : {0 < 1} J i j J i 1 j Z Ø ÙÒ ØØ Ø l i < l i l i + 1 Ò 1 i Z ØÐ ÕÙ Ð ÖÑÑ ÙÚÒØ µóññùøº {0 < 1} J F 1 l i 0 1 {0 < 1} J i ZI l i F j J i 1 j Z Ò ÒÓØÒØ F i 0 Ø F i 1 Ð ÙÜ ÓÒØÙÖ {0 < 1} J i 1 ZI ÓÖÖ ÔÓÒÒØ ÓÒ ÔÓ ³ÙÒ ÑÓÖÔ Ñ ÓÑÔÐÜ ÑÙÐØÔÐ 1 > 0 : E F i 1op E F i 0op Ø Ð Ø ÕÙ³ÓÒ ÙÔÔÓ µ ÚÖ ÑÓÒØÖ ÕÙ ÑÓÖÔ Ñ Ø Òغ ÁÐ Ò Ø ÓÒ ÑÑ ÔÓÙÖ Ð ÑÓÖÔ Ñ ÒÙØ Tot(1 > 0) : Tot(E F i 1op ) Tot(E F i 0op ) Ø ÓÒ ÚÖ ÕÙ Tot(E F op ) ³ÒØ ÒÓÒÕÙÑÒØ Ù Ò cone(tot(1 > 0)) ÐÙ¹º ÇÒ ÔÓ ÓÒ ³ÙÒ ÑÓÖÔ Ñ Tot(E F op ) coketot(1 > 0) ÕÙ Ø ÙÒ ÕÙ ¹ ÓÑÓÖÔ Ñ ¼ ½ººµ ÕÙ ÔÖÑØ ÓÒÐÙÖº ÊÑÖÕÙ ½º Ò ÔÖØÙÐÖ Ð Ø ÔÓÙÖ ÙÒ Ù ÔÖÓÐÕÙ ÓÒÒ ³ØÖ ÐÓÐÑÒØ ÐÖ Ò ÔÒ Ô Ð³ÓÖÖ Ó ÙÖ Ð³Ò ÑÐ ³Ò Iº ½½
¾º º¾ Ö ÔÖÓÐÕÙ ÖÐØÚÑÒØ ÙÒ ÑÐÐ Ú ÙÖ ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ ÒØÓÒ º ÍÒ ÑÐÐ D = (D i ) i I Ú ÙÖ ÖØÖ Ø ÙÖ ÙÒ Ñ ÐÓÐÑÒØ ÒÓØÖÒ X Ø Ø ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ ÔÓÙÖ ØÓÙØ ÔÓÒØ x i I D i ÓÒ µ гÒÒÙ ÐÓÐ O X,x Ø ÖÙÐÖ µ I x = {i I/x D i } Ø s i Ø ÙÒ ÕÙØÓÒ ÐÓÐ D i Ò x ÐÓÖ {s i, i I x } Ø ÙÒ ÔÖØ ³ÙÒ Ý ØÑ ÖÙÐÖ ÔÖÑØÖ º ÊÑÖÕÙ ¾º ½º ³ Ø ÙÒ ÐÖ ÔØØÓÒ ¾½ ÒØÓÒ ½ºº¾º ¾º ÁÐ ÖÚÒØ Ù ÑÑ ¾½ ÄÑÑ º½ºµ Ö ÕÙ Ð ÑÐÐ Ø ÖÓ¹ ÑÒØ ÒÓÖÑÙÜ Ø ÕÙ ÙÒ D i Ø ÖÙÐÖº º ÓÑÑ ÙÒ Ý ØÑ ÖÙÐÖ ÔÖÑØÖ Ø ½ ÒØÓÒ ½º½ºµ ÙÒ ÑÐÐ ÖÙÐÖ ÙÒ ÑÐÐ Ú ÙÖ ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ Ø Ò ÔÖØÙÐÖ ÙÒ ÑÐÐ ÖÙÐÖ Ù Ò Ð ÒØÓÒ º ÓÑÑ ØØ ÒØÓÒ Ø ÒÚÖÒØ ÔÖ ÙÒ ÒÑÒØ ØÐ ÐÐ ÐÑÒØ ÙÒ Ò ÔÓÙÖ ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖº ÇÒ ÔÐÙ ÈÖÓÔÓ ØÓÒ ¾º ËÓØ X ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÐÓÐÑÒØ ÒÓØÖÒ D ÙÒ ÑÐÐ Ú ÙÖ ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ º ÐÓÖ Ð Ù ÔÖÓÐÕÙ E objpar1 (X,D) Ø ÐÓÐÑÒØ ÐÖ Ø ÙÐÑÒØ l 1 Z Ð Ù E l Ø ÐÓÐÑÒØ ÐÖ ÙÖ Xº ÑÓÒ ØÖØÓÒº ÓÑÑ ÔÓÙÖ ØÓÙØ i I Ð ÑÐÐ (D j D i ) j i Ø ÖÓ ¹ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ ÙÖ D i ÚÓÖ ½ ÔÖÙÚ Ð ÈÖÓÔÓ ØÓÒ ½º½ºµ ÓÒ ÔÙØ Ö ÓÒÒÖ ÔÖ ÖÙÖÖÒ ÙÖ #Iº ÇÒ ÓÒÐÙØ Ð³ Ð ÔÖÓÔÓ ØÓÒ ½ Ø Ù ÐÑÑ ÙÚÒØ ÖÑÖ ÒÐÓ Î ØÓÐ ÔÓÙÖ Ñ³ÚÓÖ ÓÙÖÒ Ð ÔÖÒÔ Ð ÔÖÙÚµ ÄÑÑ º ËÓØ R ÙÒ ÒÒÙ ÐÓÐ ÒÓØÖÒ ÖÙÐÖ ³Ð ÑÜÑÐ m t m t / m 2 º ËÓÒØ ÔÐÙ M Ø N ÙÜ ÑÓÙÐ ÐÖ ÖÒ Ò ØÐ ÕÙ tm N Mº ÐÓÖ M/N Ø ÐÖ ÓÑÑ R/t¹ÑÓÙк ÑÓÒ ØÖØÓÒº ½ ÓÖÓÐÐÖ ½º½º ÓÒ ÙØ Õ٠гÒÒÙ ÐÓÐ R/t Ø ÖÙÐÖ Ø ½ ÈÖÓÔÓ ØÓÒ ½º º ÑÓÒØÖ ÕÙ³Ð Ø ÑÒ ÓÒ dimr 1º Ä ÓÖÑÙÐ ³Ù ÐÒÖ¹Ù ÙÑ ½ ÈÖÓÔÓ ØÓÒ ½º ºµ ÑÓÒØÖ ÕÙ Ð Ö ÙÐØØ ÑÓÒØÖÖ ÕÙÚÙØ pof R/t M/N = dimr 1º ÇÖ ½ ÔÖÓÔÓ ØÓÒ ½ºº ÑÓÒØÖ ÕÙ pof R/t M/N = pof R M/Nº ÔÐÙ ½ ÓÖÓÐÐÖ ½ºº ÓÒÒ ÔÓÙÖ ØÓÙØ R¹ÑÓÙÐ ØÝÔ Ò P k = R/m Ø Ð ÓÖÔ Ö ÙÐ pof R P = inf{m 0/ Ext m R(k, P) 0}º Ä ÙØ ÜØ ÐÓÒÙ ÓÓÑÓÐÓ Ó Ù ÓÒØÙÖ Hom R (k, ) Ø Ð ÙØ ÜØ ÓÙÖØ R¹ÑÓÙÐ 0 N M M/N 0 Ø ÙÒ ÒÓÙÚÐÐ ÔÔÐØÓÒ Ð ÓÖÑÙÐ ³Ù ÐÒÖ¹ Ù ÙÑ ÔÖÑØØÒØ ÓÒÐÙÖº ½¾
¾º º ÊÚØÑÒØ ÃÙÑÑÖ Ä ÒØÓÒ ÖÚØÑÒØ ÃÙÑÑÖ ÓÔØ Ø ÐÐ ¾½ ï½ ÓÒÒ ÙÒ Ò ÑÐ Ò I = ( i ) i I ÙÒ Ò ÑÐ ³ÒØÖ i 1 Ñ ÐÓÐÑÒØ ÒÓØÖÒ X Ø Y s = (s i ) i I ÙÒ Ò ÑÐ ØÓÒ ÖÙÐÖ O X ÙÒ ÑÓÖÔ Ñ p : Y X Ø Ø ÖÚØÑÒØ ÃÙÑÑÖ Y Ø ÑÙÒ ³ÙÒ ØÓÒ Ù Ñ Ò ÖÓÙÔ µ = i I µ i ØÐ ÕÙ³Ð Ü Ø ÙÒ X¹ ÓÑÓÖÔ Ñ µ ¹ÕÙÚÖÒØ Y Ú Spec(O X [(t i ) i I ]/(t i i s i ) i I ) ÐÓÖ p : Y X Ø Ð³ÔÔÐØÓÒ ÒØÙÖÐÐ ÚÖ Ð ÕÙÓØÒØ ÑØÕÙº ÈÓÙÖ i I ÓÒ ÒÓØÖ D i Ö Ôº E i µ Ð Ú ÙÖ ÖØÖ Ó s i Ö Ôº t i µ Ø D = (D i ) i I Ö Ôº E = (E i ) i I µ Ð ÑÐÐ ÓÖÖ ÔÓÒÒغ ÄÑÑ º ÇÒ ÙÔÔÓ ÕÙ D = (D i ) i I Ø ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ ÙÖ Xº ÐÓÖ Ð ÑÐÐ E = (E i ) i I Ø ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ ÙÖ Y º ÑÓÒ ØÖØÓÒº ÓÑÑ p Ø ÔÐØ Ð ÑÐÐ p D = (p D i ) i I Ø ÖÙÐÖ ÔÖ ÜÑÔÐ ³ÔÖ Ð ÐÑÑ (ii)º ÇÖ (p D i ) i I = ( i D i ) i I Ú i 1 Ø ÓÒ ÔÙØ ÔÔÐÕÙÖ Ð ÐÑÑ (ii)º ¾º º Ö ÔÖÓÐÕÙ Ó ÙÒ ÖÚØÑÒØ ÃÙÑÑÖ ËÓØ p : Y X ÙÒ ÖÚØÑÒØ ÃÙÑÑÖº ÇÒ ÓÒ ÖÚ Ð ÒÓØØÓÒ Ð ÔÖØ ¾º º º ÇÒ ÔÔÐÐÖ µ ¹ÓØ ÓÙ ÓØ µ ¹ÕÙÚÖÒص ³ÙÒ ÖØÒ ØÝÔ ÙÖ Y ØÓÙØ ÓØ Ù ÑÑ ØÝÔ ÙÖ Ð ÑÔ ÕÙÓØÒØ [Y µ ]º ÇÒ ÒÓØÖ µ MODY Ð ØÓÖ ÙÜ µ ¹ÕÙÚÖÒØ ÙÖ Y p µ : µ MODY MODX Ð³Ñ ÖØ Ð ÐÓÒ [Y µ ] X Ø µ PAR 1 (Y, p D) Ð ØÓÖ µ ¹ ÙÜ ÔÖÓÐÕÙ ÙÖ Y Ð ÐÓÒ p D ÔÓ ÑÙÐØÔÐ 1 p D = (p D i ) i I Ø ÓÒ Ö ÓÑÑ ÙÒ ÑÐÐ Ú ÙÖ ÖØÖ Ø µ ¹ÕÙÚÖÒØ ÙÖ Y Ð ÑÒÖ ÒÓÒÕÙµº ÎÙ Ð ÔÐØØÙ [Y µ ] X Ø Ð ÓÒØÓÖÐØ PAR 1 (Y, p D) Ò X ﾺ½º¾µ ÓÒ ÔÓ ³ÙÒ ÓÒØÙÖ ÒÓÒÕÙ p µ : µ PAR 1 (Y, p D) PAR 1 (X,D) ÕÙ³ÓÒ ÔÙØ ØÐÐÖ Ò ÓÒÒ ÙÒ ÓØ (F, k) µ PAR 1 (Y, p D) k ÒÒØ Ð³ ÓÑÓÖÔ Ñ Ô ÙÓ¹ÔÖÓ µ ÓÒ ÐÙ Ó (E, j) Ó E = p µ F ÒÓÖ ÒÓØ p µ (F )µ Ø j Ø ÓÒÒ ÔÖ Ð 2¹ÓÑÔÓ ØÓÒ ½
(Z I ) op ( 1 ZI ) op + ( 1 ZI ) op (Z I ) op k F F (Z I ) op µ MODY µ OY ( p MODY D) (Z I ) op p µ poj p µ (Z I ) op MODX OX( D) MODX Ð 2¹ poj ØÒØ ÓÒÒ ÔÖ Ð ÓÖÑÙÐ ÔÖÓØÓÒ Ð ÐÓÒ [Y µ ] Xº Ò ÓÑÔÓ ÒØ ÓÒØÙÖ Ú Ð ÓÒØÙÖ µ MODY µ PAR 1 (Y, p D) ÓÒÒ ÔÖ F F O Y ( E) ÚÓÖ ï¾º½º¾µ ÓÒ ÓØÒØ ÒØÓÒ º ÇÒ ÒÓØÖ Ð ÓÒØÙÖ µ MODY PAR 1 (X,D) ÓÒÒ ÙÖ Ð ÓØ ÔÖ F = p µ (F O Y ( E))º ÈÖÓÔÓ ØÓÒ º ÇÒ ÙÔÔÓ ÕÙ D = (D i ) i I Ø ÙÒ ÑÐÐ ÖÙÐÖ ¹ Ú ÙÖ ÙÖ X Ø ÕÙ F Ø ÙÒ µ ¹ Ù ÐÓÐÑÒØ ÐÖ ÖÒ Ò ÙÖ Y º ÐÓÖ Ð Ù ÔÖÓÐÕÙ ÙÖ X Ó F Ø ÙÒ Ö ÔÖÓÐÕÙ ÙÖ X Ù Ò Ð ÒØÓÒ µº ÑÓÒ ØÖØÓÒº ËÓØ F : {0 < 1} J 1 ZI ÙÒ ØØ ÓÖÖ ÔÓÒÒØ Ð ÓÒÒ J F(0) Ø Ð ÑÐÐ ǫ ÚÓÖ ÒØÓÒ ¾µº ÁÐ ³Ø ÐÙÐÖ Ð³ÓÑÓÐÓ Ù ÓÑÔÐÜ Tot( F F op ) p µ (Tot(F O X ( E) F op )) p µ (F Tot(O X ( E) F op )) ÚÙ ÕÙ Ð ÓÒØÙÖ Tot ÓÑÑÙØ ØÓÙØ ÓÒØÙÖ ÓÒ ÖÚÒØ Ð ÓÑÑ ¹ ÖØ º ÇÖ Ð Ø ÐÖ ³ÔÖ Ð ÒØÓÒ ¾ ÕÙ F = F(0) + F ǫ J Ø ÓÒ O X ( E) F op O Y ( F(0)E) (O X ( E) F op ǫ J) Ä ÐÑÑ ¾ ÑÓÒØÖ ÕÙ³ÓÒ ÓØ ÐÙÐÖ Ð³ÓÑÓÐÓ Ù ÓÑÔÐÜ p µ (F O Y ( F(0)E) Tot( i J (O Y ( ǫ i E i ) O Y ))) Ä ÓÒØÙÖ p µ (F O Y ( F(0)E)) ) ØÒØ ÜØ Ò Ø p Ø Ò ÓÒ p Ø ÜØ ½ ½º º¾ Ø µ Ø ÓÒРе ÓÒ ØÖÓÙÚ ÓÒ p µ (F O Y ( F(0)E) H l (Tot( i J (O Y ( ǫ i E i ) O Y )))) ÓÑÑ D = (D i ) i I Ø ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ ÙÖ X Ð Ò Ø ÑÑ ³ÔÖ Ð ÐÑÑ ÔÓÙÖ E = (E i ) i I º Ä ÒØÓÒ ¾ ³ÙÒ ØØ ÑÔÓ ÕÙ i J ǫ i 1 Ø Ð ÐÑÑ ÑÓÒØÖ ÕÙ Ð ÑÐÐ ǫe J = (ǫ i E i ) i J Ø ÐÑÒØ ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ º ÇÒ ÙØ Ù ÐÑÑ µ ÕÙ H l (Tot( i J (O Y ( ǫ i E i ) O Y ))) Ø ÒÙÐ ÔÓÙÖ l > 0 Ø Ø ÓÑÓÖÔ O i Jǫ ie i ÔÓÙÖ l = 0º ÇÒ ÔÙØ ÓÒÐÙÖ Ð³ Ù ÐÑÑ ÙÚÒØ ½
ÄÑÑ º ÈÓÙÖ ØÓÙØ µ ¹ Ù F ÐÓÐÑÒØ ÐÖ ÖÒ Ò ÙÖ Y Ð Ù p µ (F O i Jǫ ie i ) Ø ÐÓÐÑÒØ ÐÖ ÓÑÑ O i JD i ¹ÑÓÙк ÑÓÒ ØÖØÓÒº ÎÙ Ð ÓÑÑÙØØÚØ Ù ÖÑÑ ÓÒ p µ ÚÖÖ ÕÙ q µ j J i J ǫ i E i Y q p i J D i X i J j J j J F i J q µ j J F Ø Ð ³Ø ÓÒ j J F Ø ÐÓÐÑÒØ ÐÖº ÓÑÑ µ Ø ÓÒÐ Ð (F O i Jǫ ie i ) p µ ³ Ø ÙÒ ØÙÖ ÖØ q j J F Ø ÚÙ ÕÙ F ÐÓÐÑÒØ ÐÖ ÖÒ Ò ÙÖ Y Ð ÙØ ÔÖÓÙÚÖ ÕÙ q Ø Ò Ø ÔÐغ ÁÐ Ø ÐÖÑÒØ Ò ÓÑÑ ÓÑÔÓ Ð³ÑÑÖ ÓÒ ÖÑ i J ǫ i E i p ( i J D i ) ÓÒ ÖÔÔÐÐ ÕÙ ÔÓÙÖ ØÓÙØ i ÓÒ ǫ i i µ Ø p ( i J D i ) i J D i Ò Ö p г صº ÈÓÙÖ Ð ÔÐØØÙ ÓÒ ÔÙØ ÐÖÑÒØ ÙÔÔÓ Ö X Ò ÓØ X = spec Rº Å ÐÓÖ R[t R i] i/ J t i Ö Ôº t i i s i µ Ø ÙÒØÖ ÓÒ R [t i] s i t ǫ i i i J ǫ i E i = spec( i J R s i [t i] t ǫ i i R [t Rµ ÓÒ i] i J s i t ǫ i i ÒØ i J D i º )º ÇÖ ÔÓÙÖ i J Ö Ôº i / Jµ t ǫi i si i R[t Ö Ôº i] t i µ Ø ÔÐØ ÙÖ R i si s i Ö Ôº ÙÖ R i/ J R[t i] t i i si Ø ÔÐØ ÙÖ i J R s i ÕÙ Ø Ð³ÒÒÙ Ò ¹ ¾º Ö ÔÖÓÐÕÙ Ø ÑÔ ÖÒ ËÓØ S ÙÒ Ñ Ø X S ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÕÙ³ÓÒ ÙÔÔÓ Ö ØÓÙÓÙÖ ÐÓÐÑÒØ ÒÓØÖÒº ¾ºº½ ÑÔ ÖÒ ËÓØ ÙÒ ÒØÖ ÙÔÖÙÖ ÓÙ Ð 1 ÒÚÖ Ð Ò Sº ÒØÓÒ ½ µº µ ËÓØ ÙÒ ÓÙÔÐ (L, s) ÓÒ ØØÙ ³ÙÒ Ù Ò¹ ÚÖ Ð ÙÖ X Ø ³ÙÒ ØÓÒ Ùº ËÓØ U = [A 1 G m ] Ð ÑÔ Ð ÒØ Ð ÙÜ ÒÚÖ Ð ÑÙÒ ³ÙÒ ØÓÒº ÇÒ ÔÔÐÐ ÑÔ ÖÒ ¹Ñ (L, s) Ð ÑÔ (L, s)/x = X U U Ó Ð ÔÖÓÙØ Ö Ø ÔÖ ÔÖ ÖÔÔÓÖØ ÙÜ ÑÓÖÔ Ñ (L, s) : X U Ø Ð³ÐÚØÓÒ Ð ÔÙ Ò : U Uº µ ËÓØ D ÙÒ Ú ÙÖ ÖØÖ Ø ÙÖ X s D Ð ØÓÒ ÒÓÒÕÙ O X (D)º ÇÒ ÒÓØ D/X Ð ÑÔ (O X (D), s D )/Xº ËÓØ I ÙÒ Ò ÑÐ Ò = ( i ) i I ÙÒ Ò ÑÐ ³ÒØÖ i 1 ÒÚÖ Ð Ò Sº ½
ÒØÓÒ º ½º ËÓØ (L,s) = (L i, s i ) i I ÙÒ Ò ÑÐ ÙÜ ÒÚÖ¹ Ð ÙÖ X ÑÙÒ ÙÒ ³ÙÒ ØÓÒº ÇÒ ÒÓØ (L,s)/X Ð ÑÔ i i I (Li, s i )/Xº ¾º ËÓØ D = (D i ) i I ÙÒ Ò ÑÐ Ú ÙÖ ÖØÖ Ø ÙÖ Xº ÇÒ ÒÓØ D/X Ð ÑÔ i I i Di /Xº ÈÖÓÔÓ ØÓÒ º ËÓØ (L,s) = (L i, s i ) i I ÙÒ Ò ÑÐ ÙÜ ÒÚÖ Ð ÙÖ X ÑÙÒ ØÓÒ º ËÙÔÔÓ ÓÒ ÕÙ³ÓÒ ÔÓ ÙÖ X ÙÜ ÒÚÖ Ð N i Ø ³ ÓÑÓÖÔ Ñ ψ i : N i i L i º ÁÐ Ü Ø ÐÓÖ ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ ÑÔ ÙÖ X Sym( i I N (L,s)/X [Spec( i ) ) µ (N i ] i L i ) i I ÑÓÒ ØÖØÓÒº Ä Ó #I = 1 Ø ØÖØ Ò ½ ÚÖ ÓÒ ½ ÈÖÓÔÓ ØÓÒ º¾ ÚÓÖ Ù ½¼ ØÓÖÑ µ Ø Ð ÒÖÐ Ò Ö ÙÐØ ÑÑØÑÒغ ÓÖÓÐÐÖ ½º ËÓØ s = (s i ) i I ÙÒ Ò ÑÐ ØÓÒ ÖÙÐÖ O X D i = (s i ) Ð Ú ÙÖ ÖØÖ ÓÖÖ ÔÓÒÒØ º ÐÓÖ Ð Ü Ø ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ ÑÔ ÙÖ X D/X [Spec(OX [(t i ) i I ]/(t i i s i ) i I ) µ ] ÑÓÒ ØÖØÓÒº ÓÙÐ ÖØÑÒØ Ð ÔÖÓÔÓ ØÓÒ º ¾ºº¾ Ä ÓÖÖ ÔÓÒÒ ÒÓÒ ËÓØ (L,s) = (L i, s i ) i I ÙÒ Ò ÑÐ ÙÜ ÒÚÖ Ð ÙÖ X ÑÙÒ ØÓÒ º ËÙÖ (L,s)/X ÓÒ ÔÓ ³ÙÒ ÖÒ ¹Ñ ÒÓÒÕÙ (N,t) = (N i, t i ) i I (L,s)º ÇÒ ÒÓØ π : (L,s)/X X Ð ÑÓÖÔ Ñ ÒÓÒÕÙº Ò Ð ÔÖØÙÐÖ Ó Ð ÓÙÔÐ (L i, s i ) ÓÒØ Ó Ú ÙÖ Ø D i ÙÖ X ºº (L i, s i ) = (O X (D i ), s Di ) ÔÓÙÖ ØÓÙØ i Iµ Ð ÖÐØÓÒ π s i = t i i Ø Ð Ø ÕÙ π Ø ÔÐØ ÑÓÒØÖÒØ ÕÙ Ð t i : O D/X N i ÓÒØ ÑÓÒÓÑÓÖÔ Ñ ºº Ð t i ÓÒØ ØÓÒ ÖÙÐÖ µ Ò ÕÙ Ð ÓÙÔÐ (N i, t i ) ÓÒØ Ó Ú ÙÖ ÖØÖ Ø E i ÙÖ D/Xº Ò ÑØÒØ Ð ÓÒ ØÖÙØÓÒ Ù ï¾º º ÓÒ ÓØÒØ ÙÒ ÓÒØÙÖ : MOD( D/X) PAR 1 (X,D) F F = π (F O D/X ( E)) ÌÓÖÑ ¾º ÇÒ ÙÔÔÓ ÕÙ D Ø ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ ÙÖ Ð ÑÔ ÐÒ¹ÅÙÑÓÖ Xº ÐÓÖ Ð ÓÒØÙÖ ÒÙØ ÙÒ ÕÙÚÐÒ ØÓÖ ØÒ ÓÖÐÐ ÒØÖ Vect( D/X) Ø Pa1 (X,D)º ½
¾ºº ÓÒÒ ÒØÓÒ ÁÐ ³Ø ÚÓÖ ÕÙ F objvect( D/X) ÐÓÖ Ð Ù ÔÖÓÐÕÙ F Ø ÐÓÐÑÒØ ÐÖº ÓÑÑ Ð ³Ø ³ÙÒ ÕÙ ØÓÒ ÐÓÐ ÔÓÙÖ Ð ØÓÔÓÐÓ ØÐ ÙÖ X ÓÒ ÔÙØ ÕÙØØ ÔÖÒÖ ÙÒ ØÐ ØÐ ÙÔÔÓ Ö ÕÙ X Ø ÙÒ Ñº ÉÙØØ ÐÓÐ Ö ÒÓÖ ÓÒ ØÖÚÐ Ö ÙÒ Ú ÙÖ Ð ÑÐÐ D Ð ÓÖÓÐÐÖ ½ ÑÓÒØÖ ÕÙ³ÓÒ ÔÙØ ÙÔÔÓ Ö ÕÙ D/X X Ø Ù ØÝÔ [Y µ ] X Ó Y X Ø ÙÒ ÖÚØÑÒØ ÃÙÑÑÖ ÖÑ Ð ÐÓÒ Dº Å ÐÓÖ Ð ÔÖÓÔÓ ØÓÒ ÔÖÑØ ÓÒÐÙÖº ¾ºº ÕÙÚÐÒ ÖÔÖÓÕÙ ËÓØ E objpa1 (X,D)º ÇÒ ÔÓ 1 Z π E N Ê = Ó 1 Z Ò Ð ÓÒ ÓÒµ ÚÓÖ ¾ º ³ Ø ÔÖÓÖ ÙÒ ÐÑÒØ MOD( D/X) Ñ ÓÒ Ú ÚÓÖ ÕÙ ³ Ø Ò Ø ÙÒ Ù ÐÓÐÑÒØ ÐÖº ÄÑÑ º ÇÒ Ü i Iº ËÓÒØ Ð ÓÒØÙÖ PAR 1 (X,D) PAR ( 1 ) j i ( i Di /X, (πi D j j) j i ) L i : E L i E = l i 1 i Z π i (E li ) N ili i R i F : (l i π i (F N lii i )) F : R i Ó π i : i Di /X X Ò Ð ÔÖÓØÓÒ ÒÓÒÕÙ N i Ð ÖÒ i ¹Ñ ÒÓÒÕÙ O X (D i ) ÙÖ i Di /X Ø (E li ) Ð Ö ØÖØÓÒ E Ú Ð ÓÒØÙÖ j i 1 j Z 1 Z ÒÙØ ÔÖ l iº ÓÒØÙÖ ÓÒØ ÓÒØ L i ØÒØ ÓÒØ Ù Ø R i ÓÒØ ÖÓغ ÑÓÒ ØÖØÓÒº Ð Ö ÙÐØ Ð ÒØÓÒ ÓÒ º ÄÑÑ ½¼º Ä ÓÒØÙÖ L i ÒÚÓ Pa1 (X,D) ÙÖ Pa ( 1 ) j i ( i Di /X, (πi D j j) j i )º ÑÓÒ ØÖØÓÒº ÇÒ ÔÖÓ ÔÖ ÖÙÖÖÒ ÙÖ #Iº ÇÒ ÓÑÑÒ ÔÖ Ð Ó #I = 1º Ä Ó X Ø ÙÒ Ñ Ø ØÖØ Ò ½¼ º Ä ÒÖÐ ³Ý ÖÑÒ Ö Ù ÐÑÑ ÙÚÒØ ÄÑÑ ½½º ËÓØ X ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ E : K VectX ÙÒ ¹ ÖÑÑ p : X 0 X ÙÒ ØÐ Øк Ë lim k K p E k Ü Ø Ò VectX 0 ÐÓÖ lim k K E k Ü Ø Ò Vect Xº ÑÓÒ ØÖØÓÒº ³ Ø ÔÙ ÔÖ ÖØ ÔÖØÖ Ð ÖÔØÓÒ ÙÚÒØ ÓØ VectX ÓØ X 1 = X 0 X X 0 Ø s, b : X 1 X 0 Ð ÖÓÙÔÓ ÓÖÖ ÔÓÒÒغ Ä ØÓÖ Vect X Ø ÕÙÚÐÒØ Ð ØÓÖ ÓÙÔÐ (E 0, α) Ó E 0 objvectx 0 Ø α : s E 0 b E 0 Ø ÙÒ ÓÒÒ ÒØ ºº ½
ÚÖ Ð ÓÒØÓÒ ÒØ m α = p 1 α p 2 α Ó p 1, p 2, m : X 1 X0 X 1 X 1 ÒÒØ Ö ÔØÚÑÒØ Ð ÔÖÓØÓÒ Ø Ð ÑÙÐØÔÐØÓÒ Ò Ð ÖÓÙÔÓº ÇÒ ÖÚÒØ Ù ÒÖÐ #I ÕÙÐÓÒÕÙµ ÔÓÙÖ ÑÓÒØÖÖ ÕÙ l i 1 Z i π i (E li ) N ili i Ø ÙÒ Ù ÔÖÓÐÕÙ ÐÓÐÑÒØ ÐÖ Ð ÔÐÙ ÑÔÐ Ø ³ÔÔй ÕÙÖ Ð ÔÖÓÔÓ ØÓÒ ½º Ä ÔÖØ (i) Ù ÖØÖ Ö ÙÐØ Ù #I = 1º ÈÓÙÖ ÚÖÖ Ð ÔÖØ (ii) ÖØÖ ÓÒ Ü j i Ø l j < l j l j + 1 1 j Zº ÁÐ ³Ø ÚÓÖ ÕÙ li 1 Z li 1 i coke( πi (E l il ) N ili Z i j i πi (E l il j ) N ili i ) Ø ÙÒ ÓØ Pa ( 1 k ) k i,j (π i D j, (π i (D k D j )) k i,j )º Å ÓÑÑ Ð ÓÒ¹ ØÙÖ L i Ø ÓÒØ Ù ÐÑÑ µ ÓÒ ÜØ ÖÓØ Ø π i D j = i Dj D i /D j Ð Ö ÙÐØ Ð³ÝÔÓØ ÖÙÖÖÒº ¾ºº ÈÖÙÚ Ð³ÕÙÚÐÒ ÄÑÑ ½¾º Ä ÓÒØÙÖ R i ÒÚÓ Pa ( 1 ) j i ( i Di /X, (πi D j j) j i ) ÙÖ Pa1 (X,D) Ø Ø ÙÒ ÕÙÚÐÒ ÖÔÖÓÕÙ Ð Ö ØÖØÓÒ L i Pa1 (X,D)º ÑÓÒ ØÖØÓÒº ÇÒ ÓÑÑÒ ÔÖ ÖÑÖÕÙÖ ÕÙ Ð ÔÖÑÖ ÖØÓÒ Ø ÚÖ Ð ÓÒ ÙÒ Ò Ø Ø ÚÖ Ò Ø ÓÒ ÔÙØ ÓÒØÒØÖ ÚÖÖ ÕÙ L i Ø R i ÓÒØ ÓÑÓÖÔ Ñ ÔÖ ÚÐÙØÓÒ ÚÖÐ Ø ÓÒ ÖÑÒ ÓÒ Ù Ó #I = 1º ³ Ø ÒÓÙÚÙ ÙÒ ÔÖÓÐÑ ÐÓÐ ÔÓÙÖ Ð ØÓÔÓÐÓ ØÐ Ø ÓÒ ÔÙØ ÓÒ ÖÑÒÖ Ù Ó X Ø ÙÒ Ñº ÈÓÙÖ ÖÒÖ ÓÒ ÖÒÚÓ ½¼ º ÇÒ ÑÓÒØÖ Ð³Ò ÑÐ ÙÜ ÖØÓÒ ÔÖ ÖÙÖÖÒ ÙÖ #Iº ÈÓÙÖ Ð Ó #I = 1 Ð ÔÖÑÖ ÖØÓÒ Ö ÙÐØ Ð ÔÖØ ¾ºº Ð ÓÒ ³Ò Ùغ ÈÓÙÖ I ÕÙÐÓÒÕÙ ÓÒ ÔÔÐÕ٠гÝÔÓØ ÖÙÖÖÒ ÕÙ ÔÖÑØ Ö ÕÙ Vect D/X Pa ( 1 j ) j i ( i Di /X, (π i D j) j i ) Ø ÒÓÙÚÙ Ð ÔÖØ ¾ºº ÔÖÑØ ÓÒÐÙÖ Ð ÚÐØ Ð ÔÖÑÖ ÖØÓÒ Ø ÓÒ Ð ÓÒº ¾ºº ÈÖÙÚ Ù ÖØÖ ØÒ ÓÖÐ Î٠гÜÔÖ ÓÒ Ù ÔÖÓÙØ ØÒ ÓÖÐ ÓÒÒ ï¾º½º¾ Ð Ø Õ٠гÕÙÚÐÒ ÓØ ÓÑÔØÐ Ù ÔÖÓÙØ ØÒ ÓÖÐ Ö ÙÐØ Ð ÓÖÑÙÐ ÙÒ ÔÓÙÖ Ð ÓÒ ÚÓÖ ¾ Ø ½¼ ÔÓÙÖ Ð ØÐ Ò Ð Ó #I = 1µº ½
¾ºº ËØÖÙØÙÖ ÐÓÐ Ö ÔÖÓÐÕÙ ÓÖÓÐÐÖ ¾º Ú Ð ÒÓØØÓÒ Ù ØÓÖÑ ¾ ÔÓÙÖ ØÓÙØ Ö ÔÖÓÐÕÙ E obj(pa1 (X,D)) Ø ØÓÙØ ÔÓÒØ x X Ð Ü Ø ÙÒ ÚÓ Ò ØÐ U X x ØÐ ÕÙ E U ÓØ ÙÒ ÓÑÑ ÖØ Ò Ö ÔÖÓÐÕÙ ÒÚÖ Ð º ÑÓÒ ØÖØÓÒº ÎÙ Ð ØÓÖÑ ¾ Ð ÙØ ÑÓÒØÖÖ Ð ÔÖÓÔÖØ ÓÖÖ ÔÓÒ¹ ÒØ ÔÓÙÖ Ð Ö ÑÔØÖ Ñ ÐÓÖ Ð ÔÖÙÚ ½¼ ÈÖÓÔÓ ØÓÒ º¾ ³ÔØ ÑÑØÑÒغ ÊÑÖÕÙ º ½º Ë X Ø ÔÐÙ ÙÒ Ñ ÓÒ ÔÙØ ÑÔÓ Ö U X ³ØÖ ÙÒ ÓÙÚÖØ ÔÓÙÖ Ð ØÓÔÓÐÓ Ö º ¾º Ä ÔÖÙÚ ÑÓÒØÖ ÕÙ³ÓÒ ÔÙØ Ó Ö Ð Ö ÔÖÓÐÕÙ Ð ÓÖÑ O X [l] ÔÓÙÖ l obj 1 ZI º Ò ØÖÑ ÑÔØÖ X = spec R Ó R Ø ÙÒ ÒÒÙ ÐÓÐ ÐÓÖ Pic( D X) 1 ZI Z ÚÓÖ ï¾ººº I º ÇÒ ÙÔÔÓ ÔÐÙ ÕÙ D ÙÒ ÑÐÐ Ú ÙÖ ÖÓ ÑÒØ ÒÓÖ¹ ÑÙÜ ÑÔÐ º ÐÓÖ Ð ÔÖÓÔÓ ØÓÒ ¾ Ø Ð ÓÖÓÐÐÖ ¾ ÑÓÒØÖÒØ ÕÙ Ð ÓÑÔÓ ÒØ Ù Ù ÔÖÓÐÕÙ E objpar1 (X,D) ÓÒØ ÐÓÐÑÒØ ÐÖ Ð Ø ÐÓÐÑÒØ ÐÒ Ù Ò ¾ ÒØÓÒ ¾º¾º ¾ºº ÖÓÙÔ ÈÖ ÑÔ ÖÒ Ä ÓÖÓÐÐÖ ÙÚÒØ Ø ÒÓÒ Ò Ð ÔÖØÙÐÖ ÓÙÖ ØÓÖÙ Ò ½ º Ä ØÓÖÑ ¾ Ò³ Ø Ô Ò ÔÒ Ð ÔÓÙÖ Ð ÑÓÒØÖÖ ÓÒ ÔÙØ Ù ÙØÐ Ö ½ ÓÖÓÐÐÖÝ º½º¾µ Ñ Ò ÓÙÖÒØ ÙÒ ÔÖÙÚ ÓÑÑÓº ÓÖÓÐÐÖ º Ú Ð ÒÓØØÓÒ Ù ØÓÖÑ ¾ ÓÒ ÙÒ ÙØ ÜØ ÒØÙÖÐÐ 0 PicX Pic( D X) i I H 0 (D i, Z i ) 0 ÑÓÒ ØÖØÓÒº ÇÒ ÔÙØ ÙÔÔÓ Ö Ð D i ÓÒÒÜ Ò Ø D Ø D ÓÒØ ÙÜ Ú ÙÖ ÖØÖ Ø ÙÔÔÓÖØ ÓÒØ Ø 1 Ø ÙÒ ÒØÖ ÐÓÖ D + D X D X X D Xµº ÇÒ ÒÓØ N i Ð ÖÒ i ¹Ñ ÒÓÒÕÙ O X (D i ) ÙÖ D X Ø π : D X X Ð ÑÓÖÔ Ñ ÒØÙÖк ÇÒ Ú ÑÓÒØÖÖ ÔÐÙ ÔÖ ÑÒØ Ð Ü Ø ÙÒ ÙÒÕÙ ÑÓÖÔ Ñ ÙÖØ Pic( D X) i I Z i ÒÚÓÝÒØ [N i ] ÙÖ Ð ¹ ÒÖØÙÖ ÒÓÒÕÙ Ð i¹ñ ÓÑÔÓ ÒØ Ø ÓÒØ Ð ÒÓÝÙ Ø π : Pic X Pic( D X)º ÁÐ ÙØ Ð ÑÓÒØÖÖ ÔÓÙÖ #I = 1º Ò Ø Ò ÙÔÔÓ ÒØ ØØ ÔÖÓÔÖØ ÚÖ Ò Ð ÑÓÖÔ Ñ ÒØÙÖÐ ( Pic( D X) ) Pic D X ( PicX ) ( i I Pic j ) j i (Dj ) j i X ½
ÒÚÓ [N i ] ÙÖ Ð ÒÖØÙÖ ÒÓÒÕÙ Ð i¹ñ ÓÑÔÓ ÒØ Ø Ø ÓÒ ÙÖغ ÓÑÑ ÙÒ ÖÙÖÖÒ ÑÑØ ÓÒÒ Ð³ÐØ ÖÒÙÜ ³ Ø ÙÒ ÓÑÓÖÔ Ñº Ê Ø ÚÓÖ Ð Ó #I = 1º Ð Ö ÙÐØ ÑÑØÑÒØ Ð³ ÖØÓÒ ÔÓÙÖ ØÓÙØ Ù ÒÚÖ Ð K ÙÖ D X Ð Ü Ø ÙÒ ÙÒÕÙ ÒØÖ l Ò {0,, 1} ØÐ ÕÙ³Ð Ü Ø M Ù ÒÚÖ Ð ÙÖ X ØÐ ÕÙ K N l π Mº Ò ØÖÙ ÒØ Ò ØÖÑ Ö ÔÖÓÐÕÙ Ö Ù ØÓÖÑ ¾ ÓÒ ÚÓØ ÕٳРÙØ ÑÓÒØÖÖ ÔÓÙÖ ØÓÙØ Ù ÔÖÓÐÕÙ ÒÚÖ Ð K ÔÓ Ò 1 Z Ð Ü Ø ÙÒ ÙÒÕÙ ÒØÖ l Ò {0,, 1} ØÐ ÕÙ³Ð Ü Ø M Ù ÒÚÖ Ð ÙÖ X ØÐ ÕÙ K [ l ] M Ð Ù ÔÖÓÐÕÙ ØÖÙØÙÖ ÔÐ Ó M ÚÓÖ ï¾º½º¾µº Ä ÓÒÒ K ÕÙÚÙØ ÐÐ ³ÙÒ ÐØÖØÓÒ K 0 K1 K 1 1 K 1 K 0 OX O X ( D) ØÐÐ ÕÙ ÔÓÙÖ l l Ð Ù K l ÑÔÐÕ٠гÐØ ÖÒ /K l ( ) 1 K l g(k 0 D ) = g K l+1 l=0 Ø ÐÓÐÑÒØ ÐÖ ÙÖ O D º Ñ ÓÑÑ K 0 Ø ÒÚÖ Ð Ø D Ø ÓÒÒÜ Ð Ü Ø ÙÒ ÙÒÕÙ ÒØÖ l Ò {0,, 1} ØÐ ÕÙ K l K l+1 Ø ÔÓÙÖ Ø ÒØÖ K [ l ] K 0 º ¾ºº ÁÑ ÖØ Ö ÔÖÓÐÕÙ ÇÒ ÓÒÒ S ÙÒ Ñ X S Ö ÔØÚÑÒØ Y Sµ ÙÒ S¹ÑÔ ÐÒ¹ÅÙÑÓÖ ÐÓÐÑÒØ ÒÓØÖÒ D = (D i ) i I Ö Ôع ÚÑÒØ E = (E j ) j J µ ÙÒ ÑÐÐ ÖÙÐÖ Ú ÙÖ ÙÖ X Ö ÔØÚÑÒØ ÙÖ Y µ Ø = ( i ) i I Ö ÔØÚÑÒØ s = (s j ) j J µ ÙÒ ÑÐÐ ³ÒØÖ Ù¹ ÔÖÙÖ 1 ÒÚÖ Ð Ò Sµº ÇÒ Ü ÔÐÙ p : Y X ÙÒ S¹ÑÓÖÔ Ñ ÖÔÖ ÒØÐ Ò Ø ÔÐØ α : J I ÙÒ ÔÔÐØÓÒ ÚÖÒØ ½º j J s j α(j) ¾º i I p D i = j α 1 (i) i s j E j ÒÒ ÓÒ ÒÓØ q : s E/Y D/X Ð ÑÓÖÔ Ñ ÒØÙÖк ÒØÓÒ ½¼º ËÓÙ Ð ÓÒØÓÒ ¹ Ù ÓÒ ÒØ Ð³Ñ ÖØ ³ÙÒ Ö ÔÖÓÐÕÙ ÔÖ Ð ÓÖÑÙÐ p : Pa1 (Y,E) Pa1 (X,D) s E Ò Ø Ð ÚÖ ÓÒ Ò ÙÒÕÙ ÑÓÒØÖ Ò ½¼ º (p E ) = ( l p (El α)) s ¾¼
ÈÖÓÔÓ ØÓÒ º Ä ÓÒØÙÖ ³Ñ ÖØ ÑÔØÖ Ø ÔÖÓÐÕÙ ÓÒØ ÓÑÔØÐ ÓÒ ÙÒ ÓÑÓÖÔ Ñ ÓÒØÓÖÐ Ò E objpa1 (Y,E) (p s E ) q (Ê )º ÑÓÒ ØÖØÓÒº ÇÒ ÒÓØ π : s D/X X Ø : E/Y Y Ð ÑÓÖÔ Ñ ÒÓÒÕÙ º ÇÒ ÙÒ 2¹ ÓÑÓÖÔ Ñ ÒØÙÖÐ π q p º ÈÓÙÖ ØÓÙØ i Ò I Ö ÔØÚÑÒØ j Ò Jµ ÓØ M i Ö ÔØÚÑÒØ N j ) Ð ÖÒ i ¹Ñ Ö ÔØÚÑÒØ s j ¹Ñµ ÒÓÒÕÙ O X (D i ) Ö ÔØÚÑÒØ O Y (E j )µ ÙÖ D/X Ö ÔØÚÑÒØ ÙÖ s E/Y ) ÐÐ Ø ÑÙÒ ØÓÒ ÒÓÒÕÙº Ä ÑÓÖÔ Ñ q Ø Ò ÔÖ Ð ÓÒØÓÒ ÔÓÙÖ ØÓÙØ i Ò I q (M i ) = j α 1 (i)n j Ø Ð ÓÒØÓÒ ÓÖÖ ÔÓÒÒØ ÚÒØ ÙÖ Ð ØÓÒ º ÇÒ Ü E objpa1 (Y,E) Ø ( l s ) = ( li i ) i I obj( 1 Z) Ø ÓÒ ÐÙÐ ( (( s ) 1 )) π (q (Ê ) i I M li s Z i ) π q E N i I j α 1 (i)n li j ( 1 s Z E N s l α )) ³Ó Ð ÓÒÐÙ ÓÒº p ( p ( p (El α) s ( s )) 1 s Z E [ l α] ] N s ÖÓÙÔ ÓÒÑÒØÐ ÑÓÖ ÓÑÑ ÖÓÙÔ ÓÒ¹ ÑÒØÐ ÑÔØÖ º½ ÖÓÙÔ ÓÒÑÒØÐ ÑÔØÖ ÆÓÓ ½ µ Ø ÓÓÒÝÒ µ ÓÒØ ØÒÙ Ð ØÓÖ Ð ÕÙ Ù ÖÓÙÔ ÓÒÑÒØÐ ÔÖÓÒ ¾ Ù ³ÙÒ Ñ ÐÙ ³ÙÒ ÑÔ ÐÒ¹ ÅÙÑÓÖº ÇÒ ÖÔÔÐÐ ÖÚÑÒØ ÐÙÖ ÒØÓÒº ÒØÓÒ ½½ ¾ ½ µº ËÓØ X ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖº ÇÒ ÒÓØ Rev X Ð 2¹ ÓÙ ¹ØÓÖ ÔÐÒ Ð 2¹ØÓÖ Champs X ÑÔ ÙÖ X ÓÒØ Ð ÓØ ÓÒØ Ð ÑÓÖÔ Ñ Y X ÖÔÖ ÒØÐ ØÐ Ò º ÇÒ ÒÓØ CatRev X Ð ØÓÖ Ó ºº Ð ØÓÖ ÓÒØ Ð ÑÓÖÔ Ñ ÓÒØ Ð Ð 2¹ ÓÑÓÖÔ Ñ 1¹ÑÓÖÔ Ñ Ò Rev Xµº ÌÓÖÑ ½ ÌÓÖÑ º¾ ï µº Ë X Ø ÙÒ ÑÔ ÐÒ¹ ÅÙÑÓÖ ÓÒÒÜ Ø x : specω X ÙÒ ÔÓÒØ ÓÑØÖÕÙ Ð ÔÖ (CatRev X, x ) Ø ÙÒ ØÓÖ ÐÓ ÒÒ Ù Ò ¾ º ÒØÓÒ ½¾º Ú Ð ÒÓØØÓÒ Ù ØÓÖÑ ÓÒ ÒÓØÖ π 1 (X, x) Ð ÖÓÙÔ ÓÒÑÒØÐ Ð ØÓÖ ÐÓ ÒÒ (CatRev X, x )º ¾½
º¾ ÖÓÙÔ ÓÒÑÒØÐ ÑÓÖ ÇÒ ÖÔÔÐÐ Ð Ö ÙÐØØ ÙÚÒØ ÌÓÖÑ ¾½ ÌÓÖÑ ¾ºº¾µº ËÓØ X ÙÒ Ñ ÐÓÐÑÒØ ÒÓØÖÒ ÒÓÖÑÐ ÓÒÒÜ D ÙÒ Ú ÙÖ ÖÓ ÑÒØ ÒÓÖÑÙÜ Ø x : spec Ω X ÙÒ ÔÓÒØ ÓÑØÖÕÙ x / Dº Ä ØÓÖ Rev D (X) ÖÚØÑÒØ X ÑÓÖÑÒØ ÖÑ Ð ÐÓÒ X Ø ÙÒ ØÓÖ ÐÓ ÒÒ ÓÒØ ÓÒ ÒÓØ π D 1 (X, x) Ð ÖÓÙÔ ÓÒÑÒØк ÇÒ Ú Ö ØÖÒÖ ØÙÖ Ð ³ÙÒ ÑÐÐ Ú ÙÖ ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ ÒØÓÒ µº Ä ÙØ ÔÖÖÔ Ø ÑÓÒØÖÖ ÈÖÓÔÓ ØÓÒ º Ú Ð ÝÔÓØ Ù ØÓÖÑ ÓÒ ÙÔÔÓ ÔÐÙ X Ò ÙÖ ÙÒ ÓÖÔ k Ø D Ø Ð ÖÙÒÓÒ ³ÙÒ ÑÐÐ D = (D i ) i I Ú ÙÖ ÖÖÙØÐ ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ ÐÓÖ Ð Ü Ø ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ π D 1 (X, x) lim π 1 ( D/X, x) Ó Ð ÐÑØ Ø ÔÖ ÙÖ Ð ÑÙÐØ¹Ò = ( i ) i I ³ÒØÖ ÒÓÒ Ú Ð ÔÖ Ð ÖØÖ ØÕÙ p kº Ò Ð Ö Ø ÔÖÖÔ ÓÒ ÓÒ ÖÚÖ Ð ÝÔÓØ Ð ÔÖÓ¹ ÔÓ ØÓÒ º ÇÒ Ú ÑÓÒØÖÖ Õ٠гÓÒ ÙÒ ÕÙÚÐÒ ÒØÙÖÐÐ ØÓÖ ÐÓ ÒÒ Rev D (X) lim CatRev( D/X) Ä ÓÑÔØÐØ Ø ÓÑÓÖÔ Ñ ÙÜ ÓÒØÙÖ Ö ÒÙØ ÔÖ x ÑÔÐÕÙÖ Ò Ð ÔÖÓÔÓ ØÓÒ º º Ä ÓÒØÙÖ C ÄÑÑ ½ º ËÓØ π : Y X Ò objrev D (X) ÐÓ Ò ÖÓÙÔ G Ù Ò ¾½ ¾ººµ ÑÙÐØ¹Ò ÖÑØÓÒ º ÐÓÖ Ð ÑÓÖÔ Ñ ÒØÙÖÐ ÑÔ [Y G] D/X Ø ÙÒ ÓÑÓÖÔ Ñº ÑÓÒ ØÖØÓÒº Ð Ö ÙÐØ ÒØÐÐÑÒØ Ð³ÝÔÓØ ÕÙ D Ø ÖÓ¹ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ Ø Ù ÐÑÑ ³ÝÒÖº Ò ØÐ ÓÒ ÔÖ ³ÓÖ Ð ÒØÓÒ Ù ÑÓÖÔ Ñ ÒØÙÖÐ [Y G] D/Xº ËÓØ E = (Ei ) i I Ð ÑÐÐ Ú ÙÖ ÙÖ Y Ò ÔÖ i I E i = (π D i ) ed Ò ÕÙ i I π D i = i E i º Ð ÒÓØÓÒ 2¹ÐÑØ ÐØÖ ØÓÖ ÙØÐ Ø ÔÖ Ð ÙØ Ø ÔÖ Ò Ð³ÔÔÒ ÓÑÑ p D/X ÑØ X ÔÓÙÖ Ô ÑÓÙÐ x ÒØ Ù ÙÒ ÔÓÒØ ÓÑØÖÕÙ ÑÔ ¾¾
ËÓØ S ÙÒ Ñ Ø (f, p) ÙÒ ÓØ [Y G](S) ºº ÙÒ ÔÖ ÓÒ ØØÙ ³ÙÒ G¹ØÓÖ ÙÖ p : T S Ø ³ÙÒ ÑÓÖÔ Ñ G¹ÕÙÚÖÒØ f : T Y º ÇÒ Ð ÕÙÓØÒØ ÑØÕÙ S = T/G Ø X = Y/G Ò ÕÙ³Ð Ü Ø ÙÒ ÙÒÕÙ ÑÓÖÔ Ñ g : S X ØÐ ÕÙ g p = π fº ÈÓÙÖ ØÓÙØ i I Ð Ù O T (f E i ) ÒØ ÙÒ ÖÒ i ¹Ñ D i ÙÖ T ÓÑÑ Ù Ø G¹ÕÙÚÖÒØ ÓÒ ÔÙØ Ð ÒÖ ÒÓÒÕÙÑÒØ Ð ÐÓÒ Ù G¹ØÓÖ ÙÖ p : T S Ø Ð ÖÒ i ¹Ñ p G (O T (f E i )) D i ÙÖ S Ò ÒØ ÙÒ ÓØ D/X(S)º ÈÓÙÖ ÑÓÒØÖÖ ÕÙ ÑÓÖÔ Ñ [Y G] D/X Ø ÙÒ ÓÑÓÖÔ Ñ Ð ÙØ Ð ÚÖÖ ÙÖ Ð Ö ÓÑØÖÕÙ Ø ÓÒ ÔÙØ ÓÒ ÙÔÔÓ Ö ÕÙ X = spec R Ó R Ø ÙÒ ÒÒÙ ÐÓÐ ÒÓØÖÒ ØÖØÑÒØ Ò ÐÒº ÓÑÑ ³ Ø ÚÒØ Ò ÓÖ Ù ÙÔÔÓÖØ D ÓÒ ÔÙØ ÙÔÔÓ Ö ÔÐÙ R ÖÙÐÖº ÇÒ Ó Ø ÔÓÙÖ ØÓÙØ i I ÙÒ ÕÙØÓÒ ÐÓÐ s i D i º ÇÒ ÔÓ R = R[(T i) i I] Ó Ð (T s i ) i I ÓÒØ ÒØÖÑÒ Ø X = spec R º Ä ÑÓÖÔ Ñ i) i I (T i i X X Ø ÑÓÖÑÒØ ÖÑ ¾½ ÜÑÔÐ ¾º¾ºµº ÓÑÑ Ð s i ÓÒØ ØÓÙ Ò Ð³Ð ÑÜÑÐ m R R Ø ÙÒ ÒÒÙ ÐÓк ÎÙ ÕÙ Ð ÑÐÐ (D i ) i I Ø ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ R Ø ÑÑ ÖÙÐÖ ¾½ ÈÖÓÔÓ ØÓÒ ½ººµº ÇÒ ÒÓÖ Y = spec S Ó S Ø ÙÒ R¹ÐÖ Ò ÓÒ ÙÒ ÔÖÓÙØ Ò ³ÒÒÙÜ ÐÓÙÜ ØÖØÑÒØ Ò ÐÒ Ò Ø Ð³ÝÔÓØ ÑÓÖØÓÒ ÑÔÓ ÕÙ Ð ÜØÒ ÓÒ Ö ÙÐÐ ÓÒØ ÔÖÐ ¾½ ÒØÓÒ ¾º½º¾ ÓÒ ØÖÚÐ µº ÇÒ ÖÙØ ÐÑÒØ Ð ÔÖÓÐÑ Ù Ó Y Ø ÖÖÙØк ÎÙ ÕÙ Ð i ÓÒØ ÒÓÒ ÒÙÐ Ö ÙÐÐÑÒØ ÓÒ ÔÙØ Ó Ö ÕÙØÓÒ t i E i ØÐÐ ÕÙ t i i = s i Ò Sº ÐÐ ¹ Ò ÒØ ÙÒ X¹ÑÓÖÔ Ñ Y X º ËÓØ Y Ð ÔÖÓÙØ Ö Y Ø X ÙÖ X Ò Rev D (X) ³ Ø Ö Ð ÒÓÖ¹ ÑÐ ØÓÒ Ù ÔÖÓÙØ Ö ÑØÕÙ Y X X º ÇÒ ÓÒ Y = spec S Ó S Ø Ð ÐØÙÖ ÒØÖÐ R Ò Ð³ÜØÒ ÓÒ ÒÒÙÜ ÖØÓÒ ØÓØÙÜ R(Y )/R(X)º ÓÑÑ Ðй Ø Ò ØÐ ³ÔÖ Ð³ÝÔÓØ ÑÓÖØÓÒ Ð ÑÓÖÔ Ñ Y X Ø Òº ÓÑÑ Y X Ø ÑÓÖ ØÓÙØ ÓÑÔÓ¹ ÒØ ÖÖÙØÐ Y ÓÑÒ X Ø ÓÒ ØÓÙØ ÓÑÔÓ ÒØ ÖÖÙØÐ Y ÓÑÒ X º ÇÒ ÔÙØ ÓÒ ÔÔÐÕÙÖ Ð ØÓÖÑ ÔÙÖØ Ö ¹ÆØ ¾ ÌÓÖÑ º½µ ÔÓÙÖ ÚÓÖ ÕÙ Ð ÐÙ Ó Y X Ø ÖÑ Ø ÔÙÖ ÓÑÒ ÓÒ 1º Å Ð ÐÑÑ ³ÝÒÖ ¾ ÄÑÑ ºµ ÑÓÒØÖ ÕÙ ÑÓÖÔ Ñ Ò³ Ø Ô ÒÓÒ ÔÐÙ ÖÑ Ò ÓÑÒ ÓÒ 1º ÁÐ Ø ÓÒ ØÐ Ø ÓÑÑ X Ø ØÖØÑÒØ ÐÓÐ ³ Ø ÙÒ ÖÚØÑÒØ ØÖÚÐ X º ÓÑÑ Y Y Ø ÔÖ Ö Òµ Ð ØÓÒ Ò ÔÖ Ð ÑÓÖÔ Ñ Y X ¹ Ù Ø ÙÒ ÑÑÖ ÓÒ ÖѺ ijÐØ ÑÒ ÓÒ Ø Ð Ø ÕÙ Y Ø Y ÓÒØ ÖÙØ Ö ÒÓÖÑÙܵ ÑÔÐÕÙÒØ ÕÙ ØØ ØÓÒ ÒØ Y ÙÒ ÓÑÔÓ ÒØ ÖÖÙØÐ Y º ÓÒ Ð ÑÓÖÔ Ñ Y X ÓÒ ØÖÙØ Ù ÔÖØ Ø Ò Ø ÙÒ ÓÑÓÖÔ Ñ Ù Ù Xº Ä ÖÓÙÔ G = Aut X Y ³ÒØ ÒÓÒÕÙÑÒØ Aut X X = µ Ø ÓÒ ÓÒÐÙØ Ö Ù ÓÖÓÐÐÖ ½ ÓÙ ÔÐÙØØ Ö ÔÖÙÚ ÕÙ ÓÒÒ ÙÒ ÚÖ ÓÒ ÜÔÐØ Ð³ ÓÑÓÖÔ Ñµº ÄÑÑ ½º ËÓØ Y X Ò ÙÒ ÓØ Rev D (X) Z X ÙÒ ÓØ ÐÓ Ò Rev D (X) ÖÓÙÔ G ÓÑÒÒØ Y X Ð Ò ÖÑØÓÒ Z X H Ð ÖÓÙÔ ÐÓ Z Y º Ä ÑÓÖÔ Ñ ÑÔ [Z H] ¾
[Z G] Ø ØÐ Ø ÓÑÔÓ Ú Ð³ ÓÑÓÖÔ Ñ ÒÓÒÕÙ [Z G] D/X Ò Ò Ð ÔÖÓÔÓ ØÓÒ ½ Ð ÒØ ÙÒ ÓØ lim CatRev( D/X) ÕÙ Ø ÓÑÓÖÔ Ñ ÔÖ ÒÔÒÒØ Ù ÓÜ Zº ÒØÓÒ ½ º ÇÒ ÒÓØÖ C(Y X) гÓØ lim CatRev( D/X) Ò Ò Ð ÐÑÑ ½º º ÁÐ Ø ÐÖ ÕÙ³ÓÒ Ò Ø Ò ÙÒ ÓÒØÙÖ Ä ÓÒØÙÖ M C : Rev D (X) lim CatRev( D/X) ÄÑÑ ½º ËÓØ = ( i ) i I ÙÒ ÑÐÐ ³ÒØÖ ÒÓÒ Ú Ð ÔÖ Ð Ö¹ ØÖ ØÕÙ p k Ø T D/X ÙÒ ÖÚØÑÒØ Øк ËÓØ N(T) Ð ÖÑØÙÖ ÒØÖÐ X Ò R(T)/R( D/X) = R(X)º µ ÁÐ Ü Ø ÙÒ ÙÒÕÙ ÑÓÖÔ Ñ ÑÔ T N(T) ÒØ ÓÑÑÙØÖ Ð ÖÑÑ T N(T) D/X Ø ÑÓÖÔ Ñ Ø ÙÖغ X µ Ä ÑÓÖÔ Ñ ÒÓÒÕÙ N(T) X Ø ÙÒ ÖÚØÑÒØ ÑÓÖÑÒØ Ö¹ Ñ X Ð ÐÓÒ D Ø Ð ÓÒØÙÖ ÓØÒÙ Rev( D/X) Rev D (X) ÓÑÑÙØ Ù ÔÖÓÙØ Öº µ Ë ÔÐÙ T D/X Ø ÐÓ Ò ÖÓÙÔ G N(T) X г Ø ÐÑÒØ ÑÙÐØ¹Ò ÖÑØÓÒ Ú ÒØ Ø Ð ÑÓÖÔ Ñ N(T) [N(T) G] D/X Ò Ò Ð ÐÑÑ ½ ³Ò ÖØ Ò ÙÒ ÖÑÑ ÖØ Ò T N(T) D/X D/X ÑÓÒ ØÖØÓÒº µ ÈÓÙÖ Ð³Ü ØÒ Ø Ð³ÙÒØ Ù ÑÓÖÔ Ñ ÓØ T 0 T ÙÒ ØÐ ØÐ Ø s, b : T 1 T 0 Ð ÖÓÙÔÓ ÓÖÖ ÔÓÒÒغ ÁÐ Ö ÙÐØ ¾½ ÈÖÓÔÓ ØÓÒ ½ºº Ø ¾ ÜÔÓ Á ÓÖÓÐÐÖ º½¼ ÕÙ T 1 Ø T 0 ÓÒØ ÒÓÖÑÙܺ ijÖÑØÓÒ Ö ÙÐØ ÐÓÖ Ð ÔÖÓÔÖØ ÙÒÚÖ ÐÐ Ð ÖÑØÙÖ ÒØÖÐ ½ º ºµº ÈÓÙÖ ÑÓÒØÖÖ Ð ÙÖØÚØ ÓÒ ÔÙØ ÙÔÔÓ Ö X = spec R Ó R Ø ÙÒ ÒÒÙº ÇÒ ÔÓ R = R[(Ti)i I] (T i Ó Ð (T i s i ) i I ÓÒØ ÒØÖÑÒ i) i I Ø X = spec R ÕÙØØ ÖÒÓÑÑÖ I ÓÒ ÔÙØ ÙÔÔÓ Ö ÕÙ³ÙÙÒ s i Ò³ Ø ÒÚÖ Ðµº ³ÔÖ Ð ÓÖÓÐÐÖ ½ Ð Ü Ø ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ ¾
ÑÔ ÙÖ X D/X [X µ ]º ÈÓ ÓÒ T = X [X µ ] T ³ Ø ÙÒ ØÐ ØÐ T º ÔÐÙ T X Ø Ò Ö T T Ø T X Ð ÓÒص Ø N(T) X Ø ÔÖ Ö Òµ Ø ÓÒ T N(T) Ø Ò Ø Ò ÔÖØÙÐÖ ÒØÖº ÓÑÑ ÑÓÖÔ Ñ Ø ÔÐÙ ÓÑÒÒØ Ö T T Ø ÙÖØ Ø T N(T) Ø ÖØÓÒÒе Ð Ø ÙÖØ ³ÔÖ Ð ØÓÖÑ ÓÒ¹ËÒÖº µ N(T) X Ø ÑÓÖÑÒØ ÖÑ Ð ÐÓÒ D Ð ÙØ ÚÖÖ Ð ÒÕ ÓÒØÓÒ Ð ÒØÓÒ ¾º¾º¾ ¾½ º ½µ N(T) X Ø Ò Ö ÙÐØ Ð ÒØÙ Ð ÖÑØÙÖ ÒØÖÐ ³ÙÒ ÒÒÙ ÒÓØÖÒ ÒÓÖÑÐ Ò ÙÒ ÜØÒ ÓÒ ÔÖÐ Ò ½¾ Î ÈÖÓÔÓ ØÓÒ ½ ÓÖÓÐÐÖ ½µº ¾µ N(T) X Ø ØÐ Ù Ù U = X D ÔÓ ÓÒ V = T D/X U ³ Ø ÙÒ ÖÚØÑÒØ ØÐ U Ø ÓÑÑ U Ø ÒÓÖÑÐ V ³ÒØ ³ÔÖ ¾¼ ÓÖÓÐÐÖ ½º½¼º½¾º Ð ÖÑØÙÖ ÒØÖÐ U Ò R(V ) = R(T) ÕÙ Ò³ Ø ÙØÖ ÕÙ N(T) X Uº µ ÌÓÙØ ÓÑÔÓ ÒØ ÖÖÙØÐ N(T) ÓÑÒ X Ð ÓÑÔÓ ÒØ ÖÖÙØÐ N(T) ÓÒØ Ð ÑÑ ÕÙ ÐÐ ÓÒ ÓÙÚÖØ Ò V ÓÖ V U ØÒØ ØÐ ØÓÙØ ÓÑÔÓ ÒØ ÖÖÙØÐ V ÓÑÒ Uº µ N(T) Ø ÒÓÖÑÐ ÐÖ ³ÔÖ ½ ÈÖÓÔÓ ØÓÒ º º ÓÙ ÑÔÐÑÒØ ³ÔÖ Ð ÔÖÓÔÖØ ÙÒÚÖ ÐÐ Ò ÒØ N(T)º µ ÈÓÙÖ ØÓÙØ ÔÓÒØ ÒÖÕÙ x D N(T) Ø ÑÓÖÑÒØ ÖÑ Ù Ù O X,x ³ Ø ÐÑÒØ ÐÖ ³ÔÖ (i) ÕÙ ÔÖÑØ ³ÔÔÐÕÙÖ ¾½ ÄÑÑ ¾º¾º ÚÙ ÕÙ³ÙÒ ÖÚØÑÒØ ÃÙÑÑÖ Ø ÑÓÖÑÒØ ÖÑ ¾½ ÜÑÔÐ ¾º¾ºµº ÇÒ Ò ØÖ ÐÑÒØ Ð ÔÖÓÔÖØ ÙÖ Ð Ò ÖÑØÓÒ Ù (iii)º Ä ÓÒØÙÖ ÓØÒÙ ÓÑÑÙØ Ù ÔÖÓÙØ Ö ÓÒÒ T D/X T D/X ÙÜ ÖÚØÑÒØ ØÐ ÓÒ ÙÒ ÑÓÖÔ Ñ ÒÓÒÕÙ N(T D/X T ) N(T) X N(T ) ÔÖÓÙØ Ö ÑØÕÙµ ÓÑÑ ÑÓÖÔ Ñ Ø ÒØÖ Ø ÖØÓÒÒÐ Ø N(T D/X T ) Ø ÒÓÖÑÐ Ð ÒØ N(T D/X T ) Ð ÒÓÖÑÐ ØÓÒ N(T) X N(T ) ÕÙ ÔÖ ÒØÓÒ Ø Ð ÔÖÓÙØ Ö N(T) Ø N(T ) ÙÖ X Ò Rev D (X)º µ Ä ÔÖÑÖ ÖØÓÒ Ö ÙÐØ Ð ÓÒ ÖÑØÓÒ (ii)º ÈÓÙÖ Ð ÓÒ ÖØÓÒ Ð ÙØ ÖÑÖÕÙÖ ÕÙ Ð ÑÓÖÔ Ñ ÒØÙÖÐ T D/X D/X N(T) Ø ÙÒ ÑÓÖÔ Ñ ÖØÓÒÒÐ ÖÚØÑÒØ ØÐ D/X ³ Ø ÓÒ ÙÒ ÓÑÓÖÔ Ñ ³ÔÖ ¾¼ ÓÖÓÐÐÖ ½º½¼º½¾º Ä ÐÑÑ ½ ÔÖÑØ ÔÓ Ö ÒØÓÒ ½º ÇÒ ÒØ ÙÒ ÓÒØÙÖ M : lim CatRev( D/X) Rev D (X) ÙÖ Ð ÓØ Ò ÔÓ ÒØ ÔÓÙÖ ÙÒ ÑÐÐ = ( i ) i I ³ÒØÖ ÒÓÒ Ú Ð ÔÖ Ð ÖØÖ ØÕÙ p k M(T D/X) = N(T) Xº ¾
º ÓÒÐÙ ÓÒ ÈÖÙÚ Ð ÔÖÓÔÓ ØÓÒ º ÁÐ ÙØ ÑÓÒØÖÖ ÕÙ Ð ÓÒØÙÖ C Ø ÙÒ ÕÙ¹ ÚÐÒº Ä Ø ÕÙ³ÙÒ ÖÚØÑÒØ ÑÓÖ Ø ÔÖ ÒØÓÒ ÒÓÖÑÐ ÔÖÑØ ¹ ÒÖ ÙÒ ØÖÒ ÓÖÑØÓÒ ÒØÙÖÐÐ 1 MC Ø Ð ÔÖÓÔÖØ ÙÒÚÖ ÐÐ Ð ÒÓÖÑÐ ØÓÒ ÑÓÒØÖ ÕÙ ³ Ø ÙÒ ÓÑÓÖÔ Ñº Ä ÐÑÑ ½ µ ÔÖÑØ ÓÒ ØÓÙÖ ÒÖ ÙÒ ØÖÒ ÓÖÑØÓÒ ÒØÙÖÐÐ (T D/X) CM(T D/X) Ò lim CatRev( D/X) Ø Ð ÔÓÒØ µ ÑÓÒØÖ ÕÙ ³ Ø ÙÒ ÓÑÓÖÔ Ñ ÔÓÙÖ T D/X ÐÓ Ò Ø ÓÒ Ò ÙØ ÕÙ ³ Ø ÚÖ ÔÓÙÖ ØÓÙØ Óغ ÓÒ C Ø M ÓÒØ ÕÙÚÐÒ ØÓÖ ÖÔÖÓÕÙ º ÙÜ ÐÓÐÑÒØ ÓÒ ØÒØ Ø Ö Ò ÙÖ ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ Ò ØØ ÔÖØ ÓÒ Ü ÒÓÙÚÙ ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÐÓй ÑÒØ ÒÓØÖÒ Xº º½ ÌÓÔÓÐÓ Ä ÒØÓÒ ÙÚÒØ Ø ÙÒ ÔØØÓÒ ÄÑÑ ½º¾º ÒØÓÒ ½º ÇÒ ÒØ Ð Ø ØÐ X et Ö Ôº Ð Ø ØÐ Ò X etf µ Ù ÑÔ X ÓÑÑ Ð Ø ÓÒØ Ð ØÓÖ ÓÙ ¹ÒØ ÔÓÙÖ ÓØ Ð ÑÓÖ¹ Ô Ñ ÖÔÖ ÒØÐ ØÐ f : T X ³ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÚÖ X ÔÓÙÖ Ð Ð ³ ÓÑÓÖÔ Ñ ÓÙÔÐ (φ, α) φ T α f f X Ó φ Ø ÙÒ ÑÓÖÔ Ñ ÖÔÖ ÒØÐ α ÙÒ 2¹ ÓÑÓÖÔ Ñ Ø ÓÒØ Ð Ö¹ ÓÙÚÖÑÒØ ÓÒØ Ð ÑÐÐ ÔÑÓÖÔÕÙ Ö Ôº Ð ÑÐÐ ÔÑÓÖÔÕÙ (T i T) i I ÓÒ ØØÙ ÑÓÖÔ Ñ Ò µº ÇÒ ÔÖÐÖ Ù ØÓÔÓÐÓ ØÐ ÔÓÙÖ X et Ø ØÓÔÓÐÓ ØÐ Ò ÐÓÐ ÔÓÙÖ X etf º ÊÑÖÕÙ ÄÑÑ ½º¾µº ÇÒ ÓØÒØ ÙÒ ØÓÔÓÐÓ ÕÙÚÐÒØ X et Ò Ð ÒØÓÒ ÓØ ÓÒ ÑÔÓ T ³ØÖ ÙÒ Ñº ÖÑÖ Ð³ÙØÙÖ ÔÓÙÖ ÚÓÖ ÓÙÖÒ Ð Ö ÓÙÖ ÓÒ ØÜØ Ñ ÔÖÑØØÒØ Ò ÖÔÖÓÙÖ Ð ÖÑÑ T ¾
º¾ ËÝ ØÑ ÐÓÙÜ Ò ÑÐ Ø Ø ÖÓÙÔ ÓÒÑÒØÐ ÓÓÒÝÒ µ ÖÑÖÕÙ Õ٠гÓÒ ÔÓÙÚØ ÒØÖÔÖØÖ Ð ÒØÓÒ ½¾ ÓÑÑ ÙÒ ÔÖØÙÐÖ Ù ÖÓÙÔ ÓÒÑÒØÐ ³ÙÒ ØÓÔÓ ÓÒÒ ÔÖ ÄÖÓÝ ¾ µº º¾º½ ËÝ ØÑ ÐÓÙÜ Ò ÑÐ Ø ÒØÓÒ ½ ¾ µº ÓÒÒ ÙÒ ØÓÔÓ T ÓÒ ÒØ Ð ÓÙ ¹ØÓÖ LC(T ) Ö Ôº LCF(T )µ ÓÑÑ ÐÐ ÓØ ÐÓÐÑÒØ ÓÒ ØÒØ Ö Ôº ÐÓÐÑÒØ ÓÒ ØÒØ Ò µ Ø SLC(T ) Ö Ôº SLCF(T )µ ÓÑÑ ÐÐ ÙÒÓÒ ÓÒØ ³ÓØ LC(T ) Ö Ôº LCF(T )µº SLC(T ) Ö Ôº SLCF(T )µ Ø ÙÒ ØÓÔÓ ÐÓ Ò Ö Ôº ÙÒ ØÓÔÓ ÐÓ Ò Òµº Ë ÓÒ ÙÔÔÓ T ÓÒÒÜ Ø Õ٠гÓÒ Ü ÙÒ ÔÓÒØ ÓÑØÖÕÙ x T ÓÒ Ó ÒÓÒÕÙÑÒØ ØØ ØÓÖ ÙÒ ÔÖÓÖÓÙÔ ØÖØ π 1 (T, x) Ö Ôº ÙÒ ÖÓÙÔ ÔÖÓÒ ˆπ 1 (T, x)µ ÚÖÒØ SLC(T ) π 1 (T, x) Ens Ö Ôº SLCF(T ) ˆπ 1 (T, x) Ensµ Ð Ò ÑÐ ØÒØ ÑÙÒ ³ØÓÒ ÓÒØÒÙ ÔÖÓ¹ÖÓÙÔ ÓÒ Ö º ÔÐÙ (LCF(T ), x ) Ø ÙÒ ØÓÖ ÐÓ ÒÒ ÓÒØ Ð ÖÓÙÔ ÓÒÑÒØÐ ³ÒØ ˆπ 1 (T, x) Ensº º¾º¾ ËÝ ØÑ ÐÓÙÜ Ò ÑÐ Ø Ø ÖÚØÑÒØ ÇÒ ÔÓ ³ÙÒ ÓÒØÙÖ ÒØÙÖÐ CatRev X LCF( X et ) ÓÒÒ ÙÖ Ð ÓØ ÔÖ (Y X) Hom X (, Y ) Ó Hom X (, Y ) Ø ÓÒÒ ÓÑÑ ÓÒØÙÖ ÙÖ Ð ÓØ ÔÖ (T X) Hom T (T, T Y X)º ÈÓÙÖ ÚÓÖ ÕÙ Ð ÒØ Ò ÙÒ ÔÖ Ù ³Ò ÑÐ ÓÒ ÔÙØ Ò ÙØÐ ÒØ Ð ÖÑÖÕÙ ÙÔÔÓ Ö ÕÙ T Ø ÙÒ Ñ Ñ Ö ÙÐØ ÐÓÖ Ù Ø ÕÙ Y X Ø ÖÔÖ ÒØÐ ÓÒ ÕÙ T Y X Ø ÐÑÒØ ÙÒ Ñº Ä Ø ÕÙ Hom X (, Y ) Ø ØÚÑÒØ ÙÒ Ù ÙÖ X et ÓÙÐ ÑÑØÑÒØ Ù Ø ÕÙ ³ Ø ÚÖ ÐÓÖ ÕÙ X Ø ÙÒ Ñ ÎÁÁº¾ µº ÇÒ ÔÓ ÐÑÒØ ³ÙÒ ÓÒØÙÖ ÒØÙÖÐ Ò Ð ÖØÓÒ ÓÔÔÓ LCF( X et ) CatRev Xº Ò Ø ÓØ p : X 0 X ÙÒ ØÐ ØÐ X 1 = X 0 X X 0 Ø s, b : X 1 X 0 Ð ÖÓÙÔÓ ÓÖÖ ÔÓÒÒغ ËÓØ E objlcf( X et ) ÓÒ ÔÙØ Ð³ÒØÖÔÖØÖ ÜÑÔÐ º½½µ ÓÑÑ ÙÒ Ù ÐÓÐÑÒØ ÓÒ ØÒØ Ò ÕÙÚÖÒØ ÙÖ X 0 ³ Ø Ö ÙÒ ÓÙÔÐ (F, ψ) Ó F objlcf( X 0et ) Ø φ : s F b F Ø ÙÒ ÓÑÓÖÔ Ñ ÚÖÒØ Ð ÓÒØÓÒ ÓÝÐ ØÙÐк ijÕÙÚÐÒ ØÓÖ Ù ÙÐÐ LCF( X iet ) Rev X i ÔÓÙÖ i {0, 1} ÔÖ¹ ÑØ ³ÒØÖÔÖØÖ ØØ ÓÒÒ ÓÑÑ ÙÒ ÖÚØÑÒØ ØÐ Y 0 X 0 ÑÙÒ ³ÙÒ ÓÑÓÖÔ Ñ φ : X 1ցs X0 Y 0 X 1ցb X0 Y 0 º Ò ÔÓ ÒØ Y 1 = X 1ցs X0 Y 0 ÓÒ ÓØÒØ ÙÒ ÒÓÙÚÙ ÖÓÙÔÓ (p 2, p 2 φ : Y 1 Y 0 ) Ø Ð³ÓÒ ÓØÒØ Ò ÙÒ ÑÔ Y = [Y 1 Y 0 ] Ø ÑÑ Ò Ø ÙÒ ÓØ CatRev Xº ÌÓÖÑ ÌÓÖÑ º½µº Ä ÓÒØÙÖ ¹ Ù Ò ÒØ ÕÙ¹ ÚÐÒ ØÓÖ ÖÔÖÓÕÙ CatRev X LCF( X et )º ¾
ÓÖÓÐÐÖ º Ë X Ø ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÓÒÒÜ Ø x : spec Ω X ÙÒ ÔÓÒØ ÓÑØÖÕÙ ÓÒ ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ ˆπ 1 ( X et, x) π 1 (X, x) ÊÑÖÕÙ º π 1 ( X et, x) ÔÓÖØ Ð ÒÓÑ ÖÓÙÔ ÓÒÑÒØÐ ÐÖ X ÚÓÖ ½ º ÔÓÙÖ Ð ³ÙÒ Ñµº º¾º ÁÒØÖÔÖØØÓÒ Ð³ Ð ØÓÔÓÐÓ ØÐ Ò ÐÓÐ ÈÖÓÔÓ ØÓÒ º ËÓØ X ÑÔ ÐÒ¹ÅÙÑÓÖ ÓÒÒܺ Ä ÓÒØÙÖ SLC( X etf ) SLC( X et ) ÒÙØ ÙÒ ÓÑÓÖÔ Ñ SLC( X etf ) ÙÖ SLCF( X et )º Ò ÔÖØÙ¹ ÐÖ x Ø ÙÒ ÔÓÒØ ÓÑØÖÕÙ ÓÒ ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ ˆπ 1 ( X et, x) π 1 ( X etf, x)º ÑÓÒ ØÖØÓÒº Ä ÑÓÖÔ Ñ Ø f : X etf X et ÒÙØ ÙÒ ÑÓÖÔ Ñ ØÓÔÓ (f, f ) : X et X etf ÓÒØ Ð³ÓÒØ Ù f ÒÙØ ÙÒ ÓÒØÙÖ ÐÑÒØ ÔÐÒ SLC( X etf ) SLC( X et ) Ø ÓÒØ ÓÒ Ú ÑÓÒØÖÖ ÕÙ Ð³Ñ ¹ ÒØÐÐ Ø SLCF( X et )º ΠгÕÙÚÐÒ SLC(T ) π 1 (T, x) Ens ÓÒØÙÖ ³ÒØÖÔÖØ ÓÑÑ Ð Ö ØÖØÓÒ Ð ÐÓÒ Ù ÑÓÖÔ Ñ π 1 ( X et, x) π 1 ( X etf, x)º ËÓØ ³ÓÖ E objlc( X etf )º ÁÐ Ü Ø ÙÒ ÑÐÐ ÓÙÚÖÒØ (T i X) i I ÓÒ ØØÙ ÑÓÖÔ Ñ ÖÔÖ ÒØÐ ØÐ Ò ØÐÐ ÕÙ ÔÓÙÖ ØÓÙØ i I E Ti ÓØ ÓÒ ØÒغ Ä³Ñ T i X Ø ÓÙÚÖØ Ö Ð ÑÓÖÔ Ñ Ø ØÐ Ø ÖÑ Ö Ð Ø Ò ³ Ø ÓÒ ÓÙ Xº ÇÒ ÔÙØ ÓÒ ÖÑÒÖ ÙÒ ÑÐÐ ÓÙÚÖÒØ ÙÒ ÐÑÒØ T X ÖÚØÑÒØ ÕÙ³ÓÒ ÔÙØ ÙÔÔÓ Ö ÔÐÙ ÐÓ Òº ËÓØ G ÓÒ ÖÓÙÔ ÐÓ º ÐÓÖ E ÓÖÖ ÔÓÒ Ú Ð³ÕÙÚÐÒ π 1 ( X etf, x) Ens SLC( X etf )µ ÙÒ G¹Ò ÑÐ E ÕÙ ÓÑÔÓ Ò E = j J E j ÓÖØ ÓÙ Gº ÕÙ Ò ÑÐ E j Ø Ò Ö G г Ø ÓÒ ÓÖÖ ÔÓÒ Ú Ð³ÕÙÚÐÒ π 1 ( X et, x) Ens SLC( X et )µ ÙÒ E j objlcf( X et )º ÓÒ E = j J E j ³ÒÚÓ ÙÖ ÙÒ ÓØ SLCF( X et )º ÊÔÖÓÕÙÑÒØ E objlcf( X et ) ÐÓÖ Ð ØÓÖÑ ÑÓÒØÖ ÕÙ E ÒØ ÙÒ ÖÚØÑÒØ Y X ÓÒØ ÙÒ ÐØÙÖ ÐÓ ÒÒ ØÖÚÐ E ÓÒ E ÚÒØ Ò ³ÙÒ ÓØ LC( X etf )º ÓÖÓÐÐÖ º Ë X Ø ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÓÒÒÜ Ø x : spec Ω X ÙÒ ÔÓÒØ ÓÑØÖÕÙ ÓÒ ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ π 1 ( X etf, x) π 1 (X, x) º Ä ØÓÖ ØÒÒÒÒ Ý ØÑ ÐÓÙÜ k¹ ÚØÓÖÐ ÒØÓÒ ½ ÔØÖ ÎÁ ½º½º¾µº ÓÒÒ ÙÒ ØÓÔÓ T ÓÒÒÜ ÐÓÐÑÒØ ÓÒÒÜ Ø ÙÒ ÓÖÔ k ÓÒ ÒØ Ð ØÓÖ LC(T, k) Ý ØÑ ÐÓÙÜ k¹úøóöð ÖÒ Òº ¾
Ë ÓÒ Ó Ø ÔÐÙ ÙÒ ÔÓÒØ ÓÑØÖÕÙ x ³ Ø ÙÒ ØÓÖ ØÒÒÒÒº ËÓÒ ÖÓÙÔ ÌÒÒ Ø ÐÓÖ Ð³ÒÚÐÓÔÔ k¹ðöõù Ù ÔÖÓÖÓÙÔ ØÖØ π 1 (T, x) Ù Ò ÙÚÒغ ÈÖÓÔÓ ØÓÒ ÔØÖ ÎÁ ½º½º¾º½µº Ë π 1 (T, x) = (G i ) i I Ø H i Ø Ð³ÒÚÐÓÔÔ k¹ðöõù G i ÐÓÖ Ð ÖÓÙÔ ÌÒÒ (LC(T, k), x ) Ø ÒÓÒÕÙÑÒØ ÓÑÓÖÔ lim i I H i º ÇÒ ÙØ Ù ÓÖÓÐÐÖ Ø Ð ÔÖÓÔÓ ØÓÒ ÓÖÓÐÐÖ º ËÓØ X ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÓÒÒÜ Ø x ÙÒ ÔÓÒØ ÓÑØÖÕÙº Ä ÖÓÙÔ ÌÒÒ (LC( X etf, k), x ) Ø ÒÓÒÕÙÑÒØ Ó¹ ÑÓÖÔ Ù ÖÓÙÔ ÓÒÑÒØÐ ÔÖÓÒ π 1 (X, x)º ÊÑÖÕÙ º ½º ÁÐ ÚÙÖØ ÑÙÜ ÔÖÐÖ Ù k¹öóùô ÔÖÓÓÒ ØÒØ Ó¹ π 1 (X, x)º ¾º Ä ÖÓÙÔ ÌÒÒ (LC( X et, k), x ) Ø ³ÔÖ ÕÙ ÔÖ Ó¹ ÑÓÖÔ Ð³ÒÚÐÓÔÔ k¹ðöõù Ù ÖÓÙÔ ÓÒÑÒØÐ ÐÖ Xº ÄÑÑ ½º ËÓØ X ÑÔ ÐÒ¹ÅÙÑÓÖ ÓÒÒܺ Ë V objlc( X etf, k) ÐÓÖ Ð Ü Ø ÙÒ ÖÚØÑÒØ Y X X ØÖÚÐ ÒØ Vº ÑÓÒ ØÖØÓÒº ³ Ø ÑÑØ ÔÖØÖ Ù ÓÖÓÐÐÖ º º ºº½ ÓÒØÙÖ Ð ÊÑÒÒ¹ÀÐÖØ ÒØÓÒ ÓÒÒ ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ X ÓÒ ÔÙØ ÒÖ Ð ØÓÖ Vect X Ö ÚØÓÖÐ ÙÖ X ÓÑÑ Ð ØÓÖ [X, Vect] ÑÓÖÔ Ñ ÑÔ X ÚÖ Ð ÑÔ Vect Ö ÚØÓÖÐ ÔÖÓ ÔÔÐ ÖÔÖ Ò¹ ØØÓÒ Ù ÑÔ X ³ Ø Ð ÔÓÒØ ÚÙ Õ٠гÓÒ ÓÔØ Ù ÕÙ³ ÔÖ Òغ Ä ØÓÖ Ð ÒØ Ö ÚØÓÖÐ Ø ÔÐÙ ÒÖÐÑÒØ ÙÜ ÕÙ ¹ÓÖÒØ ¾ µ ÓÙÖÒØ ÙÒ ÔÓÒØ ÚÙ ÐØÖÒØ Ò Ø Ð ÙÜ O X ¹ÑÓÙÐ F ÙÖ X et ØÐ ÕÙ³Ð Ü Ø ÙÒ ØÐ ØÐ X X ØÐ ÕÙ F X Ø ÐÖ ÓÖÑÒØ ÙÒ ØÓÖ ÕÙÚÐÒØ ¾ ÔØÖ ½ µº ÇÒ ÙØÐ Ö ÐÖÑÒØ ØØ ÕÙÚÐÒ ÔÖ Ð Ùغ Ä ÒØÓÒ ÙÚÒØ Ø Ò ÔÖ ÎÁ ½º¾ºº ÒØÓÒ ½º ËÓØ X ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÐÓÐÑÒØ ÒÓØÖÒ ÙÖ ÙÒ ÓÖÔ kº ÇÒ ÒØ Ð ÓÒØÙÖ Ð ÊÑÒÒ¹ÀÐÖØ RH : LC( X etf, k) VectX ÓÑÑ Ð ÓÒØÙÖ ÓÑÔÓ Ù ÓÒØÙÖ ÒÓÒÕÙ LC( X etf, k) LC( X et, k) Ø Ù ÓÒØÙÖ LC( X et, k) Vect X ÓÒÒ ÙÖ Ð ÓØ ÔÖ V O X k Vº ¾
ºº¾ ÈÖÓÔÖØ Ù ÓÒØÙÖ RH ÈÖÓÔÓ ØÓÒ º ËÓØ X ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ ÐÓÐÑÒØ ÒÓØÖÒ ÙÖ ÙÒ ÓÖÔ kº ½º Ä ÓÒØÙÖ RH Ø Ðº ¾º Ë X Ø ÔÐÙ ÓÑÔÐØ ÖÙØ Ø k Ø ÐÖÕÙÑÒØ ÐÓ Ð Ø ¹ ÐÑÒØ ÔÐÒº ÑÓÒ ØÖØÓÒº ÈÓÙÖ V objlc( X etf, k) ÓÒ ÒÓØ φ X,V : V O X k V Ð ÑÓÖÔ Ñ ÙÜ ÙÖ X etf Ò ÔÖØÖ Ù ÑÓÖÔ Ñ ÒÓÒÕÙ k O X º ÉÙØØ ÖÑÔÐÖ V ÔÖ Hom(V,W) Ð ÙØ ÚÓÖ ½º H 0 (X, φ X,V ) Ø Òغ ¾º Ë X Ø ÓÑÔÐØ Ø ÖÙØ ÙÖ k ÐÖÕÙÑÒØ ÐÓ H 0 (X, φ X,V ) Ø Øº Ä ÔÖÑÖ ÔÓÒØ Ø ÚÒØ Ö k O X Ø ÒØ Ø Ð ÓÒØÙÖ k V Ø H 0 (X, ) ÓÒØ ÜØ Ùº ÈÓÙÖ Ð ÓÒ ÔÓÒØ X ØÒØ ÐÓÐÑÒØ ÒÓØÖÒ ÕÙ ÙÖ ÕÙ Ð ÓÑÔÓ ÒØ ÓÒÒÜ ÓÒØ ÓÙÚÖØ µ ÓÒ ÔÙØ ÙÔÔÓ Ö X ÓÒÒܺ Ä ÐÑÑ ½ ÓÒÒ Ð³Ü ØÒ ³ÙÒ ÖÚØÑÒØ π : Y X ØÖÚÐ ÒØ Vº ÇÒ ÔÙØ ÙÔÔÓ Ö π ÐÓ Ò ÖÓÙÔ Gº ÇÒ ÐÓÖ ÙÒ ÖÑÑ ÓÑÑÙØØ 0 H 0 (X,V) H 0 (X,φ X,V) 0 H 0 (X, O X k V) π 1 H 0 (Y, π 1 V) H 0 (Y,φ Y,π 1 V ) π H 0 (Y, O Y k π 1 V) p 1 1 p 1 2 p 1 p 2 H 0 (Y X Y, p 1 V) H 0 (Y XY,φ Y,p 1 V ) H 0 (Y X Y, O Y XY k p 1 V) Ó p Ò Ð ÑÓÖÔ Ñ ÒÓÒÕÙ p : Y X Y Xº Y ØÒØ ÒÓÖ ÔÖÓÔÖ Ö Ò ÙÖ Xµ Ø ÖÙØ ¾ Á ÈÖÓÔÓ ØÓÒ º¾µ ÓÒ ³ Ø ÓÒ ÖÑÒ Ù Ó V Ø ØÖÚк ÇÒ ÔÙØ ÒÓÙÚÙ ÙÔÔÓ Ö X ÓÒÒÜ Ø ÓÒ V = s 1 X V Ó s X : X spec k Ø Ð ÑÓÖÔ Ñ ØÖÙØÙÖÐ Ø V ÙÒ k¹úøóöð ÖÒ Òº ÇÒ Ø ÐÓÖ ÑÑØÑÒØ ÖÑÒ V = k Ø Ð ³Ø ÚÓÖ ÕÙ Ð ÑÓÖÔ Ñ ÒØÙÖÐ k H 0 (X, O X ) Ø ÙÒ ÓÑÓÖÔ Ñ Ñ Ö ÙÐØ Ù Ø ÕÙ X Ø ÔÖÓÔÖ ÖÙØ ÓÒÒÜ Ø k ÐÖÕÙÑÒØ ÐÓ º º Ö Ò ÒØÓÒ ½º ÇÒ ÔÔÐÐÖ Ñ ØÓÖÙ ÙÒ ÑÔ ÐÒ¹ÅÙÑÓÖ X ÑØØÒØ ÔÓÙÖ Ô ÑÓÙÐ ÙÒ Ñ M ØÐ ÕÙ³Ð Ü Ø ÙÒ ÓÙÚÖØ Ò U M ØÐ ÕÙ X M ÓØ ÙÒ ÓÑÓÖÔ Ñ Ò Ö ØÖØÓÒ Uº ÇÒ ÔØ Ð ÒØÓÒ ¾ Ù ³ÙÒ Ñ ØÓÖÙ X ÑÓÖ Ù Ò ÒØÓÒ ¾º º¾µ ÖÙØ ÙÖ ÙÒ ÓÖÔ k ÓÒØ Ð³ Ô ÑÓÙÐ M Ø ÔÖÓÔÖ Ø ÓÒÒÜ ÙÖ kº ¼
ÒØÓÒ ¾¼ ¾ µº ÍÒ Ù ÐÓÐÑÒØ ÐÖ E ÙÖ X Ø Ø Ò ³Ð Ü Ø ÙÜ ÔÓÐÝÒÑ ØÒØ P, Q ÓÒØ ÒØÖ ÔÓ Ø ØÐ ÕÙ P(E) Q(E)º ÈÓÙÖ ÒØÖ Ð³Ñ ÒØÐÐ Ù ÓÒØÙÖ RH ÓÒ Ú ÙÚÖ Ð ØÖØ ÆÓÖ ÕÙ ÓÒ Ø ÔÐÓÒÖ Ð ØÓÖ Ö Ò Ò Ð ØÓÖ ÐÒÒ Ö Ñ¹ ØÐ ÙÖ Xº ÒØÓÒ ¾½º ÍÒ ÓÖÓÙÖ Ò X Ø ÙÒ ÑÓÖÔ Ñ ÖØÓÒÒÐ ÙÖ ÓÒ Ñ D/C X Ó C Ø ÙÒ ÓÙÖ ÔÖÓØÚ ÓÒÒÜ Ø Ð ÙÖ k D = (D i ) i I ÙÒ Ò ÑÐ Ú ÙÖ ÖØÖ Ø ÖÙØ ÙÖ Cº ÒØÓÒ ¾¾ ¾ µº ÍÒ Ù ÐÓÐÑÒØ ÐÖ E ÙÖ X Ø Ø Ñ¹ ØÐ ³Ð Ø Ñ¹ ØÐ Ö 0 Ò Ö ØÖØÓÒ ØÓÙØ ÓÖÓÙÖ Ò Xº ÇÒ ÒÓØÖ SS 0 X Ð ÓÙ ¹ØÓÖ ÔÐÒ Vect X ÙÜ ÐÓÐÑÒØ ÐÖ Ñ¹ ØÐ ÙÖ Xº ÈÖÓÔÓ ØÓÒ ½¼º Ä ØÓÖ SS 0 X Ø ÙÒ ØÓÖ ÐÒÒº ÑÓÒ ØÖØÓÒº Ä ÔÖÙÚ Ø ÒØÕÙ ÐÐ ¾ ÄÑÑ º µ ØÒØ ÓÒÒ ÙÒ ÑÓÖÔ Ñ f : E E Ò SS 0 X Ð ÔÓÒØ Ð Ø ÚÓÖ ÕÙ kef Ø cokef ÓÒØ ÐÓÐÑÒØ ÐÖ º ÁÐ Ø ÚÓÖ ÕٳРÓÒØ Ò ØÓÖ ÓÒ Ø ÓÒ ÐÓÐÑÒØ ÐÖ X Ø ÙÒ ÓÖÓÙÖº Ò Ð ÒÖÐ X ØÒØ ÖÙØ Ð ÖÚÒØ ÚÓÖ ÕÙ Ð ÓÒØÓÒ ÕÙ ÙÒ ÔÓÒØ ÓÑØÖÕÙ x : spec k X Ó Ð ÖÒ x f : x E x E Ø ÓÒ ØÒØ ÙÖ Xº ÇÖ Ð ÔÖØÙÐÖ ÒÚ ¹ Ù ÑÓÒØÖ ÕÙ ØØ ÓÒØÓÒ Ø ÓÒ ØÒØ ÙÖ ØÓÙØ ÓÖÓÙÖ Ò Xº ÇÒ ÔÙØ ÓÒ ÓÒÐÙÖ Ð³ Ù ÐÑÑ ÙÚÒØ ÄÑÑ ½º Ä ÖÐØÓÒ ³ÕÙÚÐÒ ÙÖ Ð ÔÓÒØ x : spec k X ÒÒÖ ÔÖ x x ³Ð Ü Ø ÙÒ ÓÖÓÙÖ Ò X ÓÒØ Ð³Ñ ÓÒØÒØ x Ø x ÑØ ÙÒ ÙÒÕÙ ÓÖغ ÑÓÒ ØÖØÓÒº Ò Ð Ó X Ø ÙÒ Ñ ÓÒ ÖÑÒ Ù Ó X Ø ÔÖÓØ ÙÖ k Ö Ù ÐÑÑ ÓÛ ½ ºµ Ó ³ Ø ÙÒ Ø Ð ÕÙº Ò Ð ÒÖÐ ÓÒ ÒÓØ U ÓÑÑ Ò Ð ÒØÓÒ ½ ÙÒ ÓÙÚÖØ Ð³ Ô ÑÓÙÐ M X ØÐ ÕÙ Ð X M X ÚÖ ÓÒ Ô ÑÓÙÐ M ÓØ ÙÒ ÓÑÓÖÔ Ñ Ò Ö ØÖØÓÒ Uº ËÓØ y y Ð Ñ Ö ÔØÚ x x Ò M ÓÒ ÔÙØ ÙÔÔÓ Ö ÕÙ y Uº ³ÔÖ Ð ÔÖ¹ ØÙÐÖ ¹ Ù Ð Ü Ø ÙÒ ÓÙÖ C Ò M Ù Ò ¾ ÓÙ Ð ÒØÓÒ ¾½µ ÓÒØÒÒØ y Ø y º Ä ÑÔ ÐÒ¹ÅÙÑÓÖ C M X ¹ ÑØ C ÔÓÙÖ Ô ÑÓÙÐ Ø Ð Ò Ø ÑÑ (C M X) ed ÄÑÑ ¾º º ÓÙ ÓÖÓÐÐÖÝ º µº ³ÔÖ ½ ÌÓÖÑ º½ ÓÒ ÙÒ ÓÑÓÖ¹ Ô Ñ (C M X) ed D/C ÙÖ X ÔÓÙÖ ÙÒ ÓÜ ÓÒÚÒÐ ³ÙÒ ÑÐÐ D Ú ÙÖ Ø Ø ³ÙÒ ÑÐÐ ³ÒØÖ ÒØÙÖÐ º ÓÑÑ ÓÒ ¹ ÔÓ ³ÙÒ ÑÓÖÔ Ñ ÖØÓÒÒÐ ÙÖØ D ed /C D/C ÓÑÑ ÔÐÙ Ð ÖÙÑÒØ ÒÖÙÜ ï ³ÔÔÐÕÙÒØ Ð³ ½¼ ï ÔÓÙÖ Ð ÔØÖ Ù ÓÖÓÙÖ ÓÑÑ ³ Ø ÔÖ ÐÐÙÖ Ò ÓÒÒÙ Ò Ð Ö ¹ÕÙÚÐÒع Ö ÔÖÓÐÕÙ ÙÖ Ð ÓÙÖ ÚÓÖ µ ÒÓÙ Ò ÖÒØÖÓÒ Ô Ò Ð ØÐ ½
(C M X) ed Ø ÖØÓÒÒÐ ÙÖ ÓÒ Ñ Ò X Ø ÕÙ Ðй ÓÒØÒØ x Ø x ÓÒ ØÖÑÒº ÈÖÓÔÓ ØÓÒ ½½º ÌÓÙØ Ö Ò ÙÖ X Ø Ñ¹ Øк ÑÓÒ ØÖØÓÒº ÓÑÑ Ð Ö ØÖØÓÒ ³ÙÒ Ö Ò Ð³ Ø ÒÓÖ Ð ÙØ Ð ÚÖÖ ÙÖ Ð ÓÖÓÙÖ º Å ÓÒ ÔÙØ ÐÓÖ ÔØÖ Ð ÔÖÙÚ ¾ Ù ÓÖÓÙÖ ÚÓÖ ½¼ ÈÖÓÔÓ ØÓÒ º ÒØÓÒ ¾ ¾ µº ÍÒ Ù ÐÓÐÑÒØ ÐÖ E ÙÖ X Ø Ø Ò¹ ØÐÐÑÒØ Ò ³ Ø ÙÒ ÕÙÓØÒØ ÙÜ ÓÙ ¹Ö ѹ ØÐ ³ÙÒ Ö Òº ÇÒ ÒÓØÖ EFX Ð ÓÙ ¹ØÓÖ ÔÐÒ SS 0 X ÙÜ ÐÓÐÑÒØ ÐÖ ÒØÐÐÑÒØ Ò ÙÖ Xº ÌÓÖÑ º ËÓØ X ÙÒ Ñ ØÓÖÙ ÑÓÖ Ø ÖÙØ ÙÖ ÙÒ ÓÖÔ k ÓÒØ Ð³ Ô ÑÓÙÐ M Ø ÔÖÓÔÖ Ø ÓÒÒÜ ÙÖ k Ø x X(k) ÙÒ ÔÓÒØ ÖØÓÒÒк Ä ÔÖ (EFX, x ) Ø ÙÒ ØÓÖ ØÒÒÒÒº ÑÓÒ ØÖØÓÒº ÓÑÔØ ØÒÙ Ð ÔÖÓÔÓ ØÓÒ ½¼ Ð ÔÖÙÚ Ø Ð ÑÑ ÕÙ ÐÐ ÓÒÒ Ò ¾ ï º ÓÖÓÐÐÖ º Ë ÓÒ ÙÔÔÓ Ò ÔÐÙ ÝÔÓØ Ù ØÓÖÑ ÕÙ k Ø ÐÖÕÙÑÒØ ÐÓ ÖØÖ ØÕÙ 0 ÐÓÖ ØÓÙØ Ö ÒØÐÐÑÒØ Ò Ø Ò Ø Ð ÓÒØÙÖ RH ÒÙØ ÙÒ ÕÙÚÐÒ ØÓÖ ØÒ ÓÖÐÐ ÒØÖ LC( X etf, k) Ø FXº Ò ÔÖØÙÐÖ (FX, x ) Ø ÙÒ ØÓÖ ØÒÒÒÒ ÓÒØ Ð ÖÓÙÔ Ø ÒÓÒÕÙÑÒØ ÓÑÓÖÔ π 1 (X, x)º ÑÓÒ ØÖØÓÒº ËÓØ V objlc( X etf, k)º Ä Ø ÕÙ RH(V) ÓØ Ò Ö ÙÐØ Ù ÐÑÑ ½ π : Y X Ø ÙÒ ÖÚØÑÒØ ÐÓ Ò ÖÓÙÔ G ØÖÚÐ ÒØ V Ð Ü Ø ÙÒ ÖÔÖ ÒØØÓÒ V G ÙÖ Ð ÓÖÔ k ØÐÐ ÕÙ π 1 V = V Y º ÇÒ ÙØ ÐÓÖ Ð³ÖÙÑÒØ ¾ ÈÖÓÔÓ ØÓÒ º ØØ ÖÔÖ ÒØØÓÒ ÔÐÓÒ Ò ÙÒ k[g]¹ñóùð ÐÖ Ø Ø ÓÒ ÒØÐÐÑÒØ Ò ÓÑÑ Ð ÖØÖ ØÕÙ k Ø 0 ÐÐ Ò Ò Ø Òº ÇÖ Ð ÑÓÖÔ Ñ ÒØÙÖÐ RH(V) π G (O Y k V ) Ø ÙÒ ÓÑÓÖÔ Ñ Ø ÓÒ RH(V) Ø ÐÙ¹ÑÑ Òº Ä ÔÖÓÔÓ ØÓÒ ÑÓÒØÖ ÕÙ Ð ÓÒØÙÖ RH Ø ÐÑÒØ ÔÐÒº ËÓØ ÔÖ ÒØ E ÙÒ Ö ÒØÐÐÑÒØ Òº ËÓØ < E > Ð ÓÙ ¹ØÓÖ ØÒÒÒÒ ÒÒÖ Ø G ÓÒ ÖÓÙÔ ÌÒÒ ºº Ð ÖÓÙÔ ³ÓÐÓÒÓÑ Eµº ÓÑÑ E Ø ÒØÐÐÑÒØ Ò G Ø ÙÒ Ñ Ò ÖÓÙÔ Ò ÙÖ k ¾ ÌÓÖÑ ½º¾µ ÓÑÑ ÓÖÔ Ø ÖØÖ ØÕÙ 0 G Ø ÖÙØ ³ÔÖ ÙÒ ØÓÖÑ ÖØÖ ÔØÖ ½½µ ÓÒ ØÐ Ø k ØÒØ ÔÐÙ ÐÖÕÙÑÒØ ÐÓ G Ø ÓÒ ÓÒ ØÒغ Ä ÓÒØÙÖ ØÒ ÓÖÐ GRep Vect X ÓÖÖ ÔÓÒ ³ÔÖ ¾ ÈÖÓÔÓ ØÓÒ ¾º ½¼ ÙÒ G¹ÖÚØÑÒØ π : Y X Ø E ³ÒØ Ú Ð³ÕÙÚÐÒ < E > ½¼ ÕÙ Ù Ø ÓÒØÓÖÐØ ÚÙØ Ù ÔÓÙÖ Ð ÑÔ ÐÒ¹ÅÙÑÓÖ ÚÓÖ ÙÖ Ð ÙØ ¾ ¾
GRep ÙÒ ÖÔÖ ÒØØÓÒ V Gº Ë V Ø Ð Ý ØÑ ÐÓÐ ÓÖÖ ÔÓÒÒØ ÓÒ ÚÙ ¹ Ù ÕÙ RH(V) Ø ÓÑÓÖÔ π G (O Y k V ) ÐÙ¹ÑÑ ÓÑÓÖÔ Eº ³Ó Ð ÙÜ ÔÖÑÖ ÖØÓÒ º Ä ÖÒÖ Ö ÙÐØ ÐÓÖ Ù ÓÖÓÐÐÖ º ÌÓÖÑ ÏйÆÓÖ º½ Ö ÔÖÓÐÕÙ ÑÓÖ ËÓØ X ÙÒ Ñ ÐÓÐÑÒØ ÒÓØÖÒ ÙÖ ÙÒ ÓÖÔ k D ÙÒ ÑÐÐ Ú ÙÖ ÖÖÙØÐ ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ ÙÖ Xº º½º½ Ö ÔÖÓÐÕÙ Ò ÒØÓÒ ¾º ½º ÇÒ ÒØ Ð ØÓÖ Pa(X,D) Ö ÔÖÓÐÕÙ ÑÓÖ ÙÖ (X,D) ÔÖ Pa(X,D) = lim Pa1 (X,D) Ó Ð ÑÙÐØ¹Ò ÚÖÒØ ÔÖÑ Ð ÑÐÐ = ( i ) i I ³ÒØÖ ÒÓÒ Ú Ð ÔÖ Ð ÖØÖ ØÕÙ p kº ¾º Pa(X,D) Ø ÑÙÒ ³ÙÒ ÔÖÓÙØ ØÒ ÓÖÐ ÚÖÒØ ÔÓÙÖ E, E objpa1 (X,D) Ð ÓÖÑÙÐ ÓÒÚÓÐÙØÓÒ ÙÚÒØ (E E )m = l 1 Z E l E m l Ó Ò Ð ÓÒ ÓÒµ ÚÓÖ ï¾º½º¾º º ÍÒ Ö ÔÖÓÐÕÙ ÑÓÖ E ÙÖ (X,D) Ø Ø Ò ³Ð Ü Ø ÙÜ ÔÓÐݹ ÒÑ ØÒØ P, Q ÓÒØ ÒØÖ ÔÓ Ø ØÐ ÕÙ P(E ) Q(E )º ÇÒ ÒÓØÖ FPa(X,D) Ð ØÓÖ Ö ÔÖÓÐÕÙ ÑÓÖ ÙÖ (X, D)º ÊÑÖÕÙ º ÒÓØÓÒ ÓÒØ ÓÑÔØÐ Ú Ð³ÕÙÚÐÒ Vect( D/X) Pa1 (X,D) Ù ØÓÖÑ ¾ Ú Ð ÒÓØÓÒ ÑÔØÖ Ù ïº ÚÓÖ ½¼ º º½º¾ Ö ÔÖÓÐÕÙ ÒØÐÐÑÒØ Ò ÒØÓÒ ¾º ½º ÍÒ Ö ÔÖÓÐÕÙ ÑÓÖ E ÙÖ (X,D) ÔÓ ÑÙй ØÔÐ 1 Ø Ø Ñ¹ ØÐ Ð Ù ÐÓÐÑÒØ ÐÖ ÙÖ D/X ¹ Ó ÔÖ Ð ÓÖÖ ÔÓÒÒ Ù ØÓÖÑ ¾ Ø Ñ¹ ØÐ Ù Ò Ð ¹ ÒØÓÒ ¾¾º ÇÒ ÒÓØÖ SS 0 Pa(X,D) Ð ÓÙ ¹ØÓÖ ÔÐÒ Pa(X,D) ÓÒØ Ð ÓØ ÓÒØ Ñ¹ ØÐ º ¾º ÍÒ Ö ÔÖÓÐÕÙ ÑÓÖ Ñ¹ ØÐ E Ø Ø ÒØÐÐÑÒØ Ò ³ Ø ÙÒ ÕÙÓØÒØ ÙÜ ÓÙ ¹Ö ÔÖÓÐÕÙ ÑÓÖ Ñ¹ ØÐ ³ÙÒ Ö ÔÖÓÐÕÙ ÑÓÖ Òº ÇÒ ÒÓØÖ EFPa(X,D) Ð ÓÙ ¹ØÓÖ ÔÐÒ SS 0 Pa(X,D) ÓÒØ Ð ÓØ ÓÒØ ÒØÐÐÑÒØ Ò º
ÊÑÖÕÙ º º º¾ ½º Ä ÒØÓÒ Ñ¹ ØÐØ Ø ÒÔÒÒØ Ù ÓÜ ¾º ÁÐ ÖØ ÒØÖ ÒØ ÓÒÒÖ ÙÒ ÒØÓÒ Ð Ñ¹ ØÐØ Ò ÒØ ÒØÖÚÒÖ ÕÙ Ð ØÓÔÓÐÓ Ö º º¾º½ ÄÒ Ú Ð ÖÓÙÔ ÓÒÑÒØÐ ÒÓÒ ÌÓÖÑ º ËÓØ X ÙÒ Ñ ÔÖÓÔÖ ÒÓÖÑÐ ÓÒÒÜ ÙÖ ÙÒ ÓÖÔ k D ÙÒ ÑÐÐ Ú ÙÖ ÖÖÙØÐ ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ ÙÖ X D = i I D i x X(k) ÙÒ ÔÓÒØ ÖØÓÒÒÐ x / Dº µ Ä ÔÖ (EFPa(X,D), x ) Ø ÙÒ ØÓÖ ØÒÒÒÒº µ Ë k Ø ÐÖÕÙÑÒØ ÐÓ ÖØÖ ØÕÙ 0 ØÓÙØ Ö ÔÖÓÐÕÙ ÑÓ¹ Ö ÒØÐÐÑÒØ Ò Ø Ò Ø Ð ÖÓÙÔ ÌÒÒ (FPa(X,D), x ) Ø ÒÓÒÕÙÑÒØ ÓÑÓÖÔ Ù ÖÓÙÔ ÓÒÑÒØÐ π 1 (X D, x)º ÑÓÒ ØÖØÓÒº ÇÒ ÓÑÑÒ ÔÖ ÖÑÖÕÙÖ ÕÙ D/X Ø ÒÓÖÑÐ ¾½ ÈÖÓ¹ ÔÓ ØÓÒ ½ººµº µ Ö ÙÐØ ÐÓÖ ØÓÖÑ ¾ Ø º µ Ä ÔÖÑÖ ÖØÓÒ ÓÙÐ Ù ØÓÖÑ ¾ Ø Ù ÓÖÓÐÐÖ º ÈÓÙÖ Ð ÓÒ ÒÓØÓÒ π Ñ Ò ÖÓÙÔº ÐÓÖ π lim π Ó π Ø Ð ÖÓÙÔ ÌÒÒ Ð ØÓÖ (FPa1 (X,D), x ) Ú ÒÓØØÓÒ ÚÒØ º ³ÔÖ Ð ÔÖÓÔÓ ØÓÒ Ð ÙØ ÚÓÖ ÕÙ³ÓÒ ÓÑÓÖ¹ Ô Ñ ÒØÙÖÐ π π 1 ( D/X, x) ÓÑÔØÐ Ú Ð Ý ØÑ ÔÖÓ¹ Ø ÚÙ ÕÙ³ÓÒ Ø Ò ÖØÖ ØÕÙ ÞÖÓ ÓÒ ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ π 1 (X D, x) π1 D (X, x) ÓÒÒ Ù ÒÚÙ ÖÚØÑÒØ ÔÖ Ð ÓÒØÙÖ ÒÓÖÑÐ ØÓÒµº ÇÒ ÓÒÐÙØ ÓÒ Ò ÔÔÐÕÙÒØ ÒÓÙÚÙ Ð ØÓÖÑ ¾ Ø Ð ÓÖÓÐÐÖ º º¾º¾ ËÑ Ò ÖÓÙÔ ÓÒÑÒØÐ ÑÓÖ ÇÒ Ø ÒØÙÖÐÐÑÒØ ÓÒÙØ ÔÓ Ö ÒØÓÒ ¾º Ú Ð ÒÓØØÓÒ Ù ØÓÖÑ ÓÒ ÔÔÐÐÖ Ñ Ò ÖÓÙÔ ÓÒÑÒØÐ ÑÓÖ (X, D) Ð ÖÓÙÔ ÓÒÑÒØÐ π D (X, x) Ð ØÓÖ ØÒÒÒÒ (EFPa(X,D), x )º ÊÑÖÕÙ º ½º Ñ Ò ÖÓÙÔ π D (X, x) Ø ÙÒ ÐÑØ ÒÚÖ Ñ Ò ÖÓÙÔ Ò ÔÐ ÙÖ Ð Ñ Ò ÖÓÙÔ ÓÒÑÒ¹ ØÐ ÆÓÖ ¾ µ ÐÓÖ ÕÙ D = Ø ÙÖ Ð ÖÓÙÔ ÓÒÑÒØÐ ÑÓÖ ÖÓØÒ¹ÅÙÖÖ ¾½ µ ÐÓÖ ÕÙ k Ø ÐÖÕÙÑÒØ ÐÓ Öع Ö ØÕÙ 0 ³Ó ÓÒ ÒÓѺ
¾º ÄÓÖ ÕÙ k Ø ÕÙÐÓÒÕÙ Ð ÖÙÑÒØ ÓÖÓÐÐÖ ÑÓÒØÖÒØ ÕÙ³ÓÒ ÙÒ ÑÓÖÔ Ñ π D (X, x) π D 1 (X, x) ÕÙ Ø ÙÒ ÔÑÓÖÔ Ñ ÐÓÖ ÕÙ k Ø ÐÖÕÙÑÒØ ÐÓ º º ÌÓÙØÓ Ð ÓÒÚÒÖØ ÔÖ Ö Ð ÒØÙÖ ØÓÖ ÙÖ ÑÓÖÑÒØ ÖÑ ÕÙ π D (X, x) Ð º ÔÔÐØÓÒ Ù ÐÙÐ Ö ÔÖÓÐÕÙ ¹ Ò ÖÓÙÔ ³ÓÐÓÒÓÑ Ö ÓÐÙÐ º½ ÁÒØÖÓÙØÓÒ Ø ÒÓØØÓÒ ÇÒ ÖÔÖÒ Ð ÝÔÓØ Ð ÔÖØ X Ø ÙÒ Ñ ÔÖÓÔÖ ÒÓÖÑÐ ÓÒÒÜ ÙÖ ÙÒ ÓÖÔ k ÕÙ³ÓÒ ÙÔÔÓ ÔÐÙ ÐÖÕÙÑÒØ ÐÓ Ö¹ ØÖ ØÕÙ 0 D ÙÒ ÑÐÐ Ú ÙÖ ÖÖÙØÐ ÖÓ ÑÒØ ÒÓÖÑÙÜ ÑÔÐ ÙÖ X D = i I D i x X(k) ÙÒ ÔÓÒØ ÖØÓÒÒÐ x / Dº Ä ÙØ ØØ ÔÖØ Ø ³ÙØÐ Ö Ð ØÓÖÑ ÔÓÙÖ ÓÒ ØÖÙÖ ÜÔÐØÑÒØ ÖØÒ ÓØ FPa(X,D)º ÈÙ ÕÙ³ÓÒ Ø Ò Ø ÒØÖ ÔÖ Ð ÖÓÙÔ ÓÒÑÒØÐ ÑÓÖ X D ÓÒ ÚØ Ò Ö ÓÒ ØÖÙÖ ÙÒ ØÐ Ö ÔÖÓÐÕÙ Ò ÔÖØÖ ³ÙÒ ÖÚØÑÒØ Y X ÑÓÖÑÒØ ÖÑ Ð ÐÓÒ D Ð ØÖÚÐ Òغ ij Ð ÑØÓ ÔÖ ÒØ Ø Ò³ÙØÐ Ö ÕÙ ÓÙ ¹ÖÚØÑÒØ ³ÙÒ ØÐ Y X Ø ÖÔÓ ÒØÐÐÑÒØ ÙÖ Ð ÔÖÓÔÓ ØÓÒ ½¾º ØØ Ó ÖÚØÓÒ Ø Ò ÔÖ ÔÖ ÙÒ ØÖÒ ÖÔØÓÒ ÖØ Ð ÑØÓ ÔØØ ÖÓÙÔ ÏÒÖ Ø ÅÝ Ð ØÓÖ ÖÔÖ ÒØØÓÒ Ð ØÓÖ ÖÚØÑÒØ ÖÒÙ ÔÓ Ð Ö Ù ØÓÖÑ º ÈÖ Ð ÙØ ÓÒ ÒÓØ X = D/X Ð ÑÔ ÖÒ º º¾ ÓÑÔÐÑÒØ ÙÖ Ð Ö Ò ÇÒ ÓÑÑÒ ÔÖ ÕÙÐÕÙ ÖÑÖÕÙ ÒÖÐ ÓÒÖÒÒØ Ð Ö Ò º ÓÑÑ Ð ØÖÙØÙÖ ÔÖÓÐÕÙ Ò³ÒØÖ Ô ÚÖÑÒØ Ò Ù ÕÙ Ú ØÖ Ø Ø Ù ÚÐÐ Ò Ð ØÙØÓÒ Ð ÕÙ Ó X Ø ÙÒ Ñ ÔÖÓÔÖ ÖÙØ Ø ÓÒÒÜ ÙÖ ÙÒ ÓÖÔ k ÐÖÕÙÑÒØ ÐÓ ÖØÖ ØÕÙ 0º Ò ØØ ØÙØÓÒ Ð ÙØ ÖÑÔÐÖ Ð³ÙØÐ ØÓÒ Ù ØÓÖÑ ÔÖ Ð ØÓÖÑ ÆÓÖ ÓÖÒÐ ¾ º º¾º½ ÁÑ ÖØ ³ÙÒ Ö Ò Ä Ð ÑØÓ ÔÓÙÖ ÓÒ ØÖÙÖ Ö Ò Ø Ð ÖÑÖÕ٠й ÑÒØÖ ÙÚÒØ ÈÖÓÔÓ ØÓÒ ½¾º ËÓØ p : Y X ÙÒ ÖÚØÑÒØ Øк Ë F objfy ÐÓÖ p F objf X º ÑÓÒ ØÖØÓÒº ÇÒ ÔÙØ Ó Ö Y ÓÒÒÜ Ø Ù ÙÒ ÔÓÒØ y Y(k) Ù Ù xº
ËÓØ G ÙÒ ÖÓÙÔ Ò B k G = [spec k G] Ð ÑÔ Ð ÒØ π1 et (X, x) G ÙÒ ÑÓÖÔ Ñ Z X Ð ÖÚØÑÒØ ÐÓ Ò Ó ÓÖÖ ÔÓÒÒØ Ù ÙÒ ÑÓÖÔ Ñ m : X B k Gº ÐÓÖ Ð ÓÒØÙÖ RH ÒÙØ ÙÒ ÕÙÚÐÒ ÒØÖ Ð ØÓÖ GRep ÖÔÖ ÒØØÓÒ G Ø Ð ØÓÖ F Z X Ö Ò ÙÖ X ØÖÚÐ ÔÖ Z X º Ë V Ø ÙÒ ÖÔÖ ÒØØÓÒ G Ø V Ø Ð Ý ØÑ ÐÓÐ ÙÖ X et Ó ÐÓÖ ØØ ÓÖÖ ÔÓÒÒ Ó V Ð Ö O X k V ÕÙ Ø ÒÓÒÕÙÑÒØ ÓÑÓÖÔ m V º ÇÒ Ó Ø ÔÖ ÒØ ÙÒ ÑÓÖÔ Ñ π1 et (Y, y) A ØÐ ÕÙ Ð ÖÚØÑÒØ ÐÓ Ò Ó Z Y ØÖÚÐ F Ø ØÐ ÕÙ Ð ÖÚØÑÒØ ÓÑÔÓ Z X ÓØ ÐÓ Ò ÖÓÙÔ Gº ³ÔÖ ÕÙ ÔÖ Ð Ü Ø ÙÒ ÖÔÖ ÒØØÓÒ W Ù ÖÓÙÔ A ØÐÐ ÕÙ F O Y k Wº Ä ÔÖÓÔÓ ØÓÒ Ö ÙÐØ ÐÓÖ Ù ÄÑÑ ½º p (O Y k W) O X k V Ó V = Ind G A W º ÑÓÒ ØÖØÓÒº ÁÐ ³Ø ³ÙÒ ÓÖÑÙÐ ÒÑÒØ Ò Ð ¹ ÖÑÑ ÖØ Ò Y B k A X B k G Ò Ð ÔÖØÕÙ Ð Ø ÙØÐ ÚÓÖ ÐÙÐÖ Ð ÔÖÓÙØ ØÒ ÓÖÐ ÙÜ Ö Ò ÓØÒÙ ÔÖ Ð ÑØÓ Ð ÔÖÓÔÓ ØÓÒ ½¾º ÈÓÙÖ Ð Ð ÙØ ³ÔØÖ ÓÒØÜØ Ð ÓÖÑÙÐ Ð ÕÙ Ù ÅÝ ÓÒÒÒØ Ð ÔÖÓ¹ ÙØ ØÒ ÓÖÐ ÙÜ ÖÔÖ ÒØØÓÒ ÒÙØ ÓÑÑ ÓÑÑ ÖØ ÖÔÖ¹ ÒØØÓÒ ÒÙØ ÚÓÖ ÔÖ ÜÑÔÐ ½ ﵺ ÇÒ ÓØÒØ Ò ÄÑÑ ½º ËÓØ Z X ÙÒ ÖÚØÑÒØ ÐÓ Ò ÓÒÒÜ G Ð ÖÓÙÔ ÐÓ H 1 H 2 ÙÜ ÓÙ ¹ÖÓÙÔ º ÈÓÙÖ i {1, 2} ÓÒ ÒÓØ p i : Y i X Ð ÖÚØÑÒØ ÒØÖÑÖ ÓÖÖ ÔÓÒÒØ Ù ÓÙ ¹ÖÓÙÔ H i Ø F i objf Z Y i º ÔÐÙ ÔÓÙÖ g G ÓÒ ÒÓØ p g : Y g X Ð ÖÚØÑÒØ ÓÖÖ ÔÓÒÒØ Ù ÓÙ ¹ÖÓÙÔ H 1 gh 2 g 1 Ø q g,i : Y g Y i Ð ÑÓÖÔ Ñ ÒØÙÖк ÐÓÖ p 1 F 1 OX p 2 F 2 g H1\G/H 2 p g (q g,1f 1 OXg q g,2f 2 ) ÑÓÒ ØÖØÓÒº ÇÒ ÙÒ ÓÑÓÖÔ Ñ ÒØÙÖÐ B k G¹ÖÓÙÔÓ B k H 1 Bk G B k H 2 H 1\G/H 2 B k (H 1 gh 2 g 1 )º Ò Ð ØÖÒØ ÔÖ Ð ÑÓÖÔ Ñ X B k G Ò ÒØ Z X ÓÒ ÓØÒØ ÙÒ X ¹ ÓÑÓÖÔ Ñ Y 1 X Y 2 H 1\G/H 2 Y g º ÔÐÙ p : Y 1 X Y 2 X Ø Ð ÑÓÖÔ Ñ ÒÓÒÕÙ Ð ÓÖÑÙÐ ÒÑÒØ ÓÒÒ p 1 F 1 p 2 F 2 p (p 1 F 1 p 2 F 2) ³Ó Ð ÓÖÑÙÐ ÒÒÓÒº