## Seminar information archive

Seminar information archive ～12/08｜Today's seminar 12/09 | Future seminars 12/10～

#### Tokyo Probability Seminar

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

Self-organized criticality in a discrete model of limited aggregation

**Raoul Normand**(Institute of Mathematics, Academia Sinica)Self-organized criticality in a discrete model of limited aggregation

[ Abstract ]

We consider a discrete model of coagulation, where a large number of particles are initially given a prescribed number of arms. We successively choose arms uniformly at random and bind them two by two, unless they belong to "large" clusters. In that sense, the large clusters are frozen and become inactive. We study the graph structure obtained, and describe what a typical cluster looks like. We show that there is a fixed time T such that, before time T, a typical cluster is a subcritical Galton-Watson tree, whereas after time T, a typical cluster is a critical Galton-Watson tree. In that sense, we observe a phenomenon called self-organized criticality.

We consider a discrete model of coagulation, where a large number of particles are initially given a prescribed number of arms. We successively choose arms uniformly at random and bind them two by two, unless they belong to "large" clusters. In that sense, the large clusters are frozen and become inactive. We study the graph structure obtained, and describe what a typical cluster looks like. We show that there is a fixed time T such that, before time T, a typical cluster is a subcritical Galton-Watson tree, whereas after time T, a typical cluster is a critical Galton-Watson tree. In that sense, we observe a phenomenon called self-organized criticality.

### 2015/11/27

#### Colloquium

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

Recent development in amenable groups (JAPANESE)

[ Reference URL ]

https://www.ms.u-tokyo.ac.jp/~kida/

**Yoshikata Kida**(Graduate School of Mathematical Sciences, University of Tokyo)Recent development in amenable groups (JAPANESE)

[ Reference URL ]

https://www.ms.u-tokyo.ac.jp/~kida/

#### Geometry Colloquium

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

The strong version of K-stability derived from the coercivity property of the K-energy (Japanese)

**Hisamoto Tomoyuki**(Nagoya University)The strong version of K-stability derived from the coercivity property of the K-energy (Japanese)

[ Abstract ]

This is a joint work with S. Boucksom and M. Jonsson. We introduced the notion of J-uniform K-stability in relation to the coercivity property of the K-energy. As a result, one can see that any Kähler-Einstein

manifolds with no non-zero holomorphic vector field is J-uniformly K-stable.

This is a joint work with S. Boucksom and M. Jonsson. We introduced the notion of J-uniform K-stability in relation to the coercivity property of the K-energy. As a result, one can see that any Kähler-Einstein

manifolds with no non-zero holomorphic vector field is J-uniformly K-stable.

### 2015/11/26

#### Lie Groups and Representation Theory

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

Introduction to the cohomology of discrete groups and modular symbols 2 (English)

**Birgit Speh**(Cornell University)Introduction to the cohomology of discrete groups and modular symbols 2 (English)

[ Abstract ]

The course is an introduction to the cohomology of torsion free discrete subgroups $\Gamma \subset G $ of a semi simple group $G$. The discrete group $\Gamma$ acts freely on the symmetric space $X= G/K$ and we will always assume that $\Gamma \backslash G/K$ is compact or has finite volume. An example is a torsion free subgroup $\Gamma_n $ of finite index n in Sl(2,Z) acting on $Sl(2.R)/SO(2) \simeq {\mathcal H}=\{z=x+iy \in C| y >0 \}$ by fractional linear transformations. $\Gamma_n \backslash {\mathcal H}$ can be determined explicitly and it can be visualized as an area in the upper half plane glued at the boundary. It is easy to see that it has some nice compactifications.

The cohomology $H^*(\Gamma, C)$ of the group $\Gamma$ is equal to the deRham cohomology $H^*_{deRham}(\Gamma \backslash X, C)$ of the manifold $\Gamma\backslash X$. This cohomology is studied by proving that it is isomorphic to the $H^*(g,K,{\mathcal A}(\Gamma \backslash G))$. Here ${\mathcal A}(\Gamma \backslash G)$ of automorphic functions on $\Gamma \backslash G$. In the case $\Gamma_n \subset Sl(2,Z)$ the space ${\mathcal A}(\Gamma \backslash G)$ is the space of classical automorphic functions on the upper half plane containing holomorphic cusp form, Eisenstein series, Maass forms and it is often introduced in an introductory course in analytic number theory.

On the geometric side we will construct some of the cycles (modular symbols) in the homology $H_*(\Gamma\backslash X)$ which are dual to the cohomology classes we constructed. In our example $\Gamma_n\backslash Sl(2,R)/SO(2)$ these cycles correspond to geodesics and can easily be visualized.

