## Tuesday Seminar on Topology

Seminar information archive ～12/05｜Next seminar｜Future seminars 12/06～

Date, time & place | Tuesday 17:00 - 18:30 056Room #056 (Graduate School of Math. Sci. Bldg.) |
---|---|

Organizer(s) | KOHNO Toshitake, KAWAZUMI Nariya, KITAYAMA Takahiro, SAKASAI Takuya |

Remarks | Tea: 16:30 - 17:00 Common Room |

**Seminar information archive**

### 2020/10/27

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Vassiliev derivatives of Khovanov homology and its application (JAPANESE)

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

Pre-registration required. See our seminar webpage.

**Jun Yoshida**(The University of Tokyo)Vassiliev derivatives of Khovanov homology and its application (JAPANESE)

[ Abstract ]

Khovanov homology is a categorification of the Jones polynomial. It is known that Khovanov homology also arises from a categorical representation of braid groups, so we can regard it as a kind of quantum knot invariant. However, in contrast to the case of classical quantum invariants, its relation to Vassiliev invariants remains unclear. In this talk, aiming at the problem, we discuss a categorified version of Vassiliev skein relation on Khovanov homology. Namely, we extend Khovanov homology to singular links so that extended ones can be seen as "derivatives" in view of Vassiliev theory. As an application, we compute first derivatives to determine Khovanov homologies of twist knots. This talk is based on papers arXiv:2005.12664 (joint work with N.Ito) and arXiv:2007.15867.

[ Reference URL ]Khovanov homology is a categorification of the Jones polynomial. It is known that Khovanov homology also arises from a categorical representation of braid groups, so we can regard it as a kind of quantum knot invariant. However, in contrast to the case of classical quantum invariants, its relation to Vassiliev invariants remains unclear. In this talk, aiming at the problem, we discuss a categorified version of Vassiliev skein relation on Khovanov homology. Namely, we extend Khovanov homology to singular links so that extended ones can be seen as "derivatives" in view of Vassiliev theory. As an application, we compute first derivatives to determine Khovanov homologies of twist knots. This talk is based on papers arXiv:2005.12664 (joint work with N.Ito) and arXiv:2007.15867.

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

### 2020/10/20

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Poincaré duality for free loop spaces (ENGLISH)

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

Pre-registration required. See our seminar webpage.

**Alexandru Oancea**(Sorbonne Université)Poincaré duality for free loop spaces (ENGLISH)

[ Abstract ]

A certain number of dualities between homological and cohomological invariants of free loop spaces have been observed over the years, having the flavour of Poincaré duality but nevertheless holding in an infinite dimensional setting. The goal of the talk will be to explain these through a new duality theorem, whose proof uses symplectic methods. The talk will report on joint work with Kai Cieliebak and Nancy Hingston.

[ Reference URL ]A certain number of dualities between homological and cohomological invariants of free loop spaces have been observed over the years, having the flavour of Poincaré duality but nevertheless holding in an infinite dimensional setting. The goal of the talk will be to explain these through a new duality theorem, whose proof uses symplectic methods. The talk will report on joint work with Kai Cieliebak and Nancy Hingston.

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

### 2020/10/06

17:30-18:30 Online

Pre-registration required. See our seminar webpage.

The Atiyah-Patodi-Singer index of manifolds with boundary and domain-wall fermions (JAPANESE)

https://zoom.us/meeting/register/tJcqdO6pqz0pGNbwpZOpG-o2h4xJwmpma3zL

Pre-registration required. See our seminar webpage.

**Shinichiroh Matsuo**(Nagoya University)The Atiyah-Patodi-Singer index of manifolds with boundary and domain-wall fermions (JAPANESE)

[ Abstract ]

We introduce a mathematician-friendly formulation of the physicist-friendly derivation of the Atiyah-Patodi-Singer index.

In a previous work, motivated by the study of lattice gauge theory, we derived a formula expressing the Atiyah-Patodi-Singer index in terms of the eta invariant of “domain-wall fermion Dirac operators” when the base manifold is a flat 4-dimensional torus. Now we generalise this formula to any even dimensional closed Riemannian manifolds, and prove it mathematically rigorously. Our proof uses a Witten localisation argument combined with a devised embedding into a cylinder of one dimension higher. Our viewpoint sheds some new light on the interplay among the Atiyah-Patodi-Singer boundary condition, domain-wall fermions, and edge modes.

This talk is based on a joint paper arXiv:1910.01987, to appear in CMP, with H. Fukaya, M. Furuta, T. Onogi, S. Yamaguchi, and M. Yamashita.

[ Reference URL ]We introduce a mathematician-friendly formulation of the physicist-friendly derivation of the Atiyah-Patodi-Singer index.

