セミナー情報
2016年5⽉ セミナー⼀覧
2016.5.2 | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
お休み

2016.5.3（⽕） | セミナー

幾何セミナー（15:00--16:30【会場：数学棟305】）
お休み（憲法記念⽇）

2016.5.5（⽊） | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
お休み（こどもの⽇）

2016.5.6（⾦） | セミナー

ロジックセミナー（16:00--17:00【会場：合同棟1201】）
講演者：Peng Weiguang ⽒（東北⼤学⼤学院理学研究科）
題⽬：Optimal algorithms for independent distributions on a game tree
概要：
Game tree is a simple model to compute Boolean functions. We evaluate a game tree by computing the Boolean value of the root. The costof compution is the only number of leaves that are queried. The performance of algorithms makes a signiﬁcant eﬀect on the cost ofcomputation.
In this talk, we will discuss the optimal algorithms for independent distributions on some generalized game trees.

2016.5.9（⽉）、5⽉10⽇（⽕）、5⽉12⽇（⽊）、5⽉13⽇（⾦）|TFC プログラム連続講義

TFC プログラム 連続講義
⽇程：5⽉9⽇：16：00-17：00（談話会）
5⽉10⽇、12⽇、13⽇：15:00-18:00
場所：川井ホール
講演者：⼩野 薫⽒（京都⼤学数理解析研究所）

題⽬： シンプレクティック幾何に現れる Floer 理論とその応⽤
概要：
シンプレクティック微分同相写像や Lagrange 部分多様体の交差の Floer 理論に ついて解説する。

具体的な場⾯での応⽤例を幾つか扱い、シンプレ

ク ティック 構造の剛性についても説明する。

2016.5.9（⽉） | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者：⼩澤 友美 ⽒（東北⼤学⼤学院理学研究科）
題⽬： 論⽂ S. Cho and V. Vatsal, Deformations of induced Galois representations. J. Reine Angew. Math. 556 (2003), 79--98の紹介
概要：
今回紹介する論⽂では，標数pの有限体に値を持つ実2次体の絶対Galois群の指標から誘導される，有理数体の2次元Galois表現の普遍変形環について議論している．Galois表現の変形理論はB. Mazurが最初に提唱した．本論⽂では誘導表現の変形を考えるため，実2次体に伴うKronecker指標で表現を捻る操作に対応して，普遍変形環に対合が定まる．この対合で固定される部分環について調べるのが論⽂の主な内容である． なおTaylor-Wilesにより，本論⽂で扱う普遍変形環はあるHecke環に同型であることが⽰されており(R=T theorem), 論⽂中で何度かその事実が⽤いられる．講演では本論⽂とモジュラー形式，Hida familyの関係についても触れる予定である．

1/4

2016.5.10（⽕） | セミナー

幾何セミナー（15:00--16:30【会場：数学棟305】）
TFCの⼩野薫先⽣による連続講義のため幾何学セミナーはお休み
Modern Interactions between Algebra, Geometry and Physics
2016.5.12（⽊） | セミナー

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
講演者：Patrick van Meurs ⽒（⾦沢⼤学 理⼯研究域）
題⽬：Collective behaviour of interacting particles
概要：
We study the many-particle limit of an interacting particle system. The velocities of the particles are described by a non-linear function
which depends on all particle positions. The resulting system of ﬁrst-order ODEs has a gradient ﬂow structure with respect to an energyfunctional $E_n$, where $n$ is the number of particles. I will present how to pass to the limit $n \to \infty$ in this sequence of gradientﬂows. The limiting gradient ﬂow takes the form of a continuity equation for the particle density. The proof relies on variational techniquessuch as $\Gamma$-converge of the energy functionals, Wasserstein gradient ﬂows, and the evolutionary convergence framework
developed by Sandier and Serfaty in 2004.

2016.5.13（⾦） | セミナー

代数幾何学セミナー（13:30--15:00【会場：数学棟305】）
講演者：⼟橋 宏康 ⽒
題⽬：正24胞体を⽤いた4次元カスプ特異点の具体例の構成
概要：
特異点解消の例外集合が四つの既約成分からなるカスプ特異点の具体例を構成する。 その際, R^4 の開凸錐を保つ GL(4,Z) の部分群で固定点をもたないものの構成に正24胞体群を⽤いる。

