Closed manifold

A closed manifold is a compact manifold with boundary whose boundary is empty. Here “closed” includes compactness.

A compact two-dimensional manifold without boundary. A connected oriented surface is classified by its genus; for genus $g$ its Euler characteristic is $2-2g$.

For connected oriented closed $d$-dimensional manifolds with $d\ge 2$, their connected sum removes an open $d$-dimensional ball from each and identifies the resulting boundary spheres by an orientation-reversing diffeomorphism. The remaining orientations fit together. Collapsing the separating sphere gives a pinch map to the wedge sum of the two closed manifolds, and projection to either summand has degree of a continuous mapping one. In intermediate positive degrees the cohomology is the direct sum of the summand groups. Products of classes from different summands vanish; products landing in top degree use the single common orientation class. These statements follow from excision, the Mayer–Vietoris sequence and the degree-one projections.

For odd $r\ge 1$ and $W_g={\#}_{i=1}^g(S^r\times S^r)$, the integral cohomology has one copy of $\mathbb{Z}$ in degrees zero and $2r$, ${\mathbb{Z}}^{2g}$ in degree $r$, and zero elsewhere. Choose the top orientation class $\omega$ and degree-$r$ classes ${\alpha }_i,{\beta }_i$ from the two factors of summand $i$. Their nonzero positive-degree basis products areAll ${\alpha }_i{\alpha }_j$ and ${\beta }_i{\beta }_j$ vanish, and $\omega$ annihilates positive-degree classes. The Künneth theorem computes each sphere product; the Mayer–Vietoris sequence computes the connected sum groups, and its degree-one pinch maps determine the products. Thus its middle-degree Poincare duality pairing is a symplectic vector space after changing coefficients to a field of characteristic different from two. The case $r=1$ is the usual cohomology ring of a closed oriented surface.