On homology planes and contractible 4‐manifolds

Rodolfo Aguilar Aguilar,Oğuz Şavk
DOI: https://doi.org/10.1112/blms.13043
IF: 1.036
2024-04-19
Bulletin of the London Mathematical Society
Abstract:We call a non‐trivial homology sphere a Kirby–Ramanujam sphere if it bounds both a homology plane and a Mazur or Poénaru manifold. In 1980, Kirby found the first example by proving that the boundary of the Ramanujam surface bounds a Mazur manifold and it has remained a single example since then. By tracing their initial step, we provide the first additional examples and we present three infinite families of Kirby–Ramanujam spheres. Also, we show that one of our families of Kirby–Ramanujam spheres is diffeomorphic to the splice of two certain families of Brieskorn spheres. Since this family of Kirby–Ramanujam spheres bound contractible 4‐manifolds, they lie in the class of the trivial element in the homology cobordism group; however, both splice components are separately linearly independent in that group.
mathematics
What problem does this paper attempt to address?