1/ 4セミナー情報
2014年11⽉ セミナー⼀覧
2014.11.3 | セミナー

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

幾何セミナー（15:00--16:30【会場：数学棟305】）
講演者：櫻井 陽平 ⽒（筑波⼤学）
題⽬：リッチ曲率が下に有界な境界付き多様体の剛性
概要：
本講演では、リッチ曲率ならびに境界の平均曲率が下に有界な境界付き多様体に対す る結果を紹介する。そのような境界付き多様体に対し、境界の近傍に対するビショッ プ・グロモフ型の体積⽐較定理を⽰した。その体積⽐較定理を⽤いることで得られる、 境界の近傍の体積増⼤度に関する剛性定理について述べる。また境界から垂直に出発 する半直線の存在性に関する仮定のもと得られる、チーガー・グロモール型の分裂定 理について述べる。さらに体積⽐較定理の証明中の議論の応⽤として得られる結果について解説する。
2014.11.6 | セミナー

臨時幾何セミナー（15:00--16:00【会場：数学棟209】※通常と曜⽇・教室が異なります。）
講演者：Jae-Suk Park ⽒（IBS Center for Geometry and Physics）
題⽬：Period Integrals in Quantum Field Theory
2014.11.7 | セミナー

ロジックセミナー（15:00--【会場：合同棟1201】※通常と開始時刻が異なります。）(1)15:00-15:50
講演者：横⼭ 啓太 ⽒（北陸先端科学技術⼤学院⼤学 情報科学研究科）
題⽬：A thought on incompleteness
概要：It is well-known that there is no consistent complete recursive theory extending PA. Then, for a given consistent recursive T extending PA,
can we ﬁnd a consistent recursive theory T' extending T+Con(T) such that for any formula A, either A is provable in T or "A is not provablein T" is provable in T'? In Algorithmic Randomness meeting in Singapore, June 2014, Mingzhong Cai answered to this question and gave ageneralized question. In this talk, I will introduce the answer to Cai's question by Beklemishev, and discuss a more general form.
(2)16:00-17:00
講演者：Angeliki Koutsoukou-Argyraki ⽒（Technische Universitat Darmstadt）
題⽬：Proof mining and partial diﬀerential equations; Rates of convergence and metastability for abstract Cauchy problems generated byaccretive operators
概要：pdf
ロジックセミナーの情報はこちら
2014.11.10 | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者： ⽥嶋 和明 ⽒（東北⼤学⼤学院理学研究科）
題⽬:Stratiﬁcation of the null cone in the non-split case
整数論セミナーの情報はこちら
2014.11.14 | セミナー

2/4

代数幾何学セミナー（14:00--【会場：数学棟305】※通常と開始時刻が異なります。）
講演者：松岡 拓男 ⽒ （Northwestern⼤学）
題⽬：Koszul duality for ﬁltered algebras
概要：
After gentle introduction to the Koszul duality, I will discuss it for algebras in a ﬁltered inﬁnity category. I will ﬁnd simple and not too
restrictive classes of augmented associative algebras and coalgebras between which the Koszul duality restricts to an equivalence ofcategories, and will describe how this generalizes for E_n-algebras and topological factorization algebras and relates to topological quantum
ﬁeld theories if time permits. Examples of a ﬁltration to which the theory applies include a t-structure, and the canonical ﬁltration on thecategory of ﬁltered objects.

ロジックセミナー（16:00--【会場：合同棟1201】） [修⼠論⽂報告会(前半)]
講演者：鈴⽊ 仁哉 ⽒（東北⼤学⼤学院理学研究科）
題⽬：On Weihrauch degrees of some theorems in algebra
講演者：中嶋 郁弥 ⽒（東北⼤学⼤学院理学研究科）
題⽬：代数的部分構造と逆数学
講演者：猪⽖智 ⽒（東北⼤学⼤学院理学研究科）

題⽬：⼆階算術における順序と位相ロジックセミナーの情報はこちら
2014.11.17 | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者： 新庄 紘和 ⽒（東北⼤学⼤学院理学研究科）
題⽬:Which linear codes are algebraic-geometric?
整数論セミナーの情報はこちら
2014.11.18| セミナー

幾何セミナー（14:45--18:00【会場：数学棟305】※通常と時間帯が異なります。
幾何グループ修⼠論⽂中間発表会
2014.11.20 | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：千葉逸⼈ ⽒（九州⼤学 マス・フォア・インダストリ研究所）

題⽬：パンルヴェ⽅程式とweight系
概要：
微分⽅程式のweightとは、Newton図形から定まる ⾃然数の組であり、⽅程式の不変量である。 講演では、weightに付随するトーリック多様体を⽤いた パンルヴェ⽅程式の解析法について解説する。 また逆に、与えられたweightのみの情報から、 対応するパンルヴェ⽅程式とそのハミルトニアンを決定することができる。特に、Lax pair を定義する 線形常微分作⽤素の空間に、あるFrobenius多様体の構造を ⼊れることができるが、ハミルトニアンが多項式になるような座標系は、Frobenius多様体の平坦座標であることを⽰す。
応⽤数学セミナーの情報はこちら
2014.11.21 | セミナー