In this course I will explain these results and show how to use them to prove vanishing and non vanishing theorem for $H^*_{deRham}(\Gamma \backslash X)$. I will state the results in full generality, but I will prove them only in the classical case: G=SL$(2,R)$ and the subgroup $\Gamma= \Gamma_n$ a congruence subgroup. Some familiarity with Lie groups and Lie algebras is only prerequisite for the course.

The course is an introduction to the cohomology of torsion free discrete subgroups $\Gamma \subset G $ of a semi simple group $G$. The discrete group $\Gamma$ acts freely on the symmetric space $X= G/K$ and we will always assume that $\Gamma \backslash G/K$ is compact or has finite volume. An example is a torsion free subgroup $\Gamma_n $ of finite index n in Sl(2,Z) acting on $Sl(2.R)/SO(2) \simeq {\mathcal H}=\{z=x+iy \in C| y >0 \}$ by fractional linear transformations. $\Gamma_n \backslash {\mathcal H}$ can be determined explicitly and it can be visualized as an area in the upper half plane glued at the boundary. It is easy to see that it has some nice compactifications.

The cohomology $H^*(\Gamma, C)$ of the group $\Gamma$ is equal to the deRham cohomology $H^*_{deRham}(\Gamma \backslash X, C)$ of the manifold $\Gamma\backslash X$. This cohomology is studied by proving that it is isomorphic to the $H^*(g,K,{\mathcal A}(\Gamma \backslash G))$. Here ${\mathcal A}(\Gamma \backslash G)$ of automorphic functions on $\Gamma \backslash G$. In the case $\Gamma_n \subset Sl(2,Z)$ the space ${\mathcal A}(\Gamma \backslash G)$ is the space of classical automorphic functions on the upper half plane containing holomorphic cusp form, Eisenstein series, Maass forms and it is often introduced in an introductory course in analytic number theory.

On the geometric side we will construct some of the cycles (modular symbols) in the homology $H_*(\Gamma\backslash X)$ which are dual to the cohomology classes we constructed. In our example $\Gamma_n\backslash Sl(2,R)/SO(2)$ these cycles correspond to geodesics and can easily be visualized.

In this course I will explain these results and show how to use them to prove vanishing and non vanishing theorem for $H^*_{deRham}(\Gamma \backslash X)$. I will state the results in full generality, but I will prove them only in the classical case: G=SL$(2,R)$ and the subgroup $\Gamma= \Gamma_n$ a congruence subgroup. Some familiarity with Lie groups and Lie algebras is only prerequisite for the course.

### 2015/11/25

#### Operator Algebra Seminars

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

Combining Pseudodifferential and Vector Bundle Techniques, and Their Applications to Topological Insulators

**Max Lein**(AIMR, Tohoku Univ.)Combining Pseudodifferential and Vector Bundle Techniques, and Their Applications to Topological Insulators

#### Seminar on Probability and Statistics

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

Learning theory and sparsity ～ Introduction into sparse recovery and compressed sensing ～

**Arnak Dalalyan**(ENSAE ParisTech)Learning theory and sparsity ～ Introduction into sparse recovery and compressed sensing ～

[ Abstract ]

In this introductory lecture, we will present the general framework of high-dimensional statistical modeling and its applications in machine learning and signal processing. Basic methods of sparse recovery, such as the hard and the soft thresholding, will be introduced in the context of orthonormal dictionaries and their statistical accuracy will be discussed in detail. We will also show the relation of these methods with compressed sensing and convex programming based procedures.

In this introductory lecture, we will present the general framework of high-dimensional statistical modeling and its applications in machine learning and signal processing. Basic methods of sparse recovery, such as the hard and the soft thresholding, will be introduced in the context of orthonormal dictionaries and their statistical accuracy will be discussed in detail. We will also show the relation of these methods with compressed sensing and convex programming based procedures.

#### FMSP Lectures

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

(1)Introduction into sparse recovery and compressed sensing. (ENGLISH)

http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Dalalyan.pdf

**Arnak Dalalyan**(ENSAE ParisTech)(1)Introduction into sparse recovery and compressed sensing. (ENGLISH)

[ Abstract ]

In this introductory lecture, we will present the general framework of high-dimensional statistical modeling and its applications in machine learning and signal processing. Basic methods of sparse recovery, such as the hard and the soft thresholding, will be introduced in the context of orthonormal dictionaries and their statistical accuracy will be discussed in detail. We will also show the relation of these methods with compressed sensing and convex programming based procedures.

