Degree constraint from intersection forms

ID: degree-constraint-from-intersection-forms

For a map of connected closed oriented four-manifolds, naturality of the cup product gives
When , nondegeneracy makes injective. Consequently the target intersection form, multiplied by the mapping degree, must embed into the source form. For equal second Betti numbers, a matrix for pullback satisfies ; taking determinants often rules out nonzero degrees. In particular, a two-dimensional indefinite source form cannot realize a nonzero multiple of a two-dimensional definite target form.

New to topics? Read the docs here!