過去の記録
過去の記録 ~01/14|本日 01/15 | 今後の予定 01/16~
東京確率論セミナー
16:00-17:30 数理科学研究科棟(駒場) 126号室
15:15〜 2階のコモンルームでTea timeを行います。ぜひこちらにもご参加ください。
坂川博宣 氏 (慶應義塾大学)
Maximum of the Gaussian interface model in random external fields (日本語)
15:15〜 2階のコモンルームでTea timeを行います。ぜひこちらにもご参加ください。
坂川博宣 氏 (慶應義塾大学)
Maximum of the Gaussian interface model in random external fields (日本語)
[ 講演概要 ]
相分離の界面モデルの一つとして格子上のGauss型界面モデル(離散Gauss自由場)を取り上げ,そこにランダムな外場(化学ポテンシャル)を加えた(ランダムな)Gibbs測度の下での最大値について考える.特に,外場の確率変数の末尾確率の挙動に応じて最大値の挙動が変わることを示し,その主要項を特徴付ける.
相分離の界面モデルの一つとして格子上のGauss型界面モデル(離散Gauss自由場)を取り上げ,そこにランダムな外場(化学ポテンシャル)を加えた(ランダムな)Gibbs測度の下での最大値について考える.特に,外場の確率変数の末尾確率の挙動に応じて最大値の挙動が変わることを示し,その主要項を特徴付ける.
2024年07月04日(木)
代数幾何学セミナー
13:00-14:30 数理科学研究科棟(駒場) ハイブリッド開催/118号室
Stefan Reppen 氏 (東京大学)
On a principle of Ogus: the Hasse invariant's order of vanishing and "Frobenius and the Hodge filtration'' (English)
Stefan Reppen 氏 (東京大学)
On a principle of Ogus: the Hasse invariant's order of vanishing and "Frobenius and the Hodge filtration'' (English)
[ 講演概要 ]
In joint work with W. Goldring we generalize a result of Ogus that, under certain technical conditions, the vanishing order of the Hasse invariant of a family $Y/X$ of $n$-dimensional Calabi-Yau varieties in characteristic $p$ at a point $x$ of $X$ equals the "conjugate line position" of $H^n_{\dR}(Y/X)$ at $x$, i.e. the largest $i$ such that the line of the conjugate filtration is contained in $\text{Fil}^i$ of the Hodge filtration. For every triple $(G,\mu,r)$ consisting of a connected, reductive $\mathbb{F}_p$-group $G$, a cocharacter $\mu \in X_*(G)$ and an $\mathbb{F}_p$-representation $r$ of $G$, we state a generalized Ogus Principle. If $\zeta:X \to \GZip^{\mu}$ is a smooth morphism, then the group theoretic Ogus Principle implies an Ogus Principle on $X$. We deduce an Ogus Principle for several Hodge and abelian-type Shimura varieties and the moduli space of K3 surfaces. In the talk I will present this work.
In joint work with W. Goldring we generalize a result of Ogus that, under certain technical conditions, the vanishing order of the Hasse invariant of a family $Y/X$ of $n$-dimensional Calabi-Yau varieties in characteristic $p$ at a point $x$ of $X$ equals the "conjugate line position" of $H^n_{\dR}(Y/X)$ at $x$, i.e. the largest $i$ such that the line of the conjugate filtration is contained in $\text{Fil}^i$ of the Hodge filtration. For every triple $(G,\mu,r)$ consisting of a connected, reductive $\mathbb{F}_p$-group $G$, a cocharacter $\mu \in X_*(G)$ and an $\mathbb{F}_p$-representation $r$ of $G$, we state a generalized Ogus Principle. If $\zeta:X \to \GZip^{\mu}$ is a smooth morphism, then the group theoretic Ogus Principle implies an Ogus Principle on $X$. We deduce an Ogus Principle for several Hodge and abelian-type Shimura varieties and the moduli space of K3 surfaces. In the talk I will present this work.
2024年07月03日(水)
講演会
16:00-17:30 数理科学研究科棟(駒場) 052号室
Kelvin Lam 氏 (Department of Mathematics, University of Washington, U.S.A.)
Boundary Rigidity and the Geodesic X-ray Transform in Low Regularity (English)
Kelvin Lam 氏 (Department of Mathematics, University of Washington, U.S.A.)
Boundary Rigidity and the Geodesic X-ray Transform in Low Regularity (English)
2024年07月02日(火)
トポロジー火曜セミナー
17:00-18:30 数理科学研究科棟(駒場) ハイブリッド開催/117号室
開催場所にご注意下さい。対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
田中 心 氏 (東京学芸大学)
The second quandle homology group of the knot $n$-quandle (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
開催場所にご注意下さい。対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
田中 心 氏 (東京学芸大学)
The second quandle homology group of the knot $n$-quandle (JAPANESE)
[ 講演概要 ]
We compute the second quandle homology group of the knot $n$-quandle for each integer $n>1$, where the knot $n$-quandle is a certain quotient of the knot quandle (of an oriented classical knot in the $3$-sphere). Although the second quandle homology group of the knot quandle can only detect the unknot, it turns out that that of its 3-quandle can detect the unknot, the trefoil and the cinqfoil. This is a joint work with Yuta Taniguchi.
[ 参考URL ]We compute the second quandle homology group of the knot $n$-quandle for each integer $n>1$, where the knot $n$-quandle is a certain quotient of the knot quandle (of an oriented classical knot in the $3$-sphere). Although the second quandle homology group of the knot quandle can only detect the unknot, it turns out that that of its 3-quandle can detect the unknot, the trefoil and the cinqfoil. This is a joint work with Yuta Taniguchi.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2024年06月28日(金)
東京名古屋代数セミナー
16:30-18:00 オンライン開催
齋藤峻也 氏 (東京大学)
Classifying KE-closed subcategories (Japanese)
http://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html
齋藤峻也 氏 (東京大学)
Classifying KE-closed subcategories (Japanese)
[ 講演概要 ]
圏の局所化や導来圏のt構造、傾加群とその変異など種々の理論と関連して、これまで様々な種類のアーベル圏の部分圏が導入・研究されてきた。とくに環を固定したとき、その加群圏にはどのような部分圏があり、それらはどのように分類されるのかという問題は環の表現論において活発に研究されてきた。可換環の場合には、様々な部分圏がプライム・スペクトラムを用いて分類できることや、一般のアーベル圏では異なるクラスの部分圏が一致してしまうことなどがこれまでの研究で明らかにされてきた。
本公演では、進行中の可換環上の加群圏におけるKE閉部分圏(=核と拡大で閉じる部分圏)の分類について話す。とくに良いクラスの可換環に対してはKE閉部分圏がプライム・スペクトラムを用いて分類できることや他のクラスの部分圏と一致してしまうことを紹介する。またこれらを示すうえで加群の自己準同型環の中心の考察が重要な役割を果たしており、その性質やKE閉部分圏の分類との関係について述べる。分類に関する予想や関連する問題についても述べたいと考えている。
本公演の内容は小林稔周氏(明治大学)との共同研究に基づく。
ミーティング ID: 890 0928 7250
パスコード: 360908
[ 参考URL ]圏の局所化や導来圏のt構造、傾加群とその変異など種々の理論と関連して、これまで様々な種類のアーベル圏の部分圏が導入・研究されてきた。とくに環を固定したとき、その加群圏にはどのような部分圏があり、それらはどのように分類されるのかという問題は環の表現論において活発に研究されてきた。可換環の場合には、様々な部分圏がプライム・スペクトラムを用いて分類できることや、一般のアーベル圏では異なるクラスの部分圏が一致してしまうことなどがこれまでの研究で明らかにされてきた。
本公演では、進行中の可換環上の加群圏におけるKE閉部分圏(=核と拡大で閉じる部分圏)の分類について話す。とくに良いクラスの可換環に対してはKE閉部分圏がプライム・スペクトラムを用いて分類できることや他のクラスの部分圏と一致してしまうことを紹介する。またこれらを示すうえで加群の自己準同型環の中心の考察が重要な役割を果たしており、その性質やKE閉部分圏の分類との関係について述べる。分類に関する予想や関連する問題についても述べたいと考えている。
本公演の内容は小林稔周氏(明治大学)との共同研究に基づく。
ミーティング ID: 890 0928 7250
パスコード: 360908
http://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html
統計数学セミナー
13:00-14:10 数理科学研究科棟(駒場) 128号室
ハイブリッド開催
原田 和治 氏 (東京医科大学医療データサイエンス分野)
医学における予測モデルの活用と階層構造を持つ順序回帰の提案 (日本語)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tZUpd-ispjIqG9NfJk7_kjW2pBcvq_KMXHPW
ハイブリッド開催
原田 和治 氏 (東京医科大学医療データサイエンス分野)
医学における予測モデルの活用と階層構造を持つ順序回帰の提案 (日本語)
[ 講演概要 ]
医学における統計学の活用というと,無作為化比較試験の設計や観察研究に基づく因果効果の推定など,ある治療や曝露が心身の状態に及ぼす影響を偏りなく推定する研究課題に関心が向けられることが多い.一方で,尿検査などの侵襲性(医療行為が痛みや出血,健康リスクを伴うこと)の低い検査の結果に基づいて個々人の将来の健康リスクを見積もるといった,予測・分類モデルの構築もまた,関心の高い領域である.本講演では,はじめに医学分野における予測モデルの活用状況について紹介する.次に,非侵襲的に病気を診断したり,状態を推測したりするために用いられる生体分子(バイオマーカー)の探索およびそれらを用いた予測モデル構築を動機として,応答変数が階層構造を持つ順序回帰モデルを導入し,構造的スパース正則化を用いた学習方法を提案する.
[ 参考URL ]医学における統計学の活用というと,無作為化比較試験の設計や観察研究に基づく因果効果の推定など,ある治療や曝露が心身の状態に及ぼす影響を偏りなく推定する研究課題に関心が向けられることが多い.一方で,尿検査などの侵襲性(医療行為が痛みや出血,健康リスクを伴うこと)の低い検査の結果に基づいて個々人の将来の健康リスクを見積もるといった,予測・分類モデルの構築もまた,関心の高い領域である.本講演では,はじめに医学分野における予測モデルの活用状況について紹介する.次に,非侵襲的に病気を診断したり,状態を推測したりするために用いられる生体分子(バイオマーカー)の探索およびそれらを用いた予測モデル構築を動機として,応答変数が階層構造を持つ順序回帰モデルを導入し,構造的スパース正則化を用いた学習方法を提案する.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tZUpd-ispjIqG9NfJk7_kjW2pBcvq_KMXHPW
代数幾何学セミナー
13:30-15:00 数理科学研究科棟(駒場) ハイブリッド開催/117号室
吉野太郎 氏 (東京大学)
Stable rationality of hypersurfaces in mock toric varieties (日本語)
吉野太郎 氏 (東京大学)
Stable rationality of hypersurfaces in mock toric varieties (日本語)
[ 講演概要 ]
In recent years, there has been a development in approaching rationality problems through motivic methods. This approach requires the explicit construction of degeneration families over curves with favorable properties. However, the specific construction is generally difficult. Nicaise and Ottem combined combinatorial methods to construct degeneration families of hypersurfaces in toric varieties and mentioned the stable rationality of a very general hypersurface in projective spaces. In this talk, we mention the following two points: First, I introduce the notion of mock toric varieties, which are generalizations of toric varieties. Second, I combinatorially construct degeneration families of hypersurfaces in mock toric varieties, and I mention the irrationality of a very general hypersurface in the complex Grassmannian variety Gr(2, n).
In recent years, there has been a development in approaching rationality problems through motivic methods. This approach requires the explicit construction of degeneration families over curves with favorable properties. However, the specific construction is generally difficult. Nicaise and Ottem combined combinatorial methods to construct degeneration families of hypersurfaces in toric varieties and mentioned the stable rationality of a very general hypersurface in projective spaces. In this talk, we mention the following two points: First, I introduce the notion of mock toric varieties, which are generalizations of toric varieties. Second, I combinatorially construct degeneration families of hypersurfaces in mock toric varieties, and I mention the irrationality of a very general hypersurface in the complex Grassmannian variety Gr(2, n).
2024年06月27日(木)
応用解析セミナー
16:00-17:30 数理科学研究科棟(駒場) 128号室
大泉 嶺 氏 (国立社会保障・人口問題研究所)
A Control Theory in Mathematical Demography (Japanese)
大泉 嶺 氏 (国立社会保障・人口問題研究所)
A Control Theory in Mathematical Demography (Japanese)
[ 講演概要 ]
Multistate Age-Structured Population Model is a fundamental mathematical model in mathematical demography that describes population structure and dynamics with state variables that are not uniform with age (e.g., body size, place of residence, genetic characteristics, etc.). The model's eigensystems have been used in various demographic analyses, providing essential indicators for discussing evolutionary theory. In this study, we derive a control equation (HJB equation) that maximizes the spectral radius from the eigensystem of the multistate age-structured population model and discuss the control process that generates an evolutionarily adaptive life history.
Multistate Age-Structured Population Model is a fundamental mathematical model in mathematical demography that describes population structure and dynamics with state variables that are not uniform with age (e.g., body size, place of residence, genetic characteristics, etc.). The model's eigensystems have been used in various demographic analyses, providing essential indicators for discussing evolutionary theory. In this study, we derive a control equation (HJB equation) that maximizes the spectral radius from the eigensystem of the multistate age-structured population model and discuss the control process that generates an evolutionarily adaptive life history.
2024年06月25日(火)
作用素環セミナー
16:45-18:15 数理科学研究科棟(駒場) 126号室
星野真生 氏 (東大数理)
Polynomial family of quantum flag manifolds via deformed QEA
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
星野真生 氏 (東大数理)
Polynomial family of quantum flag manifolds via deformed QEA
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
トポロジー火曜セミナー
17:00-18:30 数理科学研究科棟(駒場) 056号室
RIKEN iTHEMS との共同開催。対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
Emmy Murphy 氏 (University of Toronto)
Liouville symmetry groups and pseudo-isotopies (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
RIKEN iTHEMS との共同開催。対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
Emmy Murphy 氏 (University of Toronto)
Liouville symmetry groups and pseudo-isotopies (ENGLISH)
[ 講演概要 ]
Even though $\mathbb{C}^n$ is the most basic symplectic manifold, when $n>2$ its compactly supported symplectomorphism group remains mysterious. For instance, we do not know if it is connected. To understand it better, one can define various subgroups of the symplectomorphism group, and a number of Serre fibrations between them. This leads us to the Liouville pseudo-isotopy group of a contact manifold, important for relating (for instance) compactly supported symplectomorphisms of $\mathbb{C}^n$, and contactomorphisms of the sphere at infinity. After explaining this background, the talk will focus on a new result: that the pseudo-isotopy group is connected, under a Liouville-vs-Weinstein hypothesis.
[ 参考URL ]Even though $\mathbb{C}^n$ is the most basic symplectic manifold, when $n>2$ its compactly supported symplectomorphism group remains mysterious. For instance, we do not know if it is connected. To understand it better, one can define various subgroups of the symplectomorphism group, and a number of Serre fibrations between them. This leads us to the Liouville pseudo-isotopy group of a contact manifold, important for relating (for instance) compactly supported symplectomorphisms of $\mathbb{C}^n$, and contactomorphisms of the sphere at infinity. After explaining this background, the talk will focus on a new result: that the pseudo-isotopy group is connected, under a Liouville-vs-Weinstein hypothesis.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2024年06月24日(月)
複素解析幾何セミナー
10:30-12:00 数理科学研究科棟(駒場) 128号室
成田 知将 氏 (名古屋大学)
コンパクトケーラー多様体のラプラシアン固有値の最大化問題 (Japanese)
https://forms.gle/gTP8qNZwPyQyxjTj8
成田 知将 氏 (名古屋大学)
コンパクトケーラー多様体のラプラシアン固有値の最大化問題 (Japanese)
[ 講演概要 ]
与えられたコンパクト多様体$M$において,体積が1となるようなリーマン計量全体を考える.このとき,計量から定まるラプラシアンの最小正固有値は,そのような計量全体の上の汎関数とみなせる.Nadirashvili(1996)とEl Soufi-Ilias(2000)は,計量$g$がそのような固有値汎関数の臨界点であるとき,ラプラシアンの固有関数たちが$(M, g)$の球面への等長極小はめ込みを与えることを示した.Apostolov-Jakobson-Kokarev(2015)は,リーマン計量全体ではなく,コンパクトケーラー多様体においてケーラー類を固定して固有値汎関数の臨界点を調べた.本講演では,コンパクト複素多様体において,体積が1となるようなケーラー計量全体を考え,固有値汎関数の臨界点について考察する.Apostolov et al.の結果との比較を行い,また例として平坦な複素トーラスについて述べる.本講演はプレプリント arXiv:2304.06261の内容に基づく.
[ 参考URL ]与えられたコンパクト多様体$M$において,体積が1となるようなリーマン計量全体を考える.このとき,計量から定まるラプラシアンの最小正固有値は,そのような計量全体の上の汎関数とみなせる.Nadirashvili(1996)とEl Soufi-Ilias(2000)は,計量$g$がそのような固有値汎関数の臨界点であるとき,ラプラシアンの固有関数たちが$(M, g)$の球面への等長極小はめ込みを与えることを示した.Apostolov-Jakobson-Kokarev(2015)は,リーマン計量全体ではなく,コンパクトケーラー多様体においてケーラー類を固定して固有値汎関数の臨界点を調べた.本講演では,コンパクト複素多様体において,体積が1となるようなケーラー計量全体を考え,固有値汎関数の臨界点について考察する.Apostolov et al.の結果との比較を行い,また例として平坦な複素トーラスについて述べる.本講演はプレプリント arXiv:2304.06261の内容に基づく.
https://forms.gle/gTP8qNZwPyQyxjTj8
東京確率論セミナー
16:00-17:30 数理科学研究科棟(駒場) 126号室
15:15〜 2階のコモンルームでTea timeを行います。ぜひこちらにもご参加ください。
中野史彦 氏 (東北大学)
Temperley - Lieb 演算子の持ち上げとRazumov - Stroganov 予想について (日本語)
15:15〜 2階のコモンルームでTea timeを行います。ぜひこちらにもご参加ください。
中野史彦 氏 (東北大学)
Temperley - Lieb 演算子の持ち上げとRazumov - Stroganov 予想について (日本語)
[ 講演概要 ]
Razumov - Stroganov 予想とはリンクパターン上の生成する線型空間上のあるハミルトニアンの基底状態に対応するFPLの個数が現れるという予想で、2010年に解決されたが、O(1)-loop model, 交代符号行列を介して2次元統計力学の模型や組み合わせ論との様々なつながりがあり、今も注目されている。Temperley - Lieb 演算子の持ち上げを用いたRS予想のより平易な証明について議論する。
Razumov - Stroganov 予想とはリンクパターン上の生成する線型空間上のあるハミルトニアンの基底状態に対応するFPLの個数が現れるという予想で、2010年に解決されたが、O(1)-loop model, 交代符号行列を介して2次元統計力学の模型や組み合わせ論との様々なつながりがあり、今も注目されている。Temperley - Lieb 演算子の持ち上げを用いたRS予想のより平易な証明について議論する。
2024年06月21日(金)
東京名古屋代数セミナー
16:30-18:00 オンライン開催
伊藤 大悟 氏 (UC Berkeley)
松井スペクトラムを用いた復元定理の再解釈 (Japanese)
http://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html
伊藤 大悟 氏 (UC Berkeley)
松井スペクトラムを用いた復元定理の再解釈 (Japanese)
[ 講演概要 ]
代数多様体X上の連接層の導来圏は多くの幾何学的情報を含んでいることが知られており,特にBondal-OrlovとBallard氏によってXがGorenstein (反)Fano多様体の場合は導来圏の三角圏構造からXを復元できることが示されている.一方で一般の代数多様体XについてもBalmer氏によって導来圏の三角圏構造と導来テンソル積によるモノイダル構造の組からXを復元できることが示されている.本講演では近年松井氏によって導入された三角圏の松井スペクトラムを用いることでBalmer氏による復元をモノイダル構造なしでどの程度理解することができるかという問いから出発し,この視点からBondal-OrlovとBallard氏の復元定理に完全な別証明を与える.この別証明をもとにこの復元定理のさらなる一般化やFavero氏によるいくつかの関連する復元定理の別証明や一般化に関しても解説する.またこの視点を採用することでFourier-Mukaiパートナーが複数存在する場合にどのように復元問題を考えることができるかについても双有理幾何との関係にも触れつつ時間が許す限り解説する.一部の内容は徳島大学の松井氏との共同研究(arXiv:2405.16776)に基づく.
[ 参考URL ]代数多様体X上の連接層の導来圏は多くの幾何学的情報を含んでいることが知られており,特にBondal-OrlovとBallard氏によってXがGorenstein (反)Fano多様体の場合は導来圏の三角圏構造からXを復元できることが示されている.一方で一般の代数多様体XについてもBalmer氏によって導来圏の三角圏構造と導来テンソル積によるモノイダル構造の組からXを復元できることが示されている.本講演では近年松井氏によって導入された三角圏の松井スペクトラムを用いることでBalmer氏による復元をモノイダル構造なしでどの程度理解することができるかという問いから出発し,この視点からBondal-OrlovとBallard氏の復元定理に完全な別証明を与える.この別証明をもとにこの復元定理のさらなる一般化やFavero氏によるいくつかの関連する復元定理の別証明や一般化に関しても解説する.またこの視点を採用することでFourier-Mukaiパートナーが複数存在する場合にどのように復元問題を考えることができるかについても双有理幾何との関係にも触れつつ時間が許す限り解説する.一部の内容は徳島大学の松井氏との共同研究(arXiv:2405.16776)に基づく.
http://www.math.nagoya-u.ac.jp/~aaron.chan/TNAseminar.html
談話会・数理科学講演会
15:30-16:30 数理科学研究科棟(駒場) 大講義室(auditorium)号室
万一感染クラスター発生時にご連絡差し上げるため、[参考URL]から参加登録をお願いいたします。
Mircea Mustaţă 氏 (The University of Michigan)
The minimal exponent of hypersurface singularities (English)
https://docs.google.com/forms/d/e/1FAIpQLSdUrEZYZ4fvi8So3pUVkxF08M2jbVdo7hTew_B1S5l-opFyzg/viewform?usp=sharing
万一感染クラスター発生時にご連絡差し上げるため、[参考URL]から参加登録をお願いいたします。
Mircea Mustaţă 氏 (The University of Michigan)
The minimal exponent of hypersurface singularities (English)
[ 講演概要 ]
The log canonical threshold of a hypersurface is an invariant of singularities that plays an important role in birational geometry, but which arises in many other contexts and admits different characterizations. A refinement of this invariant is Saito's minimal exponent, whose definition relies on the theory of b-functions, an important concept in D-module theory. The new information (by comparison with the log canonical threshold) provides a numerical measure of rational singularities. In this talk I will give an introduction to minimal exponents, highlighting recent progress and open questions.
[ 参考URL ]The log canonical threshold of a hypersurface is an invariant of singularities that plays an important role in birational geometry, but which arises in many other contexts and admits different characterizations. A refinement of this invariant is Saito's minimal exponent, whose definition relies on the theory of b-functions, an important concept in D-module theory. The new information (by comparison with the log canonical threshold) provides a numerical measure of rational singularities. In this talk I will give an introduction to minimal exponents, highlighting recent progress and open questions.
https://docs.google.com/forms/d/e/1FAIpQLSdUrEZYZ4fvi8So3pUVkxF08M2jbVdo7hTew_B1S5l-opFyzg/viewform?usp=sharing
代数幾何学セミナー
13:30-15:00 数理科学研究科棟(駒場) ハイブリッド開催/056号室
Kien Nguyen Huu 氏 (Normandie Université/KU Leuven)
ON THE POWER SERIES OF DENEF AND LOESER'S MOTIVIC VANISHING CYCLES OF JET POLYNOMIALS (English)
Kien Nguyen Huu 氏 (Normandie Université/KU Leuven)
ON THE POWER SERIES OF DENEF AND LOESER'S MOTIVIC VANISHING CYCLES OF JET POLYNOMIALS (English)
[ 講演概要 ]
Let f be a non-constant polynomial in n variables over a field k of characteristic
0. Denef and Loeser introduced the notion of motivic vanishing cycles of f as an element in
the localization Mμˆ of the Grothendieck ring Kμˆ(Var ) of k-varieties with a good action of k0k
μˆ := lim μm by inverting the affne line equipped with the trivial action of μˆ, where μm
is the group scheme over k of mth roots of unity. In particular, if k is the field of complex
numbers then Denef and Loeser showed that their motivic vanishing cycles and the complex
φf [n − 1] has the same Hodge characteristic, where φf is the complex of vanishing cycles
in the usual sense. Motivated by the Igusa conjecture for exponential sums and the strong
monodromy conjecture, we introduce the notion of Poincaré series of Denef-Loeser's van-
ishing cycles of jet polynomials of f, where jet polynomials of f are polynomials appearing
naturally when we compute the jet schemes of f. By using Davison-Meinhardt's conjecture
which was proved by Nicaise and Payne in 2019, we can show that our Poincaré series is a
rational function over a quotient ring of Mμˆ by very natural relations. In particular, we can k
recovery Denef and Loeser's motivic vanishing cycles from our Poincaré series. Moreover, we can show that our Poincaré series owns a universal property in the sense that if k is a number field then the Igusa local zeta functions, the motivic Igusa zeta functions, the Poincaré series of exponential sums modulo pm of f can be obtained from our Poincaré se- ries by suitable specialization maps preserving the rationality. If time permits, I will present some initial consequences that have arisen during the study of our Poincaré series.
Let f be a non-constant polynomial in n variables over a field k of characteristic
0. Denef and Loeser introduced the notion of motivic vanishing cycles of f as an element in
the localization Mμˆ of the Grothendieck ring Kμˆ(Var ) of k-varieties with a good action of k0k
μˆ := lim μm by inverting the affne line equipped with the trivial action of μˆ, where μm
is the group scheme over k of mth roots of unity. In particular, if k is the field of complex
numbers then Denef and Loeser showed that their motivic vanishing cycles and the complex
φf [n − 1] has the same Hodge characteristic, where φf is the complex of vanishing cycles
in the usual sense. Motivated by the Igusa conjecture for exponential sums and the strong
monodromy conjecture, we introduce the notion of Poincaré series of Denef-Loeser's van-
ishing cycles of jet polynomials of f, where jet polynomials of f are polynomials appearing
naturally when we compute the jet schemes of f. By using Davison-Meinhardt's conjecture
which was proved by Nicaise and Payne in 2019, we can show that our Poincaré series is a
rational function over a quotient ring of Mμˆ by very natural relations. In particular, we can k
recovery Denef and Loeser's motivic vanishing cycles from our Poincaré series. Moreover, we can show that our Poincaré series owns a universal property in the sense that if k is a number field then the Igusa local zeta functions, the motivic Igusa zeta functions, the Poincaré series of exponential sums modulo pm of f can be obtained from our Poincaré se- ries by suitable specialization maps preserving the rationality. If time permits, I will present some initial consequences that have arisen during the study of our Poincaré series.
2024年06月20日(木)
トポロジー火曜セミナー
17:00-18:30 数理科学研究科棟(駒場) 002号室
RIKEN iTHEMS との共同開催。開催日、開催場所にご注意下さい。対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
Dominik Inauen 氏 (University of Leipzig)
Rigidity and Flexibility of Iosmetric Embeddings (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
RIKEN iTHEMS との共同開催。開催日、開催場所にご注意下さい。対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
Dominik Inauen 氏 (University of Leipzig)
Rigidity and Flexibility of Iosmetric Embeddings (ENGLISH)
[ 講演概要 ]
The problem of embedding abstract Riemannian manifolds isometrically (i.e. preserving the lengths) into Euclidean space stems from the conceptually fundamental question of whether abstract Riemannian manifolds and submanifolds of Euclidean space are the same. As it turns out, such embeddings have a drastically different behaviour at low regularity (i.e. $C^1$) than at high regularity (i.e. $C^2$). For example, by the famous Nash--Kuiper theorem it is possible to find $C^1$ isometric embeddings of the standard $2$-sphere into arbitrarily small balls in $\mathbb{R}^3$, and yet, in the $C^2$ category there is (up to translation and rotation) just one isometric embedding, namely the standard inclusion. Analoguous to the Onsager conjecture in fluid dynamics, one might ask if there is a sharp regularity threshold in the Hölder scale which distinguishes these flexible and rigid behaviours. In my talk I will review some known results and argue why the Hölder exponent 1/2 can be seen as a critical exponent in the problem.
[ 参考URL ]The problem of embedding abstract Riemannian manifolds isometrically (i.e. preserving the lengths) into Euclidean space stems from the conceptually fundamental question of whether abstract Riemannian manifolds and submanifolds of Euclidean space are the same. As it turns out, such embeddings have a drastically different behaviour at low regularity (i.e. $C^1$) than at high regularity (i.e. $C^2$). For example, by the famous Nash--Kuiper theorem it is possible to find $C^1$ isometric embeddings of the standard $2$-sphere into arbitrarily small balls in $\mathbb{R}^3$, and yet, in the $C^2$ category there is (up to translation and rotation) just one isometric embedding, namely the standard inclusion. Analoguous to the Onsager conjecture in fluid dynamics, one might ask if there is a sharp regularity threshold in the Hölder scale which distinguishes these flexible and rigid behaviours. In my talk I will review some known results and argue why the Hölder exponent 1/2 can be seen as a critical exponent in the problem.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2024年06月19日(水)
代数学コロキウム
17:00-18:00 数理科学研究科棟(駒場) 117号室
Abhinandan 氏 (University of Tokyo)
Prismatic $F$-crystals and Wach modules (English)
Abhinandan 氏 (University of Tokyo)
Prismatic $F$-crystals and Wach modules (English)
[ 講演概要 ]
For an absolutely unramified extension $K/\mathbb{Q}_p$ with perfect residue field, by the works of Fontaine, Colmez, Wach and Berger, it is well known that the category of Wach modules over a certain integral period ring is equivalent to the category of lattices inside crystalline representations of $G_K$ (the absolute Galois group of $K$). Moreover, by the recent works of Bhatt and Scholze, we also know that lattices inside crystalline representations of $G_K$ are equivalent to the category of prismatic $F$-crystals on the absolute prismatic site of $O_K$, the ring of integers of $K$. The goal of this talk is to present a direct construction of the categorical equivalence between Wach modules and prismatic $F$-crystals over the absolute prismatic site of $O_K$. If time permits, we will also mention a generalisation of these results to the case of a "small" base ring.
For an absolutely unramified extension $K/\mathbb{Q}_p$ with perfect residue field, by the works of Fontaine, Colmez, Wach and Berger, it is well known that the category of Wach modules over a certain integral period ring is equivalent to the category of lattices inside crystalline representations of $G_K$ (the absolute Galois group of $K$). Moreover, by the recent works of Bhatt and Scholze, we also know that lattices inside crystalline representations of $G_K$ are equivalent to the category of prismatic $F$-crystals on the absolute prismatic site of $O_K$, the ring of integers of $K$. The goal of this talk is to present a direct construction of the categorical equivalence between Wach modules and prismatic $F$-crystals over the absolute prismatic site of $O_K$. If time permits, we will also mention a generalisation of these results to the case of a "small" base ring.
2024年06月18日(火)
作用素環セミナー
16:45-18:15 数理科学研究科棟(駒場) 126号室
安藤浩志 氏 (千葉大)
Lie theoretic approach to the unitary groups of $C^*$-algebras
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
安藤浩志 氏 (千葉大)
Lie theoretic approach to the unitary groups of $C^*$-algebras
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
解析学火曜セミナー
16:00-17:30 数理科学研究科棟(駒場) 128号室
対面・オンラインハイブリッド開催,場所にご注意ください
森龍之介 氏 (明治大学)
Blocking and propagation in two-dimensional cylinders with spatially undulating boundary (Japanese)
https://forms.gle/TrFmSZQ1ZeqvSjfP7
対面・オンラインハイブリッド開催,場所にご注意ください
森龍之介 氏 (明治大学)
Blocking and propagation in two-dimensional cylinders with spatially undulating boundary (Japanese)
[ 講演概要 ]
We consider blocking and propagation phenomena of mean curvature flow with a driving force in two-dimensional cylinders with spatially undulating boundary. In this problem, Matano, Nakamura and Lou in 2006, 2013 characterize the effect of the shape of the boundary to blocking and propagation of the solutions under some slop condition about the boundary that implies time global existence of the classical solutions. In this talk, we consider the effect of the shape of the boundary to blocking and propagation of this problem under more general situation that the solutions may develop singularities near the boundary.
[ 参考URL ]We consider blocking and propagation phenomena of mean curvature flow with a driving force in two-dimensional cylinders with spatially undulating boundary. In this problem, Matano, Nakamura and Lou in 2006, 2013 characterize the effect of the shape of the boundary to blocking and propagation of the solutions under some slop condition about the boundary that implies time global existence of the classical solutions. In this talk, we consider the effect of the shape of the boundary to blocking and propagation of this problem under more general situation that the solutions may develop singularities near the boundary.
https://forms.gle/TrFmSZQ1ZeqvSjfP7
統計数学セミナー
13:00-14:10 数理科学研究科棟(駒場) 128号室
ハイブリッド開催
Lorenzo Mercuri 氏 (University of Milan)
A compound CARMA(p,q)-Hawkes process for pricing financial derivatives (English)
https://u-tokyo-ac-jp.zoom.us/meeting/register/tZ0rcOmvpjwuGNHx8ht0rMs1rD3HcEajoJv6
ハイブリッド開催
Lorenzo Mercuri 氏 (University of Milan)
A compound CARMA(p,q)-Hawkes process for pricing financial derivatives (English)
[ 講演概要 ]
Recently, a new self-exciting point process with a continuous-time autoregressive moving average intensity process, named CARMA(p,q)-Hawkes model, has been introduced. The model generalizes the well-known Hawkes process by substituting the Ornstein-Uhlenbeck intensity with a CARMA(p,q) model where the associated state process is driven by the counting process itself. The new model maintains the same level of tractability of the Hawkes (e.g., Infinitesimal generator, backward and forward Kolmogorov equation, joint characteristic function and so on). However, it is able to reproduce more complex time-dependency structure observed in several market data.
Starting from this model, we introduce a Compound CARMA(p,q)-Hawkes with a random jump size independent of the counting and the intensity processes. This can be used as the main block for a new option pricing model, due to log-affine structure of the characteristic function of the underlying log-price driven by a pure jump compound CARMA(p,q)-Hawkes.
Further, we extend this model by scaling it with a measurable function of the time and the left-limit of the price itself. Exploiting the Markov structure of the new model, we derive the forward Kolmogorov equation that leads us to a Dupire-like formula. Some numerical results will also be presented.
[ 参考URL ]Recently, a new self-exciting point process with a continuous-time autoregressive moving average intensity process, named CARMA(p,q)-Hawkes model, has been introduced. The model generalizes the well-known Hawkes process by substituting the Ornstein-Uhlenbeck intensity with a CARMA(p,q) model where the associated state process is driven by the counting process itself. The new model maintains the same level of tractability of the Hawkes (e.g., Infinitesimal generator, backward and forward Kolmogorov equation, joint characteristic function and so on). However, it is able to reproduce more complex time-dependency structure observed in several market data.
Starting from this model, we introduce a Compound CARMA(p,q)-Hawkes with a random jump size independent of the counting and the intensity processes. This can be used as the main block for a new option pricing model, due to log-affine structure of the characteristic function of the underlying log-price driven by a pure jump compound CARMA(p,q)-Hawkes.
Further, we extend this model by scaling it with a measurable function of the time and the left-limit of the price itself. Exploiting the Markov structure of the new model, we derive the forward Kolmogorov equation that leads us to a Dupire-like formula. Some numerical results will also be presented.
https://u-tokyo-ac-jp.zoom.us/meeting/register/tZ0rcOmvpjwuGNHx8ht0rMs1rD3HcEajoJv6
2024年06月17日(月)
複素解析幾何セミナー
10:30-12:00 数理科学研究科棟(駒場) 128号室
日下部 佑太 氏 (九州大学)
Oka tubes in holomorphic line bundles (Japanese)
https://forms.gle/gTP8qNZwPyQyxjTj8
日下部 佑太 氏 (九州大学)
Oka tubes in holomorphic line bundles (Japanese)
[ 講演概要 ]
自身を値域とする正則写像の拡張・近似問題に関して、岡の原理が成り立つような複素多様体を岡多様体と呼ぶ。岡多様体は、複素Euclid空間から多くの支配的正則写像を持つという楕円性によって特徴付けられ、小林双曲性に代表される複素幾何学的双曲性とは真逆の性質を持つことが知られている。本講演では、コンパクト複素多様体上の負直線束の零切断が擬小林双曲近傍基を持つという事実を一つの背景として、どのような場合に直線束の零切断が岡近傍基を持つかという問題を考える。本講演の内容は、Franc Forstnerič氏との共同研究に基づく。
[ 参考URL ]自身を値域とする正則写像の拡張・近似問題に関して、岡の原理が成り立つような複素多様体を岡多様体と呼ぶ。岡多様体は、複素Euclid空間から多くの支配的正則写像を持つという楕円性によって特徴付けられ、小林双曲性に代表される複素幾何学的双曲性とは真逆の性質を持つことが知られている。本講演では、コンパクト複素多様体上の負直線束の零切断が擬小林双曲近傍基を持つという事実を一つの背景として、どのような場合に直線束の零切断が岡近傍基を持つかという問題を考える。本講演の内容は、Franc Forstnerič氏との共同研究に基づく。
https://forms.gle/gTP8qNZwPyQyxjTj8
東京確率論セミナー
15:40-17:45 数理科学研究科棟(駒場) 126号室
講演とTeaTime の開始時間が早くなっています。15:00〜 2階のコモンルームでTea timeを行いますので、ぜひそちらにもご参加ください。
植田健人 氏 (東京大学) 15:40-16:40
非整数ブラウン運動で駆動される確率微分方程式の数値解の漸近展開 (日本語)
Homogenization results for reflecting diffusions in a continuum percolation cluster (日本語)
講演とTeaTime の開始時間が早くなっています。15:00〜 2階のコモンルームでTea timeを行いますので、ぜひそちらにもご参加ください。
植田健人 氏 (東京大学) 15:40-16:40
非整数ブラウン運動で駆動される確率微分方程式の数値解の漸近展開 (日本語)
[ 講演概要 ]
本研究は非整数ブラウン運動(fBm)で駆動される確率微分方程式の数値解に対する極限定理(漸近誤差)に関する研究である。このfBmおよびそれによって駆動される方程式は非マルコフな時系列モデルとして用いられ、その数値解に対する極限定理は数学的興味のほか、数値シミュレーションの誤差の推定への応用が期待される。数値解の極限定理は駆動するfBmが1次元か否か、また1次元ならドリフト項が存在するか否か、さらにfBmのハースト指数、そして対象とする数値解法によって定理の主張も適用できる証明法も異なり、そのために条件ごとに様々な先行研究が存在する。このうち、本研究は1次元かつドリフト項が存在する場合に誤差分布の導出と正当化を行ったものであり、一般の数値解法に適用できる。同範囲の先行研究では高次ミルシュタイン法、クランク-ニコルソン法に対してハースト指数が1/3より大きい場合に関して漸近誤差を特定できるが、本研究では高次ミルシュタイン法の漸近誤差を任意のハースト指数に対して完全に決定するとともに、クランク-ニコルソン法に対してもハースト指数が1/4以上の場合に漸近誤差を特定している。なお、本講演では導出した誤差分布を視覚的に観察し、漸近誤差への直観的な理解を深められるよう、漸近誤差に対する数値実験の結果を詳しく説明する。
竹内裕隆 氏 (慶應義塾大学) 16:45-17:45本研究は非整数ブラウン運動(fBm)で駆動される確率微分方程式の数値解に対する極限定理(漸近誤差)に関する研究である。このfBmおよびそれによって駆動される方程式は非マルコフな時系列モデルとして用いられ、その数値解に対する極限定理は数学的興味のほか、数値シミュレーションの誤差の推定への応用が期待される。数値解の極限定理は駆動するfBmが1次元か否か、また1次元ならドリフト項が存在するか否か、さらにfBmのハースト指数、そして対象とする数値解法によって定理の主張も適用できる証明法も異なり、そのために条件ごとに様々な先行研究が存在する。このうち、本研究は1次元かつドリフト項が存在する場合に誤差分布の導出と正当化を行ったものであり、一般の数値解法に適用できる。同範囲の先行研究では高次ミルシュタイン法、クランク-ニコルソン法に対してハースト指数が1/3より大きい場合に関して漸近誤差を特定できるが、本研究では高次ミルシュタイン法の漸近誤差を任意のハースト指数に対して完全に決定するとともに、クランク-ニコルソン法に対してもハースト指数が1/4以上の場合に漸近誤差を特定している。なお、本講演では導出した誤差分布を視覚的に観察し、漸近誤差への直観的な理解を深められるよう、漸近誤差に対する数値実験の結果を詳しく説明する。
Homogenization results for reflecting diffusions in a continuum percolation cluster (日本語)
[ 講演概要 ]
アブストラクト: ランダム媒質の研究において均一化は重要な問題の一つである. 均一化はいくつかの定式化が知られている, 本講演ではランダム媒質上の確率過程に関する極限定理であるquenched invariance principleと, その精密化である局所中心極限定理を考える. この様な定式化について, 離散的なモデルの場合には多くの結果が知られている. 連続的なモデルに関しても, random environment 上の拡散過程に関する結果は多く知られている. 一方拡散過程が反射壁を持つ場合に関しては, 境界の影響等により問題が複雑化するためquenchedな結果は知られていなかった. 本講演では連続パーコレーションが幾何的な条件を満たす場合, その上の反射壁を持つ拡散過程に関してquenched invariance principleと局所中心極限定理が成り立つという結果を紹介する.
アブストラクト: ランダム媒質の研究において均一化は重要な問題の一つである. 均一化はいくつかの定式化が知られている, 本講演ではランダム媒質上の確率過程に関する極限定理であるquenched invariance principleと, その精密化である局所中心極限定理を考える. この様な定式化について, 離散的なモデルの場合には多くの結果が知られている. 連続的なモデルに関しても, random environment 上の拡散過程に関する結果は多く知られている. 一方拡散過程が反射壁を持つ場合に関しては, 境界の影響等により問題が複雑化するためquenchedな結果は知られていなかった. 本講演では連続パーコレーションが幾何的な条件を満たす場合, その上の反射壁を持つ拡散過程に関してquenched invariance principleと局所中心極限定理が成り立つという結果を紹介する.
2024年06月11日(火)
作用素環セミナー
16:45-18:15 数理科学研究科棟(駒場) 126号室
曽我部太郎 氏 (京大理)
The ext groups and homotopy groups of the automorphism groups of Cuntz-Krieger algebras
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
曽我部太郎 氏 (京大理)
The ext groups and homotopy groups of the automorphism groups of Cuntz-Krieger algebras
[ 参考URL ]
https://www.ms.u-tokyo.ac.jp/~yasuyuki/tokyo-seminar.htm
トポロジー火曜セミナー
17:00-18:30 数理科学研究科棟(駒場) ハイブリッド開催/056号室
対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
河澄 響矢 氏 (東京大学大学院数理科学研究科)
Fenchel-Nielsen 座標による Weil-Petersson シンプレクティック形式の Wolpert の公式の位相的証明 (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
対面参加、オンライン参加のいずれの場合もセミナーのホームページから参加登録を行って下さい。
河澄 響矢 氏 (東京大学大学院数理科学研究科)
Fenchel-Nielsen 座標による Weil-Petersson シンプレクティック形式の Wolpert の公式の位相的証明 (JAPANESE)
[ 講演概要 ]
Wolpert は Teichmüller 空間上の Weil-Petersson シンプレクティック形式を Fenchel-Nielsen 座標で顕に記述している。この座標は曲面のパンツ分解に由来する。パンツ分解から自然にえられる胞体分割を導入することで Wolpert の記述の位相的な証明がえられる。この証明では、シンプレクティック形式がパンツ分解を定義する単純閉曲線のまわりに局所化している。
[ 参考URL ]Wolpert は Teichmüller 空間上の Weil-Petersson シンプレクティック形式を Fenchel-Nielsen 座標で顕に記述している。この座標は曲面のパンツ分解に由来する。パンツ分解から自然にえられる胞体分割を導入することで Wolpert の記述の位相的な証明がえられる。この証明では、シンプレクティック形式がパンツ分解を定義する単純閉曲線のまわりに局所化している。
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2024年06月10日(月)
複素解析幾何セミナー
10:30-12:00 数理科学研究科棟(駒場) 128号室
鍋島 克輔 氏 (東京理科大学)
Computing Noetherian operators of polynomial ideals
--How to characterize a polynomial ideal by partial differential operators -- (Japanese)
https://forms.gle/gTP8qNZwPyQyxjTj8
鍋島 克輔 氏 (東京理科大学)
Computing Noetherian operators of polynomial ideals
--How to characterize a polynomial ideal by partial differential operators -- (Japanese)
[ 講演概要 ]
Describing ideals in polynomial rings by using systems of differential operators in one of the major approaches to study them. In 1916, F.S. Macaulay brought the notion of an inverse system, a system of differential conditions that describes an ideal. In 1937, W. Groebner mentioned the importance of the Macaulay's inverse system in the study of linear differential equations with constant coefficient, and in 1938, he introduced differential operators to characterize ideals that are primary to a rational maximal ideal. After that the important results and the terminology came from L. Ehrenpreise and V. P. Palamodov in 1961 and 1970, that is the characterization of primary ideals by the differential operators. The differential operators allow one to characterize the primary ideal by differential conditions on the associated characteristic variety. The differential operators are called Noetherian operators.
In this talk, we consider Noetherian operators in the context of symbolic computation. Upon utilizing the theory of holonomic D-modules, we present a new computational method of Noetherian operators associated to a polynomial ideal. The computational method that consists mainly of linear algebra techniques is given for computing them. Moreover, as applications, new computational methods of polynomial ideals are discussed by utilizing the Noetherian operators.
[ 参考URL ]Describing ideals in polynomial rings by using systems of differential operators in one of the major approaches to study them. In 1916, F.S. Macaulay brought the notion of an inverse system, a system of differential conditions that describes an ideal. In 1937, W. Groebner mentioned the importance of the Macaulay's inverse system in the study of linear differential equations with constant coefficient, and in 1938, he introduced differential operators to characterize ideals that are primary to a rational maximal ideal. After that the important results and the terminology came from L. Ehrenpreise and V. P. Palamodov in 1961 and 1970, that is the characterization of primary ideals by the differential operators. The differential operators allow one to characterize the primary ideal by differential conditions on the associated characteristic variety. The differential operators are called Noetherian operators.
In this talk, we consider Noetherian operators in the context of symbolic computation. Upon utilizing the theory of holonomic D-modules, we present a new computational method of Noetherian operators associated to a polynomial ideal. The computational method that consists mainly of linear algebra techniques is given for computing them. Moreover, as applications, new computational methods of polynomial ideals are discussed by utilizing the Noetherian operators.
https://forms.gle/gTP8qNZwPyQyxjTj8
< 前へ 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192 次へ >