## Seminar information archive

Seminar information archive ～02/06｜Today's seminar 02/07 | Future seminars 02/08～

### 2019/06/25

#### Tuesday Seminar on Topology

17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Geometry of symplectic log Calabi-Yau surfaces (ENGLISH)

**Tian-Jun Li**(University of Minnesota)Geometry of symplectic log Calabi-Yau surfaces (ENGLISH)

[ Abstract ]

This is a survey on the geometry of symplectic log Calabi-Yau surfaces, which are the symplectic analogues of Looijenga pairs. We address the classification up to symplectic deformation, the relations between symplectic circular sequences and anti-canonical sequences, contact trichotomy, and symplectic fillings. This is a joint work with Cheuk Yu Mak.

This is a survey on the geometry of symplectic log Calabi-Yau surfaces, which are the symplectic analogues of Looijenga pairs. We address the classification up to symplectic deformation, the relations between symplectic circular sequences and anti-canonical sequences, contact trichotomy, and symplectic fillings. This is a joint work with Cheuk Yu Mak.

### 2019/06/24

#### Seminar on Geometric Complex Analysis

10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)

A certain holomorphic invariant and its applications (Japanese)

**Atsushi Yamamori**(Kogakuin University)A certain holomorphic invariant and its applications (Japanese)

[ Abstract ]

In this talk, we first explain a Bergman geometric proof of inequivalence of the unit ball and the bidisk. In this proof, the homogeneity of the domains plays a substantial role. We next explain a recent attempt to extend our method for non-homogeneous cases.

In this talk, we first explain a Bergman geometric proof of inequivalence of the unit ball and the bidisk. In this proof, the homogeneity of the domains plays a substantial role. We next explain a recent attempt to extend our method for non-homogeneous cases.

### 2019/06/21

#### Information Mathematics Seminar

16:50-18:35 Room #128 (Graduate School of Math. Sci. Bldg.)

Functional Encryption (Japanese)

**Tatsuaki Okamoto**(NTT)Functional Encryption (Japanese)

[ Abstract ]

Explanation of various functional encryptions.

Explanation of various functional encryptions.

### 2019/06/20

#### Applied Analysis

16:00-17:30 Room #118 (Graduate School of Math. Sci. Bldg.)

#### Mathematical Biology Seminar

16:00-17:00 Room #056 (Graduate School of Math. Sci. Bldg.)

Diffusion limit for the partner model at the critical value (ENGLISH)

**Eric Foxall**(University of Alberta)Diffusion limit for the partner model at the critical value (ENGLISH)

[ Abstract ]

The partner model is a stochastic SIS model of infection spread over a dynamic network of monogamous partnerships. In previous work, Edwards, Foxall and van den Driessche identify a threshold in parameter space for spread of the infection and show the time to extinction of the infection is of order log(N) below the threshold, where N is population size, and grows exponentially in N above the

threshold. Later, Foxall shows the time to extinction at threshold is of order sqrt(N). Here we go further and derive a single-variable diffusion limit for the number of infectious individuals rescaled by sqrt(N) in both population and time, and show convergence in distribution of the rescaled extinction time. Since the model has effectively four variables and two relevant time scales, the proof features a succession of probability estimates to control trajectories, as well as an averaging result to contend with the fast partnership dynamics.

The partner model is a stochastic SIS model of infection spread over a dynamic network of monogamous partnerships. In previous work, Edwards, Foxall and van den Driessche identify a threshold in parameter space for spread of the infection and show the time to extinction of the infection is of order log(N) below the threshold, where N is population size, and grows exponentially in N above the

threshold. Later, Foxall shows the time to extinction at threshold is of order sqrt(N). Here we go further and derive a single-variable diffusion limit for the number of infectious individuals rescaled by sqrt(N) in both population and time, and show convergence in distribution of the rescaled extinction time. Since the model has effectively four variables and two relevant time scales, the proof features a succession of probability estimates to control trajectories, as well as an averaging result to contend with the fast partnership dynamics.

### 2019/06/19

#### Operator Algebra Seminars

16:45-18:15 Room #126 (Graduate School of Math. Sci. Bldg.)

Type classification of extreme quantized characters

**Ryosuke Sato**(Nagoya University)Type classification of extreme quantized characters

#### Algebraic Geometry Seminar

15:30-17:00 Room #118 (Graduate School of Math. Sci. Bldg.)

A pencil of Enriques surfaces with non-algebraic integral Hodge classes (TBA)

