大好き★代数幾何 Part 3

このエントリーをはてなブックマークに追加
952132人目の素数さん:2009/02/04(水) 23:02:11
エタールの学び方だけどSGA4・1/2でドリュ−ニュのコンパクトな
講義を読んで、さらにドリーニュのWeil conjectureUで応用をやるとよい
みたいなことをアマゾンのMilne:etale cohomologyの書評で見たんだけど
このやり方はどうだろう。
>>947
なんでも書いてある本ならハリグリだし、ざっとハイライトを押さえたい
なら小林で良いんじゃないか
953132人目の素数さん:2009/02/05(木) 01:13:32
>>942
TammeのIntroduction to Etale Cohomologyが一番手っ取り早い
954132人目の素数さん:2009/02/05(木) 20:25:52
↑ 分かりやすくて読みやすいよね。読んで思ったのは、SGAの内容の抜粋みたいな。
955132人目の素数さん:2009/02/07(土) 20:12:45
ある掲示板でエタールの勉強法のアドバイスを見つけたのだが
うpしていいかな?異常に長いので気が引けるだけど。
956132人目の素数さん:2009/02/07(土) 20:15:22
>>955
お願いします
957132人目の素数さん:2009/02/07(土) 20:18:39

過去レスを見ていないが、多分,

『 代数幾何は、大好きか ? 』

という、レスは あったはず !
958132人目の素数さん:2009/02/07(土) 20:22:17

>僕は現在大学2年生で、トポスに興味があります。
>4年次に、トポスとの関連でエタールコホモロジーを勉強したいのですが、

■ 現状の相場を説明する答え方

大体 数論幾何 という分野を専攻しようとしている
学生は、早くて3年 普通 4年〜M1の始め
ぐらいでエタールコホモロジーという概念に触れます。

というのはこの概念はこの分野の基本概念なので、
まずエタールコホモロジーの基本的な性質を知っていないと
この分野で語られている言葉が全く理解出来なくなるからです。
(これは上述の「エタールコホモロジーを勉強したいという言葉が
広範をさしている」という事を説明しているつもりです。)

エタールコホモロジーを勉強したいという言葉の意味を
数論幾何の基本的な事を知りたいという文脈で解するならば、
標準的な相場としては、取り敢えず Weil予想 を勉強する事を
目標にします。

最終的な目標がトポスにあるとすると これから書く事は
的外れかもしれませんが、
そうだとするならば、まず特殊な場合のWeil予想の証明を
勉強する事を薦めます。

例えば、Abel多様体(c.f.楕円曲線)の場合の
Weil予想の証明で
Tate加群へのFrobeniusの作用の固有値の議論 
→ 一般の多様体の場合 このTate加群が
エタールコホモロジーに置き換わる訳です。
959132人目の素数さん:2009/02/07(土) 20:22:46
処でWeil予想というのは 数論的な問題にも拘わらず、
レフェシェツの代数的トポロジーでの研究にWeilが触発されて
予想されたものです。 ですから論理的には
不要な場合もあるかも知れませんが、代数的トポロジーに
明るい方が、勉強していて楽しいとは思います。

論理的な所を追求すると、
エタールコホモロジーの基本的な定理は証明をちゃんと書くと
100ページ以上になるものが少なくありません。
Milneのエタールコホモロジーという本がありますが
その本では 大体証明の粗筋が書いてあるだけです。
しかも 例えば、base change theorem を証明しようとしたら
Artinの代数的近似の理論を要したり
比較定理を証明しようとしてGAGAまで遡ると広中の特異点解消を使っていたりします。

だから4年次で何処まで丁寧にやるかというのは、将来何を研究したいかと
勉強速度と拘わってきています。

大体 標準的な4年生がエタールコホモロジーの基礎を勉強するのは
SGA 4 1/2 と Dix expose で その前に
Hartshorne とか Serre の local field, Galois cohomology
Raynaud の Hensel環の教科書
程度の予備知識を学んでから挑むようです。
それから フランス語には慣れていると関連する本が沢山読めます。

但し、SGA 4 1/2 では topos という言葉は避けているので
topiaさんの意には叶っていないかもしれまん。
960132人目の素数さん:2009/02/07(土) 20:24:07
■ 深読みした答え方