In a previous work, motivated by the study of lattice gauge theory, we derived a formula expressing the Atiyah-Patodi-Singer index in terms of the eta invariant of “domain-wall fermion Dirac operators” when the base manifold is a flat 4-dimensional torus. Now we generalise this formula to any even dimensional closed Riemannian manifolds, and prove it mathematically rigorously. Our proof uses a Witten localisation argument combined with a devised embedding into a cylinder of one dimension higher. Our viewpoint sheds some new light on the interplay among the Atiyah-Patodi-Singer boundary condition, domain-wall fermions, and edge modes.

This talk is based on a joint paper arXiv:1910.01987, to appear in CMP, with H. Fukaya, M. Furuta, T. Onogi, S. Yamaguchi, and M. Yamashita.

https://zoom.us/meeting/register/tJcqdO6pqz0pGNbwpZOpG-o2h4xJwmpma3zL

### 2020/09/29

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Witten-Reshetikhin-Turaev function for a knot in Seifert manifolds (JAPANESE)

https://zoom.us/meeting/register/tJcqdO6pqz0pGNbwpZOpG-o2h4xJwmpma3zL

Pre-registration required. See our seminar webpage.

**Kohei Iwaki**(The University of Tokyo)Witten-Reshetikhin-Turaev function for a knot in Seifert manifolds (JAPANESE)

[ Abstract ]

In 1998, Lawrence-Zagier introduced a certain q-series and proved that its limit value at root of unity q=exp(2π i / K) coincides with the SU(2) Witten-Reshetikhin-Turaev (WRT) invariant of the Poincare homology sphere Σ(2,3,5) at the level K. Employing the idea of Gukov-Marino-Putrov based on resurgent analysis, we generalize the result of Lawrence-Zagier for the Seifert loops (Seifert manifolds with a single loop inside). That is, for each Seifert loop, we introduce an explicit q-series (WRT function) and show that its limit value at the root of unity coincides with the WRT invariant of the Seifert loop. We will also discuss a q-difference equation satisfied by the WRT function. This talk is based on a joint work with H. Fuji, H. Murakami and Y. Terashima which is available on arXiv:2007.15872.

[ Reference URL ]In 1998, Lawrence-Zagier introduced a certain q-series and proved that its limit value at root of unity q=exp(2π i / K) coincides with the SU(2) Witten-Reshetikhin-Turaev (WRT) invariant of the Poincare homology sphere Σ(2,3,5) at the level K. Employing the idea of Gukov-Marino-Putrov based on resurgent analysis, we generalize the result of Lawrence-Zagier for the Seifert loops (Seifert manifolds with a single loop inside). That is, for each Seifert loop, we introduce an explicit q-series (WRT function) and show that its limit value at the root of unity coincides with the WRT invariant of the Seifert loop. We will also discuss a q-difference equation satisfied by the WRT function. This talk is based on a joint work with H. Fuji, H. Murakami and Y. Terashima which is available on arXiv:2007.15872.

https://zoom.us/meeting/register/tJcqdO6pqz0pGNbwpZOpG-o2h4xJwmpma3zL

### 2020/07/28

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

A double filtration for the mapping class group and the Goeritz group of the sphere (ENGLISH)

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

Pre-registration required. See our seminar webpage.

**Anderson Vera**(RIMS, Kyoto University)A double filtration for the mapping class group and the Goeritz group of the sphere (ENGLISH)

[ Abstract ]

I will talk about a double-indexed filtration of the mapping class group and of the Goeritz group of the sphere, the latter is the group of isotopy classes of self-homeomorphisms of the 3-sphere which preserves the standard Heegaard splitting of $S^3$. In particular I will explain how this double filtration allows to write the Torelli group as a product of some subgroups of the mapping class group. A similar study could be done for the group of automorphisms of a free group. (work in progress with K. Habiro)

[ Reference URL ]I will talk about a double-indexed filtration of the mapping class group and of the Goeritz group of the sphere, the latter is the group of isotopy classes of self-homeomorphisms of the 3-sphere which preserves the standard Heegaard splitting of $S^3$. In particular I will explain how this double filtration allows to write the Torelli group as a product of some subgroups of the mapping class group. A similar study could be done for the group of automorphisms of a free group. (work in progress with K. Habiro)

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

### 2020/07/21

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Twisted arrow categories of operads and Segal conditions (ENGLISH)

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

Pre-registration required. See our seminar webpage.

**Sergei Burkin**(The University of Tokyo)Twisted arrow categories of operads and Segal conditions (ENGLISH)

[ Abstract ]