**Fumiaki Suzuki**(UIC)A pencil of Enriques surfaces with non-algebraic integral Hodge classes (TBA)

[ Abstract ]

The integral Hodge conjecture is the statement that the integral Hodge classes are algebraic on smooth complex projective varieties. It is known that the conjecture can fail in general. There are two types of counterexamples, ones with non-algebraic integral Hodge classes of torsion-type and of non-torsion type, the first of which were given by Atiyah-Hirzebruch and Kollar, respectively.

In this talk, we exhibit a pencil of Enriques surfaces defined over Q with non-algebraic integral Hodge classes of non-torsion type. This construction relates to certain questions concerning rational points of algebraic varieties.

This gives the first example of a threefold with the trivial Chow group of zero-cycles on which the integral Hodge conjecture fails. As an application, we construct a fourfold which gives the negative answer to a classical question on the universality of the Abel-Jacobi maps.

This is a joint work with John Christian Ottem.

The integral Hodge conjecture is the statement that the integral Hodge classes are algebraic on smooth complex projective varieties. It is known that the conjecture can fail in general. There are two types of counterexamples, ones with non-algebraic integral Hodge classes of torsion-type and of non-torsion type, the first of which were given by Atiyah-Hirzebruch and Kollar, respectively.

In this talk, we exhibit a pencil of Enriques surfaces defined over Q with non-algebraic integral Hodge classes of non-torsion type. This construction relates to certain questions concerning rational points of algebraic varieties.

This gives the first example of a threefold with the trivial Chow group of zero-cycles on which the integral Hodge conjecture fails. As an application, we construct a fourfold which gives the negative answer to a classical question on the universality of the Abel-Jacobi maps.

This is a joint work with John Christian Ottem.

### 2019/06/18

#### Seminar on Probability and Statistics

11:00-12:10 Room #052 (Graduate School of Math. Sci. Bldg.)

Gaussian and bootstrap approximations of high-dimensional U-statistics with applications and extensions ※変更の可能性あり

**Xiaohui Chen**(University of Illinois at Urbana–Champaign)Gaussian and bootstrap approximations of high-dimensional U-statistics with applications and extensions ※変更の可能性あり

[ Abstract ]

We shall first discuss the Gaussian approximation of high-dimensional and non-degenerate U-statistics of order two under the supremum norm. A two-step Gaussian approximation procedure that does not impose structural assumptions on the data distribution is proposed. Subject to mild moment conditions on the kernel, we establish the explicit rate of convergence that decays polynomially in sample size for a high-dimensional scaling limit, where the dimension can be much larger than the sample size. We also provide computable approximation methods for the quantiles of the maxima of centered U-statistics. Specifically, we provide a unified perspective for the empirical, the randomly reweighted, and the multiplier bootstraps as randomly reweighted quadratic forms, all asymptotically valid and inferentially first-order equivalent in high-dimensions.

The bootstrap methods are applied on statistical applications for high-dimensional non-Gaussian data including: (i) principled and data-dependent tuning parameter selection for regularized estimation of the covariance matrix and its related functionals; (ii) simultaneous inference for the covariance and rank correlation matrices. In particular, for the thresholded covariance matrix estimator with the bootstrap selected tuning parameter, we show that the Gaussian-like convergence rates can be achieved for heavy-tailed data, which are less conservative than those obtained by the Bonferroni technique that

ignores the dependency in the underlying data distribution. In addition, we also show that even for subgaussian distributions, error bounds of the bootstrapped thresholded covariance matrix estimator can be much tighter than those of the minimax estimator with a universal threshold.

Time permitting, we will discuss some extensions to the infinite-dimensional version (i.e., U-processes of increasing complexity) and to the randomized inference via the incomplete U-statistics whose computational cost can be made independent of the order.

We shall first discuss the Gaussian approximation of high-dimensional and non-degenerate U-statistics of order two under the supremum norm. A two-step Gaussian approximation procedure that does not impose structural assumptions on the data distribution is proposed. Subject to mild moment conditions on the kernel, we establish the explicit rate of convergence that decays polynomially in sample size for a high-dimensional scaling limit, where the dimension can be much larger than the sample size. We also provide computable approximation methods for the quantiles of the maxima of centered U-statistics. Specifically, we provide a unified perspective for the empirical, the randomly reweighted, and the multiplier bootstraps as randomly reweighted quadratic forms, all asymptotically valid and inferentially first-order equivalent in high-dimensions.