[ Reference URL ]In this introductory lecture, we will present the general framework of high-dimensional statistical modeling and its applications in machine learning and signal processing. Basic methods of sparse recovery, such as the hard and the soft thresholding, will be introduced in the context of orthonormal dictionaries and their statistical accuracy will be discussed in detail. We will also show the relation of these methods with compressed sensing and convex programming based procedures.

http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Dalalyan.pdf

### 2015/11/24

#### Tuesday Seminar of Analysis

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

A local analysis of the swirling flow to the axi-symmetric Navier-Stokes equations near a saddle point and no-slip flat boundary (English)

**Pen-Yuan Hsu**(Graduate School of Mathematical Sciences, the University of Tokyo)A local analysis of the swirling flow to the axi-symmetric Navier-Stokes equations near a saddle point and no-slip flat boundary (English)

[ Abstract ]

As one of the violent flow, tornadoes occur in many place of the world. In order to reduce human losses and material damage caused by tornadoes, there are many research methods. One of the effective methods is numerical simulations. The swirling structure is significant both in mathematical analysis and the numerical simulations of tornado. In this joint work with H. Notsu and T. Yoneda we try to clarify the swirling structure. More precisely, we do numerical computations on axi-symmetric Navier-Stokes flows with no-slip flat boundary. We compare a hyperbolic flow with swirl and one without swirl and observe that the following phenomenons occur only in the swirl case: The distance between the point providing the maximum velocity magnitude $|v|$ and the $z$-axis is drastically changing around some time (which we call it turning point). An ``increasing velocity phenomenon'' occurs near the boundary and the maximum value of $|v|$ is obtained near the axis of symmetry and the boundary when time is close to the turning point.

As one of the violent flow, tornadoes occur in many place of the world. In order to reduce human losses and material damage caused by tornadoes, there are many research methods. One of the effective methods is numerical simulations. The swirling structure is significant both in mathematical analysis and the numerical simulations of tornado. In this joint work with H. Notsu and T. Yoneda we try to clarify the swirling structure. More precisely, we do numerical computations on axi-symmetric Navier-Stokes flows with no-slip flat boundary. We compare a hyperbolic flow with swirl and one without swirl and observe that the following phenomenons occur only in the swirl case: The distance between the point providing the maximum velocity magnitude $|v|$ and the $z$-axis is drastically changing around some time (which we call it turning point). An ``increasing velocity phenomenon'' occurs near the boundary and the maximum value of $|v|$ is obtained near the axis of symmetry and the boundary when time is close to the turning point.

#### Tuesday Seminar on Topology

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

On the cohomology ring of the handlebody mapping class group of genus two (JAPANESE)

**Masatoshi Sato**(Tokyo Denki University)On the cohomology ring of the handlebody mapping class group of genus two (JAPANESE)

[ Abstract ]

The genus two handlebody mapping class group acts on a tree

constructed by Kramer from the disk complex,

and decomposes into an amalgamated product of two subgroups.

We determine the integral cohomology ring of the genus two handlebody

mapping class group by examining these two subgroups

and the Mayer-Vietoris exact sequence.

Using this result, we estimate the ranks of low dimensional homology

groups of the genus three handlebody mapping class group.

The genus two handlebody mapping class group acts on a tree

constructed by Kramer from the disk complex,

and decomposes into an amalgamated product of two subgroups.

We determine the integral cohomology ring of the genus two handlebody

mapping class group by examining these two subgroups

and the Mayer-Vietoris exact sequence.

Using this result, we estimate the ranks of low dimensional homology

groups of the genus three handlebody mapping class group.

#### Lie Groups and Representation Theory

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

Introduction to the cohomology of discrete groups and modular symbols 1 (English)

**Birgit Speh**(Cornell University)Introduction to the cohomology of discrete groups and modular symbols 1 (English)

[ Abstract ]

The course is an introduction to the cohomology of torsion free discrete subgroups $\Gamma \subset G $ of a semi simple group $G$. The discrete group $\Gamma$ acts freely on the symmetric space $X= G/K$ and we will always assume that $\Gamma \backslash G/K$ is compact or has finite volume. An example is a torsion free subgroup $\Gamma_n $ of finite index n in Sl(2,Z) acting on $Sl(2.R)/SO(2) \simeq {\mathcal H}=\{z=x+iy \in C| y >0 \}$ by fractional linear transformations. $\Gamma_n \backslash {\mathcal H}$ can be determined explicitly and it can be visualized as an area in the upper half plane glued at the boundary. It is easy to see that it has some nice compactifications.

