Fixed-point congruence for an involution on an odd-sphere connected sum
ID: fixed-point-congruence-for-an-involution-on-an-odd-sphere-connected-sum
Let be a connected sum of oriented manifolds consisting of copies of with odd . Suppose an orientation-preserving smooth involution has finitely many fixed points, all nondegenerate with positive determinant . The Lefschetz-Hopf fixed-point theorem and the cohomology ring of a connected sum of odd-dimensional sphere products giveThis middle group has dimension and its Poincare duality pairing is alternating. The induced map preserves the pairing and squares to the identity. By eigenspaces of a symplectic involution, its trace is for an integer . Therefore .
New to topics? Read the docs here!