ÇÀÇÅÇÄÇÁ ÊÀÅ ÆÌÁÊ arxiv:math/0404123v2 [math.kt] 6 Apr 2004 Ê ÙѺ ÇÒ ÖØ Ð ÙØ ÔØÖÐ Ó ØÒ Ù Ù ÓÑÔÐÜ ÊÑ ÙÖ Ð ÒØÖ º ij ÓÑÓÖÔ Ñ ÖØÖ ÒØÖÚÒØ ÓÑÑ ÙÒ ÒÓÑÓÖ¹ Ô Ñ Ù ÓÑÔÐÜ ÊÑ ÑÓÙÐÓ p ÕÙ ÒØ Ð Ô Ù Ú Ð ÙØ ÔØÖÐ Ó ØÒº ÇÒ Ò ÙØ Ð ÓÓÑÓÐÓ ÊÑ ÒØÖ Ô Ò º ÈÓÙÖ ÙÒ ÒÒÙ ÓÑÑÙØØ A ÓÒ ÒÓØ Ω 1 A Ð ÑÓÙÐ ÓÖÑ ÖÒØÐÐ ÓÐÙ Ö ½ A Ø ÓÒ ÒÓØ Ω A = Λ A (Ω1 A ) ÓÒ ÐÖ ÜØÖÙÖ ÙÖ Aº Ò Ð³ÒÒÙ ÖÙ Ω A ÓÒ ÒØ Ð ÑÒÖ Ù ÙÐÐ ÙÒ ÖÚØÓÒ d Ö 1 Ø ÖÖ ÒÙк ÇÒ ÓØÒØ Ò Ð ÓÑÔÐÜ ÊÑ Aº ØØ ÒÓØ ØÙ Ð ÐÑÒØÖ Ó Ð³ÒÒÙ A Ø ÙÒ ÒÒÙ ÔÓÐÝÒÑ ÓÒØ ÒØÖ Ð ÖÒØÐÐdØÒØ ÐÓÖ ÓÒÒ ÔÖ Ð ÖÚØÓÒ ÔÓÐÝÒÑ º Ò ÑØØÖ Ò ÜÖÙ Ð ÔÖÓÔÖØ ÒØÙÖÐØ ÓÒ ÓÒ Ö Ð³ÒÒÙ A ÓÑÑ Ð³ÐÖ ÝÑØÖÕÙ ÙÖ ÙÒ ÖÓÙÔ ÐÒ ÐÖ ÖÒ Ò L ÖÙ ÔÖ Ð Ö ÔÓÐÝÒÑÐ A = S (L) = d 0 S d (L) S d (L) Ø ÓÖÑ ÓÖØ L d Ó٠гØÓÒ ÔÖÑÙØØÓÒ d ØÙÖ µº ÒÒØ ÔÖ Λ i (L) Ð i¹ñ ÔÙ Ò ÜØÖÙÖ Ù ÖÓÙÔ ÐÒ L ÓÒ Ω i A = A Λi Lº ÈÓ ÒØ (Ω i A ) n = S n i (L) Λ i (L) =: Ω i n (L), ÓÒ ÚÓØ ÕÙ Ð ÓÑÔÐÜ ÊÑ Ø ÐÙ¹ÑÑ ÖÙº Ä ÔÖÓÔÖØ ÒØÙÖÐØ ÖÒØÐÐ d ÔÖÑØØÒØ Ð ÓÒ ÖÖ ÓÑÑ ÙÒ ÓÑÔÐÜ ÓÒØÙÖ Lº ÇÒ ÓÙÐ ÓÒ Ð ÑÒØÓÒ Ù ÖÓÙÔ ÐÒ ÐÖ L Ø Ð ÒÓØØÓÒ Ω n Ò Ò Ð ÙØ Ð ÓÑÔÐÜ ÓÒØÙÖ ÓÒÒ ÔÖ Ð ÓÑÔÐÜ ÊÑ Ò Ö ØÓØÐ n Ω n : S n d S n 1 Λ 1 d S n i Λ i d d Λ n d 0 d 0. ÇÒ ÒÓØ H i (Ω n) Ð ÖÓÙÔ ÓÓÑÓÐÓ ÓÖÖ ÔÓÒÒØ ³ Ø ÙÒ ÓÒØÙÖ Lµº ÍÅÊ ¾ ÍÒÚÖ Ø ÆÒØ»ÆÊ˺ ½
¾ Ä Ø ÕÙ Ð ÓÓÑÓÐÓ ÊÑ Ð³ Ô Ò Ò Ò ÓØ ÒÓÒ ÒÙÐÐ Ø ÙÒ ÔÒÓÑÒ Ò ÓÒÒÙ ØÙ Ò ÙÒ ÒÓØ ÈÖÖ ÖØÖ ½ º ÔÒÓÑÒ Ø Ð ØÖÚÙÜ ÙÖ Ð ÙØ ÔØÖÐ ÀÓ ÚÖ ÊÑ ¾ º ÁÐ ÔÖÑØ Ù ³ØÙÖ ÑÒØ ÐÙÐ ÓÓÑÓÐÓ ÓÒ¹ ØÙÖ º ØÖÚÙÜ ÓÑØØÒØ ÔÓÙÖØÒØ ÒÐÖ Ð ÐÙÐ Ð ÓÓÑÓÐÓ ÊÑ Ò Ð ÒØÖ ÕÙ ÓÒÒ ÔÖØÜØ ØØ ÒÓغ ÈÖÓÔÓ ØÓÒ ½º Ä ÓÓÑÓÐÓ ÊÑ Ö ØÓØÐ n Ø ÙÒ ÖÓÙÔ Ò ÒÒÙÐ ÔÖ nº ÑÓÒ ØÖØÓÒº ijÐÖ ÖÙ Ω Ø Ù ÑÙÒ ³ÙÒ ÖÒØÐÐ ÃÓ ÞÙÐ κ ÕÙ Ø ÙÒ ÖÚØÓÒ ÒØÙÖÐÐ ÒÚÓÝÒØ Ð ÔÓÐÝÒÑ ÙÖ 0 Ø ÙÒ ÓÖÑ ÖÒØÐÐ Ö 1 dx ÙÖ Ð ÔÓÐÝÒÑ xº ÐÐ Ø Ð Ð ÖÒØÐÐ ÊÑ d ÔÖ Ð ÓÖÑÙÐ ³ÙÐÖ dκ+κd = nº Ä Ö ÙÐØØ Ò ÓÙк ÈÙ ÕÙ Ð ÓÓÑÓÐÓ ÊÑ Ø ÙÒ ÖÓÙÔ ØÓÖ ÓÒ ÐÐ Ø ØÖѹ Ñ Ò ØÒØ ÕÙ ÖÓÙÔ ÐÒ ÔÖ Ð ÙØ ÔØÖÐ Ó ØÒ Ù ÓÑÔÐÜ ÊÑ ÔÓÙÖ ÕÙ ÒÓÑÖ ÔÖÑÖ pº ËÓØ p ÙÒ ÒÓÑÖ ÔÖÑÖº ÈÓÙÖ ÓØÒÖ Ð ÙØ ÔØÖÐ Ó ØÒ ÓÒ ÓÒ Ö Ð ÙØ ÜØ ÓÙÖØ ÓÑÔÐÜ 0 Ω n Ω n Ω n Z/pZ 0, ÒÙØ ÔÖ Ð ÑÙÐØÔÐØÓÒ ÔÖ pº ÐÐ ÒÒÖ ÙÒ ÓÙÔÐ ÜØ p H(Ω n ) H(Ω n ) H(Ω n Z/p) ÓÒØ Ð ÓÙÔÐ ÖÚ ÓÙÖÒ ÒØ Ð Ô Ù Ú Ð ÙØ ÔØÖÐ Ó ØÒº Ó ÓÒ ÙÒ Ω 1 1º Ä ÖÑÔÐÑÒØ ÚÖÐ ÔÖ ÐÙÖ ÔÙ Ò p¹ñ ÔÖÑØ ÒÖ ÙÒ ÑÓÖÔ Ñ ÓÑÔÐÜ F ÒÓÒ ÒØÙÖе ÕÙ ÒÚÓ x ÙÖ x p Ø dx ÙÖ px p 1 dxº ÇÒ Ð³ÔÔÐÐÖ ÖÓÒÙ º ÈÖÓÔÓ ØÓÒ ¾º ËÓØ p ÙÒ ÒÓÑÖ ÔÖÑÖº Ä ÖÓÒÙ ÒÙØ ÙÒ ÔÔÐØÓÒ ÒØÙÖÐÐ F : H i (Ω n ) Hi (Ω pn ). ÇÒ ÒØ Ù ÙÒ ÒÓÑÓÖÔ Ñ Ð³ÐÖ Ω ÒÓÒ ÒØÙÖе ÕÙ ÒÚÓ x ÙÖ x p Ø dx ÙÖ x p 1 dxº ÁÐ ÒØ ÙÒ ÑÓÖÔ Ñ ³ÐÖ C 1 ÒØÙÖÐ Ω Z/p ÚÖ H(Ω Z/p) ÕÙ Ø ÙÒ ÓÑÓÖÔ Ñ ½ º ³ Ø ÓÒ ÓÑÓÖÔ Ñ ÖÔÖÓÕÙ Õ٠гÓÒ ÔÔÐÐ ÓÑÓÖÔ Ñ ÖØÖº ÌÓÖÑ º ËÓØ p ÙÒ ÒÓÑÖ ÔÖÑÖº Ä ÙØ ÔØÖÐ Ó ØÒ Ù Óѹ ÔÐÜ ÊÑ Ø ØØÓÒÒÖ ÕÙ Ô ³ÒØÒØ ÔÖ Ð³ ÓÑÓÖÔ Ñ ÖØÖ Ù ÓÑÔÐÜ ÊÑ ÙÖ Ð ÓÖÔ p ÐÑÒØ º
ÇÀÇÅÇÄÇÁ ÊÀÅ ÆÌÁÊ ÑÓÒ ØÖØÓÒº Ä ÖÒØÐÐ d 1 Ð ÔÖÑÖ Ô ³ÓØÒØ Ò ÓÑÔÓ ÒØ Ð ÓÒÒØÒØ Ø Ð ÖÙØÓÒ ÑÓº pº ÈÓÙÖ Ð³ÒØÖ ÙÒ ÐÙÐ Ò Ö Ùغ ÐØÖÒØÚÑÒØ ÓÒ ÔÙØ ³Ö ³ÙÒ Ω 1 1 ÔÓÙÖ ØÙÖ Ð ÐÙÐ ÙÚÒغ ÓÒ ÖÓÒ ÙÒ ÓÖÑ ω = Pdx 1...dx i Ò Ω i Ø ÒÓØÓÒ Ð ÖÙØÓÒ ÑÓº p ÔÖ ÙÒ ÖÖº ÈÖ ÒØÓÒ C 1 (ω) Ø Ð Ð ÓÓÑÓÐÓ Ð ÖÙØÓÒ ÑÓº p F(ω) p i º ÇÒ ÓÒ C 1 (ω) = [ F(ω) p i ] = [ df(ω) p i+1 ] ÓÒØ Ð ÖÙØÓÒ ÑÓº p Ò³ Ø ÙØÖ ÕÙ C 1 (dω)º Ä ÔÖÑÖ Ô Ð ÙØ ÔØÖÐ Ó ØÒ Ø ÓÒ Ð ÓÑÔÐÜ ÊÑ ÑÓÙÐÓ pº ÈÓÙÖ Ð ÙØÖ Ô ÓÒ Ð Ö ÙÐØØ ÙÚÒØ ÈÖÓÔÓ ØÓÒ º Ä ÖÓÒÙ ÒÙØ ÙÒ ÑÓÖÔ Ñ Ù ÓÙÔÐ ÜØ Ó ØÒ ÙÖ ÓÒ ÓÙÔÐ ÖÚ H(Ω ) p H(Ω ). F E 1 F ph(ω ) ph(ω ) E 2 Ä ÑÓÖÔ Ñ H(Ω /pω ) = E 1 E 2 Ø ÙÒ ÓÑÓÖÔ Ñ ÒÙØ ÔÖ Ð³ ÓÑÓÖ¹ Ô Ñ C 1 Ω n Z/pZ H(Ω pn Z/pZ)º Ä ÙÐ Ó ÕÙ ÑÖØ ÙÒ ÚÖØÓÒ Ø ÕÙ Ð³Ñ F Ø Ú Ð ÔÖ pº ÈÖÒÓÒ ÓÒ ÙÒ ÓÝÐ ω Ò Ω n º ÓÑÑ nω Ø ÙÒ ÓÓÖ ÔÖÓÔÓ ØÓÒ ½µ ³ Ø Ù Ð F(nω)º ÁÐ Ò Ö ÙÐØ ÕÙ F(nω) Ø ÙÒ ÓÝÐ Ω np º np ÌÓÖÑ º Ä ÖÓÒÙ F Ø ÙÒ ÓÑÓÖÔ Ñ Ð ÓÑÔÓ ÒØ p¹ôöñö H i (Ω n ) ÙÖ Ð ÓÑÔÓ ÒØ p¹ôöñö phi (Ω pn )º Ò Ø Ð ÖÑÑ ¹ Ù Ø ÙÒ ÑÓÖÔ Ñ ÙØ ÜØ ÐÓÒÙ º Ä ÙØ ÜØ ÒÓÝÙÜ Ø ÕÙ Ð ÑÙÐØÔÐØÓÒ ÔÖ p Ø ÙÒ ÓÑÓÖÔ Ñ Ù ÒÓÝÙ F ÙÖ ÐÙ¹ÑѺ ÓÑÑ ÒÓÝÙ Ø ÙÒ ÖÓÙÔ Ò Ð Ö ÙÐØØ Ò ÓÙк Ò Ø Ð ÓÒÒ Ò Ð ÙØ ÔØÖÐ Ó ØÒ ÔÖÑØ Ð ÐÙÐ ÙÚÒØ
ÌÓÖÑ º ËÓØ p ÙÒ ÒÓÑÖ ÔÖÑÖº Ä ØÖÑ p k 1 H i (Ω n)/p k H i (Ω n) Ù ÖÙ Ð ÐØÖØÓÒ p¹õù Ð ÓÓÑÓÐÓ ÊÑ Ö ØÓØÐ n Ø ÒØÙÖÐÐÑÒØ ÓÑÓÖÔ ÙÜ ÓÝÐ Ò Ω i n/p k Z/pZ i > 0 Ø 0 < k ν p (n) Ø Ð Ø ÒÙÐ ÒÓÒº Ö ÙÐØØ ÑÓÒØÖ ÔÖ ÙÒ ÓÙÐ ÖÙÖÖÒ ÒÒØ ÙÖ k Ø i Ò ÙØÐ ÒØ Ð ÙØ ÜØ 0 p k 1 H i (Ω n )/pk H i (Ω n ) Ei k p k 1 H i+1 (Ω n) Ø Ð³ÒØØÓÒ Ð Ô E k Ú Ð ÓÑÔÐÜ ÊÑ E k = Ωn/p k Z/pZ, 0 < k ν p (n). ÜÑÔк Ò Ö ØÓØÐ Ð ÓÓÑÓÐÓ ÊÑ Ø ÒÙÐÐ Ù Ò Ö ÓÓÑÓÐÓÕÙ ½ Ø ¾º Ä ØÓÖÑ ÔÖÒØ ÓÒÒ H 2 (Ω 4 ) = Λ 2 /2 ÓÑÑ ÓÒØÙÖ Lº Ä ØÖÑ H 1 Ø ÔÐÙ ÒØÖ Òغ ÅÓÙÐÓ ¾ Ð Ø Ð Ù Z/2Z¹ ÚØÓÖÐ ÓÝÐ Ò Ω 1 2 Z/2Z ÕÙ Ò³ Ø ÙØÖ ÕÙ Ð ÓÒ ÔÙ Ò Ú Γ 2 ÑÓÙÐÓ ¾º ÇÒ ÓÒ ÙÒ ÜØÒ ÓÒ ÓÒØÙÖ 0 S 1 /2 H 1 (Ω 4 ) Γ 2 /2 0 ÕÙ Ø ÔÔÖØÖ H 1 (Ω 4 ) ÓÑÑ ÙÒ ÚÖÒØ ÚØÙÖ ÏØØ ÐÓÒÙÙÖ ¾º Ò Ø ØØ ÜØÒ ÓÒ ÖÔÖ ÒØ Ð ÙÐ Ð ³ÜØÒ ÓÒ ÓÒØÙÖ ÒÓÒ Ò ÒØÖ Γ 2 /2 Ø S 1 /2 ÔÖÖÔ º º ÊÖÒ ½ Ⱥ ÖØÖº ÍÒ ÒÓÙÚÐÐ ÓÔÖØÓÒ ÙÖ Ð ÓÖÑ ÖÒØÐÐ º º ʺ º ˺ ÈÖ ¾ ½µ ¾¾º ¾ Ⱥ ÐÒ Äº ÁÐÐÙ º ÊÐÚÑÒØ ÑÓÙÐÓ p 2 Ø ÓÑÔÓ ØÓÒ Ù ÓÑÔÐÜ ÊѺ ÁÒÚÒغ Åغ ½µ ¾¹¾¼º κ ÖÒÓ٠º ÄÒÒ Äº ËÛÖØÞº ÙØÓÙÖ Ð ÓÓÑÓÐÓ Å ÄÒ ÓÖÔ Ò º ÁÒÚÒغ Åغ ½½ ½µ ½ º
ÇÀÇÅÇÄÇÁ ÊÀÅ ÆÌÁÊ ÁÒØÖÐ ÊÑ ÓÓÑÓÐÓÝ ØÖغ Ì ÖØÖ ÓÑÓÖÔ Ñ ÐÐÓÛ Ò ÖÔØÓÒ Ó Ø Ó¹ ØÒ ÔØÖÐ ÕÙÒ Ó Ø ÊÑ ÓÑÔÐÜ ÓÚÖ Ø ÒØÖ º ÁØ Ù ØÓ ÓÑÔÙØ Ø ÒØÖÐ ÊÑ ÓÓÑÓÐÓÝ Ó Ò Ô º ÓÖ ÒØ ÖÒ Ö ÐÒ ÖÓÙÔ L ÐØ S j (L) Ò Λ i (L) Ö ÔØÚÐÝ ÒÓØ Ø j¹ø ÝÑÑØÖ Ò i¹ø ÜØÖÓÖ ÔÓÛÖ Ó Lº Ì ÊÑ ÓÑÔÐÜ Ò ØÓØÐ Ö n Ø ÓÑÔÐÜ Ω n : S n d S n 1 Λ 1 d S n i Λ i d d Λ n d 0 d 0 ÛÓ ÖÒØÐ d Ø ÖÚØÚ Ó ÔÓÐÝÒÓÑÐ º Ì ÔÙÖÔÓ Ó Ø ÒÓØ ØÓ Ö Ø ÓÓÑÓÐÓݺ ÈÖÓÔÓ ØÓÒº ÚÖÝ ÊÑ ÓÓÑÓÐÓÝ Ð Ò ØÓØÐ Ö n ÒÒÐØ Ý nº ÇÒ ÛÝ ØÓ ÔÖÓÚ ØØ Ø ÊÑ ÓÓÑÓÐÓÝ Ó Ø Ò Ô ÓÚÖ Ö¹ ØÖ Ø ÞÖÓ Ð ÒÐ ØÓ Ù Ø ÃÓ ÞÙÐ ÖÒØÐ κ ÓÒØÖØÒ ÓÑÓØÓÔݺ ÇÚÖ Ø ÒØÖ Ø ÓÖÑÙÐ dκ + κd = n ÓÒÐÝ Ú Ø ÓÚ ÔÖÓÔÓ ØÓÒº Ì ÊÑ ÓÓÑÓÐÓÝ Ò ÒØ ØÓÖ ÓÒ ÖÓÙÔ Û ØÖÑÒ Ø Ý ÓÑÔÙØÒ Ø Ó ØÒ ÔØÖÐ ÕÙÒ Ó Ø ÊÑ ÓÑÔÐÜ Ø ÔÖѺ ÈÖÓÔÓ ØÓÒº ÄØ p ÔÖѺ Ì ÖÓÒÙ ÑÔ F ÒÙ ÑÓÖÔ Ñ ÖÓÑ Ø Ó ØÒ ÜØ ÓÙÔÐ ØÓ Ø ÖÚ ÓÙÔк Ì ÑÔ E 1 E 2 Ò ÓÑÓÖÔ Ñ Û ÒÙ Ý Ø ÖØÖ ÓÑÓÖÔ Ñ C 1 Ω n Z/pZ H(Ω pn Z/pZ)º Ì ÑÔ F H i (Ω n ) phi (Ω pn ) ÝÐ Ò ÓÑÓÖÔ Ñ ØÛÒ Ø p¹ôöñöý ÔÖØ º ÁØ ÑÙ Ò ØÓ ÒÓØ ØØ Ø Ó ØÒ ÔØÖÐ ÕÙÒ ØØÓÒÖÝ ÙØ Ø ÒÓØ ØÖÚÐ ÌÓÖѺ Ô Ó Ø Ó ØÒ ÔØÖÐ ÕÙÒ Ó Ø ÊÑ ÓÑÔÐÜ ÓÑÓÖÔ ØÓ Ø ÊÑ ÓÑÔÐÜ ÓÚÖ Ø ÔÖÑ Ðº ÌÓÖѺ ÄØ p ÔÖѺ Ì ÊÑ ÓÓÑÓÐÓÝ Ò ØÓØÐ Ö n p¹ ÐØÖØÓÒ ÛÓ ØÓÖ p k 1 H i (Ω n )/pk H i (Ω n ) ÒØÙÖÐÐÝ ÓÑÓÖÔ ØÓ Ø ÓÝÐ Ò Ω i n/p k Z/pZ i > 0 Ò 0 < k ν p (n) Ò Ð Ø ÚÒ º ¹ÑÐ Ö ÖÒÓÙÑغÙÒÚ¹ÒÒØ ºÖ ÄÓÖØÓÖ ÂÒ¹ÄÖÝ ÍÒÚÖ Ø ÆÒØ ¾ ÖÙ Ð ÀÓÙ ÒÖ È ¾¾¼ ¾¾ ÆÒØ Ü ÖÒ