1/3

セミナー情報2014年10⽉ セミナー⼀覧
2014.10.2 | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：Hi Jun Choe ⽒（Yonsei University 延世⼤学）
題⽬：A semilinear parabolic equation with free boundary
概要：We consider non-negative solutions of the heat equation with strong absorption,$¥partial_t u-¥Delta u=-u^{¥gamma} ¥chi_{u>0}$ in$(0,¥infty) ¥times ¥Omega$, where $¥Omega$ is a smooth bounded domain in $R^n$, $¥gamma ¥in (0,1)$, and initial and boundary
data are prescribed. Assuming merely regularity and a growth condition of the data, we prove optimal regularity and non-degeneracy
estimates for the solution, which already have interesting consequences as for example ﬁnite propagation speed of the set $¥{u>0¥}$. We
then show that the n1-dimensional Hausdorﬀ measure with respect to the parabolic metric is locally ﬁnite on the free boundary$∂¥{u>0¥}$. Concerning the Cauchy problem with respect to $¥gamma ¥in (0,1)$ we know more: any self-similar solution in $(-∞, 0)¥times R^n$ is either time-independent or coincides with the solution $U_1(t,x)=¥max (0, (1-¥gamma)(-t)^{1/1-¥gamma}$. As aconsequence, the free boundary can be divided into a closed set of horizontal points which is locally contained in an n-dimensional Lipschitz
surface and on which $U_1$ is the unique blow-up limit, and a relatively open set of non-horizontal points on which any blow-up limit is a
steady-state solution. We proceed to characterize the asymptotic behavior near horizontal points. Finally we consider the case of one spacedimension in which we obtain that any blow-up limit is unique and that the regular non-horizontal part of the free boundary is open and a$C^{1/2}$-surface. The last result is extended to the case of higher dimensions in.
応⽤数学セミナーの情報はこちら
2014.10.3 | セミナー

代数幾何学セミナー（14:00--【会場：数学棟305】）
講演者：⼟橋 宏康 ⽒ （東北学院⼤学教養学部）
題⽬：有理錐から鏡映により得られる特異点
概要：
⼀つの有理錐から鏡映により構成された扇から 得られるトーリック多様体の鏡映群による商の構造と どのような特異点につぶれるかという話です。

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

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

幾何セミナー（15:00--16:30【会場：数学棟305】※前期と会場が異なります。）
講演者：川崎 盛通 ⽒（東京⼤学数理科学研究科）
題⽬：制御された擬準同型と交換⼦⻑
概要：
共役不変ノルムは次の⼀般化として、Burago-Ivanov-Polterovichの2008 年の論⽂によって定義・整理された概念である。 ・幾何学的群論、低次元トポロジーにおける交換⼦⻑ ・⼒学系理論における分裂⻑ ・シンプレクティック幾何学におけるHofer⻑ Burago-Ivanov-Polterovichの残した基本的な問題の⼀つが「交換⼦⻑は安定有 界だが安定⾮有界な共役不変ノルムを持つ完全群は存在するか」というものであ る。 今回、ユークリッド空間のハミルトン微分同相群の交換⼦群が安定⾮有界な共役 不変ノルムを持つことを⽰し、特にBurago-Ivanov-Polterovichの問題を解決し た。それについて解説する。 この共役不変ノルム構成の際に⽤いたのがEntov-Polterovichによる「制御され た擬準同型」のアイデアであり、これにより題の「制御された交換⼦⻑」の安定 ⾮有界性を⽰した。
2014.10.9 | セミナー

2/3

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：⽠屋 航太 ⽒（東北⼤学 ⼤学院理学研究科）
題⽬：Asymptotic behavior of solutions to a system of quadratic nonlinear Schr\"odinger equations with mass resonance
概要：In this talk, we consider the ﬁnal state problem for a system of nonlinear Schr\"odinger equations with three wave interaction in twodimensions. In our previous study, we constructed a solution of a two components system which describes the mass transition
phenomenon by using the hyperbolic functions. We here show that the existence of a solution of a three components system which
describes the mass transition phenomenon periodically in time by using the Jacobi elliptic functions.
応⽤数学セミナーの情報はこちら
2014.10.10 | セミナー

ロジックセミナー（16:00--【会場：合同棟1201】）
講演者：⽥中 ⼀之 ⽒（東北⼤学⼤学院理学研究科）
題⽬：Variants of inﬁnite games and their strength
概要：
Recently, much eﬀort has been made to characterize the determinacy of Gale-Stewart Borel games within second order arithmetic. On theother hand, Borel hierarchies and Wadge hierarchies based on less powerful machines have been extensively studied in theoreticalcomputer science, and so a winning strategy of a game in such a hierarchy is very often computable. In this talk, I will review these twolines of studies and their relations, and consider some problems in the intersecting area.
ロジックセミナーの情報はこちら
2014.10.13 | セミナー

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

幾何セミナー（15:00--16:30【会場：数学棟305】※前期と会場が異なります。）
講演者：Wenjiao Yan ⽒（東北⼤学⼤学院理学研究科）
題⽬：Isoparametric foliation in spheres and Yau's conjecture on the ﬁrst eigenvalue
概要：I will give a brief introduction of the isoparametric foliation in spheres and talk about our recent works on this subject related with Yau
conjecture on the ﬁrst eigenvalue.
2014.10.17 | セミナー

代数幾何学セミナー（14:00--【会場：数学棟305】※開始時間が通常と異なります。）
講演者：⽯⽥ 正典 ⽒ （東北⼤学⼤学院理学研究科）
題⽬：四元数体とトーリック型カスプ特異点
概要：
佐武による代数群の分類に基づく数論的なカスプ特異点について紹介する．また，熊本⼤学での集会で聞いた偽射影平⾯の分類についての報告も⾏う．

ロジックセミナー（16:00--【会場：合同棟1201】）
講演者：Weiguang Peng ⽒ （東北⼤学⼤学院理学研究科）
題⽬：Fixed point theorems on reverse mathematics
概要：
The ﬁxed point theorem asserts that under certain conditions, there exists a point x of function f, such that f(x)=x. In this talk, we will pickup some ﬁxed point theorems and check them on reverse mathematics.
ロジックセミナーの情報はこちら
2014.10.20 | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者： ⼩澤 友美 ⽒（東北⼤学⼤学院理学研究科）
論⽂紹介:A. Fischman, On the image of $ \Lambda $-adic Galois representations, Ann.\ Inst.\ Fourier (Grenoble) 52 (2002), no. 2,351--378
整数論セミナーの情報はこちら
2014.10.23 | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：相⽊ 雅次 ⽒（東京理科⼤学 理⼯学部）
題⽬：Motion of a Vortex Filament in an External Flow

3/3

概要：In this talk, we consider the motion of a vortex ring under the inﬂuence of external ﬂow. This can be seen as an idealization of the motionof a bubble ring traveling through water, where environmental ﬂow is also present.
The motion is described as an initial value problem posed on the one-dimensional torus for a closed vortex ﬁlament. The equation of motion
is a nonlinear dispersive type equation and is an extension of the Localized Induction Equation (LIE). The LIE is one of the most oldest andfundamental model equation describing the motion of a vortex ﬁlament, and the equation we consider in this talk is a generalization of theLIE which takes into account the presence of external ﬂow. The time-local solvability of the initial value problem will be presented, focusing
on the derivation of energy estimates needed in order to prove the solvability.
応⽤数学セミナーの情報はこちら
2014.10.24 | セミナー

ロジックセミナー（16:00--【会場：合同棟1201】）
講演者：Florian Pelupessy ⽒ （東北⼤学⼤学院理学研究科）
題⽬：On the `ﬁnitary' Ramsey theorem
概要：
We examine the strength of a variant of Ramsey's theorem which is inspired by Gaspar, Kohlenbach and Tao's `ﬁnitary' inﬁnite pigeonhole
principle.
ロジックセミナーの情報はこちら
2014.10.27 | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者： 廣津 孝 ⽒（東北⼤学⼤学院理学研究科）
題⽬：完備離散付値体上の関数体のピタゴラス数 (Becher, Grimm, Van Geel の結果の紹介)

⽉曜解析セミナー（14:00--15:30【会場：数学棟209】）
講演者：⽯井 克幸 ⽒（神⼾⼤学 ⼤学院海事科学研究科）
題⽬：Convergence of a threshold-type algorithm for curvature-dependent motions of hypersurfaces

2014.10.28 | セミナー

幾何セミナー（15:00--16:30【会場：数学棟305】
講演者：梅本 悠莉⼦ ⽒（⼤阪市⽴⼤学数学研究所）
題⽬：双曲Coxeter群のgrowthについて
概要：
双曲Coxeter群とは、双曲空間におけるCoxeter多⾯体の余次元1の⾯に関する鏡映変換で⽣成される群であり、この多⾯体を基本領域に持つ等⻑変換群の離散的部分群となることが知られている。本講演では、双曲Coxeter群の標準的な⽣成系に対するgrowth function, growth rateの結果を述べる。特に、growth rateとして特殊な代数的整数が現れることについて、既存の結果や講演者の結果を⽤いて説明したい。
2014.10.31 | セミナー

ロジックセミナー（15:00--【会場：合同棟1201】※通常と開始時刻が異なります。）
講演者：⿊⽥ 覚 ⽒（群⾺県⽴⼥⼦⼤学⽂学部）
題⽬：Toda theorem in bounded arithmetic
講演者：⼭形 頼之 ⽒（産業技術総合研究所）
題⽬：CONSISTENCY PROOF OF A FEASIBLE ARITHMETIC INSIDE A BOUNDED ARITHMETIC
概要：In this talk, we prove that S12 can prove consistency of PV­, the system obtained from Cook and Urquhartʼs PV [3] by removing induction.
This apparently contradicts Buss and Ignjatovi ć [2], since they prove that PV does not prove Con(PV­). However, what they actually prove
is unprovability of consistency of the system which is obtained from PV­ by addition of propositional logic and BASICe-axioms. On the otherhand, our PV­ is strictly equational and our proof relies on it.
ロジックセミナーの情報はこちら

2014/11/10 10:30