For a closed oriented manifold of dimension , Poincare duality pairs all rational Betti numbers except the middle one, making their total contribution to the Euler characteristic even. The middle cohomology degree is odd, so its nondegenerate Poincare duality pairing is an alternating bilinear form and has even dimension. Hence the Euler characteristic is even. Nonorientable manifolds can have odd Euler characteristic, as Real projective space of even dimension demonstrates.
Take a connected sum of copies of Complex projective space and copies of , with the empty sum interpreted as . Their Euler characteristics are four, zero and two, respectively. Removing a six-ball subtracts one from the Euler characteristic and gluing along its boundary subtracts zero, so each connected sum subtracts two. The result is . For any even integer , choose and .

Articles by others on the same topic (0)

There are currently no matching articles.