English

A Bilinear Form for Spin$^c$ Manifolds

Algebraic Topology 2025-11-18 v3

Abstract

Let MM be a closed oriented spinc^{c} manifold of dimension (8n+2)(8n {+} 2) with fundamental class [M][M], and let ρ2 ⁣:H4n(M;Z)H4n(M;Z/2)\rho_{2} \colon H^{4n}(M; \mathbb{Z}) \rightarrow H^{4n}(M; \mathbb{Z}/2) denote the mod 2\bmod ~ 2 reduction homomorphism. For any torsion class tH4n(M;Z)t \in H^{4n}(M;\mathbb{Z}), we establish the identity ρ2(t)Sq2ρ2(t),[M]=ρ2(t)Sq2v4n(M),[M], \langle \rho_2(t) \cdot Sq^2 \rho_2 (t), [M] \rangle = \langle \rho_2 (t) \cdot Sq^2 v_{4n}(M), [M]\rangle, where Sq2Sq^2 is the Steenrod square, v4n(M)v_{4n}(M) is the 4n4n-th Wu class of MM, xy x\cdot y denotes the cup product of xx and yy, and  , \langle \cdot ~, ~\cdot \rangle denotes the Kronecker product. This result generalizes the work of Landweber and Stong from spin to spinc^c manifolds. As an application, let βZ/2 ⁣:H4n+2(M;Z/2)H4n+3(M;Z)\beta^{\mathbb{Z}/2} \colon H^{4n+2}(M; \mathbb{Z}/2) \to H^{4n+3}(M; \mathbb{Z}) be the Bockstein homomorphism associated to the short exact sequence of coefficients Z×2ZZ/2\mathbb{Z} \xrightarrow{\times 2} \mathbb{Z} \to \mathbb{Z}/2. We deduce that βZ/2(Sq2v4n(M))=0\beta^{\mathbb{Z}/2}(Sq^2 v_{4n}(M)) = 0, and consequently, Sq3v4n(M)=0Sq^3 v_{4n}(M) = 0, for any closed oriented spinc^{c} manifold MM with dimM8n+1\dim M \le 8n{+}1.

Keywords

Cite

@article{arxiv.2509.01979,
  title  = {A Bilinear Form for Spin$^c$ Manifolds},
  author = {Huijun Yang},
  journal= {arXiv preprint arXiv:2509.01979},
  year   = {2025}
}
R2 v1 2026-07-01T05:16:41.972Z