## 過去の記録

### 2019年06月05日(水)

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

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

Duality of Drinfeld modules and P-adic properties of Drinfeld modular forms (English)
[ 講演概要 ]
Let p be a rational prime, q>1 a p-power and P a non-constant irreducible polynomial in F_q[t]. The notion of Drinfeld modular form is an analogue over F_q(t) of that of elliptic modular form. Numerical computations suggest that Drinfeld modular forms enjoy some P-adic structures comparable to the elliptic analogue, while at present their P-adic properties are less well understood than the p-adic elliptic case. In 1990s, Taguchi established duality theories for Drinfeld modules and also for a certain class of finite flat group schemes called finite v-modules. Using the duality for the latter, we can define a function field analogue of the Hodge-Tate map. In this talk, I will explain how the Taguchi's theory and our Hodge-Tate map yield results on Drinfeld modular forms which are classical to elliptic modular forms e.g. P-adic congruences of Fourier coefficients imply p-adic congruences of weights.

### 2019年06月04日(火)

#### PDE実解析研究会

10:30-11:30   数理科学研究科棟(駒場) 056号室
Giuseppe Mingione 氏 (Università di Parma)
Recent progresses in nonlinear potential theory (English)
[ 講演概要 ]
Nonlinear Potential Theory aims at studying the fine properties of solutions to nonlinear, potentially degenerate nonlinear elliptic and parabolic equations in terms of the regularity of the give data. A major model example is here given by the $p$-Laplacean equation
$$-\operatorname{div}(|Du|^{p-2}Du) = \mu \quad\quad p > 1,$$
where $\mu$ is a Borel measure with finite total mass. When $p = 2$ we find the familiar case of the Poisson equation from which classical Potential Theory stems. Although many basic tools from the classical linear theory are not at hand - most notably: representation formulae via fundamental solutions - many of the classical information can be retrieved for solutions and their pointwise behaviour. In this talk I am going to give a survey of recent results in the field. Especially, I will explain the possibility of getting linear and nonlinear potential estimates for solutions to nonlinear elliptic and parabolic equations which are totally similar to those available in the linear case. I will also draw some parallels with what is nowadays called Nonlinear Calderón-Zygmund theory.

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

17:00-18:30   数理科学研究科棟(駒場) 056号室
Tea: Common Room 16:30-17:00

Gluck twist on branched twist spins (JAPANESE)
[ 講演概要 ]
Branched twist spin とは４次元球面上の円作用の特異点集合として定義される埋め込まれた２次元球面であり，スパン結び目やツイストスパン結び目などの２次元結び目の一般化となっている．Gluck は４次元多様体内の２次元結び目に沿った向きを保つ手術は微分同相類を除いて２種類のみであることを示しており，自明でない手術を Gluck twist と呼ぶ．一般に Gluck twist が全空間の微分同相を保つかどうかは知られていないが，Pao によって branched twist spin に沿った Gluck twist は 再び４次元球面と微分同相になることが知られている．本講演では，Pao の結果の別証明として円作用を用いて４次元球面の分解を与え，各ピースが Gluck twist を通してどのように変化するかを説明する．また，２次元結び目に注目したとき，Gluck twist によって branched twist spin は再び branched twist spin になることを証明する．

### 2019年05月29日(水)

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

15:30-17:00   数理科学研究科棟(駒場) 118号室

Minimal log discrepancies of 3-dimensional non-canonical singularities (English)
[ 講演概要 ]
Canonical and terminal singularities, introduced by Reid, appear naturally in minimal model program and play important roles in the birational classification of higher dimensional algebraic varieties. Such singularities are well-understood in dimension 3, while the property of non-canonical singularities is still mysterious. We investigate the difference between canonical and non-canonical singularities via minimal log discrepancies (MLD). We show that there is a gap between MLD of 3-dimensional non-canonical singularities and that of 3-dimensional canonical singularities, which is predicted by a conjecture of Shokurov.
This result on local singularities has applications to global geometry of Calabi–Yau 3-folds. We show that the set of all non-canonical klt Calabi–Yau 3-folds are bounded modulo flops, and the global indices of all klt Calabi–Yau 3-folds are bounded from above.

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

