## Tuesday Seminar on Topology

Seminar information archive ～04/13｜Next seminar｜Future seminars 04/14～

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

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

**Seminar information archive**

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

### 2018/11/20

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

Torelli group, Johnson kernel and invariants of homology 3-spheres (JAPANESE)

**Takuya Sakasai**(The University of Tokyo)Torelli group, Johnson kernel and invariants of homology 3-spheres (JAPANESE)

[ Abstract ]

There are two filtrations of the Torelli group: One is the lower central series and the other is the Johnson filtration. They are closely related to Johnson homomorphisms as well as finite type invariants of homology 3-spheres. We compare the associated graded Lie algebras of the filtrations and report our explicit computational results. Then we discuss some applications of our computations. In particular, we give an explicit description of the rational abelianization of the Johnson kernel. This is a joint work with Shigeyuki Morita and Masaaki Suzuki.

There are two filtrations of the Torelli group: One is the lower central series and the other is the Johnson filtration. They are closely related to Johnson homomorphisms as well as finite type invariants of homology 3-spheres. We compare the associated graded Lie algebras of the filtrations and report our explicit computational results. Then we discuss some applications of our computations. In particular, we give an explicit description of the rational abelianization of the Johnson kernel. This is a joint work with Shigeyuki Morita and Masaaki Suzuki.

### 2018/11/13

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

On continuity of drifts of the mapping class group (JAPANESE)

**Hidetoshi Masai**(Tokyo Institute of Technology)On continuity of drifts of the mapping class group (JAPANESE)

[ Abstract ]

When a group is acting on a space isometrically, we may consider the "translation distance" of random walks, which is called the drift of the random walk. In this talk we consider mapping class group acting on the Teichmüller space. We first recall several characterizations of the drift. The drift is determined by the transition probability of the random walk. The goal of this talk is to show that the drift varies continuously with the transition probability measure.

When a group is acting on a space isometrically, we may consider the "translation distance" of random walks, which is called the drift of the random walk. In this talk we consider mapping class group acting on the Teichmüller space. We first recall several characterizations of the drift. The drift is determined by the transition probability of the random walk. The goal of this talk is to show that the drift varies continuously with the transition probability measure.

### 2018/11/08

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

Deformations of diagonal representations of knot groups into $\mathrm{SL}(n,\mathbb{C})$ (ENGLISH)

**Michael Heusener**(Université Clermont Auvergne)Deformations of diagonal representations of knot groups into $\mathrm{SL}(n,\mathbb{C})$ (ENGLISH)

[ Abstract ]

This is joint work with Leila Ben Abdelghani, Monastir (Tunisia).

Given a manifold $M$, the variety of representations of $\pi_1(M)$ into $\mathrm{SL}(2,\mathbb{C})$ and the variety of characters of such representations both contain information of the topology of $M$. Since the foundational work of W.P. Thurston and Culler & Shalen, the varieties of $\mathrm{SL}(2,\mathbb{C})$-characters have been extensively studied. This is specially interesting for $3$-dimensional manifolds, where the fundamental group and the geometrical properties of the manifold are strongly related.

However, much less is known of the character varieties for other groups, notably for $\mathrm{SL}(n,\mathbb{C})$ with $n\geq 3$. The $\mathrm{SL}(n,\mathbb{C})$-character varieties for free groups have been studied by S. Lawton and P. Will, and the $\mathrm{SL}(3,\mathbb{C})$-character variety of torus knot groups has been determined by V. Munoz and J. Porti.

In this talk I will present some results concerning the deformations of diagonal representations of knot groups in basic notations and some recent results concerning the representation and character varieties of $3$-manifold groups and in particular knot groups. In particular, we are interested in the local structure of the $\mathrm{SL}(n,\mathbb{C})$-representation variety at the diagonal representation.

This is joint work with Leila Ben Abdelghani, Monastir (Tunisia).

