## 過去の記録

### 2013年11月20日(水)

#### 代数学コロキウム

16:40-17:40   数理科学研究科棟(駒場) 056号室
Valentina Di Proietto 氏 (東京大学数理科学研究科)
On the homotopy exact sequence for the logarithmic de Rham fundamental group (ENGLISH)
[ 講演概要 ]
Let K be a field of characteristic 0 and let X* be a quasi-projective simple normal crossing log variety over the log point K* associated to K. We construct a log de Rham version of the homotopy sequence \\pi_1(X*/K*)-->\\pi_1(X*/K)--\\pi_1(K*/K)-->1 and prove that it is exact. Moreover we show the injectivity of the first map for certain quotients of the groups. Our proofs are purely algebraic. This is a joint work with A. Shiho.

#### 作用素環セミナー

16:30-18:00   数理科学研究科棟(駒場) 118号室
Camille Male 氏 (Univ. Paris VII)
The spectrum of large random matrices, the non commutative random variables and the distribution of traffics (ENGLISH)

#### 統計数学セミナー

13:30-14:40   数理科学研究科棟(駒場) 052号室

TD法における価値関数への収束アルゴリズム (JAPANESE)
[ 講演概要 ]
マルコフ過程に従い状態遷移が行われ、状態に応じた報酬が支 払われるモデルにおいて、その報酬の累積和の期待値、価値関数を推定する問題 を考える。線形関数近似を用いたTD法において、真の価値関数が特徴量の線形結 合で表されない場合であっても収束することは知られているが、特徴量の選択に よって性能に大きな差が出てしまう。そこで、得られた極限を真の価値関数へ補 正するように特徴量を構成することによって、真の価値関数に収束するアルゴリ ズムを提案し、その効率を上げる手法について説明する。
[ 講演参考URL ]
http://www.sigmath.es.osaka-u.ac.jp/~kamatani/statseminar/2013/07.html

### 2013年11月19日(火)

#### トポロジー火曜セミナー

16:30-18:00   数理科学研究科棟(駒場) 056号室
Tea: 16:00 - 16:30 コモンルーム

[ 講演概要 ]

これは松元重則氏(日本大学)との共同研究である。

#### 解析学火曜セミナー