The cohomology $H^*(\Gamma, C)$ of the group $\Gamma$ is equal to the deRham cohomology $H^*_{deRham}(\Gamma \backslash X, C)$ of the manifold $\Gamma\backslash X$. This cohomology is studied by proving that it is isomorphic to the $H^*(g,K,{\mathcal A}(\Gamma \backslash G))$. Here ${\mathcal A}(\Gamma \backslash G)$ of automorphic functions on $\Gamma \backslash G$. In the case $\Gamma_n \subset Sl(2,Z)$ the space ${\mathcal A}(\Gamma \backslash G)$ is the space of classical automorphic functions on the upper half plane containing holomorphic cusp form, Eisenstein series, Maass forms and it is often introduced in an introductory course in analytic number theory.

On the geometric side we will construct some of the cycles (modular symbols) in the homology $H_*(\Gamma\backslash X)$ which are dual to the cohomology classes we constructed. In our example $\Gamma_n\backslash Sl(2,R)/SO(2)$ these cycles correspond to geodesics and can easily be visualized.

In this course I will explain these results and show how to use them to prove vanishing and non vanishing theorem for $H^*_{deRham}(\Gamma \backslash X)$. I will state the results in full generality, but I will prove them only in the classical case: G=SL$(2,R)$ and the subgroup $\Gamma= \Gamma_n$ a congruence subgroup. Some familiarity with Lie groups and Lie algebras is only prerequisite for the course.

The course is an introduction to the cohomology of torsion free discrete subgroups $\Gamma \subset G $ of a semi simple group $G$. The discrete group $\Gamma$ acts freely on the symmetric space $X= G/K$ and we will always assume that $\Gamma \backslash G/K$ is compact or has finite volume. An example is a torsion free subgroup $\Gamma_n $ of finite index n in Sl(2,Z) acting on $Sl(2.R)/SO(2) \simeq {\mathcal H}=\{z=x+iy \in C| y >0 \}$ by fractional linear transformations. $\Gamma_n \backslash {\mathcal H}$ can be determined explicitly and it can be visualized as an area in the upper half plane glued at the boundary. It is easy to see that it has some nice compactifications.

The cohomology $H^*(\Gamma, C)$ of the group $\Gamma$ is equal to the deRham cohomology $H^*_{deRham}(\Gamma \backslash X, C)$ of the manifold $\Gamma\backslash X$. This cohomology is studied by proving that it is isomorphic to the $H^*(g,K,{\mathcal A}(\Gamma \backslash G))$. Here ${\mathcal A}(\Gamma \backslash G)$ of automorphic functions on $\Gamma \backslash G$. In the case $\Gamma_n \subset Sl(2,Z)$ the space ${\mathcal A}(\Gamma \backslash G)$ is the space of classical automorphic functions on the upper half plane containing holomorphic cusp form, Eisenstein series, Maass forms and it is often introduced in an introductory course in analytic number theory.

On the geometric side we will construct some of the cycles (modular symbols) in the homology $H_*(\Gamma\backslash X)$ which are dual to the cohomology classes we constructed. In our example $\Gamma_n\backslash Sl(2,R)/SO(2)$ these cycles correspond to geodesics and can easily be visualized.

In this course I will explain these results and show how to use them to prove vanishing and non vanishing theorem for $H^*_{deRham}(\Gamma \backslash X)$. I will state the results in full generality, but I will prove them only in the classical case: G=SL$(2,R)$ and the subgroup $\Gamma= \Gamma_n$ a congruence subgroup. Some familiarity with Lie groups and Lie algebras is only prerequisite for the course.

### 2015/11/18

#### FMSP Lectures

15:00-16:00,16:30-17:00 Room #大講義室 (Graduate School of Math. Sci. Bldg.)

Crossroads of symplectic rigidity and flexibility (ENGLISH)

http://faculty.ms.u-tokyo.ac.jp/Eliashberg201511.html

**Yakov Eliashberg**(Stanford University)Crossroads of symplectic rigidity and flexibility (ENGLISH)

[ Abstract ]

The development of flexible and rigid sides of symplectic and contact topology towards each other shaped this subject since its inception, and continues shaping its modern development.

In the series of lectures I will discuss the history of this struggle, as well as describe recent breakthroughs on the flexible side.

[ Reference URL ]The development of flexible and rigid sides of symplectic and contact topology towards each other shaped this subject since its inception, and continues shaping its modern development.

In the series of lectures I will discuss the history of this struggle, as well as describe recent breakthroughs on the flexible side.

http://faculty.ms.u-tokyo.ac.jp/Eliashberg201511.html

#### FMSP Lectures

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

Discretising systematically integrable systems (ENGLISH)