Given a manifold $M$, the variety of representations of $\pi_1(M)$ into $\mathrm{SL}(2,\mathbb{C})$ and the variety of characters of such representations both contain information of the topology of $M$. Since the foundational work of W.P. Thurston and Culler & Shalen, the varieties of $\mathrm{SL}(2,\mathbb{C})$-characters have been extensively studied. This is specially interesting for $3$-dimensional manifolds, where the fundamental group and the geometrical properties of the manifold are strongly related.

However, much less is known of the character varieties for other groups, notably for $\mathrm{SL}(n,\mathbb{C})$ with $n\geq 3$. The $\mathrm{SL}(n,\mathbb{C})$-character varieties for free groups have been studied by S. Lawton and P. Will, and the $\mathrm{SL}(3,\mathbb{C})$-character variety of torus knot groups has been determined by V. Munoz and J. Porti.

In this talk I will present some results concerning the deformations of diagonal representations of knot groups in basic notations and some recent results concerning the representation and character varieties of $3$-manifold groups and in particular knot groups. In particular, we are interested in the local structure of the $\mathrm{SL}(n,\mathbb{C})$-representation variety at the diagonal representation.

### 2018/11/06

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

Coarsely convex spaces and a coarse Cartan-Hadamard theorem (JAPANESE)

**Shin-ichi Oguni**(Ehime University)Coarsely convex spaces and a coarse Cartan-Hadamard theorem (JAPANESE)

[ Abstract ]

A coarse version of negatively-curved spaces have been very well studied as Gromov hyperbolic spaces. Recently we introduced a coarse version of non-positively curved spaces, named them coarsely convex spaces and showed a coarse version of the Cartan-Hadamard theorem for such spaces in a joint-work with Tomohiro Fukaya (arXiv:1705.05588). Based on the work, I introduce coarsely convex spaces and explain a coarse Cartan-Hadamard theorem, ideas for proof and its applications to differential topology.

A coarse version of negatively-curved spaces have been very well studied as Gromov hyperbolic spaces. Recently we introduced a coarse version of non-positively curved spaces, named them coarsely convex spaces and showed a coarse version of the Cartan-Hadamard theorem for such spaces in a joint-work with Tomohiro Fukaya (arXiv:1705.05588). Based on the work, I introduce coarsely convex spaces and explain a coarse Cartan-Hadamard theorem, ideas for proof and its applications to differential topology.

### 2018/10/30

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

The quasiconformal equivalence of Riemann surfaces and a universality of Schottky spaces (JAPANESE)

**Hiroshige Shiga**(Tokyo Institute of Technology)The quasiconformal equivalence of Riemann surfaces and a universality of Schottky spaces (JAPANESE)

[ Abstract ]

In the theory of Teichmüller space of Riemann surfaces, we consider the set of Riemann surfaces which are quasiconformally equivalent. For topologically finite Riemann surfaces, it is quite easy to examine if they are quasiconformally equivalent or not. On the other hand, for Riemann surfaces of topologically infinite type, the situation is rather complicated.

In this talk, after constructing an example which shows the complexity of the problem, we give some geometric conditions for Riemann surfaces to be quasiconformally equivalent. Our argument enables us to see a universality of Schottky spaces.

In the theory of Teichmüller space of Riemann surfaces, we consider the set of Riemann surfaces which are quasiconformally equivalent. For topologically finite Riemann surfaces, it is quite easy to examine if they are quasiconformally equivalent or not. On the other hand, for Riemann surfaces of topologically infinite type, the situation is rather complicated.

In this talk, after constructing an example which shows the complexity of the problem, we give some geometric conditions for Riemann surfaces to be quasiconformally equivalent. Our argument enables us to see a universality of Schottky spaces.

### 2018/10/23

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

Co-Minkowski space and hyperbolic surfaces (ENGLISH)

**François Fillastre**(Université de Cergy-Pontoise)Co-Minkowski space and hyperbolic surfaces (ENGLISH)

[ Abstract ]

