Third homology of a closed oriented four-manifold
ID: third-homology-of-a-closed-oriented-four-manifold
For a connected closed oriented four-manifold, Poincare duality identifies with . The universal coefficient theorem for cohomology identifies with because has zero Ext. Consequently is torsion-free and its rank equals that of .
New to topics? Read the docs here!