## Tuesday Seminar on Topology

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

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

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

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

**Seminar information archive**

### 2019/10/08

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

How can we generalize hyperbolic dynamics to group actions? (JAPANESE)

**Masaki Tsukamoto**(Kyushu University)How can we generalize hyperbolic dynamics to group actions? (JAPANESE)

[ Abstract ]

Hyperbolicity is one of the most fundamental concepts in the study of dynamical systems. It provides rich (expansive and positive entropy) and yet controllable (stable and having some nice measures) dynamical systems. Then, can we generalize this to group actions?

A naive approach seems difficult. For example, suppose $Z^2$ smoothly acts on a finite dimensional compact manifold. Then it is easy to see that its entropy is zero. In other words, there is no rich $Z^2$-actions in the ordinary finite dimensional world. So we must go to infinite dimension. But what kind structure can we expect in the infinite dimensional world?

The purpose of this talk is to explain that mean dimension seems to play an important role in such a research direction. In particular, we explain the following principle :

If $Z^k$ acts on a space $X$ with some hyperbolicity, then we can control the mean dimension of the sub-action of any rank $(k-1)$ subgroup $G$ of $Z^k$.

This talk is based on the joint works with Tom Meyerovitch and Mao Shinoda.

Hyperbolicity is one of the most fundamental concepts in the study of dynamical systems. It provides rich (expansive and positive entropy) and yet controllable (stable and having some nice measures) dynamical systems. Then, can we generalize this to group actions?

A naive approach seems difficult. For example, suppose $Z^2$ smoothly acts on a finite dimensional compact manifold. Then it is easy to see that its entropy is zero. In other words, there is no rich $Z^2$-actions in the ordinary finite dimensional world. So we must go to infinite dimension. But what kind structure can we expect in the infinite dimensional world?

The purpose of this talk is to explain that mean dimension seems to play an important role in such a research direction. In particular, we explain the following principle :

If $Z^k$ acts on a space $X$ with some hyperbolicity, then we can control the mean dimension of the sub-action of any rank $(k-1)$ subgroup $G$ of $Z^k$.

This talk is based on the joint works with Tom Meyerovitch and Mao Shinoda.

### 2019/10/01

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

Quantized SL(2) representations of knot groups (JAPANESE)

**Jun Murakami**(Waseda University)Quantized SL(2) representations of knot groups (JAPANESE)

[ Abstract ]

Let K be a knot and G be a group. The representation space of K for the group G means the space of homomorphisms from the knot group to G and is defined by using the group ring C[G], where C[G] is the ring of functions on G and has a commutative Hopf algebra structure. This construction can be generalized to any commutative Hopf algebras.

In this talk, we extend this construction to any braided Hopf algebras with braided commutativity. A typical example is BSL(2), which is the braided SL(2) introduced by S. Majid. Applying the above construction to BSL(2), we get the space of BSL(2) representations, which provides a quantization of SL(2) representations of a knot. This is joint work with Roloand van der Veen.

Let K be a knot and G be a group. The representation space of K for the group G means the space of homomorphisms from the knot group to G and is defined by using the group ring C[G], where C[G] is the ring of functions on G and has a commutative Hopf algebra structure. This construction can be generalized to any commutative Hopf algebras.

In this talk, we extend this construction to any braided Hopf algebras with braided commutativity. A typical example is BSL(2), which is the braided SL(2) introduced by S. Majid. Applying the above construction to BSL(2), we get the space of BSL(2) representations, which provides a quantization of SL(2) representations of a knot. This is joint work with Roloand van der Veen.

### 2019/07/16

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

Seifert vs. slice genera of knots in twist families and a characterization of braid axes (JAPANESE)

**Kimihiko Motegi**(Nihon University)Seifert vs. slice genera of knots in twist families and a characterization of braid axes (JAPANESE)

[ Abstract ]

