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
11k
柏原正樹氏の業績 代数解析編
MATHPOWER2018での講演スライド。チャーン賞受賞の柏原正樹氏の代数解析における業績紹介。
Yuichi Ike
October 06, 2018
Tweet
Share
Other Decks in Science
See All in Science
データマイニング - グラフ構造の諸指標
trycycle
PRO
0
150
動的トリートメント・レジームを推定するDynTxRegimeパッケージ
saltcooky12
0
160
安心・効率的な医療現場の実現へ ~オンプレAI & ノーコードワークフローで進める業務改革~
siyoo
0
290
ウェブ・ソーシャルメディア論文読み会 第25回: Differences in misinformation sharing can lead to politically asymmetric sanctions (Nature, 2024)
hkefka385
0
120
Gemini Prompt Engineering: Practical Techniques for Tangible AI Outcomes
mfonobong
2
140
データベース08: 実体関連モデルとは?
trycycle
PRO
0
850
IWASAKI Hideo
genomethica
0
120
データマイニング - ウェブとグラフ
trycycle
PRO
0
140
地質研究者が苦労しながら運用する情報公開システムの実例
naito2000
0
230
Symfony Console Facelift
chalasr
2
460
機械学習 - K-means & 階層的クラスタリング
trycycle
PRO
0
1k
データベース01: データベースを使わない世界
trycycle
PRO
1
690
Featured
See All Featured
Become a Pro
speakerdeck
PRO
29
5.4k
Fight the Zombie Pattern Library - RWD Summit 2016
marcelosomers
234
17k
For a Future-Friendly Web
brad_frost
179
9.8k
KATA
mclloyd
31
14k
Gamification - CAS2011
davidbonilla
81
5.4k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
30
2.2k
How To Stay Up To Date on Web Technology
chriscoyier
790
250k
It's Worth the Effort
3n
185
28k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
45
7.5k
Learning to Love Humans: Emotional Interface Design
aarron
273
40k
Fireside Chat
paigeccino
37
3.5k
Agile that works and the tools we love
rasmusluckow
329
21k
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加群版