We generalize twisted arrow category construction from categories to operads, and show that several important categories, including the simplex category $\Delta$, Segal's category $\Gamma$ and Moerdijk--Weiss category $\Omega$ are twisted arrow categories of operads. Twisted arrow categories of operads are closely connected with Segal conditions, and the corresponding theory can be generalized from multi-object associative algebras (i.e. categories) to multi-object P-algebras for reasonably nice operads P.

[ Reference URL ]We generalize twisted arrow category construction from categories to operads, and show that several important categories, including the simplex category $\Delta$, Segal's category $\Gamma$ and Moerdijk--Weiss category $\Omega$ are twisted arrow categories of operads. Twisted arrow categories of operads are closely connected with Segal conditions, and the corresponding theory can be generalized from multi-object associative algebras (i.e. categories) to multi-object P-algebras for reasonably nice operads P.

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

### 2020/07/21

18:00-19:00 Online

Pre-registration required. See our seminar webpage.

Monopole Floer homology for codimension-3 Riemannian foliation (ENGLISH)

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

Pre-registration required. See our seminar webpage.

**Dexie Lin**(The University of Tokyo)Monopole Floer homology for codimension-3 Riemannian foliation (ENGLISH)

[ Abstract ]

In this paper, we give a systematic study of Seiberg-Witten theory on closed oriented manifold with codimension-3 oriented Riemannian foliation. Under a certain topological condition, we construct the basic monopole Floer homologies for a transverse spinc structure with a bundle-like metric, generic perturbation and a complete local system. We will show that these homologies are independent of the bundle-like metric and generic perturbation. The major difference between the basic monopole Floer homologies and the ones on manifolds is the necessity to use the complete local system to construct the monopole Floer homologies.

[ Reference URL ]In this paper, we give a systematic study of Seiberg-Witten theory on closed oriented manifold with codimension-3 oriented Riemannian foliation. Under a certain topological condition, we construct the basic monopole Floer homologies for a transverse spinc structure with a bundle-like metric, generic perturbation and a complete local system. We will show that these homologies are independent of the bundle-like metric and generic perturbation. The major difference between the basic monopole Floer homologies and the ones on manifolds is the necessity to use the complete local system to construct the monopole Floer homologies.

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

### 2020/07/14

17:30-18:30 Online

Joint with Lie Groups and Representation Theory Seminar. Pre-registration required. See our seminar webpage.

Kobayashi's properness criterion and totally geodesic submanifolds in locally symmetric spaces (JAPANESE)

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

Joint with Lie Groups and Representation Theory Seminar. Pre-registration required. See our seminar webpage.

**Takayuki Okuda**(Hiroshima University)Kobayashi's properness criterion and totally geodesic submanifolds in locally symmetric spaces (JAPANESE)

[ Abstract ]

Let G be a Lie group and X a homogeneous G-space. A discrete subgroup of G acting on X properly is called a discontinuous group for X. We are interested in constructions and classifications of discontinuous groups for a given X.

It is well-known that if the isotropies of G on X are compact, any closed subgroup acts on X properly. However, the cases where the isotropies are non-compact, the same claim does not hold in general.

Let us consider the case where G is a linear reductive. In this situation, T. Kobayashi [Math. Ann. (1989)], [J. Lie Theory (1996)]

gave a criterion for the properness of the action on a homogeneous G-space X of closed subgroups in G.

In this talk, we consider homogeneous G-spaces of reductive types realized as families of totally geodesic submanifolds in non-compact Riemannian symmetric spaces. As a main result, we give a translation of Kobayashi's criterion within the framework of Riemannian geometry. In particular, for a torsion-free discrete subgroup of G, the criterion can be stated in terms of totally geodesic submanifolds in the Riemannian locally symmetric space corresponding to the subgroup in G.

[ Reference URL ]Let G be a Lie group and X a homogeneous G-space. A discrete subgroup of G acting on X properly is called a discontinuous group for X. We are interested in constructions and classifications of discontinuous groups for a given X.

It is well-known that if the isotropies of G on X are compact, any closed subgroup acts on X properly. However, the cases where the isotropies are non-compact, the same claim does not hold in general.

Let us consider the case where G is a linear reductive. In this situation, T. Kobayashi [Math. Ann. (1989)], [J. Lie Theory (1996)]

gave a criterion for the properness of the action on a homogeneous G-space X of closed subgroups in G.

In this talk, we consider homogeneous G-spaces of reductive types realized as families of totally geodesic submanifolds in non-compact Riemannian symmetric spaces. As a main result, we give a translation of Kobayashi's criterion within the framework of Riemannian geometry. In particular, for a torsion-free discrete subgroup of G, the criterion can be stated in terms of totally geodesic submanifolds in the Riemannian locally symmetric space corresponding to the subgroup in G.

https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

### 2020/07/07

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Abelian quotients of the Y-filtration on the homology cylinders via the LMO functor (JAPANESE)

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

