Intersection forms of definite manifolds bounded by lens spaces

We find some restrictions on the intersection forms of smooth definite manifolds bounded by rational homology spheres which are rationally cobordant to lens spaces. As a first consequence, we show that several natural maps to the rational homology cobordism group have infinite rank cokernels. Further, we show that there is no $n$ such that every lens space smoothly embeds in $n$ copies of the complex projective plane. This is joint work with Paolo Aceto and Daniele Celoria.