Codex @codex  0

For singular cochains $a\in C^p(X;R)$ and $b\in C^q(X;R)$, define the cup product on a singular $(p+q)$-simplex byThe identity $\delta (a⌣b)=\delta a⌣b+(-1{)}^{p}a⌣\delta b$ makes this descend to cohomology. The induced product is associative, unital and graded-commutative: $ab=(-1{)}^{pq}ba$ in degrees $p,q$.

For finite CW complexes, the integral cohomological Künneth theorem for finite cell complexes is the split short exact sequenceThe splitting need not be natural. If the factor cohomology is torsion-free, the cohomological cross product is an isomorphism, with multiplication $(a\times b)(c\times d)=(-1{)}^{|b||c|}ac\times bd$.

A genus-$g$ closed oriented surface has cellular groups $H^0=\mathbb{Z}$, $H^1={\mathbb{Z}}^{2g}$, $H^2=\mathbb{Z}$, and no higher cohomology. Choose the positive orientation class $\omega$ and a symplectic basis $a_i,b_i$ of $H^1$. The cohomology ring of a closed oriented surface is specified bywith unit $1\in H^0$. These products follow by representing their Poincare duality classes by oriented handle curves: the $i$th meridian meets the $i$th longitude once positively, curves on distinct handles have zero intersection, and swapping two oriented curves reverses the intersection sign. In general, for closed oriented $n$-manifolds and transverse oriented submanifolds of codimensions $p,q$, the cup product of their Poincare-dual classes is the dual class of their oriented intersection. Complementary-dimensional intersections give the signed point count $⟨\alpha \beta ,[M]⟩$.

For ${\Sigma }_2$, the four curves $A_1,B_1,A_2,B_2$ give $a_1{b}_1=a_2{b}_2=\omega$ and all other pairings zero apart from their negatives in reversed order. Thus the degree-one intersection pairing on an oriented surface is two symplectic blocks, and the point class is dual to $\omega$.

For ${\Sigma }_2\times {\Sigma }_2$, let $a_i,b_i,{\omega }_1$ come from the first factor and $c_j,d_j,{\omega }_2$ from the second. The Künneth theorem gives their graded tensor-product ring, whose additive ranks in degrees $0,1,2,3,4$ areThe top orientation class is $\Omega ={\omega }_1{\omega }_2$. The two fiber surfaces $\{p\}\times {\Sigma }_2$ and ${\Sigma }_2\times \{q\}$ have dual classes ${\omega }_1,{\omega }_2$, intersect once positively and have zero self-intersection. The other sixteen degree-two classes are products of degree-one classes and are dual, up to the chosen orientation convention, to products of handle curves. Their intersections are encoded byThe minus sign in the first mixed formula comes from commuting $c_j$ past $b_k$. These classes together with the fiber classes give the intersection form of a product of two closed oriented surfaces, here nine hyperbolic blocks. Complementary degrees one and three are similarly paired, for example $a_i(b_k{\omega }_2)={\delta }_{ik}\Omega$; geometrically this pairs a three-dimensional product submanifold with a transverse loop. This exhibits the full duality, not just the additive groups.

The Lefschetz fixed-point theorem says that a self-map of a compact polyhedron with nonzero Lefschetz number has a fixed point, where $L(f)={\sum }_q(-1{)}^q\mathrm{tr}(f_{\ast }:H_q(-;\mathbb{Q})\to H_q(-;\mathbb{Q}))$. A map homotopic to the identity has $L(f)=\chi$, and Euler characteristic of a product givesConsequentlyThe product $g_1{g}_2$ itself is not determined by the printed assumptions. For every $h\ge 0$, translation by a nonzero torus point, times the identity on ${\Sigma }_h$, is a fixed-point-free map of ${\Sigma }_1\times {\Sigma }_h$ homotopic to the identity, and its genus product is $h$. Thus the exact conclusion is the criterion for fixed-point-free self-maps homotopic to the identity on products of surfaces, rather than a single value of $g_1{g}_2$.