上述した様に トポスという言葉を持ち出さなくてもエタールコホモロジー
は定義出来る訳です。

トポス迄導入して エタールコホモロジー論を展開する
本質的な必要性が感じられる様になったのは私は、

Thomason の algebraic K-theory and etale cohology

を本質的に使っている結果にたどり着いてからです。
(c.f Absolute cohomological purelity)

数論幾何というよりは、ホモトピー論に近いかもしれませんが
トポス理論に関心があってそこから エタールコホモロジーに関心を持っている
というのでしたら 是非いずれは一読する事を薦めます。

それから、 Quillen の etale homotopy 型 を用いたAdams予想の証明
等も面白いと思います。

しかし、4年や修士で指導教官を選ぶ時に苦労すると思います。
(日本でこういう見地からエタールコホモロジーを専門にしている
プロは殆どいません。)
961132人目の素数さん:2009/02/07(土) 20:25:01
√(961) = 31 のアイスクリーム は おいしいねっ。
962132人目の素数さん:2009/02/07(土) 20:25:20
■ トポスに興味がある という部分を強調した答え方

トポスに興味があるのでしたら、

・連続体仮説のトポス理論的証明
(forcingの一般化された層化という解釈)

・Godelの完全性定理 ⇔ 連接的トポスは十分点を持つ 

等といったロジックへの応用を考えているのか

・トポスの安定homotopy論 (Joyal-Jarden)

といったホモトピー論に関心があるかで又答えが変わってくると思います。
topiaさんの最終的な興味は何処に向いているのでしょう?
963132人目の素数さん:2009/02/07(土) 20:26:40
9-6=3
964132人目の素数さん:2009/02/07(土) 22:22:19
伊藤ゆかりさんのやってる代数幾何のメーリングリストの
申し込み方教えて下さい。
965132人目の素数さん:2009/02/11(水) 03:23:03
代数幾何........というか初等幾何
http://www-math.edu.kagoshima-u.ac.jp/~yasui/elementarygeometry2005.pdf#search='初等幾何学'
P9以降の演習が解けない
レベル低くてごめm(__)m
966132人目の素数さん:2009/02/18(水) 19:29:12
etaleじゃなくて、cristalline cohomologyはどうやって勉強すればいいのですか?
967132人目の素数さん:2009/02/18(水) 20:43:47
>>965
それのどこが初等幾何なんだ???
968132人目の素数さん:2009/02/20(金) 06:43:49
>>965
代数幾何でもないし、初等幾何でもないなw
969132人目の素数さん:2009/03/01(日) 23:06:11
965は鹿児島大学の初等幾何の教科書?ぽいもので、僕が単位落とした唯一の授業
図書館とか行って探しても、かすりもしなくて(__;)
分野的にはどこを探せばいいんでしょうか(泣)
970132人目の素数さん:2009/03/02(月) 00:47:26
>>969
普通は数理論理学とか記号論理学とか呼ばれる

この演習を解くだけなら、定理を整理して
代数的に証明を書くだけの問題だけどね
971132人目の素数さん:2009/03/02(月) 02:25:32
鹿児島大学スレって落ちたのか
972132人目の素数さん:2009/03/02(月) 07:40:08
こんなん記号論理でも数理論理でも何でもない。
ただの「集合と位相」の集合の部分。
973132人目の素数さん:2009/03/02(月) 10:25:02
pdfのタイトル自体、「基本的かつ易しい集合の話」じゃん…
何をとち狂ったら初等幾何の教科書にみえるんだ……

大学初年級の講義が、代数でも解析でも幾何でも、まずは集合と写像を基礎とした
数学的な文章の読解に必要な、最低限度の集合論や記号論理を含めた訓練から
始まるのは致し方ないことだが。
974132人目の素数さん:2009/03/02(月) 11:30:08
>pdfのタイトル自体、「基本的かつ易しい集合の話」じゃん…
>何をとち狂ったら初等幾何の教科書にみえるんだ……
それは、その下に「(初等幾何学)」と書いてあるからだろ。
何も知らない奴が見たら、その「基本的かつ易しい集合の話」が
「初等幾何学」の一部に見えるのは自然なことだ。

