過去の記録 ~07/14本日 07/15 | 今後の予定 07/16~


17:00-18:30   数理科学研究科棟(駒場) 056号室
Tea : 16:30-17:00 Common Room
久我 健一 氏 (千葉大学)
Introduction to formalization of topology using a proof assistant. (JAPANESE)
[ 講演概要 ]
Although the program of formalization goes back to David
Hilbert, it is only recently that we can actually formalize
substantial theorems in modern mathematics. It is made possible by the
development of certain type theory and a computer software called a
proof assistant. We begin this talk by showing our formalization of
some basic geometric topology using a proof assistant COQ. Then we
introduce homotopy type theory (HoTT) of Voevodsky et al., which
interprets type theory from abstract homotopy theoretic perspective.
HoTT proposes "univalent" foundation of mathematics which is
particularly suited for computer formalization.



10:30-12:00   数理科学研究科棟(駒場) 126号室
久本 智之 氏 (名古屋大学)
On uniform K-stability (Japanese)
[ 講演概要 ]
It is a joint work with Sébastien Boucksom and Mattias Jonsson. We first introduce functionals on the space of test configurations, as non-Archimedean analogues of classical functionals on the space of Kähler metrics. Then, uniform K-stability is defined as a counterpart of K-energy's coercivity condition. Finally, reproving and strengthening Y. Odaka's results, we study uniform K-stability of Kähler-Einstein manifolds.


15:30-17:00   数理科学研究科棟(駒場) 122号室
松本雄也 氏 (東大数理)
Good reduction of K3 surfaces (日本語 or English)
[ 講演概要 ]
We consider degeneration of K3 surfaces over a 1-dimensional base scheme
of mixed characteristic (e.g. Spec of the p-adic integers).
Under the assumption of potential semistable reduction, we first prove
that a trivial monodromy action on the l-adic etale cohomology group
implies potential good reduction, where potential means that we allow a
finite base extension.
Moreover we show that a finite etale base change suffices.
The proof for the first part involves a mixed characteristic
3-dimensional MMP (Kawamata) and the classification of semistable
degeneration of K3 surfaces (Kulikov, Persson--Pinkham, Nakkajima).
For the second part, we consider flops and descent arguments. This is a joint work with Christian Liedtke.
[ 参考URL ]


16:50-18:20   数理科学研究科棟(駒場) 128号室
北別府 悠 氏 (京都大学大学院理学研究科)
A finite diameter theorem on RCD spaces



16:00-17:00   数理科学研究科棟(駒場) 056号室
Tea:15:30~16:00 コモンルーム
Gunnar Carlsson  氏 (Stanford University, Ayasdi INC)
The Shape of Data
[ 講演概要 ]
There is a tremendous amount of attention being paid to the notion of
"Big Data". In many situations, however, the problem is not so much the
size of the data but rather its complexity. This observation shows that
it is now important to find methods for representing complex data in a
compressed and understandable fashion. Representing data by shapes
turns out to be useful in many situations, and therefore topology, the
mathematical sub discipline which studies shape, becomes quite
relevant. There is now a collection of methods based on topology for
analyzing complex data, and in this talk we will discuss these methods,
with numerous examples.
[ 参考URL ]



17:30-18:30   数理科学研究科棟(駒場) 056号室
Shou-Wu Zhang 氏 (Princeton University)
Colmez' conjecture in average (English)
[ 講演概要 ]
This is a report on a joint work with Xinyi Yuan on a conjectured formula of Colmez about the Faltings heights of CM abelian varieties. I will sketch a deduction of this formula in average of CM types from our early work on Gross-Zagier formula. When combined with a recent work of Tsimerman, this result implies the Andre-Oort conjecture for the moduli of abelian varieties.
Our method is different than a recently announced proof of a weaker form of the average formula by Andreatta, Howard, Goren, and Madapusi Pera: we use neither high dimensional Shimura varieties nor Borcherds' liftings.
(本講演は「東京北京パリ数論幾何セミナー」として, インターネットによる東大数理, Morningside Center of MathematicsとIHESの双方向同時中継で行います.)


16:45-18:15   数理科学研究科棟(駒場) 122号室
磯野優介 氏 (京大数理研)
Unique prime factorization and bicentralizer problem for a class of type III factors



10:30-11:30   数理科学研究科棟(駒場) 056号室
山田澄生 氏 (学習院大学)
Convex bodies and geometry of some associated Minkowski functionals (日本語)
[ 講演概要 ]
In this talk, we will investigate the construction of so-called Hilbert metric, as well as Funk metric, defined on convex set from a new variational viewpoint. The local and global aspects of the geometry of the resulting Minkowski functionals will be contrasted. As an application, some remarks on the Perron-Frobenius theorem will be made. Part of the project is a joint work with Athanase Papadopoulos (Strasbourg).


