On homology planes and contractible $4$-manifolds

Rodolfo Aguilar Aguilar, Oğuz Şavk

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…