There are many ways to parametrize two copies of Teichmueller space by constant curvature -1 Riemannian or Lorentzian 3d manifolds (for example the Bers double uniformization theorem). We present the co-Minkowski space (or half-pipe space), which is a constant curvature -1 degenerated 3d space, and which is related to the tangent space of Teichmueller space. As an illustration, we give a new proof of a theorem of Thurston saying that, once the space of measured geodesic laminations on a compact hyperbolic surface is identified with the tangent space of Teichmueller space via infinitesimal earthquake, then the length of laminations is an asymmetric norm. Joint work with Thierry Barbot (Avignon).

There are many ways to parametrize two copies of Teichmueller space by constant curvature -1 Riemannian or Lorentzian 3d manifolds (for example the Bers double uniformization theorem). We present the co-Minkowski space (or half-pipe space), which is a constant curvature -1 degenerated 3d space, and which is related to the tangent space of Teichmueller space. As an illustration, we give a new proof of a theorem of Thurston saying that, once the space of measured geodesic laminations on a compact hyperbolic surface is identified with the tangent space of Teichmueller space via infinitesimal earthquake, then the length of laminations is an asymmetric norm. Joint work with Thierry Barbot (Avignon).

### 2018/10/16

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

Resonance varieties and matrix tree theorems (ENGLISH)

**Daniel Matei**(IMAR Bucharest)Resonance varieties and matrix tree theorems (ENGLISH)

[ Abstract ]

We discuss the resonance varieties, encoding vanishing of cohomology cup products, of various classes of finitely presented groups of geometric and combinatorial origin. We describe the ideals defining those varieties in terms spanning trees in a similar vein with the classical matrix tree theorem in graph theory. We present applications of this description to 3-manifold groups and Artin groups.

We discuss the resonance varieties, encoding vanishing of cohomology cup products, of various classes of finitely presented groups of geometric and combinatorial origin. We describe the ideals defining those varieties in terms spanning trees in a similar vein with the classical matrix tree theorem in graph theory. We present applications of this description to 3-manifold groups and Artin groups.

### 2018/10/09

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

Foulon surgery, new contact flows, and dynamical complexity (ENGLISH)

**Boris Hasselblatt**(Tufts University)Foulon surgery, new contact flows, and dynamical complexity (ENGLISH)

[ Abstract ]

A refinement of Dehn surgery produces new contact flows that are unusual and interesting in several ways. The geodesic flow of a hyperbolic surface becomes a nonalgebraic contact Anosov flow with larger orbit growth, and the purely periodic fiber flow becomes parabolic or hyperbolic. Moreover, Reeb flows for other contact forms for the same contact structure have the same complexity. Finally, an idea by Vinhage promises a quantification of the complexity increase.

A refinement of Dehn surgery produces new contact flows that are unusual and interesting in several ways. The geodesic flow of a hyperbolic surface becomes a nonalgebraic contact Anosov flow with larger orbit growth, and the purely periodic fiber flow becomes parabolic or hyperbolic. Moreover, Reeb flows for other contact forms for the same contact structure have the same complexity. Finally, an idea by Vinhage promises a quantification of the complexity increase.

### 2018/10/02

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

An Alexander polynomial for MOY graphs (JAPANESE)

**Yuanyuan Bao**(The University of Tokyo)An Alexander polynomial for MOY graphs (JAPANESE)

[ Abstract ]

An MOY graph is a trivalent graph equipped with a balanced coloring. In this talk, we define a version of Alexander polynomial for an MOY graph. This polynomial is the Euler characteristic of the Heegaard Floer homology of an MOY graph. We give a characterization of the polynomial, which we call MOY-type relations, and show that it is equivalent to Viro’s gl(1 | 1)-Alexander polynomial of a graph. (A part of the talk is a joint work of Zhongtao Wu)

