## Tuesday Seminar on Topology

Seminar information archive ～08/01｜Next seminar｜Future seminars 08/02～

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**

### 2021/07/13

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Homotopy motions of surfaces in 3-manifolds (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Makoto Sakuma**(Osaka City University Advanced Mathematical Institute)Homotopy motions of surfaces in 3-manifolds (JAPANESE)

[ Abstract ]

We introduce the concept of a homotopy motion of a subset in a manifold, and give a systematic study of homotopy motions of surfaces in closed orientable 3-manifolds. This notion arises from various natural problems in 3-manifold theory such as domination of manifold pairs, homotopical behaviour of simple loops on a Heegaard surface, and monodromies of virtual branched covering surface bundles associated to a Heegaard splitting. This is a joint work with Yuya Koda (arXiv:2011.05766).

[ Reference URL ]We introduce the concept of a homotopy motion of a subset in a manifold, and give a systematic study of homotopy motions of surfaces in closed orientable 3-manifolds. This notion arises from various natural problems in 3-manifold theory such as domination of manifold pairs, homotopical behaviour of simple loops on a Heegaard surface, and monodromies of virtual branched covering surface bundles associated to a Heegaard splitting. This is a joint work with Yuya Koda (arXiv:2011.05766).

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

### 2021/07/06

17:30-18:30 Online

Pre-registration required. See our seminar webpage.

Codimension 2 transfer map in higher index theory (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Yosuke Kubota**(Shinshu University)Codimension 2 transfer map in higher index theory (JAPANESE)

[ Abstract ]

The Rosenberg index is a topological invariant taking value in the K-group of the C*-algebra of the fundamental group, which is a strong obstruction for a closed spin manifold to admit a positive scalar curvature (psc) metric. In 2015 Hanke-Pape-Schick proves that, for a nice codimension 2 submanifold N of M, the Rosenberg index of N obstructs to a psc metric on M. This is a far reaching generalization of a classical result of Gromov and Lawson. In this talk I introduce a joint work with T. Schick and its continuation concerned with this `codimension 2 index' obstruction. We construct a map between C*-algebra K-groups, which we call the codimension 2 transfer map, relating the Rosenberg index of M to that of N directly. This shows that Hanke-Pape-Schick's obstruction is dominated by a standard one, the Rosenberg index of M. We also extend our codimension 2 transfer map to secondary index invariants called the higher rho invariant. As a consequence, we obtain some example of psc manifolds are not psc null-cobordant.

[ Reference URL ]The Rosenberg index is a topological invariant taking value in the K-group of the C*-algebra of the fundamental group, which is a strong obstruction for a closed spin manifold to admit a positive scalar curvature (psc) metric. In 2015 Hanke-Pape-Schick proves that, for a nice codimension 2 submanifold N of M, the Rosenberg index of N obstructs to a psc metric on M. This is a far reaching generalization of a classical result of Gromov and Lawson. In this talk I introduce a joint work with T. Schick and its continuation concerned with this `codimension 2 index' obstruction. We construct a map between C*-algebra K-groups, which we call the codimension 2 transfer map, relating the Rosenberg index of M to that of N directly. This shows that Hanke-Pape-Schick's obstruction is dominated by a standard one, the Rosenberg index of M. We also extend our codimension 2 transfer map to secondary index invariants called the higher rho invariant. As a consequence, we obtain some example of psc manifolds are not psc null-cobordant.

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

### 2021/06/29

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Stability of non-proper functions (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Kenta Hayano**(Keio University)Stability of non-proper functions (JAPANESE)

[ Abstract ]

In this talk, we will give a sufficient condition for (strong) stability of non-proper functions (with respect to the Whitney topology). As an application, we will give a strongly stable but not infinitesimally stable function. We will further show that any Nash function on the Euclidean space becomes stable after a generic linear perturbation.

[ Reference URL ]In this talk, we will give a sufficient condition for (strong) stability of non-proper functions (with respect to the Whitney topology). As an application, we will give a strongly stable but not infinitesimally stable function. We will further show that any Nash function on the Euclidean space becomes stable after a generic linear perturbation.

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

### 2021/06/22

17:00-18:30 Online

Pre-registration required. See our seminar webpage.

On infinite presentations for the mapping class group of a compact non orientable surface and its twist subgroup (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Ryoma Kobayashi**(National Institute of Technology, Ishikawa College)On infinite presentations for the mapping class group of a compact non orientable surface and its twist subgroup (JAPANESE)

[ Abstract ]

An infinite presentation for the mapping class group of any compact orientable surface was given by Gervais, and then a simpler one by Luo. Using these results, an infinite presentation for the mapping class group of any compact non orientable surfaces with boundary less than or equal to one was given by Omori (Tokyo University of Science), and then one with boundary more than or equal to two by Omori and the speaker. In this talk, we first introduce an infinite presentation for the twisted subgroup of the mapping class group of any compact non orientable surface. I will also present four simple infinite presentations for the mapping group of any compact non orientable surface, which are an improvement of the one given by Omori and the speaker. This work includes a joint work with Omori.

[ Reference URL ]An infinite presentation for the mapping class group of any compact orientable surface was given by Gervais, and then a simpler one by Luo. Using these results, an infinite presentation for the mapping class group of any compact non orientable surfaces with boundary less than or equal to one was given by Omori (Tokyo University of Science), and then one with boundary more than or equal to two by Omori and the speaker. In this talk, we first introduce an infinite presentation for the twisted subgroup of the mapping class group of any compact non orientable surface. I will also present four simple infinite presentations for the mapping group of any compact non orientable surface, which are an improvement of the one given by Omori and the speaker. This work includes a joint work with Omori.

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

### 2021/06/15

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Direct decompositions of groups of piecewise linear homeomorphisms of the unit interval (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Takamichi Sato**(Waseda University)Direct decompositions of groups of piecewise linear homeomorphisms of the unit interval (JAPANESE)

[ Abstract ]

In this talk, we consider subgroups of the group PLo(I) of piecewise linear orientation-preserving homeomorphisms of the unit interval I = [0, 1] that are differentiable everywhere except at finitely many real numbers, under the operation of composition. We provide a criterion for any two subgroups of PLo(I) which are direct products of finitely many indecomposable non-commutative groups to be non-isomorphic. As its application we give a necessary and sufficient condition for any two subgroups of the R. Thompson group F that are stabilizers of finite sets of numbers in the interval (0, 1) to be isomorphic.

[ Reference URL ]In this talk, we consider subgroups of the group PLo(I) of piecewise linear orientation-preserving homeomorphisms of the unit interval I = [0, 1] that are differentiable everywhere except at finitely many real numbers, under the operation of composition. We provide a criterion for any two subgroups of PLo(I) which are direct products of finitely many indecomposable non-commutative groups to be non-isomorphic. As its application we give a necessary and sufficient condition for any two subgroups of the R. Thompson group F that are stabilizers of finite sets of numbers in the interval (0, 1) to be isomorphic.

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

### 2021/06/08

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Graphs whose Kronecker coverings are bipartite Kneser graphs (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Takahiro Matsusita**(University of the Ryukyus)Graphs whose Kronecker coverings are bipartite Kneser graphs (JAPANESE)

[ Abstract ]

Kronecker coverings are bipartite double coverings of graphs which are canonically determined. If a graph G is non-bipartite and connected, then there is a unique bipartite double covering of G, and the Kronecker covering of G coincides with it.

In general, there are non-isomorphic graphs although they have the same Kronecker coverings. Therefore, for a given bipartite graph X, it is a natural problem to classify the graphs whose Kronecker coverings are isomorphic to X. Such a classification problem was actually suggested by Imrich and Pisanski, and has been settled in some cases.

In this lecture, we classify the graphs whose Kronecker coverings are bipartite Kneser graphs H(n, k). The Kneser graph K(n, k) is the graph whose vertex set is the family of k-subsets of the n-point set {1, …, n}, and two vertices are adjacent if and only if they are disjoint. The bipartite Kneser graph H(n, k) is the Kronecker covering of K(n, k). We show that there are exactly k graphs whose Kronecker coverings are H(n, k) when n is greater than 2k. Moreover, we determine their automorphism groups and chromatic numbers.

[ Reference URL ]Kronecker coverings are bipartite double coverings of graphs which are canonically determined. If a graph G is non-bipartite and connected, then there is a unique bipartite double covering of G, and the Kronecker covering of G coincides with it.

In general, there are non-isomorphic graphs although they have the same Kronecker coverings. Therefore, for a given bipartite graph X, it is a natural problem to classify the graphs whose Kronecker coverings are isomorphic to X. Such a classification problem was actually suggested by Imrich and Pisanski, and has been settled in some cases.

In this lecture, we classify the graphs whose Kronecker coverings are bipartite Kneser graphs H(n, k). The Kneser graph K(n, k) is the graph whose vertex set is the family of k-subsets of the n-point set {1, …, n}, and two vertices are adjacent if and only if they are disjoint. The bipartite Kneser graph H(n, k) is the Kronecker covering of K(n, k). We show that there are exactly k graphs whose Kronecker coverings are H(n, k) when n is greater than 2k. Moreover, we determine their automorphism groups and chromatic numbers.

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

### 2021/06/01

17:30-18:30 Online

Joint with Lie Groups and Representation Theory Seminar. See our seminar webpage.

On the discrete decomposability and invariants of representations of real reductive Lie groups (JAPANESE)

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

Joint with Lie Groups and Representation Theory Seminar. See our seminar webpage.

**Masatoshi Kitagawa**(Waseda University)On the discrete decomposability and invariants of representations of real reductive Lie groups (JAPANESE)

[ Abstract ]

A problem to determine the behavior of the restriction of an irreducible group representation to a subgroup is called the branching problem. The restriction of an irreducible representation is not irreducible in general, and if the representation is unitary, the restriction has an irreducible decomposition described by a direct integral. The decomposition can be regarded as a generalization of spectral decomposition of unitary operators, and has continuous spectrum and discrete spectrum in general. If the decomposition has no continuous spectrum, the representation is said to be discretely decomposable.

Discretely decomposable branching laws are technically easy to deal with, and in the setting, it is relatively easy to extract information about representations of a small subgroup from that of a large group. The following applications are known. It is known that the operators, called the Rankin--Cohen brackets which make a new automorphic form from a automorphic form,

can be obtained as intertwiner from discretely decomposable representations to irreducible representations. Many generalizations of the operators are obtained recently. The discrete decomposability is used to construct discrete spectrum of the space of L^2 functions on homogeneous spaces (T. Kobayashi, J. Funct. Anal. ('98)).

In this talk, I will give several criterion about the discrete decomposability and G'-admissibility based on the general theory and criterion given by T. Kobayashi (Invent. math. '94, Annals of Math. '98, Invent. math. '98). The criterion are written by associated varieties (algebraic invariants), wave front sets (analytic invariants) and topological structure of representations.

[ Reference URL ]A problem to determine the behavior of the restriction of an irreducible group representation to a subgroup is called the branching problem. The restriction of an irreducible representation is not irreducible in general, and if the representation is unitary, the restriction has an irreducible decomposition described by a direct integral. The decomposition can be regarded as a generalization of spectral decomposition of unitary operators, and has continuous spectrum and discrete spectrum in general. If the decomposition has no continuous spectrum, the representation is said to be discretely decomposable.

Discretely decomposable branching laws are technically easy to deal with, and in the setting, it is relatively easy to extract information about representations of a small subgroup from that of a large group. The following applications are known. It is known that the operators, called the Rankin--Cohen brackets which make a new automorphic form from a automorphic form,

can be obtained as intertwiner from discretely decomposable representations to irreducible representations. Many generalizations of the operators are obtained recently. The discrete decomposability is used to construct discrete spectrum of the space of L^2 functions on homogeneous spaces (T. Kobayashi, J. Funct. Anal. ('98)).

In this talk, I will give several criterion about the discrete decomposability and G'-admissibility based on the general theory and criterion given by T. Kobayashi (Invent. math. '94, Annals of Math. '98, Invent. math. '98). The criterion are written by associated varieties (algebraic invariants), wave front sets (analytic invariants) and topological structure of representations.

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

### 2021/05/25

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

On a characteristic class associated with deformations of foliations (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Taro Asuke**(The University of Tokyo)On a characteristic class associated with deformations of foliations (JAPANESE)

[ Abstract ]

A characteristic class for deformations of foliations called the Fuks-Lodder-Kotschick class (FLK class for short) is discussed. It seems unknown if there is a real foliation with non-trivial FLK class. In this talk, we show some conditions to assure the triviality of the FLK class. On the other hand, we show that the FLK class is easily to be non-trivial for transversely holomorphic foliations. We present an example and give a construction which generalizes it.

[ Reference URL ]A characteristic class for deformations of foliations called the Fuks-Lodder-Kotschick class (FLK class for short) is discussed. It seems unknown if there is a real foliation with non-trivial FLK class. In this talk, we show some conditions to assure the triviality of the FLK class. On the other hand, we show that the FLK class is easily to be non-trivial for transversely holomorphic foliations. We present an example and give a construction which generalizes it.

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

### 2021/05/18

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

On derivations of free algebras over an operad and the generalized divergence (ENGLISH)

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

Pre-registration required. See our seminar webpage.

**Geoffrey Powell**(CNRS and University of Angers)On derivations of free algebras over an operad and the generalized divergence (ENGLISH)

[ Abstract ]

This talk will first introduce the generalized divergence map from the Lie algebra of derivations of a free algebra over an operad to the trace space of the appropriate associative algebra. This encompasses the Satoh trace (for Lie algebras) and the double divergence of Alekseev, Kawazumi, Kuno and Naef (for associative algebras). The generalized divergence is a Lie 1-cocyle.

One restricts to considering the positive degree subalgebra with respect to the natural grading on the Lie algebra of derivations. The relationship of the positive subalgebra with its subalgebra generated in degree one is of particular interest. For example, this question arises in considering the Johnson morphism in the Lie case.

The talk will outline the structural results obtained by using the generalized divergence. These were inspired by Satoh's study of the kernel of the trace map in the Lie case. A new ingredient is the usage of naturality with respect to the category of free, finite-rank abelian groups and split monomorphisms. This allows global results to be formulated using 'torsion' for functors on this category and extends the usage of naturality with respect to the general linear groups.

[ Reference URL ]This talk will first introduce the generalized divergence map from the Lie algebra of derivations of a free algebra over an operad to the trace space of the appropriate associative algebra. This encompasses the Satoh trace (for Lie algebras) and the double divergence of Alekseev, Kawazumi, Kuno and Naef (for associative algebras). The generalized divergence is a Lie 1-cocyle.

One restricts to considering the positive degree subalgebra with respect to the natural grading on the Lie algebra of derivations. The relationship of the positive subalgebra with its subalgebra generated in degree one is of particular interest. For example, this question arises in considering the Johnson morphism in the Lie case.

The talk will outline the structural results obtained by using the generalized divergence. These were inspired by Satoh's study of the kernel of the trace map in the Lie case. A new ingredient is the usage of naturality with respect to the category of free, finite-rank abelian groups and split monomorphisms. This allows global results to be formulated using 'torsion' for functors on this category and extends the usage of naturality with respect to the general linear groups.

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

### 2021/05/11

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

The classification problem of non-topological invertible QFT's and a differential model for the Anderson duals (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Mayuko Yamashita**(RIMS, Kyoto University)The classification problem of non-topological invertible QFT's and a differential model for the Anderson duals (JAPANESE)

[ Abstract ]

Freed and Hopkins conjectured that the deformation classes of non-topological invertible quantum field theories are classified by a generalized cohomology theory called the Anderson dual of bordism theories. Two of the main difficulty of this problem are the following. First, we do not have the axioms for QFT's. Second, The Anderson dual is defined in an abstract way. In this talk, I will explain the ongoing work to give a new approach to this conjecture, in particular to overcome the second difficulty above. We construct a new, physically motivated model for the Anderson duals. This model is constructed so that it abstracts a certain property of invertible QFT's which physicists believe to hold in general. Actually this construction turns out to be mathematically interesting because of its relation with differential cohomology theories. I will start from basic motivations for the classification problem, reportthe progress of our work and explain future directions. This is the joint work with Yosuke Morita (Kyoto, math) and Kazuya Yonekura (Tohokku, physics).

[ Reference URL ]Freed and Hopkins conjectured that the deformation classes of non-topological invertible quantum field theories are classified by a generalized cohomology theory called the Anderson dual of bordism theories. Two of the main difficulty of this problem are the following. First, we do not have the axioms for QFT's. Second, The Anderson dual is defined in an abstract way. In this talk, I will explain the ongoing work to give a new approach to this conjecture, in particular to overcome the second difficulty above. We construct a new, physically motivated model for the Anderson duals. This model is constructed so that it abstracts a certain property of invertible QFT's which physicists believe to hold in general. Actually this construction turns out to be mathematically interesting because of its relation with differential cohomology theories. I will start from basic motivations for the classification problem, reportthe progress of our work and explain future directions. This is the joint work with Yosuke Morita (Kyoto, math) and Kazuya Yonekura (Tohokku, physics).

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

### 2021/04/27

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

On a singular de Rham complex in diffeology (JAPANESE)

https://u-tokyo-ac-jp.zoom.us/meeting/register/tJUpcOCppzwpGd3r_XqdszQ1XN6FvXpNURbj

Pre-registration required. See our seminar webpage.

**Katsuhiko Kuribayashi**(Shinshu University)On a singular de Rham complex in diffeology (JAPANESE)

[ Abstract ]

Diffeology gives a complete, co-complete, cartesian closed category into which the category of manifolds embeds. In the framework of diffeology, the de Rham complex in the sense of Souriau enables us to develop de Rham calculus. Moreover,Iglesias-Zemmour has been introduced homotopical concepts such as homotopy groups, cubic homology groups and fibrations in diffeology. Thus one might expect `differential homotopy theory'. However, the de Rham theorem does not hold for Souriau's cochain

complex in general. In this talk, I will introduce a singular de Rham complex endowed with an integration map into the singular cochain complex which gives the de Rham theorem for every diffeological space.

[ Reference URL ]Diffeology gives a complete, co-complete, cartesian closed category into which the category of manifolds embeds. In the framework of diffeology, the de Rham complex in the sense of Souriau enables us to develop de Rham calculus. Moreover,Iglesias-Zemmour has been introduced homotopical concepts such as homotopy groups, cubic homology groups and fibrations in diffeology. Thus one might expect `differential homotopy theory'. However, the de Rham theorem does not hold for Souriau's cochain

complex in general. In this talk, I will introduce a singular de Rham complex endowed with an integration map into the singular cochain complex which gives the de Rham theorem for every diffeological space.

https://u-tokyo-ac-jp.zoom.us/meeting/register/tJUpcOCppzwpGd3r_XqdszQ1XN6FvXpNURbj

### 2021/04/20

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Realisation of measured laminations on boundaries of convex cores (JAPANESE)

https://u-tokyo-ac-jp.zoom.us/meeting/register/tJUpcOCppzwpGd3r_XqdszQ1XN6FvXpNURbj

Pre-registration required. See our seminar webpage.

**Ken’ichi Ohshika**(Gakushuin University)Realisation of measured laminations on boundaries of convex cores (JAPANESE)

[ Abstract ]

I shall present a generalisation of the theorem by Bonahon-Otal concerning realisation of measured laminations as bending laminations of geometrically finite groups, to general Kleinian surface groups which might be geometrically infinite. Our proof is based on analysis of geometric limits, and is independent of the technique of hyperbolic cone-manifolds employed by Bonahon-Otal. This is joint work with Shinpei Baba (Osaka Univ.).

[ Reference URL ]I shall present a generalisation of the theorem by Bonahon-Otal concerning realisation of measured laminations as bending laminations of geometrically finite groups, to general Kleinian surface groups which might be geometrically infinite. Our proof is based on analysis of geometric limits, and is independent of the technique of hyperbolic cone-manifolds employed by Bonahon-Otal. This is joint work with Shinpei Baba (Osaka Univ.).

https://u-tokyo-ac-jp.zoom.us/meeting/register/tJUpcOCppzwpGd3r_XqdszQ1XN6FvXpNURbj

### 2021/04/13

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Quantitative Birman-Menasco theorem and applications to crossing number (JAPANESE)

https://u-tokyo-ac-jp.zoom.us/meeting/register/tJUpcOCppzwpGd3r_XqdszQ1XN6FvXpNURbj

Pre-registration required. See our seminar webpage.

**Tetsuya Ito**(Kyoto University)Quantitative Birman-Menasco theorem and applications to crossing number (JAPANESE)

[ Abstract ]

Birman-Menasco proved that there are finitely many knots having a given genus and braid index. We give a quantitative version of Birman-Menasco finiteness theorem; an estimate of the crossing number of knots in terms of genus and braid index. As applications, we give various supporting evidences of various conjectural properties of the crossing number of knots.

[ Reference URL ]Birman-Menasco proved that there are finitely many knots having a given genus and braid index. We give a quantitative version of Birman-Menasco finiteness theorem; an estimate of the crossing number of knots in terms of genus and braid index. As applications, we give various supporting evidences of various conjectural properties of the crossing number of knots.

https://u-tokyo-ac-jp.zoom.us/meeting/register/tJUpcOCppzwpGd3r_XqdszQ1XN6FvXpNURbj

### 2021/01/12

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Bounded cohomology of volume-preserving diffeomorphism groups (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Mitsuaki Kimura**(The University of Tokyo)Bounded cohomology of volume-preserving diffeomorphism groups (JAPANESE)

[ Abstract ]

Let M be a complete Riemannian manifold of finite volume. Brandenbursky and Marcinkowski proved that the third bounded cohomology of the volume-preserving diffeomorphism group of M is infinite dimensional when the fundamental group of M is "complicated enough". For example, if M is two-dimensional, the above condition is satisfied if the Euler characteristic is negative. Recently, we have extended this result in the following two directions.

(1) When M is two-dimensional and the Euler characteristic is greater than or equal to zero.

(2) When the volume of M is infinite.

In this talk, we will mainly discuss (1). The key idea is to use the fundamental group of the configuration space of M (i.e., the braid group), rather than the fundamental group of M. If time permits, we will also explain (2). For this extension, we introduce the notion of "norm controlled cohomology".

[ Reference URL ]Let M be a complete Riemannian manifold of finite volume. Brandenbursky and Marcinkowski proved that the third bounded cohomology of the volume-preserving diffeomorphism group of M is infinite dimensional when the fundamental group of M is "complicated enough". For example, if M is two-dimensional, the above condition is satisfied if the Euler characteristic is negative. Recently, we have extended this result in the following two directions.

(1) When M is two-dimensional and the Euler characteristic is greater than or equal to zero.

(2) When the volume of M is infinite.

In this talk, we will mainly discuss (1). The key idea is to use the fundamental group of the configuration space of M (i.e., the braid group), rather than the fundamental group of M. If time permits, we will also explain (2). For this extension, we introduce the notion of "norm controlled cohomology".

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

### 2020/12/15

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Braids, triangles and Lissajous curve (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Eiko Kin**(Osaka University)Braids, triangles and Lissajous curve (JAPANESE)

[ Abstract ]

The purpose of this talk is to introduce Lissajous 3-braids. Suppose we have a closed curve on the plane, and we consider the periodic motion of n points along the closed curve. If the motion is collision-free, then we get a braid obtained from the trajectory of the set of n points in question. In this talk, we consider 3-braids coming from the periodic motion of 3 points on Lissajous curves. We classify Lissajous 3-braids and present a parametrization in terms of natural numbers together with slopes. We also discuss some properties of pseudo-Anosov stretch factors for Lissajous 3-braids. The main tool is the shape sphere --- the configuration space of the oriented similarity classes of triangles. This is a joint work with Hiroaki Nakamura and Hiroyuki Ogawa.

[ Reference URL ]The purpose of this talk is to introduce Lissajous 3-braids. Suppose we have a closed curve on the plane, and we consider the periodic motion of n points along the closed curve. If the motion is collision-free, then we get a braid obtained from the trajectory of the set of n points in question. In this talk, we consider 3-braids coming from the periodic motion of 3 points on Lissajous curves. We classify Lissajous 3-braids and present a parametrization in terms of natural numbers together with slopes. We also discuss some properties of pseudo-Anosov stretch factors for Lissajous 3-braids. The main tool is the shape sphere --- the configuration space of the oriented similarity classes of triangles. This is a joint work with Hiroaki Nakamura and Hiroyuki Ogawa.

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

### 2020/12/08

17:30-18:30 Online

Pre-registration required. See our seminar webpage.

The intersection polynomials of a virtual knot (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Shin Satoh**(Kobe University)The intersection polynomials of a virtual knot (JAPANESE)

[ Abstract ]

We define two kinds of invariants of a virtual knot called the first and second intersection polynomials. The definition is based on the intersection number of a pair of curves on a closed surface. We study several properties of the polynomials. By introducing invariants of long virtual knots, we give connected sum formulae of the intersection polynomials, and prove that there are infinitely many connected sums of any two virtual knots as an application. Furthermore, by studying the behavior under a crossing change, we show that the intersection polynomials are finite type invariants of order two, and find an invariant of a flat virtual knot derived from the the intersection polynomials. This is a joint work with R. Higa, T. Nakamura, and Y. Nakanishi.

[ Reference URL ]We define two kinds of invariants of a virtual knot called the first and second intersection polynomials. The definition is based on the intersection number of a pair of curves on a closed surface. We study several properties of the polynomials. By introducing invariants of long virtual knots, we give connected sum formulae of the intersection polynomials, and prove that there are infinitely many connected sums of any two virtual knots as an application. Furthermore, by studying the behavior under a crossing change, we show that the intersection polynomials are finite type invariants of order two, and find an invariant of a flat virtual knot derived from the the intersection polynomials. This is a joint work with R. Higa, T. Nakamura, and Y. Nakanishi.

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

### 2020/12/01

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Goeritz groups of bridge decompositions (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Yuya Koda**(Hiroshima University)Goeritz groups of bridge decompositions (JAPANESE)

[ Abstract ]

For a bridge decomposition of a link in the 3-sphere, we define the Goeritz group to be the group of isotopy classes of orientation-preserving homeomorphisms of the 3-sphere that preserve each of the bridge sphere and link setwise. The Birman-Hilden theory tells us that this is a $\mathbb{Z} / 2 \mathbb{Z}$-quotient of a "hyperelliptic Goeritz group". In this talk, we discuss properties, mainly of dynamical nature, of this group using a measure of complexity called the distance of the decomposition. We then give an application to the asymptotic behavior of the minimal entropies for the original Goeritz groups of Heegaard splittings. This talk is based on a joint work with Susumu Hirose, Daiki Iguchi and Eiko Kin.

[ Reference URL ]For a bridge decomposition of a link in the 3-sphere, we define the Goeritz group to be the group of isotopy classes of orientation-preserving homeomorphisms of the 3-sphere that preserve each of the bridge sphere and link setwise. The Birman-Hilden theory tells us that this is a $\mathbb{Z} / 2 \mathbb{Z}$-quotient of a "hyperelliptic Goeritz group". In this talk, we discuss properties, mainly of dynamical nature, of this group using a measure of complexity called the distance of the decomposition. We then give an application to the asymptotic behavior of the minimal entropies for the original Goeritz groups of Heegaard splittings. This talk is based on a joint work with Susumu Hirose, Daiki Iguchi and Eiko Kin.

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

### 2020/11/24

17:30-18:30 Online

Pre-registration required. See our seminar webpage.

Intersection of Poincare holonomy varieties and Bers' simultaneous uniformization theorem (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Shinpei Baba**(Osaka University)Intersection of Poincare holonomy varieties and Bers' simultaneous uniformization theorem (JAPANESE)

[ Abstract ]

Given a marked compact Riemann surface X, the vector space of holomorphic quadratic differentials on X is identified with the space of CP

In this manner, different Riemann surfaces structures yield different half-dimensional smooth analytic subvarieties in the character variety. In this talk, we discuss some properties of their intersection. To do so, we utilize a cut-and-paste operation, called grafting, of CP

[ Reference URL ]Given a marked compact Riemann surface X, the vector space of holomorphic quadratic differentials on X is identified with the space of CP

^{1}-structures on X. Then, by the holonomy representations of CP^{1}-structures, this vector space properly embeds into the PSL(2, C)-character variety, the space of representations of the fundamental group of X into PSL(2,C).In this manner, different Riemann surfaces structures yield different half-dimensional smooth analytic subvarieties in the character variety. In this talk, we discuss some properties of their intersection. To do so, we utilize a cut-and-paste operation, called grafting, of CP

^{1}-structures.https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html

### 2020/11/17

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Lefschetz fibration on the Milnor fibers of simple elliptic and cusp singularities (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Yoshihiko Mitsumatsu**(Chuo University)Lefschetz fibration on the Milnor fibers of simple elliptic and cusp singularities (JAPANESE)

[ Abstract ]

In this talk a joint work with Naohiko Kasuya(Kyoto Sangyo U.), Hiroki Kodama(Tohoku U.), and Atsuhide Mori(Osaka Dental U.) is reported. The main result is the following.

There exist a Lefschetz fibration of the Milnor fiber of T_{pqr}-singularity (1/p + 1/q + 1/r ≦ 1) to the unit disk with regular fiber diffeomorphic to T^2.

An outline of the construction will be explained, through which, the space of 2-jets of (R^4, 0) to (R^2, 0) is analysed. This is motivated by F. Presas' suggestion that the speaker's construction of regular Poisson structures(=leafwise symplectic foliations) on S^5 might be interpreted by ``leafwise Lefschetz fibration''. These Lefschetz fibrations give a way to look at K3 surfaces through an extended class of Arnol'd's strange duality. These applications are introduced as well.

[ Reference URL ]In this talk a joint work with Naohiko Kasuya(Kyoto Sangyo U.), Hiroki Kodama(Tohoku U.), and Atsuhide Mori(Osaka Dental U.) is reported. The main result is the following.

There exist a Lefschetz fibration of the Milnor fiber of T_{pqr}-singularity (1/p + 1/q + 1/r ≦ 1) to the unit disk with regular fiber diffeomorphic to T^2.

An outline of the construction will be explained, through which, the space of 2-jets of (R^4, 0) to (R^2, 0) is analysed. This is motivated by F. Presas' suggestion that the speaker's construction of regular Poisson structures(=leafwise symplectic foliations) on S^5 might be interpreted by ``leafwise Lefschetz fibration''. These Lefschetz fibrations give a way to look at K3 surfaces through an extended class of Arnol'd's strange duality. These applications are introduced as well.

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

### 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