Twisting a knot $K$ in $S^3$ along a disjoint unknot $c$ produces a twist family of knots $\{K_n\}$ indexed by the integers. Comparing the behaviors of the Seifert genus $g(K_n)$ and the slice genus $g_4(K_n)$ under twistings, we prove that if $g(K_n) - g_4(K_n) < C$ for some constant $C$ for infinitely many integers $n > 0$ or $g(K_n) / g_4(K_n)$ limits to $1$, then the winding number of $K$ about $c$ equals either zero or the wrapping number. As a key application, if $\{K_n\}$ or the mirror twist family $\{\overline{K_n}\}$ contains infinitely many tight fibered knots, then the latter must occur. This leads to the characterization that $c$ is a braid axis of $K$ if and only if both $\{K_n\}$ and $\{\overline{K_n}\}$ each contain infinitely many tight fibered knots. We also give a necessary and sufficient condition for $\{K_n\}$ to contain infinitely many L-space knots, and apply the characterization to prove that satellite L-space knots have braided patterns, which answers a question of both Baker-Moore and Hom in the positive. This result also implies an absence of essential Conway spheres for satellite L-space knots, which gives a partial answer to a conjecture of Lidman-Moore.

Twisting a knot $K$ in $S^3$ along a disjoint unknot $c$ produces a twist family of knots $\{K_n\}$ indexed by the integers. Comparing the behaviors of the Seifert genus $g(K_n)$ and the slice genus $g_4(K_n)$ under twistings, we prove that if $g(K_n) - g_4(K_n) < C$ for some constant $C$ for infinitely many integers $n > 0$ or $g(K_n) / g_4(K_n)$ limits to $1$, then the winding number of $K$ about $c$ equals either zero or the wrapping number. As a key application, if $\{K_n\}$ or the mirror twist family $\{\overline{K_n}\}$ contains infinitely many tight fibered knots, then the latter must occur. This leads to the characterization that $c$ is a braid axis of $K$ if and only if both $\{K_n\}$ and $\{\overline{K_n}\}$ each contain infinitely many tight fibered knots. We also give a necessary and sufficient condition for $\{K_n\}$ to contain infinitely many L-space knots, and apply the characterization to prove that satellite L-space knots have braided patterns, which answers a question of both Baker-Moore and Hom in the positive. This result also implies an absence of essential Conway spheres for satellite L-space knots, which gives a partial answer to a conjecture of Lidman-Moore.

### 2019/07/09

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

Mod 2 cohomology of moduli stacks of real vector bundles (ENGLISH)

**Florent Schaffhauser**(Université de Strasbourg)Mod 2 cohomology of moduli stacks of real vector bundles (ENGLISH)

[ Abstract ]

The rational cohomology ring of the moduli stack of holomorphic vector bundles of fixed rank and degree over a compact Riemann surface was studied by Atiyah and Bott using tools of differential geometry and algebraic topology: they found generators of that ring and computed its Poincaré series. In joint work with Chiu-Chu Melissa Liu, we study in a similar way the mod 2 cohomology ring of the moduli stack of real vector bundles of fixed topological type over a compact Riemann surface with real structure. The goal of the talk is to explain the principle of that computation, emphasizing the analogies and differences between the real and complex cases, and discuss applications of the method. In particular, we provide explicit generators of mod 2 cohomology rings of moduli stacks of vector bundles over a real algebraic curve.

The rational cohomology ring of the moduli stack of holomorphic vector bundles of fixed rank and degree over a compact Riemann surface was studied by Atiyah and Bott using tools of differential geometry and algebraic topology: they found generators of that ring and computed its Poincaré series. In joint work with Chiu-Chu Melissa Liu, we study in a similar way the mod 2 cohomology ring of the moduli stack of real vector bundles of fixed topological type over a compact Riemann surface with real structure. The goal of the talk is to explain the principle of that computation, emphasizing the analogies and differences between the real and complex cases, and discuss applications of the method. In particular, we provide explicit generators of mod 2 cohomology rings of moduli stacks of vector bundles over a real algebraic curve.

### 2019/07/02

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

Brane coproducts and their applications (JAPANESE)

**Shun Wakatsuki**(The University of Tokyo)Brane coproducts and their applications (JAPANESE)

[ Abstract ]

The loop coproduct is a coproduct on the homology of the free loop space of a Poincaré duality space (or more generally a Gorenstein space). In this talk, I will introduce two kinds of brane coproducts which are generalizations of the loop coproduct to the homology of a sphere space (i.e. the mapping space from a sphere). Their constructions are based on the finiteness of the dimensions of mapping spaces in some sense. As an application, I will show the vanishing of some cup products on sphere spaces by comparing these two brane coproducts. This gives a generalization of a result of Menichi for the case of free loop spaces.