17:00-18:00   数理科学研究科棟(駒場) 056号室

On supersingular loci of Shimura varieties for quaternion unitary groups of degree 2 (Japanese)
[ 講演概要 ]
PEL型志村多様体のp進整数環上の整モデルは, Abel多様体と付加構造のモジュライ空間として定義される. その幾何的特殊ファイバーのうち, 超特異Abel多様体に対応する点からなる閉部分スキームを超特異部分という. 超特異部分の構造の明示的な記述は, arithmetic intersectionをはじめとする整数論への応用をもつことが知られている.

### 2019年05月28日(火)

#### 諸分野のための数学研究会

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

[ 講演概要 ]
これまでに独自に開発した細胞内温度イメージング法を用いて、細胞内に時空間的な不均一な温度変動があることを発見した。この温度変化は同じ体積の水と比較すると著しく大きな値であり、細胞内に特殊な熱移動機構が予想された。本研究では人工熱源を用いた際の細胞内の熱移動に関する定量的計測と熱拡散方程式への近似についてその限界と展望を紹介したい。

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

17:00-18:30   数理科学研究科棟(駒場) 056号室
Tea: Common Room 16:30-17:00
R. Inanc Baykur 氏 (University of Massachusetts)
Exotic four-manifolds via positive factorizations (ENGLISH)
[ 講演概要 ]
We will discuss several new ideas and techniques for producing positive Dehn twist factorizations of surface mapping classes, which yield novel constructions of various interesting four-manifolds, such as symplectic Calabi-Yau surfaces and exotic rational surfaces, via Lefschetz pencils.

### 2019年05月27日(月)

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

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

Gluing construction of K3 surfaces (Japanese)
[ 講演概要 ]
Arnol'd showed the uniqueness of the complex analytic structure of a small neighborhood of an elliptic curve embedded in a surface whose normal bundle satisfies "Diophantine condition" in the Picard variety. By applying this theorem, we construct a K3 surface by holomorphically patching two open complex surfaces obtained as the complements of tubular neighborhoods of anti-canonical curves of blow-ups of the projective planes at general nine points. Our construction has 19 complex dimensional degrees of freedom. For general parameters, the resulting K3 surface is neither Kummer nor projective. By the argument based on the concrete computation of the period map, we also investigate which points in the period domain correspond to K3 surfaces obtained by such construction. (Based on joint work with Takato Uehara)

### 2019年05月24日(金)

#### 談話会・数理科学講演会

15:30-16:30   数理科学研究科棟(駒場) 002号室

「ポスト量子」暗号と格子暗号 (日本語)
[ 講演概要 ]

### 2019年05月23日(木)

#### 情報数学セミナー

16:50-18:35   数理科学研究科棟(駒場) 128号室

ビットコインの問題点とその他の仮想通貨、ブロックチェーン (Japanese)
[ 講演概要 ]

### 2019年05月22日(水)

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

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

Bogomolov type vanishing on three-dimensional Mori fiber spaces in positive characteristic

[ 講演概要 ]
In characteristic zero, cotangent bundle of n(>1)-dimensional smooth projective varieties does not contain a big line bundle. This is a part of Bogomolov vanishing and this vanishing plays an important role in the proof of Miyaoka-Yau inequality. In positive characteristic, it is known that Bogomolov vanishing does not hold. There exists a general type surface whose cotangent bundle contains an ample line bundle. So, it is natural to ask when Bogomolov type vanishing holds in positive characteristic. In this talk, I discuss Bogomolov type vanishing on three-dimensional Mori fiber spaces in positive characteristic.

### 2019年05月21日(火)

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

17:00-18:30   数理科学研究科棟(駒場) 056号室
Tea: Common Room 16:30-17:00
Maria de los Angeles Guevara 氏 (大阪市立大学)
On the dealternating number and the alternation number (ENGLISH)
[ 講演概要 ]
Links can be divided into alternating and non-alternating depending on if they possess an alternating diagram or not. After the proof of the Tait flype conjecture on alternating links, it became an important question to ask how a non-alternating link is “close to” alternating links. The dealternating and alternation numbers, which are invariants introduced by C. Adams et al. and A. Kawauchi, respectively, can deal with this question. By definitions, for any link, its alternation number is less than or equal to its dealternating number. It is known that in general the equality does not hold. However, in general, it is not easy to show a gap between these invariants. In this seminar, we will show some results regarding these invariants. In particular, for each pair of positive integers, we will construct infinitely many knots, which have dealternating and alternation numbers determined for these integers. Therefore, an arbitrary gap between the values of these invariants will be obtained.