The bootstrap methods are applied on statistical applications for high-dimensional non-Gaussian data including: (i) principled and data-dependent tuning parameter selection for regularized estimation of the covariance matrix and its related functionals; (ii) simultaneous inference for the covariance and rank correlation matrices. In particular, for the thresholded covariance matrix estimator with the bootstrap selected tuning parameter, we show that the Gaussian-like convergence rates can be achieved for heavy-tailed data, which are less conservative than those obtained by the Bonferroni technique that

ignores the dependency in the underlying data distribution. In addition, we also show that even for subgaussian distributions, error bounds of the bootstrapped thresholded covariance matrix estimator can be much tighter than those of the minimax estimator with a universal threshold.

Time permitting, we will discuss some extensions to the infinite-dimensional version (i.e., U-processes of increasing complexity) and to the randomized inference via the incomplete U-statistics whose computational cost can be made independent of the order.

#### PDE Real Analysis Seminar

10:30-11:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Ways to treat a diffusion problem with the fractional Caputo derivative

**Piotr Rybka**(University of Warsaw)Ways to treat a diffusion problem with the fractional Caputo derivative

[ Abstract ]

The problem

\[

u_t = (D^\alpha u)_x + f

\]

augmented with initial and boundary data appear in model of subsurface flows. Here, $D^\alpha u$ denotes the fractional Caputo derivative of order $\alpha \in (0,1)$.

We offer three approaches:

1) from the point of view of semigroups;

2) from the point of view of the theory of viscosity solutions;

3) from the point of view of numerical simulations.

This is a joint work with T. Namba, K. Ryszewska, V. Voller.

The problem

\[

u_t = (D^\alpha u)_x + f

\]

augmented with initial and boundary data appear in model of subsurface flows. Here, $D^\alpha u$ denotes the fractional Caputo derivative of order $\alpha \in (0,1)$.

We offer three approaches:

1) from the point of view of semigroups;

2) from the point of view of the theory of viscosity solutions;

3) from the point of view of numerical simulations.

This is a joint work with T. Namba, K. Ryszewska, V. Voller.

#### Tuesday Seminar on Topology

17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Filtered instanton homology and the homology cobordism group (JAPANESE)

**Masaki Taniguchi**(The University of Tokyo)Filtered instanton homology and the homology cobordism group (JAPANESE)

[ Abstract ]

We give a new family of real-valued invariants {r_s} of oriented homology 3-spheres. The invariants are defined by using some filtered version of instanton Floer homology. The invariants are closely related to the existence of solutions to ASD equations on Y×R for a given homology sphere Y. We show some properties of {r_s} containing a connected sum formula and a negative definite inequality. As applications of such properties of {r_s}, we obtain several new results on the homology cobordism group and the knot concordance group. As one of such results, we show that if the 1-surgery of a knot has the Froyshov invariant negative, then all positive 1/n-surgeries of the knot are linearly independent in the homology cobordism group. This theorem gives a generalization of the theorem shown by Furuta and Fintushel-Stern in ’90. Moreover, we estimate the values of {r_s} for a hyperbolic manifold Y with an error of at most 10^{-50}. It seems the values are irrational. If the values are irrational, we can conclude that the homology cobordism group is not generated by Seifert homology spheres. This is joint work with Yuta Nozaki and Kouki Sato.

We give a new family of real-valued invariants {r_s} of oriented homology 3-spheres. The invariants are defined by using some filtered version of instanton Floer homology. The invariants are closely related to the existence of solutions to ASD equations on Y×R for a given homology sphere Y. We show some properties of {r_s} containing a connected sum formula and a negative definite inequality. As applications of such properties of {r_s}, we obtain several new results on the homology cobordism group and the knot concordance group. As one of such results, we show that if the 1-surgery of a knot has the Froyshov invariant negative, then all positive 1/n-surgeries of the knot are linearly independent in the homology cobordism group. This theorem gives a generalization of the theorem shown by Furuta and Fintushel-Stern in ’90. Moreover, we estimate the values of {r_s} for a hyperbolic manifold Y with an error of at most 10^{-50}. It seems the values are irrational. If the values are irrational, we can conclude that the homology cobordism group is not generated by Seifert homology spheres. This is joint work with Yuta Nozaki and Kouki Sato.

### 2019/06/17

#### Seminar on Geometric Complex Analysis

10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)

Inoue surfaces and their generalizations (English)

**Andrei Pajitnov**(Universite de Nantes)Inoue surfaces and their generalizations (English)

[ Abstract ]