The loop coproduct is a coproduct on the homology of the free loop space of a Poincaré duality space (or more generally a Gorenstein space). In this talk, I will introduce two kinds of brane coproducts which are generalizations of the loop coproduct to the homology of a sphere space (i.e. the mapping space from a sphere). Their constructions are based on the finiteness of the dimensions of mapping spaces in some sense. As an application, I will show the vanishing of some cup products on sphere spaces by comparing these two brane coproducts. This gives a generalization of a result of Menichi for the case of free loop spaces.

### 2019/06/25

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

Geometry of symplectic log Calabi-Yau surfaces (ENGLISH)

**Tian-Jun Li**(University of Minnesota)Geometry of symplectic log Calabi-Yau surfaces (ENGLISH)

[ Abstract ]

This is a survey on the geometry of symplectic log Calabi-Yau surfaces, which are the symplectic analogues of Looijenga pairs. We address the classification up to symplectic deformation, the relations between symplectic circular sequences and anti-canonical sequences, contact trichotomy, and symplectic fillings. This is a joint work with Cheuk Yu Mak.

This is a survey on the geometry of symplectic log Calabi-Yau surfaces, which are the symplectic analogues of Looijenga pairs. We address the classification up to symplectic deformation, the relations between symplectic circular sequences and anti-canonical sequences, contact trichotomy, and symplectic fillings. This is a joint work with Cheuk Yu Mak.

### 2019/06/18

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

Filtered instanton homology and the homology cobordism group (JAPANESE)

**Masaki Taniguchi**(The University of Tokyo)Filtered instanton homology and the homology cobordism group (JAPANESE)

[ Abstract ]

We give a new family of real-valued invariants {r_s} of oriented homology 3-spheres. The invariants are defined by using some filtered version of instanton Floer homology. The invariants are closely related to the existence of solutions to ASD equations on Y×R for a given homology sphere Y. We show some properties of {r_s} containing a connected sum formula and a negative definite inequality. As applications of such properties of {r_s}, we obtain several new results on the homology cobordism group and the knot concordance group. As one of such results, we show that if the 1-surgery of a knot has the Froyshov invariant negative, then all positive 1/n-surgeries of the knot are linearly independent in the homology cobordism group. This theorem gives a generalization of the theorem shown by Furuta and Fintushel-Stern in ’90. Moreover, we estimate the values of {r_s} for a hyperbolic manifold Y with an error of at most 10^{-50}. It seems the values are irrational. If the values are irrational, we can conclude that the homology cobordism group is not generated by Seifert homology spheres. This is joint work with Yuta Nozaki and Kouki Sato.

We give a new family of real-valued invariants {r_s} of oriented homology 3-spheres. The invariants are defined by using some filtered version of instanton Floer homology. The invariants are closely related to the existence of solutions to ASD equations on Y×R for a given homology sphere Y. We show some properties of {r_s} containing a connected sum formula and a negative definite inequality. As applications of such properties of {r_s}, we obtain several new results on the homology cobordism group and the knot concordance group. As one of such results, we show that if the 1-surgery of a knot has the Froyshov invariant negative, then all positive 1/n-surgeries of the knot are linearly independent in the homology cobordism group. This theorem gives a generalization of the theorem shown by Furuta and Fintushel-Stern in ’90. Moreover, we estimate the values of {r_s} for a hyperbolic manifold Y with an error of at most 10^{-50}. It seems the values are irrational. If the values are irrational, we can conclude that the homology cobordism group is not generated by Seifert homology spheres. This is joint work with Yuta Nozaki and Kouki Sato.

### 2019/06/04

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

Gluck twist on branched twist spins (JAPANESE)

**Mizuki Fukuda**(Tokyo Gakugei University)Gluck twist on branched twist spins (JAPANESE)

[ Abstract ]

A branched twist spin is an embedded two sphere in the four sphere and it is defined as the set of singular points of a circle action on the four sphere. Gluck showed that the set of isotopy classes of diffeomorphisms on $S^1 \times S^2$ is isomorphic to $Z_2$, and an operation of removing a neighborhood of 2-knot from the four sphere and regluing it by the generator of $Z_2$ is called a Gluck twist. It is known by Pao that the Gluck twist along a branched twist spin does not change the four sphere. In this talk, we give an another proof of Pao’s result by using a decomposition of $S^4$ associated with the circle action, and we show that the set of branched twist spins does not change by the Gluck twist.