17:00-18:30   数理科学研究科棟(駒場) 122号室
Anton Evseev 氏 (University of Birmingham)
RoCK blocks, wreath products and KLR algebras (English)
[ 講演概要 ]
The so-called RoCK (or Rouquier) blocks play an important role in representation theory of symmetric groups over a finite field of characteristic $p$, as well as of Hecke algebras at roots of unity. Turner has conjectured that a certain idempotent truncation of a RoCK block is Morita equivalent to the principal block $B_0$ of the wreath product $S_p\wr S_d$ of symmetric groups, where $d$ is the "weight" of the block. The talk will outline a proof of this conjecture, which generalizes a result of Chuang-Kessar proved for $d < p$. The proof uses an isomorphism between a Hecke algebra at a root of unity and a cyclotomic Khovanov-Lauda-Rouquier algebra, the resulting grading on the Hecke algebra and the ideas behind a construction of R-matrices for modules over KLR algebras due to Kang-Kashiwara-Kim.


17:00-18:30   数理科学研究科棟(駒場) 056号室
Tea : 16:30-17:00 Common Room
加藤 晃史 氏 (東京大学大学院数理科学研究科)
Quiver mutation loops and partition q-series (JAPANESE)
[ 講演概要 ]
Quivers and their mutations are ubiquitous in mathematics and
mathematical physics; they play a key role in cluster algebras,
wall-crossing phenomena, gluing of ideal tetrahedra, etc.
Recently, we introduced a partition q-series for a quiver mutation loop
(a loop in a quiver exchange graph) using the idea of state sum of statistical
mechanics. The partition q-series enjoy some nice properties such
as pentagon move invariance. We also discuss their relation with combinatorial
Donaldson-Thomas invariants, as well as fermionic character formulas of
certain conformal field theories.
This is a joint work with Yuji Terashima.



10:30-12:00   数理科学研究科棟(駒場) 126号室
足立 真訓 氏 (東京理科大学)
On a global estimate of the Diederich–Fornaess index of Levi-flat real hypersurfaces (Japanese)
[ 講演概要 ]
We give yet another proof for a global estimate of the Diederich-Fornaess index of relatively compact domains with Levi-flat boundary, namely, the index must be smaller than or equal to the reciprocal of the dimension of the ambient space. Although the Diederich-Fornaess index is originally defined for relatively compact domains in complex manifolds, our formulation reveals that it makes sense for abstract Levi-flat CR manifolds.


15:30-17:00   数理科学研究科棟(駒場) 122号室
Will Donovan 氏 (IPMU)
Twists and braids for general 3-fold flops (English)
[ 講演概要 ]
When a 3-fold contains a floppable rational curve, a theorem of Bridgeland provides a derived equivalence between the 3-fold and its flop. I will discuss recent joint work with Michael Wemyss, showing that these flop functors satisfy Coxeter-type braid relations. Using this result, we construct an action of a braid-type group on the derived category of the 3-fold. This group arises from the topology of a certain simplicial hyperplane arrangement, determined by the local geometry of the curve. I will give examples and explain key elements in the construction, including the noncommutative deformations of curves introduced in our previous work.
[ 参考URL ]


16:30-18:00   数理科学研究科棟(駒場) 056号室
尾崎克久 氏 (芝浦工業大学システム理工学部)
[ 講演概要 ]


16:50-18:20   数理科学研究科棟(駒場) 128号室
徐 路 氏 (東京大学大学院数理科学研究科)
Central limit theorem for stochastic heat equations in random environments



16:00-17:30   数理科学研究科棟(駒場) 128号室
太田雅人 氏 (東京理科大学理学部数学科)
Strong instability of standing waves for some nonlinear Schr\"odinger equations (Japanese)
[ 講演概要 ]



16:45-18:15   数理科学研究科棟(駒場) 122号室
窪田陽介 氏 (東大数理)
Controlled topological phases and the bulk-edge correspondence for
topological insulators (English)



16:30-18:00   数理科学研究科棟(駒場) 126号室
高棹 圭介 氏 (東京大学大学院数理科学研究科)
Brakkeの平均曲率流に対する制約条件付きAllen-Cahn方程式の収束について (Japanese)
[ 講演概要 ]
In this talk we consider the Allen-Cahn equation with constraint. In 1994, Chen and Elliott studied the asymptotic behavior of the solution of the Allen-Cahn equation with constraint. They proved that the zero level set of the solution converges to the classical solution of the mean curvature flow under the suitable conditions on initial data. In 1993, Ilmanen proved the existence of the mean curvature flow via the Allen-Cahn equation without constraint in the sense of Brakke. We proved the same conclusion for the Allen-Cahn equation with constraint.


17:30-18:30   数理科学研究科棟(駒場) 056号室
Tea : 17:00-17:30 Common Room
浅岡 正幸 氏 (京都大学)
genericな力学系の周期点の個数の増大度 (JAPANESE)
[ 講演概要 ]

homoclinic 接触とは異なるメカニズムによって,指数的よりも速く

講演者は,篠原克寿氏とDimitry Turaev氏との共同研究によって,