Pre-registration required. See our seminar webpage.

**Yuta Nozaki**(Hiroshima University)Abelian quotients of the Y-filtration on the homology cylinders via the LMO functor (JAPANESE)

[ Abstract ]

We construct a series of homomorphisms on the Y-filtration on the homology cylinders via the mod $\mathbb{Z}$ reduction of the LMO functor. The restriction of our homomorphism to the lower central series of the Torelli group does not factor through Morita's refinement of the Johnson homomorphism. We use it to show that the abelianization of the Johnson kernel of a closed surface has torsion elements. This is the joint work with Masatoshi Sato and Masaaki Suzuki.

[ Reference URL ]We construct a series of homomorphisms on the Y-filtration on the homology cylinders via the mod $\mathbb{Z}$ reduction of the LMO functor. The restriction of our homomorphism to the lower central series of the Torelli group does not factor through Morita's refinement of the Johnson homomorphism. We use it to show that the abelianization of the Johnson kernel of a closed surface has torsion elements. This is the joint work with Masatoshi Sato and Masaaki Suzuki.

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

### 2020/06/30

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Homology of right-angled Artin kernels (ENGLISH)

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

Pre-registration required. See our seminar webpage.

**Daniel Matei**(IMAR Bucharest)Homology of right-angled Artin kernels (ENGLISH)

[ Abstract ]

The right-angled Artin groups A(G) are the finitely presented groups associated to a finite simplicial graph G=(V,E), which are generated by the vertices V satisfying commutator relations vw=wv for every edge vw in E. An Artin kernel

N

[ Reference URL ]The right-angled Artin groups A(G) are the finitely presented groups associated to a finite simplicial graph G=(V,E), which are generated by the vertices V satisfying commutator relations vw=wv for every edge vw in E. An Artin kernel

N

_{h}(G) is defined by an epimorphism h of A(G) onto the integers. In this talk, we discuss the module structure over the Laurent polynomial ring of the homology groups of N_{h}(G).https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

### 2020/06/23

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Gauge theory and the diffeomorphism and homeomorphism groups of 4-manifolds (JAPANESE)

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

Pre-registration required. See our seminar webpage.

**Hokuto Konno**(The University of Tokyo)Gauge theory and the diffeomorphism and homeomorphism groups of 4-manifolds (JAPANESE)

[ Abstract ]

I will explain my recent collaboration with several groups that develops gauge theory for families

to extract difference between the diffeomorphism groups and the homeomorphism groups of 4-manifolds.

After Donaldson’s celebrated diagonalization theorem, gauge theory has given strong constraints on the topology of smooth 4-manifolds. Combining such constraints with Freedman’s theory, one may find many non-smoothable topological 4-manifolds.

Recently, a family version of this argument was started by T. Kato, N. Nakamura and myself, and soon later it was developed also by D. Baraglia and his collaborating work with myself. More precisely, considering gauge theory for smooth fiber bundles of 4-manifolds, they obtained some constraints on the topology of smooth 4-manifold bundles. Using such constraints, they detected non-smoothable topological fiber bundles of smooth 4-manifolds. The existence of such bundles implies that there is homotopical difference between the diffeomorphism and homeomorphism groups of the 4-manifolds given as the fibers.

If time permits, I will also mention my collaboration with Baraglia which shows that a K3 surface gives a counterexample to the Nielsen realization problem in dimension 4. This example reveals also that there is difference between the Nielsen realization problems asked in the smooth category and the topological category.

[ Reference URL ]I will explain my recent collaboration with several groups that develops gauge theory for families

to extract difference between the diffeomorphism groups and the homeomorphism groups of 4-manifolds.

After Donaldson’s celebrated diagonalization theorem, gauge theory has given strong constraints on the topology of smooth 4-manifolds. Combining such constraints with Freedman’s theory, one may find many non-smoothable topological 4-manifolds.

Recently, a family version of this argument was started by T. Kato, N. Nakamura and myself, and soon later it was developed also by D. Baraglia and his collaborating work with myself. More precisely, considering gauge theory for smooth fiber bundles of 4-manifolds, they obtained some constraints on the topology of smooth 4-manifold bundles. Using such constraints, they detected non-smoothable topological fiber bundles of smooth 4-manifolds. The existence of such bundles implies that there is homotopical difference between the diffeomorphism and homeomorphism groups of the 4-manifolds given as the fibers.

If time permits, I will also mention my collaboration with Baraglia which shows that a K3 surface gives a counterexample to the Nielsen realization problem in dimension 4. This example reveals also that there is difference between the Nielsen realization problems asked in the smooth category and the topological category.

https://zoom.us/webinar/register/WN_oS594Z6BRyaKNCvlm3yCoQ