http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Ramani1118.pdf

**Alfred Ramani**(Ecole Polytechnique)Discretising systematically integrable systems (ENGLISH)

[ Abstract ]

We present various methods for discretising integrable systerms inspired by the works of Hirota and Mickens. We apply these methods to the systematical discretisation of Painlevé equations.

[ Reference URL ]We present various methods for discretising integrable systerms inspired by the works of Hirota and Mickens. We apply these methods to the systematical discretisation of Painlevé equations.

http://fmsp.ms.u-tokyo.ac.jp/FMSPLectures_Ramani1118.pdf

#### Mathematical Biology Seminar

14:55-16:40 Room #128 (Graduate School of Math. Sci. Bldg.)

Spatial population dynamics as a point pattern dynamics (JAPANESE)

http://www.ics.nara-wu.ac.jp/jp/staff/takasu.html

**Fugo TAKASU**(Nara Women's University)Spatial population dynamics as a point pattern dynamics (JAPANESE)

[ Abstract ]

Spatial population dynamics has been conventionally described as

dynamical system where population size (or population density) changes

with time over space as a continuous "real-valued" variable; these are

often given as partial differential equations as reaction-diffusion

models. In this approach, we implicitly assume infinitely large

population thereby population size changes smoothly and

deterministically. In reality, however, a population is a collection of

a certain number of individuals each of which gives birth or dies with

some stochasticity in a space and the population size as the number of

individuals is "integer-valued". In this talk, I introduce an approach

to reconstruct conventional spatial population dynamics in terms of

point pattern dynamics as a stochastic process. I discuss how to

mathematically describe such spatial stochastic processes using the

moments of increasing order of dimension; densities of points, pairs,

and triplets, etc. are described by integro-differential equations.

Quantification of a point pattern is the key issue here. As examples, I

introduce spatial epidemic SIS and SIR models as point pattern dynamics;

each individual has a certain "mark" depending on its health status; a

snapshot of individuals’ distribution over space is represented by a

marked point pattern and this marked point pattern dynamically changes

with time.

[ Reference URL ]Spatial population dynamics has been conventionally described as

dynamical system where population size (or population density) changes

with time over space as a continuous "real-valued" variable; these are

often given as partial differential equations as reaction-diffusion

models. In this approach, we implicitly assume infinitely large

population thereby population size changes smoothly and

deterministically. In reality, however, a population is a collection of

a certain number of individuals each of which gives birth or dies with

some stochasticity in a space and the population size as the number of

individuals is "integer-valued". In this talk, I introduce an approach

to reconstruct conventional spatial population dynamics in terms of

point pattern dynamics as a stochastic process. I discuss how to

mathematically describe such spatial stochastic processes using the

moments of increasing order of dimension; densities of points, pairs,

and triplets, etc. are described by integro-differential equations.

Quantification of a point pattern is the key issue here. As examples, I

introduce spatial epidemic SIS and SIR models as point pattern dynamics;

each individual has a certain "mark" depending on its health status; a

snapshot of individuals’ distribution over space is represented by a

marked point pattern and this marked point pattern dynamically changes

with time.

http://www.ics.nara-wu.ac.jp/jp/staff/takasu.html

#### Seminar on Probability and Statistics

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

Order flow intensities for limit order book modelling

**Ioane Muni Toke**(University of New Caledonia)Order flow intensities for limit order book modelling

[ Abstract ]

Limit order books are at the core of electronic financial markets. Mathematical models of limit order books use point processes to model the arrival of limit, market and cancellation orders in the order book, but it is not clear what a "good" parametric model for the intensities of these point processes should be.

In the first part of the talk, we show that despite their simplicity basic Poisson processes can be used to accurately model a few features of the order book that more advanced models reproduce with volume-dependent intensities.

In the second part of the talk we present ongoing investigations in a more advanced statistical modelling of these order flow intensities using in particular normal mixture distributions and exponential models.

Limit order books are at the core of electronic financial markets. Mathematical models of limit order books use point processes to model the arrival of limit, market and cancellation orders in the order book, but it is not clear what a "good" parametric model for the intensities of these point processes should be.

In the first part of the talk, we show that despite their simplicity basic Poisson processes can be used to accurately model a few features of the order book that more advanced models reproduce with volume-dependent intensities.

In the second part of the talk we present ongoing investigations in a more advanced statistical modelling of these order flow intensities using in particular normal mixture distributions and exponential models.

### 2015/11/17

#### Tuesday Seminar on Topology

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

Topology of some three-dimensional singularities related to algebraic geometry (ENGLISH)

**Atsuko Katanaga**(Shinshu University)Topology of some three-dimensional singularities related to algebraic geometry (ENGLISH)

[ Abstract ]

In this talk, we deal with hypersurface isolated singularities. First, we will recall

some topological results of singularities. Next, we will sketch the classification of

singularities in algebraic geometry. Finally, we will focus on the three-dimensional

case and discuss some results obtained so far.

In this talk, we deal with hypersurface isolated singularities. First, we will recall

some topological results of singularities. Next, we will sketch the classification of

singularities in algebraic geometry. Finally, we will focus on the three-dimensional

case and discuss some results obtained so far.

#### Number Theory Seminar

18:00-19:00 Room #117 (Graduate School of Math. Sci. Bldg.)

The Tamagawa number formula over function fields. (English)

**Dennis Gaitsgory**(Harvard University & IHES)The Tamagawa number formula over function fields. (English)

[ Abstract ]

Let G be a semi-simple and simply connected group and X an algebraic curve. We consider $Bun_G(X)$, the moduli space of G-bundles on X. In their celebrated paper, Atiyah and Bott gave a formula for the cohomology of $Bun_G$, namely $H^*(Bun_G)=Sym(H_*(X)\otimes V)$, where V is the space of generators for $H^*_G(pt)$. When we take our ground field to be a finite field, the Atiyah-Bott formula implies the Tamagawa number conjecture for the function field of X.

The caveat here is that the A-B proof uses the interpretation of $Bun_G$ as the space of connection forms modulo gauge transformations, and thus only works over complex numbers (but can be extend to any field of characteristic zero). In the talk we will outline an algebro-geometric proof that works over any ground field. As its main geometric ingredient, it uses the fact that the space of rational maps from X to G is homologically contractible. Because of the nature of the latter statement, the proof necessarily uses tools from higher category theory. So, it can be regarded as an example how the latter can be used to prove something concrete: a construction at the level of 2-categories leads to an equality of numbers.

Let G be a semi-simple and simply connected group and X an algebraic curve. We consider $Bun_G(X)$, the moduli space of G-bundles on X. In their celebrated paper, Atiyah and Bott gave a formula for the cohomology of $Bun_G$, namely $H^*(Bun_G)=Sym(H_*(X)\otimes V)$, where V is the space of generators for $H^*_G(pt)$. When we take our ground field to be a finite field, the Atiyah-Bott formula implies the Tamagawa number conjecture for the function field of X.

The caveat here is that the A-B proof uses the interpretation of $Bun_G$ as the space of connection forms modulo gauge transformations, and thus only works over complex numbers (but can be extend to any field of characteristic zero). In the talk we will outline an algebro-geometric proof that works over any ground field. As its main geometric ingredient, it uses the fact that the space of rational maps from X to G is homologically contractible. Because of the nature of the latter statement, the proof necessarily uses tools from higher category theory. So, it can be regarded as an example how the latter can be used to prove something concrete: a construction at the level of 2-categories leads to an equality of numbers.

### 2015/11/16

#### Seminar on Geometric Complex Analysis

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

Towards the complex geometry of Teichmuller space with extremal length (English)

**Hideki Miyachi**(Osaka University)Towards the complex geometry of Teichmuller space with extremal length (English)

[ Abstract ]

In this talk, in aiming for studying a relation between the topological aspect and the complex analytical aspect of Teichmuller space, I will discuss a complex analytic property of extremal length functions. More precisely, I will give a concrete formula of the Levi form of the extremal length functions for ``generic” measured foliations and show that the reciprocal of the extremal length function is plurisuperharmonic. As a corollary, I will give alternate proofs of S. Krushkal results that the distance function for the Teichmuller distance is plurisubharmonic, and Teichmuller space is hyperconvex. If time permits, I will give a topological description of the Levi form with using the Thurston's symplectic form.

In this talk, in aiming for studying a relation between the topological aspect and the complex analytical aspect of Teichmuller space, I will discuss a complex analytic property of extremal length functions. More precisely, I will give a concrete formula of the Levi form of the extremal length functions for ``generic” measured foliations and show that the reciprocal of the extremal length function is plurisuperharmonic. As a corollary, I will give alternate proofs of S. Krushkal results that the distance function for the Teichmuller distance is plurisubharmonic, and Teichmuller space is hyperconvex. If time permits, I will give a topological description of the Levi form with using the Thurston's symplectic form.

#### FMSP Lectures

15:00-16:00,16:30-17:00 Room #大講義室 (Graduate School of Math. Sci. Bldg.)

Crossroads of symplectic rigidity and flexibility (ENGLISH)

http://faculty.ms.u-tokyo.ac.jp/Eliashberg201511.html

**Yakov Eliashberg**(Stanford University)Crossroads of symplectic rigidity and flexibility (ENGLISH)

[ Abstract ]

The development of flexible and rigid sides of symplectic and contact topology towards each other shaped this subject since its inception, and continues shaping its modern development.

In the series of lectures I will discuss the history of this struggle, as well as describe recent breakthroughs on the flexible side.

[ Reference URL ]The development of flexible and rigid sides of symplectic and contact topology towards each other shaped this subject since its inception, and continues shaping its modern development.

In the series of lectures I will discuss the history of this struggle, as well as describe recent breakthroughs on the flexible side.

http://faculty.ms.u-tokyo.ac.jp/Eliashberg201511.html

#### Algebraic Geometry Seminar

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

Counting curves on surface in Calabi-Yau threefolds and the proof of S-duality modularity conjecture (English)

**Artan Sheshmani**(IPMU/ Ohio State University)Counting curves on surface in Calabi-Yau threefolds and the proof of S-duality modularity conjecture (English)

[ Abstract ]

I will talk about recent joint works with Amin Gholampour, Richard Thomas and Yukinobu Toda, on an algebraic-geometric proof of the S-duality conjecture in superstring theory, made formerly by physicists Gaiotto, Strominger, Yin, regarding the modularity of DT invariants of sheaves supported on hyperplane sections of the quintic Calabi-Yau threefold. Our strategy is to first use degeneration and localization techniques to reduce the threefold theory to a certain intersection theory over the relative Hilbert scheme of points on surfaces and then prove modularity; More precisely, together with Gholampour we have proven that the generating series, associated to the top intersection numbers of the Hilbert scheme of points, relative to an effective divisor, on a smooth quasi-projective surface is a modular form. This is a generalization of the result of Okounkov-Carlsson, where they used representation theory and the machinery of vertex operators to prove this statement for absolute Hilbert schemes. These intersection numbers eventually, together with the generating series of Noether-Lefschetz numbers as I will explain, will provide the ingredients to achieve a complete algebraic-geometric proof of S-duality modularity conjecture.

I will talk about recent joint works with Amin Gholampour, Richard Thomas and Yukinobu Toda, on an algebraic-geometric proof of the S-duality conjecture in superstring theory, made formerly by physicists Gaiotto, Strominger, Yin, regarding the modularity of DT invariants of sheaves supported on hyperplane sections of the quintic Calabi-Yau threefold. Our strategy is to first use degeneration and localization techniques to reduce the threefold theory to a certain intersection theory over the relative Hilbert scheme of points on surfaces and then prove modularity; More precisely, together with Gholampour we have proven that the generating series, associated to the top intersection numbers of the Hilbert scheme of points, relative to an effective divisor, on a smooth quasi-projective surface is a modular form. This is a generalization of the result of Okounkov-Carlsson, where they used representation theory and the machinery of vertex operators to prove this statement for absolute Hilbert schemes. These intersection numbers eventually, together with the generating series of Noether-Lefschetz numbers as I will explain, will provide the ingredients to achieve a complete algebraic-geometric proof of S-duality modularity conjecture.

### 2015/11/14

#### Harmonic Analysis Komaba Seminar

13:00-18:00 Room #128 (Graduate School of Math. Sci. Bldg.)

### 2015/11/13

#### FMSP Lectures

15:00-16:00,16:30-17:30 Room #大講義室 (Graduate School of Math. Sci. Bldg.)

Crossroads of symplectic rigidity and flexibility (ENGLISH)

http://faculty.ms.u-tokyo.ac.jp/Eliashberg201511.html

**Yakov Eliashberg**(Stanford University)Crossroads of symplectic rigidity and flexibility (ENGLISH)

[ Abstract ]

The development of flexible and rigid sides of symplectic and contact topology towards each other shaped this subject since its inception, and continues shaping its modern development.

In the series of lectures I will discuss the history of this struggle, as well as describe recent breakthroughs on the flexible side.

[ Reference URL ]The development of flexible and rigid sides of symplectic and contact topology towards each other shaped this subject since its inception, and continues shaping its modern development.

In the series of lectures I will discuss the history of this struggle, as well as describe recent breakthroughs on the flexible side.

http://faculty.ms.u-tokyo.ac.jp/Eliashberg201511.html

#### Geometry Colloquium

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

Closed random mapping tori are asymmetric

(Japanese)

**MASAI, Hideyoshi**(The University of Tokyo)Closed random mapping tori are asymmetric

(Japanese)

[ Abstract ]

We consider random walks on the mapping class group of closed surfaces and mapping tori of such random mapping classes. It has been shown that such random mapping tori admit hyperbolic structure, and hence their symmetry groups are finite groups. In this talk we prove that the symmetry group of random mapping tori are trivial.

We consider random walks on the mapping class group of closed surfaces and mapping tori of such random mapping classes. It has been shown that such random mapping tori admit hyperbolic structure, and hence their symmetry groups are finite groups. In this talk we prove that the symmetry group of random mapping tori are trivial.

### 2015/11/10

#### Tuesday Seminar on Topology

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

Topological T-duality for "Real" circle bundle (JAPANESE)

**Kiyonori Gomi**(Shinshu University)Topological T-duality for "Real" circle bundle (JAPANESE)

[ Abstract ]

Topological T-duality originates from T-duality in superstring theory,

and is first studied by Bouwkneght, Evslin and Mathai. The duality

basically consists of two parts: The first part is that, for any pair

of a principal circle bundle with `H-flux', there is another `T-dual'

pair on the same base space. The second part states that the twisted

K-groups of the total spaces of principal circle bundles in duality

are isomorphic under degree shift. This is the most simple topological

T-duality following Bunke and Schick, and there are a number of

generalizations. The generalization I will talk about is a topological

T-duality for "Real" circle bundles, motivated by T-duality in type II

orbifold string theory. In this duality, a variant of Z_2-equivariant

K-theory appears.

Topological T-duality originates from T-duality in superstring theory,

and is first studied by Bouwkneght, Evslin and Mathai. The duality

basically consists of two parts: The first part is that, for any pair

of a principal circle bundle with `H-flux', there is another `T-dual'

pair on the same base space. The second part states that the twisted

K-groups of the total spaces of principal circle bundles in duality

are isomorphic under degree shift. This is the most simple topological

T-duality following Bunke and Schick, and there are a number of

generalizations. The generalization I will talk about is a topological

T-duality for "Real" circle bundles, motivated by T-duality in type II

orbifold string theory. In this duality, a variant of Z_2-equivariant

K-theory appears.

### 2015/11/09

#### Algebraic Geometry Seminar

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

3-dimensional McKay correspondence (English)

**Yukari Ito**(Nagoya University)3-dimensional McKay correspondence (English)

[ Abstract ]

The original McKay correspondence is a relation between group theory of a finite subgroup G of SL(2,C) and geometry of the minimal resolution of the quotient singularity by G, and was generalized several ways. In particular, 3-dimensional generalization was extended to derived categorical eqivalence and the G-Hilbert scheme was useful to explain the correspondence. However, most results hold only for abelian subgroups. In this talk, I would like to introduce an iterated G-Hilbert scheme and show more geometrical McKay correspondence for non-abelian subgroups.

The original McKay correspondence is a relation between group theory of a finite subgroup G of SL(2,C) and geometry of the minimal resolution of the quotient singularity by G, and was generalized several ways. In particular, 3-dimensional generalization was extended to derived categorical eqivalence and the G-Hilbert scheme was useful to explain the correspondence. However, most results hold only for abelian subgroups. In this talk, I would like to introduce an iterated G-Hilbert scheme and show more geometrical McKay correspondence for non-abelian subgroups.

### 2015/11/05

#### Algebraic Geometry Seminar

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

Compact moduli of marked noncommutative del Pezzo surfaces via quivers (English)

**Shinnosuke Okawa**(Osaka University)Compact moduli of marked noncommutative del Pezzo surfaces via quivers (English)

[ Abstract ]

I will introduce certain GIT construction via quivers of compactified moduli spaces of marked noncommutative del Pezzo surfaces. For projective plane, quadric surface, and those of degree 3, 2, 1, we obtain projective toric varieties of dimension 2, 3, 8, 9, 10, respectively. Then I will discuss relations with deformation theory of abelian categories, blow-up of noncommutative projective planes, and three-block exceptional collections due to Karpov and Nogin. This talk is based on joint works in progress with Tarig Abdelgadir and Kazushi Ueda.

I will introduce certain GIT construction via quivers of compactified moduli spaces of marked noncommutative del Pezzo surfaces. For projective plane, quadric surface, and those of degree 3, 2, 1, we obtain projective toric varieties of dimension 2, 3, 8, 9, 10, respectively. Then I will discuss relations with deformation theory of abelian categories, blow-up of noncommutative projective planes, and three-block exceptional collections due to Karpov and Nogin. This talk is based on joint works in progress with Tarig Abdelgadir and Kazushi Ueda.

< Previous 123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183 Next >