もちろん、「幾何」も「集合」も知らなきゃ、ということだがw
975132人目の素数さん:2009/03/04(水) 20:18:44
>969
>僕が単位落とした唯一の授業

他のは授業は、「可」だったんだろうね。
976132人目の素数さん:2009/03/05(木) 23:27:46
大学単位も薄利多売の時代か
977132人目の素数さん:2009/03/06(金) 21:09:38
代数幾何の人が学会でほとんど発表ない。
いつも少ないけど今回は特に少ない。
978132人目の素数さん:2009/03/19(木) 21:10:02
            l   i    i        i    i    l
   / ̄ヽ   昼l   ゝ  ノ        ゝ  ノゝ  ノ
   , o   ', 食ご l  i´   `i  _   i´ 講  `i   `l
   レ、ヮ __/  べはl  l     /  \ l  義  l   l
     / ヽ  よん.l       {@  @ i   が  l   l
   _/   l ヽ うを l       } し_  /   お
   しl   i i    l        > ⊃ <    わ
     l   ート   lヽ、    / l    ヽ     っ
 ̄ ̄¨¨'~~ ‐‐‐--─|  ヽ 、 / /l   丶 .l`\ た
____   __   |     (_/ |   } l`\|
    ||  |B6F|  |  へ へ   ヽ、  l ! \||
    ||  |WC|  |/   \ `ヽ、 ヽし! /|| ガタッ
    ||   ̄ ̄  ..|    / /     ヽ、||
  ◎||       |   / /        ヽ、
 ̄ ̄ ¨¨¨ー─‐‐--- ,,, __ ____
\何か食い物の臭いしね?/|   ̄¨¨` ー──---
\隣、便所飯してるとか?/ | \アーッ!/ 
\よし、そいつも誘おうぜ/  |    .|:::::::::::::: 
       ,, _    . __/ \アッアーッ!/      
モパ  /     `、   |    モパ   .|:::::::::::::::  
グク /       ヽ |    グク  /  ̄ ヽ:::::モパ
モパ./  ●    ●l |    モパ  l @  @ l:::グク
グク l  U  し  U l |   グク  } し_  /::::モパ
   l u  ___ u  l |     _  /=テ⊃ <_グク
    >u、 _` --' _Uィ l   ◎ー)/キ' ~    \ヽ
  /  0   ̄  uヽ |    |  | | i二二二i-'  ) ',
. /   u     0  ヽ|    ~~~ ~ l ヽ--┬ ' ./
 テ==tニト      |      / ̄/ ̄ ̄` ノ /
/ ̄) ̄ | ̄ ̄ ̄ ̄ ̄|      |  |  |二二二)
 オコトワリシマス  |    | | | 
979132人目の素数さん:2009/03/19(木) 21:35:23
>>977
一般講演は6つもある
代数学賞は一つ函数論の特別講演が一つ
春季賞もそうかもしれない
980132人目の素数さん:2009/03/22(日) 00:18:39
解析No1
981132人目の素数さん:2009/03/22(日) 12:21:12
春季賞は解析ってこと?
982132人目の素数さん:2009/03/23(月) 12:37:24
違う
983132人目の素数さん:2009/03/23(月) 20:13:26
三年二百六十九日。
984132人目の素数さん:2009/03/24(火) 20:13:26
三年二百七十日。
985132人目の素数さん:2009/03/25(水) 12:46:57
age
986132人目の素数さん:2009/03/25(水) 20:13:26
三年二百七十一日。
987132人目の素数さん:2009/03/25(水) 20:41:58
age
988132人目の素数さん:2009/03/25(水) 22:36:00
77 名前:名無しさん@├\├\廾□`/[sage] 投稿日:2009/03/25(水) 01:07:14 ID:kZJu3bOh
            ,. :'´: ,. -― : : : : : : : : : : : : : : : : : }::_______       
       /: : :/: : :,. : : : : : : : : : :./ : : : : : /: : : : : : : `ヽ、
 _ _ /__/.: :.:/: : : : : : : : : /: :. :. :.: : :/: : : : : :-:、_: :>   
