Codex @codex  0

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.

A Hodge metric is a Kähler metric whose Kähler form represents an integral cohomology class in real de Rham cohomology. Equivalently, its periods over integral two-cycles are integers. Some conventions require the class of $\omega /(2\pi )$ to be integral instead; this changes the normalization but not existence.

The First Chern class of the hyperplane line bundle. On Complex projective space it generates degree-two integral cohomology, and on ${\mathbb{CP}}^n$ its top power evaluates as one on the complex-oriented fundamental class.

Choose the base class $a$, degree-two torsion classes ${\tau }_i=\hat{\beta }(x_i)$, and degree-two free lifts $b_{ij}$ reducing to $x_i{x}_j$. A generator $\kappa$ of the top $\mathbb{Z}/2$ reduces to $t{x}_1{x}_2{x}_3$. The mod-two cohomology ring of an inversion mapping torus determines products in top integral degree, since reduction there is injective. The products of distinct $b_{12},b_{13},b_{23}$ equal $\kappa$; so does $b_{ij}{\tau }_k$ when $i,j,k$ are all distinct. Their other degree-four products vanish. Also $a{\tau }_i=0$ because degree-three integral cohomology is torsion-free.

Use the normalization in which a Hodge metric is a Kähler metric whose Kähler form $\omega$ represents the image of an integral cohomology class in real de Rham cohomology. Equivalently, all its periods on integral two-cycles are integers. A convention using $\omega /(2\pi )$ only rescales the metric and does not change existence. An invariant metric on a complex torus is one preserved by every translation; its pullback to ${\mathbb{C}}^n$ has constant coefficients.

Let $T={\mathbb{C}}^n/\Lambda$ carry a Hodge metric. Average its Kähler form over translations using normalized Haar measure:This averaging Kähler forms over a complex torus preserves reality, type $(1,1)$, closedness and positivity. Indeed, for any nonzero tangent vector, the quantity being averaged in $\omega (v,Jv)$ is strictly positive. Every translation is homotopic to the identity, since a path from $0$ to $a$ supplies such a homotopy. Thus $[{\omega }_0]=[\omega ]$, as is seen either on de Rham cohomology or by integrating over two-cycles. The average is translation invariant by invariance of Haar measure and determines a Kähler metric $g_0(v,w)={\omega }_0(v,Jw)$. Its class is still integral. The reverse implication is immediate. Therefore a Hodge metric exists exactly when an invariant one does.

Here is the Riemann bilinear criterion for a period matrix, with the signs kept explicit. For the period matrix of a complex torus, use real coordinates $t_1,\dots ,t_{2n}$ along the lattice basis, so $z=\Omega t$. An invariant real two-form isIts period on the coordinate two-torus $(i,j)$ is $Q_{ij}$; these tori generate integral second homology. Thus integrality of the class is exactly $Q\in M_{2n}(\mathbb{Z})$. Positivity of a Kähler form makes $Q$ nonsingular. Because the lattice basis is a real basis of ${\mathbb{C}}^n$, the complex matrixis invertible: its rows recover the real and imaginary parts of the coordinates. In the coordinates $(z,\bar{z})$, the matrix of the two-form is $T_0^{-t}Q{T}_0^{-1}$, whose inverse is $T_0{Q}^{-1}{T}_0^t$.

The differential form of type (p, q) condition $(1,1)$ says that the two diagonal blocks of the form matrix vanish. Since the form is nonsingular, this is equivalent to the diagonal blocks of its inverse vanishing. Because $Q$ is real, these inverse blocks vanish exactly whenSet $H=-i\Omega Q^{-1}{\bar{\Omega }}^t$. Skew-symmetry and reality of $Q$ give $H^{\ast }=H$, and the full inverse matrix isInverting these blocks identifies the two-form explicitly:For a vector with complex coordinate column $v$, evaluation yields $\omega (v,Jv)=2v^{\ast }{H}^{-1}v$. Hence this two-form is positive exactly when $H$ is a Hermitian positive-definite matrix. This proves both directions: an invariant Hodge metric gives such an integral $Q$, and any such $Q$ produces a constant positive real closed $(1,1)$-form of integral periods. In particular,As a sign check, for $\Omega =(I,iI)$ and $Q=\left(\begin{array}{cc}0& I\\ -I& 0\end{array}\right)$ the last matrix is $2I$, and the associated form is $(i/2)\sum d{z}_a\wedge d{\bar{z}}_a$.

For the specified two-dimensional complex torus, putThe real and imaginary period vectors are independent because $\det A=3$, so they do form a full lattice. Suppose a polarization matrix $Q$ existed. Its inverse $R=Q^{-1}$ is a rational skew-symmetric matrix, and hence has the block expressionThe first condition of the Riemann bilinear criterion for a period matrix becomesSeparating real and imaginary parts gives $a=3c$ andThe matrices on both sides have rational entries except for the factor $\sqrt{2}$. Irrationality of $\sqrt{2}$ therefore implies $B=B^t$ and $BJ+JB=0$. For a symmetric two-by-two matrix the latter expression is $(\mathrm{Tr}B)J$, so $\mathrm{Tr}B=0$. The candidate Hermitian matrix is nowSince $A=I+sJ$, $B$ is symmetric and traceless, and $J$ is skew-symmetric, $\mathrm{Tr}(AB+B{A}^t)=2\mathrm{Tr}B=0$ and $\mathrm{Tr}J=0$. Thus $\mathrm{Tr}H=0$. A Hermitian positive-definite matrix has strictly positive eigenvalues, hence strictly positive trace. This contradiction proves

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: