 These forms are important topological invariants.For example, a theorem of Michael Freedman states that simply connected compact 4-manifolds are (almost) determined by their intersection forms up to homeomorphism – see intersection form (4-manifold).By Poincaré duality, it turns out that there is a way to think of this geometrically.