1/3

セミナー情報2015年7⽉

セミナー⼀覧

2015.7.2 | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
休み
2015.7.6 | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801）
講演者：中⼭ 知徳 ⽒（東北⼤学⼤学院理学研究科）
題⽬： Frobenius Problems with Double-Loop digraphs

2015.7.7 | セミナー

幾何セミナー（15:00--16:30【会場：数学棟305】）
講演者：平井 広志 ⽒ (東京⼤学⼯学部)
題⽬：Weakly modular graphs and nonpositive curvature
概要：
弱モジュラーグラフと呼ばれるグラフと負曲率な距離空間との関係を論じる． 代表的な例として，CAT(0)⽴⽅複体の1-スケルトンは，メディアングラ
フと呼ばれる弱モジュラーグラフになり， 逆にメディアングラフの超⽴⽅体部分グラフの族から，CAT(0)⽴⽅複体が決まる，というものがある． このような構成が弱モジュラーグラフのいくつかの部分クラスで⼀般化できることを紹介する． 例えば，モジュラー束のハッセ図は弱モジュラーグラフであるが， それから決まるorthoscheme複体と呼ばれる距離を⼊れた順序複体はCAT(0)になる． この事実はBradyとMcCammondによって予想されていた． ほかの例としては，dual polar spaceやEuclidean buildingがある． また，私⾃⾝の専⾨である離散最適化理論とのかかわりについても述べる．

2015.7.9 | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：⽊村 悠紀 ⽒（東北⼤学⼤学院理学研究科）
題⽬：Asymptotic Proﬁle of the Solution to a Linear Thermoelastic Equations in 2D
概要：
双曲・放物型⽅程式系の1つである線型の熱弾性体⽅程式の解の漸近挙動を考察する. 未知函数である変位について Helmholtz 分解を ⾏うことで, 縦波成分は双曲型固有の特異性を呈しながら, 熱成分との 相互作⽤により消散することが知られている. 本講演では, 2次元空間に おいて波動⽅程式の明⽰解を引き去ることによって, 消散型波動⽅程式と類似の⻄原型の分解評価が成⽴することを⽰し, 熱⽅程式と同様の減衰が最良であることを報告する. また,双曲・放物型⽅程式において しばしば表れる拡散波 ( diﬀusive wave )が漸近分解によって得られたことについても述べる.

2015.7.10 | セミナー

ロジックセミナー（16:00--【会場：合同棟1201】）
講演者：⽥中 ⼀之 ⽒（東北⼤学⼤学院理学研究科）
題⽬： オートマトンによる決定問題の分⽔嶺
概要：
1920年代にヒルベルト学派が数理論理学の中⼼テーマとして掲げた「決定問題」は，狭義には1階論理における真偽を判定する⼿続きを求める問題である．これはゲーデルやチューリングによって否定的に解かれることになるが，同時にラムジー，ゲーデル，その他多くの⼈により肯定的に解かれるケースもたくさん発⾒された．その後今⽇まで様々な決定問題が提起され，肯定的にも否定的にも豊富な結果と解決⼿法が⽣れている．肯定的な⼿法としてオートマトンの利⽤がしばしば有効であることが知られているが，その⽅法はもちろん万能ではなく，決定可能と不可能の分⽔嶺となる興味深い現象も数多く⾒られる．本講演では，あまり専⾨知識を仮定せずに決定問題周辺の話題を幅広く紹介したい．

2015.7.14 | セミナー

幾何セミナー（13:00--14:30【会場：数学棟209】）
通常と時間、教室が異なるのでご注意ください。
講演者：Murray Elder ⽒ (University of Newcastle, Australia)
題⽬：Solving equations in free groups

2/3

概要：An equation in a free group is an expression $U=V$ where $U,V$ are words over elements of the group and variables $X,Y,\dots$. A
solution is an assignment of group elements to the variables which make the equation true. In the 1970's, Makanin constructed a (reallycomplicated) algorithm which decides if an equation has a solution or not. Later, Razborov extended Makanin's result to ﬁnd all solutions.
Both algorithms are extremely diﬃcult to understand and implement. In this talk I will present a new approach, describing a ﬁnite graphthat encodes all solutions in reduced words, which has exponential size and can be constructed in nondeterministic quasilinear space. I will
try to motivate and explain the problem, how it relates to some questions in logic, and give some of the ingredients of the proof. This isjoint work with Laura Ciobanu, Neuch\^atel and Volker Diekert, Stuttgart.

2015.7.16 | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：⾼棹 圭介 ⽒（東京⼤学⼤学院数理科学研究科）
題⽬：体積保存平均曲率流の弱解の存在について
概要：
フェイズフィールド法を⽤いた体積保存平均曲率流の弱解の構成について考察する。体積保存平均曲率流とは、平均曲率流に対して、その曲⾯で囲まれる体積を⼀定に保つ束縛条件を加えたものである。本講演では、1997年に Golovatyが導⼊した⾮局所項付きAllen-Cahn⽅程式を⽤いて体積保存平均曲率流の弱解の存在が得られたことを報告する。また、証明の鍵となるAllen- Cahn⽅程式の⾮局所項の評価を紹介したい。

2015.7.17 | セミナー

ロジックセミナー（16:00--【会場：合同棟1201】）
講演者：鈴⽊ 仁哉 ⽒（東北⼤学⼤学院理学研究科）
題⽬： On hyperbolic groups and automatic groups
概要：
Hyperbolic group is a ﬁnitely generated group which satisﬁes some geometric conditions. The notion of hyperbolic group was introduced byGromov in 1987. Automatic group is a ﬁnitely generated group which has some ﬁnite-state automata. The concept of automatic group was
also introduced by Thurston in 1987. Roughly speaking, the operation of automatic group can be computed by automaton. In this talk, wewill introduce hyperbolic group and a statement, “almost every group is hyperbolic”, by Olʼshanskii and we will also introduce relations
between hyperbolic groups and automatic groups.

