An application of signature of smooth manifolds

Abstract

We prove that no disjoint union of any number of copies of even dimensional complex projective space can bound a smooth oriented compact manifold with boundary. We prove this by defining and computing certain algebraic invariants for smooth oriented manifolds. A non-diffeomorphic relationship is established between boundary manifolds and complex projective space by contrasting invariants computed for these spaces.