In 1972 M. Inoue constructed complex non-algebraic surfaces that proved very important for classification of surfaces via the Enriques-Kodaira scheme. Inoue surface is the quotient of H ¥times C by action of a discreet group associated to a given matrix in SL(3, Z). In 2005 K. Oeljeklaus and M. Toma generalized Inoue’s construction to higher dimensions. Oeljeklaus-Toma manifold is the quotient of H^s ¥times C^n by action of a discreet group, associated to the maximal order of a given algebraic number field.

In this talk, I will give a brief overview of these works and related results. Then I will discuss a new generalization of Inoue surfaces to higher dimensions. The manifold in question is the quotient of H ¥times C^n by action of a discreet group associated to a given matrix in SL(2n+1, Z). This is joint work with Hisaaki Endo.

In 1972 M. Inoue constructed complex non-algebraic surfaces that proved very important for classification of surfaces via the Enriques-Kodaira scheme. Inoue surface is the quotient of H ¥times C by action of a discreet group associated to a given matrix in SL(3, Z). In 2005 K. Oeljeklaus and M. Toma generalized Inoue’s construction to higher dimensions. Oeljeklaus-Toma manifold is the quotient of H^s ¥times C^n by action of a discreet group, associated to the maximal order of a given algebraic number field.

In this talk, I will give a brief overview of these works and related results. Then I will discuss a new generalization of Inoue surfaces to higher dimensions. The manifold in question is the quotient of H ¥times C^n by action of a discreet group associated to a given matrix in SL(2n+1, Z). This is joint work with Hisaaki Endo.

### 2019/06/13

#### Information Mathematics Seminar

16:50-18:35 Room #128 (Graduate School of Math. Sci. Bldg.)

Fully Homomorphic Encryption (Japanese)

**Tatsuaki Okamoto**(NTT)Fully Homomorphic Encryption (Japanese)

[ Abstract ]

Explanation of Fully Homomorphic Encryption.

Explanation of Fully Homomorphic Encryption.

### 2019/06/12

#### Number Theory Seminar

17:00-18:00 Room #056 (Graduate School of Math. Sci. Bldg.)

On extension of overconvergent log isocrystals on log smooth varieties (Japanese)

**Kazumi Kasaura**(University of Tokyo)On extension of overconvergent log isocrystals on log smooth varieties (Japanese)

### 2019/06/11

#### Tuesday Seminar of Analysis

16:50-18:20 Room #128 (Graduate School of Math. Sci. Bldg.)

Solutions to two conjectures in branched transport: stability and regularity of optimal paths (English)

**Antonio De Rosa**(Courant Institute of Mathematical Sciences)Solutions to two conjectures in branched transport: stability and regularity of optimal paths (English)

[ Abstract ]

Models involving branched structures are employed to describe several supply-demand systems such as the structure of the nerves of a leaf, the system of roots of a tree and the nervous or cardiovascular systems. The transportation cost in these models is proportional to a concave power $\alpha \in (0,1)$ of the intensity of the flow. We focus on the stability of the optimal transports, with respect to variations of the source and target measures. The stability was known when $\alpha$ is bigger than a critical threshold, but we prove it for every exponent $\alpha \in (0,1)$ and we provide a counterexample for $\alpha=0$. Thus we completely solve a conjecture of the book Optimal transportation networks by Bernot, Caselles and Morel. Moreover the robustness of our proof allows us to get the stability for more general lower semicontinuous functional. Furthermore, we prove the stability for the mailing problem, which was completely open in the literature, solving another conjecture of the aforementioned book. We use the latter result to show the regularity of the optimal networks. (Joint works with Maria Colombo and Andrea Marchese)

Models involving branched structures are employed to describe several supply-demand systems such as the structure of the nerves of a leaf, the system of roots of a tree and the nervous or cardiovascular systems. The transportation cost in these models is proportional to a concave power $\alpha \in (0,1)$ of the intensity of the flow. We focus on the stability of the optimal transports, with respect to variations of the source and target measures. The stability was known when $\alpha$ is bigger than a critical threshold, but we prove it for every exponent $\alpha \in (0,1)$ and we provide a counterexample for $\alpha=0$. Thus we completely solve a conjecture of the book Optimal transportation networks by Bernot, Caselles and Morel. Moreover the robustness of our proof allows us to get the stability for more general lower semicontinuous functional. Furthermore, we prove the stability for the mailing problem, which was completely open in the literature, solving another conjecture of the aforementioned book. We use the latter result to show the regularity of the optimal networks. (Joint works with Maria Colombo and Andrea Marchese)

### 2019/06/06