### 2019年05月20日(月)

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

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

Cohomology and normal reduction numbers of normal surface singularities (Japanese)
[ 講演概要 ]
The normal reduction number of a normal surface singularity relates the maximal degree of the generators of associated graded algebra for certain line bundles on resolution spaces. We show fundamental properties of this invariant and formulas for some special cases. This talk is based on the joint work with Kei-ichi Watanabe and Ken-ichi Yoshida.

### 2019年05月16日(木)

#### 情報数学セミナー

16:50-18:35   数理科学研究科棟(駒場) 128号室

ビットコイン：電子マネー革命 (Japanese)
[ 講演概要 ]
1980年代から暗号分野では電子マネーの研究が行われてきたが，いずれも権威ある(電子マネー)発行機関の存在を前提としていた．ところが，2008年に誕生したビットコインは，特権的な機関は存在せず，非中央集権的な形でマネー（コイン）を発行する仕組みを作り上げた．今回は基本的な暗号機能を利用してどのように非中央集権的にコインを発行するのかなど，ビットコインの仕組みを説明する．

### 2019年05月15日(水)

#### FMSPレクチャーズ

17:30-18:30   数理科学研究科棟(駒場) 122号室
*The date and room have changed.
Gábor Domokos 氏 (Hungarian Academy of Sciences/Budapest University of Technology and Economics)
'Oumuamua, the Gömböc and the Pebbles of Mars (ENGLISH)
[ 講演概要 ]
In this talk I will concentrate on two examples from planetary science, which made the headlines in recent years to highlight the power and significance of nonlinear geometric partial differential equations (PDEs) explaining puzzles presented by Nature. One key link between PDE theory of shape evolution and natural phenomena is the Gömböc, the first mono-monostatic object whose existence was first conjectured by V.I. Arnold in 1995. I will explain the connection and illustrate the process how mathematical models of Nature may be identified.
[ 参考URL ]
http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Domokos.pdf

#### FMSPレクチャーズ

15:00-17:20   数理科学研究科棟(駒場) 122号室
J. Scott Carter 氏 (University of South Alabama / Osaka City University)
Part 1 : Categorical analogues of surface singularities
Part 2 : Prismatic Homology (ENGLISH)
[ 講演概要 ]
Part 1 :
Isotopy classes of surfaces that are embedded in 3-space can be described as a free 4-category that has one object and one weakly invertible arrow. That description coincides with a fundamental higher homotopy group. The surface singularities that correspond to cusps and optimal points on folds can be used to develop categorical analogues of swallow-tails and horizontal cusps. In this talk, the 4-category will be constructed from the ground up, and the general structure will be described.

Part 2 :
A qualgebra is a set that has two binary operations whose relationships to each other are similar to the relations between group multiplication and conjugation. The axioms themselves are described in terms of isotopies of knotted trivalent graphs and the handle-body knots that are represented. The moves naturally live in prisms. By using a generalization of the tensor product of chain complexes, a homology theory is presented that encapsulates these axioms and the higher order relations between them. We show how to use this homology theory to give a solution a system of tensor equations related to the Yang-Baxter relation.
[ 参考URL ]
http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Carter.pdf

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

15:30-17:00   数理科学研究科棟(駒場) 118号室

On quasi-log canonical pairs
(Japanese)
[ 講演概要 ]
The notion of quasi-log canonical pairs was introduced by Florin Ambro. It is a kind of generalizations of that of log canonical pairs. Now we know that quasi-log canonical pairs are ubiquitous in the theory of minimal models. In this talk, I will explain some basic properties and examples of quasi-log canonical pairs. I will also discuss some new developments around quasi-log canonical pairs. Some parts are joint works with Haidong Liu.

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

16:45-18:15   数理科学研究科棟(駒場) 126号室

