Current research 
I am studying the structure of foliations on manifold, groups of diffeomorphisms, dynamical systems and related subjects. A foliations is given by a completely integrable plane field on a manifold and it is the family of maximal integral manifolds of it. One of the quantitative theories of foliations is the theory of foliated cobordisms. Two foliations are said cobordant if their disjoint union is the restriction to the boundary of a foliation transverse to the boundary. Let FΩ(3,1) denote the group of cobordism classes of oriented codimension1 foliations on oriented 3dimensional manifolds. The GodbillonVey invariant is a foliated cobordism invariant for FΩ(3,1). Thurston showed that GV:FΩ(3,1)→R is surjective. The injectivity of this homomorphism is one of the central problems in this theory. I contributed to determine the natural class of foliations for which the GodbillonVey invariant is defined. This was a question posed by HurderKatok and Ghys, and I gave a characterization of the GodbillonVey class by the foliated cobordism group in this class of foliations Namely, for a codimension1 foliation F on an oriented 3dimensional manifold M, its GodbillonVey invariant is 0 if and only if (M, F) is cobordant to the limit of foliations which are null cobordant. Foliations are naturally a Γ_nstructure for the topological groupoid Γ_n consisting of germs of local diffeomorphisms of R^n and it is classified by the classifying space BΓ_n for Γ_nstructures. The space BΓ_n played an essential role in the theory of existence of foliations and classification of foliations. The cohomology classes of BΓ_n is called the characteristic classes for codimensionn foliations. The existence of the GodbillonVey class implies that BΓ_n^r for C^r class Γ_nstructures is not (2n+1)connected. It is an important problem to study the connectivity of BΓ_n^r. Mather, Herman and Thurston showed that BΓ_n^r is (n+1)connected if r≠n+1. I showed that for BΓ_n^r for the Γ_n^r structures with trivial normal bundles, it is approximately (n+n/r)connected. Moreover, when r=1 it is contractible. The difference of the regularity reflects on the dynamical property. On the torus T², Denjoy showed that there exist nonsigular flow of class C¹ without closed orbits nor dense orbits, but there exist no such flows of class C². The contractibility of BΓ_n1 was shown by using this dynamics. It implies that any tangent plane field on a manifold is homotopic to the tangent bundle of a foliation of class C¹.
Another important problem was to find the relationship between the value of the GodbillonVey invariant and qualitative behavior of foliations. In the work in collaboration with Mizutani and Morita, we showed the GodbillonVey invariant vanishes for the foliations without holonomy or almost without holonomy. It was the first step leading to Duminy's theorem which says that if GV≠ 0 then there exists a leaf which attracts itself by its holonomy. I also looked at the rationality or irrationality of the GodbillonVey class of codimension1 foliations of higher dimensional manifolds and I gave an interesting family of foliations which exhibits the rationality as well as examples of foliations which exhibit irrationality.
Interesting foliations appear in relation with dynamical systems. In the work in collaboration with Noda, we studied regular projectively Anosov flows and we classified regular projectively Anosov flows on T² bundles over the circle, Seifert fibered spaces over 2dimensional hyperbolic orbifolds. Related with this work, I studied with Matsumoto on the uniqueness of the transverse intersections of two foliations in a 3dimensional manifold. It is also important as a research on typical foliations.
I studied the perfectness of the identity component of the group of diffeomorphisms, and showed the perfectness for the groups of foliation preserving diffeomorphisms, contactmorphisms with low regularity, etc. A group is said to be perfect if its abelianization is trivial, that is, any element can be written as a product of commutators. It is called uniformly perfect if the number of commutators is bounded. BragoIwanovPolterovich showed that the identity component of the group of diffeomorphisms of an ndimensional sphere or a 3dimensional manifold is uniformly perfect. I generalized their result and showed that the identity component of the group of diffeomorphisms of a compact odd dimensional manifold or a compact even dimensional manifold which has a handledecomposition without handles of the middle index is uniformly perfect. In these cases, the bound of number of commutators is at most 4. I showed also the uniform perfectness of the group for a compact even dimensional manifold of dimension not equal to 2 or 4. The number of commutators in this case may have the information on manifolds. For a space such as spheres I showed that any (orientation preserving) homeomorphism can be written as one commutator.
In 1974, Herman showed that the identity component of the group real analytic diffeomorphisms of the ndimensional torus is simple. I showed the perfectness of the identity component of the group real analytic diffeomorphisms for many real analytic manifolds with circle action. This is one of few results known for the group of real analytic diffeomorphisms. 
Selected publications 
 The GodbillonVey classes of codimension one foliations which are almost without holonomy (with T. Mizutani and S. Morita), Annals of Mathematics 113 (1981), 515527.
 On 2cycles of B Diff (S¹) which are represented by foliated S¹bundles over T², Annales de l'Institut Fourier, 31 (2) (1981), 159.
 On the homology of classifying spaces for foliated products, Advanced Studies in Pure Mathematics 5, Foliations, (1985), 7120.
 On the foliated products of class C¹, Annals of Mathematics, 130, (1989), 227271.
 CRstructures on Seifert manifolds (with Y. Kamishima), Inventiones mathematicae 104 (1991), 149163.
 The GodbillonVey invariant and the foliated cobordism group, Proceedings of the Japan Academy, 68, Ser A (1992) 8590.
 Area functionals and GodbillonVey cocycles, Annale de l'Institut Fourier 42 (1992) 421447.
 Homological and dynamical study on certain groups of Lipschitz homeomorphisms of the circle, J. Math. Soc. Japan. 47 (1995) 130.
 Small commutators in piecewise linear homeomorphisms of the real line, Topology 34 (1995) 815857.
 Acyclicity of the groups of homeomorphisms of the Menger compact spaces (with V. Sergiescu) American Journal of Mathematics 118 (1996) 12991312.
 The Calabi invariant and the Euler class, Transactions Amer. Math. Soc. 352 (2000), no. 2, 515524.
 Transverse intersections of foliations in threemanifolds, (with S. Matsumoto) Monographie de L'Enseignement Mathematique 38 (2001), 503525.
 Regular projectively Anosov flows on the Seifert fibered 3manifolds, J. Math. Soc. Japan. 56 (2004), 12331253.
 On the group of real analytic diffeomorphisms, Annales Scientifiques de l'Ecole Normale Superieure, 49, (2009) 601651.
 On the uniform perfectness of the groups of diffeomorphisms of evendimensional manifolds, Commentarii Mathematici Helvetici, 87, (2012) 141185.
 Homeomorphism groups of commutator width one, Proceedings Amer. Math. Soc. 141, (2013) 18391847.

Memberships, awards and activities 
Member of Mathematical Society of Japan, American Mathematical Society
Awarded the Geometry Prize of the Mathematical Society of Japan in 1991 for the original research achievements on the foliations of class C¹.
20002004, 2009 Member of Board of Trustees of the Mathematical Society of Japan.
20092011 President of the Mathematical Society of Japan. 