Fixed-point congruence for an involution on an odd-sphere connected sum ($\#\mathrm{Fix}(f)\equiv 2-2g(\mathrm{mod}4)$)

Let $W_g$ be a connected sum of oriented manifolds consisting of $g$ copies of $S^r\times S^r$ with odd $r\ge 1$. Suppose an orientation-preserving smooth involution $f$ has finitely many fixed points, all nondegenerate with positive determinant $\det (I-D{f}_x)$. The Lefschetz-Hopf fixed-point theorem and the cohomology ring of a connected sum of odd-dimensional sphere products giveThis middle group has dimension $2g$ 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 $2g-4b$ for an integer $b$. Therefore $\#\mathrm{Fix}(f)\equiv 2-2g(\mathrm{mod}4)$.