### 2020/01/28

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

Existence problems for fibered links (JAPANESE)

**Nozomu Sekino**(The University of Tokyo)Existence problems for fibered links (JAPANESE)

[ Abstract ]

It is known that every connected orientable closed 3-manifold has a fibered knot. However, finding (and classifying) fibered links whose fiber surfaces are fixed homeomorphism type in a given 3-manifold is difficult in general. We give a criterion of a simple closed curve on a genus 2g Heegaard surface being a genus g fibered knot in terms of its Heegaard diagram. As an application, we can prove the non-existence of genus one fibered knots in some Seifert manifolds.

There is one generalization of fibered links, homologically fibered links. This requests that the complement of the "fiber surface" is a homologically product of a surface and an interval. We give a necessary and sufficient condition for a connected sums of lens spaces of having a homologically fibered link whose fiber surfaces are some fixed types as some algebraic equations.

It is known that every connected orientable closed 3-manifold has a fibered knot. However, finding (and classifying) fibered links whose fiber surfaces are fixed homeomorphism type in a given 3-manifold is difficult in general. We give a criterion of a simple closed curve on a genus 2g Heegaard surface being a genus g fibered knot in terms of its Heegaard diagram. As an application, we can prove the non-existence of genus one fibered knots in some Seifert manifolds.

There is one generalization of fibered links, homologically fibered links. This requests that the complement of the "fiber surface" is a homologically product of a surface and an interval. We give a necessary and sufficient condition for a connected sums of lens spaces of having a homologically fibered link whose fiber surfaces are some fixed types as some algebraic equations.

### 2020/01/28

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

Fibred cusp b-pseudodifferential operators and its applications (JAPANESE)

**Jun Watanabe**(The University of Tokyo)Fibred cusp b-pseudodifferential operators and its applications (JAPANESE)

[ Abstract ]

Melrose's b-calculus and its variants are important tools to study index problems on manifolds with singularities. In this talk, we introduce a new variant "fibred cusp b-calculus", which is a generalization of fibred cusp calculus of Mazzeo-Melrose and b-calculus of Melrose. We discuss the basic property of this calculus and give a relative index formula. As its application, we prove the index theorem for a Z/k manifold with boundary, which is a generalization of the mod k index theorem of Freed-Melrose.

Melrose's b-calculus and its variants are important tools to study index problems on manifolds with singularities. In this talk, we introduce a new variant "fibred cusp b-calculus", which is a generalization of fibred cusp calculus of Mazzeo-Melrose and b-calculus of Melrose. We discuss the basic property of this calculus and give a relative index formula. As its application, we prove the index theorem for a Z/k manifold with boundary, which is a generalization of the mod k index theorem of Freed-Melrose.

### 2020/01/14

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

SO(3)-invariant G

**Ryohei Chihara**(The University of Tokyo)SO(3)-invariant G

_{2}-geometry (JAPANESE)
[ Abstract ]

Berger's classification of holonomy groups of Riemannian manifolds includes exceptional cases of the Lie groups G

Berger's classification of holonomy groups of Riemannian manifolds includes exceptional cases of the Lie groups G

_{2}and Spin(7). Many authors have studied G_{2}- and Spin(7)-manifolds with torus symmetry. In this talk, we generalize the celebrated examples due to Bryant and Salamon and study G_{2}-manifolds with SO(3)-symmetry. Such torsion-free G_{2}-structures are described as a dynamical system of SU(3)-structures on an SO(3)-fibration over a 3-manifold. As a main result, we reduce this system into a constrained Hamiltonian dynamical system on the cotangent bundle over the space of all Riemannian metrics on the 3-manifold. The Hamiltonian function is very similar to that of the Hamiltonian formulation of general relativity.### 2020/01/14

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

Algebraic entropy of sign-stable mutation loops (JAPANESE)

**Tsukasa Ishibashi**(The University of Tokyo)Algebraic entropy of sign-stable mutation loops (JAPANESE)

[ Abstract ]

Since its discovery, the cluster algebra has been developed with friutful connections with other branches of mathematics, unifying several combinatorial operations as well as their positivity notions. A mutation loop induces several dynamical systems via cluster transformations, and they form a group which can be seen as a combinatorial generalization of the mapping class groups of marked surfaces.

We introduce a new property of mutation loops called the sign stability, with a focus on an asymptotic behavior of the iteration of the tropicalized cluster X-transformation. A sign-stable mutation loop has a numerical invariant which we call the "cluster stretch factor", in analogy with the stretch factor of a pseudo-Anosov mapping class on a marked surface. We compute the algebraic entropies of the cluster A- and X-transformations induced by a sign-stable mutation loop, and conclude that these two coincide with the logarithm of the cluster stretch factor. This talk is based on a joint work with Shunsuke Kano.

