本文印刷
全画面プリント
談話会・数理科学講演会
過去の記録 ～04/25｜次回の予定｜今後の予定 04/26～
| 担当者 | 足助太郎，寺田至，長谷川立，宮本安人（委員長） |
|---|---|
| セミナーURL | https://www.ms.u-tokyo.ac.jp/seminar/colloquium/index.html |
過去の記録
2021年05月28日(金)
15:30-16:30 オンライン開催
参加登録を締め切りました（5月28日12:00）。
立川 裕二 氏 (カブリ数物連携宇宙研究機構)
Physics and algebraic topology (ENGLISH)
参加登録を締め切りました（5月28日12:00）。
立川 裕二 氏 (カブリ数物連携宇宙研究機構)
Physics and algebraic topology (ENGLISH)
[ 講演概要 ]
Although we often talk about the "unreasonable effectiveness of mathematics in the natural sciences", there are great disparities in the relevance of various subbranches of mathematics to individual fields of natural sciences. Algebraic topology was a subject whose influence to physics remained relatively minor for a long time, but in the last several years, theoretical physicists started to appreciate the effectiveness of algebraic topology more seriously. For example, there is now a general consensus that the classification of the symmetry-protected topological phases, which form a class of phases of matter with a certain particularly simple property, is done in terms of generalized cohomology theories.
In this talk, I would like to provide a historical overview of the use of algebraic topology in physics, emphasizing a few highlights along the way. If the time allows, I would also like to report my struggle to understand the anomaly of heterotic strings, using the theory of topological modular forms.
Although we often talk about the "unreasonable effectiveness of mathematics in the natural sciences", there are great disparities in the relevance of various subbranches of mathematics to individual fields of natural sciences. Algebraic topology was a subject whose influence to physics remained relatively minor for a long time, but in the last several years, theoretical physicists started to appreciate the effectiveness of algebraic topology more seriously. For example, there is now a general consensus that the classification of the symmetry-protected topological phases, which form a class of phases of matter with a certain particularly simple property, is done in terms of generalized cohomology theories.
In this talk, I would like to provide a historical overview of the use of algebraic topology in physics, emphasizing a few highlights along the way. If the time allows, I would also like to report my struggle to understand the anomaly of heterotic strings, using the theory of topological modular forms.
2021年04月30日(金)
15:30-16:30 オンライン開催
参加登録を締め切りました（4月30日12:00）。
石井 志保子 氏 (東京大学)
Uniform bound of the number of weighted blow-ups to compute the minimal log discrepancy for smooth 3-folds (Talk in Japanese, Slide in English)
参加登録を締め切りました（4月30日12:00）。
石井 志保子 氏 (東京大学)
Uniform bound of the number of weighted blow-ups to compute the minimal log discrepancy for smooth 3-folds (Talk in Japanese, Slide in English)
[ 講演概要 ]
In the talk I will show that the minimal log discrepancy of every pair consisting of a smooth 3-fold and a "general" real ideal is computed by the divisor obtained by at most two weighted blow ups. Our proof suggests the following conjecture:
Every pair consisting of a smooth N-fold and a "general" real ideal is computed by a divisor obtained by at most N-1 weighted blow ups.
This is regarded as a weighted blow up version of Mustata-Nakamura's conjecture. The condition "general" is slightly weakened from the version presented in ZAG Seminar.
In the talk I will show that the minimal log discrepancy of every pair consisting of a smooth 3-fold and a "general" real ideal is computed by the divisor obtained by at most two weighted blow ups. Our proof suggests the following conjecture:
Every pair consisting of a smooth N-fold and a "general" real ideal is computed by a divisor obtained by at most N-1 weighted blow ups.
This is regarded as a weighted blow up version of Mustata-Nakamura's conjecture. The condition "general" is slightly weakened from the version presented in ZAG Seminar.
2021年03月19日(金)
15:00-17:30 オンライン開催
定員500名に達したので、登録を締め切りました。（2021年3月18日14時）
儀我 美一 氏 (東京大学大学院数理科学研究科) 15:00-16:00
微分方程式で表現される粘性や拡散の効果 (JAPANESE)
高次圏におけるモノドロミー表現と反復積分 (JAPANESE)
定員500名に達したので、登録を締め切りました。（2021年3月18日14時）
儀我 美一 氏 (東京大学大学院数理科学研究科) 15:00-16:00
微分方程式で表現される粘性や拡散の効果 (JAPANESE)
[ 講演概要 ]
微分方程式は、科学や技術の諸現象を記述するために広く用いられています。粘性のある流体の運動を記述するナヴィエ・ストークス方程式や、拡散現象を記述する拡散方程式など、さまざまな例があります。また近年、微分幾何学で注目されている平均曲率流方程式は、もともとは金属の結晶表面（粒界）の形状変化を記述するために導入された拡散型の微分方程式です。粘性や拡散からは状況を平滑化（スムージング）する効果が想像されますが、一方で液滴がちぎれるような特異点が生じる場合もあります。このような現象を微分方程式で捉えるためには、微分できない関数を微分方程式の解とみなす必要があります。また、画像からノイズを除去するために用いられる全変動流型方程式のような特異拡散方程式については、何をもって解とすればよいかは自明ではありません。
本講演では、方程式の解をどのように定義したらよいかという問題を含めて、多様な拡散効果の扱い方を、講演者が携わってきた数学解析を中心に、その考え方を概説します。さらに、結晶成長分野、画像処理分野、さらにデータサイエンス分野への応用について触れます。
河野 俊丈 氏 (明治大学総合数理学部・東京大学大学院数理科学研究科) 16:30-17:30微分方程式は、科学や技術の諸現象を記述するために広く用いられています。粘性のある流体の運動を記述するナヴィエ・ストークス方程式や、拡散現象を記述する拡散方程式など、さまざまな例があります。また近年、微分幾何学で注目されている平均曲率流方程式は、もともとは金属の結晶表面（粒界）の形状変化を記述するために導入された拡散型の微分方程式です。粘性や拡散からは状況を平滑化（スムージング）する効果が想像されますが、一方で液滴がちぎれるような特異点が生じる場合もあります。このような現象を微分方程式で捉えるためには、微分できない関数を微分方程式の解とみなす必要があります。また、画像からノイズを除去するために用いられる全変動流型方程式のような特異拡散方程式については、何をもって解とすればよいかは自明ではありません。
本講演では、方程式の解をどのように定義したらよいかという問題を含めて、多様な拡散効果の扱い方を、講演者が携わってきた数学解析を中心に、その考え方を概説します。さらに、結晶成長分野、画像処理分野、さらにデータサイエンス分野への応用について触れます。
高次圏におけるモノドロミー表現と反復積分 (JAPANESE)
[ 講演概要 ]
1980年代半ばのJones多項式の発見以降，結び目と3次元多様体の位相不変量の研究に関する新たな手法が発展し，位相幾何学のみならず，量子群の表現論，共形場理論，可解格子模型などの数理物理の分野，数論におけるガロア表現など広範な領域と関わって発展してきた．KZ方程式のモノドロミー表現の量子群による対称性は，この分野の発展において重要な役割を果たしている．講演者がこのような研究に関わってきた動機の一つは，基本群を微分形式の立場から理解するということがあり，その手法の一つとしてK. T. Chenによる反復積分の手法があげられる．本講演では，Chenのホモロジー接続の手法によってモノドロミー表現を高次圏に拡張して，組みひもの間のコボルディズムの圏の表現などに応用することについて述べる．
1980年代半ばのJones多項式の発見以降，結び目と3次元多様体の位相不変量の研究に関する新たな手法が発展し，位相幾何学のみならず，量子群の表現論，共形場理論，可解格子模型などの数理物理の分野，数論におけるガロア表現など広範な領域と関わって発展してきた．KZ方程式のモノドロミー表現の量子群による対称性は，この分野の発展において重要な役割を果たしている．講演者がこのような研究に関わってきた動機の一つは，基本群を微分形式の立場から理解するということがあり，その手法の一つとしてK. T. Chenによる反復積分の手法があげられる．本講演では，Chenのホモロジー接続の手法によってモノドロミー表現を高次圏に拡張して，組みひもの間のコボルディズムの圏の表現などに応用することについて述べる．
2021年01月22日(金)
15:30-16:30 オンライン開催
参加を希望される場合は、下記URLから参加登録を行ってください。
中島 啓 氏 (Kavli IPMU)
Convolution algebras and a new proof of Kazhdan-Lusztig formula (JAPANESE)
https://forms.gle/AAVzoCGPyLmzDJHf7
参加を希望される場合は、下記URLから参加登録を行ってください。
中島 啓 氏 (Kavli IPMU)
Convolution algebras and a new proof of Kazhdan-Lusztig formula (JAPANESE)
[ 講演概要 ]
Kazhdan-Lusztig 予想は、Beilinson-Bernstein, Brylinski-Kashiwara によって解決されましたが、昨年 Braverman, Finkelbergとの共同研究において、その別証明を与えました。その証明は、第一段階として射影直線から旗多様体 (ただし Langlands 双対をとる) への写像のモジュライ空間の同変交叉コホモロジーにLie環の普遍展開環の表現を作り、第二段階として同変コホモロジーの局所化定理により、モジュライ空間の固定点集合の交叉コホモロジーを解析することで、Lie環の表現の指標公式を得る、という方法で行われました。同変パラメータが最高ウェイトに同一視されます。この方法は、これまでもアファイン・ヘッケ環や、量子アファイン展開環の表現の場合に用いられてきたものの variant ですが、クーロン枝の量子化の研究などからより多くの場合に適用できることが期待されます。
[ 参考URL ]Kazhdan-Lusztig 予想は、Beilinson-Bernstein, Brylinski-Kashiwara によって解決されましたが、昨年 Braverman, Finkelbergとの共同研究において、その別証明を与えました。その証明は、第一段階として射影直線から旗多様体 (ただし Langlands 双対をとる) への写像のモジュライ空間の同変交叉コホモロジーにLie環の普遍展開環の表現を作り、第二段階として同変コホモロジーの局所化定理により、モジュライ空間の固定点集合の交叉コホモロジーを解析することで、Lie環の表現の指標公式を得る、という方法で行われました。同変パラメータが最高ウェイトに同一視されます。この方法は、これまでもアファイン・ヘッケ環や、量子アファイン展開環の表現の場合に用いられてきたものの variant ですが、クーロン枝の量子化の研究などからより多くの場合に適用できることが期待されます。
https://forms.gle/AAVzoCGPyLmzDJHf7
2020年12月18日(金)
15:30-16:30 オンライン開催
参加を希望される場合は、下記URLから参加登録を行ってください。
新井 敏康 氏 (東京大学大学院数理科学研究科)
Hilbertの証明論 (JAPANESE)
https://forms.gle/Nmi1KieFDjhchdU69
参加を希望される場合は、下記URLから参加登録を行ってください。
新井 敏康 氏 (東京大学大学院数理科学研究科)
Hilbertの証明論 (JAPANESE)
[ 講演概要 ]
証明論を始めたD. Hilbertの目的をお話しした後, その考えを最も直截的に実現したW. Ackermannによる自然数の公理系の無矛盾性証明を説明します. 時間が許せば証明論での近年の進展も紹介します.
[ 参考URL ]証明論を始めたD. Hilbertの目的をお話しした後, その考えを最も直截的に実現したW. Ackermannによる自然数の公理系の無矛盾性証明を説明します. 時間が許せば証明論での近年の進展も紹介します.
https://forms.gle/Nmi1KieFDjhchdU69
2020年11月20日(金)
15:30-16:30 オンライン開催
参加を希望される場合は、下記URLから参加登録を行ってください。
伊山 修 氏 (東京大学大学院数理科学研究科)
傾理論とその仲間たち (JAPANESE)
https://zoom.us/meeting/register/tJIrcu-prjoiGdNRSs0z3a5rl1SiuVgk0W8K
参加を希望される場合は、下記URLから参加登録を行ってください。
伊山 修 氏 (東京大学大学院数理科学研究科)
傾理論とその仲間たち (JAPANESE)
[ 講演概要 ]
箙（有向グラフ）の表現には鏡映関手と呼ばれる、向き付けの異なる箙の表現を結びつける操作がある。これはルート系の鏡映を圏化するもので、導来圏同値のもっとも基本的な例を与える。箙は大域次元が１の環で、大域次元が０の半単純環の次に位置するものだが、一般の環に対して鏡映関手に相当するものを考えると、傾加群・傾複体(tilting complex)の概念が得られる。これらに関しては前世紀から多くの研究がなされているが、今世紀に入り、傾複体よりも広い準傾複体(silting complex)の重要性が明らかとなった。例えば異なる準傾複体を結びつける変異(mutation)操作が可能となり、また代数的t構造などとの一対一対応が与えられる。講演ではこのような一般論を、箙や前射影代数(preprojective algebra)などの例を通して説明したい。
[ 参考URL ]箙（有向グラフ）の表現には鏡映関手と呼ばれる、向き付けの異なる箙の表現を結びつける操作がある。これはルート系の鏡映を圏化するもので、導来圏同値のもっとも基本的な例を与える。箙は大域次元が１の環で、大域次元が０の半単純環の次に位置するものだが、一般の環に対して鏡映関手に相当するものを考えると、傾加群・傾複体(tilting complex)の概念が得られる。これらに関しては前世紀から多くの研究がなされているが、今世紀に入り、傾複体よりも広い準傾複体(silting complex)の重要性が明らかとなった。例えば異なる準傾複体を結びつける変異(mutation)操作が可能となり、また代数的t構造などとの一対一対応が与えられる。講演ではこのような一般論を、箙や前射影代数(preprojective algebra)などの例を通して説明したい。
https://zoom.us/meeting/register/tJIrcu-prjoiGdNRSs0z3a5rl1SiuVgk0W8K
2020年06月05日(金)
15:30-16:30 オンライン開催
参加を希望される場合は、下記URLから参加登録を行ってください。
岩木 耕平 氏 (東京大学大学院数理科学研究科)
完全WKB解析とその周辺
https://zoom.us/webinar/register/WN_ezXY3HjIQcCK2G9V-2CYrw
参加を希望される場合は、下記URLから参加登録を行ってください。
岩木 耕平 氏 (東京大学大学院数理科学研究科)
完全WKB解析とその周辺
[ 講演概要 ]
Voros により創始された完全WKB解析は，Planck定数のような小さなパラメータを含む特異摂動型の微分方程式に対する漸近解析手法の一つであり，特にモノドロミーの計算などの大域的な問題に対して非常に有効である．本講演では完全WKB解析の理論の概要を述べた後，クラスター代数や位相的漸化式やパンルヴェ方程式などの研究分野との関係について時間が許す限り概説する．
[ 参考URL ]Voros により創始された完全WKB解析は，Planck定数のような小さなパラメータを含む特異摂動型の微分方程式に対する漸近解析手法の一つであり，特にモノドロミーの計算などの大域的な問題に対して非常に有効である．本講演では完全WKB解析の理論の概要を述べた後，クラスター代数や位相的漸化式やパンルヴェ方程式などの研究分野との関係について時間が許す限り概説する．
https://zoom.us/webinar/register/WN_ezXY3HjIQcCK2G9V-2CYrw
2020年03月26日(木)
16:00-17:00 数理科学研究科棟(駒場) 117号室
延期
河野 俊丈 氏 (東京大学大学院数理科学研究科)
モノドロミー表現とその高次圏への拡張 (JAPANESE)
延期
河野 俊丈 氏 (東京大学大学院数理科学研究科)
モノドロミー表現とその高次圏への拡張 (JAPANESE)
2019年12月20日(金)
15:30-16:30 数理科学研究科棟(駒場) 056号室
楠岡成雄 氏 (東京大学・明治大学)
機械学習に関する一考察 (日本語)
楠岡成雄 氏 (東京大学・明治大学)
機械学習に関する一考察 (日本語)
[ 講演概要 ]
機械学習が現在流行しているが、その手法にはさまざまなものがある。
本講演では、機械学習のある典型的な場合について、
その理論根拠となるはずの統計的学習理論の考え方を紹介する。
特に、深層学習（neural network）に関して、
その表現力とStone-Weierstrassの定理との関係、
一様大数の法則に関するいくつかの計算結果を紹介する。
講演者は機械学習の研究を始めたばかりの初心者であるが、機械学習の理論的研究に
は様々な数学の視点が有用ではないかと感じている。
機械学習への興味を持っていただければと思っている。
機械学習が現在流行しているが、その手法にはさまざまなものがある。
本講演では、機械学習のある典型的な場合について、
その理論根拠となるはずの統計的学習理論の考え方を紹介する。
特に、深層学習（neural network）に関して、
その表現力とStone-Weierstrassの定理との関係、
一様大数の法則に関するいくつかの計算結果を紹介する。
講演者は機械学習の研究を始めたばかりの初心者であるが、機械学習の理論的研究に
は様々な数学の視点が有用ではないかと感じている。
機械学習への興味を持っていただければと思っている。
2019年11月08日(金)
15:30-16:30 数理科学研究科棟(駒場) 056号室
斎藤秀司 氏 (東大数理)
モチーフ理論と分岐理論への応用 (日本語)
斎藤秀司 氏 (東大数理)
モチーフ理論と分岐理論への応用 (日本語)
[ 講演概要 ]
モチーフ理論とは，代数多様体の普遍的コホモロジー理論の構成を目的とする理論である．
すでに1970年代にGrothendieckがさまざまなコホモロジー理論の背後に潜むものとしてその存在を予見し，1980年にBeilinsonがそれを正確に定式化し予想として提出した．
それ以来、モチーフ理論は哲学的指導原理として多くの優れた研究を導びきつつ発展してきた．
最も大きな進展は、今世紀初頭にVoevodskyが構成した特異点を持たない多様体にたいしては望まれた性質を持つモチーフ理論である（彼はその応用としてBloch-加藤予想を解決しフィールズ賞を受賞している）．
しかし一般の場合のモチーフ理論の構成(Beilinson予想)は未解決である．
本講演では、Voevodskyの理論を拡張することによりBeilinson予想の解決に向けた
最近の進展を解説し、その応用として、加藤和也氏と斎藤毅氏たちが牽引する分岐理論を新しい視点から再構成し一般化する試みを紹介したい．
モチーフ理論とは，代数多様体の普遍的コホモロジー理論の構成を目的とする理論である．
すでに1970年代にGrothendieckがさまざまなコホモロジー理論の背後に潜むものとしてその存在を予見し，1980年にBeilinsonがそれを正確に定式化し予想として提出した．
それ以来、モチーフ理論は哲学的指導原理として多くの優れた研究を導びきつつ発展してきた．
最も大きな進展は、今世紀初頭にVoevodskyが構成した特異点を持たない多様体にたいしては望まれた性質を持つモチーフ理論である（彼はその応用としてBloch-加藤予想を解決しフィールズ賞を受賞している）．
しかし一般の場合のモチーフ理論の構成(Beilinson予想)は未解決である．
本講演では、Voevodskyの理論を拡張することによりBeilinson予想の解決に向けた
最近の進展を解説し、その応用として、加藤和也氏と斎藤毅氏たちが牽引する分岐理論を新しい視点から再構成し一般化する試みを紹介したい．
2019年10月25日(金)
15:30-16:30 数理科学研究科棟(駒場) 123号室
Yves Benoist 氏 ( CNRS, Paris-Sud)
Arithmeticity of discrete subgroups (英語)
Yves Benoist 氏 ( CNRS, Paris-Sud)
Arithmeticity of discrete subgroups (英語)
[ 講演概要 ]
By a theorem of Borel and Harish-Chandra,
an arithmetic group in a semisimple Lie group is a lattice.
Conversely, by a celebrated theorem of Margulis,
in a higher rank semisimple Lie group G
any irreducible lattice is an arithmetic group.
The aim of this lecture is to survey an
arithmeticity criterium for discrete subgroups
which are not assumed to be lattices.
This criterium, obtained with Miquel,
generalizes works of Selberg and Hee Oh
and solves a conjecture of Margulis. It says:
a discrete irreducible Zariski-dense subgroup
of G that intersects cocompactly at least one
horospherical subgroup of G is an arithmetic group.
By a theorem of Borel and Harish-Chandra,
an arithmetic group in a semisimple Lie group is a lattice.
Conversely, by a celebrated theorem of Margulis,
in a higher rank semisimple Lie group G
any irreducible lattice is an arithmetic group.
The aim of this lecture is to survey an
arithmeticity criterium for discrete subgroups
which are not assumed to be lattices.
This criterium, obtained with Miquel,
generalizes works of Selberg and Hee Oh
and solves a conjecture of Margulis. It says:
a discrete irreducible Zariski-dense subgroup
of G that intersects cocompactly at least one
horospherical subgroup of G is an arithmetic group.
2019年06月28日(金)
15:30-16:30 数理科学研究科棟(駒場) 056号室
木田良才 氏 (東京大学数理科学研究科)
軌道同値関係への誘い
木田良才 氏 (東京大学数理科学研究科)
軌道同値関係への誘い
[ 講演概要 ]
測度空間への群作用に対し，作用の軌道を同値類とする同値関係が得られる．このような軌道同値関係の研究は，古くはフォンノイマン環の研究に動機付けられ，そのため，従順性を対象とするものが多かった．現在では，非従順な対象の研究も盛んである．例えば，非従順性と自由部分群の存在の関係を問うフォンノイマンの問題が，軌道同値関係の枠組みでは（群の場合と違って）肯定的に解決され，驚くべきことに，そのアイデアはパーコレーションの理論に基づいている（Gaboriau-Lyons）．講演では，これらを概観した後，講演者が近年取り組んでいる内部従順性にまつわる研究を紹介したい．
測度空間への群作用に対し，作用の軌道を同値類とする同値関係が得られる．このような軌道同値関係の研究は，古くはフォンノイマン環の研究に動機付けられ，そのため，従順性を対象とするものが多かった．現在では，非従順な対象の研究も盛んである．例えば，非従順性と自由部分群の存在の関係を問うフォンノイマンの問題が，軌道同値関係の枠組みでは（群の場合と違って）肯定的に解決され，驚くべきことに，そのアイデアはパーコレーションの理論に基づいている（Gaboriau-Lyons）．講演では，これらを概観した後，講演者が近年取り組んでいる内部従順性にまつわる研究を紹介したい．
2019年05月24日(金)
15:30-16:30 数理科学研究科棟(駒場) 002号室
岡本龍明 氏 (NTT)
「ポスト量子」暗号と格子暗号 (日本語)
岡本龍明 氏 (NTT)
「ポスト量子」暗号と格子暗号 (日本語)
[ 講演概要 ]
将来（大規模）量子計算機が実現すると，現在ネットワークで利用されている公開鍵暗号のほとんどが解読される．そのような量子計算機がいつごろできるかは予測できないが，量子計算機が実現しても安全であると考えられている（公開鍵）暗号は「ポスト量子」暗号とよばれており活発に研究が進められている．
本講演では，「ポスト量子」暗号の研究のいくつかの代表的な取り組みについて紹介し、その中でも最も有望視されている格子に基づく暗号（格子暗号）によるアプローチの特長および格子暗号について紹介する．
将来（大規模）量子計算機が実現すると，現在ネットワークで利用されている公開鍵暗号のほとんどが解読される．そのような量子計算機がいつごろできるかは予測できないが，量子計算機が実現しても安全であると考えられている（公開鍵）暗号は「ポスト量子」暗号とよばれており活発に研究が進められている．
本講演では，「ポスト量子」暗号の研究のいくつかの代表的な取り組みについて紹介し、その中でも最も有望視されている格子に基づく暗号（格子暗号）によるアプローチの特長および格子暗号について紹介する．
2019年04月26日(金)
15:30-16:30 数理科学研究科棟(駒場) 056号室
吉田善章 氏 (東京大学新領域創成科学研究科)
Lie-Poisson代数の「変形」とカイラルな場の理論 (日本語)
吉田善章 氏 (東京大学新領域創成科学研究科)
Lie-Poisson代数の「変形」とカイラルな場の理論 (日本語)
[ 講演概要 ]
物理の理論は「物」と「時空」の二つを使って記述される．物の特性は「エネルギー」の数学的表現（ハミルトニアン）に還元される．他方，時空の特性はその「幾何学」を特徴づける群の構造として定式化される．物の奇妙な運動（例えば回転方向に好き嫌い＝カイラリティーをもつラトルバックというコマ）は，エネルギーが変な形をしているか，あるいは時空が変な法則をもっているかのいずれかに起因すると考えるのだが，ここでは後者の可能性を追求する．カイラリティー（Krein対称性の破れ）をもつPoisson多様体（Hamilton力学系）の構造を，その基底にあるLie代数の変形に帰着して考える理論を紹介する．
物理の理論は「物」と「時空」の二つを使って記述される．物の特性は「エネルギー」の数学的表現（ハミルトニアン）に還元される．他方，時空の特性はその「幾何学」を特徴づける群の構造として定式化される．物の奇妙な運動（例えば回転方向に好き嫌い＝カイラリティーをもつラトルバックというコマ）は，エネルギーが変な形をしているか，あるいは時空が変な法則をもっているかのいずれかに起因すると考えるのだが，ここでは後者の可能性を追求する．カイラリティー（Krein対称性の破れ）をもつPoisson多様体（Hamilton力学系）の構造を，その基底にあるLie代数の変形に帰着して考える理論を紹介する．
2019年03月22日(金)
13:00-17:00 数理科学研究科棟(駒場) 大講義室号室
中村 周 氏 (東京大学大学院数理科学研究科) 13：00-14：00
量子力学の数学的構造と古典力学 (日本語)
https://www.ms.u-tokyo.ac.jp/~shu/
寺杣 友秀 氏 (東京大学大学院数理科学研究科) 14:30-15:30
代数的サイクル、周期そして動機 (日本語)
http://gauss.ms.u-tokyo.ac.jp/index-j.html
坪井 俊 氏 (東京大学大学院数理科学研究科) 16:00-17:00
同相写像の群をめぐって (日本語)
https://www.ms.u-tokyo.ac.jp/~tsuboi/
中村 周 氏 (東京大学大学院数理科学研究科) 13：00-14：00
量子力学の数学的構造と古典力学 (日本語)
[ 講演概要 ]
一般に、自然界のほとんどの物理現象は、究極的には量子力学によって説明されると考えられています。具体的には、極端に高いエネルギー・レベルでない限り、シュレディンガー方程式が自然界の基礎方程式となります。一方、量子力学は、物理学として直感的な理解が難しい理論でもあり、数学的にも、きちんと理解するのは、ごく単純な系であっても、決して簡単ではありません。量子力学を理解しようとする試みの一つが、古典力学系（ニュートン方程式）の解の振る舞いを通じて量子力学を記述する、（広い意味での）半古典解析です。半古典解析を中心に、量子力学の数学的理論の（ごく小さな）一端についてお話ししたいと思います。
[ 参考URL ]一般に、自然界のほとんどの物理現象は、究極的には量子力学によって説明されると考えられています。具体的には、極端に高いエネルギー・レベルでない限り、シュレディンガー方程式が自然界の基礎方程式となります。一方、量子力学は、物理学として直感的な理解が難しい理論でもあり、数学的にも、きちんと理解するのは、ごく単純な系であっても、決して簡単ではありません。量子力学を理解しようとする試みの一つが、古典力学系（ニュートン方程式）の解の振る舞いを通じて量子力学を記述する、（広い意味での）半古典解析です。半古典解析を中心に、量子力学の数学的理論の（ごく小さな）一端についてお話ししたいと思います。
https://www.ms.u-tokyo.ac.jp/~shu/
寺杣 友秀 氏 (東京大学大学院数理科学研究科) 14:30-15:30
代数的サイクル、周期そして動機 (日本語)
[ 講演概要 ]
古典的な数学の対象であるアーベル積分は数学者の心の故郷であるが、より現代的にはホッジ理論を枠組みのなかで代数多様体の周期積分として捉えられ、代数的サイクルとの関連、数論的関数及びその特殊値などのとの観点から指導原理といえるいくつかの大予想が提起されてきた。大きく立ち向かっている山を前にして、この山の正体は一体何なのかということをいろいろな側面から考えることは楽しいことである。
「新しい発見は… 思い切り手を伸ばした 1ミリ先にある！」
[ 参考URL ]古典的な数学の対象であるアーベル積分は数学者の心の故郷であるが、より現代的にはホッジ理論を枠組みのなかで代数多様体の周期積分として捉えられ、代数的サイクルとの関連、数論的関数及びその特殊値などのとの観点から指導原理といえるいくつかの大予想が提起されてきた。大きく立ち向かっている山を前にして、この山の正体は一体何なのかということをいろいろな側面から考えることは楽しいことである。
「新しい発見は… 思い切り手を伸ばした 1ミリ先にある！」
http://gauss.ms.u-tokyo.ac.jp/index-j.html
坪井 俊 氏 (東京大学大学院数理科学研究科) 16:00-17:00
同相写像の群をめぐって (日本語)
[ 講演概要 ]
空間の同相写像の全体は群を成しますが、それを考えるのは荒唐無稽な印象を受けます。可算集合となることもありますが、普通に考える空間では非可算濃度の群です。葉層構造の不変量の研究に関係して、空間の同相写像の群や多様体の微分同相写像の群の研究をしてきました。群作用の力学系的性質が群のホモロジーに関係することなどを見出すことができました。同相写像の群の交換子群についてもまだ知りたいことが残されています。また、群の形状についてもう少し考えていきたいと思っています。このような同相写像の群を巡る話題についてお話ししたいと思います。
[ 参考URL ]空間の同相写像の全体は群を成しますが、それを考えるのは荒唐無稽な印象を受けます。可算集合となることもありますが、普通に考える空間では非可算濃度の群です。葉層構造の不変量の研究に関係して、空間の同相写像の群や多様体の微分同相写像の群の研究をしてきました。群作用の力学系的性質が群のホモロジーに関係することなどを見出すことができました。同相写像の群の交換子群についてもまだ知りたいことが残されています。また、群の形状についてもう少し考えていきたいと思っています。このような同相写像の群を巡る話題についてお話ししたいと思います。
https://www.ms.u-tokyo.ac.jp/~tsuboi/
2018年11月30日(金)
15:30-16:30 数理科学研究科棟(駒場) 002号室
三竹大寿 氏 (東京大学大学院数理科学研究科)
粘性解理論とAubry-Mather理論 (日本語)
三竹大寿 氏 (東京大学大学院数理科学研究科)
粘性解理論とAubry-Mather理論 (日本語)
[ 講演概要 ]
力学系におけるAubry-Mather理論は，偏微分方程式論の粘性解理論を導入することで相互の理論がより明瞭なものとなった．この理論は，Kolmogorov-Arnold-Moser (KAM) 理論を背景に偏微分方程式論における弱解を利用した理論ということで，弱KAM 理論と提唱された．講演者は，最適確率制御問題に現れる退化粘性HJ方程式と呼ばれるクラスの方程式に適用できるよう，弱KAM理論の一般化に取り組んできた．従来の弱KAM理論は決定論的な力学系しか扱えないため，新しい道具立てを必要とした．この点を偏微分方程式論から見直すことで決定論及び確率論を統一する一つの新しい枠組みを作ることに成功してきた．その応用として，漸近解析（長時間挙動，ディスカウント近似）ついて解決した．本講演では，関連した内容について，次の２点に焦点をおいて話す．
(i) 非線形随伴法を利用した漸近解析：非線形随伴法を利用した漸近解析として，退化粘性HJ方程式の長時間挙動，ディスカウント近似の極限に関する結果について紹介する．
(ii) 均質化問題の解の収束率 ：HJ方程式の均質化問題は，1987年にLions,Papanicolaou, Varadhanによる有名な未発表論文により提唱された後，劇的に研究が進展し，大多数の論文が発表された．しかし，PDE的手法だけでは収束率について得ることは難しかった．本講演では，Aubry-Mather理論の観点から問題を見直すことで得られた収束率の結果について紹介する．
力学系におけるAubry-Mather理論は，偏微分方程式論の粘性解理論を導入することで相互の理論がより明瞭なものとなった．この理論は，Kolmogorov-Arnold-Moser (KAM) 理論を背景に偏微分方程式論における弱解を利用した理論ということで，弱KAM 理論と提唱された．講演者は，最適確率制御問題に現れる退化粘性HJ方程式と呼ばれるクラスの方程式に適用できるよう，弱KAM理論の一般化に取り組んできた．従来の弱KAM理論は決定論的な力学系しか扱えないため，新しい道具立てを必要とした．この点を偏微分方程式論から見直すことで決定論及び確率論を統一する一つの新しい枠組みを作ることに成功してきた．その応用として，漸近解析（長時間挙動，ディスカウント近似）ついて解決した．本講演では，関連した内容について，次の２点に焦点をおいて話す．
(i) 非線形随伴法を利用した漸近解析：非線形随伴法を利用した漸近解析として，退化粘性HJ方程式の長時間挙動，ディスカウント近似の極限に関する結果について紹介する．
(ii) 均質化問題の解の収束率 ：HJ方程式の均質化問題は，1987年にLions,Papanicolaou, Varadhanによる有名な未発表論文により提唱された後，劇的に研究が進展し，大多数の論文が発表された．しかし，PDE的手法だけでは収束率について得ることは難しかった．本講演では，Aubry-Mather理論の観点から問題を見直すことで得られた収束率の結果について紹介する．
2018年10月26日(金)
15:30-16:30 数理科学研究科棟(駒場) 002号室
伊藤 健一 氏 (東京大学大学院数理科学研究科)
一般化固有関数の漸近挙動と散乱理論 (JAPANESE)
伊藤 健一 氏 (東京大学大学院数理科学研究科)
一般化固有関数の漸近挙動と散乱理論 (JAPANESE)
[ 講演概要 ]
散乱理論とは，入射波が障害物によって散乱される前後の挙動
を記述するための理論であり，物理における散乱実験などに数学的裏付けを与え
る理論である．本講演では量子散乱理論の数学的定式化について概説したのち，
講演者がErik Skibsted氏（Aarhus大学)との共同研究で得た結果の一部を紹介す
る．時間が許せば漸近的Euclid型や漸近的双曲型エンドを持つ多様体上への一般
化についても触れたい．
散乱理論とは，入射波が障害物によって散乱される前後の挙動
を記述するための理論であり，物理における散乱実験などに数学的裏付けを与え
る理論である．本講演では量子散乱理論の数学的定式化について概説したのち，
講演者がErik Skibsted氏（Aarhus大学)との共同研究で得た結果の一部を紹介す
る．時間が許せば漸近的Euclid型や漸近的双曲型エンドを持つ多様体上への一般
化についても触れたい．
2018年07月13日(金)
15:30-16:30 数理科学研究科棟(駒場) 056号室
DINH Tien Cuong 氏 (National University of Singapore )
Pluripotential theory and complex dynamics in higher dimension
DINH Tien Cuong 氏 (National University of Singapore )
Pluripotential theory and complex dynamics in higher dimension
[ 講演概要 ]
Positive closed currents, the analytic counterpart of effective cycles in algebraic geometry, are central objects in pluripotential theory. They were introduced in complex dynamics in the 1990s and become now a powerful tool in the field. Challenging dynamical problems involve currents of any dimension. We will report recent developments on positive closed currents of arbitrary dimension, including the solutions to the regularization problem, the theory of super-potentials and the theory of densities. Applications to dynamics such as properties of dynamical invariants (e.g. dynamical degrees, entropies, currents, measures), solutions to equidistribution problems, and properties of periodic points will be discussed.
Positive closed currents, the analytic counterpart of effective cycles in algebraic geometry, are central objects in pluripotential theory. They were introduced in complex dynamics in the 1990s and become now a powerful tool in the field. Challenging dynamical problems involve currents of any dimension. We will report recent developments on positive closed currents of arbitrary dimension, including the solutions to the regularization problem, the theory of super-potentials and the theory of densities. Applications to dynamics such as properties of dynamical invariants (e.g. dynamical degrees, entropies, currents, measures), solutions to equidistribution problems, and properties of periodic points will be discussed.
2018年06月29日(金)
15:30-16:30 数理科学研究科棟(駒場) 056号室
石毛和弘 氏 (東京大学大学院数理科学研究科)
放物型方程式の解の冪凸性 (日本語)
石毛和弘 氏 (東京大学大学院数理科学研究科)
放物型方程式の解の冪凸性 (日本語)
[ 講演概要 ]
放物型方程式の解の凸冪性の研究は、Brascamp-Lieb (1976), Korevaar (1983)らの研究を契機として大きく進展し、例えば、正値な値をもつ初期関数の対数が上に凸であるとき、熱流はその凸性を保つこと等が解明されてきた。
本講演では、これら一連の研究を概観した後、Paolo Salani 氏らとの共同研究に基づき、放物型冪凸という概念の導入とその応用、放物型方程式系の解の冪凸性等について述べ、さらに近年の研究の進展について触れる。
放物型方程式の解の凸冪性の研究は、Brascamp-Lieb (1976), Korevaar (1983)らの研究を契機として大きく進展し、例えば、正値な値をもつ初期関数の対数が上に凸であるとき、熱流はその凸性を保つこと等が解明されてきた。
本講演では、これら一連の研究を概観した後、Paolo Salani 氏らとの共同研究に基づき、放物型冪凸という概念の導入とその応用、放物型方程式系の解の冪凸性等について述べ、さらに近年の研究の進展について触れる。
2018年05月25日(金)
15:30-16:30 数理科学研究科棟(駒場) 056号室
阿部紀行 氏 (東京大学大学院数理科学研究科)
p進簡約群の法p表現 (日本語)
阿部紀行 氏 (東京大学大学院数理科学研究科)
p進簡約群の法p表現 (日本語)
[ 講演概要 ]
近年p進Langlands対応や法p Langlands対応を動機として，p進簡約群の標数pの体の上の表現（法p表現）の研究が行われています．そのような表現論の現状，特に既約表現の分類についてお話しします．
近年p進Langlands対応や法p Langlands対応を動機として，p進簡約群の標数pの体の上の表現（法p表現）の研究が行われています．そのような表現論の現状，特に既約表現の分類についてお話しします．
2018年05月11日(金)
15:30-16:30 数理科学研究科棟(駒場) 056号室
入江 慶 氏 (東京大学大学院数理科学研究科)
周期Reeb軌道および極小超曲面に対する生成的（generic）稠密定理
(日本語)
入江 慶 氏 (東京大学大学院数理科学研究科)
周期Reeb軌道および極小超曲面に対する生成的（generic）稠密定理
(日本語)
[ 講演概要 ]
次のふたつの結果について説明する：（１）３次元閉多様体上の$C^\infty$位相についてgenericなReeb力学系において，周期軌道が稠密に存在する（講演者）．（２）次元が３以上７以下の閉多様体上の$C^\infty$位相についてgenericなRiemann計量において，極小閉超曲面が稠密に存在する（Marques-Neves-講演者）．
（１）の証明にはHutchings等によるEmbedded Contact Homologyの理論，（２）の証明にはMarques-Neves等によるAlmgren-Pitts理論の最近の進展を用いる．これらは技術的には相当異なる理論であるが，どちらも無限次元空間上のMorse理論（あるいはmin-max理論）といえるもので，結果として定義されるmin-max値はいくつかのよく似た性質を満たす．特に，これらのmin-max値の漸近挙動から多様体の体積が復元されるという性質（Laplacianの固有値に対するWeylの法則の類似）が，いずれの証明においても重要な役割を果たす．
次のふたつの結果について説明する：（１）３次元閉多様体上の$C^\infty$位相についてgenericなReeb力学系において，周期軌道が稠密に存在する（講演者）．（２）次元が３以上７以下の閉多様体上の$C^\infty$位相についてgenericなRiemann計量において，極小閉超曲面が稠密に存在する（Marques-Neves-講演者）．
（１）の証明にはHutchings等によるEmbedded Contact Homologyの理論，（２）の証明にはMarques-Neves等によるAlmgren-Pitts理論の最近の進展を用いる．これらは技術的には相当異なる理論であるが，どちらも無限次元空間上のMorse理論（あるいはmin-max理論）といえるもので，結果として定義されるmin-max値はいくつかのよく似た性質を満たす．特に，これらのmin-max値の漸近挙動から多様体の体積が復元されるという性質（Laplacianの固有値に対するWeylの法則の類似）が，いずれの証明においても重要な役割を果たす．
2018年04月06日(金)
15:30-16:30 数理科学研究科棟(駒場) 123号室
石本健太 氏 (東大数理)
微生物走流性の流体数理 (JAPANESE)
石本健太 氏 (東大数理)
微生物走流性の流体数理 (JAPANESE)
[ 講演概要 ]
走流性とは流れに対する生き物の応答を意味し、例えば川魚が流れに逆らって泳
ぐことはよく知られているが、精子や鞭毛虫などの微小生物の中にも同様に流れ
に逆らって泳ぐものがいる。本講演では、微小スケールの流体力学の導入から始
め、流体方程式を解析することで生き物の泳ぎを理解する試みについてお話しす
る。後半では自身の微生物走流性の２次元流体モデルの研究を紹介し、複雑な現
象に潜む流体の数理について議論する予定である。
走流性とは流れに対する生き物の応答を意味し、例えば川魚が流れに逆らって泳
ぐことはよく知られているが、精子や鞭毛虫などの微小生物の中にも同様に流れ
に逆らって泳ぐものがいる。本講演では、微小スケールの流体力学の導入から始
め、流体方程式を解析することで生き物の泳ぎを理解する試みについてお話しす
る。後半では自身の微生物走流性の２次元流体モデルの研究を紹介し、複雑な現
象に潜む流体の数理について議論する予定である。
2018年03月10日(土)
11:00-12:00 数理科学研究科棟(駒場) 大講義室号室
新井仁之 氏 (東大数理)
視知覚の数理科学 (JAPANESE)
新井仁之 氏 (東大数理)
視知覚の数理科学 (JAPANESE)
[ 講演概要 ]
本講演では、脳内の視覚情報処理の数理モデルとその応用に関して、講演者による結果を中心に述べる。まず数理モデルを作るために考案したかざぐるまフレームレットについて概略を述べ、それを基礎に構成した視覚情報処理の非線形モデルを概説する。さらにこれらを用いて行った各種の錯視の解析を示す。錯視は人の視知覚のメカニズムを解明する上で鍵となる極めて重要な知覚現象であると考えている。先端的な数学を用いることにより、錯視に関して従来の方法では得られなかったような多くの新しい知見が導かれる。このほか、本研究の応用として得られるさまざまな画像処理技術についても、実例を交えながらいくつかの結果を示す。
本講演では、脳内の視覚情報処理の数理モデルとその応用に関して、講演者による結果を中心に述べる。まず数理モデルを作るために考案したかざぐるまフレームレットについて概略を述べ、それを基礎に構成した視覚情報処理の非線形モデルを概説する。さらにこれらを用いて行った各種の錯視の解析を示す。錯視は人の視知覚のメカニズムを解明する上で鍵となる極めて重要な知覚現象であると考えている。先端的な数学を用いることにより、錯視に関して従来の方法では得られなかったような多くの新しい知見が導かれる。このほか、本研究の応用として得られるさまざまな画像処理技術についても、実例を交えながらいくつかの結果を示す。
2018年03月10日(土)
13:00-14:00 数理科学研究科棟(駒場) 大講義室号室
二木昭人 氏 (東大数理)
K安定性と幾何学的非線形問題 (JAPANESE)
二木昭人 氏 (東大数理)
K安定性と幾何学的非線形問題 (JAPANESE)
[ 講演概要 ]
K安定性は代数幾何における幾何学的不変式論（GIT）の安定性として定式化されたものであるが，アイデアの端緒は Kazdan-Warner が見出したある非線形偏微分方程式の可解性の障害にある．この非線形問題は微分幾何学的に表現すると，2次元単位球面に滑らかな関数 k を任意に与えたとき，計量 g に適当な正の関数 f をかけて得られる計量 fg が k をガウス曲率になるように，f を決めることができるか，という問題である．これは Nirenberg の問題と呼ばれ，現時点でも完全な答えは得られていない．2次元球面を１次元複素射影空間とみなし，更に Fano 多様体の特別な場合とみなして，Fano 多様体の GIT 安定性として定式化したのは Gang Tian であり（1997），さらに一般の偏極多様体に一般化したのは Simon K. Donaldson である（2002）．GIT 安定性はモーメント写像を用いた描像があり，有限次元シンプレクティック幾何の形式的議論が，非線形偏微分方程式を解くにあたっての関数空間における無限次元シンプレクティック幾何的な議論の適切な方向を探る指針を与える．Fano 多様体においては，K安定性がモンジュ・アンペール方程式の可解性と同値であり，従ってケーラー・アインシュタイン計量の存在と同値であることが2012年頃，Chen-Donaldson-Sun と Tian によって証明された．モーメント写像を用いた描像を用いると，他の色々な非線形問題においても同じパターンで，K安定性と可解性の同値性を証明する問題として定式化される．
K安定性は代数幾何における幾何学的不変式論（GIT）の安定性として定式化されたものであるが，アイデアの端緒は Kazdan-Warner が見出したある非線形偏微分方程式の可解性の障害にある．この非線形問題は微分幾何学的に表現すると，2次元単位球面に滑らかな関数 k を任意に与えたとき，計量 g に適当な正の関数 f をかけて得られる計量 fg が k をガウス曲率になるように，f を決めることができるか，という問題である．これは Nirenberg の問題と呼ばれ，現時点でも完全な答えは得られていない．2次元球面を１次元複素射影空間とみなし，更に Fano 多様体の特別な場合とみなして，Fano 多様体の GIT 安定性として定式化したのは Gang Tian であり（1997），さらに一般の偏極多様体に一般化したのは Simon K. Donaldson である（2002）．GIT 安定性はモーメント写像を用いた描像があり，有限次元シンプレクティック幾何の形式的議論が，非線形偏微分方程式を解くにあたっての関数空間における無限次元シンプレクティック幾何的な議論の適切な方向を探る指針を与える．Fano 多様体においては，K安定性がモンジュ・アンペール方程式の可解性と同値であり，従ってケーラー・アインシュタイン計量の存在と同値であることが2012年頃，Chen-Donaldson-Sun と Tian によって証明された．モーメント写像を用いた描像を用いると，他の色々な非線形問題においても同じパターンで，K安定性と可解性の同値性を証明する問題として定式化される．
2018年03月10日(土)
14:30-15:30 数理科学研究科棟(駒場) 大講義室号室
川又雄二郎 氏 (東大数理)
双有理幾何学と導来圏 (JAPANESE)
川又雄二郎 氏 (東大数理)
双有理幾何学と導来圏 (JAPANESE)
[ 講演概要 ]
極小モデル理論によれば、代数多様体の間の双有理写像は基本的な双有理写像（フリップや因子収縮写像）に分解され、双有理幾何学は双正則幾何学に帰着される。その際の道案内になるのが標準因子Kである。代数多様体上の幾何学はその上の連接層によって表現されるが、連接層全体のなすアーベル圏から、複体を考え局所化することによって対称性がアップした導来圏Dが得られる。Kの変化とDの変化の間には思いがけず密接な関係が観測された。一方、有限群による商特異点の極小特異点解消（幾何学）とその群の表現（代数）の間には隠れた関係（マッカイ対応）が観測される。これらを総合した予想としてDK予想がある。最近の進展について解説する。
極小モデル理論によれば、代数多様体の間の双有理写像は基本的な双有理写像（フリップや因子収縮写像）に分解され、双有理幾何学は双正則幾何学に帰着される。その際の道案内になるのが標準因子Kである。代数多様体上の幾何学はその上の連接層によって表現されるが、連接層全体のなすアーベル圏から、複体を考え局所化することによって対称性がアップした導来圏Dが得られる。Kの変化とDの変化の間には思いがけず密接な関係が観測された。一方、有限群による商特異点の極小特異点解消（幾何学）とその群の表現（代数）の間には隠れた関係（マッカイ対応）が観測される。これらを総合した予想としてDK予想がある。最近の進展について解説する。
