Text only print
Full screen print
Tuesday Seminar on Topology
Seminar information archive ～12/01｜Next seminar｜Future seminars 12/02～
| 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
2025/11/25
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Katsuhiko Kuribayashi (Shinshu University)
Interleavings of persistence dg-modules and Sullivan models for maps (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)
Interleavings of persistence dg-modules and Sullivan models for maps (JAPANESE)
[ Abstract ]
The cohomology interleaving distance (CohID) is introduced and considered in the category of persistence differential graded modules. As a consequence, we show that, in the category, the distance coincides with the the homotopy commutative interleaving distance, the homotopy interleaving distance originally due to Blumberg and Lesnick, and the interleaving distance in the homotopy category (IDHC) in the sense of Lanari and Scoccola. Moreover, by applying the CohID to spaces over the classifying space of the circle group via the singular cochain functor, we have a numerical two-variable homotopy invariant for such spaces. In the latter half of the talk, we consider extended tame persistence commutative differential graded algebras (CDGA) associated with relative Sullivan algebras. Then, the IDHC enables us to introduce an extended pseudodistance between continuous maps with such persistence objects. By examining the pseudodistance, we see that the persistence CDGA is more `sensitive' than the persistence homology. This talk is based on joint work with Naito, Sekizuka, Wakatsuki and Yamaguchi.
[ Reference URL ]The cohomology interleaving distance (CohID) is introduced and considered in the category of persistence differential graded modules. As a consequence, we show that, in the category, the distance coincides with the the homotopy commutative interleaving distance, the homotopy interleaving distance originally due to Blumberg and Lesnick, and the interleaving distance in the homotopy category (IDHC) in the sense of Lanari and Scoccola. Moreover, by applying the CohID to spaces over the classifying space of the circle group via the singular cochain functor, we have a numerical two-variable homotopy invariant for such spaces. In the latter half of the talk, we consider extended tame persistence commutative differential graded algebras (CDGA) associated with relative Sullivan algebras. Then, the IDHC enables us to introduce an extended pseudodistance between continuous maps with such persistence objects. By examining the pseudodistance, we see that the persistence CDGA is more `sensitive' than the persistence homology. This talk is based on joint work with Naito, Sekizuka, Wakatsuki and Yamaguchi.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/11/18
17:30-18:30 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Masaki Tsukamoto (Kyoto University)
Rate distortion dimension of random Brody curves (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Masaki Tsukamoto (Kyoto University)
Rate distortion dimension of random Brody curves (JAPANESE)
[ Abstract ]
Brody curves are one-Lipschtiz holomorphic maps from the complex plane to the complex projective space. Entire holomorphic curves have been studied over a century since Nevanlinna and H. Cartan, but there still remain many fundamental questions. In this talk we explain that ideas of ergodic theory and geometric measure theory provide a radically new approach on them. Roughly speaking, we show that Brody curves have an ergodic theoretic structure somehow analogous to that of Axiom A diffeomorphisms. In particular we establish "Ruelle inequality" and "existence of equilibrium measures" for Brody curves.
[ Reference URL ]Brody curves are one-Lipschtiz holomorphic maps from the complex plane to the complex projective space. Entire holomorphic curves have been studied over a century since Nevanlinna and H. Cartan, but there still remain many fundamental questions. In this talk we explain that ideas of ergodic theory and geometric measure theory provide a radically new approach on them. Roughly speaking, we show that Brody curves have an ergodic theoretic structure somehow analogous to that of Axiom A diffeomorphisms. In particular we establish "Ruelle inequality" and "existence of equilibrium measures" for Brody curves.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/11/11
9:30-10:30 Online
Pre-registration required. See our seminar webpage.
Richard Hain (Duke University)
Mapping class group actions on the homology of configuration spaces (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Richard Hain (Duke University)
Mapping class group actions on the homology of configuration spaces (ENGLISH)
[ Abstract ]
The action of the mapping class group of a surface S on the homology of the space F_n(S) of ordered configurations of n points in S is well understood when S has genus 0, but is not very well understood when S has positive genus. In this talk I will report on joint work with Clément Dupont (Montpellier) in the case where S is a surface of finite type of genus at least 2. We give a strong lower bound on the size of the Zariski closure of the image of the Torelli and mapping class groups in the automorphism group of the degree n cohomology of F_n(S). Our main tools are Hodge theory and the Goldman Lie algebra of the surface, which is the free abelian group generated by the conjugacy classes in the fundamental group of S.
[ Reference URL ]The action of the mapping class group of a surface S on the homology of the space F_n(S) of ordered configurations of n points in S is well understood when S has genus 0, but is not very well understood when S has positive genus. In this talk I will report on joint work with Clément Dupont (Montpellier) in the case where S is a surface of finite type of genus at least 2. We give a strong lower bound on the size of the Zariski closure of the image of the Torelli and mapping class groups in the automorphism group of the degree n cohomology of F_n(S). Our main tools are Hodge theory and the Goldman Lie algebra of the surface, which is the free abelian group generated by the conjugacy classes in the fundamental group of S.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/11/11
17:00-18:30 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Serban Matei Mihalache (The University of Tokyo)
Constructing solution of Polygon and Simplex equation (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Serban Matei Mihalache (The University of Tokyo)
Constructing solution of Polygon and Simplex equation (JAPANESE)
[ Abstract ]
The Polygon equation, formulated by Dimakis and Müller-Hoissen, can be interpreted as an algebraic equation corresponding to the Pachner (⌊(n+1)/2⌋+1, ⌈(n+1)/2⌉)-move on triangulations of n-dimensional PL manifolds, and is expected that this can be used to construct invariants of PL manifolds. In this talk, we show that solutions of higher-dimensional Polygon equations can be constructed from collections of "commutative" solutions of lower-dimensional Polygon equations, and we present explicit examples of such solutions. Furthermore, when a pair of solutions of the Polygon equation satisfies a condition called the mixed relation, we show that it gives rise to a solution of the Simplex equation, which is a higher-dimensional analogue of the Yang–Baxter equation. This talk is based on joint work with Tomoro Mochida.
[ Reference URL ]The Polygon equation, formulated by Dimakis and Müller-Hoissen, can be interpreted as an algebraic equation corresponding to the Pachner (⌊(n+1)/2⌋+1, ⌈(n+1)/2⌉)-move on triangulations of n-dimensional PL manifolds, and is expected that this can be used to construct invariants of PL manifolds. In this talk, we show that solutions of higher-dimensional Polygon equations can be constructed from collections of "commutative" solutions of lower-dimensional Polygon equations, and we present explicit examples of such solutions. Furthermore, when a pair of solutions of the Polygon equation satisfies a condition called the mixed relation, we show that it gives rise to a solution of the Simplex equation, which is a higher-dimensional analogue of the Yang–Baxter equation. This talk is based on joint work with Tomoro Mochida.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/11/04
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Kazuto Takao (Tohoku University)
Diagrammatic criteria for strong irreducibility of Heegaard splittings and finiteness of Goeritz groups (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Kazuto Takao (Tohoku University)
Diagrammatic criteria for strong irreducibility of Heegaard splittings and finiteness of Goeritz groups (JAPANESE)
[ Abstract ]
Casson-Gordon gave a criterion for Heegaard splittings of 3-manifolds to be strongly irreducible. By strengthening it, Lustig-Moriah gave a criterion for Goeritz groups of Heegaard splittings to be finite. Their criteria are based on Heegaard diagrams formed by maximal disk systems of the handlebodies. We generalize them for arbitrary disk systems, including minimal ones. As an application, we give Heegaard splittings with non-minimal genera and finite Goeritz groups. This is based on joint work with Yuya Koda.
[ Reference URL ]Casson-Gordon gave a criterion for Heegaard splittings of 3-manifolds to be strongly irreducible. By strengthening it, Lustig-Moriah gave a criterion for Goeritz groups of Heegaard splittings to be finite. Their criteria are based on Heegaard diagrams formed by maximal disk systems of the handlebodies. We generalize them for arbitrary disk systems, including minimal ones. As an application, we give Heegaard splittings with non-minimal genera and finite Goeritz groups. This is based on joint work with Yuya Koda.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/10/28
17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Ayumu Inoue (Tsuda University)
On a relationship between quandle homology and relative group homology, from the view point of Seifert surfaces (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Ayumu Inoue (Tsuda University)
On a relationship between quandle homology and relative group homology, from the view point of Seifert surfaces (JAPANESE)
[ Abstract ]
Quandles and their homology are known to have good chemistry with knot theory. Associated with a triple of a group G, its automorphism, and its subgroup H satisfying a certain condition, we have a quandle. In this talk, we see that we have a chain map from the quandle chain complex of the quandle to the (Adamson/Hochschild) relative group chain complex of (G, H). We also see that this chain map has good chemistry with a triangulation of Seifert surface of a knot.
[ Reference URL ]Quandles and their homology are known to have good chemistry with knot theory. Associated with a triple of a group G, its automorphism, and its subgroup H satisfying a certain condition, we have a quandle. In this talk, we see that we have a chain map from the quandle chain complex of the quandle to the (Adamson/Hochschild) relative group chain complex of (G, H). We also see that this chain map has good chemistry with a triangulation of Seifert surface of a knot.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/10/14
17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Keiji Oguiso (The University of Tokyo)
On K3 surfaces with non-elementary hyperbolic automorphism group (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Keiji Oguiso (The University of Tokyo)
On K3 surfaces with non-elementary hyperbolic automorphism group (JAPANESE)
[ Abstract ]
This talk is based on my joint work with Professor Koji Fujiwara (Kyoto University) and Professor Xun Yu (Tianjin University).
Main result of this talk is the finiteness of the Néron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic, under the assumption that the Picard number greater than or equal to 6 (which is optimal to ensure the finiteness). In this talk, after recalling basic facts and some special nice properties of K3 surfaces, the notion of hyperbolicity of group due to Gromov, and their importance and interest (in our view), I would like to explain first why the non-elementary hyperbolicity of K3 surface automorphism group is the problem of the Néron-Severi lattices and then how one can deduce the above-mentioned finiteness, via a recent important observation by Professors Kikuta and Takatsu (independently) on geometrically finiteness, with a new algebro-geometric study of genus one fibrations on K3 surfaces by us.
[ Reference URL ]This talk is based on my joint work with Professor Koji Fujiwara (Kyoto University) and Professor Xun Yu (Tianjin University).
Main result of this talk is the finiteness of the Néron-Severi lattices of complex projective K3 surfaces whose automorphism groups are non-elementary hyperbolic, under the assumption that the Picard number greater than or equal to 6 (which is optimal to ensure the finiteness). In this talk, after recalling basic facts and some special nice properties of K3 surfaces, the notion of hyperbolicity of group due to Gromov, and their importance and interest (in our view), I would like to explain first why the non-elementary hyperbolicity of K3 surface automorphism group is the problem of the Néron-Severi lattices and then how one can deduce the above-mentioned finiteness, via a recent important observation by Professors Kikuta and Takatsu (independently) on geometrically finiteness, with a new algebro-geometric study of genus one fibrations on K3 surfaces by us.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/10/07
17:00-18:00 Online
Pre-registration required. See our seminar webpage.
Sakumi Sugawara (Hokkaido University)
Topology of hyperplane arrangements and related 3-manifolds (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Sakumi Sugawara (Hokkaido University)
Topology of hyperplane arrangements and related 3-manifolds (JAPANESE)
[ Abstract ]
One of the central questions in the topology of hyperplane arrangements is whether several topological invariants are combinatorially determined. While the cohomology ring of the complement has a combinatorial description, it remains open whether even the first Betti number of the Milnor fiber is. In contrast, the homeomorphism types of 3-manifolds appearing as the boundary manifold of projective line arrangements and the Milnor fiber boundary of arrangements in a 3-dimensional space are combinatorially determined. In this talk, we focus on these 3-manifolds. In particular, we will present the cohomology ring structure for the boundary manifold, originally due to Cohen-Suciu, and an explicit formula for the homology group of the Milnor fiber boundary of generic arrangements.
[ Reference URL ]One of the central questions in the topology of hyperplane arrangements is whether several topological invariants are combinatorially determined. While the cohomology ring of the complement has a combinatorial description, it remains open whether even the first Betti number of the Milnor fiber is. In contrast, the homeomorphism types of 3-manifolds appearing as the boundary manifold of projective line arrangements and the Milnor fiber boundary of arrangements in a 3-dimensional space are combinatorially determined. In this talk, we focus on these 3-manifolds. In particular, we will present the cohomology ring structure for the boundary manifold, originally due to Cohen-Suciu, and an explicit formula for the homology group of the Milnor fiber boundary of generic arrangements.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/07/22
17:00-18:30 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Alexis Marchand (Kyoto University)
Sharp spectral gaps for scl from negative curvature (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Alexis Marchand (Kyoto University)
Sharp spectral gaps for scl from negative curvature (ENGLISH)
[ Abstract ]
Stable commutator length is a measure of homological complexity of group elements, with connections to many topics in geometric topology, including quasimorphisms, bounded cohomology, and simplicial volume. The goal of this talk is to shed light on some of its relations with negative curvature. We will present a new geometric proof of a theorem of Heuer on sharp lower bounds for scl in right-angled Artin groups. Our proof relates letter-quasimorphisms (which are analogues of real-valued quasimorphisms with image in free groups) to negatively curved angle structures for surfaces estimating scl.
[ Reference URL ]Stable commutator length is a measure of homological complexity of group elements, with connections to many topics in geometric topology, including quasimorphisms, bounded cohomology, and simplicial volume. The goal of this talk is to shed light on some of its relations with negative curvature. We will present a new geometric proof of a theorem of Heuer on sharp lower bounds for scl in right-angled Artin groups. Our proof relates letter-quasimorphisms (which are analogues of real-valued quasimorphisms with image in free groups) to negatively curved angle structures for surfaces estimating scl.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/07/15
17:00-18:30 Room #056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Anastasiia Tsvietkova (Rutgers University)
Polynomially many genus g surfaces in a hyperbolic 3-manifold (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Anastasiia Tsvietkova (Rutgers University)
Polynomially many genus g surfaces in a hyperbolic 3-manifold (ENGLISH)
[ Abstract ]
For a low-dimensional manifold, one often tries to understand its intrinsic topology through its submanifolds, in particular of co-dimension 1. For example,
it was noticed before that presence of embedded essential surfaces in a 3-manifold can give information about that manifold. However to construct, classify or count such surfaces is a non-trivial task. We will discuss a universal upper bound for the number of non-isotopic genus g surfaces embedded in a hyperbolic 3-manifold, polynomial in hyperbolic volume. The surfaces are all closed essential surfaces, oriented and connected. This is joint work with Marc Lackenby.
[ Reference URL ]For a low-dimensional manifold, one often tries to understand its intrinsic topology through its submanifolds, in particular of co-dimension 1. For example,
it was noticed before that presence of embedded essential surfaces in a 3-manifold can give information about that manifold. However to construct, classify or count such surfaces is a non-trivial task. We will discuss a universal upper bound for the number of non-isotopic genus g surfaces embedded in a hyperbolic 3-manifold, polynomial in hyperbolic volume. The surfaces are all closed essential surfaces, oriented and connected. This is joint work with Marc Lackenby.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/07/08
17:00-18:30 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Hiroki Ishikura (The University of Tokyo)
Stallings-Swan’s Theorem for Borel graphs (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Hiroki Ishikura (The University of Tokyo)
Stallings-Swan’s Theorem for Borel graphs (JAPANESE)
[ Abstract ]
A Borel graph is a simplicial graph on a standard Borel space X such that the edge set is a Borel subset of X^2. Such objects have been studied in the context of countable Borel equivalence relations, and recently there are many attempts to apply the ideas of geometric group theory to them. Stallings-Swan's theorem states that groups of cohomological dimension 1 are free groups. We will talk about an analog of this theorem for Borel graphs: A Borel graph on X with uniformly bounded degrees of cohomological dimension 1 is Lipschitz equivalent to a Borel acyclic graph on X. This is proved by establishing a criterion for certain decomposition of Borel graphs, which is inspired by Dunwoody's work on accessibility of groups.
[ Reference URL ]A Borel graph is a simplicial graph on a standard Borel space X such that the edge set is a Borel subset of X^2. Such objects have been studied in the context of countable Borel equivalence relations, and recently there are many attempts to apply the ideas of geometric group theory to them. Stallings-Swan's theorem states that groups of cohomological dimension 1 are free groups. We will talk about an analog of this theorem for Borel graphs: A Borel graph on X with uniformly bounded degrees of cohomological dimension 1 is Lipschitz equivalent to a Borel acyclic graph on X. This is proved by establishing a criterion for certain decomposition of Borel graphs, which is inspired by Dunwoody's work on accessibility of groups.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/07/01
17:00-18:00 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Genki Sato (Fcuro, Inc.)
Presentation of finite Reedy categories as localizations of finite direct categories (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Genki Sato (Fcuro, Inc.)
Presentation of finite Reedy categories as localizations of finite direct categories (JAPANESE)
[ Abstract ]
In this talk, we present a novel construction that, for a given Reedy category $C$, produces a direct category $\operatorname{Down}(C)$ and a functor $\operatorname{Down}(C) \to C$, exhibiting $C$ as an $(\infty,1)$-categorical localization of $\operatorname{Down}(C)$. This result refines previous constructions in the literature by ensuring that $\operatorname{Down}(C)$ is finite whenever $C$ is finite—a property not guaranteed by existing approaches, such as those by Lurie or by Barwick and Kan. As an intended future application, this finiteness property is expected to be useful for embedding the construction into the syntax of a (non-infinitary) logic. In particular, I expect that the construction may be used to develop a meta-theory of finitely truncated simplicial types and other finite Reedy presheaves for homotopy type theory, thereby extending Kraus and Sattler's unfinished approach. This talk is based on arXiv:2502.05096.
[ Reference URL ]In this talk, we present a novel construction that, for a given Reedy category $C$, produces a direct category $\operatorname{Down}(C)$ and a functor $\operatorname{Down}(C) \to C$, exhibiting $C$ as an $(\infty,1)$-categorical localization of $\operatorname{Down}(C)$. This result refines previous constructions in the literature by ensuring that $\operatorname{Down}(C)$ is finite whenever $C$ is finite—a property not guaranteed by existing approaches, such as those by Lurie or by Barwick and Kan. As an intended future application, this finiteness property is expected to be useful for embedding the construction into the syntax of a (non-infinitary) logic. In particular, I expect that the construction may be used to develop a meta-theory of finitely truncated simplicial types and other finite Reedy presheaves for homotopy type theory, thereby extending Kraus and Sattler's unfinished approach. This talk is based on arXiv:2502.05096.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/06/26
15:30-17:00 Room #hybrid/122 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Danny Calegari (The University of Chicago)
Universal circles and Zippers (2) (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Danny Calegari (The University of Chicago)
Universal circles and Zippers (2) (ENGLISH)
[ Abstract ]
If M is a hyperbolic 3-manifold fibering over the circle, then the fundamental group of M acts faithfully by homeomorphisms on a circle—the circle at infinity of the universal cover of the fiber—preserving a pair of invariant (stable and unstable) laminations. Many different kinds of dynamical structures including taut foliations and quasigeodesic or pseudo-Anosov flows are known to give rise to universal circles—a circle with a faithful action of the fundamental group preserving a pair of invariant laminations—and those universal circles play a key role in relating the dynamical structure to the geometry of M. In these two talks, I will introduce the idea of *zippers*, which give a new and direct way to construct universal circles, streamlining the known constructions in many cases, and giving a host of new constructions in others. In particular, zippers—and their associated universal circles—may be constructed directly from homological objects (uniform quasimorphisms), causal structures (uniform left orders), and many other structures. This is joint work with Ino Loukidou.
[ Reference URL ]If M is a hyperbolic 3-manifold fibering over the circle, then the fundamental group of M acts faithfully by homeomorphisms on a circle—the circle at infinity of the universal cover of the fiber—preserving a pair of invariant (stable and unstable) laminations. Many different kinds of dynamical structures including taut foliations and quasigeodesic or pseudo-Anosov flows are known to give rise to universal circles—a circle with a faithful action of the fundamental group preserving a pair of invariant laminations—and those universal circles play a key role in relating the dynamical structure to the geometry of M. In these two talks, I will introduce the idea of *zippers*, which give a new and direct way to construct universal circles, streamlining the known constructions in many cases, and giving a host of new constructions in others. In particular, zippers—and their associated universal circles—may be constructed directly from homological objects (uniform quasimorphisms), causal structures (uniform left orders), and many other structures. This is joint work with Ino Loukidou.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/06/24
17:00-18:30 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Danny Calegari (The University of Chicago)
Universal circles and Zippers (1) (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Danny Calegari (The University of Chicago)
Universal circles and Zippers (1) (ENGLISH)
[ Abstract ]
If M is a hyperbolic 3-manifold fibering over the circle, then the fundamental group of M acts faithfully by homeomorphisms on a circle—the circle at infinity of the universal cover of the fiber—preserving a pair of invariant (stable and unstable) laminations. Many different kinds of dynamical structures including taut foliations and quasigeodesic or pseudo-Anosov flows are known to give rise to universal circles—a circle with a faithful action of the fundamental group preserving a pair of invariant laminations—and those universal circles play a key role in relating the dynamical structure to the geometry of M. In these two talks, I will introduce the idea of *zippers*, which give a new and direct way to construct universal circles, streamlining the known constructions in many cases, and giving a host of new constructions in others. In particular, zippers—and their associated universal circles—may be constructed directly from homological objects (uniform quasimorphisms), causal structures (uniform left orders), and many other structures. This is joint work with Ino Loukidou.
[ Reference URL ]If M is a hyperbolic 3-manifold fibering over the circle, then the fundamental group of M acts faithfully by homeomorphisms on a circle—the circle at infinity of the universal cover of the fiber—preserving a pair of invariant (stable and unstable) laminations. Many different kinds of dynamical structures including taut foliations and quasigeodesic or pseudo-Anosov flows are known to give rise to universal circles—a circle with a faithful action of the fundamental group preserving a pair of invariant laminations—and those universal circles play a key role in relating the dynamical structure to the geometry of M. In these two talks, I will introduce the idea of *zippers*, which give a new and direct way to construct universal circles, streamlining the known constructions in many cases, and giving a host of new constructions in others. In particular, zippers—and their associated universal circles—may be constructed directly from homological objects (uniform quasimorphisms), causal structures (uniform left orders), and many other structures. This is joint work with Ino Loukidou.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/06/17
17:00-18:30 Room #ハイブリッド開催/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Taketo Sano (RIKEN iTHEMS)
A diagrammatic approach to the Rasmussen invariant via tangles and cobordisms (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Taketo Sano (RIKEN iTHEMS)
A diagrammatic approach to the Rasmussen invariant via tangles and cobordisms (JAPANESE)
[ Abstract ]
Rasmussen's s-invariant is an integer-valued knot invariant derived from Khovanov homology, and it has remarkable applications in topology, such as providing a combinatorial reproof of the Milnor conjecture. Although the s-invariant is defined using the quantum filtration of the homology group, it is difficult to interpret it geometrically. In this talk, we give a cobordism-based interpretation of the s-invariant based on Bar-Natan’s reformulation of Khovanov homology via tangles and cobordisms. This interpretation allows for the computation of the s-invariant from a tangle decomposition of the knot. As an application, we demonstrate that the s-invariants of a certain infinite family of pretzel knots can be determined by hand.
[ Reference URL ]Rasmussen's s-invariant is an integer-valued knot invariant derived from Khovanov homology, and it has remarkable applications in topology, such as providing a combinatorial reproof of the Milnor conjecture. Although the s-invariant is defined using the quantum filtration of the homology group, it is difficult to interpret it geometrically. In this talk, we give a cobordism-based interpretation of the s-invariant based on Bar-Natan’s reformulation of Khovanov homology via tangles and cobordisms. This interpretation allows for the computation of the s-invariant from a tangle decomposition of the knot. As an application, we demonstrate that the s-invariants of a certain infinite family of pretzel knots can be determined by hand.
Preprint: https://arxiv.org/abs/2503.05414
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/06/10
17:00-18:30 Room #ハイブリッド開催/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Takayuki Morifuji (Keio University)
Bell polynomials and hyperbolic volume of knots (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Takayuki Morifuji (Keio University)
Bell polynomials and hyperbolic volume of knots (JAPANESE)
[ Abstract ]
In this talk, we introduce two volume formulas for hyperbolic knot complements using Bell polynomials. The first applies to hyperbolic fibered knots and expresses the volume of the complement in terms of the trace of the monodromy matrix. The second provides a formula for the volume of general hyperbolic knot complements based on a weighted adjacency matrix. This talk is based on joint work with Hiroshi Goda.
[ Reference URL ]In this talk, we introduce two volume formulas for hyperbolic knot complements using Bell polynomials. The first applies to hyperbolic fibered knots and expresses the volume of the complement in terms of the trace of the monodromy matrix. The second provides a formula for the volume of general hyperbolic knot complements based on a weighted adjacency matrix. This talk is based on joint work with Hiroshi Goda.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/06/03
17:00-18:30 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Tatsuo Suwa (Hokkaido University)
Localized intersection product for maps and applications (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Tatsuo Suwa (Hokkaido University)
Localized intersection product for maps and applications (JAPANESE)
[ Abstract ]
We define localized intersection product in manifolds using combinatorial topology, which corresponds to the cup product in relative cohomology via the Alexander duality. It is extended to localized intersection product for maps. Combined with the relative Cech-de Rham cohomology, it is effectively used in the residue theory of vector bundles and coherent sheaves. As an application, we have the functoriality of Baum-Bott residues of singular holomorphic foliations under certain conditions, which yields answers to problems and conjectures posed by various authors concerning singular holomorphic foliations and complex Poisson structures. This includes a joint work with M. Correa.
References
[1] M. Correa and T. Suwa, On functoriality of Baum-Bott residues, arXiv:2501.15133.
[2] T. Suwa, Complex Analytic Geometry - From the Localization Viewpoint,
World Scientific, 2024.
[ Reference URL ]We define localized intersection product in manifolds using combinatorial topology, which corresponds to the cup product in relative cohomology via the Alexander duality. It is extended to localized intersection product for maps. Combined with the relative Cech-de Rham cohomology, it is effectively used in the residue theory of vector bundles and coherent sheaves. As an application, we have the functoriality of Baum-Bott residues of singular holomorphic foliations under certain conditions, which yields answers to problems and conjectures posed by various authors concerning singular holomorphic foliations and complex Poisson structures. This includes a joint work with M. Correa.
References
[1] M. Correa and T. Suwa, On functoriality of Baum-Bott residues, arXiv:2501.15133.
[2] T. Suwa, Complex Analytic Geometry - From the Localization Viewpoint,
World Scientific, 2024.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/05/13
17:00-18:30 Room #ハイブリッド開催/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Yuichi Ike (The University of Tokyo)
Interleaving distance for sheaves and its application to symplectic geometry (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Yuichi Ike (The University of Tokyo)
Interleaving distance for sheaves and its application to symplectic geometry (JAPANESE)
[ Abstract ]
The Interleaving distance was first introduced in the context of the stability of persistent homology and is now used in various fields. It was adapted to sheaves by the pioneering work of Curry, and later in the derived setting by Kashiwara and Schapira. In this talk, I will explain that the interleaving distance for sheaves is related to the energy of Hamiltonian actions on cotangent bundles. Moreover, I will show that the derived interleaving distance is complete, which enables us to treat non-smooth objects in symplectic geometry using sheaf-theoretic methods. This is based on joint work with Tomohiro Asano, Stéphane Guillermou, Vincent Humilière, and Claude Viterbo.
[ Reference URL ]The Interleaving distance was first introduced in the context of the stability of persistent homology and is now used in various fields. It was adapted to sheaves by the pioneering work of Curry, and later in the derived setting by Kashiwara and Schapira. In this talk, I will explain that the interleaving distance for sheaves is related to the energy of Hamiltonian actions on cotangent bundles. Moreover, I will show that the derived interleaving distance is complete, which enables us to treat non-smooth objects in symplectic geometry using sheaf-theoretic methods. This is based on joint work with Tomohiro Asano, Stéphane Guillermou, Vincent Humilière, and Claude Viterbo.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/04/22
17:30-18:30 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Joint with Lie Groups and Representation Theory Seminar. See our seminar webpage.
Takayuki Okuda (Hiroshima University)
Coarse coding theory and discontinuous groups on homogeneous spaces (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.
Takayuki Okuda (Hiroshima University)
Coarse coding theory and discontinuous groups on homogeneous spaces (JAPANESE)
[ Abstract ]
Let $M$ and $\mathcal{I}$ be sets, and consider a surjective map
\[ R : M \times M \to \mathcal{I}. \]
For each subset $\mathcal{A} \subseteq \mathcal{I}$, we define $\mathcal{A}$-free codes on $M$ as subsets $C \subseteq M$ satisfying
\[ R(C \times C) \cap \mathcal{A} = \emptyset. \]
This definition encompasses various types of codes, including error-correcting codes, spherical codes, and those defined on association schemes or homogeneous spaces. In this talk, we introduce a "pre-bornological coarse structure" on $\mathcal{I}$ and define the notion of coarsely $\mathcal{A}$-free codes on $M$. This extends the concept of $\mathcal{A}$-free codes introduced above. As a main result, we establish relationships between coarse coding theory on Riemannian homogeneous spaces $M = G/K$ and discontinuous group theory on non-Riemannian homogeneous spaces $X = G/H$.
[ Reference URL ]Let $M$ and $\mathcal{I}$ be sets, and consider a surjective map
\[ R : M \times M \to \mathcal{I}. \]
For each subset $\mathcal{A} \subseteq \mathcal{I}$, we define $\mathcal{A}$-free codes on $M$ as subsets $C \subseteq M$ satisfying
\[ R(C \times C) \cap \mathcal{A} = \emptyset. \]
This definition encompasses various types of codes, including error-correcting codes, spherical codes, and those defined on association schemes or homogeneous spaces. In this talk, we introduce a "pre-bornological coarse structure" on $\mathcal{I}$ and define the notion of coarsely $\mathcal{A}$-free codes on $M$. This extends the concept of $\mathcal{A}$-free codes introduced above. As a main result, we establish relationships between coarse coding theory on Riemannian homogeneous spaces $M = G/K$ and discontinuous group theory on non-Riemannian homogeneous spaces $X = G/H$.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/04/15
17:00-18:30 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Kento Sakai (The University of Tokyo)
Harmonic maps and uniform degeneration of hyperbolic surfaces with boundary (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Kento Sakai (The University of Tokyo)
Harmonic maps and uniform degeneration of hyperbolic surfaces with boundary (JAPANESE)
[ Abstract ]
If holomorphic quadratic differentials on a punctured Riemann surface have poles of order >1 at the punctures, they correspond to hyperbolic surfaces with geodesic boundary via harmonic maps. This correspondence is known as the harmonic map parametrization of hyperbolic surfaces. In this talk, we use this parametrization to describe the degeneration of hyperbolic surfaces via Gromov-Hausdorff convergence. As an application, we study the limit of a one-parameter family of hyperbolic surfaces in the Thurston boundary of Teichmüller space.
[ Reference URL ]If holomorphic quadratic differentials on a punctured Riemann surface have poles of order >1 at the punctures, they correspond to hyperbolic surfaces with geodesic boundary via harmonic maps. This correspondence is known as the harmonic map parametrization of hyperbolic surfaces. In this talk, we use this parametrization to describe the degeneration of hyperbolic surfaces via Gromov-Hausdorff convergence. As an application, we study the limit of a one-parameter family of hyperbolic surfaces in the Thurston boundary of Teichmüller space.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/04/08
17:00-18:30 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Asuka Takatsu (The University of Tokyo)
Concavity and Dirichlet heat flow (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Asuka Takatsu (The University of Tokyo)
Concavity and Dirichlet heat flow (JAPANESE)
[ Abstract ]
In a convex domain of Euclidean space, the Dirichlet heat flow transmits log-concavity from the initial time to any time. I first introduce a notion of generalized concavity and specify a concavity preserved by the Dirichlet heat flow. Then I show that in a totally convex domain of a Riemannian manifold, if some concavity is preserved by the Dirichlet heat flow, then the sectional curvature must vanish on the domain. The first part is based on joint work with Kazuhiro Ishige and Paolo Salani, and the second part is based on joint work with Kazuhiro Ishige and Haruto Tokunaga.
[ Reference URL ]In a convex domain of Euclidean space, the Dirichlet heat flow transmits log-concavity from the initial time to any time. I first introduce a notion of generalized concavity and specify a concavity preserved by the Dirichlet heat flow. Then I show that in a totally convex domain of a Riemannian manifold, if some concavity is preserved by the Dirichlet heat flow, then the sectional curvature must vanish on the domain. The first part is based on joint work with Kazuhiro Ishige and Paolo Salani, and the second part is based on joint work with Kazuhiro Ishige and Haruto Tokunaga.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/01/21
17:00-18:00 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Ryotaro Kosuge (The University of Tokyo)
Rational abelianizations of Chillingworth subgroups of mapping class groups and 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.
Ryotaro Kosuge (The University of Tokyo)
Rational abelianizations of Chillingworth subgroups of mapping class groups and automorphism groups of free groups (JAPANESE)
[ Abstract ]
The Chillingworth subgroup of the mapping class group of a surface is defined as the subgroup consisting of elements that preserve nonsingular vector fields up to homotopy. The action of the mapping class group on the set of homotopy classes of nonsingular vector fields is described using the concept of the winding number. By employing a cohomological approach, we extend the notion of the winding number to general manifolds, introducing the definition of the Chillingworth subgroup for both the mapping class group of general manifolds and the automorphism group of a free group. In this work, we determine the rational abelianization of the Chillingworth subgroup of the mapping class group of a surface and, under a certain assumption, also determine the rational abelianization of the Chillingworth subgroup for the automorphism group of a free group.
[ Reference URL ]The Chillingworth subgroup of the mapping class group of a surface is defined as the subgroup consisting of elements that preserve nonsingular vector fields up to homotopy. The action of the mapping class group on the set of homotopy classes of nonsingular vector fields is described using the concept of the winding number. By employing a cohomological approach, we extend the notion of the winding number to general manifolds, introducing the definition of the Chillingworth subgroup for both the mapping class group of general manifolds and the automorphism group of a free group. In this work, we determine the rational abelianization of the Chillingworth subgroup of the mapping class group of a surface and, under a certain assumption, also determine the rational abelianization of the Chillingworth subgroup for the automorphism group of a free group.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2025/01/14
17:00-18:00 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Leo Yoshioka (The University of Tokyo)
Some non-trivial cycles of the space of long embeddings detected by configuration space integral invariants using g-loop graphs (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Leo Yoshioka (The University of Tokyo)
Some non-trivial cycles of the space of long embeddings detected by configuration space integral invariants using g-loop graphs (JAPANESE)
[ Abstract ]
In this talk, we give some non-trivial cocycles and cycles of the space of long embeddings R^j --> R^n modulo immersions. First, we construct a cocycle through configuration space integrals with the simplest 2-loop graph cocycle of the Bott-Cattaneo-Rossi graph complex for odd n and j. Then, we give a cycle from a chord diagram on oriented lines, which is associated with the simplest 2-loop hairy graph. We show the non-triviality of this (co)cycle by pairing argument, which is reduced to pairing of graphs with the chord diagram. This construction of cycles and the pairing argument to show the non-triviality is also applied to general 2-loop (co)cycles of top degree. If time permits, we introduce a modified graph complex and configuration space integrals to give more general cocycles. This new graph complex is quasi-isomorphic to both the hairy graph complex and the graph complex introduced in embedding calculus by Arone and Turchin. With these modified cocycles, our pairing argument provides an alternative proof of the non-finite generation of the (j-1)-th rational homotopy group of the space of long j-knots R^j -->R^{j+2}, which Budney-Gabai and Watanabe first established.
[ Reference URL ]In this talk, we give some non-trivial cocycles and cycles of the space of long embeddings R^j --> R^n modulo immersions. First, we construct a cocycle through configuration space integrals with the simplest 2-loop graph cocycle of the Bott-Cattaneo-Rossi graph complex for odd n and j. Then, we give a cycle from a chord diagram on oriented lines, which is associated with the simplest 2-loop hairy graph. We show the non-triviality of this (co)cycle by pairing argument, which is reduced to pairing of graphs with the chord diagram. This construction of cycles and the pairing argument to show the non-triviality is also applied to general 2-loop (co)cycles of top degree. If time permits, we introduce a modified graph complex and configuration space integrals to give more general cocycles. This new graph complex is quasi-isomorphic to both the hairy graph complex and the graph complex introduced in embedding calculus by Arone and Turchin. With these modified cocycles, our pairing argument provides an alternative proof of the non-finite generation of the (j-1)-th rational homotopy group of the space of long j-knots R^j -->R^{j+2}, which Budney-Gabai and Watanabe first established.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2024/12/17
17:00-18:30 Room #hybrid/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Emmanuel Graff (The University of Tokyo)
Is there torsion in the homotopy braid group? (ENGLISH)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Emmanuel Graff (The University of Tokyo)
Is there torsion in the homotopy braid group? (ENGLISH)
[ Abstract ]
In the 'Kourovka notebook,' V. Lin questions the existence of a non-trivial epimorphism from the braid group onto a non-abelian torsion-free group. The homotopy braid group, studied by Goldsmith in 1974, naturally appears as a potential candidate. In 2001, Humphries showed that this homotopy braid group is torsion-free for less than six strands. In this presentation, we will see a new approach based on the broader concept of welded braids, along with algebraic techniques, to determine whether the homotopy braid group provides a complete answer to Lin’s question.
[ Reference URL ]In the 'Kourovka notebook,' V. Lin questions the existence of a non-trivial epimorphism from the braid group onto a non-abelian torsion-free group. The homotopy braid group, studied by Goldsmith in 1974, naturally appears as a potential candidate. In 2001, Humphries showed that this homotopy braid group is torsion-free for less than six strands. In this presentation, we will see a new approach based on the broader concept of welded braids, along with algebraic techniques, to determine whether the homotopy braid group provides a complete answer to Lin’s question.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
2024/12/10
17:00-18:30 Room #ハイブリッド開催/056 (Graduate School of Math. Sci. Bldg.)
Pre-registration required. See our seminar webpage.
Shun Wakatsuki (Nagoya University)
Computation of the magnitude homology as a derived functor (JAPANESE)
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
Pre-registration required. See our seminar webpage.
Shun Wakatsuki (Nagoya University)
Computation of the magnitude homology as a derived functor (JAPANESE)
[ Abstract ]
Asao-Ivanov showed that the magnitude homology of a finite metric space is isomorphic to the derived functor Tor over some ring. In this talk, I will explain an application of the theory of minimal projective resolution to this derived functor. Especially in the case of a geodetic graph, torsion-freeness and a criterion for diagonality of the magnitude homology are established. Moreover, I will give computational examples including cyclic graphs. This is a joint work with Yasuhiko Asao.
[ Reference URL ]Asao-Ivanov showed that the magnitude homology of a finite metric space is isomorphic to the derived functor Tor over some ring. In this talk, I will explain an application of the theory of minimal projective resolution to this derived functor. Especially in the case of a geodetic graph, torsion-freeness and a criterion for diagonality of the magnitude homology are established. Moreover, I will give computational examples including cyclic graphs. This is a joint work with Yasuhiko Asao.
https://park.itc.u-tokyo.ac.jp/MSF/topology/TuesdaySeminar/index_e.html