確率論セミナー（14:00--【会場：数学棟209】）※2講演あります。
(1) 14:00--15:30
講演者：⾼橋弘 ⽒ （⽇本⼤学理⼯学部）

題⽬：多次元ランダム媒質中の拡散過程の再帰性・⾮再帰性について(2) 15:45--17:15
講演者：塩沢 裕⼀ ⽒ （岡⼭⼤学⼤学院⾃然科学研究科）
題⽬：A note on the lower escape rate of symmetric jump-diﬀusion processes
確率論セミナーの情報はこちら

ロジックセミナー（16:00--【会場：合同棟1201】）[修⼠論⽂報告会(後半)]
講演者：砂辺 祐哉 ⽒（東北⼤学⼤学院理学研究科）
題⽬：On 束論の逆数学3/4

講演者：川原 雅弘 ⽒（東北⼤学⼤学院理学研究科）
題⽬：
ロジックセミナーの情報はこちら
2014.11.24 | セミナー

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

幾何セミナー（15:00--16:30【会場：数学棟305】）
講演者：⼩野薫 ⽒（京都⼤学数理解析研究所）

題⽬：深⾕圏の分裂⽣成条件とその周辺
概要：
Abouzaid ⽒, 深⾕⽒、Oh ⽒, 太⽥⽒との共同研究に基づき Lagrange 部分多様体の有限族が深⾕圏を分裂⽣成するための⼗分条件を紹介する。また、証明の中で使われるアイデアを具体的な場合に説明したい。

理学キャリアパス講座－社会で⽣かす数学（15:30--17:00【会場：川井ホール】）
講演者：灰⾕ 充司 ⽒（明治安⽥⽣命保険（相））題⽬：アクチュアリーの魅⼒と社会で活かす数学〜若⼿⽣保アクチュアリーの感想〜
2014.11.27 | セミナー

理学キャリアパス講座－社会で⽣かす数学（15:30--17:00【会場：川井ホール】）
講演者：伊藤 朋幸 ⽒（宮城県宮城第⼀⾼等学校）
題⽬：⾼校教員になって感じたこと〜数学教育の役割など〜

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：⾼坂 良史 ⽒（神⼾⼤学 ⼤学院海事科学研究科）
題⽬：Stability analysis of axisymmetric CMC surfaces via surface diﬀusion equation
概要：
表⾯拡散⽅程式は⾮線形4階放物型偏微分⽅程式として表される曲⾯の発展⽅程式であり，動曲⾯の表⾯積をエネルギー汎関数としてみたとき，そのH^{-1}-勾配流として導出される．つまり，囲まれた体積を⼀定に保ちながら表⾯積を最⼩化するという変分構造をもつ．この結果，表⾯拡散⽅程式に対する定常曲⾯は平均曲率⼀定曲⾯(以下，CMC曲⾯)となる．本講演では，表⾯拡散⽅程式の線形化安定性の解析を通して得られる，軸対象な場合のCMC曲⾯の安定性の判定条件について述べる．特に，円柱とアンデュロイドの場合について，詳しく報告する．
応⽤数学セミナーの情報はこちら
2014.11.28 | セミナー

確率論セミナー（14:00--【会場：数学棟209】）※2講演あります。
(1) 14:00--15:30
講演者：⽥中 亮吉 ⽒ （東北⼤学原⼦分⼦材料科学⾼等研究機構）
題⽬：Conﬁnement of random walks in Gromov hyperbolic groups(2) 15:45--17:15
講演者：Jian Wang ⽒ （福建師範⼤学）
題⽬：Ergodicity of Time Changed Symmetric Stable Processes
確率論セミナーの情報はこちら

ロジックセミナー（16:00--【会場：合同棟1201】）
講演者：Sam Sanders ⽒（Ghent University）
題⽬：Taming the Reverse Mathematics zoo
概要：
Reverse Mathematics is a program in the foundations of mathematics. Its results give rise to an elegant classiﬁcation of theorems ofordinary mathematics based on computability. In particular, the majority of theorems fall into only ﬁve categories of which the associatedlogical systems are dubbed `the Big Five'. Recently, a lot of eﬀort has been directed towards ﬁnding exceptional principles, i.e. which falloutside the Big Five categories. The so-called Reverse Mathematics zoo is a collection of such exceptional principles (and their relations).
During this talk, I show that the uniform versions of the principles from this zoo are equivalent to arithmetical comprehension, i.e. the zoo
disappears at the uniform level.

4/4

2014/12/08 9:49