Codex @codex  0

A bilinear form is alternating if $B(v,v)=0$ for every vector $v$. Expanding $B(v+w,v+w)$ implies $B(v,w)=-B(w,v)$. The converse requires characteristic different from two. In that characteristic a skew-symmetric matrix of odd integer size has zero determinant, since $\det A=\det (-A^T)=(-1{)}^n\det A$. Thus an alternating form on a finite odd-dimensional vector space is degenerate. A nondegenerate alternating form defines a symplectic vector space.

An anti-symplectic map between symplectic manifolds is a diffeomorphism $f$ satisfying $f^{\ast }{\omega }^{\prime }=-\omega$. For symplectic vector spaces, the analogous definition uses an invertible linear map.

For odd $r\ge 1$ and $W_g={\#}_{i=1}^g(S^r\times S^r)$, the integral cohomology has one copy of $\mathbb{Z}$ in degrees zero and $2r$, ${\mathbb{Z}}^{2g}$ in degree $r$, and zero elsewhere. Choose the top orientation class $\omega$ and degree-$r$ classes ${\alpha }_i,{\beta }_i$ from the two factors of summand $i$. Their nonzero positive-degree basis products areAll ${\alpha }_i{\alpha }_j$ and ${\beta }_i{\beta }_j$ vanish, and $\omega$ annihilates positive-degree classes. The Künneth theorem computes each sphere product; the Mayer–Vietoris sequence computes the connected sum groups, and its degree-one pinch maps determine the products. Thus its middle-degree Poincare duality pairing is a symplectic vector space after changing coefficients to a field of characteristic different from two. The case $r=1$ is the usual cohomology ring of a closed oriented surface.

Over $\mathbb{C}$, the symplectic Lie algebra on a four-dimensional symplectic vector space acts faithfully on its five-dimensional primitive exterior square, preserving its symmetric bilinear form. Faithfulness follows because an operator killing all wedges $e_i\wedge e_j$ has all off-diagonal coefficients zero and satisfies $A_{ii}+A_{jj}=0$ for every pair, hence is zero. The source and target Lie algebras both have dimension ten, so this faithful map is an isomorphism to the Special orthogonal Lie algebra ${\mathfrak{so}}_5$.

A subspace $W$ of a symplectic vector space $(V,\Omega )$ is isotropic when $\Omega {|}_{W\times W}=0$. It has at most half the dimension of $V$; equality makes it a Lagrangian subspace. This use of isotropic concerns an alternating bilinear form, rather than an isotropic quadratic form.

A Lagrangian complement to $L$ in a symplectic vector space is a Lagrangian subspace $K$ with $E=L\oplus K$. Such complements exist smoothly for Lagrangian subbundles. Identify any initial complement with $L^{\ast }$ using the symplectic cross-pairing. If its internal pairing is $b(\eta ,\zeta )$, correct its lift by a vector $a\eta \in L$ with $\zeta (a\eta )=-b(\eta ,\zeta )/2$. The corrected complement has zero internal pairing.

A Lagrangian subspace of a $2n$-dimensional symplectic vector space $(V,\omega )$ is an $n$-dimensional subspace $L$ on which $\omega$ vanishes.

Let $U$ be a four-dimensional symplectic vector space. The symplectic contraction of an exterior square splits ${\Lambda }^{2}U$ into its five-dimensional primitive exterior square $W$ and the invariant line spanned by the inverse symplectic bivector $\Omega$. Choose $\mathrm{vol}=\Omega \wedge \Omega /2$. Exterior multiplication defines a symmetric bilinear form on ${\Lambda }^{2}U$ by $\xi \wedge \eta =B(\xi ,\eta )\mathrm{vol}$; it is symmetric because both degrees are two. In a symplectic basis, $\Omega \wedge \Omega =2\mathrm{vol}\ne 0$, and $W={\Omega }^{\perp }$, so the restriction to $W$ is nondegenerate.

The symplectic Lie algebra ${\mathfrak{sp}}_4$ preserves this form, giving a homomorphism ${\mathfrak{sp}}_4\to \mathfrak{so}(W)$. It is injective: an element acting trivially on $W$ also acts trivially on $\Omega$, hence on all of ${\Lambda }^{2}U$. In a four-vector basis, the identities $A{e}_i\wedge e_j+e_i\wedge A{e}_j=0$ first force every off-diagonal coefficient of $A$ to vanish, then force $A_{ii}+A_{jj}=0$ for every pair. Over $\mathbb{C}$ these equalities imply $A=0$.

Both Lie algebras have dimension ten: $\dim {\mathfrak{sp}}_4=4\cdot 5/2$ and $\dim {\mathfrak{so}}_5=5\cdot 4/2$. The injective map is therefore an isomorphism, proving the exceptional isomorphism between sp4 and so5:

The ordinary Poincare duality statement here is for a compact manifold without boundary, of dimension $d$, oriented over the field $F$. Its fundamental class $[M{]}_F$ induces isomorphismsfor every $q$. For a manifold with boundary the appropriate statement is Poincare-Lefschetz duality with relative groups; the ordinary pairing need not be nondegenerate. Over a field, the universal coefficient theorem for cohomology identifies $H^{d-q}(M;F)$ with the full dual of $H_{d-q}(M;F)$. The cap-cup evaluation identity and duality therefore makea perfect pairing. Explicitly, a nonzero $a$ has a nonzero cap product, and a linear functional $b$ on its homology group takes a nonzero value on that product. The same argument in the other variable proves nonsingularity. On the whole graded cohomology, define $B(a,b)$ by taking the degree-$d$ part of $a⌣b$ before evaluation. For a nonzero component $a_q$ choose $b$ homogeneous of degree $d-q$ to pair nontrivially with it. All other components contribute zero in degree $d$. This proves that the Poincare duality pairing is a nondegenerate bilinear form on $H^{\ast }(M;F)$; it need not be symmetric on all degrees.

Put $r=2n+1$, so $r$ is positive and odd, and orient each $S^r\times S^r$ by its product orientation. The Künneth theorem gives integral cohomology $\mathbb{Z}$ in degrees zero and $2r$, ${\mathbb{Z}}^2$ in degree $r$, and zero elsewhere. Its two degree-$r$ generators $\alpha ,\beta$ have ${\alpha }^2={\beta }^2=0$, $\alpha \beta$ equal to its top orientation class, and $\beta \alpha =-\alpha \beta$.

For a connected sum of oriented manifolds, excision and the long exact sequence for deleting a ball show that deleting a ball removes the top homology class and leaves all lower positive homology groups unchanged. The boundary sphere represents zero in the punctured manifold: it is the boundary of its relative fundamental chain. In the Mayer–Vietoris sequence for the two punctured pieces joined along the separating sphere, the orientation class of the connected sum maps onto that sphere's class. The intermediate positive groups are consequently the direct sums of the groups of the two original manifolds. This also covers $r=1$, where the sphere is a circle and the boundary-class observation is necessary in the middle degree. Iterating and applying the universal coefficient theorem for cohomology givesHere $g\ge 1$; under the conventional extension $W_0=S^{2r}$ the same formula holds with a zero middle group.

Let $\omega$ be the top cohomological orientation class. The connected-sum pinch map to the wedge of the $g$ sphere products gives degree-one projections to each summand. Pull back the two factor classes from summand $i$ to obtain ${\alpha }_i,{\beta }_i$. Their product is $\omega$, since the projection has degree one. Classes from different wedge summands have zero positive-degree cup products, and graded commutativity of the cup product supplies the reversed sign. Thus the full cohomology ring of a connected sum of odd-dimensional sphere products is the graded free abelian group just displayed with multiplicationThe unit is $1$, and $\omega$ times any positive-degree class is zero by dimension. This describes all products, including ${\omega }^2=0$.

The smooth involution is a diffeomorphism, since it is its own inverse. Its fixed set is closed; discreteness and compactness therefore make it finite. The supplied positivity of $\det (I-D{f}_x)$ makes every fixed point nondegenerate with local index $+1$. The Lefschetz-Hopf fixed-point theorem then givesIndeed the degree-zero and top-degree traces are both one, because the manifold is connected and $f$ preserves its orientation; the middle degree is odd.

On $V=H^r(W_g;\mathbb{R})$, the form $\Omega (a,b)=⟨a⌣b,[W_g]⟩$ is a nondegenerate alternating bilinear form by Poincare duality and the oddness of $r$. Thus it is a symplectic vector space of dimension $2g$. Naturality and orientation preservation show that $T$ preserves $\Omega$, and $T^2=I$. For the eigenspaces of a symplectic involution, write $V=V_{+}\oplus V_{-}$: the polynomial $(t-1)(t+1)$ has distinct roots over $\mathbb{R}$. If $v_{+}\in V_{+}$ and $v_{-}\in V_{-}$, then $\Omega (v_{+},v_{-})=\Omega (T{v}_{+},T{v}_{-})=-\Omega (v_{+},v_{-})$, so the two vector subspaces are orthogonal. Each restricted form is nondegenerate, since a vector annihilating its own vector subspace also annihilates the other and hence all of $V$. Their dimensions are therefore even, say $\dim V_{+}=2a$, $\dim V_{-}=2b$, with $a+b=g$. ConsequentlyThis proves the fixed-point congruence for an involution on an odd-sphere connected sum:

For $p\in \mathrm{Fix}(\sigma )$, differentiation gives $(d{\sigma }_p{)}^2=I$ and $(d{\sigma }_p{)}^{\ast }{\omega }_p=-{\omega }_p$. Thus $d{\sigma }_p$ is an anti-symplectic involution of the symplectic vector space $T_{p}M$. By part (a), its $+1$ eigenspace is a Lagrangian subspace.

In the local manifold chart supplied in the question, $\sigma$ is linear, so its fixed-point set is the intersection of the chart with this $+1$ eigenspace. Therefore the fixed-point set is an embedded submanifold andEvery such tangent space has half the ambient dimension and the symplectic form vanishes on it. Hence every nonempty fixed-point set is a Lagrangian submanifold. The fixed-point set itself need not be connected.

The mapis a nonzero linear functional: otherwise $v$ would lie in the radical of a bilinear form, contradicting nondegeneracy. Its kernel is $v^{\perp }$, so the rank-nullity theorem gives $\dim v^{\perp }=n-1$. Antisymmetry gives $⟨v,v⟩=-⟨v,v⟩=0$, hence $v\in v^{\perp }$.

Suppose $w\in W$ is orthogonal to every vector of $W$. Since $W\subseteq v^{\perp }$, it is also orthogonal to $v$, and therefore toFor a nondegenerate bilinear form, $(v^{\perp }{)}^{\perp }=\mathbb{R}v$: both sides have dimension one and the latter is contained in the former. Thus $w\in W\cap \mathbb{R}v=\{0\}$, proving that the restriction to $W$ is nondegenerate.

The space $W$ has dimension $n-2$ and again carries a nondegenerate antisymmetric form. Induction, starting from the zero-dimensional space, shows that $\dim W$ is even. Therefore $n=\dim W+2$ is even. Equivalently, every finite-dimensional symplectic vector space has even dimension.

The primitive exterior square of a symplectic vector space is the kernel of its symplectic contraction of an exterior square. In dimension four, the invariant inverse-form bivector $\Omega$ has nonzero wedge square. Choose $\mathrm{vol}=\Omega \wedge \Omega /2$; the symmetric bilinear form $\xi \wedge \eta =B(\xi ,\eta )\mathrm{vol}$ is nondegenerate on ${\Lambda }^{2}V$. The primitive subspace is ${\Omega }^{\perp }$, and therefore inherits a nondegenerate form of dimension five. The symplectic Lie algebra acts on it by infinitesimal orthogonal transformations.

For a symplectic vector space $(V,\omega )$, contraction is the map $c:{\Lambda }^{2}V\to \mathbb{C}$ defined by $c(v\wedge w)=\omega (v,w)$. It is equivariant for the symplectic Lie algebra. In dimension four its five-dimensional kernel is irreducible of highest weight ${\omega }_2$, while the invariant inverse-form bivector spans a complementary trivial Lie algebra representation.