´:::::::`|:::::}´:::/: : :/: : : : : ,. -―ァ'‐-,ィ : : : : ,イ: : : : : : : : :\
:::::::::::::じ'::/:.: : ,.': : : : : :/: : :/ : //: : :./ ハ: : : : : : : : : :ヽ
:::::::::::/:::/: : : : /: : : : : : : :.,:-/: :./ /: :/  / |: :__: : : : : : : : :ヽ
:::::/|: /: ;.イ:/: : : : : : :/ /:/  //   /  卜:.|:`ヽ: : : : : : ハ
7|: : |//: :l/ : : : : :/  /'´   ノ′   /   | : :|:.:.: |:.: : : : /: : i   
': |: : {´ : __/ : : : / ,ヘ、ー―      /   |:.:.,ハ: : :! : |:. :.|: : : l
: :|: : : ̄: /: : :/   ゞミ主主多         |:./ |: : : : |: : :| : : :|      
:.|: .:. : ,' : ,イ  :::::::::::::::.          __\ j/   |.: : : :| : : !∧: | 
: :.| : : : :|: /(_   :::::::::::::::         メ@ `ー  ,|.: : :.:! : : |′V
: : | : : : |/、           __     ゞミ主主!/:|: : :/ : : ,ハ     
: :. l : : : :|: :ト-ヘ、      /::::::`¬ァ     :::::::: /: :|: :/: : :./::::} 
: .: .l: : : : |: :|   \     {:::::::::::::/      ::::: ハ : | / : : / ̄          
:.:.: ハ : : : |: :|  /::`ト、   `ー一'       ノイ: :j/|: : /    ぽわ〜ん
: ,':∧:.: : l: :レ'´:::::::: |;ノ   > 、 _____,. イ:/|: : : :| :/   
:./,.'  〉、:.ヽ:!:::::::::::::::|   |::::::::}     / : : : l// : : : :|/    
,'/ ,<:::::\: :\::::::::: |   ヽ}:::::\   /: : : : // : : : :/
:| /   \:::::ヽ : ヽ::::::「 ̄ ̄∨:::::::::::\/: : : : // : : : :/
j/      ヽ:: }: : :| ::::|   /:::::::::::::::/∧: : :,イ/ : : : :/ 
989132人目の素数さん:2009/03/25(水) 22:36:42
              _  - - ‐‐‐‐-- 、
           , ィ '´            `丶、
         /                  ヽ
      ノ'´   |      ト  ヘ  ヘ    ヘ  ヽ
  _ =´     |       |ヽ ヽ  i    ヘ  ヽ
    /´     ヘ      |‐t-キ_A  i    ヘ  ヽ   
   /     |  | !     | |  キヘ ヘ i     ヘ  ヽ
   / /    | レヽヽ    | ノ   ヽl ヘ|    i |  ヽ
  / /   !  レ'| ヽ iヽ   レ  , ,〉=ミe|    | ト  ヽ
  | /|    !  | |   ヽ ヽ  |  '´彡'´ ̄ |    ト、||  ヒ`、
 | / |  | ヘ  ト|  ー- ヽ|       |    / ヽ|  ヽ
 レ |  |  ヘ  |ヽ 彡≡ミ        . | |  i'´ ,    ヽ
   |  /|  ヘ |,、ヽ     '  ,ァ'´`l   | |  ノト、i` ‐- _ \
   | / |  ! 〉' i |      ( ___,ノ  ,| / /,、i ヽ     ̄
    ! |  ! ト|  /  ヽ、   _   _, '´ノ/ / ノ ||
    ! | ヘ | | /~`>' )| ̄  > ̄lヽヘ /イ //`ヽ、
    |  ヘ|ノ  /_~|〈 | , '´! ̄/ / //| /     ヽ
        |   ' ̄| ト V /  L__/ レ      |
        ヘ   `</.|`| |       |        |
         |    |  i | |       |        |
