本文印刷
全画面プリント
今後の予定
過去の記録 ～05/02｜本日 05/03 | 今後の予定 05/04～
2024年05月07日(火)
トポロジー火曜セミナー
17:00-18:00 オンライン開催
参加を希望される場合は、下記URLから参加登録を行って下さい。
Ingrid Irmer 氏 (南方科技大学)
The Thurston spine and the Systole function of Teichmüller space (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
参加を希望される場合は、下記URLから参加登録を行って下さい。
Ingrid Irmer 氏 (南方科技大学)
The Thurston spine and the Systole function of Teichmüller space (ENGLISH)
[ 講演概要 ]
The systole function $f_{sys}$ on Teichm\"uller space $\mathcal{T}_{g}$ of a closed genus $g$ surface is a piecewise-smooth map $\mathcal{T}_{g}\rightarrow \mathbb{R}$ whose value at any point is the length of the shortest geodesic on the corresponding hyperbolic surface. It is known that $f_{sys}$ gives a mapping class group-equivariant handle decomposition of $\mathcal{T}_{g}$ via an analogue of Morse Theory. This talk explains the relationship between this handle decomposition and the Thurston spine of $\mathcal{T}_{g}$.
[ 参考URL ]The systole function $f_{sys}$ on Teichm\"uller space $\mathcal{T}_{g}$ of a closed genus $g$ surface is a piecewise-smooth map $\mathcal{T}_{g}\rightarrow \mathbb{R}$ whose value at any point is the length of the shortest geodesic on the corresponding hyperbolic surface. It is known that $f_{sys}$ gives a mapping class group-equivariant handle decomposition of $\mathcal{T}_{g}$ via an analogue of Morse Theory. This talk explains the relationship between this handle decomposition and the Thurston spine of $\mathcal{T}_{g}$.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2024年05月08日(水)
代数学コロキウム
17:00-18:00 数理科学研究科棟(駒場) 117号室
Xinyao Zhang 氏 (東京大学大学院数理科学研究科)
The pro-modularity in the residually reducible case (English)
Xinyao Zhang 氏 (東京大学大学院数理科学研究科)
The pro-modularity in the residually reducible case (English)
[ 講演概要 ]
For a continuous odd two dimensional Galois representation over a finite field of characteristic p, it is conjectured that its universal deformation ring is isomorphic to some p-adic big Hecke algebra, called the big R=T theorem. Recently, Deo explored the residually reducible case and proved a big R=T theorem for Q under the assumption of the cyclicity of some cohomology group. However, his method is unavailable for totally real fields since the assumption does not hold any longer. In this talk, we follow the strategy of the work from Skinner-Wiles and Pan on the Fontaine-Mazur conjecture and give a pro-modularity result for some totally real fields, which is an analogue to the big R=T theorem.
For a continuous odd two dimensional Galois representation over a finite field of characteristic p, it is conjectured that its universal deformation ring is isomorphic to some p-adic big Hecke algebra, called the big R=T theorem. Recently, Deo explored the residually reducible case and proved a big R=T theorem for Q under the assumption of the cyclicity of some cohomology group. However, his method is unavailable for totally real fields since the assumption does not hold any longer. In this talk, we follow the strategy of the work from Skinner-Wiles and Pan on the Fontaine-Mazur conjecture and give a pro-modularity result for some totally real fields, which is an analogue to the big R=T theorem.
2024年05月13日(月)
東京確率論セミナー
16:00-17:30 数理科学研究科棟(駒場) 126号室
Shuwen Lou 氏 (University of Illinois)
TBA
Shuwen Lou 氏 (University of Illinois)
TBA
複素解析幾何セミナー
10:30-12:00 数理科学研究科棟(駒場) 128号室
川上 裕 氏 (金沢大学)
Bloch-Ros principleとその曲面論への応用 (Japanese)
https://forms.gle/gTP8qNZwPyQyxjTj8
川上 裕 氏 (金沢大学)
Bloch-Ros principleとその曲面論への応用 (Japanese)
[ 講演概要 ]
有理型関数の値分布論と正規族の理論との間には，Bloch principleと呼ばれるある種の双対性が存在する．講演者は笠尾俊輔氏との共同研究で，ZalcmanとRosの研究をもとに，この双対性を曲面のGauss写像の値分布にまで拡張した"Bloch-Ros principle"と呼ぶ理論的枠組みを発見した．本講演では，笠尾氏との共著論文（arXiv:2402.12909）で記した"Bloch-Ros principle"の詳細を解説する．
[ 参考URL ]有理型関数の値分布論と正規族の理論との間には，Bloch principleと呼ばれるある種の双対性が存在する．講演者は笠尾俊輔氏との共同研究で，ZalcmanとRosの研究をもとに，この双対性を曲面のGauss写像の値分布にまで拡張した"Bloch-Ros principle"と呼ぶ理論的枠組みを発見した．本講演では，笠尾氏との共著論文（arXiv:2402.12909）で記した"Bloch-Ros principle"の詳細を解説する．
https://forms.gle/gTP8qNZwPyQyxjTj8
2024年05月14日(火)
解析学火曜セミナー
16:00-18:15 数理科学研究科棟(駒場) 128号室
対面・オンラインハイブリッド開催（今回は講演が2件あります）
Heinz Siedentop 氏 (LMU University of Munich) 16:00-17:00
The Energy of Heavy Atoms: Density Functionals (English)
https://forms.gle/ZEyVso6wa9QpNfxH7
Robert Laister 氏 (University of the West of England) 17:15-18:15
Well-posedness for Semilinear Heat Equations in Orlicz Spaces (English)
https://forms.gle/ZEyVso6wa9QpNfxH7
対面・オンラインハイブリッド開催（今回は講演が2件あります）
Heinz Siedentop 氏 (LMU University of Munich) 16:00-17:00
The Energy of Heavy Atoms: Density Functionals (English)
[ 講演概要 ]
Since computing the energy of a system with $N$ particles requires solving a $4^N$ dimensional system of (pseudo-)differential equations in $3N$ independent variables, an analytic solution is practically impossible. Therefore density functionals, i.e., functionals that depend on the particle density (3 variables) only and yield the energy upon minimization, are of great interest.
This concept has been applied successfully in non-relativistic quantum mechanics. However, in relativistic quantum mechanics even the simple analogue of the Thomas-Fermi functional is not bounded from below for Coulomb potential. This problem was addressed eventually by Engel and Dreizler who derived a functional from QED. I will review some known mathematical properties of this functional and show that it yields basic features of physics, such as asymptotic correct energy, stability of matter, and boundedness of the excess charge.
[ 参考URL ]Since computing the energy of a system with $N$ particles requires solving a $4^N$ dimensional system of (pseudo-)differential equations in $3N$ independent variables, an analytic solution is practically impossible. Therefore density functionals, i.e., functionals that depend on the particle density (3 variables) only and yield the energy upon minimization, are of great interest.
This concept has been applied successfully in non-relativistic quantum mechanics. However, in relativistic quantum mechanics even the simple analogue of the Thomas-Fermi functional is not bounded from below for Coulomb potential. This problem was addressed eventually by Engel and Dreizler who derived a functional from QED. I will review some known mathematical properties of this functional and show that it yields basic features of physics, such as asymptotic correct energy, stability of matter, and boundedness of the excess charge.
https://forms.gle/ZEyVso6wa9QpNfxH7
Robert Laister 氏 (University of the West of England) 17:15-18:15
Well-posedness for Semilinear Heat Equations in Orlicz Spaces (English)
[ 講演概要 ]
We consider the local well-posedness of semilinear heat equations in Orlicz spaces, the latter prescribed via a Young function $\Phi$. Many existence-uniqueness results exist in the literature for power-like or exponential-like nonlinearities $f$, where the natural setting is an Orlicz space of corresponding type; i.e. if $f$ is power-like then $\Phi$ is power-like (Lebesgue space), if $f$ is exponential-like then $\Phi$ is exponential-like. However, the general problem of prescribing a suitable $\Phi$ for a given, otherwise arbitrary $f$ is open. Our goal is to provide a suitable framework to resolve this problem and I will present some recent results in this direction. The key is a new (to the best of our knowledge) smoothing estimate for the heat semigroup between two arbitrary Orlicz spaces. Existence then follows familiar lines via monotonicity or contraction mapping arguments. Global solutions are also presented under additional assumptions. This work is part of a collaborative project with Prof Kazuhiro Ishige, Dr Yohei Fujishima and Dr Kotaro Hisa.
[ 参考URL ]We consider the local well-posedness of semilinear heat equations in Orlicz spaces, the latter prescribed via a Young function $\Phi$. Many existence-uniqueness results exist in the literature for power-like or exponential-like nonlinearities $f$, where the natural setting is an Orlicz space of corresponding type; i.e. if $f$ is power-like then $\Phi$ is power-like (Lebesgue space), if $f$ is exponential-like then $\Phi$ is exponential-like. However, the general problem of prescribing a suitable $\Phi$ for a given, otherwise arbitrary $f$ is open. Our goal is to provide a suitable framework to resolve this problem and I will present some recent results in this direction. The key is a new (to the best of our knowledge) smoothing estimate for the heat semigroup between two arbitrary Orlicz spaces. Existence then follows familiar lines via monotonicity or contraction mapping arguments. Global solutions are also presented under additional assumptions. This work is part of a collaborative project with Prof Kazuhiro Ishige, Dr Yohei Fujishima and Dr Kotaro Hisa.
https://forms.gle/ZEyVso6wa9QpNfxH7
トポロジー火曜セミナー
17:00-18:00 オンライン開催
参加を希望される場合は、下記URLから参加登録を行って下さい。
濵田 法行 氏 (九州大学マス・フォア・インダストリ研究所)
符号数0のエキゾチック4次元多様体 (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
参加を希望される場合は、下記URLから参加登録を行って下さい。
濵田 法行 氏 (九州大学マス・フォア・インダストリ研究所)
符号数0のエキゾチック4次元多様体 (JAPANESE)
[ 講演概要 ]
我々の構成した「符号数0をもつ標準的な単連結閉4次元多様体と同相だが微分同相ではないシンプレクティック4次元多様体」の新しい例についてお話ししたい．とくに，これまで知られている中で最小のオイラー標数をもつ例も与える．構成方法は reverse-engineering とよばれる典型的な手法を用いるが，鍵となるのがそのモデル多様体で，レフシェッツ束として新しく一から作り上げる．この種の研究では基本群の計算がもっとも中心的でかつ煩雑な部分であることが典型的であるが，我々の方法ではこの計算も大幅に単純化されることを注意したい．
本講演は Inanc Baykur 氏(University of Massachusetts Amherst) との共同研究に基づく．
[ 参考URL ]我々の構成した「符号数0をもつ標準的な単連結閉4次元多様体と同相だが微分同相ではないシンプレクティック4次元多様体」の新しい例についてお話ししたい．とくに，これまで知られている中で最小のオイラー標数をもつ例も与える．構成方法は reverse-engineering とよばれる典型的な手法を用いるが，鍵となるのがそのモデル多様体で，レフシェッツ束として新しく一から作り上げる．この種の研究では基本群の計算がもっとも中心的でかつ煩雑な部分であることが典型的であるが，我々の方法ではこの計算も大幅に単純化されることを注意したい．
本講演は Inanc Baykur 氏(University of Massachusetts Amherst) との共同研究に基づく．
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2024年05月15日(水)
数値解析セミナー
16:30-18:00 数理科学研究科棟(駒場) 002号室
ハイブリッド開催です。参加の詳細は参考URLをご覧ください。
榊原航也 氏 (金沢大学理工研究域)
離散最適輸送問題の Bregman ダイバージェンスによる正則化 (Japanese)
https://sites.google.com/g.ecc.u-tokyo.ac.jp/utnas-bulletin-board/
ハイブリッド開催です。参加の詳細は参考URLをご覧ください。
榊原航也 氏 (金沢大学理工研究域)
離散最適輸送問題の Bregman ダイバージェンスによる正則化 (Japanese)
[ 講演概要 ]
最適輸送理論は確率測度間の距離を測ることを可能とし，数学や物理学，経済学，統計学，コンピュータ科学，機械学習等，数多くの分野への応用を持つ．有限集合上での最適輸送問題を考えると，これは線型計画問題に他ならず，組合せ論的アルゴリズムや内点法など，様々な数値計算手法が提案されてきたが，計算量の問題により高次元の場合には求解が難しいことが知られている．その中で，2013年に M. Cuturi はコスト函数に Kullback–Leibler（KL）ダイバージェンスを足し合わせる正則化（エントロピー正則化）を考え，Sinkhorn アルゴリズムに基づいた「光速」な数値計算法を提唱した．このアルゴリズムの誕生以降，最適輸送は機械学習分野で盛んに用いられるようになり，近年では改めて大きな注目を集めている．
エントロピー正則化の有効性が分かった上で，数学的にも応用的にも以下のような疑問が生じる．
・KL ダイバージェンス以外での正則化は可能か？
・他の正則化を用いた際，正則化パラメータを 0 にする極限での元の最適輸送問題の最適コストへの収束オーダーはどのように評価できるか？
・KL ダイバージェンスの場合よりも収束が速い正則化項は存在するか？
本講演では，上記の疑問に答えるべく，KL ダイバージェンスを含むクラスである Bregman ダイバージェンスを用いた正則化を考える．ある性質を満たす Bregman ダイバージェンスを用いる場合，KL ダイバージェンスを用いた場合よりも収束が速くなることを示し，そのような具体例を数値実験とともに提示する．時間が許せば，現在考えている問題や将来的な応用の可能性についても触れたい．
本講演は，高津飛鳥氏（東京都立大学），保國惠一氏（筑波大学）との共同研究に基づく．また，本講演の内容は以下のプレプリントにまとまっている．
K. Morikuni, K. Sakakibara, and A. Takatsu. Error estimate for regularized optimal transport problems via Bregman divergence. arXiv:2309.11666
[ 参考URL ]最適輸送理論は確率測度間の距離を測ることを可能とし，数学や物理学，経済学，統計学，コンピュータ科学，機械学習等，数多くの分野への応用を持つ．有限集合上での最適輸送問題を考えると，これは線型計画問題に他ならず，組合せ論的アルゴリズムや内点法など，様々な数値計算手法が提案されてきたが，計算量の問題により高次元の場合には求解が難しいことが知られている．その中で，2013年に M. Cuturi はコスト函数に Kullback–Leibler（KL）ダイバージェンスを足し合わせる正則化（エントロピー正則化）を考え，Sinkhorn アルゴリズムに基づいた「光速」な数値計算法を提唱した．このアルゴリズムの誕生以降，最適輸送は機械学習分野で盛んに用いられるようになり，近年では改めて大きな注目を集めている．
エントロピー正則化の有効性が分かった上で，数学的にも応用的にも以下のような疑問が生じる．
・KL ダイバージェンス以外での正則化は可能か？
・他の正則化を用いた際，正則化パラメータを 0 にする極限での元の最適輸送問題の最適コストへの収束オーダーはどのように評価できるか？
・KL ダイバージェンスの場合よりも収束が速い正則化項は存在するか？
本講演では，上記の疑問に答えるべく，KL ダイバージェンスを含むクラスである Bregman ダイバージェンスを用いた正則化を考える．ある性質を満たす Bregman ダイバージェンスを用いる場合，KL ダイバージェンスを用いた場合よりも収束が速くなることを示し，そのような具体例を数値実験とともに提示する．時間が許せば，現在考えている問題や将来的な応用の可能性についても触れたい．
本講演は，高津飛鳥氏（東京都立大学），保國惠一氏（筑波大学）との共同研究に基づく．また，本講演の内容は以下のプレプリントにまとまっている．
K. Morikuni, K. Sakakibara, and A. Takatsu. Error estimate for regularized optimal transport problems via Bregman divergence. arXiv:2309.11666
https://sites.google.com/g.ecc.u-tokyo.ac.jp/utnas-bulletin-board/
代数学コロキウム
17:00-18:00 数理科学研究科棟(駒場) 117号室
高谷悠太 氏 (東京大学大学院数理科学研究科)
Equidimensionality of affine Deligne-Lusztig varieties in mixed characteristic (日本語)
高谷悠太 氏 (東京大学大学院数理科学研究科)
Equidimensionality of affine Deligne-Lusztig varieties in mixed characteristic (日本語)
[ 講演概要 ]
Shimura varieties are of central interest in arithmetic geometry and affine Deligne-Lusztig varieties are closely related to their special fibers. These varieties are group-theoretical objects and can be defined even for non-miniscule local Shimura data. In this talk, I will explain the proof of the equidimensionality of affine Deligne-Lusztig varieties in mixed characteristic.
The main ingredient is a local foliation of affine Deligne-Lusztig varieties in mixed characteristic. In equal characteristic, this local structure was previously introduced by Hartl and Viehmann.
Shimura varieties are of central interest in arithmetic geometry and affine Deligne-Lusztig varieties are closely related to their special fibers. These varieties are group-theoretical objects and can be defined even for non-miniscule local Shimura data. In this talk, I will explain the proof of the equidimensionality of affine Deligne-Lusztig varieties in mixed characteristic.
The main ingredient is a local foliation of affine Deligne-Lusztig varieties in mixed characteristic. In equal characteristic, this local structure was previously introduced by Hartl and Viehmann.
2024年05月20日(月)
複素解析幾何セミナー
10:50-12:20 数理科学研究科棟(駒場) 128号室
いつもより20分遅れて開始します。
孫 立杰 氏 (山口大学)
Kähler metrics in the Siegel domain (Japanese)
https://forms.gle/gTP8qNZwPyQyxjTj8
いつもより20分遅れて開始します。
孫 立杰 氏 (山口大学)
Kähler metrics in the Siegel domain (Japanese)
[ 講演概要 ]
The Siegel domain is endowed with an intrinsic Kähler structure, making it an exemplary model for the complex hyperbolic plane. Its boundary, characterized as the one-point compactification of the Heisenberg group, plays an important role in studying the geometry of the Siegel domain. In this talk, using the CR structure of the Heisenberg group we introduce a variety of Kähler structures within the Siegel domain. We conclude by demonstrating that all these metrics are PCR-Kähler equivalent, that is, essentially the same when confined to the CR structure. This talk is based on a joint work with Ioannis Platis and Joonhyung Kim.
[ 参考URL ]The Siegel domain is endowed with an intrinsic Kähler structure, making it an exemplary model for the complex hyperbolic plane. Its boundary, characterized as the one-point compactification of the Heisenberg group, plays an important role in studying the geometry of the Siegel domain. In this talk, using the CR structure of the Heisenberg group we introduce a variety of Kähler structures within the Siegel domain. We conclude by demonstrating that all these metrics are PCR-Kähler equivalent, that is, essentially the same when confined to the CR structure. This talk is based on a joint work with Ioannis Platis and Joonhyung Kim.
https://forms.gle/gTP8qNZwPyQyxjTj8
2024年05月21日(火)
トポロジー火曜セミナー
17:30-18:30 数理科学研究科棟(駒場) ハイブリッド開催/056号室
対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
池 祐一 氏 (九州大学マス・フォア・インダストリ研究所)
γ-supports and sheaves (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
池 祐一 氏 (九州大学マス・フォア・インダストリ研究所)
γ-supports and sheaves (JAPANESE)
[ 講演概要 ]
The space of smooth compact exact Lagrangians of a cotangent bundle carries the spectral metric γ, and we consider its completion. With an element of the completion, Viterbo associated a closed subset called γ-support. In this talk, I will explain how we can use sheaf-theoretic methods to explore the completion and γ-supports. I will show that we can associate a sheaf with an element of the completion, and its (reduced) microsupport is equal to the γ-support through the correspondence. With this equality, I will also show several properties of γ-supports. This is joint work with Tomohiro Asano (RIMS), Stéphane Guillermou (Nantes Université), Vincent Humilière (Sorbonne Université), and Claude Viterbo (Université Paris-Saclay).
[ 参考URL ]The space of smooth compact exact Lagrangians of a cotangent bundle carries the spectral metric γ, and we consider its completion. With an element of the completion, Viterbo associated a closed subset called γ-support. In this talk, I will explain how we can use sheaf-theoretic methods to explore the completion and γ-supports. I will show that we can associate a sheaf with an element of the completion, and its (reduced) microsupport is equal to the γ-support through the correspondence. With this equality, I will also show several properties of γ-supports. This is joint work with Tomohiro Asano (RIMS), Stéphane Guillermou (Nantes Université), Vincent Humilière (Sorbonne Université), and Claude Viterbo (Université Paris-Saclay).
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2024年05月27日(月)
複素解析幾何セミナー
10:30-12:00 数理科学研究科棟(駒場) 128号室
丸亀 泰二 氏 (電気通信大学)
TBA (Japanese)
https://forms.gle/gTP8qNZwPyQyxjTj8
丸亀 泰二 氏 (電気通信大学)
TBA (Japanese)
[ 講演概要 ]
TBA
[ 参考URL ]TBA
https://forms.gle/gTP8qNZwPyQyxjTj8
2024年05月29日(水)
数値解析セミナー
16:30-18:00 数理科学研究科棟(駒場) 002号室
ハイブリッド開催です。参加の詳細は参考URLをご覧ください。
早川知志 氏 (ソニーグループ株式会社)
ランダム凸包とカーネル求積 (Japanese)
https://sites.google.com/g.ecc.u-tokyo.ac.jp/utnas-bulletin-board/
ハイブリッド開催です。参加の詳細は参考URLをご覧ください。
早川知志 氏 (ソニーグループ株式会社)
ランダム凸包とカーネル求積 (Japanese)
[ 講演概要 ]
確率測度の離散近似の代表例として、古典的には低次モーメントのマッチングによるcubature（立体求積）がある。これは一般の空間においても有限個の可積分関数の積分値を保つような離散化として導入でき、ランダムサンプリングによるナイーブな構成が考えられる。講演の前半では、この確率的構成の成功確率を定式化したものとして、ランダム凸包が空間上の点を含む確率についてのバウンドを与える。後半ではさらに、この一般化cubatureの問題が（被積分関数のクラスとして再生核ヒルベルト空間を想定する）カーネル求積問題に実用的なアルゴリズムとともに応用できることをみる。
講演内容は次の学位論文にもとづく：
https://ora.ox.ac.uk/objects/uuid:15008016-2418-4c9a-a2f7-c9515a0657b1
[ 参考URL ]確率測度の離散近似の代表例として、古典的には低次モーメントのマッチングによるcubature（立体求積）がある。これは一般の空間においても有限個の可積分関数の積分値を保つような離散化として導入でき、ランダムサンプリングによるナイーブな構成が考えられる。講演の前半では、この確率的構成の成功確率を定式化したものとして、ランダム凸包が空間上の点を含む確率についてのバウンドを与える。後半ではさらに、この一般化cubatureの問題が（被積分関数のクラスとして再生核ヒルベルト空間を想定する）カーネル求積問題に実用的なアルゴリズムとともに応用できることをみる。
講演内容は次の学位論文にもとづく：
https://ora.ox.ac.uk/objects/uuid:15008016-2418-4c9a-a2f7-c9515a0657b1
https://sites.google.com/g.ecc.u-tokyo.ac.jp/utnas-bulletin-board/
