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
Yuichi Ike
October 06, 2018
Science
0
12k
柏原正樹氏の業績 代数解析編
MATHPOWER2018での講演スライド。チャーン賞受賞の柏原正樹氏の代数解析における業績紹介。
Yuichi Ike
October 06, 2018
Tweet
Share
Other Decks in Science
See All in Science
03_草原和博_広島大学大学院人間社会科学研究科教授_デジタル_シティズンシップシティで_新たな_学び__をつくる.pdf
sip3ristex
0
620
動的トリートメント・レジームを推定するDynTxRegimeパッケージ
saltcooky12
0
200
Trend Classification of InSAR Displacement Time Series Using SAE–CNN
satai
4
720
データベース09: 実体関連モデル上の一貫性制約
trycycle
PRO
0
990
モンテカルロDCF法による事業価値の算出(モンテカルロ法とベイズモデリング) / Business Valuation Using Monte Carlo DCF Method (Monte Carlo Simulation and Bayesian Modeling)
ikuma_w
0
270
05_山中真也_室蘭工業大学大学院工学研究科教授_だてプロの挑戦.pdf
sip3ristex
0
650
Ignite の1年間の軌跡
ktombow
0
160
CV_5_3dVision
hachama
0
150
mOrganic™ Holdings, LLC.
hyperlocalnetwork
0
110
機械学習 - 決定木からはじめる機械学習
trycycle
PRO
0
1.1k
Masseyのレーティングを用いたフォーミュラレースドライバーの実績評価手法の開発 / Development of a Performance Evaluation Method for Formula Race Drivers Using Massey Ratings
konakalab
0
190
知能とはなにかーヒトとAIのあいだー
tagtag
0
140
Featured
See All Featured
Git: the NoSQL Database
bkeepers
PRO
431
66k
RailsConf 2023
tenderlove
30
1.2k
How to Think Like a Performance Engineer
csswizardry
27
2k
Designing for Performance
lara
610
69k
Unsuck your backbone
ammeep
671
58k
A Tale of Four Properties
chriscoyier
160
23k
How GitHub (no longer) Works
holman
315
140k
ピンチをチャンスに:未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
127
53k
10 Git Anti Patterns You Should be Aware of
lemiorhan
PRO
657
61k
The Art of Delivering Value - GDevCon NA Keynote
reverentgeek
15
1.7k
Bash Introduction
62gerente
615
210k
Optimising Largest Contentful Paint
csswizardry
37
3.4k
Transcript
池 祐一
柏原先生 チャーン賞・京都賞おめでとうございます 池は大学院時代に代数解析(というより超局所層理論)の研究 をしていたので、わかる範囲で柏原先生の業績を紹介します 1/9
柏原は佐藤幹夫の学生であった 代数解析学は1950年代の佐藤超函数の理論から始まった デルタ函数 コーシーの積分公式 似てる! じゃあ をデルタ函数とみなせば良いじゃん! 2/9
佐藤幹夫と代数解析学 0 0 (:正則函数)
解析学を等式の学問としてとらえなおす 不等式の学問 等式の学問 2/9 柏原は佐藤幹夫の学生であった 代数解析学は1950年代の佐藤超函数の理論から始まった 佐藤は定式化に層コホモロジーという代数的な道具を用いた
線型微分方程式を代数的に扱う理論(後のD加群)も作れるはず ということで談話会などでアイデアを話していたらしい 佐藤幹夫と代数解析学
代数的に線型微分方程式系を扱う枠組み 線型微分方程式: ちょっと書き直す 環 が函数空間に作用しているとみなす 3/9 D加群理論の創始 柏原は1970年の修士論文(!)でD加群理論の基礎を作り上げた :
と で生成される非可換環
線型微分方程式の解: -加群: 対応 何がうれしいのか? 1. 微分方程式の具体的表示から解放される b函数の研究(根の有理性の証明など) (ある意味での)線型微分方程式系の分類(佐藤・河合と共同、E加群を使う) D加群を調べると 微分方程式が分かる!
形は違うが本質的に同じ方程式D加群では同型 行列理論 線型微分方程式 抽象線型代数 D加群 4/9 2. 代数的に微分方程式の不変量(特性多様体など)を定義可能 代数的に線型微分方程式系を扱う枠組み D加群理論の創始
{解空間の自己同型} 確定特異点型常微分方程式 モノドロミー表現 解析のデータ トポロジーのデータ 5/9 トポロジーデータから微分方程式を作れるか? 特異点を回る閉曲線に 沿って解を解析接続 リーマン・ヒルベルト問題
解が変換される
5/9 リーマン・ヒルベルト問題 解が変換される 特異点を回る閉曲線に 沿って解を解析接続 トポロジーデータから微分方程式を作れるか? {解空間の自己同型} 確定特異点型常微分方程式 モノドロミー表現 解析のデータ
トポロジーのデータ
1970年 修論 構成可能層:空間を分割すると 各部分多様体上で局所系 1975年 柏原の構成可能性定理 1978年頃 大島・河合と共同 1984年(1981年の河合との 共同研究の結果も用いる)
1:1 6/9 リーマン・ヒルベルト対応 モノドロミー表現を層で言い換えたもの P. Deligne,1970年:確定特異点型可積分接続と局所系の間の 1対1対応として高次元複素多様体に拡張 柏原はリーマン・ヒルベルト問題をD加群に拡張して対応を証明
リーマン・ヒルベルト対応 1970年 修論 1975年 柏原の構成可能性定理 1978年頃 大島・河合と共同 1984年(1981年の河合との 共同研究の結果も用いる) 1:1
6/9 Kazhdan–Lusztig予想の証明(Brylinskiと共同) 要するに全部やった 構成可能層:空間を分割すると 各部分多様体上で局所系 モノドロミー表現を層で言い換えたもの P. Deligne,1970年:確定特異点型可積分接続と局所系の間の 1対1対応として高次元複素多様体に拡張 柏原はリーマン・ヒルベルト問題をD加群に拡張して対応を証明
Chern Medal — Masaki Kashiwara https://www.youtube.com/watch?v=yw4KifIg3R0 より この最も重要な本は超局所層理論に関するもの 7/9
1982年ごろからのP. Schapiraとの共同研究において実多様体上 の層のマイクロ台を導入し体系的に調べた 超局所=点の周りだけでなく方向も考える マイクロ台を使うと 「層に対する臨界点集合」を定義できる 「層係数のモース理論」が展開できる 最近では •
シンプレクティック幾何・ミラー対称性 • パーシステントホモロジー との関わりが盛んに研究されている 8/9 層のマイクロ台:切断が同型にのばせない(伝播しない)方向を表す集合 の方向に のばせる? のばせない? 超局所層理論
9/9 Ind層理論(P. Schapiraと共同,2001年) 層の理論で増大度条件付きの函数を扱える ハミルトンアイソトピーの層量子化(S. Guillermou, P. Schapiraと共同,2012年)
超局所層理論のシンプレクティック幾何への応用 Irregularなリーマン・ヒルベルト対応(A. D’Agnoloと共同,2016年) 1次元の場合の非確定特異点型常微分方程式の理論のD加群版 近年の主な仕事とまとめ
9/9 柏原先生が創った代数解析・超局所層理論は大変魅力ある分野です が、日本ではこの分野があまり理解されなかったり若い研究者が育っていないように 思います この魅力ある分野への様々な人の理解・参入・支援を期待しています 要するに柏原正樹という人は代数解析のほとんど全部 をやって今も第一線で活躍しているということ 近年の主な仕事とまとめ Ind層理論(P.
Schapiraと共同,2001年) 層の理論で増大度条件付きの函数を扱える ハミルトンアイソトピーの層量子化(S. Guillermou, P. Schapiraと共同,2012年) 超局所層理論のシンプレクティック幾何への応用 Irregularなリーマン・ヒルベルト対応(A. D’Agnoloと共同,2016年) 1次元の場合の非確定特異点型常微分方程式の理論のD加群版