990132人目の素数さん:2009/03/25(水) 22:37:34


             ..x<: : : : : : : : : : : : : : : : :> 、
      、_, - ‐ ¨: : : : : : : : : : : : : : : : : : : : : : : : : ヽ
         ̄ ̄> ´: : : : : : : : : : : : : : : : : : : : : : : : : : ハ
          /: : : : /: : : : : : : : : : : : _ : : : : : : : : : : : ハ
        /: : : , : /: :⌒}: :!: : : : : : :´∧ ヽ : : | : : : : : : |: :'.
.       / : : /: :/ : : :/ |: | : : : : : : / ハ: : : : | : : : : : : l: :.|
      /://: : :!: : :/  |' l: : : : :.//   ヽ. : ::l: : : : : !: :': ::!
.      /′ .': : : :l: : .'〃,气 V: : 〃  ,ィ=メ、| : : : : ト、l : |
          | : : : l: :小{ん ;ハ∨:./   ,イヘ,.ィ トハ| : : : : l: :`: :|
          |: : : :W∧ V{:::}l V     l {:: イ }. }' : : : : ハ: : : :!
          l: :∧ : : : l 弋_り      弋;_:;り .'.:/ : : /.': :ヘ: |    
          l / l: : : :{ xxx    '      xxx/.:/ : : /: : : : | `
          }'  ∨: : ゝ、    _      /.:/ : : /: ヽ: : :ハ
