## Tuesday Seminar on Topology

Seminar information archive ～12/08｜Next seminar｜Future seminars 12/09～

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

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

**Seminar information archive**

### 2021/10/26

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

On the strongly pseudoconcave boundary of a compact complex surface (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Naohiko Kasuya**(Hokkaido University)On the strongly pseudoconcave boundary of a compact complex surface (JAPANESE)

[ Abstract ]

On the strongly pseudoconvex (resp. pseudoconcave) boundary of a complex surface, the complex

tangency defines a positive (resp. negative) contact structure. Bogomolov and De Oliveira proved

that the boundary contact structure of a strongly pseudoconvex surface is Stein fillable.

Therefore, for a closed contact 3-manifold, Stein fillability and holomorphic fillability are

equivalent. Then what about the boundary of a strongly pseudoconcave surface? We prove that any

closed negative contact 3-manifold can be realized as the boundary of a strongly pseudoconcave

surface. The proof is done by establishing holomorphic handle attaching method to the strongly

pseudoconcave boundary of a complex surface, based on Eliashberg's handlebody construction of Stein

manifolds. This is a joint work with Daniele Zuddas (University of Trieste).

[ Reference URL ]On the strongly pseudoconvex (resp. pseudoconcave) boundary of a complex surface, the complex

tangency defines a positive (resp. negative) contact structure. Bogomolov and De Oliveira proved

that the boundary contact structure of a strongly pseudoconvex surface is Stein fillable.

Therefore, for a closed contact 3-manifold, Stein fillability and holomorphic fillability are

equivalent. Then what about the boundary of a strongly pseudoconcave surface? We prove that any

closed negative contact 3-manifold can be realized as the boundary of a strongly pseudoconcave

surface. The proof is done by establishing holomorphic handle attaching method to the strongly

pseudoconcave boundary of a complex surface, based on Eliashberg's handlebody construction of Stein

manifolds. This is a joint work with Daniele Zuddas (University of Trieste).

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

### 2021/10/19

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Period matrices of some hyperelliptic Riemann surfaces (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Yoshihiko Shinomiya**(Shizuoka University)Period matrices of some hyperelliptic Riemann surfaces (JAPANESE)

[ Abstract ]

In this talk, we give new examples of period matrices of hyperelliptic Riemann surfaces. For generic genus, there were few examples of period matrices. The period matrix of a Riemann surface depends only on the choice of symplectic basis of the first homology group. It is difficult to find a symplectic basis in general. We construct hyperelliptic Riemann surfaces of generic genus from some rectangles and find their symplectic bases. Moreover, we give their algebraic equations. The algebraic equations are of the form $w^2=z(z^2-1)(z^2-a_1^2)(z^2-a_2^2) \cdots (z^2-a_{g-1}^2)$ ($1 < a_1< a_2< \cdots < a_{g-1}$). From them, we can calculate period matrices of our Riemann surfaces. We also show that all algebraic curves of this types of equations are obtained by our construction.

[ Reference URL ]In this talk, we give new examples of period matrices of hyperelliptic Riemann surfaces. For generic genus, there were few examples of period matrices. The period matrix of a Riemann surface depends only on the choice of symplectic basis of the first homology group. It is difficult to find a symplectic basis in general. We construct hyperelliptic Riemann surfaces of generic genus from some rectangles and find their symplectic bases. Moreover, we give their algebraic equations. The algebraic equations are of the form $w^2=z(z^2-1)(z^2-a_1^2)(z^2-a_2^2) \cdots (z^2-a_{g-1}^2)$ ($1 < a_1< a_2< \cdots < a_{g-1}$). From them, we can calculate period matrices of our Riemann surfaces. We also show that all algebraic curves of this types of equations are obtained by our construction.

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

### 2021/10/12

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Seiberg-Witten Floer homotopy and contact structures (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Nobuo Iida**(The Univesity of Tokyo)Seiberg-Witten Floer homotopy and contact structures (JAPANESE)

[ Abstract ]

Seiberg-Witten theory has been an efficient tool to study 4-dimensional symplectic and 3-dimensional contact geometry. In this talk, we introduce new homotopical invariants related to these structures using Seiberg-Witten theory and explain their properties and applications. These invariants have two main origins:

1. Kronheimer-Mrowka's invariant for 4-manifold with contact boundary, whose construction is based on Seiberg-Witten equation on 4-manifolds with conical end.

2. Bauer-Furuta and Manolescu's homotopical method called finite dimensional approximation in Seiberg-Witten theory.

This talk includes joint works with Masaki Taniguchi(RIKEN) and Anubhav Mukherjee(Georgia tech).

[ Reference URL ]Seiberg-Witten theory has been an efficient tool to study 4-dimensional symplectic and 3-dimensional contact geometry. In this talk, we introduce new homotopical invariants related to these structures using Seiberg-Witten theory and explain their properties and applications. These invariants have two main origins:

1. Kronheimer-Mrowka's invariant for 4-manifold with contact boundary, whose construction is based on Seiberg-Witten equation on 4-manifolds with conical end.

2. Bauer-Furuta and Manolescu's homotopical method called finite dimensional approximation in Seiberg-Witten theory.

This talk includes joint works with Masaki Taniguchi(RIKEN) and Anubhav Mukherjee(Georgia tech).

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

### 2021/10/05

17:00-18:00 Online

Pre-registration required. See our seminar webpage.

Twisted Alexander polynomials, chirality, and local deformations of hyperbolic 3-cone-manifolds (JAPANESE)

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

Pre-registration required. See our seminar webpage.

**Hiroshi Goda**(Tokyo University of Agriculture and Technology)Twisted Alexander polynomials, chirality, and local deformations of hyperbolic 3-cone-manifolds (JAPANESE)

[ Abstract ]

We discuss a relationship between the chirality of knots and higher dimensional twisted Alexander polynomials associated with holonomy representations of hyperbolic $3$-cone-manifolds. In particular, we provide a new necessary condition for a knot, that appears in a hyperbolic $3$-cone-manifold of finite volume as a singular set, to be amphicheiral. Moreover, we can detect the chirality of hyperbolic twist knots, according to our criterion, using low-dimensional irreducible representations. (This is a joint work with Takayuki Morifuji.)

[ Reference URL ]We discuss a relationship between the chirality of knots and higher dimensional twisted Alexander polynomials associated with holonomy representations of hyperbolic $3$-cone-manifolds. In particular, we provide a new necessary condition for a knot, that appears in a hyperbolic $3$-cone-manifold of finite volume as a singular set, to be amphicheiral. Moreover, we can detect the chirality of hyperbolic twist knots, according to our criterion, using low-dimensional irreducible representations. (This is a joint work with Takayuki Morifuji.)

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

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