Diagonal-degree obstruction to a symmetric sphere retraction

ID: diagonal-degree-obstruction-to-a-symmetric-sphere-retraction

For and , no factor-permutation-invariant map restricts to the identity on the diagonal. The Künneth theorem makes the degree- cohomology a direct sum of copies of . Symmetry forces for one integer . Pulling back to the diagonal multiplies this coefficient by , so the identity restriction would give . The contradiction uses integral coefficients and applies in both even and odd sphere dimensions.

New to topics? Read the docs here!