A branched twist spin is an embedded two sphere in the four sphere and it is defined as the set of singular points of a circle action on the four sphere. Gluck showed that the set of isotopy classes of diffeomorphisms on $S^1 \times S^2$ is isomorphic to $Z_2$, and an operation of removing a neighborhood of 2-knot from the four sphere and regluing it by the generator of $Z_2$ is called a Gluck twist. It is known by Pao that the Gluck twist along a branched twist spin does not change the four sphere. In this talk, we give an another proof of Pao’s result by using a decomposition of $S^4$ associated with the circle action, and we show that the set of branched twist spins does not change by the Gluck twist.

### 2019/05/28

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

Exotic four-manifolds via positive factorizations (ENGLISH)

**R. Inanc Baykur**(University of Massachusetts)Exotic four-manifolds via positive factorizations (ENGLISH)

[ Abstract ]

We will discuss several new ideas and techniques for producing positive Dehn twist factorizations of surface mapping classes, which yield novel constructions of various interesting four-manifolds, such as symplectic Calabi-Yau surfaces and exotic rational surfaces, via Lefschetz pencils.

We will discuss several new ideas and techniques for producing positive Dehn twist factorizations of surface mapping classes, which yield novel constructions of various interesting four-manifolds, such as symplectic Calabi-Yau surfaces and exotic rational surfaces, via Lefschetz pencils.

### 2019/05/21

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

On the dealternating number and the alternation number (ENGLISH)

**Maria de los Angeles Guevara**(Osaka City University)On the dealternating number and the alternation number (ENGLISH)

[ Abstract ]

Links can be divided into alternating and non-alternating depending on if they possess an alternating diagram or not. After the proof of the Tait flype conjecture on alternating links, it became an important question to ask how a non-alternating link is “close to” alternating links. The dealternating and alternation numbers, which are invariants introduced by C. Adams et al. and A. Kawauchi, respectively, can deal with this question. By definitions, for any link, its alternation number is less than or equal to its dealternating number. It is known that in general the equality does not hold. However, in general, it is not easy to show a gap between these invariants. In this seminar, we will show some results regarding these invariants. In particular, for each pair of positive integers, we will construct infinitely many knots, which have dealternating and alternation numbers determined for these integers. Therefore, an arbitrary gap between the values of these invariants will be obtained.

Links can be divided into alternating and non-alternating depending on if they possess an alternating diagram or not. After the proof of the Tait flype conjecture on alternating links, it became an important question to ask how a non-alternating link is “close to” alternating links. The dealternating and alternation numbers, which are invariants introduced by C. Adams et al. and A. Kawauchi, respectively, can deal with this question. By definitions, for any link, its alternation number is less than or equal to its dealternating number. It is known that in general the equality does not hold. However, in general, it is not easy to show a gap between these invariants. In this seminar, we will show some results regarding these invariants. In particular, for each pair of positive integers, we will construct infinitely many knots, which have dealternating and alternation numbers determined for these integers. Therefore, an arbitrary gap between the values of these invariants will be obtained.

### 2019/05/14

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

Diagrammatic Algebra (ENGLISH)

**J. Scott Carter**(University of South Alabama, Osaka City University)Diagrammatic Algebra (ENGLISH)

[ Abstract ]

Three main ideas will be explored. First, a higher dimensional category (a category that has arrows, double arrows, triple arrows, and quadruple arrows) that is based upon the axioms of a Frobenius algebra will be outlined. Then these structures will be promoted into one higher dimension so that braiding can be introduced. Second, relationships between braiding and multiplication will be studied from a homological perspective. Third, the next order relations will be used to formulate a system of abstract tensor equations that are analogous to the Yang-Baxter relation. In this way, a broad outline of the notion of diagrammatic algebra will be presented.

Three main ideas will be explored. First, a higher dimensional category (a category that has arrows, double arrows, triple arrows, and quadruple arrows) that is based upon the axioms of a Frobenius algebra will be outlined. Then these structures will be promoted into one higher dimension so that braiding can be introduced. Second, relationships between braiding and multiplication will be studied from a homological perspective. Third, the next order relations will be used to formulate a system of abstract tensor equations that are analogous to the Yang-Baxter relation. In this way, a broad outline of the notion of diagrammatic algebra will be presented.

### 2019/04/23

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

Higher Hochschild homology as a functor (ENGLISH)

**Christine Vespa**(Université de Strasbourg)Higher Hochschild homology as a functor (ENGLISH)

[ Abstract ]

