23/03/10 12:03:11.70 ghglJniN.net
>>272
つづき
さらに一般の偏極多様体に一般化したのは Simon K. Donaldson である（2002）．GIT 安定性はモーメント写像を用いた描像があり，有限次元シンプレクティック幾何の形式的議論が，非線形偏微分方程式を解くにあたっての関数空間における無限次元シンプレクティック幾何的な議論の適切な方向を探る指針を与える．Fano 多様体においては，K安定性がモンジュ・アンペール方程式の可解性と同値であり，従ってケーラー・アインシュタイン計量の存在と同値であることが2012年頃，Chen-Donaldson-Sun と Tian によって証明された．モーメント写像を用いた描像を用いると，他の色々な非線形問題においても同じパターンで，K安定性と可解性の同値性を証明する問題として定式化される．
2018年03月10日(土)
14:30-15:30 数理科学研究科棟(駒場) 大講義室号室
川又雄二郎 氏 (東大数理)
双有理幾何学と導来圏 (JAPANESE)
[ 講演概要 ]
極小モデル理論によれば、代数多様体の間の双有理写像は基本的な双有理写像（フリップや因子収縮写像）に分解され、双有理幾何学は双正則幾何学に帰着される。その際の道案内になるのが標準因子Kである。代数多様体上の幾何学はその上の連接層によって表現されるが、連接層全体のなすアーベル圏から、複体を考え局所化することによって対称性がアップした導来圏Dが得られる。Kの変化とDの変化の間には思いがけず密接な関係が観測された。一方、有限群による商特異点の極小特異点解消（幾何学）とその群の表現（代数）の間には隠れた関係（マッカイ対応）が観測される。これらを総合した予想としてDK予想がある。最近の進展について解説する。
(引用終り)
以上
要するに、
数学とその応用分野の物理などとの交流も、大事ってことかな