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.
Articles by others on the same topic
There are currently no matching articles.