An MOY graph is a trivalent graph equipped with a balanced coloring. In this talk, we define a version of Alexander polynomial for an MOY graph. This polynomial is the Euler characteristic of the Heegaard Floer homology of an MOY graph. We give a characterization of the polynomial, which we call MOY-type relations, and show that it is equivalent to Viro’s gl(1 | 1)-Alexander polynomial of a graph. (A part of the talk is a joint work of Zhongtao Wu)

### 2018/07/17

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

Positive flow-spines and contact 3-manifolds (JAPANESE)

**Masaharu Ishikawa**(Keio University)Positive flow-spines and contact 3-manifolds (JAPANESE)

[ Abstract ]

A contact structure is a smooth distribution of hyperplanes on an odd-dimensional manifold that is non-integrable everywhere. In the case of dimension 3, there is a nice relationship between open book decompositions of 3-manifolds and contact structures up to contactomorphisms, called Giroux correspondence. A flow-spine is a spine of a 3-manifold admitting a flow such that it is transverse to the spine and the flow in the complement of the spine is diffeomorphic to a constant flow in an open ball. In this talk, we introduce some results in progress that give a correspondence between contact structures and positive flow-spines by regarding Reeb vector fields as flows of spines. This is a joint work with Y. Koda (Hiroshima) and H. Naoe (Tohoku).

A contact structure is a smooth distribution of hyperplanes on an odd-dimensional manifold that is non-integrable everywhere. In the case of dimension 3, there is a nice relationship between open book decompositions of 3-manifolds and contact structures up to contactomorphisms, called Giroux correspondence. A flow-spine is a spine of a 3-manifold admitting a flow such that it is transverse to the spine and the flow in the complement of the spine is diffeomorphic to a constant flow in an open ball. In this talk, we introduce some results in progress that give a correspondence between contact structures and positive flow-spines by regarding Reeb vector fields as flows of spines. This is a joint work with Y. Koda (Hiroshima) and H. Naoe (Tohoku).

### 2018/07/10

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

Loose Legendrians and arboreal singularities (ENGLISH)

**Emmy Murphy**(Northwestern University)Loose Legendrians and arboreal singularities (ENGLISH)

[ Abstract ]

Given a Stein manifold X, under what conditions can we ensure that X is symplectomorphic to C^n? For n>2 the condition of X being diffeomorphic to C^n does not suffice, and many counterexamples have been constructed which are detected by symplectic cohomology and the Fukaya category. One might conjecture that the diffeomorphism type together with a vanishing Fukaya category characterizes C^n. While this question is currently well of of reach, we present some new partial results. The main tools we'll discuss are arboreal singularities, constructable sheaf theory, and loose Legendrians -- and how they fit together to approach this question.

Given a Stein manifold X, under what conditions can we ensure that X is symplectomorphic to C^n? For n>2 the condition of X being diffeomorphic to C^n does not suffice, and many counterexamples have been constructed which are detected by symplectic cohomology and the Fukaya category. One might conjecture that the diffeomorphism type together with a vanishing Fukaya category characterizes C^n. While this question is currently well of of reach, we present some new partial results. The main tools we'll discuss are arboreal singularities, constructable sheaf theory, and loose Legendrians -- and how they fit together to approach this question.

### 2018/07/03

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

Symmetries on algebras and Hochschild homology in view of categories of operators (JAPANESE)

**Jun Yoshida**(The University of Tokyo)Symmetries on algebras and Hochschild homology in view of categories of operators (JAPANESE)

[ Abstract ]

The categorical construction of Hochschild homology by Connes reveals that the symmetric structure on the tensor product of abelian groups is essential. It means that the categorical meaning of ad-hoc generalizations of Hochschild homology in less symmetric monoidal abelian categories remains unclear. In this talk, I will propose formulation of this problem in terms of group operads introduced by Zhang. Moreover, for each group operad G, G-symmetric versions of categories of operators will be discussed. The notion plays a key role in defining Hochschild homology for homotopy algebras; such as topological Hochschild homology.