Since its discovery, the cluster algebra has been developed with friutful connections with other branches of mathematics, unifying several combinatorial operations as well as their positivity notions. A mutation loop induces several dynamical systems via cluster transformations, and they form a group which can be seen as a combinatorial generalization of the mapping class groups of marked surfaces.

We introduce a new property of mutation loops called the sign stability, with a focus on an asymptotic behavior of the iteration of the tropicalized cluster X-transformation. A sign-stable mutation loop has a numerical invariant which we call the "cluster stretch factor", in analogy with the stretch factor of a pseudo-Anosov mapping class on a marked surface. We compute the algebraic entropies of the cluster A- and X-transformations induced by a sign-stable mutation loop, and conclude that these two coincide with the logarithm of the cluster stretch factor. This talk is based on a joint work with Shunsuke Kano.

### 2020/01/07

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

Magnitude homology of crushable spaces (JAPANESE)

**Yasuhiko Asao**(The University of Tokyo)Magnitude homology of crushable spaces (JAPANESE)

[ Abstract ]

The magnitude homology and the blurred magnitude homology are novel notions of homology theory for general metric spaces coined by Leinster et al. They are expected to be dealt with in the context of Topological Data Analysis since its original idea is based on a kind of "persistence of points clouds". However, little property of them has been revealed. In this talk, we see that the blurred magnitude homology is trivial when a metric space is contractible by a distance decreasing homotopy. We use techniques from singular homology theory.

The magnitude homology and the blurred magnitude homology are novel notions of homology theory for general metric spaces coined by Leinster et al. They are expected to be dealt with in the context of Topological Data Analysis since its original idea is based on a kind of "persistence of points clouds". However, little property of them has been revealed. In this talk, we see that the blurred magnitude homology is trivial when a metric space is contractible by a distance decreasing homotopy. We use techniques from singular homology theory.

### 2020/01/07

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

Intersection number estimate of rational Lagrangian immersions in cotangent bundles via microlocal sheaf theory (JAPANESE)

**Tomohiro Asano**(The University of Tokyo)Intersection number estimate of rational Lagrangian immersions in cotangent bundles via microlocal sheaf theory (JAPANESE)

[ Abstract ]

Guillermou associated sheaves to exact Lagrangian submanifolds in cotangent bundles and proved topological properties of the Lagrangian submanifolds. In this talk, I will give an estimate on the displacement energy of rational Lagrangian immersions in cotangent bundles with intersection number estimates via microlocal sheaf theory. This result overlaps with results by Chekanov, Liu, and Akaho via Floer theory. This is joint work with Yuichi Ike.

Guillermou associated sheaves to exact Lagrangian submanifolds in cotangent bundles and proved topological properties of the Lagrangian submanifolds. In this talk, I will give an estimate on the displacement energy of rational Lagrangian immersions in cotangent bundles with intersection number estimates via microlocal sheaf theory. This result overlaps with results by Chekanov, Liu, and Akaho via Floer theory. This is joint work with Yuichi Ike.

### 2019/12/17

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

Symplectic homology of fiberwise convex sets and homology of loop spaces (JAPANESE)

**Kei Irie**(The University of Tokyo)Symplectic homology of fiberwise convex sets and homology of loop spaces (JAPANESE)

[ Abstract ]

For any (compact) subset in the symplectic vector space, one can define its symplectic capacity by using symplectic homology, which is a version of Floer homology.

In general, it is very difficult to compute or estimate this capacity directly from its definition, since the definition of Floer homology involves counting solutions of nonlinear PDEs (so called Floer equations). In this talk, we consider the symplectic vector space as the cotangent bundle of the Euclidean space, and show a formula which computes symplectic homology and capacity of fiberwise convex sets from homology of loop spaces. We also explain two applications of this formula.

For any (compact) subset in the symplectic vector space, one can define its symplectic capacity by using symplectic homology, which is a version of Floer homology.

In general, it is very difficult to compute or estimate this capacity directly from its definition, since the definition of Floer homology involves counting solutions of nonlinear PDEs (so called Floer equations). In this talk, we consider the symplectic vector space as the cotangent bundle of the Euclidean space, and show a formula which computes symplectic homology and capacity of fiberwise convex sets from homology of loop spaces. We also explain two applications of this formula.

### 2019/12/10

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

q-Deformation of a continued fraction and its applications (JAPANESE)

**Takeyoshi Kogiso**(Josai University)q-Deformation of a continued fraction and its applications (JAPANESE)

[ Abstract ]

A kind of q-Deformation of continued fractions was introduced by Morier-Genoud and Ovsienko. The most important application of this q-deformation of regular (or negative) continued fraction expansion of rational number r/s is to calculate the Jones polynomial of the rational link of r/s. Moreover we can apply the q-deformation of this continued fraction to quadratic irrational number theory and combinatorics.

