arxiv: v1 [math.ag] 18 Dec 2008
|
|
- Ernest Doucet
- il y a 7 ans
- Total affichages :
Transcription
1 arxiv: v1 [math.ag] 18 Dec 2008 ÉÍÁ ÁËÌÊÁ ÍÌÁÇÆ Ì Á Ê ÆÌÁ ÁÄÁÌ ÀÙ Ý Ò Ê ÙÑ º ÇÒ ÔÖÓÔÓ ÙÒ Ö Ø Ö ³ ÕÙ ØÖ ÙØ ÓÒ Ô Ö Ð Ö ÒØ Ð Ø Ö¹ Ø Ò ÒÚ Ö ÒØ Ö Ø Ñ Ø ÕÙ º ÓÑ Ò Ú Ð Ñ Ø Ó Ô ÒØ Ø Ð Ñ ÙÖ ÝÑÔØÓØ ÕÙ Ö Ø Ö ÓÒÒ ÙÒ ÒÓÙÚ ÐÐ ÑÓÒ ØÖ Ø ÓÒ ÓÒ ÔØÙ ÐÐ Ö Ùй Ø Ø ³ ÕÙ ØÖ ÙØ ÓÒ Ó Ø ÒÙ Ò Ø Ð Ñ ÒØ Ú Ð ÔÖ Ò Ô Ú Ö Ø ÓÒÒ Ðº ØÖ Øº Ï ÔÖÓÔÓ Ö Ø Ö ÓÒ Ó ÕÙ ØÖ ÙØ ÓÒ Ý Ø Ö ÒØ Ð ØÝ Ó ÖØ Ò Ö Ø Ñ Ø ÒÚ Ö ÒØ º ÓÑ Ò Û Ø Ø ÐÓÔ Ñ Ø Ó Ò Ø ÝÑÔØÓØ Ñ ÙÖ Ø Ö Ø Ö ÓÒ Ú Ò Û ÓÒ ÔØÙ Ð ÔÖÓÓ ØÓ ÕÙ ØÖ ÙØ ÓÒ Ö ÙÐØ ÓÖ Ò ÐÐÝ Ó Ø Ò Ú Ø Ú Ö Ø ÓÒ ÔÖ Ò ÔÐ º Ì Ð Ñ Ø Ö ½º ÁÒØÖÓ ÙØ ÓÒº º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ ¾º Ê ÔÔ Ð ÙÖ Ð Ö ÒÚ Ö Ð Ð ÕÙ º º º º º º º º º º º º º º º º º º º º º º º º Ö Ø Ö ³ ÕÙ ØÖ ÙØ ÓÒ Ô Ö Ð Ö ÒØ Ð Ø º º º º º º º º º º º º º º º º º º Å ÒÓÖ Ø ÓÒ Ð Ð Ñ Ø Ò Ö ÙÖ ÙØ ÙÖ º º º º º º º º º º º º º º º º º º ÔÔÐ Ø ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ Ê Ö Ò º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ ½º ÁÒØÖÓ ÙØ ÓÒ Ò Ð ÔÖÓ Ð Ñ ³ ÕÙ ØÖ ÙØ ÓÒ Ò ØÙÖ Ö Ø Ñ Ø ÕÙ ÓÒ ³ ÒØ Ö Ù ÓÑÔÓÖØ Ñ ÒØ ÝÑÔØÓØ ÕÙ ³ÙÒ Ù Ø Ñ ÙÖ Ò Ô Ö ÔÓ ÒØ Ð Ö ÕÙ Ò ÙÒ Ú Ö Ø ÔÖÓ Ø Ú ÙÖ ÙÒ ÓÖÔ ÒÓÑ Ö º ij ÔÔÖÓ Ö ÐÓÚ ÒÒ ÔÖÓ Ð Ñ Ø ÔÖÓÔÓ Ô Ö ËÞÔ ÖÓ ÍÐÐÑÓ Ø Ò º ÙÖ Ð ÔÖ Ò Ô Ú Ö Ø ÓÒÒ Ð ÒØÖÓ Ù Ø Ò Ð ÙÖ ÖØ Ð ¾ Ú ÐÓÔÔ Ñ ÒØ Ò ØØ Ö Ø ÓÒ ÓÒØ Ø Ñ Ò Ò ØÖ Ú ÙÜ ÓÑÑ ¾ ¾ ¾ ½¼ غ
2 ¾ ÀÍ Á À Æ ËÓ ÒØ K ÙÒ ÓÖÔ ÒÓÑ Ö Ø K ÙÒ ÐØÙÖ Ð Ö ÕÙ Kº ËÓ Ø X ÙÒ Ú Ö Ø Ö Ø Ñ Ø ÕÙ ÔÖÓ Ø Ú ÙÖ Spec Kº ÇÒ Ü ÙÒ ÔÐÓÒ Ñ ÒØ σ K Ò Cº Ë x Ø ÙÒ ÔÓ ÒØ X Ú Ð ÙÖ Ò K ÐÓÖ Ð Ò Ø ÙÒ Ñ ÙÖ ÔÖÓ Ð Ø ÓÖ Ð ÒÒ ½µ η x,σ := 1 [K(x) : K] eσ:k(x) C eσ K=σ δ σ(x) ÙÖ Xσ an Ó ÔÓÙÖ ØÓÙØ y Xσ an δ y Ò Ð Ñ ÙÖ Ö ÓÒ ÒØÖ Ò yº ÇÒ ÓÒ Ö Ñ ÒØ Ò ÒØ ÙÒ Ù Ø (x n ) n 1 ÔÓ ÒØ Ò X(K) Ò Ð ÔÖÓ Ð Ñ ³ ÕÙ ¹ ØÖ ÙØ ÓÒ ÓÒ Ö ÓÒ Ø ÓÒ ÓÙ Ð ÕÙ ÐÐ Ð Ù Ø Ñ ÙÖ (η xn,σ) n 1 ÓÒÚ Ö Ð Ñ ÒØ ÓÙ ÓÒ ÕÙ Ú Ð ÒØ Ð Ù Ø ³ ÒØ Ö Ð ( ) f dη Xσ an xn,σ n 1 ÓÒÚ Ö Ò R ÔÓÙÖ ØÓÙØ ÓÒØ ÓÒ ÓÒØ ÒÙ f ÙÖ Xσ an º ÖØ Ò Ñ ÒØ Ð Ù Ø (x n ) n 1 Ò ÚÖ Ø Ô ØÖ ÕÙ ÐÓÒÕÙ º Ò Ð ÔÖ Ø ÕÙ ÓÒ Ñ Ò ÓÙÚ ÒØ Ð ÓÒÚ Ö Ò ÖØ Ò ÓÒØ ÓÒ ÙØ ÙÖ Ú ÐÙ Ò ÔÓ ÒØ º Ò Ð Ð ØØ Ö ØÙÖ ØØ ÓÒØ ÓÒ ÙØ ÙÖ Ô ÙØ ØÖ ÓÒ ØÖÙ Ø Ó Ø Ò ÙØ Ð ÒØ Ð Ø ÓÖ ÙØ ÙÖ Ð Ï Ð Ó Ø Ô Ö Ð Ø ÓÖ ³ Ö ÐÓÚº Ò Ø ÖØ Ð ÓÒ ÓÔØ Ð ÙÜ Ñ ÔÓ ÒØ ÚÙ º Ò Ð Ø ÓÖ ³ Ö ÐÓÚ Ð ÓÒØ ÓÒ ÙØ ÙÖ ÓÒØ Ò Ö Ð Ø Ú Ñ ÒØ ÙÜ Ö ÒÚ Ö Ð Ð ÕÙ º ÇÒ Ò Ñ Ò ÙÙÒ ÓÒ Ø ÓÒ ÔÓ Ø Ú Ø Ò Ð Ø ÙÜ Ñ ØÖ ÕÙ º ËÓ Ø L ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ Xº ÈÓÙÖ ØÓÙØ ÔÓ ÒØ Ð Ö ÕÙ x X(K) г Ñ Ö ÔÖÓÕÙ x L Ø ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ Spec K(x) Ó K(x) Ø Ð ÓÖÔ Ò Ø ÓÒ xº Ä ÙØ ÙÖ x Ô Ö Ö ÔÔÓÖØ L Ø Ô Ö Ò Ø ÓÒ Ð Ö ³ Ö ÐÓÚ ÒÓÖÑ Ð deg n (x L)º ij Ú ÒØ ØØ ÔÔÖÓ Ø ÕÙ Ð ÓÒØ ÓÒ ÙØ ÙÖ Ò Ò Ø ÙØÓÑ Ø ÕÙ Ñ ÒØ Ø Ú Ô Ö Ö ÔÔÓÖØ L ÙØÖ Ñ ÒØ Ø L 1 Ø L 2 ÓÒØ ÙÜ Ö ÒÚ Ö Ð ÖÑ Ø Ò ÙÖ X ÐÓÖ h L1 L 2 (x) = h L1 (x) + h L2 (x). ËÓ Ø Pic(X) Ð ÖÓÙÔ Ð ³ ÓÑÓÖÔ Ñ Ö ÒÚ Ö Ð ÖÑ Ø Ò ÙÖ Xº ÈÓÙÖ ØÓÙØ ÓÒØ ÓÒ ÓÒØ ÒÙ f ÙÖ Xσ an ÓÒ Ò Ô Ö O σ (f) Ð Ö ÒÚ Ö Ð ÖÑ Ø Ò ÓÒØ Ð Ö ÒÚ Ö Ð ÓÙ ¹ ÒØ Ø O X ÓÒØ Ð Ñ ØÖ ÕÙ Ò ØÓÙØ ÔÐ ÙØÖ ÕÙ σ Ø σ Ø ØÖ Ú Ð Ø Ø Ð ÕÙ ¾µ x X an σ, 1 x σ = e f(x), Ó 1 Ø Ð Ø ÓÒ Ð³ÙÒ Ø O X º ij ÔÔÐ Ø ÓÒ f O σ (f) Ø Ò Ø ÙÒ Ó¹ ÑÓÑÓÖÔ Ñ Ù ÖÓÙÔ Ø µ ÓÒØ ÓÒ ÓÒØ ÒÙ ÙÖ Xσ an Ú Ö Pic(X)º ÇÒ Ò Ô Ö C σ (X) г Ñ ØØ ÔÔÐ Ø ÓÒº Ë x = (x n ) n 1 Ø ÙÒ Ù Ø ÔÓ ÒØ Ð Ö ÕÙ Ò X ÓÒ Ò Ô Ö ϕ x : Pic(X) R {± } Ð ÓÒØ ÓÒ Ò Ô Ö ϕ x (L) = liminf h n + L (x n)º Ò Ø ÖØ Ð ÓÒ Ø Ð Ø Ð Ö ÙÐØ Ø Ù Ú ÒØ ÇÒ ÙÔÔÓ ÕÙ L Ø ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ Ø Ð ÕÙ Ð Ù Ø (h L (x n )) n 1 ÓÒÚ Ö º ÐÓÖ Ð Ù Ø Ñ ÙÖ (η xn,σ) n 1 ÓÒÚ Ö ¹ Ð Ñ ÒØ Ø ÙÐ Ñ ÒØ Ð ÓÒØ ÓÒ ϕ x Ø Ö ÒØ Ð Ò L ÔÓÙÖ Ð Ö Ø ÓÒ Ò C σ (X)º Ò ÓÙØÖ Ð Ñ ÙÖ Ð Ñ Ø Ó Ò Ð Ö Ú ϕ x º
3 ÉÍÁ ÁËÌÊÁ ÍÌÁÇÆ Ì Á Ê ÆÌÁ ÁÄÁÌ ÇÒ ÔÖ Ö Ò ï Ð Ò Ø ÓÒ Ð Ö Ú Ð Ø ³ÙÒ ÓÒØ ÓÒ ÙÖ Pic(X) Ø ÓÒ ÜÔÐ ÕÙ Ö ÕÙ Ö ÙÐØ Ø ÓÑ Ò Ú ÙÒ Ö ÙÑ ÒØ ÓÒÚ Ü Ø Ô ÖÑ Ø ³ÙÒ ¹ Ö ÖØ Ò ÔÖ ÙÚ Ô Ö Ð ÔÖ Ò Ô Ú Ö Ø ÓÒÒ Ðº Ò Ø ÔÓÙÖ Ø Ð Ö Ð Ö Ú Ð Ø Ð ÓÒØ ÓÒ ϕ x Ò L Ð Ù Ø Ð Ñ ÒÓÖ Ö Ô Ö ÙÒ ÓÒØ ÓÒ ψ ÕÙ Ø Ö ÒØ Ð Ò L Ø Ø ÐÐ ÕÙ ϕ x (L) = ψ(l)º Ö Ø Ö Ø ÓÙÔÐ Ø Ñ Ò ÙÙÒ ÓÒ Ø ÓÒ ÔÓ Ø Ú Ø ÔÖ ÓÖ ÙÖ Ð Ñ ØÖ ÕÙ Ù Ö Ð ÕÙ Lº ÍÒ Ö ÙÐØ Ø Ò ¾ Ô ÖÑ Ø Ñ ÒÓÖ Ö ϕ x (L) Ô Ö Ð ÙØ ÙÖ ÒÓÖÑ Ð X Ô Ö Ö ÔÔÓÖØ L ÐÓÖ ÕÙ Ð Ù Ø x Ø Ò Ö ÕÙ º ³ Ø ÙÒ ÔÓ ÒØ Ð Ò Ð Ö ÙÐØ Ø ³ ÕÙ ØÖ ÙØ ÓÒ Ú Ð ÔÖ Ò Ô Ú Ö Ø ÓÒÒ Ðº Ô Ò ÒØ Ð Ñ Ð Õ٠г Ð Ø ÒØÖ ϕ x (L) Ø Ð ÙØ ÙÖ ÒÓÖÑ Ð X Ø ÙÒ ÝÔÓØ ØÖ ÓÖØ º È Ö Ü ÑÔÐ ÐÐ ÑÔÐ ÕÙ ÕÙ Ð Ñ ÙÖ ÝÑÔØÓØ ÕÙ L Ø ÙÒ Ñ ÙÖ Ö ÓÙ ÒÓÖ Ð ÔÓÐÝ ÓÒ À Ö Ö¹Æ Ö Ñ Ò ÝÑÔØÓØ ÕÙ Ø ÙÒ ÑÓÖ Ù ÖÓ Ø º Ò ÓÙØÖ Ð Ö ÒØ Ð Ø Ð ÙØ ÙÖ ÒÓÖÑ Ð X Ô Ö Ö ÔÔÓÖØ L Ø ÙÒ ÔÓ ÒØ Ð ÕÙ Ñ Ò ÓÙ Ò ÙÒ ÓÒ Ø ÓÒ ÔÓ Ø Ú Ø L ÓÙ Ò Ø Ò ÕÙ Ò ÐÝØ ÕÙ ÓÑÑ Ô Ö Ü ÑÔÐ Ð ÒÓÝ Ù Ö Ñ Ò ÕÙ Ñ Ñ Ð ¹Ø¹ Ð Ò³ Ô ÒÓÖ Ò ÐÓ Ù ÙÐØÖ Ñ ØÖ ÕÙ º ÁÐ ³ Ú Ö ÕÙ Ð Ñ Ø Ó Ô ÒØ Ð Ó Ø ÔÔÐ Õ٠г ÔÔÐ Ø ÓÒ ³ Ú ÐÙ Ø ÓÒ Ò ÔÓ ÒØ Ô ÖÑ Ø Ð Ñ ÒØ Ñ ÒÓÖ Ö ϕ x (L) Ô Ö Ð Ô ÒØ Ñ Ü Ñ Ð ÝÑÔØÓØ ÕÙ µ π max (L) ÕÙ Ø Ð Ð Ñ Ø Ô ÒØ Ñ Ü Ñ Ð ÒÓÖÑ Ð Ñ Ö Ø ÔÙ Ò Ø Ò ÓÖ ÐÐ Lº Ä Ô ÒØ Ñ Ü Ñ Ð ÝÑÔØÓØ ÕÙ Ø ØÖ Ð ÙÒ ÒÚ Ö ÒØ Ö Ø Ñ Ø ÕÙ ÔÔ Ð Ð Ñ ÙÖ ÝÑÔØÓØ ÕÙ L ÒÓØ ν L ÚÓ Ö ½¾ ½ ½ µº ³ Ø ÙÒ Ñ ÙÖ ÔÖÓ Ð Ø ÓÖ Ð ÒÒ ÙÖ Rº Ø ÒÚ Ö ÒØ Ø Ò ÔÓÙÖ ØÓÙØ Ð Ö Ð ÕÙ ÖÑ Ø Ò L Ø Ð ÕÙ L Ø ÖÓ º Ä Ô ÒØ Ñ Ü Ñ Ð ÝÑÔØÓØ ÕÙ Ø Ò Ø Ð ÓÖÒ ÙÔ Ö ÙÖ Ù ÙÔÔÓÖØ ν L º ÄÓÖ ÕÙ L Ø Ö Ø Ñ Ø ÕÙ Ñ ÒØ ÖÓ ÓÙ ÓÒ ÕÙ Ú Ð ÒØ µ π max (L) > 0 ÓÒ Ð Ö Ð Ø ÓÒ Ù Ú ÒØ µ µ max (L) max{x, 0} ν L (dx) xν L (dx), R Ó Ð ÙÜ ÒØ Ö Ð ÓÒØ Ö Ô Ø Ú Ñ ÒØ Ð Ù ÚÓÐÙÑ Ö Ø Ñ Ø ÕÙ Ù Ò ÅÓÖ Û µ ÒÓÖÑ Ð Ø Ð Ô Ø Ø ÓÒÒ ÐÐ ÒÓÖÑ Ð º ØØ ÖÒ Ö ³ ÒØ Ð ÙØ ÙÖ ÒÓÖÑ Ð X ÐÓÖ ÕÙ L Ø Ø ÖØ Ò ÓÒ Ø ÓÒ ÔÓ Ø Ú Ø º Ä Ö Ø Ö ³ ÕÙ ØÖ ÙØ ÓÒ Ñ ÒØ ÓÒÒ ÔÐÙ ÙØ Ø Ð Ö ÒØ Ð Ø Ð ÓÒØ ÓÒ ÚÓÐÙÑ Ö Ø Ñ Ø ÕÙ Ø Ð Ò ½ ÓÒÒ ÒØ ÙÒ ÒÓÙÚ ÐÐ ÑÓÒ ØÖ Ø ÓÒ ÓÒ Ô¹ ØÙ ÐÐ Ö ÙÐØ Ø ³ ÕÙ ØÖ ÙØ ÓÒ Ú Ð ÔÖ Ò Ô Ú Ö Ø ÓÒÒ Ðº Ä Ö Ø Ö ³ ÕÙ ØÖ ÙØ ÓÒ Ù Ö ÕÙ ÙÒ Ñ ÐÐ ÙÖ ÓÑÔÖ Ò ÓÒ ÙÖ Ð Ó¹ Ñ Ò Ö ÒØ Ð Ø Ð ÓÒØ ÓÒ µ π max ÚÖ Ø ÓÒ Ù Ö Ø ÓÖ Ñ ³ ÕÙ ¹ ØÖ ÙØ ÓÒ ÔÐÙ Ò Ö Ðº ij ÖØ Ð Ø ÓÖ Ò ÓÑÑ Ð Ù Ø º Ò Ð ÙÜ Ñ Ô Ö Ö Ô ÓÒ Ö ÔÔ ÐÐ ÒÓØ ÓÒ ÓÒ ÖÒ ÒØ Ð Ö Ð ÕÙ ÖÑ Ø Ò º Ò Ð ØÖÓ Ñ Ô Ö Ö Ô ÓÒ ÒÓÒ Ø ÑÓÒØÖ Ð Ö Ø Ö ³ ÕÙ ØÖ ÙØ ÓÒº Ò Ù Ø ÓÒ ÙØ Ò Ð ÕÙ ¹ ØÖ Ñ Ô Ö Ö Ô Ð Ñ ÒÓÖ Ø ÓÒ Ð Ð Ñ Ø Ò Ö ÙÖ ÙØ ÙÖ º Ò Ò Ò Ð ÒÕÙ Ñ Ô Ö Ö Ô ÓÑÑ ÔÔÐ Ø ÓÒ ÓÒ ÒØ ÖÔÖ Ø Ð ÔÖ ÙÚ Ú Ð ÔÖ Ò Ô Ú Ö Ø ÓÒÒ Ð Ô Ö Ð Ð Ò Ö ÒØ Ð Ø Ø ÓÒÒ ÙÒ ÒÓÙÚ ÐÐ ÔÖ ÙÚ º R
4 ÀÍ Á À Æ Ê Ñ Ö Ñ ÒØ º Ä Ö ÙÐØ Ø Ò Ø ÖØ Ð ÓÒØ Ø ÔÖ ÒØ Ò ÙÒ Ö ÒÓÒØÖ Ð³ ÆÊ Ö ÓÚ Ø Ò Ö Ñ Ö Ö Ð ÓÖ Ò Ø ÙÖ Ø Ð Ô ÖØ Ô ÒØ º Â Ù Ö ÓÒÒ ÒØ º ÖØÖ Ò Âº¹ º Ó Ø º Ñ ÖعÄÓ Ö º ÖÖ º ÅÓÙÖÓÙ Ò Ø º ËÓÙÐ ÔÓÙÖ ØÖ ÒØ Ö ÒØ Ù ÓÒ Ø Ö Ñ ÖÕÙ º ¾º Ê ÔÔ Ð ÙÖ Ð Ö ÒÚ Ö Ð Ð ÕÙ Ò Ø ÖØ Ð Ð ÝÑ ÓÐ K Ò ÙÒ ÓÖÔ ÒÓÑ Ö Ø O K Ò Ð ÐØÙÖ ÒØ Ö Ð Z Ò Kº ÇÒ ÒÓØ Σ Ð³ Ò Ñ Ð ÔÐ K ÕÙ ³ Ö Ø ÓÑÑ Ð³ÙÒ ÓÒ Ó ÒØ ÙÜ Ô ÖØ Σ f Ø Σ Ó Σ f Ø Ð³ Ò Ñ Ð ÔÐ Ò K ÕÙ ³ ÒØ Ù Ô ØÖ Ñ Ü Ñ Ð O K Ø Σ Ø Ð³ Ò Ñ Ð ÔÐÓÒ Ñ ÒØ K Ò Cº ÇÒ Ü Ò ÓÙØÖ ÙÒ Ú Ö Ø ÒØ Ö Ø ÔÖÓ Ø Ú X Ò ÙÖ K Ø ÓÒ Ò Ô Ö π : X Spec K Ð ÑÓÖÔ Ñ ØÖÙØÙÖ Ðº ËÓ Ø d = dim(x)º ¾º½º Å ØÖ ÕÙ ÙÖ ÙÒ Ö ÒÚ Ö Ð º ËÓ Ø L ÙÒ O X ¹ÑÓ ÙÐ ÒÚ Ö Ð º ËÓ Ø σ Σ º ÍÒ Ñ ØÖ ÕÙ ÓÒØ ÒÙ µ ÙÖ L Ò σ Ø Ð ÓÒÒ ÔÓÙÖ ØÓÙØ ÓÙÚ ÖØ U г Ô Ò ÐÝØ ÕÙ Xσ an Ø ØÓÙØ Ø ÓÒ ÓÒØ ÒÙ s C 0 (U, L σ ) ³ÙÒ ÓÒØ ÓÒ ÓÒØ ÒÙ s σ : U R 0 ÓÙÑ ÙÜ ÓÒ Ø ÓÒ Ù Ú ÒØ ½µ ÔÓÙÖ ØÓÙØ ÓÒØ ÓÒ ÓÒØ ÒÙ a : U R ÓÒ as σ = a s σ ¾µ x U Ø Ø Ð ÕÙ s(x) 0 ÐÓÖ s σ (x) 0º ÇÒ ÒÓØ n σ = 1º ËÓ ÒØ p Σ f ÙÒ Ð Ñ Ü Ñ Ð O K Ø F p = O K /p Ð ÓÖÔ Ö Ù Ð pº ËÓ Ø p Ð Ú Ð ÙÖ ÓÐÙ ÙÖ K Ø ÐÐ ÕÙ a K, a p = p vp(a), Ó v p Ø Ð Ú ÐÙ Ø ÓÒ Ö Ø ÙÖ K ÓÖÖ ÔÓÒ ÒØ p p Ø Ð Ö Ø Ö Ø ÕÙ F p º ËÓ Ø Ò ÓÙØÖ n p := [F p : Z/pZ]º ÇÒ Ò Ô Ö K p Ð ÓÑÔÐ Ø K Ô Ö Ö ÔÔÓÖØ Ð Ú Ð ÙÖ ÓÐÙ p Ø Ô Ö C p Ð ÓÑÔÐ Ø ³ÙÒ ÐØÙÖ Ð Ö ÕÙ K p º Ä Ú Ð ÙÖ ÓÐÙ p ³ Ø Ò ÓÒ ÙÒ ÕÙ ÙÖ C p Ø Ð ÓÖÔ C p Ø Ð Ö ÕÙ Ñ ÒØ ÐÓ Ø ÓÑÔÐ Ø ÔÓÙÖ Ð Ú Ð ÙÖ ÓÐÙ p º ³ ÔÖ º º½ Ð ÓÒØ ÙÖ Ð Ø ÓÖ An Kp Ô Ò ÐÝØ ÕÙ ÙÖ K p Ù Ò Ö ÓÚ º ï º½ µ Ú Ö Ð Ø ÓÖ Ò Ñ Ð ÕÙ ÒÚÓ ØÓÙØ Ô Ò ÐÝØ ÕÙ Y Ò Ð³ Ò Ñ Ð ÑÓÖÔ Ñ ³ Ô ÒÒ Ð Ò K ¹ Ð Ö Hom Kp (Y, X Kp ) Ø Ö ÔÖ ÒØ Ð Ô Ö ÙÒ K p ¹ Ô Ò ÐÝØ ÕÙ Õ٠гÓÒ ÒÓØ Ö Xp an º Ä O X ¹ÑÓ ÙÐ ÒÚ Ö Ð L ÓÖÖ ÔÓÒ ÙÒ ÑÓ ÙÐ ÒÚ Ö Ð ÙÖ Ð³ Ô Ò ÐÝØ ÕÙ Xp an Õ٠гÓÒ ÒÓØ Ö L p º ÍÒ Ñ ØÖ ÕÙ ÙÖ L Ò p Ø ÐÓÖ Ð ÓÒÒ ÔÓÙÖ ØÓÙØ Ô ÖØ ÓÙÚ ÖØ U Xp an Ø ØÓÙØ Ø ÓÒ ÓÒØ ÒÙ s C 0 (U, L p ) ³ÙÒ ÓÒØ ÓÒ ÓÒØ ÒÙ s p : U R 0 ÓÙÑ ÙÜ ÓÒ Ø ÓÒ Ù Ú ÒØ ½µ ÔÓÙÖ ØÓÙØ ÓÒØ ÓÒ ÓÒØ ÒÙ a : U C p ÓÒ as p = a p s p ¾µ x U Ø Ø Ð ÕÙ s(x) 0 ÐÓÖ s σ (x) > 0º ËÓ Ø Z ÙÒ ÓÙ ¹ Ñ ÓÙÚ ÖØ Spec O K ÕÙ ÓÒØ ÒØ p Ø O Z ÓÒ ÒÒ Ùº ÇÒ ÔÔ ÐÐ ÑÓ Ð (X, L) ÙÖ Z ØÓÙØ ÓÙÔÐ (X, L ) Ó X Ø ÙÒ X¹ Ñ ÔÖÓ Ø Ø ÔÐ Ø Ø Ð ÕÙ X K = X Ø L Ø ÙÒ Ù ÒÚ Ö Ð ÙÖ X Ø Ð ÕÙ L K = Lº
5 ÉÍÁ ÁËÌÊÁ ÍÌÁÇÆ Ì Á Ê ÆÌÁ ÁÄÁÌ ¾º¾º Ö ÒÚ Ö Ð Ð ÕÙ º ÇÒ ÔÔ ÐÐ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ X ØÓÙØ ÓÙÔÐ L = (L, ( v ) v Σ ) Ó L Ø ÙÒ O X ¹ÑÓ ÙÐ ÒÚ Ö Ð Ø Ó v Ø ÙÒ Ñ ØÖ ÕÙ ÙÖ L Ò v ÓÙÑ ÙÜ ÓÒ Ø ÓÒ Ù Ú ÒØ ½µ ÔÓÙÖ ØÓÙØ ÔÐ Ò p Σ f p Ø ÒÚ Ö ÒØ Ó٠г Ø ÓÒ Ù ÖÓÙÔ ÐÓ Gal(C v /K v ) ¾µ Ð Ñ ØÖ ÕÙ ( σ ) σ Σ ÓÒØ ÒÚ Ö ÒØ Ô Ö Ð ÓÒ Ù ÓÒ ÓÑÔÐ Ü µ Ð Ü Ø ÙÒ ÓÙ ¹ Ñ ÓÙÚ ÖØ ÒÓÒ¹Ú Z Spec O K Ø ÙÒ ÑÓ Ð (X, L ) (X, L) ÙÖ Z Ø Ð ÕÙ ÔÓÙÖ ØÓÙØ ÔÐ v Z Σ Ð Ñ ØÖ ÕÙ v Ó Ø Ò Ù Ø Ô Ö Ð ÑÓ Ð (X, L )º Ë L Ø ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ X ÓÒ Ò Ô Ö π L г Ô Ú ØÓÖ Ð H 0 (X, L) ÙÖ K ÑÙÒ Ñ ØÖ ÕÙ ÙÔº ³ Ø ÙÒ Ö Ú ØÓÖ Ð Ð ÕÙ ÙÖ Spec K º ½ ÚÓ Ö Ù ÙÒ Ö ÔÔ Ð Ò ï º½µº ÇÒ Ò Ô Ö Pic(X) Ð ÖÓÙÔ Ð ³ ÓÑÓÖÔ Ñ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ Xº Ë p Ø ÙÒ ÔÐ Ò Ø f Ø ÙÒ ÓÒØ ÓÒ ÓÒØ ÒÙ ÙÖ Xp an ÙÔÔÓ ØÖ ÒÚ Ö ÒØ Ô Ö Ð³ Ø ÓÒ Ù ÖÓÙÔ ÐÓ Gal(C p /K p ) ÐÓÖ ÕÙ p Ø Ò ÓÒ Ò Ô Ö O p (f) Ð Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ X ÓÒØ Ð Ù ÒÚ Ö Ð ÓÙ ¹ ÒØ Ø O X Ø Ø Ð ÕÙ x X an p, 1 p (x) = (#F p ) f(x), v Σ \ {p}, y X an v, 1 v(y) = 1. ÓÒ Ñ Ð Ö σ : K C Ø ÙÒ ÔÐÓÒ Ñ ÒØ Ø f Ø ÙÒ ÓÒØ ÓÒ ÓÒØ ÒÙ ÙÖ Xσ an ÓÒ Ò Ô Ö O σ (f) Ð Ö ÒÚ Ö Ð Ð ÕÙ ÓÒØ Ð Ù ÒÚ Ö Ð ÓÙ ¹ ÒØ Ø O X Ø Ø Ð ÕÙ x X an σ, 1 σ(x) = e f(x), v Σ \ {σ, σ}, y X an v, 1 v (y) = 1. ÈÓÙÖ ØÓÙØ ÔÐ v г ÔÔÐ Ø ÓÒ Ù ÖÓÙÔ Ø C 0 (Xv an ) Ú Ö Ð ÖÓÙÔ Pic(X) ÕÙ ÒÚÓ f Ú Ö O v (f) Ø Ò Ø ÙÒ ÓÑÓÑÓÖÔ Ñ ÖÓÙÔ º ÇÒ Ò Ô Ö C v (X) г Ñ ØØ ÔÔÐ Ø ÓÒº ËÓ ÒØ L Ø L ÙÜ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ X Ø f : L L ÙÒ ÓÑÓÑÓÖ¹ Ô Ñ ÒÓÒ¹ÒÙк ÈÓÙÖ ØÓÙØ ÔÐ v Σ Ø ØÓÙØ x Xv an г ÓÑÓÑÓÖÔ Ñ f Ò Ù Ø ÙÒ ÔÔÐ Ø ÓÒ C v ¹Ð Ò Ö f x : L v,x L v,xº ÇÒ ÒÓØ h v (f) := sup x X an v log f x v, ÔÔ Ð Ð ÙØ ÙÖ ÐÓ Ð f Ò vº ÇÒ Ò Ø Ò ÓÙØÖ 1 h(f) = n v h v (f). [K : Q] ËÓ Ø L ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ Xº ÇÒ Ø ÕÙ³ÙÒ Ø ÓÒ ÐÓ Ð s H 0 (X, L) Ø Ø Ú ÔÓÙÖ ØÓÙØ v Σ v Σ s v,sup := sup s v (x) 1. x X an v
6 ÀÍ Á À Æ ÇÒ Ø ÕÙ L Ø Ø ³ Ð Ñ Ø Ù ÑÓ Ò ÙÒ Ø ÓÒ Ø Ú ÒÓÒ¹ÒÙÐÐ º ÍÒ Ö ÒÚ Ö Ð Ð ÕÙ L Ø Ø Ø ÙÐ Ñ ÒØ ³ Ð Ü Ø ÙÒ ÓÑÓÑÓÖÔ Ñ f : O X L Ø Ð ÕÙ h v (f) 0 ÔÓÙÖ ØÓÙØ v Ó O X Ò Ð Ö ÒÚ Ö Ð Ð ÕÙ ØÖ Ú Ð ÙÖ Xº º Ö Ø Ö ³ ÕÙ ØÖ ÙØ ÓÒ Ô Ö Ð Ö ÒØ Ð Ø ÇÒ Ü ÙÒ ÔÐ v Ò Σ Ø ÓÒ Ò Ô Ö C v (X) Ð ÓÙ ¹ ÖÓÙÔ Pic(X) ÓÖÑ Ö ÒÚ Ö Ð ÖÑ Ø Ò Ð ÓÖÑ O v (f) Ó f Ô ÖÓÙÖØ Ð ÓÒØ ÓÒ ÓÒØ ÒÙ ÙÖ Ð³ Ô Ò ÐÝØ ÕÙ Xv an º º½º ÓÒØ ÓÒ Ö Ú Ð ÙÖ ÙÒ Ñ ¹ ÖÓÙÔ º Ò ÓÙ ¹Ô Ö Ö Ô ÓÒ Ð Ö Ð ÒÓØ ÓÒ Ö Ú Ð Ø ÔÓÙÖ Ð ÓÒØ ÓÒ ÙÖ Pic(X)º È Ö Ð ÓÙ ÐÙ Ø ÔÖ ÒØ Ø ÓÒ ÓÒ Ó Ø ØÖ Ú ÐÐ Ö Ò ÙÒ Ö Ò Ö Ð ³ÙÒ ÖÓÙÔ ÓÑÑÙØ Ø Ø G ÓÒØ Ð ÐÓ ÖÓÙÔ Ø ÒÓØ Ø Ú Ñ Òغ ÍÒ Ñ ¹ ÖÓÙÔ Ò G Ø Ô Ö Ò Ø ÓÒ ÙÒ ÓÙ ¹ Ò Ñ Ð C G ÕÙ Ú Ö Ð ÓÒ Ø ÓÒ Ù Ú ÒØ x Ø y ÓÒØ ÙÜ Ð Ñ ÒØ Ò C ÐÓÖ x + y Cº Ë C Ø ÙÒ Ñ ¹ ÖÓÙÔ Ò G Ø H Ø ÙÒ ÓÙ ¹ ÖÓÙÔ G ÓÒ Ø ÕÙ C Ø ÓÙÚ ÖØ Ô Ö Ö ÔÔÓÖØ H ÔÓÙÖ ØÓÙØ x C Ø ØÓÙØ y H Ð Ü Ø ÙÒ ÒØ Ö n 1 Ø Ð ÕÙ nx + y C ÓÙ ÓÒ ÕÙ Ú Ð ÒØ nx+y C ÔÓÙÖ ØÓÙØ ÒØ Ö n Ù ÑÑ ÒØ ÔÓ Ø º ËÓ ÒØ H ÙÒ ÓÙ ¹ ÖÓÙÔ G Ø C ÙÒ Ñ ¹ ÖÓÙÔ G ÕÙ Ø ÓÙÚ ÖØ Ô Ö Ö ÔÔÓÖØ Hº ËÓ Ø f : C R ÙÒ ÓÒØ ÓÒ ÙÔÔÓ ØÖ ÔÓ Ø Ú Ñ ÒØ ÓÑÓ Ò º º ÔÓÙÖ ØÓÙØ x C Ø ØÓÙØ ÒØ Ö n 1 ÓÒ f(nx) = nf(x)º Ë x C Ø v H ÓÒ Ø ÕÙ Ð ÓÒØ ÓÒ f Ø Ö Ú Ð Ò x Ð ÐÓÒ Ð Ö Ø ÓÒ v Ð Ù Ø (f(nx + v) f(nx)) n 1 ÓÒÚ Ö Ò Rº ÇÒ Ø ÕÙ Ð ÓÒØ ÓÒ f Ø Ö ÒØ Ð Ò x ÔÓÙÖ Ð Ö Ø ÓÒ Ò H ÐÐ Ø Ö Ú Ð Ò x Ð ÐÓÒ ØÓÙØ w H Ø Ð³ ÔÔÐ Ø ÓÒ D x f : H R ÕÙ Ó w H Ò lim f(nx + w) f(nx) Ø Ø Ú ÙØÖ Ñ ÒØ Ø D x f(u + w) = D x f(u) + D x f(w) ÕÙ Ð ÕÙ Ó Ø u, w Hº ij ÔÔÐ Ø ÓÒ D x f Ø ÔÔ Ð Ð ÒØ ÐÐ f Ò x Ö Ð Ø Ú Ñ ÒØ Hµº Ê Ñ ÖÕÙ º½º Ä Ö ÒØ Ð Ø Ò Ô Ò Ô Ù Ñ ¹ ÖÓÙÔ Ò Ø ÓÒº ÇÒ ÙÔÔÓ ÕÙ C 1 Ø C 2 ÓÒØ ÙÜ Ñ ¹ ÖÓÙÔ ÓÙÚ ÖØ Ô Ö Ö ÔÔÓÖØ Hº Ë f 1 Ö Ôº f 2 µ Ø ÙÒ ÓÒØ ÓÒ ÙÖ C 1 Ö Ôº C 2 µ ÓÒØ Ð Ö ØÖ Ø ÓÒ C 1 C 2 Ó Ò Òغ ÈÓÙÖ ØÓÙØ Ð Ñ ÒØ x C 1 C 2 Ð Ö ÒØ Ð Ø f 1 Ò x ÔÓÙÖ Ð Ö Ø ÓÒ Ò H Ø ÕÙ Ú Ð ÒØ ÐÐ f 2 Ò x ÔÓÙÖ Ð Ö Ø ÓÒ Ò Hº Ä Ð ÑÑ Ù Ú ÒØ Ø ÙØ Ð Ò Ð ÑÓÒ ØÖ Ø ÓÒ Ð ÔÖÓÔÓ Ø ÓÒ º ÕÙ Ø ÙÒ Ö Ø Ö Ö ÒØ Ð Ø º Ä ÑÑ º¾º ËÓ Ø H ÙÒ ÓÙ ¹ ÖÓÙÔ Gº Ë ϕ : H R {+ } Ø ÙÒ ÓÒØ ÓÒ ÙÖ¹ Ø Ú ³ ع¹ Ö x, y H, ϕ(x + y) ϕ(x) + ϕ(y)µ Ø ÕÙ Ò³ Ø Ô ÒØ ÕÙ Ñ ÒØ Ò Ò Ø ψ : H R Ø ÙÒ ÓÒØ ÓÒ Ø Ú Ø ÐÐ ÕÙ ϕ ψ ÐÓÖ ϕ = ψº
7 ÉÍÁ ÁËÌÊÁ ÍÌÁÇÆ Ì Á Ê ÆÌÁ ÁÄÁÌ ÑÓÒ ØÖ Ø ÓÒº ËÓ Ø η = ϕ ψº Ä ÓÒØ ÓÒ η Ø ÙÖ¹ Ø Ú ÙÖ Hº ÔÐÙ ÐÐ Ø ÔÓ Ø Ú º ÇÒ Ò Ô Ö θ г Ð Ñ ÒØ Ò ÙØÖ Ù ÖÓÙÔ Hº Ë x H Ø ÙÒ Ð Ñ ÒØ Ø Ð ÕÙ η(x) > 0 ÐÓÖ η(θ) = η(x + ( x)) η(x) + η( x) > 0º Ò ÓÙØÖ Ð ÓÒØ ÓÒ η Ò³ Ø Ô ÒØ ÕÙ Ñ ÒØ Ò Ò Ð Ü Ø y H Ø Ð ÕÙ η(y) < + º ÓÑÑ η(y) = η(y + θ) η(y) + η(θ) ÓÒ Ó Ø ÒØ η(θ) 0º Ð Ø ÙÖ º ÈÖÓÔÓ Ø ÓÒ º º ËÓ ÒØ H ÙÒ ÓÙ ¹ ÖÓÙÔ G C ÙÒ Ñ ¹ ÖÓÙÔ Ò G ÕÙ Ø ÓÙÚ ÖØ Ô Ö Ö ÔÔÓÖØ H Ø x Cº Ë f Ø g ÓÒØ ÙÜ ÓÒØ ÓÒ Ö ÐÐ ÔÓ Ø Ú Ñ ÒØ ÓÑÓ Ò ÙÖ C ÕÙ Ø ÓÒØ ÙÜ ÓÒ Ø ÓÒ Ù Ú ÒØ ½µ a, b C, f(a + b) f(a) + f(b) ¾µ f g f(x) = g(x) µ g Ø Ö ÒØ Ð Ò x ÔÓÙÖ Ð Ö Ø ÓÒ Ò H ÐÓÖ Ð ÓÒØ ÓÒ f Ø Ö ÒØ Ð Ò x ÔÓÙÖ Ð Ö Ø ÓÒ Ò Hº ÔÐÙ ÓÒ D x f = D x gº ÑÓÒ ØÖ Ø ÓÒº ÈÓÙÖ ØÓÙØ Ð Ñ ÒØ w H Ð Ü Ø n 0 (w) N Ø Ð ÕÙ nx+w C ÕÙ Ð ÕÙ Ó Ø n n 0 (w)º ÔÐÙ Ð Ù Ø (f(nx + w) f(nx)) n n0(w) Ø ÖÓ ÒØ º ÇÒ Ò Ô Ö D x f Ð ÓÒØ ÓÒ ÙÖ H Ú Ð ÙÖ Ò R {+ } Ò Ô Ö D x f(w) = lim f(nx+w) f(nx)º ËÓ Ø θ г Ð Ñ ÒØ Ò ÙØÖ Hº ÓÑÑ D xf(θ) = 0 Ð ÓÒØ ÓÒ D x f Ò³ Ø Ô ÒØ ÕÙ Ñ ÒØ Ò Ò º Ò ÓÙØÖ Ð ÓÒØ ÓÒ f Ø g ÓÒØ ÓÑÓ Ò Ø f(x) = g(x) ÓÒ f(nx) = g(nx) ÕÙ Ð ÕÙ Ó Ø n N º È Ö ÓÒ ÕÙ ÒØ ÓÒ D x f D x g Ó Ð ÓÒØ ÓÒ D x g : H R Ø Ò ÓÑÑ D x g(w) = lim g(nx+w) g(nx) ÕÙ Ø Ø Ú Ö g Ø Ö ÒØ Ð Ò xº Ò Ò u Ø w ÓÒØ ÙÜ Ð Ñ ÒØ Ò H ÐÓÖ D x f(u + w) = lim f(2nx + u + w) 2nf(x) lim f(nx + u) + f(nx + w) 2nf(x) = D xf(u) + D x f(w). ³ ÔÖ Ð Ð ÑÑ º¾ ÓÒ Ó Ø ÒØ ÕÙ D x f = D x g Ø Ø Ú ÓÒ Ð ÓÒØ ÓÒ f Ø Ö ÒØ Ð Ò xº º¾º Ö Ø Ö ³ ÕÙ ØÖ ÙØ ÓÒº Ò ÓÙ ¹Ô Ö Ö Ô ÓÒ ÑÓÒØÖ ÙÒ Ö Ø Ö ³ ÕÙ ØÖ ÙØ ÓÒº ÇÒ ÓÒ Ö ÙÒ Ù Ø x = (x n ) n 1 ÔÓ ÒØ Ð Ö ÕÙ Ò Xº ÇÒ Ø ÕÙ Ð Ù Ø x Ø Ø Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒ Ò v Σ Ð Ù Ø Ñ ÙÖ (η xn,v) n 1 ÓÒÚ Ö Ð Ñ ÒØ ÓÙ ÓÒ ÕÙ Ú Ð ÒØ ÔÓÙÖ ØÓÙØ Ö ÒÚ Ö Ð ÖÑ Ø Ò O v (f) C v (X) Ð Ù Ø (h Ov(f)(x n )) n 1 ÓÒÚ Ö Ò Rº ÈÓÙÖ ØÓÙØ Ö ÒÚ Ö Ð Ð ÕÙ L Ò Pic(X) ÓÒ Ò Ô Ö ϕ x (L) г Ð Ñ ÒØ lim inf n + h L (x n) Ò R {± }º ÈÖÓÔÓ Ø ÓÒ º º Ä ÓÒ Ø ÓÒ Ù Ú ÒØ ÓÒØ ÕÙ Ú Ð ÒØ ½µ Ð Ù Ø x Ø Ø Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒ ¾µ Ð Ö ØÖ Ø ÓÒ ϕ x C v (X) Ø Ø Ú º ÑÓÒ ØÖ Ø ÓÒº ÈÓÙÖ ØÓÙØ Ö ÒÚ Ö Ð ÖÑ Ø Ò O v (f) Ò C v (X) Ð Ù Ø (h Ov(f)(x n )) n 1 Ø ÓÖÒ º ÓÒ ϕ x (M) R M C v (X)º
8 ÀÍ Á À Æ ½µ ¾µ ÔÖÓÚ ÒØ Ù Ø ÕÙ Ð Ð Ñ Ø Ð ÓÑÑ ÙÜ Ù Ø ÓÒÚ Ö ÒØ Ø Ð Ð ÓÑÑ Ð Ñ Ø Ù Ø º ¾µ ½µ ËÓ Ø M ÙÒ Ð Ñ ÒØ Ò C v (X)º È Ö Ð³ Ø Ú Ø ϕ x ÓÒ Ó Ø ÒØ lim inf h M (x n) = ϕ x (M) = ϕ x (M ) = liminf ( h M (x n)) = limsup h M (x n ). Ë L Ø ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ X ÐÓÖ Ð ÓÙ ¹ Ò Ñ Ð C v (X, L) := {L n O v (f) n 1, O v (f) C v (X)} Pic(X) Ø ÙÒ Ñ ¹ ÖÓÙÔ º ÇÒ Ó ÖÚ ÕÙ ϕ x (L) R ÐÓÖ Ð ÓÒØ ÓÒ ϕ x Ø Ò ÙÖ C v (X, L)º Ì ÓÖ Ñ º º Ë ÙÒ Ù Ø x = (x n ) n 1 ÔÓ ÒØ Ð Ö ÕÙ Ò X Ø ¹ Ø Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒ ÐÓÖ ÔÓÙÖ ØÓÙØ Ö Ú ØÓÖ Ð Ð ÕÙ L Ø Ð ÕÙ ϕ x (L) R Ð ÓÒØ ÓÒ ϕ x ÓÒ Ö ÓÑÑ ÙÒ ÓÒØ ÓÒ ÙÖ C v (X, L) Ø ¹ Ö ÒØ Ð Ò L ÔÓÙÖ Ð Ö Ø ÓÒ Ò C v (X)º Ê ÔÖÓÕÙ Ñ ÒØ ÔÓÙÖ ÕÙ Ð Ù Ø x Ø Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒ Ð Ù Ø ÕÙ³ Ð Ü Ø ÙÒ L Pic(X) Ø Ð ÕÙ (h L (x n )) n 1 ÓÒÚ Ö Ò R Ø ÕÙ Ð ÓÒØ ÓÒ ϕ x Ó Ø Ö ÒØ Ð Ò L ÔÓÙÖ Ð Ö Ø ÓÒ Ò C v (X)º ÑÓÒ ØÖ Ø ÓÒº = ÈÓÙÖ ØÓÙØ ÒØ Ö m 1 Ø ØÓÙØ M C v (X) ÓÒ µ ϕ x (L m ( M) = liminf mhl (x n ) + h M (x n ) ) = mϕ x (L) + ϕ x (M), Ó ÓÒ ÙØ Ð Ð³ ÝÔÓØ ÓÒÚ Ö Ò (h M (x n )) n 1 º ÓÒ D L ϕ x = ϕ x Ø Ø Ú º = ÈÓÙÖ ØÓÙØ ÒØ Ö m 1 Ø ØÓÙØ M C v (X) ÓÒ ÒÓÖ µ Ñ ØØ Ó ¹ ÓÒ ÙØ Ð Ð ÓÒÚ Ö Ò (h L (x n )) n 1 º È Ö ÓÒ ÕÙ ÒØ D L ϕ x ³ ÒØ Ð Ö ØÖ Ø ÓÒ ϕ x C v (X)º ÇÒ Ò Ù Ø ÕÙ ϕ x Ø Ø Ú Ò C v (X)º ³ ÔÖ Ð ÔÖÓÔÓ Ø ÓÒ º Ð Ù Ø x Ø Ø Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒº º Å ÒÓÖ Ø ÓÒ Ð Ð Ñ Ø Ò Ö ÙÖ ÙØ ÙÖ ÇÒ ÒØ ÖÔÖ Ø Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒ Ô Ö Ð Ö ÒØ Ð Ø Ð ÓÒØ ÓÒ Ò Ô Ö Ð Ð Ñ Ø Ò Ö ÙÖ ³ ÙØ ÙÖ Ð Ø ÓÖ Ñ º µº ³ ÔÖ Ð ÔÖÓÔÓ Ø ÓÒ º ØØ Ö ÒØ Ð Ø Ô ÙØ ØÖ Ù Ø Ô Ö Ñ ÒÓÖ Ö Ð ÓÒØ ÓÒ Ð Ñ Ø Ò Ö ÙÖ Ô Ö ÓÒØ ÓÒ Ö ÒØ Ð º Ò Ô Ö Ö Ô ÓÒ ÓÒ Ö Ð Ó Ð Ù Ø ÔÓ ÒØ Ð Ö ÕÙ Ø Ò Ö ÕÙ ÙØÖ Ñ ÒØ Ø ØÓÙØ ÓÙ ¹Ú Ö Ø ÖÑ ÙØÖ ÕÙ Ð Ú Ö Ø ØÓØ Ð Ò ÓÒØ ÒØ ÕÙ³ÙÒ ÒÓÑ Ö Ò ÔÓ ÒØ Ð Ù Ø º
9 ÉÍÁ ÁËÌÊÁ ÍÌÁÇÆ Ì Á Ê ÆÌÁ ÁÄÁÌ º½º Ê ÔÔ Ð ÙÖ Ð³ Ò Ð Ø Ô ÒØ º Ò ÓÙ ¹Ô Ö Ö Ô ÓÒ Ö ÔÔ ÐÐ ÕÙ ÐÕÙ ÒÓØ ÓÒ Ø Ö ÙÐØ Ø Ò Ð Ø ÓÖ Ô ÒØ Ò ÓÑ ØÖ ³ Ö ÐÓÚ Ù Ó Øº Ä Ö Ö Ò ÓÒØ ½ º ÇÒ ÔÔ ÐÐ Ö Ú ØÓÖ Ð Ð ÕÙ ÙÖ Spec K ØÓÙØ ÓÒÒ (E, ( v ) v Σ ) Ó E Ø ÙÒ Ô Ú ØÓÖ Ð Ö Ò Ò ÙÖ K Ø v Ø ÙÒ ÒÓÖÑ ÙÖ Ð³ Ô E K C v ÓÙÑ ÙÜ ÓÒ Ø ÓÒ Ù Ú ÒØ ½µ Ð Ü Ø ÙÒ O K ¹ÑÓ ÙÐ ÔÖÓ Ø E Ø Ð ÕÙ E K = E Ø ÕÙ ÔÓÙÖ ØÓÙØ p Σ f Ð ÒÓÖÑ p Ó Ø Ò Ù Ø Ô Ö Ð ØÖÙØÙÖ O K ¹ÑÓ ÙÐ ÙÖ Eº ¾µ Ð ÒÓÖÑ ( σ ) σ Σ ÓÒØ ÒÚ Ö ÒØ Ô Ö Ð ÓÒ Ù ÓÒ ÓÑÔÐ Ü º Ø ÒØ ÓÒÒ ÙÜ Ö Ú ØÓÖ Ð ÖÑ Ø Ò E ÙÖ Spec K Ð Ö Ø Ö Ø ÕÙ ³ ÙÐ Ö¹ÈÓ Ò Ö E Ø Ô Ö Ò Ø ÓÒ χ(e) := log(vol(b(e))) log(covol(e)), Ó vol Ø ÙÒ Ñ ÙÖ À Ö ÕÙ ÐÓÒÕÙ ÙÖ E K A K Ø covol Ø Ð ÓÚÓÐÙÑ ÔÓÙÖ Ð Ñ ÙÖ vol Ù Ö Ù E Ò E K A K A K Ø ÒØ Ð³ ÒÒ Ù Ð Kº Ë E Ø ÒÓÒ¹ÒÙÐ Ð Ö ³ Ö ÐÓÚ E Ø deg(e) := χ(e) χ(k rk E ), Ó K Ø Ð Ö ÒÚ Ö Ð Ð ÕÙ ØÖ Ú Ð ÙÖ Spec K Ø ÔÓÙÖ ØÓÙØ ÒØ Ö n 1 K n Ò Ð ÓÑÑ Ö Ø ÓÖØ Ó ÓÒ Ð n ÓÔ Kº Ò Ô ÖØ ÙÐ Ö deg(k n ) = 0 ÔÓÙÖ ØÓÙØ nº È Ö ÓÒÚ ÒØ ÓÒ Ð Ö ³ Ö ÐÓÚ Ù Ö Ú ØÓÖ Ð Ð ÕÙ ÒÙÐ Ø Þ ÖÓº Ë E Ø ÙÒ Ö Ð ÕÙ ÖÑ Ø Ò ÒÓÒ¹ÒÙÐ ÙÖ Spec K ÓÒ ÔÔ ÐÐ Ô ÒØ E Ð ÒÓÑ Ö Ö Ð 1 deg(e) µ(e) := [K : Q] rke. Ä Ô ÒØ Ñ Ü Ñ Ð E Ø Ô Ö Ò Ø ÓÒ Ð Ú Ð ÙÖ Ñ Ü Ñ Ð Ô ÒØ ÓÙ ¹ Ö Ð ÕÙ ÖÑ Ø Ò E ÒÓØ µ max (E)º ÇÒ Ò Ø µ max (0) = Ô Ö ÓÒÚ ÒØ ÓÒº ËÓ ÒØ E Ø F ÙÜ Ö Ð ÕÙ ÖÑ Ø Ò ÙÖ Spec K Ø f : E F ÙÒ ÓÑÓÑÓÖÔ Ñ º ÈÓÙÖ ØÓÙØ v Σ ÓÒ Ò Ô Ö h v (f) Ð ÐÓ Ö Ø Ñ Ð ÒÓÖÑ ³ÓÔ Ö Ø ÙÖµ г ÔÔÐ Ø ÓÒ f Cv : E K C v F K C v º ÇÒ ÒÓØ Ò ÓÙØÖ h(f) = 1 [K : Q] n v h v (f). ij Ò Ð Ø Ô ÒØ Ù Ú ÒØ ÕÙ Ö Ð Ð Ô ÒØ Ñ Ü Ñ Ð Ð ÓÙÖ Ø Ù ÙØ ³ÙÒ ÓÑÓÑÓÖÔ Ñ Ò Ø Ö Ú ØÓÖ Ð Ð ÕÙ Ö ÙØ Ð ÔÐÙ ÐÓ Ò Ò Ð Ñ ÒÓÖ Ø ÓÒ ÒÚ Ö ÒØ Ö Ø Ñ Ø ÕÙ º ÈÖÓÔÓ Ø ÓÒ º½º ËÓ ÒØ E Ø F ÙÜ Ö Ú ØÓÖ Ð Ð ÕÙ ÒÓÒ¹ÒÙÐ f : E F ÙÒ ÔÔÐ Ø ÓÒ K¹Ð Ò Ö Ò Ø Ú º ÐÓÖ ÓÒ Ð³ Ò Ð Ø Ù Ú ÒØ v Σ µ µ max (E) µ max (F) + h(f). ÑÓÒ ØÖ Ø ÓÒº ÎÓ Ö ½ Ä ÑÑ º ÔÓÙÖ Ð ÑÓÒ ØÖ Ø ÓÒº
10 ½¼ ÀÍ Á À Æ º¾º ÁÒÚ Ö ÒØ ÝÑÔØÓØ ÕÙ Ö ÒÚ Ö Ð ÖÑØ Ò º ËÓ ÒØ π : X Spec K ÙÒ K¹ Ñ ÔÖÓ Ø Ø ÒØ Ö º ÒÚ Ö ÒØ Ö Ø Ñ Ø ÕÙ ÓÒØ Ò ØÙÖ ÐÐ Ñ ÒØ Ò ÔÓÙÖ Ð Ö ÒÚ Ö Ð ÖÑ Ø Ò ÙÖ Xº Ò Ð Ù Ø ÓÒ ÔÖ ÒØ ÓÒ ØÖÙØ ÓÒ Ð ÕÙ Ø ÒØÖÓ Ù Ø ÕÙ ÐÕÙ ÒÓØ ÓÒ º Å Ò ÑÙÑ ÒØ Ðº ËÓ Ø L ÙÒ Ö ÒÚ Ö Ð ÖÑ Ø Ò ÙÖ Xº Ä Ñ Ò ÑÙÑ ÒØ Ð L ³ ع¹ Ö Ð ÔÖ Ñ Ö Ñ Ò ÑÙÑ ÐÓ Ö Ø Ñ ÕÙ µ L Ø Ô Ö Ò Ø ÓÒ µ µ ess (L) := sup U X inf x U(K) U ÓÙÚ ÖØ h L (x). Ä ÑÑ º¾º ËÓ ÒØ L 1 Ø L 2 ÙÜ Ö ÒÚ Ö Ð ÖÑ Ø Ò ÙÖ Xº Ë ϕ Ø ÙÒ ÓÑÓÑÓÖ Ô Ñ ÒÓÒ¹ÒÙÐ L 1 Ú Ö L 2 ÐÓÖ µ ess (L 1 ) µ ess (L 2 ) + h(ϕ). ÑÓÒ ØÖ Ø ÓÒº ÈÓÙÖ ØÓÙØ ÔÓ ÒØ Ð Ö ÕÙ x X(K) ÓÒ h L1 (x) = h L2 (x) + v Σn v log f x v h L2 (x) + h(f). ÈÖÓÔÓ Ø ÓÒ º º ÈÓÙÖ ØÓÙØ Ö ÒÚ Ö Ð Ð ÕÙ L ÙÖ X µ ess (L) < + º ÑÓÒ ØÖ Ø ÓÒº ËÓ Ø L ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ ÑÔÐ Ø Ð ÕÙ L L Ó Ø Ø º ³ ÔÖ Ð Ð ÑÑ º¾ ÓÒ µ ess (L) µ ess (L )º Ä Ò ØÙ µ ess (L) ÔÖÓÚ ÒØ ÓÒ ÐÐ µ ess (L ) Ø Ð Ò ¾ º È ÒØ Ñ Ü Ñ Ð ÝÑÔØÓØ ÕÙ º ËÓ Ø L ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ Ø Ð ÕÙ L Ø ÖÓ ³ ع¹ Ö ÕÙ Ð Ñ Ò ÓÒ ³Á Ø X Ö Ð Ø Ú Ñ ÒØ L Ø Ñ Ü Ñ Ð ÚÓ Ö ½ ᄎ¾ µº Ä Ô ÒØ Ñ Ü Ñ Ð ÝÑÔØÓØ ÕÙ L ÒØÖÓ Ù Ø Ò ½¾ Ø ÙÒ ÒÚ Ö ÒØ Ö Ø Ñ Ø ÕÙ ÕÙ ÓÒØÖÐ Ð ÓÑÔÓÖØ Ñ ÒØ ÝÑÔØÓØ ÕÙ Ð ÒÓÖÑ Ð ÔÐÙ Ô Ø Ø Ø ÓÒ Ø Ú ÒÓÒ¹ÒÙÐÐ L n ÐÓÖ ÕÙ n Ø Ò Ú Ö Ð³ Ò Ò º ÐÐ Ø Ò ÓÑÑ µ π 1 max (L) := lim n + n µ max(l n ), Ó Ð³ Ü Ø Ò Ð Ð Ñ Ø Ø Ù Ø Ò ½¾ Ø ÓÖ Ñ º½º º Ô Ø Ø ÓÒÒ ÐÐ º Ä Ô Ø Ø ÓÒÒ ÐÐ ³ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ L ÙÖ X Ø Ô Ö Ò Ø ÓÒ µ χ(π L n ) S(L) := lim n + n d+1 [, + [, /(d + 1)! Ó d Ø Ð Ñ Ò ÓÒ Xº ³ Ø ÙÒ ÒÓØ ÓÒ ÕÙ Ò Ö Ð Ð ÒÓÑ Ö ³ ÙØÓ¹ ÒØ Ö Ø ÓÒ Ö Ø Ñ Ø ÕÙ L Ø ÑÔÐ Ø ØÓÙØ Ð Ñ ØÖ ÕÙ v ÓÒØ Ñ ¹ ÔÓ Ø Ú ÐÓÖ S(L) Ø Ò Ø Ð ĉ 1 (L) d+1 º ³ Ø ÙÒ ÓÒ ÕÙ Ò Ù Ø ÓÖ Ñ À Ð ÖØ¹Ë ÑÙ Ð ÑÓÒØÖ Ô Ö ½ ½ ¾ ¾ ¾¼ Ò Ú Ö ØÙ Ø ÓÒ º ij Ü Ø Ò Ð Ð Ñ Ø µ Ø ÑÓÒØÖ Ô Ö ÊÙÑ ÐÝ Ä Ù Ø Î ÖÐ Ý ¾½ Ò Ð Ó L ÑÔÐ Ø ÔÙ Ô Ö Ð ÔÖ ÒØ ÙØ ÙÖ ½ Ù Ò Ö Ðº ÁÐ ³ Ú Ö ÕÙ Ð Ô Ø Ø ÓÒÒ ÐÐ Ø ØÓÙ ÓÙÖ ÒÙÐÐ ÐÓÖ ÕÙ L Ò³ Ø Ô ÖÓ Ö ÓÒ χ(π L n ) = O(n κ(x,l)+1 ) Ó
11 ÉÍÁ ÁËÌÊÁ ÍÌÁÇÆ Ì Á Ê ÆÌÁ ÁÄÁÌ ½½ κ(x, L) Ø Ð Ñ Ò ÓÒ ³Á Ø X Ö Ð Ø Ú Ñ ÒØ L ÚÓ Ö ½ ÓÖÓÐÐ Ö ¾º½º µº Ë L Ø ÖÓ ÓÒ ÒÓØ µ µ π (L) := Ó Ð ÚÓÐÙÑ L Ø Ò ÓÑÑ Ð Ð Ñ Ø vol(l) := lim n + ÇÒ ÔÔ ÐÐ µ π (L) Ð Ô ÒØ ÝÑÔØÓØ ÕÙ Lº S(L) [K : Q](d + 1)vol(L), rk K H 0 (X, L n ) n d. /d! ÎÓÐÙÑ Ö Ø Ñ Ø ÕÙ Ø Ô ÒØ ÔÓ Ø Ú ÝÑÔØÓØ ÕÙ º Ä ÚÓÐÙÑ Ö Ø Ñ Ø ÕÙ ³ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ L ÙÖ X Ø Ò Ò ½ ÓÑÑ µ Ó vol(l) = limsup ĥ 0 (L n ) n d+1 /(d + 1)!, { } ĥ 0 (L n ) := log # s H 0 (X, L n ) v Σ, s v,sup 1. ÁÐ ³ Ø Ò Ø ³ÙÒ Ð Ñ Ø Ò µ ÚÓ Ö ½ º Ë L Ø ÖÓ ÓÒ ÒÓØ µ π + (L) := vol(l) [K : Q](d + 1)vol(L). ÇÒ ÔÔ ÐÐ µ π +(L) Ð Ô ÒØ ÔÓ Ø Ú ÝÑÔØÓØ ÕÙ Lº Å ÙÖ ÝÑÔØÓØ ÕÙ º ËÓ Ø L ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ X Ø Ð ÕÙ L Ø ÖÓ º Ä Ñ ÙÖ ÝÑÔØÓØ ÕÙ L ÒØÖÓ Ù Ø Ò ½¾ Ø ½ Ø ÙÒ ÒÚ Ö ÒØ ØÖ Ò Ö Ð ÕÙ Ô ÖÑ Ø Ö ØÖÓÙÚ Ö Ú Ö ÒÚ Ö ÒØ Ö Ø Ñ ØÖ ÕÙ L Ô Ö ÒØ Ö Ø ÓÒº ËÓ Ø n 1 ÙÒ ÒØ Öº ij Ô Ú ØÓÖ Ð E n := π (L n ) Ø ÐØÖ Ô Ö Ñ Ò Ñ Ù º ÈÓÙÖ ØÓÙØ t R ÓÒ ÒÓØ F t E n := Vect K ({s E n p Σ f, s p,sup 1, σ Σ, s σ,sup e nt }). Ä Ù Ø Ñ ÙÖ ÔÖÓ Ð Ø ( d dt rk(f te n )/ rk(e n ) ) ÓÒÚ Ö Ú Ù Ñ ÒØ n 1 Ú Ö ÙÒ Ñ ÙÖ ÔÖÓ Ð Ø ÓÖ Ð ÒÒ ν L ÙÖ R ÚÓ Ö ½ ÓÖÓÐÐ Ö º½ Ø Ö Ñ ÖÕÙ º½ µ Ð Ö Ú Ø ÒØ ÔÖ Ù Ò ØÖ ÙØ ÓÒº ÇÒ Ð³ ÔÔ ÐÐ Ð Ñ ÙÖ ÝÑÔØÓØ ÕÙ Lº ØØ Ñ ÙÖ Ô ÙØ Ù ØÖ ÓÒ ØÖÙ Ø Ô Ö Ð ÐØÖ Ø ÓÒ À Ö Ö¹ Æ Ö Ñ Òº ÈÐÙ ÔÖ Ñ ÒØ ÓÒ ÒÓØ G Ð ÐØÖ Ø ÓÒ E n Ø ÐÐ ÕÙ t R, G t E n = F, F E n bµ min(f) nt ÐÓÖ ν L Ø Ù Ð Ð Ñ Ø Ú Ù Ð Ù Ø Ñ ÙÖ ( d dt rk(g te n )/ rk(e n ) ) n 1 ÚÓ Ö ½ ï ÔÓÙÖ Ð Ø Ðº ÓÑÑ G t E n = 0 ÕÙ t n 1 µ max (π (L n )) ÓÒ Ó Ø ÒØ ÕÙ Ð ÙÔÔÓÖØ Ð Ñ ÙÖ Ð Ñ Ø ν L Ø ÓÒØ ÒÙ Ò Ð³ ÒØ ÖÚ ÐÐ ÖÑ ], µ π max(l)]º
12 ½¾ ÀÍ Á À Æ ÈÐÙ ÙÖ ÒÚ Ö ÒØ Ö Ø Ñ Ø ÕÙ L Ô ÙÚ ÒØ ØÖ Ö ÔÖ ÒØ ÓÑÑ ÒØ ¹ Ö Ð Ô Ö Ö ÔÔÓÖØ ν L º ÇÒ º ½ µ ½¼µ µ π (L) = xν L (dx), µ π + (L) = x + ν L (dx), Ó x + = max(x, 0)º R R º º ÓÑÔ Ö ÓÒ ÒÚ Ö ÒØ Ö Ø Ñ Ø ÕÙ º Ô Ö Ö Ô Ø ³ Ø Ð Ö Ð ÓÑÔ Ö ÓÒ ÓÑÑ ¹ ÓÙ º Ä ÙØ ÓÙ ¹ ÈÖÓÔÓ Ø ÓÒ º º ËÓ Ø L ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ X Ø Ð ÕÙ L Ó Ø ÖÓ º Ä Ò Ð Ø Ù Ú ÒØ ÓÒØ ÚÖ ½½µ µ ess (L) µ π max (L) µπ (L). Ë ÔÐÙ L Ø ÖÓ ÓÙ ÓÒ ÕÙ Ú Ð ÒØ µ π max(l) > 0 ÐÓÖ ½¾µ µ π max(l) µ π +(L) µ π (L). Ä ÙÜ Ñ Ò Ð Ø ½½µ Ø Ð Ò Ð Ø Ò ½¾µ ÔÖÓÚ ÒÒ ÒØ ÑÔÐ Ñ ÒØ Ð³ ÒØ ÖÔÖ Ø Ø ÓÒ ÒÚ Ö ÒØ Ö Ø Ñ Ø ÕÙ Ô Ö Ð Ñ ÙÖ ÝÑÔØÓØ ÕÙ º Ä ¹ ÑÓÒ ØÖ Ø ÓÒ Ð ÔÖ Ñ Ö Ò Ð Ø Ø ÔÔ Ð Ð Ñ Ø Ó Ô ÒØ ÔÔÐ ÕÙ ÙÜ ÔÔÐ Ø ÓÒ ³ Ú ÐÙ Ø ÓÒ ÚÓ Ö ÔÓÙÖ ÙÒ ÙÖÚÓÐ Ø ÔÓÙÖ ÙÒ Ð Ø ÓÑÔÐ Ø Ö Ö Ò º Ä ÑÑ º º ËÓ Ø L ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ Xº Ë B X(K) Ø ÙÒ Ñ ÐÐ ÔÓ ÒØ ÕÙ Ø Ö Ò Ò X(K) ÐÓÖ sup{h L (P) P B} 1 n µ max(π (L n )) ÕÙ Ð ÕÙ Ó Ø n N º Ò Ô ÖØ ÙÐ Ö ÓÒ sup{h L (P) P B} µ π max (L) L Ø ÖÓ º ÑÓÒ ØÖ Ø ÓÒº ÈÓÙÖ ØÓÙØ ÒØ Ö n 1 Ó Ø ϕ n г ÔÔÐ Ø ÓÒ ³ Ú ÐÙ Ø ÓÒ H 0 (X, L n ) K P B P L n. ÓÑÑ B Ø Ö Ò ϕ n Ø Ò Ø Ú º È Ö ÓÒ ÕÙ ÒØ Ð Ü Ø ÙÒ ÓÙ ¹ Ò Ñ Ð Ò B n B Ø Ð ÕÙ p n ϕ n Ó Ø ÙÒ ÓÑÓÖÔ Ñ Ó p n : P L n P L n P B P B n Ø Ð ÔÖÓ Ø ÓÒ ÒÓÒ ÕÙ º ij Ò Ð Ø Ô ÒØ µ ÑÓÒØÖ ÐÓÖ ÕÙ µ max (π (L n )) max P B n nh L (P) + log rk(π L n ). È Ö Ô Ð Ð Ñ Ø ÓÒ Ó Ø ÒØ Ð³ Ò Ð Ø ÓÙ Ø º
13 ÉÍÁ ÁËÌÊÁ ÍÌÁÇÆ Ì Á Ê ÆÌÁ ÁÄÁÌ ½ ÑÓÒ ØÖ Ø ÓÒ Ð ÔÖÓÔÓ Ø ÓÒ º º ËÓ Ø ν L Ð Ñ ÙÖ ÝÑÔØÓØ ÕÙ Lº ÓÑÑ Ð ÙÔÔÓÖØ ν L Ø ÓÖÒ ÙÔ Ö ÙÖ Ñ ÒØ Ô Ö µ π max (L) ÓÒ Ó Ø ÒØ µ π max(l) xν L (dx), ³Ó µ π max (L) µπ (L)º Ë ÔÐÙ µ π max > 0 ÓÒ µ π max(l) x + ν L (dx) R R R xν L (dx), Ø ÓÒ µ π max (L) µπ + (L) µπ (L)º ÁÐ Ö Ø Ú Ö Ö Ð ÔÖ Ñ Ö Ò Ð Ø ½½µº ËÓ Ø t > µ ess (L) Ø Ó Ø B г Ò Ñ Ð ÔÓ ÒØ Ò X(K) ÓÒØ Ð ÙØ ÙÖ Ø Ò Ö ÙÖ ÓÙ Ð tº È Ö Ò Ø ÓÒ Ð Ñ ÐÐ B Ø Ö Ò Ò X(K)º Ä Ð ÑÑ º ÑÓÒØÖ ÐÓÖ ÕÙ t µ π max (L)º ÓÑÑ t Ø Ö ØÖ Ö ÓÒ Ó Ø ÒØ µ ess (L) µ π max(l)º Ê Ñ ÖÕÙ º º ÇÒ Ó ÖÚ Ò Ð ÑÓÒ ØÖ Ø ÓÒ Ð ÔÖÓÔÓ Ø ÓÒ º ÕÙ µ π max(l) = µ π +(L) ÑÔÐ ÕÙ ÕÙ Ð Ñ ÙÖ ν L Ö Ù Ø Ð Ñ ÙÖ Ö ÓÒ ÒØÖ Ò µ π max(l)º ØØ ÖÒ Ö ÓÒ Ø ÓÒ Ø ÕÙ Ú Ð ÒØ Ð³ Ð Ø µ π max(l) = µ π (L)º Ò ¹Ð Ð ÔÓÐÝ ÓÒ À Ö Ö¹Æ Ö Ñ Ò ÝÑÔØÓØ ÕÙ L ÚÓ Ö ½¾ µ Ö Ù Ø ÙÒ ÑÓÖ Ù ÖÓ Ø Ø ÓÒ Ø ÕÙ L Ø ÝÑÔØÓØ ÕÙ Ñ ÒØ Ñ ¹ Ø Ð º º ÔÔÐ Ø ÓÒ Ò Ô Ö Ö Ô ÓÒ Ú ÐÓÔÔ ÔÔÐ Ø ÓÒ Ù Ö Ø Ö ³ ÕÙ ØÖ ÙØ ÓÒ Ø Ð Ò ï º ³ ÓÖ ÓÒ ÜÔÐ ÕÙ ÓÑÑ ÒØ ÒØ ÖÔÖ Ø Ö Ö ÙÐØ Ø Ð ÕÙ Ú Ð ÔÖ Ò Ô Ú Ö Ø ÓÒÒ Ð Ô Ö Ð Ö Ú Ð Ø ÖØ Ò ÒÚ Ö ÒØ Ö Ø Ñ Ø ÕÙ º Ò Ù Ø ÓÒ ÑÓÒØÖ ÙÒ Ö ÙÐØ Ø ³ ÕÙ ØÖ ÙØ ÓÒ Ò ÙØ Ð ÒØ Ð Ö Ú Ð Ø Ð Ô ÒØ ÔÓ Ø Ú ÝÑÔØÓØ ÕÙ Ø Ð Ò ½ º º½º ÁÒØ ÖÔÖ Ø Ø ÓÒ Ö ÙÐØ Ø Ð ÕÙ º ËÓ ÒØ π : X Spec K ÙÒ K¹ Ñ ÔÖÓ Ø Ø ÒØ Ö Ø L ÙÒ Ö ÒÚ Ö Ð Ð ÕÙ ÙÖ Xº ËÓ Ø x = (x n ) n 1 ÙÒ Ù Ø ÔÓ ÒØ Ð Ö ÕÙ Ò Xº Ò Ð Ö ÙÐØ Ø ³ ÕÙ ØÖ ÙØ ÓÒ Ú Ð ÔÖ Ò Ô Ú Ö Ø ÓÒÒ Ð ÓÑÑ Ò ¾ ¾ ¾ ¾ ¾ Ð ÝÔÓØ Ù Ú ÒØ ÓÒØ ÙÔÔÓ À½µ Ð Ù Ø (x n ) n 1 Ø Ò Ö ÕÙ ÙØÖ Ñ ÒØ Ø ØÓÙØ ÓÙ ¹Ú Ö Ø ÖÑ Y X ÕÙ Ø ÙØÖ ÕÙ X Ò ÓÒØ ÒØ ÕÙ³ÙÒ ÒÓÑ Ö Ò ÔÓ ÒØ Ô ÖÑ Ð x n À¾µ Ð Ù Ø ÙØ ÙÖ (h L (x n )) n 1 ÓÒÚ Ö Ú Ö µ π (L)º ÈÓÙÖ ØÓÙØ Ö ÒÚ Ö Ð Ð ÕÙ M ÓÒ ÒÓØ ϕ x (M) := liminf n + h M (x n) [, + ]. ÈÖÓÔÓ Ø ÓÒ º½º Ë Ð Ù Ø x Ø Ò Ö ÕÙ ÐÓÖ ϕ x (M) µ ess (M) ÔÓÙÖ ØÓÙØ M Pic(X)º
14 ½ ÀÍ Á À Æ ÑÓÒ ØÖ Ø ÓÒº ËÓ Ø U ÙÒ ÓÙ ¹ Ñ ÓÙÚ ÖØ ÒÓÒ¹Ú Xº ÓÑÑ Ð Ù Ø x Ø Ò Ö ÕÙ ÓÒ Ó Ø ÒØ ÕÙ U ÓÒØ ÒØ ØÓÙ Ù ÙÒ ÒÓÑ Ö Ò ÔÓ ÒØ xº È Ö ÓÒ ÕÙ ÒØ ϕ x (M) liminf h n + L (x n) inf h M (x), x U(K) ³Ó ϕ x (M) µ ess (M)º ÓÖÓÐÐ Ö º¾º ÇÒ ÙÔÔÓ ÕÙ L Ø ÖÓ º ËÓÙ Ð ÝÔÓØ À½µ Ø À¾µ ÓÒ ϕ x (L) = µ ess (L) = µ π max (L) = µπ + (L) = µπ (L). ÑÓÒ ØÖ Ø ÓÒº ³ Ø ÙÒ ÓÒ ÕÙ Ò ÑÑ Ø Ð³ Ò Ð Ø ϕ x (L) µ ess (L) Ø ½½µº ³ ÔÖ Ð Ø ÓÖ Ñ º Ø Ð ÔÖÓÔÓ Ø ÓÒ º ÔÓÙÖ ÕÙ x Ø Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒ Ò v Ð Ù Ø ÑÓÒØÖ Ö ÕÙ Ð ÓÒØ ÓÒ µ π Ø Ö ÒØ Ð Ò L ÔÓÙÖ Ð Ö Ø ÓÒ Ò C v (X)º ÁÐ ³ Ú Ö ÕÙ Ò Ð ÖØ Ð Ø ÔÐÙ ÙØ Ð ÙØ ÙÖ ÓÒØ Ø Ú Ñ ÒØ ÑÓÒØÖ ØØ Ö ÒØ Ð Ø Ø ÓÒØ ÐÙÐ Ð ÒØ ÐÐ µ π Ò L Ò ÕÙ Ö ÙÐØ Ø Ò³ÓÒØ Ô Ø ÒÓÒ ØØ ÓÒº Ü ÑÔÐ º º ÇÒ ÙÔÔÓ ÕÙ L Ø ÑÔÐ Ù Ò ¾ ÐÓÖ ÔÓÙÖ ØÓÙØ M Pic(X) Ñ ØÖ ÕÙ Ð Ð Ö ÒÚ Ö Ð Ð ÕÙ L n M Ø ÑÔÐ ÐÓÖ ÕÙ n Ø Ù ÑÑ ÒØ Ö Ò º ÓÒ Ð Ø ÓÖ Ñ À Ð ÖØ¹Ë ÑÙ Ð ÐÐ Ø Ø ËÓÙÐ ½ ÑÓÒØÖ ÕÙ È Ö ÓÒ ÕÙ ÒØ ÓÒ µ π (L n M) = (nĉ 1 (L) + ĉ 1 (M)) d+1 [K : Q](d + 1)(nc 1 (L) + c 1 (M)) d D L µ π (M) = ĉ1(l) d ĉ 1 (M) [K : Q]c 1 (L) d d µπ (L) c 1(L) d 1 c 1 (M) c 1 (L) d. ØØ ÜÔÖ ÓÒ Ø Ø Ú Ô Ö Ö ÔÔÓÖØ Mº ÔÐÙ M Ø Ð ÓÖÑ O σ (f) σ : K Cµ Ó f Ø ÙÒ ÙÒØ ÓÒ Ð X an σ ÐÓÖ bc 1(L) d [K:Q]c 1(L) d D L µ π (O σ (f)) = ĉ1(l) d ĉ 1 (O σ (f)) [K : Q]c 1 (L) d. Ð ÑÓÒØÖ ÕÙ Ô ÙØ ØÖ ÓÒ Ö ÓÑÑ ÙÒ Ñ ÙÖ ÔÖÓ Ð Ø Ê ÓÒ ÙÖ Xσ an ÕÙ Ø Ð Ñ ÙÖ Ð Ñ Ø (η xn,σ) n 1 º Ô٠г ÖØ Ð ¾ Ó ØØ ØÖ Ø Ø ÔÖÓÔÓ ÓÒ Ö Ð Ö Ð ÓÒ Ø ÓÒ ÔÓ Ø Ú Ø Lº ÇÒ Ö ÙÑ ÕÙ ÐÕÙ Ü ÑÔÐ Ø Ð Ö ÙÐØ Ø Ò Ð ÒÓÒ ÒØ Ò Ð Ð Ò Ö ÒØ Ð Ø º ½µ Ò ¾ ÙØ Ö ÑÓÒØÖ ÕÙ X Ø Ñ Ò ÓÒ 1 ÐÓÖ Ð ÓÒØ ÓÒ µ π Ø Ö ÒØ Ð Ò ØÓÙØ L Ø Ð ÕÙ L Ø ÑÔÐ ÔÓÙÖ Ð Ö Ø ÓÒ Ò C σ (X)º
15 ÉÍÁ ÁËÌÊÁ ÍÌÁÇÆ Ì Á Ê ÆÌÁ ÁÄÁÌ ½ ¾µ Ò ½½ Ò ÙØ Ð ÒØ Ð³ Ò ÐÓ Ù Ð³ Ò Ð Ø Ë Ù Ò ÓÑ ØÖ ³ Ö ÐÓÚ ¾ Ð ÙØ ÙÖ ÓÒØ ÑÓÒØÖ ÕÙ L Ø ÑÔÐ Ø Ð Ñ ØÖ ÕÙ ÙÖ L ÓÒØ Ñ ¹ ÔÓ Ø Ú ÐÓÖ Ð ÓÒØ ÓÒ µ π Ø Ö ÒØ Ð ÔÓÙÖ Ð Ö Ø ÓÒ M ÒØ Ö Ð ³ ع¹ Ö ÕÙ M ³ Ö Ø ÓÑÑ Ð Ö Ò ÙÜ Ö ÒÚ Ö Ð Ð ÕÙ ÑÔÐ µº µ Ò Ò ÙØ Ð ÒØ Ð ÒÓÝ Ù Ö Ñ Ò Ð ÙØ ÙÖ ÓÒØ ÑÓÒØÖ ÕÙ L Ø ÖÓ Ø µ π (L) Ø Ò ÐÓÖ Ð ÓÒØ ÓÒ µ π Ø Ö ÒØ Ð ÔÓÙÖ Ð Ö Ø ÓÒ Ò C σ (X) Ó σ Σ º º¾º ÍÒ Ö ÙÐØ Ø ³ ÕÙ ØÖ ÙØ ÓÒº Ò ÓÙ ¹Ô Ö Ö Ô ÓÒ ÑÓÒØÖ Ð Ö ÙÐØ Ø Ù Ú ÒØ Ì ÓÖ Ñ º º ÇÒ ÙÔÔÓ ÕÙ L Ø ÖÓ º Ë Ð Ù Ø x Ø Ò Ö ÕÙ Ø Ð Ù Ø ÙØ ÙÖ (h L (x n )) n 1 ÓÒÚ Ö Ú Ö µ π +(L) ÐÓÖ Ð Ù Ø x Ú Ö Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒº ÑÓÒ ØÖ Ø ÓÒº ³ ÔÖ ½ Ø ÓÖ Ñ ½º½ Ð ÓÒØ ÓÒ µ π + Ø Ö ÒØ Ð Ò L ÔÓÙÖ Ð Ö Ø ÓÒ Ò Pic(X)º È Ö ÓÒ ÕÙ ÒØ Ð Ù Ø x Ø Ø Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒ ÓÑÔØ Ø ÒÙ Ù Ø ÓÖ Ñ º º Ê Ñ ÖÕÙ º º Ò Ð Ø ÓÖ Ñ º ÓÒ Ò ÙÔÔÓ ÙÙÒ ÓÒ Ø ÓÒ ÔÓ ¹ Ø Ú Ø ÙÖ Ð Ñ ØÖ ÕÙ Lº ÓÖÓÐÐ Ö º º ÇÒ ÙÔÔÓ ÕÙ L Ø ÖÓ º Ë Ð Ù Ø x Ø Ò Ö ÕÙ Ø Ð Ù Ø ÙØ ÙÖ (h L (x n )) n 1 ÓÒÚ Ö Ú Ö µ π (L) ÐÓÖ Ð Ù Ø x Ø Ø Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒº ÑÓÒ ØÖ Ø ÓÒº ÓÑÑ L Ø ÖÓ Ð Ü Ø ÙÒ Ö Ð ÕÙ M ÙÖ Spec O K Ø Ð ÕÙ N := L π M Ó Ø ÖÓ º ½¾ Ö Ñ ÖÕÙ º¾º½ µº ÈÓÙÖ ØÓÙØ ÒØ Ö n 1 ÓÒ h N (x n ) = h L (x n ) + µ(m)º ³ ÙØÖ Ô ÖØ ÓÒ µ π (N) = µ π (L) + µ(m)º ÓÒ (h N (x n )) n 1 ÓÒÚ Ö Ú Ö µ π (N)º ³ ÔÖ Ð ÓÖÓÐÐ Ö º¾ ÓÒ Ó Ø ÒØ µ π (N) = µ π + (N)º ³Ó x Ø Ø Ð ÓÒ Ø ÓÒ ³ ÕÙ ØÖ ÙØ ÓÒ ÓÑÔØ Ø ÒÙ Ù Ø ÓÖ Ñ º º Ê Ñ ÖÕÙ º º Ä Ø ÓÖ Ñ º Ø Ò Ø ÙÒ ÒÓÙÚ ÐÐ ÑÓÒ ØÖ Ø ÓÒ Ö Ùй Ø Ø Ð ÕÙ º ÇÒ ÙÔÔÓ ÕÙ L Ø ÖÓ º Ò ÕÙ Ò Ò Ö Ð µ π + (L) Ø ÔÐÙ Ö Ò ÓÙ Ð µ π (L) Ñ Ð³ ÝÔÓØ ϕ x (L) = µ π + (L) ÓÖ ÙÜ ÕÙ ÒØ Ø ØÖ Ð ÓÑÑ ÑÓÒØÖ Ò Ð Ö Ñ ÖÕÙ º º ³ ÙØÖ Ô ÖØ Ð³ ÝÔÓØ À¾µ Ñ Ð ØÖ ÔÖ Ú Ð ÙÜ ÔÔÐ Ø ÓÒ Õ٠гÓÒ ÔÓ º È Ö Ü ÑÔÐ ÓÒ Ó ÖÚ Ò ¾¾ ÕÙ Ð Ñ Ò ÑÙÑ ÒØ Ð ³ÙÒ Ô ÔÖÓ Ø Ø ØÓÙ ÓÙÖ ØÖ Ø Ñ ÒØ ÔÐÙ Ö Ò ÕÙ ÙØ ÙÖ ÒÓÖÑ Ð º ÈÐÙ ÔÖ Ñ ÒØ X = P n K Ø L Ø O X(1) ÑÙÒ Ñ ØÖ ÕÙ Ù Ò ¹ËØÙ Ý ÐÓÖ ÓÒ µ ess (L) = 1 2 log(n + 1), µπ (L) = 1 2 ØØ Ó ÖÚ Ø ÓÒ ÓÒ Ù Ø Ð ÕÙ Ø ÓÒ Ù Ú ÒØ Ø¹ ÕÙ ³ ÙØÖ Ñ ÒÓÖ Ø ÓÒ Ù Ñ Ò ÑÙÑ ÒØ Ð Ô ÖÑ Ø ³ ÚÓ Ö ÙÒ ÒÓÒ ³ ÕÙ ØÖ ÙØ ÓÒ ÔÐÙ Ò Ö Ð n+1 j=2 1 j.
16 ½ ÀÍ Á À Æ ÍÒ Ò Ø Ø Ò ÓÙØ Ð Ô ÒØ Ñ Ü Ñ Ð ÝÑÔØÓØ ÕÙ µ π maxº ÎÓ ÐÓÖ ÙÒ ÕÙ Ø ÓÒ ÔÐÙ ÔÖ ÕÙ Ð Ø Ð ÓÑ Ò Ö ÒØ Ð Ø Ð ÓÒØ ÓÒ µ π max Ê Ö Ò ½ º ² ̺ ÓÙ Ì ÓÖ Ñ À Ð ÖØ¹Ë ÑÙ Ð Ö Ø Ñ Ø ÕÙ ÍÒ Ú Ö Ø Ö ÒÓ Ð º ÒÒ Ð Ð³ÁÒ Ø ØÙØ ÓÙÖ Ö ½ µ ÒÓº ¾ Ôº ¼½º ¾ Ⱥ ÙØ Ö ÈÓ ÒØ ÒØ Ö ÙÖ Ð ÙÖ Ö Ø Ñ Ø ÕÙ º ÂÓÙÖÒ Ð Ö Ê Ò ÙÒ Ò Û Ò Ø Å Ø Ñ Ø ½ ¾¼¼½µ Ôº ¾¼½ ¾ º ÕÙ ØÖ ÙØ ÓÒ ÓÙ ¹Ú Ö Ø Ô Ø Ø ÙØ ÙÖ Âº Ì ÓÖº ÆÓÑ Ö ÓÖ ÙÜ ½ ¾¼¼ µ ÒÓº ½ Ôº ½ ½¾º κ º Ö ÓÚ ËÔ ØÖ Ð Ø ÓÖÝ Ò Ò ÐÝØ ÓÑ ØÖÝ ÓÚ Ö ÒÓÒ¹ Ö Ñ Ò Ð Å Ø Ñ Ø Ð ËÙÖÚ Ý Ò ÅÓÒÓ Ö Ô ÚÓк Ñ Ö Ò Å Ø Ñ Ø Ð ËÓ ØÝ ÈÖÓÚ ¹ Ò ÊÁ ½ ¼º ʺ ÖÑ Ò ² ˺ ÓÙ ÓÑ Ô Ø Ò Û Ø ÚÓÐÙÑ Ó Ð Ò ÙÒ Ð Ö Ú ¼ ¼ º½ ¼ ¾¼¼ º º¹ º Ó Ø È Ö Ó Ø Ó Ò Ú Ö Ø Ð ÒÒ ÙÖ Ð ÓÖÔ ÒÓÑ Ö ³ ÔÖ º Å Ö Ø º Ï Ø ÓÐÞµ Ø Ö ÕÙ ½ µ ÒÓº ¾ Ôº ÜÔº ÆÓº ½½ ½ ½ Ë Ñ Ò Ö ÓÙÖ ÎÓк ½»½ º Ð Ö Ð Ú Ó Ð Ö ÓÐ Ø ÓÒ ÓÚ Ö ÒÙÑ Ö Ð ÈÙ Ð Ø ÓÒ Å ¹ Ø Ñ Ø ÕÙ º ÁÒ Ø ØÙØ À ÙØ ØÙ Ë ÒØ ÕÙ ¾¼¼½µ ÒÓº Ôº ½ ½ ¾¾½º º¹ º Ó Ø Ú ÐÙ Ø ÓÒ Ñ Ô ÐÓÔ Ò Ð Ö ØÝ Ö Ø Ö Ò ÈÖÓ Ò Ó Ø ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ó Å Ø Ñ Ø Ò ÎÓк ÁÁ Å Ö ¾¼¼ µ ¾ ÙÖÓÔ Ò Å Ø Ñ Ø Ð ËÓ ØÝ ¾¼¼ º º Ñ ÖعÄÓ Ö Ì ÓÖ Ñ ³ Ð Ö Ø Ò ÓÑ ØÖ ÓÔ ÒØ ÒÒ ³ ÔÖ Âº¹ º Ó Ø º Ò Ö º ² º Ù ÒÓÚ Ýµ Ø Ö ÕÙ ¾¼¼¾µ ÒÓº ¾ ¾ Ôº ÜÔº ÆÓº Ú ½ ¾¼ Ë Ñ Ò Ö ÓÙÖ ÎÓк ¾¼¼¼»¾¼¼½º ½¼ Å ÙÖ Ø ÕÙ ØÖ ÙØ ÓÒ ÙÖ Ð Ô Ö ÓÚ ÂÓÙÖÒ Ð Ö Ê Ò ÙÒ Ò Û Ò Ø Å Ø Ñ Ø º Ö ÐÐ ³ ÂÓÙÖÒ Ð ¾¼¼ µ Ôº ¾½ ¾ º ½½ º Ñ ÖعÄÓ Ö ² º Ì Ù ÐÐ Ö Å ÙÖ Å Ð Ö Ø ÕÙ ØÖ ÙØ ÓÒ ÐÓ ¹ Ö Ø Ñ ÕÙ ØÓ ÔÔ Ö Ò ÒÒ Ð Ð³ÁÒ Ø ØÙØ ÓÙÖ Ö ¾¼¼ º ½¾ Àº Ò ÓÒÚ Ö Ò ÔÓÐÝ ÓÒ À Ö Ö¹Æ Ö Ñ Ò Ð¹¼¼¾ ¾¼¼ º ½ Ö Ø Ñ Ø Ù Ø ÔÔÖÓÜ Ñ Ø ÓÒ Ö Ú ¼ ½¼º ¾¼¼ º ½ Ö ÒØ Ð ØÝ Ó Ø Ö Ø Ñ Ø ÚÓÐÙÑ ¾¼¼ º ½ ÈÓ Ø Ú Ö Ò Ö Ø Ñ Ø Ò Ö Ú ¼ ¼ º¾ ¾¼¼ º ½ º Ù ÖÓÒ È ÒØ Ö Ú ØÓÖ Ð Ð ÕÙ ÙÖ ÙÒ ÓÖÔ ÐÓ Ð Ê Ò ÓÒØ Ð Ë Ñ Ò Ö Ó Å Ø Ñ Ø Ó ÐÐ ÍÒ Ú Ö Ø È ÓÚ ½½ ¾¼¼ µ Ôº ¾½ º ½ Àº ÐÐ Ø ² º ËÓÙÐ Ò Ö Ø Ñ Ø Ê Ñ ÒÒ¹ÊÓ Ø ÓÖ Ñ ÁÒÚ ÒØ ÓÒ Å Ø Ñ Ø ½½¼ ½ ¾µ ÒÓº Ôº º ½ ʺ Ä Þ Ö Ð ÈÓ Ø Ú ØÝ Ò Ð Ö ÓÑ ØÖݺ Á Ö Ò Ö Å Ø Ñ Ø ÙÒ Ö Ö Ö ÒÞ Ø º º ÓÐ º Ë Ö Ó ÅÓ ÖÒ ËÙÖÚ Ý Ò Å Ø Ñ Ø ÚÓк ËÔÖ Ò Ö¹ Î ÖÐ ÖÐ Ò ¾¼¼ Ð Ð ØØ Ò Ð Ò ÙÒ Ð Ò Ð Ò Ö Ö º ½ º ÅÓÖ Û ÓÒØ ÒÙ ØÝ Ó ÚÓÐÙÑ ÓÒ Ö Ø Ñ Ø Ú Ö Ø ÌÓ ÔÔ Ö Ò ÂÓÙÖÒ Ð Ó Ð Ö ÓÑ ØÖݺ Ö Ú Ñ Ø»¼ ½¾¾ Ú¾ ¾¼¼ º ¾¼ Àº Ê Ò Ö Ñ ÓÐÓÐÓÒ Å ØÖ ÕÙ ÓÙ ¹ÕÙÓØ ÒØ Ø Ø ÓÖ Ñ À Ð ÖØ¹Ë ÑÙ Ð Ö Ø Ñ Ø ÕÙ ÔÓÙÖ Ð ÙÜ Ó Ö ÒØ ÂÓÙÖÒ Ð Ö Ê Ò ÙÒ Ò Û Ò Ø Å Ø ¹ Ñ Ø ¼ ¾¼¼ µ Ôº º
17 ÉÍÁ ÁËÌÊÁ ÍÌÁÇÆ Ì Á Ê ÆÌÁ ÁÄÁÌ ½ ¾½ ʺ ÊÙÑ ÐÝ º º Ä Ù ² ʺ Î ÖÐ Ý Ü Ø Ò Ó Ø Ø ÓÒ Ð Ô ØÝ Å ÑÓ Ö Ó Ø Ñ Ö Ò Å Ø Ñ Ø Ð ËÓ ØÝ ½ ¾¼¼¼µ ÒÓº ¼ Ôº Ú ½ ¼º ¾¾ ź ËÓÑ Ö Å Ò ÑÙÑ Ù Ú Ö Ø ØÓÖ ÕÙ ÔÖÓ Ø Ú ÂÓÙÖÒ Ð Ö Ê Ò ÙÒ Ò Û Ò Ø Å Ø Ñ Ø ¾¼¼ µ Ôº ¾¼ ¾ º ¾ ĺ ËÞÔ ÖÓ º ÍÐÐÑÓ ² ˺ Ò ÕÙ Ö Ô ÖØ Ø ÓÒ Ô Ø Ø ÔÓ ÒØ ÁÒÚ ÒØ ÓÒ Å Ø Ñ Ø ½¾ ½ µ ÒÓº ¾ Ôº º ¾ º ÍÐÐÑÓ ÈÓ Ø Ú Ø Ø Ö Ø ÓÒ ÔÓ ÒØ Ð Ö ÕÙ ÓÙÖ ÒÒ Ð Ó Å Ø Ñ Ø º Ë ÓÒ Ë Ö ½ ½ µ ÒÓº ½ Ôº ½ ½ º ¾ º Ù Ò Ð Ò ÙÒ Ð ÓÚ Ö Ö Ø Ñ Ø Ú Ö Ø ÁÒÚ ÒØ ÓÒ Å Ø Ñ Ø ½ ¾¼¼ µ ÒÓº Ôº ¼ º ¾ ˺¹Ïº Ò ÕÙ ØÖ ÙØ ÓÒ Ó Ñ ÐÐ ÔÓ ÒØ ÓÒ Ð Ò Ú Ö Ø ÒÒ Ð Ó Å Ø Ñ Ø º Ë ÓÒ Ë Ö ½ ½ µ ÒÓº ½ Ôº ½ ½ º ¾ ˺ Ò ÈÓ Ø Ú Ð Ò ÙÒ Ð ÓÒ Ö Ø Ñ Ø Ú Ö Ø ÂÓÙÖÒ Ð Ó Ø Ñ Ö Ò Å Ø Ñ Ø Ð ËÓ ØÝ ½ µ ÒÓº ½ Ôº ½ ¾¾½º ½ Ù Ò ¾¼½ ÀÙ Ý Ò ÍÒ Ú Ö Ø È Ö ÖÓØ È Ö ÁÒ Ø ØÙØ Ñ Ø Ñ Ø ÕÙ ÂÙ Ùº ¹Ñ Ð Ò Ù Ý Ñ Ø º Ù Ùº Ö
Ê ÙÐ Ø ÓÒ Ö Ò Ð Ý Ø Ñ ØÖ Ù Ö Ø ØÙÖ Ø Ð ÓÖ Ø Ñ Ö Ö Ï ÙØ Ð Ø ÙÐØ ÆÓØÖ ¹ Ñ Ä È Ü Æ ÑÙÖ Ð ÕÙ Û ÙØ Ð Ò Óº ÙÒ Ôº º Ê ÙÑ º ij ÑÔÓÖØ Ò Ð ÓÖ Ø Ñ Ö Ô ÖØ Ø ÓÒ Ö Ò Ð Ý Ø Ñ ØÖ Ù Ò³ Ø ÔÐÙ ÑÓÒØÖ Öº Ò Ø Ð Ó Ü ³ÙÒ ØÝÔ
Plus en détailÎ ÐÙ Ø Ê Ñ ÙÖ Ô Ø Ð ÓÒÓÑ ÕÙ µ Ð Ê ÓÙÐ Ø ² Ì ÖÖÝ ÊÓÒ ÐÐ ÖÓÙÔ Ê Ö ÇÔ Ö Ø ÓÒÒ ÐÐ Ö Ø ÄÝÓÒÒ Ñ Ð ÐºÖ ÓÙÐ ØÖ ØÐÝÓÒÒ º Ö Ø ÖÖݺÖÓÒ ÐÐ Ö ØÐÝÓÒÒ º Ö ÈÐ Ò Ð³ ÒØ ÖÚ ÒØ ÓÒ ½º ÁÒØÖÓ ÙØ ÓÒ ÓÒ ÔÖÓÔÖ Ø Î ÐÙ ¹ Ø¹Ê Ä Ü
Plus en détailÍÒ Ú Ö Ø ËØÖ ÓÙÖ Á ÙÐØ Ë Ò ÓÒÓÑ ÕÙ Î ÄÍ ÌÁÇÆ ÅÈÁÊÁÉÍ Ë Å ÆÁËÅ Ë ÌÊ ÆËÅÁËËÁÇÆ Ë ÀÇ Ë ÇÆ Å ÆÌ Í Ì ÆÇÆ ÇÆ Å ÆÌ Í Î ÊË Ä Ë Å Ê À Ë ÇÍÊËÁ ÊË Ì ÔÖ ÒØ ÔÓÙÖ Ð³Ó Ø ÒØ ÓÒ Ù Ø ØÖ ÓØ ÙÖ Ä³ÍÒ Ú Ö Ø ËØÖ ÓÙÖ Á ÈÖ ÒØ
Plus en détailÏ Í Å Ò Ò ÁÒØ Ö¹Ë Ø Ò ÐÝ Ù ÓÑÔÓÖØ Ñ ÒØ ÍØ Ð Ø ÙÖ ÁÑÔ Ø ÁÑÑ Ø ÁÒØ Ö Ø Ï Í Å Ò Ò Í Ö Ú ÓÙÖ Ò ÐÝ Û Ø ÁÑÑ Ø ÁÑÔ Ø º Å Ð ½ ¾µ ź Ì Ö ½µ Ⱥ ÈÓÒ Ð Ø ½µ ½µ ÄÁÊÅÅ ÍÅÊ ÆÊË ¼ ½ ½ ÊÙ ¾ ÅÓÒØÔ ÐÐ Ö Ü Ö Ò ¾µ Ä ÓÖ ØÓ
Plus en détailÊ ÔÔÓÖØ Ø Ù ÐÐ ÙÑ Î Ð ÓÒ ¾ Ù Ò ¾¼¼¼ Ì Ð Ñ Ø Ö Á ÓÖ Ð ÓÑÑÙÒ Ø ÓÒ ½ ÈÖ ÒØ Ø ÓÒ Ð Ó Ø ¾ Ä ÓÑ Ò ³ Ø Ú Ø ¾º½ Ñ Ò ØÖ Ø ÓÒ Ý Ø Ñ Ð³ Ò ÓÖÑ Ø ÓÒ º º º º º º º º º º º ¾º¾ Ö Ø ØÙÖ Ö ÙÜ ÓÑÑÙÒ Ø ÓÒ º º º º º º º º
Plus en détailP etit pat hw o rk de ombinatoire énumérative Mireille Bousquet-Mélou, CNRS, LaBRI, Bo rdeaux http://www.lab ri.fr/ b ousquet
Ô Ø ÛÓÖ È Ø Ø ÓÑ Ò ØÓ Ö ÒÙÑ Ö Ø Ú Å Ö ÐÐ ÓÙ Õ٠عŠÐÓÙ ÆÊË Ä ÊÁ ÓÖ ÙÜ ØØÔ»»ÛÛÛºÐ Ö º Ö» ÓÙ ÕÙ Ø Ä ÓÑ Ò ØÓ Ö ÒÙÑ Ö Ø Ú ººº ³ ØÕÙÓ ÈÓÙÖÕÙÓ ÓÑÑ ÒØ ÇÅÈÌ Ê κ ij ÖØ ÓÑÔØ Ö Ô Ðغ Ø Ð ÖÐ ÒÓÑ Ö Ö Ö ÒÓÑ Ö Ö ÒÓÑ
Plus en détailVérification d invariants de systèmes paramétrés par superposition
Université defranche-comté École doctorale Sciences Pour l Ingénieur et Microtechniques U.F.R. des Sciences et Techniques Vérification d invariants de systèmes paramétrés par superposition THÈSE présentée
Plus en détailÍÒ Ú Ö Ø Ö ÒÓ Ê Ð ÌÓÙÖ ÓÐ ÓØÓÖ Ð Ë ÒØ Ë Ò Ø Ì ÒÓÐÓ ÒÒ ÍÒ Ú Ö Ø Ö ¾¼¼¾¹¾¼¼ BLOIS CHINON ÌÀ Ë ÈÇÍÊ Ç Ì ÆÁÊ Ä Ê Ç Ì ÍÊ Ä³ÍÆÁÎ ÊËÁÌ ÌÇÍÊË ÔÐ Ò ÁÒ ÓÖÑ Ø ÕÙ ÔÖ ÒØ Ø ÓÙØ ÒÙ ÔÙ Ð ÕÙ Ñ ÒØ Ô Ö Æ ÓÐ Ä ÊÇ À Ð Ñ Ö
Plus en détailÌ ÖÖÝ ÅÓÝ ÙÜ ÖÓÙÔ Å Ë ÂÙ ÐÐ Ø ¾¼¼¾ Ì Ò ÕÙ ÑÙÐØ ÒØ ÔÓÙÖ Ð Ö ÙØ ÓÒ Ð³ ÑÔÐ Ø ÓÒ Ð Ñ Ò Ò ÙÒ Ò ÐÓ Ø ÕÙ ÔÔÐ Ø ÓÒ Ð³ Ò Ù ØÖ ÓÖ Ø Ö Ö Ø ÙÖ ÈÖÓ º Ö Ñ ¹ Ö Ó¹ Ö Ø ÙÖ ÈÖÓ º ËÓÔ ³ ÑÓÙÖ ÈÖÓ º ÖÒ Ö Ô Ò ÈÖÓÔÓ Ø ÓÒ Ø ÓØÓÖ
Plus en détailÓÐ ÓØÓÖ Ð Å Ø Ñ Ø ÕÙ Ë Ò Ø Ì ÒÓÐÓ Ð³ÁÒ ÓÖÑ Ø ÓÒ ÁÒ ÓÖÑ Ø ÕÙ Í Ê ÁÅ ÓÖÑ Ð Ø ÓÒ ÓÒÒ Ò ÓÙÑ ÒØ Ö Ø ÓÒÒ Ò ÓÒ ÔØÙ ÐРг ³ÓÒØÓÐÓ ÔÔÐ Ø ÓÒ Ð Ö ÔØ ÓÒ ÓÙÑ ÒØ Ù ÓÚ Ù Ð ÌÀ Ë ÔÖ ÒØ Ø ÓÙØ ÒÙ ÔÙ Ð ÕÙ Ñ ÒØ Ð Å Ö ¾¼¼ ÔÓÙÖ
Plus en détailÍÒ Ú Ö Ø ÅÓÒØÖ Ð ÍÒ ÑÓ Ð ÙÒ ÓÖÑ ÔÓÙÖ Ð ÑÓ Ð Ø ÓÒ Ø Ð Ñ Ø ÑÓ Ð Ø ÓÒ ³ÙÒ Ñ ÑÓ Ö ³ ÒØÖ ÔÖ Ô Ö ÇÐ Ú Ö Ö Ô ÖØ Ñ ÒØ ³ Ò ÓÖÑ Ø ÕÙ Ø Ö Ö ÓÔ Ö Ø ÓÒÒ ÐÐ ÙÐØ ÖØ Ø Ò Ì ÔÖ ÒØ Ð ÙÐØ ØÙ ÙÔ Ö ÙÖ Ò ÚÙ Ð³Ó Ø ÒØ ÓÒ Ù Ö È
Plus en détailÇÆ ÈÌÁÇÆ Ì Ê ÄÁË ÌÁÇÆ ³ÍÆ ÈÈÄÁ ÌÁÇÆ ËÌÁÇÆ Ê Ë Í Ë ÇÅÈÇË ÆÌË Ê È ÊÌÁË Ô Ö ÅÓ Ñ Ö Þ Ñ ÑÓ Ö ÔÖ ÒØ Ù Ô ÖØ Ñ ÒØ Ñ Ø Ñ Ø ÕÙ Ø ³ Ò ÓÖÑ Ø ÕÙ Ò ÚÙ Ð³Ó Ø ÒØ ÓÒ Ù Ö Ñ ØÖ Ò ÅºËºµ ÍÄÌ Ë Ë Á Æ Ë ÍÆÁÎ ÊËÁÌ ËÀ Ê ÊÇÇÃ
Plus en détailÈÖÓ Ö ÑÑ Ø ÓÒ Ò Â Ú Ü Ò Ö Å ½ ÔØ Ñ Ö ¾¼½ Ì Ñ Ø Ö ½ ÆÓØ ÓÙÖ ¾ ½º½ ÁÒØÖÓ ÙØ ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ¾ ½º½º½ À Ó ÏÓÖ º º º
Plus en détail¹ËÁÊ ¹ Ê ÔÔÓÖØ Ø ÈÖÓ Ø Ä Ò Ø Ê Ô ÖØ Ø ÓÒ Ö Ö Ò Ó Ò Æ Ó Ò Ö Ñ ÒØ ÀÙ ÖØ Æ Ë ÔØ Ñ Ö ¾¼¼¾ ¾ Ì Ð Å Ø Ö ÁÒØÖÓ ÙØ ÓÒ ½ Ø Ø Ð³ ÖØ ½ ½º½ ÁÒØÖÓ ÙØ ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º
Plus en détailÄ Ù Ù ÊÇÇÌ Ö ÔÓÙÖ Ä ÒÙÜ Ö ÙÑ Ö º ÙÑ Ä ÒÙܺ ͺÇÖ Ö º ÙÑ Ö Ò ÜºÓÖ Î Ö ÓÒ ¾º ¾½ Ë ÔØ Ñ Ö ½ Ì Ð Ñ Ø Ö ½ ÈÖ Ñ ÙÐ ½ ½º½ À ØÓ Ö Ù º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º
Plus en détailz x h ÙÖ ½ ÓÑØÖ Ù ÔÖÓÐѺ ½º ÁØÖÓÙØÓ ÁÐ Ø ÓÙ ÕÙ Ù ÓÙ Ó ÔÖÓÖ ÓØ Ý ØÑ Æ ÔÓÙÖ ÔÖ Ð³Ö ÚÙ Ð Ó ÂÖÐ ÂÖÐ ½½µ ÓØ ÐÖÑØ ÙØÐ ÔÓÙÖ ÑÓÖØÖ Ð ÐÔÓØ Ð ÔÓÖØ Ù ÔÖÓÖ ÓØ Ú ÓÑÑ Ý ØÑ ÔÖÓØØÓ ÓØÖ ÚÓÖ ÔÖ ÜÑÔÐ ÖÑ ² ÇÙÑÖ ½ ÓÙ ÐÙ ²
Plus en détailÄ ÇÊ ÌÇÁÊ ÈÀ ËÁÉÍ ÌÀ ÇÊÁÉÍ ÍÆÁÎ ÊËÁÌ ÈÁ ÊÊ ÌÅ ÊÁ ÍÊÁ ij ÇÄ ÆÇÊÅ Ä ËÍÈ ÊÁ ÍÊ ÌÀ Ë Ç ÌÇÊ Ì Ä³ÍÆÁÎ ÊËÁÌ È ÊÁË ËÔ Ð Ø ÈÀ ËÁÉÍ ÌÀ ÇÊÁÉÍ Ë Ö ÄÇÊ ÆË ÔÖ ÒØ Ô Ö Ç Ì ÍÊ Ä³ÍÆÁÎ ÊËÁÌ È ÊÁË ÔÓÙÖÓ Ø Ò ÖÐ Ö ÇÀ Ê Æ ÌÄÇ
Plus en détailSTATUTS DE L ASSOCIATION. Association régie par par la Loi du 1 er juillet 1901
STATUTS DE L ASSOCIATION Association régie par par la Loi du 1 er juillet 1901 Statuts adoptés par l Assemblée Générale Extraordinaire du dimanche 1 er avril 2007 ËØ ØÙØ Ð³ Ó Ø ÓÒ ÖØ Ð ÔÖ Ñ Ö¹ ÒÓÑ Ò Ø
Plus en détail2 20 e Journées Bases de Données Avancées (BDA 2004). 1. Introduction
arxiv:0704.3501v1 [cs.db] 26 Apr 2007 Conception d un banc d essais décisionnel : ÖÓÑ º ÖÑÓÒØÙÒ Ú¹ÐÝÓÒ¾º Ö Jérôme Darmont Fadila Bentayeb Omar Boussaïd ERIC Université Lumière Lyon 2 5 avenue Pierre Mendès-France
Plus en détailCondition inf-sup pour l Elément Fini de Taylor-Hood È ¾ -iso-è ½
Condition inf-sup pour l Elément Fini de Taylor-Hood È ¾ -iso-è ½ Patrick Ciarlet et Vivette Girault ciarlet@ensta.fr & girault@ann.jussieu.fr ENSTA & Laboratoire Jacques-Louis Lions, Paris 6 Condition
Plus en détailDELIBERATION N CP 13-639
CONSEIL REGIONAL D ILE DE FRANCE 1 CP 13-639 DELIBERATION N CP 13-639 DU 17 OCTOBRE 2013 La politique sociale régionale La politique régionale pour les personnes en situation de handicap Cinquième affectation
Plus en détailCommande Prédictive. J. P. Corriou. LSGC-ENSIC-CNRS, Nancy. e-mail : corriou@ensic.inpl-nancy.fr
Commande Prédictive J P Corriou LSGC-ENSIC-CNRS, Nancy e-mail : corriou@ensicinpl-nancyfr Ý Consigne Trajectoire de référence Ý Ö Réponse Ý Horizon de prédiction À Ô ¹ Ù ¹ Temps Entrée Ù Horizon de commande
Plus en détailFonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre
IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables
Plus en détailSharp interface limit of an Allen-Cahn equation with conservation of the mass
Sharp interface limit of an Allen-Cahn equation with conservation of the mass Matthieu Alfaro and Pierre Alifrangis, I3M, Université de Montpellier 2, CC051, Place Eugène Bataillon, 34095 Montpellier Cedex
Plus en détailCommun à tous les candidats
EXERCICE 3 (9 points ) Commun à tous les candidats On s intéresse à des courbes servant de modèle à la distribution de la masse salariale d une entreprise. Les fonctions f associées définies sur l intervalle
Plus en détailMATHS FINANCIERES. Mireille.Bossy@sophia.inria.fr. Projet OMEGA
MATHS FINANCIERES Mireille.Bossy@sophia.inria.fr Projet OMEGA Sophia Antipolis, septembre 2004 1. Introduction : la valorisation de contrats optionnels Options d achat et de vente : Call et Put Une option
Plus en détailIntégrale de Lebesgue
Intégrale de Lebesgue L3 Mathématiques Jean-Christophe Breton Université de Rennes 1 Septembre Décembre 2014 version du 2/12/14 Table des matières 1 Tribus (σ-algèbres) et mesures 1 1.1 Rappels ensemblistes..............................
Plus en détailCours d Analyse. Fonctions de plusieurs variables
Cours d Analyse Fonctions de plusieurs variables Licence 1ère année 2007/2008 Nicolas Prioux Université de Marne-la-Vallée Table des matières 1 Notions de géométrie dans l espace et fonctions à deux variables........
Plus en détailChapitre 7 : Intégration sur un intervalle quelconque
Universités Paris 6 et Paris 7 M1 MEEF Analyse (UE 3) 2013-2014 Chapitre 7 : Intégration sur un intervalle quelconque 1 Fonctions intégrables Définition 1 Soit I R un intervalle et soit f : I R + une fonction
Plus en détailSuites numériques 4. 1 Autres recettes pour calculer les limites
Suites numériques 4 1 Autres recettes pour calculer les limites La propriété suivante permet de calculer certaines limites comme on verra dans les exemples qui suivent. Propriété 1. Si u n l et fx) est
Plus en détailRaisonnement distribué dans un environnement de type Pair-à-Pair
Actes JNPC 04 Raisonnement distribué dans un environnement de type Pair-à-Pair P. Adjiman P. Chatalic F. Goasdoué M.-C. Rousset L. Simon adjiman,chatalic,fg,mcr,simon @lri.fr Résumé Dans un système d inférence
Plus en détailQuantification Scalaire et Prédictive
Quantification Scalaire et Prédictive Marco Cagnazzo Département Traitement du Signal et des Images TELECOM ParisTech 7 Décembre 2012 M. Cagnazzo Quantification Scalaire et Prédictive 1/64 Plan Introduction
Plus en détailCours d analyse numérique SMI-S4
ours d analyse numérique SMI-S4 Introduction L objet de l analyse numérique est de concevoir et d étudier des méthodes de résolution de certains problèmes mathématiques, en général issus de problèmes réels,
Plus en détailExercice autour de densité, fonction de répatition, espérance et variance de variables quelconques.
14-3- 214 J.F.C. p. 1 I Exercice autour de densité, fonction de répatition, espérance et variance de variables quelconques. Exercice 1 Densité de probabilité. F { ln x si x ], 1] UN OVNI... On pose x R,
Plus en détailDualité dans les espaces de Lebesgue et mesures de Radon finies
Chapitre 6 Dualité dans les espaces de Lebesgue et mesures de Radon finies Nous allons maintenant revenir sur les espaces L p du Chapitre 4, à la lumière de certains résultats du Chapitre 5. Sauf mention
Plus en détailDifférentiabilité ; Fonctions de plusieurs variables réelles
Différentiabilité ; Fonctions de plusieurs variables réelles Denis Vekemans R n est muni de l une des trois normes usuelles. 1,. 2 ou.. x 1 = i i n Toutes les normes de R n sont équivalentes. x i ; x 2
Plus en détailMESURE ET INTÉGRATION EN UNE DIMENSION. Notes de cours
MSUR T INTÉGRATION N UN DIMNSION Notes de cours André Giroux Département de Mathématiques et Statistique Université de Montréal Mai 2004 Table des matières 1 INTRODUCTION 2 1.1 xercices.............................
Plus en détailASR1 TD7 : Un microprocesseur RISC 16 bits
{Â Ö Ñ º ØÖ Ý,È ØÖ ºÄÓ Ù,Æ ÓÐ ºÎ ÝÖ Ø¹ ÖÚ ÐÐÓÒ} Ò ¹ÐÝÓÒº Ö ØØÔ»»Ô Ö Óº Ò ¹ÐÝÓÒº Ö» Ö Ñ º ØÖ Ý»¼ Ö½» ASR1 TD7 : Un microprocesseur RISC 16 bits 13, 20 et 27 novembre 2006 Présentation générale On choisit
Plus en détailTHÉORIE DE LA MESURE ET DE L INTÉGRATION.
THÉORIE DE LA MESURE ET DE L INTÉGRATION. THIERRY GALLAY Transcrit par Tancrède LEPOINT 29 UNIVERSITÉ JOSEPH FOURIER, GRENOBLE TABLE DES MATIÈRES Avant-propos Biographie sommaire...........................................
Plus en détailProgramme Prélavage vapeur. Nettoyage automatique du tambour Permet de nettoyer automatiquement le tambour.
Ó ² ¼ù ² «½ ±² ¼«Ô ª»óÔ ²¹» ÓßÒËÛÔ Üù ÒÍÌÎËÝÌ ÑÒÍ ÜÉÝóÔÝïîïïÍ ñ ÜÉÜóÔÜïìïÕÝÍ Verrouillage enfant Le système de verrouillage enfant empêche que les enfants appuient sur un bouton et modifient le programme
Plus en détailChapitre 3. Algorithmes stochastiques. 3.1 Introduction
Chapitre 3 Algorithmes stochastiques 3.1 Introduction Les algorithmes stochastiques sont des techniques de simulation numériques de chaînes de Markov, visant à résoudre des problèmes d optimisation ou
Plus en détailLoi d une variable discrète
MATHEMATIQUES TD N : VARIABLES DISCRETES - Corrigé. P[X = k] 0 k point de discontinuité de F et P[X = k] = F(k + ) F(k ) Ainsi, P[X = ] =, P[X = 0] =, P[X = ] = R&T Saint-Malo - nde année - 0/0 Loi d une
Plus en détailAnalyse Numérique : SMA-SMI S4 Cours, exercices et examens
Analyse Numérique : SMA-SMI S4 Cours, exercices et examens Boutayeb A, Derouich M, Lamlili M et Boutayeb W. Table des matières Résolution numérique de systèmes linéaires AX = B 5. Méthodes directes de
Plus en détailThéorèmes du Point Fixe et Applications aux Equations Diérentielles
Université de Nice-Sophia Antipolis Mémoire de Master 1 de Mathématiques Année 2006-2007 Théorèmes du Point Fixe et Applications aux Equations Diérentielles Auteurs : Clémence MINAZZO - Kelsey RIDER Responsable
Plus en détailÉquations non linéaires
Équations non linéaires Objectif : trouver les zéros de fonctions (ou systèmes) non linéaires, c-à-d les valeurs α R telles que f(α) = 0. y f(x) α 1 α 2 α 3 x Equations non lineaires p. 1/49 Exemples et
Plus en détail%$&$#' "!# $! ## BD0>@6,;2106>+1:+B2.6;;/>0.2106>9*27+2.1/+BB+:/@6>.106>>+;+>1:+>6;*,+/EA,6.+77/7A,6@+7706>>+B79 561,+76.08189:+;61,+8.6>6;0+976>1:+?+>/+7@6,1+;+>1:8A+>:2>1+7:+B21+.C>6B630+:+ 1+.C>6B630=/+FGD+7A06>>23+8.6>6;0=/++1A6B010=/+:2>7B+.)*+,+7A2.+;+1+>:2>3+,B+A61+>10+B
Plus en détailDe même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que
Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer
Plus en détailANNALES SCIENTIFIQUES DE L É.N.S.
ANNALES SCIENTIFIQUES DE L É.N.S. Y. KATZNELSON Sur les algèbres dont les éléments non négatifs admettent des racines carrées Annales scientifiques de l É.N.S. 3 e série, tome 77, n o 2 (1960), p. 167-174.
Plus en détail4. Martingales à temps discret
Martingales à temps discret 25 4. Martingales à temps discret 4.1. Généralités. On fixe un espace de probabilités filtré (Ω, (F n ) n, F, IP ). On pose que F contient ses ensembles négligeables mais les
Plus en détailAnalyse du temps de réponse des systèmes temps réel
Analyse du temps de réponse des systèmes temps réel Pascal Richard Laboratoire d Informatique Scientifique et Industrielle, ENSMA BP 40198 Téléport 2 F-86960 Futuroscope pascal.richard@ensma.fr RÉSUMÉ.
Plus en détailLe Processus Unifié de Rational
Le Processus Unifié de Rational Laurent Henocque http://laurent.henocque.free.fr/ Enseignant Chercheur ESIL/INFO France http://laurent.henocque.perso.esil.univmed.fr/ mis à jour en Novembre 2006 Licence
Plus en détailNotes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables
Notes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables Fausto Errico Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2012 Table des matières
Plus en détailAmphi 3: Espaces complets - Applications linéaires continues
Amphi 3: Espaces complets - Applications linéaires continues Département de Mathématiques École polytechnique Remise en forme mathématique 2013 Suite de Cauchy Soit (X, d) un espace métrique. Une suite
Plus en détail1348 Louvain-la-Neuve TVA BE0428.750.985 RPM Nivelles
I I I S S C C 1348 Louvain-la-Neuve TVA BE0428.750.985 RPM Nivelles Louvain-la-Neuve, le 13 avril 2015 Cher Actionnaire, Concerne: Assemblée Générale Ordinaire et Spéciale du 13 mai 2015 à 10h00 Nous avons
Plus en détail3. Conditionnement P (B)
Conditionnement 16 3. Conditionnement Dans cette section, nous allons rappeler un certain nombre de définitions et de propriétés liées au problème du conditionnement, c est à dire à la prise en compte
Plus en détailQuelles solutions pour des établissements de santé à consommation d énergie annuelle inférieure à
Quelles solutions pour des établissements de santé à consommation d énergie annuelle inférieure à 100 kwh/m²? Rapport final Convention ADEME 04 07 C0043 Référence ARMINES 41204 Référence CSTB DDD/PEB -
Plus en détailCapes 2002 - Première épreuve
Cette correction a été rédigée par Frédéric Bayart. Si vous avez des remarques à faire, ou pour signaler des erreurs, n hésitez pas à écrire à : mathweb@free.fr Mots-clés : équation fonctionnelle, série
Plus en détailHRP H 2 O 2. O-nitro aniline (λmax = 490 nm) O-phénylène diamine NO 2 NH 2
! #"%$'&#()"*!(,+.-'/0(,()1)2"%$ Avant d effectuer le dosage en IR de la biotine, il est nécessaire de s assurer de la reconnaissance du traceur par la streptavidine immobilisée sur les puits. Pour cela,
Plus en détail3 Approximation de solutions d équations
3 Approximation de solutions d équations Une équation scalaire a la forme générale f(x) =0où f est une fonction de IR dans IR. Un système de n équations à n inconnues peut aussi se mettre sous une telle
Plus en détailSur certaines séries entières particulières
ACTA ARITHMETICA XCII. 2) Sur certaines séries entières particulières par Hubert Delange Orsay). Introduction. Dans un exposé à la Conférence Internationale de Théorie des Nombres organisée à Zakopane
Plus en détailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détail8.1 Généralités sur les fonctions de plusieurs variables réelles. f : R 2 R (x, y) 1 x 2 y 2
Chapitre 8 Fonctions de plusieurs variables 8.1 Généralités sur les fonctions de plusieurs variables réelles Définition. Une fonction réelle de n variables réelles est une application d une partie de R
Plus en détailLes mathématiques de la finance Université d été de Sourdun Olivier Bardou olivier.bardou@gdfsuez.com 28 août 2012 De quoi allons nous parler? des principales hypothèses de modélisation des marchés, des
Plus en détail!" #$# % *(!( % (+#$#, ) ( 5- % % 2! $!!!!87777777777!!!!8777777 -% %. / 0 1 ' 2% %. (3 4 562( % 4 5
Bulletin d adhésion au contrat groupe Responsabilité Civile Professionnelle n B1302525PNPI souscrit par AMAVIE pour le compte exclusif des écoles accréditées.!" #$# % &%!'(" "()' ( *(!( % (+#$#, ) -% %.
Plus en détailConstruction de l'intégrale de Lebesgue
Université d'artois Faculté des ciences Jean Perrin Mesure et Intégration (Licence 3 Mathématiques-Informatique) Daniel Li Construction de l'intégrale de Lebesgue 10 février 2011 La construction de l'intégrale
Plus en détailEXERCICE 4 (7 points ) (Commun à tous les candidats)
EXERCICE 4 (7 points ) (Commun à tous les candidats) On cherche à modéliser de deux façons différentes l évolution du nombre, exprimé en millions, de foyers français possédant un téléviseur à écran plat
Plus en détailChapitre 11. Séries de Fourier. Nous supposons connues les formules donnant les coefficients de Fourier d une fonction 2 - périodique :
Chapitre Chapitre. Séries de Fourier Nous supposons connues les formules donnant les coefficients de Fourier d une fonction - périodique : c c a0 f x dx c an f xcosnxdx c c bn f xsinn x dx c L objet de
Plus en détailCours d Analyse I et II
ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE Cours d Analyse I et II Sections Microtechnique & Science et génie des matériaux Dr. Philippe Chabloz avril 23 Table des matières Sur les nombres. Les nombres
Plus en détailApproximation diophantienne uniforme et dimension de Hausdorff
Approximation diophantienne uniforme et dimension de Hausdorff Lingmin LIAO Travaux en collaboration avec Yann Bugeaud, Dong Han Kim et Micha l Rams Université Paris-Est Créteil Séminaire de Probabilités
Plus en détailMéthodes de quadrature. Polytech Paris-UPMC. - p. 1/48
Méthodes de Polytech Paris-UPMC - p. 1/48 Polynôme d interpolation de Preuve et polynôme de Calcul de l erreur d interpolation Étude de la formule d erreur Autres méthodes - p. 2/48 Polynôme d interpolation
Plus en détailNotes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables
Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables Guy Desaulniers Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2014 Table des matières
Plus en détailPremier réseau social rugby
Premier réseau social rugby Rugbygeneration.com est le premier site de la communauté autour de Rugby. Dédié à tous les fans de rugby et les amateurs de toutes générations. Rugby? Échanger, rester en contact,
Plus en détailBougez, protégez votre liberté!
> F a Bgz, pégz v bé! www.a-. CAT.ELB.a240215 - Cé ph : Fa Daz à v p aé N az p a v gâh a v! Aj h, p g évq v ; Pa, p 4 aça q, v, éq qaé v. Ca ax é ç, b pa évé ax p âgé a h a p j. E pè v, h pa épagé. Pa
Plus en détailUne comparaison de méthodes de discrimination des masses de véhicules automobiles
p.1/34 Une comparaison de méthodes de discrimination des masses de véhicules automobiles A. Rakotomamonjy, R. Le Riche et D. Gualandris INSA de Rouen / CNRS 1884 et SMS / PSA Enquêtes en clientèle dans
Plus en détailCalcul fonctionnel holomorphe dans les algèbres de Banach
Chapitre 7 Calcul fonctionnel holomorphe dans les algèbres de Banach L objet de ce chapitre est de définir un calcul fonctionnel holomorphe qui prolonge le calcul fonctionnel polynômial et qui respecte
Plus en détailFonctions holomorphes
Université Joseph Fourier, Grenoble Maths en Ligne Fonctions holomorphes Christine Laurent-Thiébaut Ceci est le second volet de l étude des fonctions d une variable complexe, faisant suite au chapitre
Plus en détailIntégration et probabilités TD1 Espaces mesurés Corrigé
Intégration et probabilités TD1 Espaces mesurés Corrigé 2012-2013 1 Petites questions 1 Est-ce que l ensemble des ouverts de R est une tribu? Réponse : Non, car le complémentaire de ], 0[ n est pas ouvert.
Plus en détailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
Plus en détailThéorie de la Mesure et Intégration
Université Pierre & Marie Curie (Paris 6) Licence de Mathématiques L3 UE LM364 Intégration 1 & UE LM365 Intégration 2 Année 2010 11 Théorie de la Mesure et Intégration Responsable des cours : Amaury LAMBERT
Plus en détailA/A: 122.20 MHz 206º. Segre 2400. Arfa Adrall. El Pla de Sant Tirs 4.9 NM. SEO 340 Not Usable Between 328º-028º / 088º-128º / 208º-268º
Visual Approach Chart AD ELEV: 2628 ft LAT: N42º 20' 46.35" LON: E001º 24' 53.09" VAR: W0.35º (2010) A/A: 122.20 MHz LESU BARCELONA TMA FL245 C FL195 127.70 D FL80 / 1000ft ASFC Andorra 6400 5600 306º
Plus en détailDéveloppements limités. Notion de développement limité
MT12 - ch2 Page 1/8 Développements limités Dans tout ce chapitre, I désigne un intervalle de R non vide et non réduit à un point. I Notion de développement limité Dans tout ce paragraphe, a désigne un
Plus en détailC algèbre d un certain groupe de Lie nilpotent.
Université Paul Verlaine - METZ LMAM 6 décembre 2011 1 2 3 4 Les transformations de Fourier. Le C algèbre de G/ Z. Le C algèbre du sous-groupe G 5 / vect{u,v }. Conclusion. G un groupe de Lie, Ĝ l ensemble
Plus en détailRupture et plasticité
Rupture et plasticité Département de Mécanique, Ecole Polytechnique, 2009 2010 Département de Mécanique, Ecole Polytechnique, 2009 2010 25 novembre 2009 1 / 44 Rupture et plasticité : plan du cours Comportements
Plus en détailSymétrie des solutions d équations semi-linéaires elliptiques
Symétrie des solutions d équations semi-linéaires elliptiques Jean DOLBEAULT a, Patricio FELMER b a Ceremade (UMR CNRS no. 7534), Université Paris IX-Dauphine, Place de Lattre de Tassigny, 75775 Paris
Plus en détailLES MÉTHODES DE POINT INTÉRIEUR 1
Chapitre XIII LES MÉTHODES DE POINT INTÉRIEUR 1 XIII.1 Introduction Nous débutons par un rappel de la formulation standard d un problème d optimisation 2 linéaire et donnons un bref aperçu des différences
Plus en détailLISTE DES CODES TESTS MOTEURS, HVTS, CLUTCHS, MODE 03/O4
LIT TT TU, HVT, LUTH, / LNT AIN TU 1/11 1/11 1/11 F TU (fonction choix k7) /1 /1 /1 GIT TU /1 /1 /1 TN TU 6/16 6/16 6/16 VNTIL PTIQU 7/17 7/17 7/17 ANNING TU ALL TU LN TU 1 1 1 II TU UNT TU TU PLATAU L
Plus en détailFonctions de plusieurs variables et changements de variables
Notes du cours d'équations aux Dérivées Partielles de l'isima, première année http://wwwisimafr/leborgne Fonctions de plusieurs variables et changements de variables Gilles Leborgne juin 006 Table des
Plus en détailEquations aux Dérivées Partielles
Equations aux Dérivées Partielles Tony Lelièvre 29-2 Après avoir considéré dans le capitre précédent des équations d évolution pour des fonctions ne dépendant que du paramètre temps, nous nous intéressons
Plus en détailALGORITHMIQUE II NOTION DE COMPLEXITE. SMI AlgoII
ALGORITHMIQUE II NOTION DE COMPLEXITE 1 2 Comment choisir entre différents algorithmes pour résoudre un même problème? Plusieurs critères de choix : Exactitude Simplicité Efficacité (but de ce chapitre)
Plus en détailLIAISON A50 A57 TRAVERSEE
LIAISON A5 A57 TRAVERSEE SOUTERRAINE DE TOULON SECOND TUBE (SUD) ANALYSE DES DONNEES DE QUALITE DE L AIR NOVEMBRE 27 A JANVIER 28 TOULON OUEST, PUITS MARCHAND, TOULON EST Liaison A5 A57 Traversée souterraine
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours
Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****
Plus en détailI. Polynômes de Tchebychev
Première épreuve CCP filière MP I. Polynômes de Tchebychev ( ) 1.a) Tout réel θ vérifie cos(nθ) = Re ((cos θ + i sin θ) n ) = Re Cn k (cos θ) n k i k (sin θ) k Or i k est réel quand k est pair et imaginaire
Plus en détailChapitre 3. Mesures stationnaires. et théorèmes de convergence
Chapitre 3 Mesures stationnaires et théorèmes de convergence Christiane Cocozza-Thivent, Université de Marne-la-Vallée p.1 I. Mesures stationnaires Christiane Cocozza-Thivent, Université de Marne-la-Vallée
Plus en détailMICRO AUTOMATION SET
Micro Automation Sets Pour la téléconduite Brochure Juillet 2008 MICRO AUTOMATION SET Micro Automations Sets Des solutions compactes pour votre succès Les Micro Automation Sets sont des combinaisons de
Plus en détailContinuité en un point
DOCUMENT 4 Continuité en un point En général, D f désigne l ensemble de définition de la fonction f et on supposera toujours que cet ensemble est inclus dans R. Toutes les fonctions considérées sont à
Plus en détailrf( 1 f(x)x dx = O. ) U concours externe de recrutement de professeurs agreg6s composition d analyse
page 8 AGREGATIN de MATHEMATIQUES: 1991 1/5 externeanalyse concours externe de recrutement de professeurs agreg6s composition d analyse NTATINS ET DGFINITINS Dans tout le problème, R+ désigne l intervalle
Plus en détailIntroduction à la. Points Critiques. Otared Kavian. et Applications aux Problèmes Elliptiques. Springer-Verlag
Otared Kavian Introduction à la Théorie des Points Critiques et Applications aux Problèmes Elliptiques Springer-Verlag Berlin Heidelberg NewYork London Paris Tokyo Hong Kong Barcelona Budapest Avant propos
Plus en détailRO04/TI07 - Optimisation non-linéaire
RO04/TI07 - Optimisation non-linéaire Stéphane Mottelet Université de Technologie de Compiègne Printemps 2003 I Motivations et notions fondamentales 4 I1 Motivations 5 I2 Formes quadratiques 13 I3 Rappels
Plus en détailDécomposition de Föllmer-Schweizer. explicite d un passif d assurance vie. au moyen du calcul de Malliavin
Décomposition de Föllmer-Schweizer explicite d un passif d assurance vie au moyen du calcul de Malliavin Mémoire présenté par Sébastien de Valeriola en vue de l obtention du master en sciences actuarielles
Plus en détailI. Introduction. 1. Objectifs. 2. Les options. a. Présentation du problème.
I. Introduction. 1. Objectifs. Le but de ces quelques séances est d introduire les outils mathématiques, plus précisément ceux de nature probabiliste, qui interviennent dans les modèles financiers ; nous
Plus en détail