16:30-18:00   数理科学研究科棟(駒場) 128号室
Alexander Pushnitski 氏 (King's Colledge London)
Inverse spectral problem for positive Hankel operators (ENGLISH)
[ 講演概要 ]
Hankel operators are given by (infinite) matrices with entries
$a_{n+m}$ in $\\ell^2$. We consider inverse spectral problem
for bounded self-adjoint positive Hankel operators.
A famous theorem due to Megretskii, Peller and Treil asserts
that such operators may have any continuous spectrum of
multiplicity one or two and any set of eigenvalues of multiplicity
one. However, more detailed questions of inverse spectral
problem, such as the description of isospectral sets, have never
been addressed. In this talk I will describe in detail the
direct and inverse spectral problem for a particular sub-class
of positive Hankel operators. The talk is based on joint work
with Patrick Gerard (Paris, Orsay).

#### Lie群論・表現論セミナー

16:30-17:30   数理科学研究科棟(駒場) 126号室
Simon Gindikin 氏 (Rutgers University (USA))
Horospheres, wonderfull compactification and c-function (JAPANESE)
[ 講演概要 ]
I will discuss what is closures of horospheres at the wonderfull compactification and how does it connected with horospherical transforms, c-functions and product-formulas

### 2013年11月18日(月)

#### 複素解析幾何セミナー

10:30-12:00   数理科学研究科棟(駒場) 126号室

[ 講演概要 ]

#### FMSPレクチャーズ

15:30-16:30   数理科学研究科棟(駒場) 056号室
Alfred RAMANI 氏 (École polytechnique)
Integrable discrete systems, an introduction Pt.1 (ENGLISH)
[ 講演概要 ]
The first part will contain a general overview of the notion of integrability, starting from continuous systems with or without physical applications. The Painlev¥'e property will be discussed as an integrability detector for integrability of continuous systems. The notion of integrability of discrete systems will be introduced next. One dimensional systems will be presented as well as multidimensional ones.

#### Kavli IPMU Komaba Seminar

17:00-18:30   数理科学研究科棟(駒場) 002号室
Mauricio Romo 氏 (Kavli IPMU)
Exact Results In Two-Dimensional (2,2) Supersymmetric Gauge Theories With Boundary
(ENGLISH)
[ 講演概要 ]
I will talk about the recent computation, done in joint work with Prof. K. Hori, of the partition function on the hemisphere of a class of two-dimensional (2,2) supersymmetric field theories including gauged linear sigma models (GLSM). The result provides a general exact formula for the central charge of the D-branes placed at the boundary. From the mathematical point of view, for the case of GLSMs that admit a geometrical interpretation, this formula provides an expression for the central charge of objects in the derived category at any point of the stringy Kahler moduli space. I will describe how this formula arises from physics and give simple, yet important, examples that supports its validity. If time allows, I will also explain some of its consequences such as how it can be used to obtain the grade restriction rule for branes near phase boundaries.

#### 代数幾何学セミナー

15:30-17:00   数理科学研究科棟(駒場) 122号室
この講演はGCOEレクチャーズとの共同セミナーになります
Florin Ambro 氏 (IMAR)
An injectivity theorem (ENGLISH)
[ 講演概要 ]
I will discuss a generalization of the injectivity theorem of Esnault-Viehweg, and an
application to the problem of lifting sections from the non-log canonical locus of a log variety.

### 2013年11月16日(土)

#### 保型形式の整数論月例セミナー

13:30-16:00   数理科学研究科棟(駒場) 123号室

Pair correlation of low lying zeros of quadratic L-functions (JAPANESE)
[ 講演概要 ]
In this talk, we give certain asymptotic formula involving non-trivial zeros of L-functions associated to Knonecker symbol under the assumption of the Generalized Riemann Hypothesis. From this formula, we obtain several results on non-trivial zeros of quadratic L-functions near the real axis.

σ関数と空間曲線 (JAPANESE)
[ 講演概要 ]
In this talk, I show that Kleinian sigma function, which is a generalization of Weierstrass elliptic sigma function, is extended to space curves, (3,4,5), (3,7,8) and (6,13,14,15,16) type. In terms of the function, the Jacob inversion formula is also generalized, in which the affine coordinates are given as functions of strata of Jacobi variety associated with these curves.

#### 調和解析駒場セミナー

13:00-18:00   数理科学研究科棟(駒場) 128号室
このセミナーは,月に1度程度,不定期に開催されます.

Besov and Triebel-Lizorkin spaces associated with
(ENGLISH)
[ 講演概要 ]
Let $(X,d)$ be a locally compact metric space
endowed with a doubling measure $¥mu$, and
let $L$ be a non-negative self-adjoint operator on $L^{2}(X,d¥mu)$.
Assume that the semigroup
$P_{t}=e^{-tL}$
generated by $L$ consists of integral operators with (heat) kernel
$p_{t}(x,y)$
enjoying Gaussian upper bound but having no information on the
regularity in the variables $x$ and $y$.
In this talk, we shall introduce Besov and Triebel-Lizorkin spaces associated
with $L$, and
present an atomic decomposition of these function spaces.

[ 講演概要 ]

そこで、Galilei変換の生成作用素を修正したものと、

### 2013年11月14日(木)

#### 幾何コロキウム

10:00-11:30   数理科学研究科棟(駒場) 122号室

トーラスファイバー束のホモロジー的ミラー対称性とその変形 (JAPANESE)
[ 講演概要 ]
Strominger-Yau-Zaslow によるトーラスファイバー束によるミラー対称性の定式化のある変形として, ある葉層構造を持つシンプレクティックトーラスファイバー束と複素トーラスファイバー束のある非可換変形の組を考える. この変形の組がミラー双対であると主張するための根拠として, 両者の間のホモロジー的ミラー対称性を考える. つまり, シンプレクティックトーラスファイバー束上の深谷圏と複素トーラスファイバー束上の連接層の導来圏の変形を考え, その2つの圏の同値性について議論する. (変形していない状況で分かっているレベルで, その変形した設定でも成り立つことがいえる. )

#### 応用解析セミナー

16:00-17:30   数理科学研究科棟(駒場) 002号室
Danielle Hilhorst 氏 (Université de Paris-Sud / CNRS)
Singular limit of a damped wave equation with a bistable nonlinearity (ENGLISH)
[ 講演概要 ]
We study the singular limit of a damped wave equation with
a bistable nonlinearity. In order to understand interfacial
phenomena, we derive estimates for the generation and the motion
of interfaces. We prove that steep interfaces are generated in
a short time and that their motion is governed by mean curvature
flow under the assumption that the damping is sufficiently strong.
To this purpose, we prove a comparison principle for the damped
wave equation and construct suitable sub- and super-solutions.

This is joint work with Mitsunori Nata.

### 2013年11月13日(水)

#### PDE実解析研究会

10:30-11:30   数理科学研究科棟(駒場) 056号室

Mark Wilkinson 氏 (École normale supérieure - Paris)
Eigenvalue Constraints and Regularity of Q-tensor Navier-Stokes Dynamics (ENGLISH)
[ 講演概要 ]
The Q-tensor is a traceless and symmetric 3x3 matrix that describes the small-scale structure in nematic liquid crystals. In order to be physically meaningful, its eigenvalues should be bounded below by -1/3 and above by 2/3. This constraint raises questions regarding the physical predictions of theories which employ the Q-tensor; it also raises analytical issues in both static and dynamic Q-tensor theories of nematic liquid crystals. John Ball and Apala Majumdar recently constructed a singular map on traceless, symmetric matrices that penalises unphysical Q-tensors by giving them an infinite energy cost. In this talk, I shall present some mathematical results for a coupled Navier-Stokes system modelling nematic dynamics into which this map is built, including the existence, regularity and so-called strict physicality' of its weak solutions.

#### 代数学コロキウム

18:00-19:00   数理科学研究科棟(駒場) 056号室
Yichao Tian 氏 (Morningside Center for Mathematics)
Goren-Oort stratification and Tate cycles on Hilbert modular varieties (ENGLISH)
[ 講演概要 ]
Let B be a quaternionic algebra over a totally real field F, and p be a prime at least 3 unramified in F. We consider a Shimura variety X associated to B^* of level prime to p. A generalization of Deligne-Carayol's "modèle étrange" allows us to define an integral model for X. We will then define a Goren-Oort stratification on the characteristic p fiber of X, and show that each closed Goren-Oort stratum is an iterated P^1-fibration over another quaternionic Shimura variety in characteristic p. Now suppose that [F:Q] is even and that p is inert in F. An iteration of this construction gives rise to many algebraic cycles of middle codimension on the characteristic p fibre of Hilbert modular varieties of prime-to-p level. We show that the cohomological classes of these cycles generate a large subspace of the Tate cycles, which, in some special cases, coincides with the prediction of the Tate conjecture for the Hilbert modular variety over finite fields. This is a joint work with Liang Xiao.
(本講演は「東京北京パリ数論幾何セミナー」として, インターネットによる東大数理, Morningside Center of MathematicsとIHESの双方向同時中継で行います.)

#### 作用素環セミナー

16:30-18:00   数理科学研究科棟(駒場) 118号室
Issan Patri 氏 (Inst. Math. Sci.)
Automorphisms of Compact Quantum Groups (ENGLISH)

### 2013年11月12日(火)

#### PDE実解析研究会

10:30-11:30   数理科学研究科棟(駒場) 056号室

Reinhard Farwig 氏 (Technische Universität Darmstadt)
Optimal initial values and regularity conditions of Besov space type for weak solutions to the Navier-Stokes system (ENGLISH)
[ 講演概要 ]
In a joint work with H. Sohr (Paderborn) and W. Varnhorn (Kassel) we discuss the optimal condition on initial values for the instationary Navier-Stokes system in a bounded domain to get a locally regular solution in Serrin's class.
Then this result based on a description in Besov spaces will be used at all or almost all instants to prove new conditional regularity results for weak solutions.

#### トポロジー火曜セミナー

16:30-18:00   数理科学研究科棟(駒場) 056号室
Tea: 16:00 - 16:30 コモンルーム
Alexander Voronov 氏 (University of Minnesota)
The Batalin-Vilkovisky Formalism and Cohomology of Moduli Spaces (ENGLISH)
[ 講演概要 ]
We use the Batalin-Vilkovisky formalism to give a new proof of Costello's theorem on the existence and uniqueness of solution to the Quantum Master Equation. We also make a physically motivated conjecture on the rational homology of moduli spaces. This is a joint work with Domenico D'Alessandro.

#### 数値解析セミナー

16:30-18:00   数理科学研究科棟(駒場) 002号室
http://www.infsup.jp/utnas/

`method of numerical integration''による摩擦型境界条件問題の数値解析について (JAPANESE)
[ 講演概要 ]

[ 講演参考URL ]
http://www.infsup.jp/utnas/

### 2013年11月11日(月)

#### 複素解析幾何セミナー

10:30-12:00   数理科学研究科棟(駒場) 126号室

Levi-flat real hypersurfaces with Takeuchi 1-complete complements (JAPANESE)
[ 講演概要 ]
In this talk, we discuss compact Levi-flat real hypersurfaces with Takeuchi 1-complete complements from several viewpoints. Based on a Bochner-Hartogs type extension theorem for CR sections over these hypersurfaces, we give an example of a compact Levi-flat CR manifold with a positive CR line bundle whose Ohsawa-Sibony's projective embedding map cannot be transversely infinitely differentiable. We also give a geometrical expression of the Diederich-Fornaess exponents of Takeuchi 1-complete defining functions, and discuss a possible dynamical interpretation of them.

#### 代数幾何学セミナー

15:30-17:00   数理科学研究科棟(駒場) 122号室
Sung Rak Choi 氏 (POSTECH)
Geography via the base loci (ENGLISH)
[ 講演概要 ]
The geography of log model refers to the decomposition of the set of effective adjoint divisors into the cells defined by the resulting models that are obtained by the log minimal model program.
We will describe the geography in terms of the asymptotic base loci and Zariski decompositions of divisors.
As an application, we give a partial answer to a question of B. Totaro concerning the structure of partially ample cones.

#### Lie群論・表現論セミナー

16:30-17:30   数理科学研究科棟(駒場) 126号室
Ronald King 氏 (the University of Southampton)
Alternating sign matrices, primed shifted tableaux and Tokuyama
factorisation theorems (ENGLISH)
[ 講演概要 ]
Twenty years ago Okada established a remarkable set of identities relating weighted sums over half-turn alternating sign matrices (ASMs) to products taking the form of deformations of Weyl denominator formulae for Lie algebras B_n, C_n and D_n. Shortly afterwards Simpson added another such identity to the list. It will be shown that various classes of ASMs are in bijective correspondence with certain sets of shifted tableaux, and that statistics on these ASMs may be expressed in terms of the entries in corresponding compass point matrices (CPMs). This then enables the Okada and Simpson identities to be expressed in terms of weighted sums over primed shifted tableaux. This offers the possibility of extending each of these identities, that originally involved a single parameter and a single shifted tableau shape, to more general identities involving both sequences of parameters and shapes specified by arbitrary partitions. It is conjectured that in each case an appropriate multi-parameter weighted sum can be expressed as a product of a deformed Weyl denominator and group character of the type first proved in the A_n case by Tokuyma in 1988. The conjectured forms of the generalised Okada and Simpson identities will be given explicitly, along with an account of recent progress made in collaboration with Angèle Hamel in proving some of them.

#### 統計数学セミナー

14:50-16:00   数理科学研究科棟(駒場) 052号室

LASSO に対する AIC タイプの情報量規準 (JAPANESE)
[ 講演概要 ]
LASSO は L1 罰則項を推定関数の中に入れる正則化法であり,その開発・拡張は統計科学や機械学習といった分野のホットトピックの一つとなっている.本講演では,罰則項にかかる係数,つまり罰則の強弱を決めるチューニングパラメータの選択問題を考える.クロスバリデーションやサブサンプリングで選択する方法が広く用いられているが,基本的にそれらは計算負荷が高い.そこで,Zou et al. (2007) の「AIC for the LASSO」を拡張する形の情報量規準の導出を試みる.

[ 講演参考URL ]
http://www.sigmath.es.osaka-u.ac.jp/~kamatani/statseminar/2013/06.html

### 2013年11月08日(金)

#### 作用素環セミナー

10:00-12:00   数理科学研究科棟(駒場) 122号室
Reiji Tomatsu 氏 (Hokkaido Univ.)
Introduction to the Ando-Haagerup theory IV (JAPANESE)