On the other hand, there exist another recipes for determing the Jones polynomials by using Lee-Schiffler's snake graph and by using Kogiso-Wakui's Conway-Coxeter frieze method. Therefore, another approach of the result due to Morier-Genoud and Ovsienko can be considered from the viewpoint of a Conway-Coxeter frieze and a snake graph. Furthermore, we can consider a cluster-variable transformation of continued fractions as a further generalization by using ancestoral triangles used in the Kogiso-Wakui.

A kind of q-Deformation of continued fractions was introduced by Morier-Genoud and Ovsienko. The most important application of this q-deformation of regular (or negative) continued fraction expansion of rational number r/s is to calculate the Jones polynomial of the rational link of r/s. Moreover we can apply the q-deformation of this continued fraction to quadratic irrational number theory and combinatorics.

On the other hand, there exist another recipes for determing the Jones polynomials by using Lee-Schiffler's snake graph and by using Kogiso-Wakui's Conway-Coxeter frieze method. Therefore, another approach of the result due to Morier-Genoud and Ovsienko can be considered from the viewpoint of a Conway-Coxeter frieze and a snake graph. Furthermore, we can consider a cluster-variable transformation of continued fractions as a further generalization by using ancestoral triangles used in the Kogiso-Wakui.

### 2019/12/03

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

Homotopy Gerstenhaber algebras, Courant algebroids, and Field Equations (ENGLISH)

**Anton Zeitlin**(Louisiana State University)Homotopy Gerstenhaber algebras, Courant algebroids, and Field Equations (ENGLISH)

[ Abstract ]

I will talk about the underlying homotopical structures within field equations, which emerge in string theory as conformal invariance conditions for sigma models. I will show how these, often hidden, structures emerge from the homotopy Gerstenhaber algebra associated to vertex and Courant algebroids, thus making all such equations the natural objects within vertex algebra theory.

I will talk about the underlying homotopical structures within field equations, which emerge in string theory as conformal invariance conditions for sigma models. I will show how these, often hidden, structures emerge from the homotopy Gerstenhaber algebra associated to vertex and Courant algebroids, thus making all such equations the natural objects within vertex algebra theory.

### 2019/11/26

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

$2+1$-TQFTs from non-semisimple modular categories (ENGLISH)

**Marco De Renzi**(Waseda University)$2+1$-TQFTs from non-semisimple modular categories (ENGLISH)

[ Abstract ]

Non-semisimple constructions have substantially generalized the standard approach of Witten, Reshetikhin, and Turaev to quantum topology, producing powerful invariants and TQFTs with unprecedented properties. We will explain how to use the theory of

Based on a joint work with Azat Gainutdinov, Nathan Geer, Bertrand Patureau, and Ingo Runkel.

Non-semisimple constructions have substantially generalized the standard approach of Witten, Reshetikhin, and Turaev to quantum topology, producing powerful invariants and TQFTs with unprecedented properties. We will explain how to use the theory of

*modified traces*to renormalize Lyubashenko’s closed 3-manifold invariants coming from*finite twist non-degenerate unimodular ribbon categories*. Under the additional assumption of*factorizability*, our renormalized invariants extend to $2+1$-TQFTs, unlike Lyubashenko’s original ones. This general framework encompasses important examples of non-semisimple modular categories which were left out of previous non-semisimple TQFT constructions.Based on a joint work with Azat Gainutdinov, Nathan Geer, Bertrand Patureau, and Ingo Runkel.

### 2019/11/19

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

The smooth Gromov space and the realization problem (ENGLISH)

**Ramón Barral Lijó**(Ritsumeikan University)The smooth Gromov space and the realization problem (ENGLISH)

[ Abstract ]

The n-dimensional smooth Gromov space consists of the pointed isometry classes of complete Riemannian n-manifolds. In this talk we will present the definition and basic properties of this space as well as two different applications: The first addresses the following classical problem in foliation theory.

Realization problem: what kind of manifolds can be leaves of compact foliations?

Our joint work with Álvarez López has produced the following solution in the context of foliated spaces.

Theorem. Every Riemannian manifold of bounded geometry is a leaf in a compact foliated space X endowed with a metric tensor. Moreover, we can assume that X has trivial holonomy and is transversely Cantor.

The second application is the recent research by Abert and Biringer on the subject of unimodular random Riemannian manifolds.

The n-dimensional smooth Gromov space consists of the pointed isometry classes of complete Riemannian n-manifolds. In this talk we will present the definition and basic properties of this space as well as two different applications: The first addresses the following classical problem in foliation theory.