ロジックセミナー（16:00--17:00【会場：合同棟1201】）
講演者：河野 友亮 ⽒（東京⼯業⼤学 情報理⼯学研究科）
題⽬：量⼦論理の意味論とシークエント計算について概要：
量⼦論理とは物理学の⼀分野である量⼦⼒学の命題を扱う分野である。 その意味論としては、単純なオーソモジュラー束を⽤いるものから、 量⼦⼒学の複雑な意味論に近いクリプキモデルを⽤いるものがある。 これらの意味論およびそれらに関連する構⽂論について解説する。

2016.5.16（⽉） | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
お休み2016.5.17（⽕） | セミナー

幾何セミナー（15:00--16:30【会場：数学棟305】）
散歩会のため幾何学セミナーはお休み

2016.5.19（⽊） | セミナー

代数セミナー(13:30--16:45【会場：数学棟305】)※2講演あります。
（1）13:30--15:00
講演者：森本 和輝 ⽒ （神⼾⼤学⼤学院理学研究科）
題⽬：(SO(2n+1), SO(2))の場合のGross-Prasad予想とSpecial Bessel 周期について
概要：
GrossとPrasad は Waldspurger の結果の⼀般化として、SO(2n+1) x SO(2m)の 保型L函数の中⼼値の⾮消滅と適当なBessel周期の⾮消滅との同値性を予想した。 m=1で、SO(2)の保型表現が⾃明表現の場合、対応するBessel周期はSpecial Bessel周期と呼ばれる。 本講演では、この場合に得られたGross-Prasad予想についての結果を紹介する。 本講演の内容は古澤昌秋⽒（⼤阪市⼤）との共同研究である。
（2）15:15--16:45
講演者：津嶋 貴弘 ⽒ （千葉⼤学⼤学院理学研究科）
題⽬：剰余標数が奇数の等標数の場合における⼆次元⾮可換Lubin-Tate理論の 局所的証明について
概要：
Weinstein⽒のperfectoid理論に基づいた研究により、Lubin-Tate曲線の安定還元 の様⼦がある程度よくわかっている。ところで⽒の研究は⾮可換
Lubin-Tate理論 に依拠したものになっている。 ⾮可換Lubin-Tate理論は局所類体論の純局所的証明を与えるLubin-Tate理論の ⼀般化であり、DeligneやCarayolにより予想され、⼤域的な保型表現の理論に 基づいたBoyer, Harris-Taylorによる証明が知られている。これの局所的証明に ついては⼀般に2/4

は未解決である。
本講演では、まず基礎体が等標数で剰余標数が2でないときには初等的な⽅法で Lubin-Tate曲線のある種のアフィノイドを直接解析できるということを述べる。 このアフィノイドは良い還元を持ち、その上の群作⽤など必要なことがすべて 明⽰的にわかる。この解析は、perfectoidの理論は⽤いず有限レベルですべて ⾏われる。これが可能となったポイントはCM点の種類に合わせて扱い易い形式 モデルを取ったことにある。(Genestier-Laﬀorguesのモデルが有効)
その結果としてBushnell-Henniart両⽒による明⽰的な（ジャッケ）ラングランズ 対応の理論と⾮可換Lubin-Tate理論の同値性を⽰す。この同値性の証
明においては Huber⽒のコホモロジーに関する⽐較定理とFaltings⽒の研究に端を発する Strauch⽒と三枝⽒によるジャッケ・ラングランズ対応に関する幾何学的研究が 重要な役割を果たす。
上記Bushnell-Henniartの理論はタイプ理論に基づくものであり局所的アプローチで ⽰されているので、それを使うと上述のようにこの場合の⾮可換Lubin-Tate理論の 局所的な証明を得られる。
Weinstein⽒の研究のようにコホモロジーの理解を使ってLubin-Tate曲線の安定還元 の全体像を理解するという⽅針でなく、ある良い性質を持つアフィノイドの還元と そのコホモロジーを調べるだけで⾮可換Lubin-Tate理論の局所的証明が得られると いうことを強調したい。
（付記：arXiv:1604.08857に論⽂をあげましたので興味のある⽅はご参照下さい。）