10:30-12:00   数理科学研究科棟(駒場) 126号室
平地 健吾 氏 (東京大学)
Integral Kahler Invariants and the Bergman kernel asymptotics for line bundles
[ 講演概要 ]
On a compact Kahler manifold, one can define global invariants by integrating local invariants of the metric. Assume that a global invariant thus obtained depends only on the Kahler class. Then we show that the integrand can be decomposed into a Chern polynomial (the integrand of a Chern number) and divergences of one forms, which do not contribute to the integral. We apply this decomposition formula to describe the asymptotic expansion of the Bergman kernel for positive line bundles and to show that the CR Q-curvature on a Sasakian manifold is a divergence. This is a joint work with Spyros Alexakis (U Toronto).


16:50-18:20   数理科学研究科棟(駒場) 128号室
市原 直幸 氏 (青山学院大学理工学部)
Phase transitions for controlled Markov chains on infinite graphs (JAPANESE)


15:30-17:00   数理科学研究科棟(駒場) 122号室
佐野太郎 氏 (京都大学)
Deformations of weak Fano varieties (日本語 or English)
[ 講演概要 ]
A smooth projective variety often has obstructed deformations.
Nevertheless, important varieties such as Fano varieties and
Calabi-Yau varieties have unobstructed deformations.
In this talk, I explain about unobstructedness of deformations of weak
Fano varieties, in particular a weak Q-Fano 3-fold.
I also present several examples to show delicateness of this unobstructedness.
[ 参考URL ]



10:00-11:30   数理科学研究科棟(駒場) 126号室
石田政司 氏 (大阪大学)
On Perelman type functionals for the Ricci Yang-Mills flow (Japanese)
[ 講演概要 ]
In his works on the Ricci flow, Perelman introduced two functionals with monotonicity
formulas under the Ricci flow. The monotonicity formulas have many remarkable geometric applications. On the other hand, around 2007, Jeffrey Streets and Andrea Young independently and simultaneously introduced a new geometric flow which is called the Ricci Yang-Mills flow. The new flow can be regarded as the Ricci flow coupled with the Yang-Mills
heat flow. In this talk, we will introduce new functionals with monotonicity formulas under the Ricci Yang-Mills flow and discuss its applications.



17:00-18:30   数理科学研究科棟(駒場) 056号室
This seminar will be held on Thursdsay.
Patrick Dehornoy 氏 (Univ. de Caen)
The group of parenthesized braids (ENGLISH)
[ 講演概要 ]
We describe a group B obtained by gluing in a natural way two well-known
groups, namely Artin's braid group B_infty and Thompson's group F. The
elements of B correspond to braid diagrams in which the distances
between the strands are non uniform and some rescaling operators may
change these distances. The group B shares many properties with B_infty:
as the latter, it can be realized as a subgroup of a mapping class
group, namely that of a sphere with a Cantor set removed, and as a group
of automorphisms of a free group. Technically, the key point is the
existence of a self-distributive operation on B.



13:30-17:00   数理科学研究科棟(駒場) 128号室
田中仁 氏 (東京大学) 13:30-15:00
Two-weight Morrey norm inequality and the sequential testing
[ 講演概要 ]
In this talk we extend Sawyer's two-weight theory to Morrey spaces and give a characterization of two-weight Morrey norm inequalities for the (general) Hardy-Littlewood maximal operators in terms of the sequential testing due to H\"{a}nninen, Hyt\"{o}nen and Li.
We also introduce the description of the K\"othe dual of Morrey type spaces generated by a basis of measurable functions.
The second topic is based on a joint work with Professors Sawano (Tokyo Metropolitan University) and Masty{\l}o (Adam Mickiewicz University and Institute of Mathematics).
澤野嘉宏 氏 (首都大学東京) 15:30-17:00
The topology of the dual space of ${\mathcal S}_0$
[ 講演概要 ]
Based on the notation of my Japanese book, I will consider the topology of ${\mathcal S}_0'$, the dual of ${\mathcal S}_0$.
In view of the linear isomorphism ${\mathcal S}_0' \sim {\mathcal S}/{\mathcal P}$, we can consider two different topologies;

1) the weak-* topology
2) the quotient topology in ${\mathcal S}/{\mathcal P}$.

We aim to show that these two topologies are the same. This will be an errortum of my Japanese book.
This work is done jointly with Takahiro Noi and Shohei Nakamura in Tokyo Metropolitan University.



17:00-18:30   数理科学研究科棟(駒場) 056号室
Tea : 16:30-17:00 Common Room
正井 秀俊 氏 (東京大学大学院数理科学研究科, JSPS)
Verify hyperbolicity of 3-manifolds by computer and its applications. (JAPANESE)
[ 講演概要 ]
In this talk I will talk about the program called HIKMOT which
rigorously proves hyperbolicity of a given triangulated 3-manifold. To
prove hyperbolicity of a given triangulated 3-manifold, it suffices to
get a solution of Thurston's gluing equation. We use the notion called
interval arithmetic to overcome two types errors; round-off errors,
and truncated errors. I will also talk about its application to
exceptional surgeries along alternating knots. This talk is based on
joint work with N. Hoffman, K. Ichihara, M. Kashiwagi, S. Oishi, and
A. Takayasu.

< 前へ 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154 次へ >