The categorical construction of Hochschild homology by Connes reveals that the symmetric structure on the tensor product of abelian groups is essential. It means that the categorical meaning of ad-hoc generalizations of Hochschild homology in less symmetric monoidal abelian categories remains unclear. In this talk, I will propose formulation of this problem in terms of group operads introduced by Zhang. Moreover, for each group operad G, G-symmetric versions of categories of operators will be discussed. The notion plays a key role in defining Hochschild homology for homotopy algebras; such as topological Hochschild homology.

### 2018/06/19

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

Characteristic classes via 4-dimensional gauge theory (JAPANESE)

**Hokuto Konno**(The University of Tokyo)Characteristic classes via 4-dimensional gauge theory (JAPANESE)

[ Abstract ]

Using gauge theory, more precisely SO(3)-Yang-Mills theory and Seiberg-Witten theory, I will construct characteristic classes of 4-manifold bundles. These characteristic classes are extensions of the SO(3)-Donaldson invariant and the Seiberg-Witten invariant to families of 4-manifolds, and can detect non-triviality of smooth 4-manifold bundles. The basic idea of the construction of these characteristic classes is to consider an infinite dimensional analogue of classical characteristic classes of manifold bundles, typified by the Mumford-Morita-Miller classes for surface bundles.

Using gauge theory, more precisely SO(3)-Yang-Mills theory and Seiberg-Witten theory, I will construct characteristic classes of 4-manifold bundles. These characteristic classes are extensions of the SO(3)-Donaldson invariant and the Seiberg-Witten invariant to families of 4-manifolds, and can detect non-triviality of smooth 4-manifold bundles. The basic idea of the construction of these characteristic classes is to consider an infinite dimensional analogue of classical characteristic classes of manifold bundles, typified by the Mumford-Morita-Miller classes for surface bundles.

### 2018/06/19

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

Relative and equivariant Lagrangian Floer homology and Atiyah-Floer conjecture (JAPANESE)

**Kenji Fukaya**(Simons center, SUNY)Relative and equivariant Lagrangian Floer homology and Atiyah-Floer conjecture (JAPANESE)

[ Abstract ]

Atiyah-Floer conjecture concerns a relationship between Floer homology in Gauge theory and Lagrangian Floer homology. One of its difficulty is that the symplectic manifold on wich we consider Lagrangian Floer homology is in general singular. In this talk I will explain that, by using relative and equivariant version of Lagrangian Floer homology, we can resolve this problem and can at least state the conjecture as rigorous mathematical conjecture.

Atiyah-Floer conjecture concerns a relationship between Floer homology in Gauge theory and Lagrangian Floer homology. One of its difficulty is that the symplectic manifold on wich we consider Lagrangian Floer homology is in general singular. In this talk I will explain that, by using relative and equivariant version of Lagrangian Floer homology, we can resolve this problem and can at least state the conjecture as rigorous mathematical conjecture.

### 2018/06/12

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

Turbulization of 2-dimensional foliations on 4-manifolds (JAPANESE)

**Yoshihiko Mitsumatsu**(Chuo University)Turbulization of 2-dimensional foliations on 4-manifolds (JAPANESE)

[ Abstract ]

This is a report on a joint work with Elmar VOGT(Freie Universität Berlin). For codimension 1 foliations, the process of turbulization, i.e., inserting a Reeb component along a closed transversal, is well-known, while for higher codimensional foliation, similar processes were not understood until around 2006.

In this talk, first we formulate the turbulization along a closed transversal. Then in our dimension setting, namely 2-dimensional foliations on 4-manifolds ((4,2)-foliations), a cohomological criterion is given for a given transversal to a foliation, which tells the turbulization is possible or not, relying on the Thurston's h-principle. Also we give cocrete geometric constructions of turbulizations.

The cohomological criterion for turbulization is deduced from a more general criterion for a given embedded surface to be a compact leaf or a closed transversal of some foliation, which is stated in terms of the euler classes of tangent and normal bndle of the foliation to look for. The anormalous cohomological solutions for certain cases suggested the geometric realization of turbulization, while the cohomological criterion is obtained by the h-principle.

