セミナー情報
2016年11⽉

セミナー⼀覧

2016.11.1（⽕） | セミナー

幾何セミナー（15:00-16:30【会場：数学棟305】）
講演者：丸⻲ 泰⼆ ⽒（東京⼤学⼤学院数理科学研究科）
題⽬：共形Codazzi構造の⼤域的共形不変量の構成について
概要：
共形Codazzi構造は、局所平坦射影多様体の強凸領域の境界に⼊る幾何構造を抽 象化したもので、第2基本形式から定まる共形構造と、共形的GaussCodazzi⽅程 式を満たす対称3-テンソル(Fubini-Pick形式)で定義される。本講演では、 Blaschke計量と呼ばれる強凸領域上の完備射影不変計量の体積展開を利⽤して、 偶数次元共形Codazzi多様体の⼤域的共形不変量(全共形Codazzi Q-曲率)を構成 する。
幾何セミナーの情報はこちら
2016.11.4（⾦） | セミナー

ロジックセミナー（16:00-- 17:00【会場：合同棟1201】）
講演者：佐藤 隆 ⽒（東北⼤学⼤学院理学研究科）
題⽬：逆数学と可算代数系／Reverse Mathematics and Countable Algebraic Systems
概要：
逆数学と可算代数系／Reverse Mathematics and Countable Algebraic Systems ［概要］発表者の博⼠論⽂に基づき，これまでの成果を集成して発表します．逆数学のバック・グラウンドについて短く述べたあと，それぞれ可算な半群，群，束，環の理論にかんして得られた逆数学の結果を紹介します．時間の許す限り，証明を与えていきます．なお，この発表は後⽇⾏われる論⽂審査会の予⾏演習を兼ねます．
ロジックセミナーの情報はこちら
2016.11.7（⽉） | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
休み
整数論セミナーの情報はこちら
2016.11.8（⽕） | セミナー

幾何セミナー（15:00-16:30【会場：数学棟305】）
講演者：⽯⽥ 政司 ⽒（東北⼤学⼤学院理学研究科）
題⽬：４次元多様体上のリッチフローの時間⼤域解の存在に対する障害について概要：
４次元多様体上のリッチフローの時間⼤域解の存在に対する障害に関連した幾つかの予想およびその周辺について、講演者の結果を交えながら、紹介する。
幾何セミナーの情報はこちら
2016.11.11（⾦） | セミナー

ロジックセミナー（16:00-- 17:00【会場：合同棟1201】）
講演者：新屋 良磨 ⽒（東京⼤学⼤学院 情報理⼯学系研究科）
題⽬：単純型付きラムダ計算のベータ簡約列の⻑さについて概要：
単純型付きラムダ項の任意のベータ簡約列は有限⻑である (型付きラムダ計算の強正規化性)ものの、オーダーkの型付きラムダ項 の場合、項のサイズのk重指数の⻑さになりうることが広く知られている． ⼀⽅，どの程度多くのラムダ項がそのように⻑い簡約列を持つのかはこれまで 明らかになっていなかった．本発表では，型付きラムダ項のアリティと変数の 個数の上限を定数とすると，ほとんど全てのオーダーk型付きラムダ項は(k-2) 重指数的な⻑さの簡約列を持つことを⽰す． 発表では、本研究の動機となっている⾼階モデル検査の計算量の量的解析の問題 にも触れる．本研究は浅⽥和之 ⽒，⼩林直樹 ⽒，塚⽥武志 ⽒との共同研究である．
ロジックセミナーの情報はこちら
2016.11.14（⽉） | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者： ⾜利

1/3

正 ⽒（東北学院⼤学）

題⽬：代数曲線の退化族とその不変量について
概要：
⼩平による楕円曲線の退化族の理論を⼀般種数に拡張させる試みについて概括したい。特に⼩平の提⽰した⼆つの不変量、すなわち複素構造の極限の仕⽅を表すfunctional invariant 及び特異ファイバーのまわりの位相構造を⽰すhomological invariant が、⼀般種数の退化族ではどのように捉えられるかを説明したい。さらにﬁbration を持つ代数曲⾯の⼤域不変量の局在化を⽰すファイバー芽の不変量について、現状では何が知られていて且つ今後の進展のために何が突破されるべきかについてもお話したい。
整数論セミナーの情報はこちら
2016.11.15（⽕） | セミナー

幾何セミナー（15:00--【会場：数学棟305】==修⼠論⽂中間発表==）⼤森 裕貴 ⽒、 数川 ⼤輔 ⽒、 佐藤⼀⽒

