2022/12/05 by Kawauchi, Akio
#57M20 #57Q45 #FOS: Mathematics #Geometric Topology (math.GT)
paper · doi:10.48550/arxiv.2212.02617
M. A. Kervaire showed that every group of deficiency d and weight d is the fundamental group of a smooth sphere-link of d components in a smooth homotopy 4-sphere. In the use of the smooth unknotting conjecture and the smooth 4D Poincaré conjecture, any such sphere-link is shown to be a sublink of a free ribbon sphere-link in the 4-sphere. Since every ribbon sphere-link in the 4-sphere is also shown to be a sublink of a free ribbon sphere-link in the 4-sphere, Kervaire's sphere-link and the ribbon sphere-link are equivalent concepts. By applying this result to a ribbon disk-link in the 4-disk, it is shown that the compact complement of every ribbon disk-link in the 4-disk is aspherical. By this property, a ribbon disk-link presentation for every contractible finite 2-complex is introduced. By using this presentation, it is shown that every connected subcomplex of a contractible finite 2-complex is aspherical (meaning partially yes for Whitehead aspherical conjecture).