Higher Hochschild homology generalizes classical Hochschild homology for rings. Recently, Turchin and Willwacher computed higher Hochschild homology of a finite wedge of circles with coefficients in the Loday functor associated to the ring of dual numbers over the rationals. In particular, they obtained linear representations of the groups Out(F_n) which do not factorize through GL(n,Z).

In this talk, I will begin by recalling what is Hochschild homology and higher Hochschild homology. Then I will explain how viewing higher Hochschild homology of a finite wedge of circles as a functor on the category of free groups provides a conceptual framework which allows powerful tools such as exponential functors and polynomial functors to be used. In particular, this allows the generalization of the results of Turchin and Willwacher; this gives rise to new linear representations of Out(F_n) which do not factorize through GL(n,Z).

(This is joint work with Geoffrey Powell.)

Higher Hochschild homology generalizes classical Hochschild homology for rings. Recently, Turchin and Willwacher computed higher Hochschild homology of a finite wedge of circles with coefficients in the Loday functor associated to the ring of dual numbers over the rationals. In particular, they obtained linear representations of the groups Out(F_n) which do not factorize through GL(n,Z).

In this talk, I will begin by recalling what is Hochschild homology and higher Hochschild homology. Then I will explain how viewing higher Hochschild homology of a finite wedge of circles as a functor on the category of free groups provides a conceptual framework which allows powerful tools such as exponential functors and polynomial functors to be used. In particular, this allows the generalization of the results of Turchin and Willwacher; this gives rise to new linear representations of Out(F_n) which do not factorize through GL(n,Z).

(This is joint work with Geoffrey Powell.)

### 2019/04/16

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

Thurston’s bounded image theorem (ENGLISH)

**Ken’ichi Ohshika**(Gakushuin University)Thurston’s bounded image theorem (ENGLISH)

[ Abstract ]

The bounded image theorem by Thurston constitutes an important step in the proof of his unifomisation theorem for Haken manifolds. Thurston’s original argument was never published and has been unknown up to now. It has turned out a weaker form of this theorem is enough for the proof, and books by Kappovich and by Otal use this weaker version. In this talk, I will show how to prove Thurston’s original version making use of more recent technology. This is joint work with Cyril Lecuire.

The bounded image theorem by Thurston constitutes an important step in the proof of his unifomisation theorem for Haken manifolds. Thurston’s original argument was never published and has been unknown up to now. It has turned out a weaker form of this theorem is enough for the proof, and books by Kappovich and by Otal use this weaker version. In this talk, I will show how to prove Thurston’s original version making use of more recent technology. This is joint work with Cyril Lecuire.

### 2019/04/09

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

Coulomb branches of 3d SUSY gauge theories (JAPANESE)

**Hiraku Nakajima**(Kavli IPMU, The University of Tokyo)Coulomb branches of 3d SUSY gauge theories (JAPANESE)

[ Abstract ]

I will give an introduction to a mathematical definition of Coulomb branches of 3-dimensional SUSY gauge theories, given by my joint work with Braverman and Finkelberg. I will emphasize on the role of hypothetical 3d TQFT associated with gauge theories.

I will give an introduction to a mathematical definition of Coulomb branches of 3-dimensional SUSY gauge theories, given by my joint work with Braverman and Finkelberg. I will emphasize on the role of hypothetical 3d TQFT associated with gauge theories.

### 2019/04/02

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

A topological interpretation of symplectic fillings of a normal surface singularity (ENGLISH)

**Jongil Park**(Seoul National University)A topological interpretation of symplectic fillings of a normal surface singularity (ENGLISH)

[ Abstract ]

One of active research areas in symplectic 4-manifolds is to classify symplectic fillings of certain 3-manifolds equipped with a contact structure.

Among them, people have long studied symplectic fillings of the link of a normal surface singularity. Note that the link of a normal surface singularity carries a canonical contact structure which is also known as the Milnor fillable contact structure.

In this talk, I’d like to investigate a topological surgery description for minimal symplectic fillings of the link of quotient surface singularities and weighted homogeneous surface singularities with a canonical contact structure. Explicitly, I’ll show that every minimal symplectic filling of the link of quotient surface singularities and weighted homogeneous surface singularities satisfying certain conditions can be obtained by a sequence of rational blowdowns from the minimal resolution of the corresponding surface singularity. This is joint work with Hakho Choi.

One of active research areas in symplectic 4-manifolds is to classify symplectic fillings of certain 3-manifolds equipped with a contact structure.