Realization problem: what kind of manifolds can be leaves of compact foliations?

Our joint work with Álvarez López has produced the following solution in the context of foliated spaces.

Theorem. Every Riemannian manifold of bounded geometry is a leaf in a compact foliated space X endowed with a metric tensor. Moreover, we can assume that X has trivial holonomy and is transversely Cantor.

The second application is the recent research by Abert and Biringer on the subject of unimodular random Riemannian manifolds.

### 2019/11/05

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

Magnitude homology of geodesic space (JAPANESE)

**Kiyonori Gomi**(Tokyo Institute of Technology)Magnitude homology of geodesic space (JAPANESE)

[ Abstract ]

Magnitude is an invariant which counts `effective number of points' on a metric space. Its categorification is magnitude homology. This notion is first formulated for metric spaces associated to simple graphs by Hepworth and Willerton, and then for any metric spaces by Leinster and Shulman. The definition of the magnitude homology is easy, but its calculation is rather difficult. For example, the magnitude homology of the circle with geodesic metric was known partially. In my talk, I will explain my result that fully determines the magnitude homology of any geodesic metric space subject to a certain non-branching assumption. In this result, the magnitude homology is described in terms of geodesics. Complete and connected Riemannian manifolds are examples of the geodesic metric spaces satisfying the assumption.

Magnitude is an invariant which counts `effective number of points' on a metric space. Its categorification is magnitude homology. This notion is first formulated for metric spaces associated to simple graphs by Hepworth and Willerton, and then for any metric spaces by Leinster and Shulman. The definition of the magnitude homology is easy, but its calculation is rather difficult. For example, the magnitude homology of the circle with geodesic metric was known partially. In my talk, I will explain my result that fully determines the magnitude homology of any geodesic metric space subject to a certain non-branching assumption. In this result, the magnitude homology is described in terms of geodesics. Complete and connected Riemannian manifolds are examples of the geodesic metric spaces satisfying the assumption.

### 2019/10/29

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

Strong stability of minimal submanifolds (ENGLISH)

**Chung-Jun Tsai**(National Taiwan University)Strong stability of minimal submanifolds (ENGLISH)

[ Abstract ]

It is well known that the distance function to a totally geodesic submanifold of a negatively curved ambient manifold is a convex function. One can identify a strong stability condition on minimal submanifolds that generalizes the above scenario. Besides a strong local uniqueness property, a strongly stable minimal submanifold is also Lipschitz stable under the mean curvature flow. We will also discuss some famous local (complete, non-compact) models. This is based on a joint work with Mu-Tao Wang.

It is well known that the distance function to a totally geodesic submanifold of a negatively curved ambient manifold is a convex function. One can identify a strong stability condition on minimal submanifolds that generalizes the above scenario. Besides a strong local uniqueness property, a strongly stable minimal submanifold is also Lipschitz stable under the mean curvature flow. We will also discuss some famous local (complete, non-compact) models. This is based on a joint work with Mu-Tao Wang.

### 2019/10/15

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

Generalized Dehn twists on surfaces and surgeries in 3-manifolds (ENGLISH)

**Gwénaël Massuyeau**(Université de Bourgogne)Generalized Dehn twists on surfaces and surgeries in 3-manifolds (ENGLISH)

[ Abstract ]

(Joint work with Yusuke Kuno.) Given an oriented surface S and a simple closed curve C in S, the "Dehn twist" along C is the homeomorphism of S defined by "twisting" S around C by a full twist. If the curve C is not simple, this transformation of S does not make sense anymore, but one can consider two possible generalizations: one possibility is to use the homotopy intersection form of S to "simulate" the action of a Dehn twist on the (Malcev completion of) the fundamental group of S; another possibility is to view C as a curve on the top boundary of the cylinder S×[0,1], to push it arbitrarily into the interior so as to obtain, by surgery along the resulting knot, a new 3-manifold. In this talk, we will relate two those possible generalizations of a Dehn twist and we will give explicit formulas using a "symplectic expansion" of the fundamental group of S.

(Joint work with Yusuke Kuno.) Given an oriented surface S and a simple closed curve C in S, the "Dehn twist" along C is the homeomorphism of S defined by "twisting" S around C by a full twist. If the curve C is not simple, this transformation of S does not make sense anymore, but one can consider two possible generalizations: one possibility is to use the homotopy intersection form of S to "simulate" the action of a Dehn twist on the (Malcev completion of) the fundamental group of S; another possibility is to view C as a curve on the top boundary of the cylinder S×[0,1], to push it arbitrarily into the interior so as to obtain, by surgery along the resulting knot, a new 3-manifold. In this talk, we will relate two those possible generalizations of a Dehn twist and we will give explicit formulas using a "symplectic expansion" of the fundamental group of S.