Families of diffeomorphisms of 4-manifolds via graph surgery II

In this talk, I will explain a method to construct families of diffeomorphisms of a 4-manifold by using a 4D analogue of Goussarov-Habiro's theory of graph surgery in 3D. Our graph surgery would produce lots of potentially nontrivial elements of homotopy groups of diffeomorphism groups of 4-manifolds. I will discuss about their applications to 4D analogue of the Smale conjecture and the 4D light bulb theorem for 3-disk.