.            ∨ : : ト: :T v-、_ ..  l7ィ: : :∧: : ト、: :ヽ
             ∨ : | ヽl/}  }/}    / 7 : ∧ \l    ̄`
.               ∨.:l/ '  ハ__/ /: :.イ \
             V ハ /  '¨ヽ_ / // / 三 ヽ
                 ∧ ∨   ´ }'    // /⌒}
                 | ∨    /'/  //>´    |
                 |  }     /〃// /      |
991132人目の素数さん:2009/03/25(水) 22:38:25
           ____,i ー- ――-- 、
    -==ニ二_,. -      |          ` ヽ
         /        !   ::..     \  /`:...イ` 、
         / /    /  ハ  ∧:..    i:. \::::::::::V::::::::::::\
      / ,.-/     /  /  V  ! ',\::..  l_j   ヽ:::::::ハ:::::::::::::::::\
   /,. ´ /   /  |:  /   ', ', ヽ \::..    ヽ ヽ::::::',::::::::::::::/
  /  //   i   :| /     ヽ:', ヽ_ ,.\-‐   ト  !::::::',:::::/
    /:::/  i  | ‐/‐V- .,     ヽ'´ ヽ_,,.-X::.   i::ヽ':::::::i/
    `゙,'   l  | :/  ―-       '"_rオ示斤   :l::::/ ̄li
     i:.  ハ | :∧<f代テミ     ,イ/::::i } リ ヽ::.  |/.::  l',
     { /|::::i l i :ハ k i:::: }      ト y‐ j   ri  }.::  |:i
     |:/ `∧ |! :| i 辷 ン      ヽ廴ン  / l |::.:  ! l
     !   i ハ  |ヽl           """    _,| |:.::.  ,' |
        j  ヽ :|:./! '""            イ ̄:/|!::.:: /.::. l    
        l  ::.::.ヽ// 、   ―-―‐  ィ´ /::/.::.:: /.::.::.  !
        |  ::.::./ /    `゙  ‐-‐ ´ l  //   /:|::.::.  l
        |  ::.::.ヽ ゝ"´}  _ _/     ヽ/    ,.ハ::l::.::.:  |
        |  ::.::::{ '"´ }´‖       /   ,.<   i:l::.::.:  }
        |  :.::.:il / ヽ }‖      /   ,..<  \ l|::.::.:  |
        |   .::.{ ヽ  へ }‖     /  /リリ    il::.::   !
        l   ::.i 入  |l‐--=  -‐/  /≦i、/     |::.   /
992132人目の素数さん:2009/03/25(水) 22:39:14
               ___   /ヽ、
        ─==フ¨´      ̄|  ``'ー- 、
          /,        / ,ィ'|  ヽ     ヽ、
         // /  /  /〃 | | |   ヽ    ヾYニヽ、
          /,イ  /   / 〃/,  |│!、   ',.   ヽ |:.:.:ヘ:.:.\
       / /  ,'  / 孑|'"   l !| \ }    ∨:.:.:.:.:',:.:./
        /  i  ,'' /  j   l ||  ヽ |`i    }:.:.:.:.:.:.∨
         |   /  |/{!7メミ、    | _ _土 l|  | |:.:.:.:.:.:.:.|
        | / |  lム {:::::::}     'fて::;;;}7}  ト、|:.:.:.:.:. 丿
        |/  | │il ヒ辷     {::::::::ソ |  | | ̄ ̄ |   
          |ヽ∧} '   ,    ` ー'′ | /)  ,'  |
          | | | ` 、   r‐┐   ''  |/ノ  /  |
          | | l    |>.、`___ ..   -‐'ア     /l   |
      r‐‐'"¨¨V | |    |  |  / \/    / |   |
      ≧=   Y |   │ /-<   〃     /   |   |
    と´r─'  _,イヽ、  ,レ'|::::::∧ /    イ    |   |
      `ー┬´   |  /  厂::| ∨    / │   │  |
        |    丿 /  /:::::::| /    /   |    |  │
993132人目の素数さん:2009/03/25(水) 22:39:55
.       /: : : : : : : : : : :: : : : : : : : : : : : : . . ` 、
.     , ': :   . : : : :,: -‐:/: : :. : : : : : : ー-、: : . .  \
    /: :     /: : : /: : : :.:. : : : : : : :|: . ヽ: .  ヽ、 \
.   /: : : . . : ::i. : : : : :/|: : :/ :.:| : : : : |: :| : : : : : i: : :ヘ\ヘ
.   ,': :/ : : : : :.!: : : /:/ .!: :/ヽ: :!: : : : :|: :|、: : : : :.|: : : ∧ ヾ
   ;. :/: : : : : : ! : ;イ:/  }:/  `|: : : :.∧:,! ヽ: : : :|: : : : ∧
   i:/: : : : : : :.l: / l/ ∩ {    |: : : / ∩ ∨: :.|: : : : : :ハ
  /:,.イ: : : : :./イ    | !      |: : /   | !   ∨:,!:. : : : i、::i
/イ : :! :. : : : : l     | !      l: :/   | !   ∨ヽ: : : :| ヾ
  /: : :| :.: : : : : |   ∪     !/   ∪  /:.:.:.:.i: : : | 
. /: :,/ | :.: : : : : :!  . .. .            . ....l:.:.:.:.:.|∨:;'
///: :| :.: : : : : :| : ::::::::: :    ___    : :::::/:.:.:.:.:.:! }/   
  /: , '| :| :|: : : :.|ヽ.       /`′:.:〉   ,.イ:|:.:.:.:.:.:.:!
. // |/!: |: : : : !-‐> r 、 _/:.:.:.:.:.:/、<´/|/ヽ:.:.:.:.:|
     |/|: : : : |/:::::::|´ ./:.:.:.:.:.:/:::::\::`ヽ  ∨:.::!
     / ヽ: : : |::::::::::::|、 ゝ--‐,'イ:::::::::::〉:::::ハ  ∨:,!
     ,':::::::::\:.|、::::::::::|、` ー ' イ::::ヾ´:::::::::::!   }/
      i:::::::::i:::::ヾ::>'::::| ` ¨ ´ |:::::::::\:/::::|
      |:::::::::∨<´::::::::::::!     |:::::::::::/:|::::::|
     |:::::::::::|:::::\.::::::::|     .:|::::::::/::::!::::::|
.      〉:::::::::!::::::::::`ヽ.::|    .: |:::::/::::::|:::::::|
994132人目の素数さん:2009/03/25(水) 22:41:38
1
995132人目の素数さん:2009/03/25(水) 22:42:44
2
996132人目の素数さん:2009/03/25(水) 22:43:46
3
997132人目の素数さん:2009/03/25(水) 22:45:04
ダァ〜
998132人目の素数さん:2009/03/25(水) 22:45:41
いのきぃ〜
999132人目の素数さん:2009/03/25(水) 22:47:02
>>1000 どうぞ( ・∀・)つ
1000132人目の素数さん:2009/03/25(水) 22:47:08
King死ね
10011001
このスレッドは1000を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。