Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
パーフェクトイド空間とコホモロジー
Search
Naoya Umezaki
October 06, 2018
0
1.5k
パーフェクトイド空間とコホモロジー
MATHPOWER2018での講演。フィールズ賞受賞者Peter Scholzeの業績紹介。
Naoya Umezaki
October 06, 2018
Tweet
Share
More Decks by Naoya Umezaki
See All by Naoya Umezaki
ミケル点とべズーの定理
unaoya
0
720
すうがく徒のつどい@オンライン「ラマヌジャンのデルタ」
unaoya
0
580
合同式と幾何学
unaoya
0
2.2k
すうがく徒のつどい@オンライン「ヴェイユ予想とl進層のフーリエ変換」
unaoya
0
770
Egisonパターンマッチによる彩色
unaoya
1
550
関数等式と双対性
unaoya
1
710
直交多項式と表現論
unaoya
0
800
導来代数幾何入門
unaoya
0
910
作図と対称性
unaoya
0
200
Featured
See All Featured
Designing on Purpose - Digital PM Summit 2013
jponch
114
6.9k
Agile that works and the tools we love
rasmusluckow
327
21k
10 Git Anti Patterns You Should be Aware of
lemiorhan
653
59k
Why You Should Never Use an ORM
jnunemaker
PRO
53
9k
Pencils Down: Stop Designing & Start Developing
hursman
119
11k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
42
6.5k
Facilitating Awesome Meetings
lara
49
6k
JavaScript: Past, Present, and Future - NDC Porto 2020
reverentgeek
45
4.9k
Build your cross-platform service in a week with App Engine
jlugia
229
18k
It's Worth the Effort
3n
183
27k
Speed Design
sergeychernyshev
22
460
Atom: Resistance is Futile
akmur
261
25k
Transcript
ύʔϑΣΫτΠυۭؒͱ ίϗϞϩδʔ Peter Scholzeͷۀհ ക࡚@unaoya ͢͏͕͘ͿΜ͔ MATHPOWER2018 10/6
डཧ༝ p ਐͰͷزԿͷݚڀ ▶ ύʔϑΣΫτΠυۭؒͷཧ ▶ ϥϯάϥϯζରԠͷԠ༻ ▶ ৽͍͠ίϗϞϩδʔཧ
pਐ ༗ཧ͔Β࣮3.14159265 · · · ༗ཧ͔Βp ਐ · · ·
245123 = 3+2p+1p2 +5p3 +4p4 +2p5 +· · ·
pਐ ▶ ࣮Ͱ0.9999 · · · = 1 ▶ p
= 2ͷͱ͖ɺpਐͰ· · · 111111 = −1
زԿֶ ଟ߲ࣜΛߟ͑Δͱਤܗ͕ܾ·Δɻ ▶ ԁx2 + y2 = 1 ▶ ପԁۂઢy2
= x3 + x ▶ ϑΣϧϚʔۂઢxn + yn = 1
ίϗϞϩδʔ ݀ͷΛ͑Δɻਤܗͷྨ͕Ͱ͖Δɻ H1 sing (X) = H1 dR (X) =
R2
ίϗϞϩδʔ ༷ʑͳίϗϞϩδʔ͕͋Δɻ υϥʔϜ ίϗϞϩδʔ ಛҟ ίϗϞϩδʔ ؔ ඍํఔࣜ ۭؒͷதͷ ਤܗͷมܗ
ίϗϞϩδʔͷൺֱ υϥʔϜ ίϗϞϩδʔ ಛҟ ίϗϞϩδʔ ϗοδ ίϗϞϩδʔ ίϗϞϩδʔͷൺֱ͔Βपظ͕ग़ͯ͘Δɻ
ͱίϗϞϩδʔ ▶ ੲ͔Βߟ͑ΒΕ͍͍ͯͨΖΜͳ͕ί ϗϞϩδʔΛͬͯදݱͰ͖Δɻ ▶ ʹԠ༻ʢϦʔϚϯ༧ͷྨࣅʣ ▶ ίϗϞϩδʔΛௐΕ৭ʑΘ͔Δʂ
ύʔϑΣΫτΠυۭؒ ▶ زԿଟ߲ࣜx, x2 + ax + b, . .
. ▶ ղੳزԿऩଋႈڃx + px + p2x2 + · · · ▶ ύʔϑΣΫτΠυۭؒ 1/x + p + p2x + · · · , 1/xp + 1 + px + · · · , 1/xp2 + 1/xp + · · · , . . .
ύʔϑΣΫτΠυۭؒ ύʔϑΣΫτΠυۭؒΛ͏ͱίϗϞϩδʔ ͕ௐ͘͢ͳΔɻ
pਐHodgeཧ ίϗϞϩδʔͷൺֱఆཧ Hi ´ et (X, Fp ) ⊗ OC
/p ∼ = Hi ´ et (X, O+ X /p) Hi ´ et (X, Qp ) ⊗Qp BdR ∼ = Hi dR (X0 ) ⊗k BdR
pਐपظࣸ૾ ϗοδཧͷp ਐ൛ πHT : S∗ Kp → F ପԁۂઢͷ
ϞδϡϥΠ ίϗϞϩδʔ ͷൺֱ
LanglandsରԠ ΨϩΞදݱ อܕදݱ ପԁۂઢ อܕܗࣜ ▶ ࠨ͖ɿΨϩΞදݱͷߏ ΞΠώϥʔ-ࢤଜ etc ▶
ӈ͖ɿΨϩΞදݱͷอܕੑ ςΠϥʔ-ϫΠϧζ etc
LanglandsରԠ ΨϩΞදݱ อܕදݱ 1. ίϗϞϩδʔͷൺֱఆཧ 2. ہॴରশۭؒͷp-torsionίϗϞϩδʔ͕ ௐΒΕΔ 3. ΑΓ͍อܕදݱ͔ΒΨϩΞදݱͷߏ
4. ΨϩΞදݱͷอܕੑʹԠ༻
৽͍͠ίϗϞϩδʔཧ ίϗϞϩδʔΛ౷Ұతʹѻ͍͍ͨ ʁ Τλʔϧ ΫϦε λϦϯ υϥʔϜ
৽͍͠ίϗϞϩδʔཧ ϥϯάϥϯζରԠͷݚڀ͔Β γτΡΧʁ Τλʔϧ ΫϦε λϦϯ υϥʔϜ