Text only print
Full screen print
Tuesday Seminar on Topology
Seminar information archive ～05/02｜Next seminar｜Future seminars 05/03～
| Date, time & place | Tuesday 17:00 - 18:30 056Room #056 (Graduate School of Math. Sci. Bldg.) |
|---|---|
| Organizer(s) | HABIRO Kazuo, KAWAZUMI Nariya, KITAYAMA Takahiro, SAKASAI Takuya |
Seminar information archive
2023/05/30
17:00-18:30 Room #ハイブリッド開催/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Yuya Kodama (Tokyo Metropolitan University)
p-colorable subgroup of Thompson's group F (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Yuya Kodama (Tokyo Metropolitan University)
p-colorable subgroup of Thompson's group F (JAPANESE)
[ Abstract ]
Thompson's group F is a subgroup of Homeo([0, 1]). In 2017, Jones found a way to construct knots and links from elements in F. Moreover, any knot (or link) can be obtained in this way. So the next question is, which elements in F give the same knot (or link)? In this talk, I define a subgroup of F and show that every element (except the identity) gives a p-colorable knot (or link). When p=3, this gives a negative answer to a question by Aiello. This is a joint work with Akihiro Takano.
[ Reference URL ]Thompson's group F is a subgroup of Homeo([0, 1]). In 2017, Jones found a way to construct knots and links from elements in F. Moreover, any knot (or link) can be obtained in this way. So the next question is, which elements in F give the same knot (or link)? In this talk, I define a subgroup of F and show that every element (except the identity) gives a p-colorable knot (or link). When p=3, this gives a negative answer to a question by Aiello. This is a joint work with Akihiro Takano.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2023/05/16
17:00-18:30 Room #ハイブリッド開催/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Mayuko Yamashita (Kyoto University)
Anderson self-duality of topological modular forms and heretoric string theory (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Mayuko Yamashita (Kyoto University)
Anderson self-duality of topological modular forms and heretoric string theory (JAPANESE)
[ Abstract ]
Topological Modular Forms (TMF) is an E-infinity ring spectrum which is conjectured by Stolz-Teichner to classify two-dimensional supersymmetric quantum field theories in physics. In the previous work with Y. Tachikawa, we proved the vanishing of anomalies in heterotic string theory mathematically by using TMF. In this talk, I explain our recent update on the previous work. Because of the vanishing result, we can consider a secondary transformation of spectra, which is shown to coincide with the Anderson self-duality morphism of TMF. This allows us to detect subtle torsion phenomena in TMF by differential-geometric ways.
[ Reference URL ]Topological Modular Forms (TMF) is an E-infinity ring spectrum which is conjectured by Stolz-Teichner to classify two-dimensional supersymmetric quantum field theories in physics. In the previous work with Y. Tachikawa, we proved the vanishing of anomalies in heterotic string theory mathematically by using TMF. In this talk, I explain our recent update on the previous work. Because of the vanishing result, we can consider a secondary transformation of spectra, which is shown to coincide with the Anderson self-duality morphism of TMF. This allows us to detect subtle torsion phenomena in TMF by differential-geometric ways.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2023/05/09
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Michihisa Wakui (Kansai University)
Knots and frieze patterns (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Michihisa Wakui (Kansai University)
Knots and frieze patterns (JAPANESE)
[ Abstract ]
(joint work with Prof. Takeyoshi Kogiso (Josai University)) In the early 1970s, Conway and Coxeter introduced frieze patterns of positive integers arranged under the unimodular rule ad-bc=1, and showed that they are classified by triangulations of convex polygons. Currently, the frieze patterns by Conway and Coxeter are spotlighted in connection with cluster algebras which are introduced by Fomin and Zelevinsky in the early 2000s.
Working with Takeyoshi Kogiso in Josai University the speaker study on relationship between rational links and Conway-Coxeter friezes through ancestor triangles of rational numbers introduced by Shuji Yamada in Kyoto Sangyo University, and show that rational links are characterized by Conway-Coxeter friezes of zigzag type. At nearly the same time Morier-Genoud and Ovsienko also introduce the concept of q-deformation of rational numbers based on continued fraction expansions, and derive closely related results to our research. In this seminar we will talk about an outline of these results.
[ Reference URL ](joint work with Prof. Takeyoshi Kogiso (Josai University)) In the early 1970s, Conway and Coxeter introduced frieze patterns of positive integers arranged under the unimodular rule ad-bc=1, and showed that they are classified by triangulations of convex polygons. Currently, the frieze patterns by Conway and Coxeter are spotlighted in connection with cluster algebras which are introduced by Fomin and Zelevinsky in the early 2000s.
Working with Takeyoshi Kogiso in Josai University the speaker study on relationship between rational links and Conway-Coxeter friezes through ancestor triangles of rational numbers introduced by Shuji Yamada in Kyoto Sangyo University, and show that rational links are characterized by Conway-Coxeter friezes of zigzag type. At nearly the same time Morier-Genoud and Ovsienko also introduce the concept of q-deformation of rational numbers based on continued fraction expansions, and derive closely related results to our research. In this seminar we will talk about an outline of these results.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2023/04/25
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Hiraku Nozawa (Ritsumeikan University)
Harmonic measures and rigidity of surface group actions on the circle (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Hiraku Nozawa (Ritsumeikan University)
Harmonic measures and rigidity of surface group actions on the circle (JAPANESE)
[ Abstract ]
We study rigidity properties of surface group actions on the circle via harmonic measures on the suspension bundles, which are measures invariant under the heat diffusion along leaves. We will explain a curvature estimate and a Gauss-Bonnet formula for an S^1-connection obtained by taking the average of the flat connection on the suspension bundle with respect to a harmonic measure. As consequences, we give a precise description of the harmonic measure on suspension foliations with maximal Euler number and an alternative proof of semiconjugacy rigidity theorems of Matsumoto and Burger-Iozzi-Wienhard for actions with maximal Euler number. This is joint work with Masanori Adachi and Yoshifumi Matsuda.
[ Reference URL ]We study rigidity properties of surface group actions on the circle via harmonic measures on the suspension bundles, which are measures invariant under the heat diffusion along leaves. We will explain a curvature estimate and a Gauss-Bonnet formula for an S^1-connection obtained by taking the average of the flat connection on the suspension bundle with respect to a harmonic measure. As consequences, we give a precise description of the harmonic measure on suspension foliations with maximal Euler number and an alternative proof of semiconjugacy rigidity theorems of Matsumoto and Burger-Iozzi-Wienhard for actions with maximal Euler number. This is joint work with Masanori Adachi and Yoshifumi Matsuda.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2023/04/18
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Shuhei Maruyama (Chuo University)
A crossed homomorphism on a big mapping class group (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Shuhei Maruyama (Chuo University)
A crossed homomorphism on a big mapping class group (JAPANESE)
[ Abstract ]
Big mapping class groups are mapping class groups of surfaces of infinite type. Calegari and Chen determined the second (co)homology group of the mapping class group of the sphere minus a Cantor set. They also raised related questions: one of the questions asks an explicit form of certain crossed homomorphisms on the big mapping class group. In this talk, we provide a construction of crossed homomorphisms via group actions on the circle, which answers the question of Calegari and Chen.
[ Reference URL ]Big mapping class groups are mapping class groups of surfaces of infinite type. Calegari and Chen determined the second (co)homology group of the mapping class group of the sphere minus a Cantor set. They also raised related questions: one of the questions asks an explicit form of certain crossed homomorphisms on the big mapping class group. In this talk, we provide a construction of crossed homomorphisms via group actions on the circle, which answers the question of Calegari and Chen.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2023/04/11
17:00-18:30 Room #ハイブリッド開催/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Kazuo Habiro (The Univesity of Tokyo)
On the stable cohomology of the (IA-)automorphism groups of free groups (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Kazuo Habiro (The Univesity of Tokyo)
On the stable cohomology of the (IA-)automorphism groups of free groups (JAPANESE)
[ Abstract ]
By combining Borel's stability and vanishing theorem for the stable cohomology of GL(n,Z) with coefficients in algebraic GL(n,Z)-representations and the Hochschild-Serre spectral sequence, we compute the twisted first cohomology of the automorphism group Aut(F_n) of the free group F_n of rank n. This method is used also in the study of the stable rational cohomology of the IA-automorphism group IA_n of F_n. We propose a conjectural algebraic structure of the stable rational cohomology of IA_n, and consider some relations to known results and conjectures. We also consider a conjectural structure of the stable rational cohomology of the Torelli groups of surfaces. This is a joint work with Mai Katada.
[ Reference URL ]By combining Borel's stability and vanishing theorem for the stable cohomology of GL(n,Z) with coefficients in algebraic GL(n,Z)-representations and the Hochschild-Serre spectral sequence, we compute the twisted first cohomology of the automorphism group Aut(F_n) of the free group F_n of rank n. This method is used also in the study of the stable rational cohomology of the IA-automorphism group IA_n of F_n. We propose a conjectural algebraic structure of the stable rational cohomology of IA_n, and consider some relations to known results and conjectures. We also consider a conjectural structure of the stable rational cohomology of the Torelli groups of surfaces. This is a joint work with Mai Katada.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2023/01/17
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Chenghan Zha (The Univesity of Tokyo)
Integral structures in the local algebra of a singularity (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Chenghan Zha (The Univesity of Tokyo)
Integral structures in the local algebra of a singularity (ENGLISH)
[ Abstract ]
We compute the image of the Milnor lattice of an ADE singularity under a period map. We also prove that the Milnor lattice can be identified with an appropriate relative K-group defined through the Berglund-Huebsch dual of the corresponding singularity. Furthermore, we figure out the image of the Milnor lattice of the singularity of an invertible polynomial of chain type using the basis of middle homology constructed by Otani-Takahashi. We calculated the Seifert form of the basis as well.
[ Reference URL ]We compute the image of the Milnor lattice of an ADE singularity under a period map. We also prove that the Milnor lattice can be identified with an appropriate relative K-group defined through the Berglund-Huebsch dual of the corresponding singularity. Furthermore, we figure out the image of the Milnor lattice of the singularity of an invertible polynomial of chain type using the basis of middle homology constructed by Otani-Takahashi. We calculated the Seifert form of the basis as well.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2023/01/10
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Takeru Asaka (The Univesity of Tokyo)
Some calculations of an earthquake map in the cross ratio coordinates and the earthquake theorem of cluster algebras of finite type (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Takeru Asaka (The Univesity of Tokyo)
Some calculations of an earthquake map in the cross ratio coordinates and the earthquake theorem of cluster algebras of finite type (JAPANESE)
[ Abstract ]
Thurston defined an earthquake, which cuts the Poincaré half-plane model and shifts it. Though it is a discontinuous bijective map, it can be extended to a homeomorphism of a circumference. Also, if an earthquake is equivalent relative to a Fuchsian group, the homeomorphism is equivalent, too. Moreover, Thurston proved the earthquake theorem saying that there uniquely exists an earthquake for any orient-preserving homeomorphism of a circumference, and Bonsante-Krasnov-Schlenker extended it to the case of marked surfaces. We calculate some earthquake maps by the cross ratio coordinates. The cross ratio coordinates are deeply related by the cluster algebra (Fock-Goncharov). We prove the earthquake theorem of cluster algebras of finite type. It is a joint work with Tsukasa Ishibashi and Shunsuke Kano.
[ Reference URL ]Thurston defined an earthquake, which cuts the Poincaré half-plane model and shifts it. Though it is a discontinuous bijective map, it can be extended to a homeomorphism of a circumference. Also, if an earthquake is equivalent relative to a Fuchsian group, the homeomorphism is equivalent, too. Moreover, Thurston proved the earthquake theorem saying that there uniquely exists an earthquake for any orient-preserving homeomorphism of a circumference, and Bonsante-Krasnov-Schlenker extended it to the case of marked surfaces. We calculate some earthquake maps by the cross ratio coordinates. The cross ratio coordinates are deeply related by the cluster algebra (Fock-Goncharov). We prove the earthquake theorem of cluster algebras of finite type. It is a joint work with Tsukasa Ishibashi and Shunsuke Kano.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/12/13
17:30-18:30 Online
Pre-registration required. See our seminar webpage.
Kota Hattori (Keio University)
Spectral convergence in geometric quantization on K3 surfaces (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Kota Hattori (Keio University)
Spectral convergence in geometric quantization on K3 surfaces (JAPANESE)
[ Abstract ]
In this talk I will explain the geometric quantization on K3 surfaces from the viewpoint of the spectral convergence. We take a special Lagrangian fibrations on the K3 surfaces and a family of hyper-Kähler structures tending to large complex structure limit and show a spectral convergence of the d-bar-Laplacians on the prequantum line bundle to the spectral structure related to the set of Bohr-Sommerfeld fibers.
[ Reference URL ]In this talk I will explain the geometric quantization on K3 surfaces from the viewpoint of the spectral convergence. We take a special Lagrangian fibrations on the K3 surfaces and a family of hyper-Kähler structures tending to large complex structure limit and show a spectral convergence of the d-bar-Laplacians on the prequantum line bundle to the spectral structure related to the set of Bohr-Sommerfeld fibers.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/12/06
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Quentin Faes (The Univesity of Tokyo)
Torsion in the abelianization of the Johnson kernel (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Quentin Faes (The Univesity of Tokyo)
Torsion in the abelianization of the Johnson kernel (ENGLISH)
[ Abstract ]
The Johnson kernel is the subgroup of the mapping class group of a closed oriented surface that is generated by Dehn twists along separating simple closed curves, and is also the second term of the so-called Johnson filtration of the mapping class group. The rational abelianization of this group is known, but it was recently proved by Nozaki, Sato and Suzuki, that the abelianization has torsion. They used the LMO homomorphism. In this talk, I will explain a purely two-dimensional proof of this result, which provides a lower bound for the cardinality of the torsion part of the abelianization. These results are also valid for the case of an open surface. This is joint work with Gwénaël Massuyeau.
[ Reference URL ]The Johnson kernel is the subgroup of the mapping class group of a closed oriented surface that is generated by Dehn twists along separating simple closed curves, and is also the second term of the so-called Johnson filtration of the mapping class group. The rational abelianization of this group is known, but it was recently proved by Nozaki, Sato and Suzuki, that the abelianization has torsion. They used the LMO homomorphism. In this talk, I will explain a purely two-dimensional proof of this result, which provides a lower bound for the cardinality of the torsion part of the abelianization. These results are also valid for the case of an open surface. This is joint work with Gwénaël Massuyeau.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/11/29
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Shintaro Kuroki (Okayama University of Science)
GKM graph with legs and graph equivariant cohomology (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Shintaro Kuroki (Okayama University of Science)
GKM graph with legs and graph equivariant cohomology (JAPANESE)
[ Abstract ]
A GKM (Goresky-Kottiwicz-MacPherson) graph is a regular graph labeled on edges with some conditions. This notion has been introduced by Guillemin-Zara in 2001 to study the geometry of a nice class of manifolds with torus actions, called a GKM manifold, by a combinatorial way. In particular, we can define a ring on a GKM graph called a graph equivariant cohomology, and it is often isomorphic to the equivariant cohomology of a GKM manifold. In this talk, we introduce the GKM graph with legs (i.e., non-compact edges) related to non-compact manifolds with torus actions that may not satisfy the usual GKM conditions, and study the graph equivariant cohomology which is related to the GKM graph with legs. The talk is mainly based on the joint work with Grigory Solomadin (arXiv:2207.11380) and partially on the joint work with Vikraman Uma (arXiv:2106.11598).
[ Reference URL ]A GKM (Goresky-Kottiwicz-MacPherson) graph is a regular graph labeled on edges with some conditions. This notion has been introduced by Guillemin-Zara in 2001 to study the geometry of a nice class of manifolds with torus actions, called a GKM manifold, by a combinatorial way. In particular, we can define a ring on a GKM graph called a graph equivariant cohomology, and it is often isomorphic to the equivariant cohomology of a GKM manifold. In this talk, we introduce the GKM graph with legs (i.e., non-compact edges) related to non-compact manifolds with torus actions that may not satisfy the usual GKM conditions, and study the graph equivariant cohomology which is related to the GKM graph with legs. The talk is mainly based on the joint work with Grigory Solomadin (arXiv:2207.11380) and partially on the joint work with Vikraman Uma (arXiv:2106.11598).
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/11/22
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Teruaki Kitano (Soka University)
Epimorphism between knot groups and isomorphisms on character varieties (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Teruaki Kitano (Soka University)
Epimorphism between knot groups and isomorphisms on character varieties (JAPANESE)
[ Abstract ]
A partial order on the set of prime knots is given by the existence of an epimorphism between the fundamental groups of the knot complements. In this talk we will survey some basic properties of this order, and discuss some results and questions in connection with the SL(2,C)-character variety. In particular we study to what extend the SL(2,C)-character variety to determine the knot. This talk will be based on joint works with Michel Boileau(Univ. Aix-Marseille), Steven Sivek(Imperial College London), and Raphael Zentner(Univ. Regensburg).
[ Reference URL ]A partial order on the set of prime knots is given by the existence of an epimorphism between the fundamental groups of the knot complements. In this talk we will survey some basic properties of this order, and discuss some results and questions in connection with the SL(2,C)-character variety. In particular we study to what extend the SL(2,C)-character variety to determine the knot. This talk will be based on joint works with Michel Boileau(Univ. Aix-Marseille), Steven Sivek(Imperial College London), and Raphael Zentner(Univ. Regensburg).
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/11/15
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Arthur Soulié (IBS Center for Geometry and Physics, POSTECH)
Stable cohomology of mapping class groups with some particular twisted contravariant coefficients (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Arthur Soulié (IBS Center for Geometry and Physics, POSTECH)
Stable cohomology of mapping class groups with some particular twisted contravariant coefficients (ENGLISH)
[ Abstract ]
The twisted cohomology of mapping class groups of compact orientable surfaces (with one boundary) is very difficult to compute generally speaking. In this talk, I will describe the computation of the stable cohomology algebra of these mapping class groups with twisted coefficients given by the first homology of the unit tangent bundle of the surface. This type of computation is out of the scope of the traditional framework for homological stability. Indeed, these twisted coefficients define a contravariant functor over the classical category associated to mapping class groups to study homological stability, rather than a covariant one. I will also present the computation of the stable cohomology algebras with with twisted coefficients given by the exterior powers and tensor powers of the first homology of the unit tangent bundle of the surface. All this represents a joint work with Nariya Kawazumi.
[ Reference URL ]The twisted cohomology of mapping class groups of compact orientable surfaces (with one boundary) is very difficult to compute generally speaking. In this talk, I will describe the computation of the stable cohomology algebra of these mapping class groups with twisted coefficients given by the first homology of the unit tangent bundle of the surface. This type of computation is out of the scope of the traditional framework for homological stability. Indeed, these twisted coefficients define a contravariant functor over the classical category associated to mapping class groups to study homological stability, rather than a covariant one. I will also present the computation of the stable cohomology algebras with with twisted coefficients given by the exterior powers and tensor powers of the first homology of the unit tangent bundle of the surface. All this represents a joint work with Nariya Kawazumi.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/11/08
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Masahiko Yoshinaga (Osaka University)
Milnor fibers of hyperplane arrangements (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Masahiko Yoshinaga (Osaka University)
Milnor fibers of hyperplane arrangements (JAPANESE)
[ Abstract ]
A (central) hyperplane arrangement is a union of finitely many hyperplanes in a linear space. There are many relationships between the intersection lattice of the arrangement and geometry of related spaces. In this talk, we focus on the Milnor fiber of a hyperplane arrangement. The first Betti number of the Milnor fiber is expected to be determined by the combinatorial structure of the intersection lattice, however, it is still open. We discuss two results on the problem. The first (discouraging) one is concerning the dimension of (-1)-eigenspace of the monodromy action on the first cohomology group. We show that it is related to 2-torsions in the first homology of double covering of the (projectivized) complement (j.w. Ishibashi and Sugawara). The second (encouraging) one is related to the Aomoto complex, which is defined in purely combinatorial way. We show that a q-analogue of Aomoto complex determines all nontrivial monodromy eigenspaces of the Milnor fiber.
[ Reference URL ]A (central) hyperplane arrangement is a union of finitely many hyperplanes in a linear space. There are many relationships between the intersection lattice of the arrangement and geometry of related spaces. In this talk, we focus on the Milnor fiber of a hyperplane arrangement. The first Betti number of the Milnor fiber is expected to be determined by the combinatorial structure of the intersection lattice, however, it is still open. We discuss two results on the problem. The first (discouraging) one is concerning the dimension of (-1)-eigenspace of the monodromy action on the first cohomology group. We show that it is related to 2-torsions in the first homology of double covering of the (projectivized) complement (j.w. Ishibashi and Sugawara). The second (encouraging) one is related to the Aomoto complex, which is defined in purely combinatorial way. We show that a q-analogue of Aomoto complex determines all nontrivial monodromy eigenspaces of the Milnor fiber.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/11/01
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Minkyu Kim (The Univesity of Tokyo)
An obstruction problem associated with finite path-integral (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Minkyu Kim (The Univesity of Tokyo)
An obstruction problem associated with finite path-integral (JAPANESE)
[ Abstract ]
Finite path-integral introduced by Dijkgraaf and Witten in 1990 is a mathematical methodology to construct an Atiyah-Segal type TQFT from finite gauge theory. In three dimensions, it is generalized to Hopf algebra gauge theory of Meusburger, and the corresponding TQFT is known as Turaev-Viro model. On the one hand, the bicommutative Hopf algebra gauge theory is covered by homological algebra. In this talk, we will explain an obstruction problem associated with a refined finite path-integral construction of TQFT's from homological algebra. This talk is based on our study of a folklore claim in condensed matter physics that gapped lattice quantum system, e.g. toric code, is approximated by topological field theories in low temperature.
[ Reference URL ]Finite path-integral introduced by Dijkgraaf and Witten in 1990 is a mathematical methodology to construct an Atiyah-Segal type TQFT from finite gauge theory. In three dimensions, it is generalized to Hopf algebra gauge theory of Meusburger, and the corresponding TQFT is known as Turaev-Viro model. On the one hand, the bicommutative Hopf algebra gauge theory is covered by homological algebra. In this talk, we will explain an obstruction problem associated with a refined finite path-integral construction of TQFT's from homological algebra. This talk is based on our study of a folklore claim in condensed matter physics that gapped lattice quantum system, e.g. toric code, is approximated by topological field theories in low temperature.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/10/25
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Noboru Ogawa (Tokai University)
Stabilized convex symplectic manifolds are Weinstein (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Noboru Ogawa (Tokai University)
Stabilized convex symplectic manifolds are Weinstein (JAPANESE)
[ Abstract ]
There are two important classes of convexity in symplectic geometry: Liouville and Weinstein structures. Basic objects such as cotangent bundles and Stein manifolds have these structures. In 90s, Eliashberg and Gromov formulated them as symplectic counterparts of Stein manifolds, since then, they have played a significant role in the study of symplectic topology. By definition, a Weinstein structure is a Liouville structure, but the converse is not true in general; McDuff gave the first example which is a Liouville manifold without any Weinstein structures. The purpose of this talk is to present the recent advances on the difference of both structures, up to homotopy. In particular, I will show that the stabilization of the McDuff’s example admits a flexible Weinstein structure. The main part is based on a joint work with Yakov Eliashberg (Stanford University) and Toru Yoshiyasu (Kyoto University of Education). If time permits, I would like to discuss some open questions and progress.
[ Reference URL ]There are two important classes of convexity in symplectic geometry: Liouville and Weinstein structures. Basic objects such as cotangent bundles and Stein manifolds have these structures. In 90s, Eliashberg and Gromov formulated them as symplectic counterparts of Stein manifolds, since then, they have played a significant role in the study of symplectic topology. By definition, a Weinstein structure is a Liouville structure, but the converse is not true in general; McDuff gave the first example which is a Liouville manifold without any Weinstein structures. The purpose of this talk is to present the recent advances on the difference of both structures, up to homotopy. In particular, I will show that the stabilization of the McDuff’s example admits a flexible Weinstein structure. The main part is based on a joint work with Yakov Eliashberg (Stanford University) and Toru Yoshiyasu (Kyoto University of Education). If time permits, I would like to discuss some open questions and progress.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/10/11
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Yasuhiko Asao (Fukuoka University)
Magnitude homology of graphs (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Yasuhiko Asao (Fukuoka University)
Magnitude homology of graphs (JAPANESE)
[ Abstract ]
Magnitude is introduced by Leinster in 00’s as an ``Euler characteristic of metric spaces”. It is defined for the metric structure itself rather than the topology induced from the metric. Magnitude homology is a categorification of magnitude in a sense that ordinary homology categorifies the Euler characteristic. The speaker’s interest is in geometric meaning of this theory. In this talk, after an introduction to basic ideas, I will explain that magnitude truly extends the Euler characteristic. From this perspective, magnitude homology can be seen as one of the categorification of the Euler characteristic, and the path homology (Grigor’yan—Muranov—Lin—S-T. Yau et.al) appears as a part of another one. These structures are aggregated in a spectral sequence obtained from the classifying space of "filtered set enriched categories" which includes ordinary small categories and metric spaces.
[ Reference URL ]Magnitude is introduced by Leinster in 00’s as an ``Euler characteristic of metric spaces”. It is defined for the metric structure itself rather than the topology induced from the metric. Magnitude homology is a categorification of magnitude in a sense that ordinary homology categorifies the Euler characteristic. The speaker’s interest is in geometric meaning of this theory. In this talk, after an introduction to basic ideas, I will explain that magnitude truly extends the Euler characteristic. From this perspective, magnitude homology can be seen as one of the categorification of the Euler characteristic, and the path homology (Grigor’yan—Muranov—Lin—S-T. Yau et.al) appears as a part of another one. These structures are aggregated in a spectral sequence obtained from the classifying space of "filtered set enriched categories" which includes ordinary small categories and metric spaces.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/10/04
17:00-18:30 Online
Pre-registration required. See our seminar webpage.
Shuichi Harako (The Univesity of Tokyo)
Orientable rho-Q-manifolds and their modular classes (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Shuichi Harako (The Univesity of Tokyo)
Orientable rho-Q-manifolds and their modular classes (JAPANESE)
[ Abstract ]
A rho-commutative algebra, or an almost commutative algebra, is a graded algebra whose commutativity is given by a function called a commutation factor. It is one generalization of a commutative algebra or a superalgebra. We obtain a rho-Lie algebra, or an epsilon-Lie algebra, by a similar generalization of a Lie algebra. On the other hand, we have the modular class of an orientable Q-manifold. Here, a Q-manifold is a supermanifold with an odd vector field whose Lie bracket with itself vanishes, and its orientability is described in terms of the Berezinian bundle. In this talk, we introduce the concept of a rho-manifold, which is a graded manifold whose functional algebra is a rho-commutative algebra, then we show that we can define Q-structures, Berezinian bundle, volume forms, and modular classes of a rho-manifold with some examples.
[ Reference URL ]A rho-commutative algebra, or an almost commutative algebra, is a graded algebra whose commutativity is given by a function called a commutation factor. It is one generalization of a commutative algebra or a superalgebra. We obtain a rho-Lie algebra, or an epsilon-Lie algebra, by a similar generalization of a Lie algebra. On the other hand, we have the modular class of an orientable Q-manifold. Here, a Q-manifold is a supermanifold with an odd vector field whose Lie bracket with itself vanishes, and its orientability is described in terms of the Berezinian bundle. In this talk, we introduce the concept of a rho-manifold, which is a graded manifold whose functional algebra is a rho-commutative algebra, then we show that we can define Q-structures, Berezinian bundle, volume forms, and modular classes of a rho-manifold with some examples.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/07/12
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Sungkyung Kang (Center for Geometry and Physics, Institute of Basic Science)
Cable knots and involutive Heegaard Floer homology (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Sungkyung Kang (Center for Geometry and Physics, Institute of Basic Science)
Cable knots and involutive Heegaard Floer homology (ENGLISH)
[ Abstract ]
Heegaard Floer homology (and its variants) carries an intrinsic symmetry, which conjecturally corresponds to the Pin(2)-equivariance in Seiberg-Witten Floer homology. By exploiting the symmetry, we prove that (odd,1)-cables of the figure-eight knots are linearly independent in the concordance group of rationally slice knots, and present a first example of rationally slice knots of complexity 1 which are not slice. Furthermore, we establish an explicit connection between involutive knot Floer theory and involutive bordered Floer theory of knot complements, and use it to prove a similar result for iterated cables of figure-eight knots. A part of this talk is based on a joint work with J. Hom, M. Stoffregen, and J. Park.
[ Reference URL ]Heegaard Floer homology (and its variants) carries an intrinsic symmetry, which conjecturally corresponds to the Pin(2)-equivariance in Seiberg-Witten Floer homology. By exploiting the symmetry, we prove that (odd,1)-cables of the figure-eight knots are linearly independent in the concordance group of rationally slice knots, and present a first example of rationally slice knots of complexity 1 which are not slice. Furthermore, we establish an explicit connection between involutive knot Floer theory and involutive bordered Floer theory of knot complements, and use it to prove a similar result for iterated cables of figure-eight knots. A part of this talk is based on a joint work with J. Hom, M. Stoffregen, and J. Park.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/07/05
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Yushi Nakano (Tokai University)
Non-existence of Lyapunov exponents for homoclinic bifurcations of surface diffeomorphisms (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Yushi Nakano (Tokai University)
Non-existence of Lyapunov exponents for homoclinic bifurcations of surface diffeomorphisms (JAPANESE)
[ Abstract ]
Lyapunov exponent is widely used in natural science including mathematics, such as a tool to find chaotic signal or a foundation of non-uniformly hyperbolic systems theory. However, its existence (outside of the supports of invariant probability measures) is seldom discussed. In this talk, I consider the problem of whether the Lyapunov irregular set, i.e. the set of points at which Lyapunov exponent fails to exist, has positive Lebesgue measure. I will show that surface diffeomorphisms with a robust homoclinic tangency given by Colli and Vargas, as well as other several known nonhyperbolic dynamics, has the Lyapunov irregular set of positive Lebesgue measure. This is a joint work with S. Kiriki, X. Li and T. Soma.
[ Reference URL ]Lyapunov exponent is widely used in natural science including mathematics, such as a tool to find chaotic signal or a foundation of non-uniformly hyperbolic systems theory. However, its existence (outside of the supports of invariant probability measures) is seldom discussed. In this talk, I consider the problem of whether the Lyapunov irregular set, i.e. the set of points at which Lyapunov exponent fails to exist, has positive Lebesgue measure. I will show that surface diffeomorphisms with a robust homoclinic tangency given by Colli and Vargas, as well as other several known nonhyperbolic dynamics, has the Lyapunov irregular set of positive Lebesgue measure. This is a joint work with S. Kiriki, X. Li and T. Soma.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/06/21
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Kazuhiro Ichihara (Nihon University)
Cosmetic surgeries on knots in the 3-sphere (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Kazuhiro Ichihara (Nihon University)
Cosmetic surgeries on knots in the 3-sphere (JAPANESE)
[ Abstract ]
A pair of Dehn surgeries on a knot is called purely (resp. chirally) cosmetic if the obtained manifolds are orientation-preservingly (resp. -reversingly) homeomorphic. It is conjectured that if a knot in the 3-sphere admits purely (resp. chirally) cosmetic surgeries, then the knot is a trivial knot (resp. a torus knot or an amphicheiral knot). In this talk, after giving a brief survey on the studies on these conjectures, I will explain recent progresses on the conjectures. This is based on joint works with Tetsuya Ito (Kyoto University), In Dae Jong (Kindai University), and Toshio Saito (Joetsu University of Education).
[ Reference URL ]A pair of Dehn surgeries on a knot is called purely (resp. chirally) cosmetic if the obtained manifolds are orientation-preservingly (resp. -reversingly) homeomorphic. It is conjectured that if a knot in the 3-sphere admits purely (resp. chirally) cosmetic surgeries, then the knot is a trivial knot (resp. a torus knot or an amphicheiral knot). In this talk, after giving a brief survey on the studies on these conjectures, I will explain recent progresses on the conjectures. This is based on joint works with Tetsuya Ito (Kyoto University), In Dae Jong (Kindai University), and Toshio Saito (Joetsu University of Education).
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/06/14
17:30-18:30 Online
Pre-registration required. See our seminar webpage.
Katsuhiko Kuribayashi (Shinshu University)
Cartan calculi on the free loop spaces (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Katsuhiko Kuribayashi (Shinshu University)
Cartan calculi on the free loop spaces (JAPANESE)
[ Abstract ]
A typical example of a Cartan calculus is the Lie algebra representation of vector fields of a manifold on the derivation ring of the de Rham complex. In this talk, a `second stage' of the Cartan calculus is investigated. In a more general setting, the stage is formulated with a Lie algebra representation of the Andre-Quillen cohomology of a commutative differential graded algebra A on the endomorphism ring of the Hochschild homology of A in terms of the homotopy Cartan calculi in the sense of Fiorenza and Kowalzig. Moreover, the Lie algebra representation in the Cartan calculus is interpreted geometrically as a map from the rational homotopy group of the monoid of self-homotopy equivalences on a simply-connected space M to the derivation ring on the loop cohomology of M. An extension of the representation to the string cohomology and its geometric counterpart are also discussed together with the BV exactness which is a new rational homotopy invariant introduced in our work. This talk is based on joint work in progress with T. Naito, S. Wakatsuki and T. Yamaguchi.
[ Reference URL ]A typical example of a Cartan calculus is the Lie algebra representation of vector fields of a manifold on the derivation ring of the de Rham complex. In this talk, a `second stage' of the Cartan calculus is investigated. In a more general setting, the stage is formulated with a Lie algebra representation of the Andre-Quillen cohomology of a commutative differential graded algebra A on the endomorphism ring of the Hochschild homology of A in terms of the homotopy Cartan calculi in the sense of Fiorenza and Kowalzig. Moreover, the Lie algebra representation in the Cartan calculus is interpreted geometrically as a map from the rational homotopy group of the monoid of self-homotopy equivalences on a simply-connected space M to the derivation ring on the loop cohomology of M. An extension of the representation to the string cohomology and its geometric counterpart are also discussed together with the BV exactness which is a new rational homotopy invariant introduced in our work. This talk is based on joint work in progress with T. Naito, S. Wakatsuki and T. Yamaguchi.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/06/07
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
早稲田大学 (Waseda University)
Dynamical zeta functions for geodesic flows and the higher-dimensional Reidemeister torsion for Fuchsian groups (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
早稲田大学 (Waseda University)
Dynamical zeta functions for geodesic flows and the higher-dimensional Reidemeister torsion for Fuchsian groups (JAPANESE)
[ Abstract ]
We discuss a relation between a dynamical zeta function defined by the geodesic flow on a 2-dimensional hyperbolic orbifold and the asymptotic behavior of the Reidemeister torsion for the unit tangent bundle over the orbifold. The unit tangent bundle over a hyperbolic orbifold is a Seifert fibered space with a geometric structure given by the universal cover of PSL(2, R). This geometric structure induces an SL(2, R)-representation of the fundamental group. Here the asymptotic behavior of the Reidemeister torsion means the limit of the leading coefficient in the Reidemeister torsion for the unit tangent bundle over a hyperbolic orbifold and the SL(n, R)-representations induced by the SL(2, R)-one of its fundamental group. For a hyperbolic 3-manifold, we can derive the hyperbolic volume from the limit of the leading coefficient in the Reidemeister torsion with a dynamical zeta function according to previous works. For the unit tangent bundle over a 2-dimensional hyperbolic orbifold, which is not a hyperbolic 3-manifold, we can find the orbifold Euler characteristic of the orbifold in the limit of the leading coefficient in the Reidemeister torsion for the unit tangent bundle from the relation with the dynamical zeta function defined by the geodesic flow on the orbifold.
[ Reference URL ]We discuss a relation between a dynamical zeta function defined by the geodesic flow on a 2-dimensional hyperbolic orbifold and the asymptotic behavior of the Reidemeister torsion for the unit tangent bundle over the orbifold. The unit tangent bundle over a hyperbolic orbifold is a Seifert fibered space with a geometric structure given by the universal cover of PSL(2, R). This geometric structure induces an SL(2, R)-representation of the fundamental group. Here the asymptotic behavior of the Reidemeister torsion means the limit of the leading coefficient in the Reidemeister torsion for the unit tangent bundle over a hyperbolic orbifold and the SL(n, R)-representations induced by the SL(2, R)-one of its fundamental group. For a hyperbolic 3-manifold, we can derive the hyperbolic volume from the limit of the leading coefficient in the Reidemeister torsion with a dynamical zeta function according to previous works. For the unit tangent bundle over a 2-dimensional hyperbolic orbifold, which is not a hyperbolic 3-manifold, we can find the orbifold Euler characteristic of the orbifold in the limit of the leading coefficient in the Reidemeister torsion for the unit tangent bundle from the relation with the dynamical zeta function defined by the geodesic flow on the orbifold.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/05/31
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Kazushi Ueda (The Univesity of Tokyo)
Stable Fukaya categories of Milnor fibers (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Kazushi Ueda (The Univesity of Tokyo)
Stable Fukaya categories of Milnor fibers (JAPANESE)
[ Abstract ]
We define the stable Fukaya category of a Liouville domain as the quotient of the wrapped Fukaya category by the full subcategory consisting of compact Lagrangians, and discuss the relation between the stable Fukaya categories of affine Fermat hypersurfaces and the Fukaya categories of projective hypersurfaces. We also discuss homological mirror symmetry for Milnor fibers of Brieskorn-Pham singularities along the way. This is a joint work in progress with Yanki Lekili.
[ Reference URL ]We define the stable Fukaya category of a Liouville domain as the quotient of the wrapped Fukaya category by the full subcategory consisting of compact Lagrangians, and discuss the relation between the stable Fukaya categories of affine Fermat hypersurfaces and the Fukaya categories of projective hypersurfaces. We also discuss homological mirror symmetry for Milnor fibers of Brieskorn-Pham singularities along the way. This is a joint work in progress with Yanki Lekili.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2022/05/24
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Christine Vespa (IRMA, Université de Strasbourg / JSPS)
Polynomial functors associated with beaded open Jacobi diagrams (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Christine Vespa (IRMA, Université de Strasbourg / JSPS)
Polynomial functors associated with beaded open Jacobi diagrams (ENGLISH)
[ Abstract ]
The Kontsevich integral is a very powerful invariant of knots, taking values is the space of Jacobi diagrams. Using an extension of the Kontsevich integral to tangles in handlebodies, Habiro and Massuyeau construct a functor from the category of bottom tangles in handlebodies to the linear category A of Jacobi diagrams in handlebodies. The category A has a subcategory equivalent to the linearization of the opposite of the category of finitely generated free groups, denoted by $\textbf{gr}^{op}$. By restriction to this subcategory, morphisms in the linear category $\textbf{A}$ give rise to interesting contravariant functors on the category $\textbf{gr}$, encoding part of the composition structure of the category A.
In recent papers, Katada studies the functor given by the morphisms in the category A from 0. In particular, she obtains a family of polynomial functors on $\textbf{gr}^{op}$ which are outer functors, in the sense that inner automorphisms act trivially.
In this talk, I will explain these results and give extensions of Katada’s results concerning the functors given by the morphisms in the category A from any integer k. These functors give rise to families of polynomial functors on $\textbf{gr}^{op}$ which are no more outer functors. Our approach is based on an equivalence of categories given by Powell. Through this equivalence the previous polynomial functors correspond to functors given by beaded open Jacobi diagrams.
[ Reference URL ]The Kontsevich integral is a very powerful invariant of knots, taking values is the space of Jacobi diagrams. Using an extension of the Kontsevich integral to tangles in handlebodies, Habiro and Massuyeau construct a functor from the category of bottom tangles in handlebodies to the linear category A of Jacobi diagrams in handlebodies. The category A has a subcategory equivalent to the linearization of the opposite of the category of finitely generated free groups, denoted by $\textbf{gr}^{op}$. By restriction to this subcategory, morphisms in the linear category $\textbf{A}$ give rise to interesting contravariant functors on the category $\textbf{gr}$, encoding part of the composition structure of the category A.
In recent papers, Katada studies the functor given by the morphisms in the category A from 0. In particular, she obtains a family of polynomial functors on $\textbf{gr}^{op}$ which are outer functors, in the sense that inner automorphisms act trivially.
In this talk, I will explain these results and give extensions of Katada’s results concerning the functors given by the morphisms in the category A from any integer k. These functors give rise to families of polynomial functors on $\textbf{gr}^{op}$ which are no more outer functors. Our approach is based on an equivalence of categories given by Powell. Through this equivalence the previous polynomial functors correspond to functors given by beaded open Jacobi diagrams.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