応⽤数学セミナー（16:00--17:30【会場：合同A棟801】）
お休み（集中講義：川下 美潮 ⽒（広島⼤学））
2016.5.20 （⾦）| セミナー

確率論セミナー（16:00--17:00【会場：数学棟201】
講演者：松浦 浩平 ⽒ （東北⼤学⼤学院理学研究科）
題⽬：ある⾮対称形式に付随する半群の短時間漸近挙動

ロジックセミナー（16:00--【会場：合同棟1201】）
講演者：Florian Pelupessy ⽒（東北⼤学⼤学院理学研究科）
題⽬：Ramsey like principles and the well foundedness of towers of omegas
概要：
We sketch a proof of the fact that (over RCA_0), if we restrict Friedman's adjacent Ramsey theorem to dimension d, the resulting
statement is implied by the well foundedness of $\omega_{d+1}$, where $\omega_0=1$, $\omega_{n+1}\omega^{\omega_n}$. Wewill discuss two major components of the proof: verifying that a result by Ketonen-Solovay on $\alpha$-largeness is provable within RCA_0
and generalising an existing result on the relation between the Paris--Harrington principle and ﬁnite adjacent Ramsey.

2016.5.23（⽉） | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
講演者：⼩⽥部 秀介 ⽒（東北⼤学⼤学院理学研究科）
題⽬： 論⽂ L. Kindler, Evidence for a generalization of Gieseker's conjecture on stratiﬁed bundles in positive characteristic. Doc. Math. 18(2013), 1215?1242. の紹介
概要：
正標数の体上の射影多様体のstratiﬁed bundleに関するGieseker予想は、 1970年代に提⽰され、2010年にEsnault-Mehtaによって肯定的に解決された。 その内容は、単連結な射影多様体は⾮⾃明なstratiﬁed bundleを持たない、というものである。 2013年、KindlerはGieseker予想の⼀般化を提⽰した。その内容は、準射影多様体について、 tame基本群が⾃明なら、⾮⾃明なregular singular stratiﬁed bundleを持たないであろう、 というものである。本講演では、tameアーベル基本群が⾃明ならば、アーベルなmonodromy を持つregular singular stratiﬁed bundleは⾃明なものしかない、というKindler⽒の結果を 紹介する。この結果は、⼀般化されたGieseker予想の⼀つの根拠を与えるものである。

2016.5.24（⽕） | セミナー

幾何セミナー（15:00--16:30【会場：数学棟305】）
お休み（Workshop on Symplectic Goemetry and Physics 5.23-27(⽚平キャンパス 知の館)）

2016.5.27（⾦） | セミナー

確率論セミナー（15:30--17:00【会場：数学棟201】
講演者：⻑⽥ 博⽂ ⽒ （九州⼤学⼤学院数理学研究院）
題⽬：Ginibre interacting Brownian motion is sub-diﬀusive

ロジックセミナー（16:00-- 17:00【会場：合同棟1201】）
講演者：沖坂 祥平 ⽒（東北⼤学⼤学院理学研究科）
題⽬：On Language accepted by probabilistic automata

3/4

概要：
Probabilistic automata are ﬁnite automata which are equipped with probabilistic transition. It is known that the class of regular languages
are strictly included in the class of languages accepted by probabilistic automata and the class of context free (sensitive) languages isincomparable. I will talk about the facts of probabilistic automata on ﬁnite (inﬁnite) words.

2016.5.30（⽉） | セミナー

整数論セミナー（13:30--15:00【会場：合同A棟801】）
お休み

2016.5.31（⽕） | セミナー

臨時幾何セミナー（13:30--15:00【会場：数学棟209】）
講演者：Yong-Geun Oh ⽒（IBS Center for Geometry and Physics & Department of Mathematics, Pohang Institute for Science andTechnology）
題⽬：Lipschitz-exact Lagrangian submanifolds and Tonelli Hamiltonian''
概要：In this talk, we will introduce the notion of Lipschitz-exact Lagrangian submanifolds and prove that any such Larangian admits a graphselector. Then we explain How this can be used to generalize Arnaud's result to the class of Lipschitz-exact Lagrangians: any such
Lagrangian submanifold must be a graph provided it is invariant under a Tonelli Hamiltonian. This is based on the joint work with Amorimand Oliveira Dos Santos4/4