Among them, people have long studied symplectic fillings of the link of a normal surface singularity. Note that the link of a normal surface singularity carries a canonical contact structure which is also known as the Milnor fillable contact structure.

In this talk, I’d like to investigate a topological surgery description for minimal symplectic fillings of the link of quotient surface singularities and weighted homogeneous surface singularities with a canonical contact structure. Explicitly, I’ll show that every minimal symplectic filling of the link of quotient surface singularities and weighted homogeneous surface singularities satisfying certain conditions can be obtained by a sequence of rational blowdowns from the minimal resolution of the corresponding surface singularity. This is joint work with Hakho Choi.

### 2019/03/27

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

On a moduli space interpretation of the Turaev cobracket (ENGLISH)

**Florian Naef**(Université de Genève)On a moduli space interpretation of the Turaev cobracket (ENGLISH)

[ Abstract ]

Given an oriented surface, Goldman defines a Lie bracket on the vector space spanned by free homotopy classes of loops in terms of intersections. This Lie bracket is the universal version of the Atiyah-Bott Poisson structure on the moduli space of flat connections. Using self-intersections Turaev defines a Lie cobracket on loops. We give a possible interpretation of this structure on moduli spaces of flat connections in the form of a natural BV operator on the moduli space of flat connection with values in a super Lie algebra equipped with an odd pairing. This is joint work with A. Alekseev, J. Pulmann and P. Ševera.

Given an oriented surface, Goldman defines a Lie bracket on the vector space spanned by free homotopy classes of loops in terms of intersections. This Lie bracket is the universal version of the Atiyah-Bott Poisson structure on the moduli space of flat connections. Using self-intersections Turaev defines a Lie cobracket on loops. We give a possible interpretation of this structure on moduli spaces of flat connections in the form of a natural BV operator on the moduli space of flat connection with values in a super Lie algebra equipped with an odd pairing. This is joint work with A. Alekseev, J. Pulmann and P. Ševera.

### 2019/03/26

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

Cube capacities (ENGLISH)

**Michael Hutchings**(University of California, Berkeley)Cube capacities (ENGLISH)

[ Abstract ]

We define a new series of symplectic capacities using equivariant symplectic homology. These capacities are conjecturally equal to the Ekeland-Hofer capacities, but can be computed in many more examples. In particular, we use these capacities to find many examples of symplectic embeddings of cubes where the cube is as large as possible. This is joint work with Jean Gutt.

We define a new series of symplectic capacities using equivariant symplectic homology. These capacities are conjecturally equal to the Ekeland-Hofer capacities, but can be computed in many more examples. In particular, we use these capacities to find many examples of symplectic embeddings of cubes where the cube is as large as possible. This is joint work with Jean Gutt.

### 2019/02/12

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

Representations of knot groups (ENGLISH)

**Anastasiia Tsvietkova**(Okinawa Institute of Science and Technology, Rutgers University)Representations of knot groups (ENGLISH)

[ Abstract ]

We describe a new method of producing equations for the representation variety of a knot group into (P)SL(2,C). Unlike known methods, this does not involve any polyhedral decomposition or triangulation of the link complement, and uses only a link diagram satisfying a few mild restrictions. This results in a simple algorithm that can often be performed by hand, and in many cases, for an infinite family of knots at once. This is a joint work with Kathleen Peterson (Florida State University).

We describe a new method of producing equations for the representation variety of a knot group into (P)SL(2,C). Unlike known methods, this does not involve any polyhedral decomposition or triangulation of the link complement, and uses only a link diagram satisfying a few mild restrictions. This results in a simple algorithm that can often be performed by hand, and in many cases, for an infinite family of knots at once. This is a joint work with Kathleen Peterson (Florida State University).

### 2019/01/15

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

Generalized Dehn twists on surfaces and homology cylinders (JAPANESE)

**Yusuke Kuno**(Tsuda University)Generalized Dehn twists on surfaces and homology cylinders (JAPANESE)

[ Abstract ]

This is a joint work with Gwénaël Massuyeau (University of Burgundy). Lickorish's trick describes Dehn twists along simple closed curves on an oriented surface in terms of surgery of 3-manifolds. We discuss one possible generalization of this description to the situation where the curve under consideration may have self-intersections. Our result generalizes previously known computations related to the Johnson homomorphisms for the mapping class groups and for homology cylinders. In particular, we obtain an alternative and direct proof of the surjectivity of the Johnson homomorphisms for homology cylinders, which was proved by Garoufalidis-Levine and Habegger.