2015.7.21 | セミナー

幾何セミナー（13:00--16:30【会場：数学棟209、305】）
2講演あり，それぞれ場所が違いますことにご注意ください．
（1）13:00--14:00（数学棟209）
講演者：Nan-Kuo Ho ⽒ (National Tsing-Hua University)
題⽬：Convexity for certain moduli spaces of ﬂat connections
概要：
Convexity of the moment map image is a fundamental phenomenon in symplectic geometry. For example it is related to the Delzant
Theorem, and the classiﬁcation of Hamiltonian symplectic manifolds. The moduli space of ﬂat G-connections over a Riemann surface can beviewed as an inﬁnite dimensional symplectic quotient, or a ﬁnite dimensional quasi-Hamiltonian quotient. When G is compact, it has been
proved that the moment map image is convex. However, when G is not compact, convexity is not expected in general. In this talk we shallpresent an interesting example of a certain moduli space of ﬂat connections (with noncompact G) whose moment map image is convex.
This is work in progress with M. Guest.
（2）15:00--16:30（数学棟305）
講演者：窪⽥ 陽介 ⽒(東京⼤学）
題⽬： Co-assembly maps and ﬁniteness of K-area
概要：
GromovのK-areaはRiemann多様体（のホモロジー群の元）上に対する 不変量で，特性類の積分が⾮⾃明になるベクトル束の曲率の最⼩値の逆として定 義される．その値が有限かどうかという問題は多様体のトポロジーにしかよらず， 例えば正スカラー曲率の存在問題などと関係がある．2006年にはHankeとSchick によってHilbert C*-加群の束を考えるバージョンが導⼊され，その値が有限であることとK-ホモロジー群の中でassembly mapの核に含まれることが同値である と証明された．本講演では，この結果をE-theoryを⽤いた議論によって精密化す る研究について紹介する．主結果
は，Gromovによるベクトル束に関するK-areaの 有限性がHankeのHilbert C*-加群束に関するK-areaの有限性と同値であるという 主張である．また，この議論を境界付き多様体に⼀般化することで，切り貼りに 関するK-areaの有限性の振舞いをよく調べることができる．

2015.7.23 | セミナー

代数セミナー(13:30--16:45【会場：数学棟209】※2講演あります。)（1）13:30--15:00
講演者：⼩⽥部 秀介 ⽒（東北⼤学⼤学院理学研究科）
題⽬：Noriの基本群とその拡張について

3/3

概要：
固有な代数多様体のNoriの基本群は、その上の本質的 有限ベクトル束のなす淡中圏の淡中基本群として定義されます。Noriの 基本群は、EsnaultとHaiによって遠アーベルセクション予想に応⽤されて おり、数論的な側⾯を持つことが期待できます。本講演では、定義体の標数が０の場合にNoriの基本群の拡張を構成し、その基本群の計算結 果について述べます。帰結として、種数２以上の代数曲線の場合、Nori の基本群が普遍被覆の上の冪単ベクトル束のなす圏に忠実に作⽤して いるということをみます。
（2）15:15--16:45
講演者：平野 雄⼀ ⽒（東京⼤学⼤学院理学研究科）
題⽬：Hilbert保型形式の合同式と岩澤不変量
概要：
Fを総実代数体とする. 重さ(2,...,2)のF上のHilbert固有カスプ形式に伴う2次元p進Galois表現の 岩澤理論について, 特別な場合に考える. 本講演では, このp進Galois表現が剰余して可約という特別な場合に, 固有カスプ形式とEisenstein級数の間の合同式を⽤いて,総実代数体の岩澤理論との関係を与え, 代
数的岩澤不変量と解析的岩澤不変量が⼀致することを⽰す. これは, F=Qの場合のGreenberg⽒とVatsal⽒の結果の部分的な⼀般化である.

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：⼭本 征法 ⽒（新潟⼤学 ⼯学部）
題⽬：超臨界型移流拡散⽅程式の解の時間⼤域挙動について概要：
半導体デバイスのシミュレーションモデルとして、移流拡散⽅程式と呼ばれる半線形拡散⽅程式が知られている。本研究では、半導体内部の電⼦の拡散を記述する上で妥当な作⽤素として分数冪ラプラシアンを導⼊する。分数冪ラプラシアンの移流拡散⽅程式は流体⽅程式の研究において重要な準地衡近似⽅程式と類似の構造を持つ。すなわち拡散の冪を⼩さくとった場合、⾮線形項を拡散項により評価することが⾒かけ上困難となる。ここでは、移流拡散⽅程式に特有の構造から、交換⼦を⽤いて⾮線形項の微分を消去可能であることを⽰し、それにより時間⼤域解の漸近形を導出する。なお、本発表は杉⼭裕介⽒(東京理科⼤学)との共同研究に基づく。

2015.7.27 | セミナー

⽉曜解析セミナー（14:00--15:30【会場：数学棟209】）
講演者：コハツ ヒガ アルトゥーロ⽒(⽴命館⼤学数理科学科)
題⽬：Diﬀusion models with discontinuous coeﬃcients
概要：
In this talk we will ﬁrst describe some applications of some diﬀusion models with discontinuous coeﬃcients. We will then brieﬂy describe
how to perform the analysis of these models and then ﬁnally describe some possible applications.

2015/09/09 11:36