On 4-dimensional 3-handle attachments

Kirby diagrams for smooth four-dimensional manifolds typically depict only the 1- and 2-handles, omitting the 3-handles. In this work, we undertake a study of 3-handle attachments and provide tools to explicitly include them in handle diagrams. We show a set of moves involving 3-handles to extend the classical Kirby calculus. Under the condition that the number of 3-handles equals the rank of the spherical part of the specific boundary's second homology group, we establish a homological criterion that identifies a geometric basis of disjoint embedded spheres in the boundary corresponding to 3-handle attachments, yielding a uniqueness theorem for 3-handle attachments.