This is a joint work with Gwénaël Massuyeau (University of Burgundy). Lickorish's trick describes Dehn twists along simple closed curves on an oriented surface in terms of surgery of 3-manifolds. We discuss one possible generalization of this description to the situation where the curve under consideration may have self-intersections. Our result generalizes previously known computations related to the Johnson homomorphisms for the mapping class groups and for homology cylinders. In particular, we obtain an alternative and direct proof of the surjectivity of the Johnson homomorphisms for homology cylinders, which was proved by Garoufalidis-Levine and Habegger.

### 2019/01/08

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

On property (T) for $\mathrm{Aut}(F_n)$ and $\mathrm{SL}_n(\mathbb{Z})$ (ENGLISH)

**Marek Kaluba**(Adam Mickiewicz Univeristy)On property (T) for $\mathrm{Aut}(F_n)$ and $\mathrm{SL}_n(\mathbb{Z})$ (ENGLISH)

[ Abstract ]

We prove that $\mathrm{Aut}(F_n)$ has Kazhdan's property (T) for every $n \ge 6$. Together with a previous result of Kaluba, Nowak, and Ozawa, this gives the same statement for $n \ge 5$. We also provide explicit lower bounds for the Kazhdan constants of $\mathrm{SAut}(F_n)$ (with $n \ge 6$) and of $\mathrm{SL}_n(\mathbb{Z})$ (with $n \ge 3$) with respect to natural generating sets. In the latter case, these bounds improve upon previously known lower bounds whenever $n >6$.

We prove that $\mathrm{Aut}(F_n)$ has Kazhdan's property (T) for every $n \ge 6$. Together with a previous result of Kaluba, Nowak, and Ozawa, this gives the same statement for $n \ge 5$. We also provide explicit lower bounds for the Kazhdan constants of $\mathrm{SAut}(F_n)$ (with $n \ge 6$) and of $\mathrm{SL}_n(\mathbb{Z})$ (with $n \ge 3$) with respect to natural generating sets. In the latter case, these bounds improve upon previously known lower bounds whenever $n >6$.

### 2018/12/20

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

Johnson-type homomorphisms and the LMO functor (ENGLISH)

**Anderson Vera**(Université de Strasbourg)Johnson-type homomorphisms and the LMO functor (ENGLISH)

[ Abstract ]

One of the main objects associated to a surface S is the mapping class group MCG(S). This group plays an important role in the study of 3-manifolds. Reciprocally, the topological invariants of 3-manifolds can be used to obtain interesting representations of MCG(S).

One possible approach to the study of MCG(S) is to consider its action on the fundamental group P of the surface or on some subgroups of P. This way, we can obtain some kind of filtrations of MCG(S) and homomorphisms, called Johnson type homomorphisms, which take values in certain spaces of diagrams. These spaces of diagrams are quotients of the target space of the LMO functor. Hence it is natural to ask what is the relation between the Johnson type homomorphisms and the LMO functor. The answer is well known in the case of the Torelli group and the usual Johnson homomorphisms. In this talk we consider two other different filtrations of MCG(S) introduced by Levine and Habiro-Massuyeau. We show that the respective Johnson homomorphisms can also be deduced from the LMO functor.

One of the main objects associated to a surface S is the mapping class group MCG(S). This group plays an important role in the study of 3-manifolds. Reciprocally, the topological invariants of 3-manifolds can be used to obtain interesting representations of MCG(S).

One possible approach to the study of MCG(S) is to consider its action on the fundamental group P of the surface or on some subgroups of P. This way, we can obtain some kind of filtrations of MCG(S) and homomorphisms, called Johnson type homomorphisms, which take values in certain spaces of diagrams. These spaces of diagrams are quotients of the target space of the LMO functor. Hence it is natural to ask what is the relation between the Johnson type homomorphisms and the LMO functor. The answer is well known in the case of the Torelli group and the usual Johnson homomorphisms. In this talk we consider two other different filtrations of MCG(S) introduced by Levine and Habiro-Massuyeau. We show that the respective Johnson homomorphisms can also be deduced from the LMO functor.

### 2018/12/18

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

Discrete G-spectra and a model for the K(n)-local stable homotopy category (JAPANESE)

**Takeshi Torii**(Okayama University)Discrete G-spectra and a model for the K(n)-local stable homotopy category (JAPANESE)

[ Abstract ]