（⼀⼈につき講演時間は30分/質疑応答は10分）
幾何セミナーの情報はこちら
2016.11.17（⽊） | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：⾜達 慎⼆ ⽒（静岡⼤学 学術院⼯学領域）
題⽬：準線形楕円型⽅程式の正値解の⼀意性と漸近挙動について概要：
液体ヘリウム膜の超流動状態を記述する準線形シュレディンガー⽅程式の定在波解を与える準線形楕円型⽅程式について考察する。 この⽅程式の解析⽅法のひとつとして Liu-Wang，Colin-Jeanjean による双対アプローチと呼ばれる変分的解析⽅法がある。 本講演ではこの⽅法の概略を解説し，正値解の⼀意性に関して最近得られた結果を報告する。 また，エネルギー最⼩解（正値解）の漸近挙動について，⾮線形項の無限遠⽅での増⼤度による分類を⾏う。 本講演は柴⽥将敬⽒（東京⼯業⼤），渡辺達也⽒（京都産業⼤）との共同研究に基づく。
応⽤数学セミナーの情報はこちら
2016.11.18（⾦） | セミナー

ロジックセミナー（16:00-- 17:00【会場：合同棟1201】）休み
ロジックセミナーの情報はこちら
2016.11.21（⽉） | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者： 窪⽥ 隆弘 ⽒ （東北⼤学⼤学院理学研究科）
題⽬：k乗約数和関数を⽤いた Ore の調和数の⼀般化と， harmonic seed について
概要：
1948年， Ore によって⾃然数の約数の調和平均の概念が導⼊された．この調和平均が整数値をとるとき，その⾃然数は調和数と呼ばれる．すべての完全数は調和数であることから，調和数を調べることは完全数の研究につながる．
本講演では，約数の調和平均がk乗約数和関数のみを⽤いて表せることに着⽬して定義した調和数の⼀般化と，その諸性質について述べる． また， Oreの調和数と関わりの深い harmonic seed を紹介し，調和数から新たな調和数を構成する⼿法についても解説する．
整数論セミナーの情報はこちら

ロジックセミナー（16:00-- 17:00【会場：合同棟1201】）※通常と曜⽇が違いますのでご注意ください。
講演者：Emanuele Frittaion ⽒（東北⼤学⼤学院理学研究科）
題⽬：Size-change termination in reverse mathematics (2)概要：
Size-change termination (SCT) is a property that guarantees the termination of a program and can be automatically detected. Roughly
speaking, a program is SCT if any inﬁnite call sequence would cause an inﬁnite descending sequence in a well-founded domain of data
values (for instance the natural numbers). I will focus on the soundness of SCT, that is the fact the every SCT program is terminating, andpinpoint the reverse mathematics strength of this statement.
ロジックセミナーの情報はこちら
2016.11.22（⽕） | セミナー

幾何セミナー（15:00--【会場：数学棟305】==修⼠論⽂中間発表==）渡辺俊 ⽒、 須⽥ 浩介 ⽒、 ⼩川 拓弥 ⽒

（⼀⼈につき講演時間は30分/質疑応答は10分）
幾何セミナーの情報はこちら
2016.11.24（⽊） | セミナー

ＯＳ特別セミナー（14:00--15:00【会場：合同A棟801】）復旦⼤学との交流事業
講演者：Xiaotao Zhang ⽒（Fudan University）

2/3

題⽬：Liouville theorems for the MHD system and its applications
概要：
In this paper, we construct Liouville theorem for the MHD system and apply it to study the potential singularities of its weak solution. Andwe mainly study weak axi-symmetric solutions of MHD system in $\mathbb{R}^3 \times (0,T)$.

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：Peng Qu ⽒（Fudan University）
題⽬：Global Entropy Solutions to Weakly Nonlinear Gas Dynamics
概要：This report would focus on the subject of hyperbolic conservation
initial data and nonlinear resonance would be presented,
data are considered for the system of weakly

laws with periodic initial data. The main diﬃculties caused bythen global existence of entropy weak solutions with boundedperiodic

periodic initialnonlinear gas dynamics.

応⽤数学セミナーの情報はこちら
2016.11.28（⽉） | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
休み
整数論セミナーの情報はこちら
2016.11.29（⽕） | セミナー

幾何セミナー（15:00-17:10【会場：数学棟305】）※2講演あります。
15:00-16:00
講演者：Andrei Vesnin ⽒（Sobolev Institute of Mathematics）
題⽬：Around right-angled hyperbolic polyhedra
概要：
Right-angled polyhedra in hyperbolic spaces are serving as useful building blocks for constructing hyperbolic manifolds and orbifolds withinteresting properties. We will look at dimension three, where we describe existence conditions and the volume set structure. Then we will
present a way to construct closed hyperbolic 3-manifolds related to color-epimorphisms of right-angled Coxeter groups and ﬁnd 2-foldbranched coverings of the 3-sphere. As a particular case, we will discuss the ﬁrst example of a closed orientable hyperbolic 3-manifold
constructed by F. Loebell in 1931.
16:10-17:10
講演者：Evgeny Fominykh ⽒（Chelyabisk State University）
題⽬：Turaev-Viro invariants and minimal triangulations of 3-manifolds
概要：
In this talk we construct minimal truncated triangulations for an inﬁnite family of hyperbolic 3-manifolds with totally geodesic boundary. The
proof of minimality is based on calculating of Turaev-Viro invariants.
幾何セミナーの情報はこちら

3/3