#### Information Mathematics Seminar

16:50-18:35 Room #128 (Graduate School of Math. Sci. Bldg.)

Lattice Cryptography (Japanese)

**Tatsuaki Okamoto**(NTT)Lattice Cryptography (Japanese)

[ Abstract ]

Properties and a construction of lattice cryptography.

Properties and a construction of lattice cryptography.

### 2019/06/05

#### Number Theory Seminar

17:30-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Duality of Drinfeld modules and P-adic properties of Drinfeld modular forms (English)

**Shin Hattori**(Tokyo City University)Duality of Drinfeld modules and P-adic properties of Drinfeld modular forms (English)

[ Abstract ]

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.

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 Real Analysis Seminar

10:30-11:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Recent progresses in nonlinear potential theory (English)

**Giuseppe Mingione**(Università di Parma)Recent progresses in nonlinear potential theory (English)

[ Abstract ]

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.

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.

#### Tuesday Seminar on Topology

17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Gluck twist on branched twist spins (JAPANESE)

**Mizuki Fukuda**(Tokyo Gakugei University)Gluck twist on branched twist spins (JAPANESE)

[ Abstract ]

A branched twist spin is an embedded two sphere in the four sphere and it is defined as the set of singular points of a circle action on the four sphere. Gluck showed that the set of isotopy classes of diffeomorphisms on $S^1 \times S^2$ is isomorphic to $Z_2$, and an operation of removing a neighborhood of 2-knot from the four sphere and regluing it by the generator of $Z_2$ is called a Gluck twist. It is known by Pao that the Gluck twist along a branched twist spin does not change the four sphere. In this talk, we give an another proof of Pao’s result by using a decomposition of $S^4$ associated with the circle action, and we show that the set of branched twist spins does not change by the Gluck twist.

A branched twist spin is an embedded two sphere in the four sphere and it is defined as the set of singular points of a circle action on the four sphere. Gluck showed that the set of isotopy classes of diffeomorphisms on $S^1 \times S^2$ is isomorphic to $Z_2$, and an operation of removing a neighborhood of 2-knot from the four sphere and regluing it by the generator of $Z_2$ is called a Gluck twist. It is known by Pao that the Gluck twist along a branched twist spin does not change the four sphere. In this talk, we give an another proof of Pao’s result by using a decomposition of $S^4$ associated with the circle action, and we show that the set of branched twist spins does not change by the Gluck twist.

### 2019/05/29

#### Algebraic Geometry Seminar

15:30-17:00 Room #118 (Graduate School of Math. Sci. Bldg.)

Minimal log discrepancies of 3-dimensional non-canonical singularities (English)

**Chen Jiang**(Fudan/MSRI)Minimal log discrepancies of 3-dimensional non-canonical singularities (English)

[ Abstract ]

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.

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.

#### Number Theory Seminar

17:00-18:00 Room #056 (Graduate School of Math. Sci. Bldg.)

On supersingular loci of Shimura varieties for quaternion unitary groups of degree 2 (Japanese)

**Yasuhiro Oki**(University of Tokyo)On supersingular loci of Shimura varieties for quaternion unitary groups of degree 2 (Japanese)

### 2019/05/28

#### Seminar on Mathematics for various disciplines

10:30-11:30 Room #056 (Graduate School of Math. Sci. Bldg.)

#### Tuesday Seminar on Topology

17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)

Exotic four-manifolds via positive factorizations (ENGLISH)

**R. Inanc Baykur**(University of Massachusetts)Exotic four-manifolds via positive factorizations (ENGLISH)

[ Abstract ]

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.

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

#### Seminar on Geometric Complex Analysis

10:30-12:00 Room #128 (Graduate School of Math. Sci. Bldg.)

Gluing construction of K3 surfaces (Japanese)

**Takayuki Koike**(Osaka City Univ.)Gluing construction of K3 surfaces (Japanese)

[ Abstract ]

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)

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

#### Colloquium

15:30-16:30 Room #002 (Graduate School of Math. Sci. Bldg.)

### 2019/05/23

#### Information Mathematics Seminar

16:50-18:35 Room #128 (Graduate School of Math. Sci. Bldg.)

Problems of Bitcoin, other Cryptocurrencies, and Blochchains (Japanese)

**Tatsuaki Okamoto**Problems of Bitcoin, other Cryptocurrencies, and Blochchains (Japanese)

[ Abstract ]

Explanation of problems of bitcoin.

Explanation of problems of bitcoin.

< Previous 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176 Next >