- HOME
- 研究者の方へ | セミナー
セミナー情報
今週のセミナー
-
2026.6.11（木） | セミナー
応用数理解析セミナー(16:00--17:30 【会場：合同A棟8階801室】)
発表者：荻野 尚三 氏 (東北大学)
題目：圧縮性 Navier--Stokes--Poisson 方程式のスケール臨界空間における準中性極限
概要：
圧縮性 Navier--Stokes--Poisson 方程式の初期値問題 (以下, (NSP) と記す) について考える. (NSP) はプラズマ流体の時間発展挙動を記述し, 運動方程式の Poisson 項において Debye 長が導入される. Debye 長は, 準中性と呼ばれるプラズマの電気的中性状態を特徴づける物理量である. (NSP) に付随する Debye 長を特異極限パラメータと見做し理想的に0に近づける極限操作は準中性極限と呼ばれ, 期待される極限方程式は非圧縮性 Navier--Stokes 方程式である. Pan--Zhu (2019) や Bai--Khor (2022) は (NSP) の準中性極限を劣臨界 Besov 空間上の強収束性として考察した. 本発表では, 準中性極限の下で (NSP) の時間大域解が非圧縮性 Navier--Stokes 方程式の時間大域解に臨界 Besov 空間上で強収束することを示す.
応用数理解析セミナーHP
-
2026.6.12（金） | セミナー
ロジックセミナー(15:00--16:30【会場：合同A棟8階801室およびオンライン】)
発表者：小林 勇貴 氏 (東北大学)
題目：計算可能性理論で示す逆数学における証明不可能性
概要：
本講演では, 逆数学における主要な関心事である「二つの数学の定理の強さを比較する方法」について概説する. ある定理から別の定理が証明できないこと(定理の強さの分離)を示す標準的な手法は, ある定理を満たしつつも別の定理の反例となるようなモデルを構築することである. このような反例モデルの構成において鍵となる数学諸定理の計算論的解析, 特に「基底定理」や「回避」といった技術に焦点を当てる. $\mathrm{ACA}_0$, $\mathrm{WKL}_0$を中心に, 計算論的な道具立てを用いてどのようにモデルを構成し, 定理を分離するのかを基礎から解説する．
ロジックセミナー
来週以降のセミナー
-
2026.6.16（火） | セミナー
幾何セミナー(15:00--16:45 【会場：数学棟305号室】)
発表者：山口 祥司 氏（早稲田大学）
題目：Verlinde formulas and the adjoint Reidemeister torsion for torus knots
概要：
Gang, Kim and Yoon proposed conjectures about the power sums of the adjoint Reidemeister torsions for a compact 3-manifold.In this tall, we observe the adjoint Reidemeister torsions for torus knot exteriors and their power sums in terms of Verlinde formulas and their extension.We also discuss the relation of the adjoint Reidemeister torsions for torus knot exteriors to modular S-matrices.
幾何セミナーHP
-
2026.6.24（水） | セミナー
東北大学OS特別セミナー(16:00--18:00 【会場：合同A棟8階801室】)
発表者：Made Benny Prasetya Wiranata 氏 (沖縄科学技術大学院大学)
題目：TBA
概要：TBA
応用数理解析セミナーHP
-
2026.6.25（木） | セミナー
2026年度
過去の記録
-
2026.6.1（月） | セミナー
幾何セミナー(14:00--15:45 【会場：数学棟517号室】)
いつもと時間、会場が異なりますのでご注意ください
発表者：児玉 悠弥 氏（鹿児島大学）
題目：Distortions in Lodha-Moore groups
概要：
有限生成群とその有限生成部分群が与えられたとき、最も基本的な問題の一つは、包含写像が擬等長埋め込み写像であるかどうかという問である。本講演ではLodha-Moore群とその部分群Thompson群Fに着目し、Fの（自然な）包含写像が擬等長埋め込み写像でないという結果を紹介する。時間が許せば、Baumslag-Solitar群とLodha-Moore群の関係や、これらの結果の一般化可能性についてもお話ししたい。
幾何セミナーHP
-
2026.6.4（木） | セミナー
代数セミナー(13:30--15:00 【会場：数学棟209】)
発表者：赤池 広都 氏（東北大学）
題目：Noether--Horikawa曲面の正規安定退化について
概要：
極小な一般型代数曲面は、Noetherの不等式を満たすことが知られている。この不等式が等式となる一般型曲面は、Noether--Horikawa曲面と呼ばれる。Noether--Horikawa曲面は堀川氏により分類され、さらに各タイプごとにそのGiesekerモジュライ空間の構造が描写された。その後モジュライ理論の進展により、コンパクトなモジュライ空間(KSBAモジュライ)の存在が明らかになった。 我々はNoether--Horikawa曲面のKSBAモジュライ空間を理解するべく、その第一歩としてNoether--Horikawa曲面の正規安定退化を分類した。今回の講演では、以下の三つのトピックを解説する。一つ目は、堀川氏によるNoether--Horikawa曲面の研究を解説する。次に、KSBAモジュライの観点から見た我々の研究の背景を説明して、本研究の主結果を説明する。最後に、主結果の証明の戦略を解説する。本研究は榎園誠氏、服部真史氏、厚東裕紀氏との共同研究である。
代数セミナーHP
-
2026.6.4（木） | セミナー
東北大学応用数理解析セミナー(16:00--17:30 【会場：東北大学 合同A棟8階801室】)
発表者：藤井 幹大 氏 (名古屋市立大学)
題目：Sharp non-uniqueness for the Navier―Stokes equations in scaling critical spaces
概要：
nを3以上の整数とし, n次元全空間における外力なしの非圧縮性 Navier―Stokes 方程式を考察する. 解の無条件一意性が$C ([0, T) ;L^n) $において成立することはよく知られた事実であるが, 本発表では Triebel―Lizorkin 空間や Besov 空間の意味で$L^n$を少しでも広い臨界空間に置き替えると, この一意性が破綻することを証明する. 本研究により得られた非一意解は消散性を呈さず, 時刻無限大で非自明定常解に収束する.
応用数理解析セミナーHP
-
2026.6.5（金） | セミナー
ロジックセミナー(15:00--16:30【会場：合同A棟8階801室およびオンライン】)
発表者：鎌田 斗南 氏 (北陸先端科学技術大学院大学)
題目：Dudeney’s Dissection is Optimal
概要：
1907年、H. E. Dudeneyは「正三角形をできるだけ少ないピースに切り分け、それらを組み合わせて正方形を作れ」というパズルを提示した。4週間後、デューデニーは美しい4ピースの解法を示し、これは今日に至るまで最も有名な裁合せパズルのひとつである。本発表では、このパズルの最終な解決、すなわち、正三角形と正方形は、3ピース以下の裁合せを持たないことの証明について、紹介する。 本発表の内容は 17th Innovations in Theoretical Computer Science Conference (ITCS 2026)で発表された Erik D. Demaine氏、上原隆平氏と発表者の共同研究に基づいたものである。
ロジックセミナー