Combinatorial aspects of Borel functions

### 2019年05月14日(火)

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

17:00-18:30   数理科学研究科棟(駒場) 056号室
Tea: Common Room 16:30-17:00
J. Scott Carter 氏 (University of South Alabama, 大阪市立大学)
Diagrammatic Algebra (ENGLISH)
[ 講演概要 ]
Three main ideas will be explored. First, a higher dimensional category (a category that has arrows, double arrows, triple arrows, and quadruple arrows) that is based upon the axioms of a Frobenius algebra will be outlined. Then these structures will be promoted into one higher dimension so that braiding can be introduced. Second, relationships between braiding and multiplication will be studied from a homological perspective. Third, the next order relations will be used to formulate a system of abstract tensor equations that are analogous to the Yang-Baxter relation. In this way, a broad outline of the notion of diagrammatic algebra will be presented.

### 2019年05月13日(月)

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

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

Some Bonnet--Myers Type Theorems for Transverse Ricci Solitons on Complete Sasaki Manifolds (Japanese)
[ 講演概要 ]
The aim of this talk is to discuss the compactness of complete Ricci solitons and its generalizations. Ricci solitons were introduced by R. Hamilton in 1982 and are natural generalizations of Einstein manifolds. They correspond to self-similar solutions to the Ricci flow and often arise as singularity models of the flow. The importance of Ricci solitons was demonstrated by G. Perelman, where they played crucial roles in his affirmative resolution of the Poincare conjecture.
In this talk, after we review basic facts on Ricci solitons, I would like to introduce some Bonnet--Myers type theorems for complete Ricci solitons. Our results generalize the previous Bonnet--Myers type theorems due to W. Ambrose (1957), J. Cheeger, M. Gromov, and M. Taylor (1982), M. Fernandez-Lopez and E. Garcia-Rio (2008), M. Limoncu (2010, 2012), Z. Qian (1997), Y. Soylu (2017), and G. Wei and W. Wylie (2009). Moreover, I would also like to extend such Bonnet--Myers type theorems to the case of transverse Ricci solitons on complete Sasaki manifolds. Our results generalize the previous Bonnet--Myers type theorems for complete Sasaki manifolds due to I. Hasegawa and M. Seino (1981) and Y. Nitta (2009).

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

16:50-18:20   数理科学研究科棟(駒場) 056号室

[ 講演概要 ]

### 2019年05月09日(木)

#### 情報数学セミナー

16:50-18:35   数理科学研究科棟(駒場) 128号室

[ 講演概要 ]

### 2019年05月08日(水)

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

15:30-17:00   数理科学研究科棟(駒場) 118号室

On Minimal model theory for log canonical pairs with big boundary divisors
[ 講演概要 ]
In 2010, Birkar--Cascini--Hacon--McKernan established the minimal model theory for Kawamata log　terminal pairs with big boundary divisors, and a lot of theorems in the birational geometry are
proved by applying this result. It is expected that this result can be generalized to log canonical pairs. Currently, it is known that the minimal model theory for log canonical pairs can be reduced to the case of big boundary divisors. In this talk, we introduce a partial generalization of the result by Birkar--Cascini--Hacon--McKernan. Roughly speaking, we generalized their result to lc pairs with big boundary divisors having only small lc centers. We also explain another generalization, which is originally announced by Hu, and we discuss termination of log minimal model program in a spacial case. This is a joint work with Zhengyu Hu, and the work is in progress.

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

17:00-18:00   数理科学研究科棟(駒場) 056号室

On the types for supercuspidal representations of inner forms of GL_n (Japanese)
[ 講演概要 ]
Aを非アルキメデス的局所体F上の中心的単純環とし，Gをその乗法群とする．
Gのsmooth表現を考察する際に有用な理論の一つとしてtypeの理論が存在する．
type (J, ¥lambda) とはGのコンパクト部分群Jと J の既約部分表現 ¥lambda の組であって，Gの既約表現をある意味で分類することのできるものである．
S¥'echerre-Stevenにより，Gのtypeの族としてsimple typeという概念が構成されている．

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

16:45-18:15   数理科学研究科棟(駒場) 126号室

Unitary conjugacy for type III subfactors and W*-superrigidity