The K(n)-local stable homotopy categories are building blocks for the stable homotopy category of spectra. In this talk I will construct a model for the K(n)-local stable homotopy category, which explicitly shows the relationship with the Morava E-theory E_n and the stabilizer group G_n. We consider discrete symmetric G-spectra studied by Behrens-Davis for a profinite group G. I will show that the K(n)-local stable homotopy category is realized in the homotopy category of modules in discrete symmetric G_n-spectra over a discrete model of E_n.

The K(n)-local stable homotopy categories are building blocks for the stable homotopy category of spectra. In this talk I will construct a model for the K(n)-local stable homotopy category, which explicitly shows the relationship with the Morava E-theory E_n and the stabilizer group G_n. We consider discrete symmetric G-spectra studied by Behrens-Davis for a profinite group G. I will show that the K(n)-local stable homotopy category is realized in the homotopy category of modules in discrete symmetric G_n-spectra over a discrete model of E_n.

### 2018/12/11

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

On non-singular solutions to the normalized Ricci flow on four-manifolds (JAPANESE)

**Masashi Ishida**(Osaka University)On non-singular solutions to the normalized Ricci flow on four-manifolds (JAPANESE)

[ Abstract ]

A solution to the normalized Ricci flow is called non-singular if the solution exists for all time and the Riemannian curvature tensor is uniformly bounded. In 1999, Richard Hamilton introduced it as an important special class of solutions and proved that the underlying 3-manifold is geometrizable in the sense of Thurston. In this talk, we will discuss properties of 4-dimensional non-singular solutions from a gauge theoretical point of view. In particular, we would like to explain gauge theoretical invariants give rise to obstructions to the existence of 4-dimensional non-singular solutions.

A solution to the normalized Ricci flow is called non-singular if the solution exists for all time and the Riemannian curvature tensor is uniformly bounded. In 1999, Richard Hamilton introduced it as an important special class of solutions and proved that the underlying 3-manifold is geometrizable in the sense of Thurston. In this talk, we will discuss properties of 4-dimensional non-singular solutions from a gauge theoretical point of view. In particular, we would like to explain gauge theoretical invariants give rise to obstructions to the existence of 4-dimensional non-singular solutions.

### 2018/12/04

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

Slopes and concordance of links (ENGLISH)

**Vincent Florens**(Université de Pau et des Pays de l'Adour)Slopes and concordance of links (ENGLISH)

[ Abstract ]

We define the slope of a link associated to admissible characters on the link group. Away from a certain singular locus, the slope is a rational function which can be regarded as a multivariate generalization of the Kojima-Yamasaki η-function. It is the ratio of two Conway potentials, provided that the latter makes sense; otherwise, it is a new invariant. We present several examples and discuss the invariance by concordance. Joint with A. Degtyarev and A. Lecuona.

We define the slope of a link associated to admissible characters on the link group. Away from a certain singular locus, the slope is a rational function which can be regarded as a multivariate generalization of the Kojima-Yamasaki η-function. It is the ratio of two Conway potentials, provided that the latter makes sense; otherwise, it is a new invariant. We present several examples and discuss the invariance by concordance. Joint with A. Degtyarev and A. Lecuona.

### 2018/11/27

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

Fixed points for group actions on non-positively curved spaces (JAPANESE)

**Motoko Kato**(The University of Tokyo)Fixed points for group actions on non-positively curved spaces (JAPANESE)

[ Abstract ]

In this talk, we introduce a fixed point property of groups which is a broad generalization of Serre's property FA, and give a criterion for groups to have such a property. We also apply the criterion to show that various generalizations of Thompson's group T have fixed points whenever they act on finite dimensional non-positively curved metric spaces, including CAT(0) spaces. Since Thompson's group T is known to have fixed point free actions on infinite dimensional CAT(0) spaces, it follows that there is a group which acts on infinite dimensional CAT(0) spaces without global fixed points, but not on finite dimensional ones.

In this talk, we introduce a fixed point property of groups which is a broad generalization of Serre's property FA, and give a criterion for groups to have such a property. We also apply the criterion to show that various generalizations of Thompson's group T have fixed points whenever they act on finite dimensional non-positively curved metric spaces, including CAT(0) spaces. Since Thompson's group T is known to have fixed point free actions on infinite dimensional CAT(0) spaces, it follows that there is a group which acts on infinite dimensional CAT(0) spaces without global fixed points, but not on finite dimensional ones.