On intersection forms of definite 4-manifolds bounded by a rational homology 3-sphere

Dong Heon Choe, Kyungbae Park

We show that, if a rational homology 3-sphere $Y$ bounds a positive definite smooth 4-manifold, then there are finitely many negative definite lattices, up to the stable-equivalenc…