Some other modifications are also formulated for (4,2)-foliations and their possibility are assured by the anormalous solutions mentioned above. For some of them, good geometric realizations are not yet known. So far the difficulty lies on the problem of the connected components of the space of representations of the surface groups to Diff S^1.

If the time permits, some special features on the h-principle for 2-dimensional foliations are also explained.

This is a report on a joint work with Elmar VOGT(Freie Universität Berlin). For codimension 1 foliations, the process of turbulization, i.e., inserting a Reeb component along a closed transversal, is well-known, while for higher codimensional foliation, similar processes were not understood until around 2006.

In this talk, first we formulate the turbulization along a closed transversal. Then in our dimension setting, namely 2-dimensional foliations on 4-manifolds ((4,2)-foliations), a cohomological criterion is given for a given transversal to a foliation, which tells the turbulization is possible or not, relying on the Thurston's h-principle. Also we give cocrete geometric constructions of turbulizations.

The cohomological criterion for turbulization is deduced from a more general criterion for a given embedded surface to be a compact leaf or a closed transversal of some foliation, which is stated in terms of the euler classes of tangent and normal bndle of the foliation to look for. The anormalous cohomological solutions for certain cases suggested the geometric realization of turbulization, while the cohomological criterion is obtained by the h-principle.

Some other modifications are also formulated for (4,2)-foliations and their possibility are assured by the anormalous solutions mentioned above. For some of them, good geometric realizations are not yet known. So far the difficulty lies on the problem of the connected components of the space of representations of the surface groups to Diff S^1.

If the time permits, some special features on the h-principle for 2-dimensional foliations are also explained.

### 2018/06/05

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

Topological full groups and generalizations of the Higman-Thompson groups (JAPANESE)

**Hiroki Matui**(Chiba University)Topological full groups and generalizations of the Higman-Thompson groups (JAPANESE)

[ Abstract ]

For a topological dynamical system on the Cantor set, one can introduce its topological full group, which is a countable subgroup of the homeomorphism group of the Cantor set. The Higman-Thompson group V_n is regarded as the topological full group of the one-sided full shift over n symbols. Replacing the one-sided full shift with other dynamical systems, we obtain variants of the Higman-Thompson group. It is then natural to ask whether those generalized Higman-Thompson groups possess similar (or different) features. I would like to discuss isomorphism classes of these groups, finiteness properties, abelianizations, connections to C*-algebras and their K-theory, and so on.

For a topological dynamical system on the Cantor set, one can introduce its topological full group, which is a countable subgroup of the homeomorphism group of the Cantor set. The Higman-Thompson group V_n is regarded as the topological full group of the one-sided full shift over n symbols. Replacing the one-sided full shift with other dynamical systems, we obtain variants of the Higman-Thompson group. It is then natural to ask whether those generalized Higman-Thompson groups possess similar (or different) features. I would like to discuss isomorphism classes of these groups, finiteness properties, abelianizations, connections to C*-algebras and their K-theory, and so on.

### 2018/05/29

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

A partial order on nu+ equivalence classes (JAPANESE)

**Kouki Sato**(The university of Tokyo)A partial order on nu+ equivalence classes (JAPANESE)

[ Abstract ]

The nu+ equivalence is an equivalence relation on the knot concordance group. Hom proves that many concordance invariants derived from Heegaard Floer homology are invariant under nu+ equivalence. In this work, we introduce a partial order on nu+ equivalence classes, and study its algebraic and geometrical properties. As an application, we prove that any genus one knot is nu+ equivalent to one of the unknot, the trefoil and its mirror.

The nu+ equivalence is an equivalence relation on the knot concordance group. Hom proves that many concordance invariants derived from Heegaard Floer homology are invariant under nu+ equivalence. In this work, we introduce a partial order on nu+ equivalence classes, and study its algebraic and geometrical properties. As an application, we prove that any genus one knot is nu+ equivalent to one of the unknot, the trefoil and its mirror.

