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
2.2k
柏原正樹氏の業績 代数解析編
MATHPOWER2018での講演スライド。チャーン賞受賞の柏原正樹氏の代数解析における業績紹介。
Yuichi Ike
October 06, 2018
Tweet
Share
Other Decks in Science
See All in Science
Machine Learning for Materials (Lecture 5)
aronwalsh
0
560
早わかり W3C Community Group
takanorip
0
270
O ChatGPT e outras IAs vão mudar toda a pesquisa científica
cardososampaio
0
170
A Theory of Scrum Team Effectiveness 〜『ゾンビスクラムサバイバルガイド』の裏側にある科学〜
bonotake
12
5.1k
Presenting Effectively with Data (in a Hurry)
thomaselove
1
250
研究・教育・産学連携の循環の実践
sshimizu2006
0
220
データで課題を解決する -因果関係を調べる統計的因果推論-
sshimizu2006
4
1.3k
JSol'Ex : solar image processing in Java
melix
0
240
2023-08-02_spatialLIBD_BioC2023_demo
lcolladotor
0
110
Machine Learning for Materials (Lecture 6)
aronwalsh
0
420
B-Cubed: Leveraging analysis-ready biodiversity datasets and cloud computing for timely and actionable biodiversity monitoring
peterdesmet
0
160
AI科学の何が“哲学”の問題になるのか ~問いマッピングの試み~
rmaruy
1
1.2k
Featured
See All Featured
The MySQL Ecosystem @ GitHub 2015
samlambert
243
12k
RailsConf & Balkan Ruby 2019: The Past, Present, and Future of Rails at GitHub
eileencodes
125
32k
Code Review Best Practice
trishagee
55
15k
Designing with Data
zakiwarfel
96
4.8k
Testing 201, or: Great Expectations
jmmastey
28
6.4k
Building Effective Engineering Teams - LeadDev
addyosmani
28
1.8k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
14
1.5k
A Philosophy of Restraint
colly
197
16k
Reflections from 52 weeks, 52 projects
jeffersonlam
345
19k
Become a Pro
speakerdeck
PRO
11
4.5k
The Invisible Side of Design
smashingmag
294
49k
jQuery: Nuts, Bolts and Bling
dougneiner
59
7.1k
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加群版