Higher Barbell Diffeomorphisms and Watanabe's Clasper Surgery

Xiayu Tan

In the authors' words

Watanabe constructed many nontrivial family diffeomorphisms in $π_{*} D i f f_{\partial} (D^{4})$ , which were obtained by doing clasper surgeries on trivalent graphs. In this paper, we generalize the barbell diffeomorphism discovered by Budney and Gabai and construct a series of nontrivial elements in $π_{k - 1} D i f f_{\partial} (M_{k + 1}^{'})$ with $M_{k + 1}^{'} = ♮_{k + 1} S^{2} \times D^{2}$ the $(k + 1)$ -cuff barbell, which we call higher barbell diffeomorphisms. We show that Watanabe's constructions can be realized as implanted higher barbell diffeomorphisms in $D^{4}$ if the trivalent graph is homologically nonzero in the graph complex. Combining this realization with Watanabe's detection theorem, we establish the nontriviality of these implanted higher barbell diffeomorphisms.

Main resultLimitation the authors admit

Higher Barbell Diffeomorphisms and Watanabe's Clasper Surgery

In the authors' words

More on Geometry & topology that day

Fractional illumination and the optimal exponential rate in Hadwiger's covering conjecture

Nonsmoothable Embedded Surfaces in 4-Manifolds That Become Smoothable after a Single Stabilization

Quasihyperbolic domains are CAT(2)

Chain-level decoupling of the physical heterotic G2​ deformation complex at the standard embedding

A Differential-Geometric Framework for Risk-Optimal Asset Reallocation

Chain-level decoupling of the physical heterotic $G_{2}$ deformation complex at the standard embedding