### 2018/05/22

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

An analytic index theory for infinite-dimensional manifolds and KK-theory (JAPANESE)

**Doman Takata**(The university of Tokyo)An analytic index theory for infinite-dimensional manifolds and KK-theory (JAPANESE)

[ Abstract ]

The Atiyah-Singer index theorem is one of the monumental works in geometry and topology, which states the coincidence between analytic index and topological index on closed manifolds. The overall goal of my research is to formulate and prove an infinite dimensional version of this theorem. For this purpose, it is natural to begin with simple cases, and my current problem is the following: For infinite-dimensional manifolds equipped with a "proper and cocompact" action of the loop group of the circle, construct a loop group equivariant index theory, from the viewpoint of KK-theory. Although this project has not been completed, I have constructed several core objects for the analytic side of this problem, including a Hilbert space regarded as an "$L^2$-space", in arXiv:1701.06055 and arXiv:1709.06205. In this talk, I am going to report the progress so far.

The Atiyah-Singer index theorem is one of the monumental works in geometry and topology, which states the coincidence between analytic index and topological index on closed manifolds. The overall goal of my research is to formulate and prove an infinite dimensional version of this theorem. For this purpose, it is natural to begin with simple cases, and my current problem is the following: For infinite-dimensional manifolds equipped with a "proper and cocompact" action of the loop group of the circle, construct a loop group equivariant index theory, from the viewpoint of KK-theory. Although this project has not been completed, I have constructed several core objects for the analytic side of this problem, including a Hilbert space regarded as an "$L^2$-space", in arXiv:1701.06055 and arXiv:1709.06205. In this talk, I am going to report the progress so far.

### 2018/05/15

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

On the singularity theory of mixed hypersurfaces and some conjecture (JAPANESE)

**Mutsuo Oka**(Tokyo University of Science)On the singularity theory of mixed hypersurfaces and some conjecture (JAPANESE)

[ Abstract ]

Consider a real algebraic variety of real codimension 2 defined by $V:=\{g(\mathbf x,\mathbf y)=h(\mathbf x,\mathbf y)=0\}$ in $\mathbb C^n=\mathbb R^n\times \mathbb R^n$. Put $\mathbf z=\mathbf x+i\mathbf y$ and consider complex valued real analytic function $f=g+ih$. Replace the variables $x_1,y_1\dots, x_n,y_n$ using the equality $x_j=(z_j+\bar z_j)/2,\, y_j=(z_j-\bar z_j)/2i$. Then $f$ can be understood to be an analytic functions of $z_j,\bar z_j$. We call $f$ a mixed function. In this way, $V=\{f(\mathbf z,\bar{\mathbf z})=0\}$ and we can use the techniques of complex analytic functions and the singularity theory developed there. In this talk, we explain basic properties of the singularity of mixed hyper surface $V(f)$ and give several open questions.

Consider a real algebraic variety of real codimension 2 defined by $V:=\{g(\mathbf x,\mathbf y)=h(\mathbf x,\mathbf y)=0\}$ in $\mathbb C^n=\mathbb R^n\times \mathbb R^n$. Put $\mathbf z=\mathbf x+i\mathbf y$ and consider complex valued real analytic function $f=g+ih$. Replace the variables $x_1,y_1\dots, x_n,y_n$ using the equality $x_j=(z_j+\bar z_j)/2,\, y_j=(z_j-\bar z_j)/2i$. Then $f$ can be understood to be an analytic functions of $z_j,\bar z_j$. We call $f$ a mixed function. In this way, $V=\{f(\mathbf z,\bar{\mathbf z})=0\}$ and we can use the techniques of complex analytic functions and the singularity theory developed there. In this talk, we explain basic properties of the singularity of mixed hyper surface $V(f)$ and give several open questions.