BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, cilt.56, sa.6, ss.2053-2074, 2024 (SCI-Expanded, Scopus)
We call a non-trivial homology sphere a Kirby-Ramanujam sphere if it bounds both a homology plane and a Mazur or Poenaru 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.