关于圆周群（circle group）系数下庞加莱对偶性（Poincaré duality）是否成立的技术问询

嘿，这个问题问得相当到位！其实Hatcher用环系数来陈述庞加莱对偶，主要是因为环结构能让对偶配对的代数性质更清晰，但这完全不代表对偶性只能局限在环系数上——圆周群$\mathbb{S}^1$（也就是$\mathbb{R}/\mathbb{Z}$）作为系数时，庞加莱对偶是完全成立的。

我给你拆解下背后的逻辑：

• 首先，庞加莱对偶的核心本质和系数是否为环关系不大，关键在于流形的定向性，以及系数群的可除性（或者说 injective 性质）。$\mathbb{S}^1$是一个可除阿贝尔群，同时也是$\mathbb{Z}$-模中的 injective 对象，而对于闭定向流形$M^{n$，只要系数群$G$是可除群，对偶同构$H}k(M; G) \cong H_{n-k}(M; G)$就成立。
• 你也可以通过万有系数定理来验证：根据万有系数公式，上同调$H^k(M; \mathbb{S}^1)$同构于$\text{Hom}(H_k(M; \mathbb{Z}), \mathbb{S}^1) \oplus \text{Ext}(H_{k-1}(M; \mathbb{Z}), \mathbb{S}^{1)$。但因为$\mathbb{S}}1$是 injective 群，$\text{Ext}$项直接为零，所以$H^k(M; \mathbb{S}^1) \cong \text{Hom}(H_k(M; \mathbb{Z}), \mathbb{S}^1)$。而整数系数下的庞加莱对偶告诉我们$H_k(M; \mathbb{Z}) \cong H^{n-k}(M; \mathbb{Z})$，把两边同时取到$\mathbb{S}^1$的同态，就得到$\text{Hom}(H_k(M; \mathbb{Z}), \mathbb{S}^1) \cong \text{Hom}(H^{n-k}(M; \mathbb{Z}), \mathbb{S}^1)$。再一次用万有系数定理，右边又同构于$H_{n-k}(M; \mathbb{S}^{1)$（同样因为$\mathbb{S}}1$ injective，Ext项消失），这样就完整串起了$\mathbb{S}^1$系数下的对偶同构。
• 还有个更直观的视角：$\mathbb{S}^{1$和整数群$\mathbb{Z}$是庞特里亚金对偶的关系，而庞加莱对偶在庞特里亚金对偶的操作下是兼容的，所以整数系数的对偶性可以自然地“转移”到$\mathbb{S}}1$系数上。

补充一句，虽然Hatcher的书里没专门展开非环系数的情况，但像Bredon的《Topology and Geometry》这类教材，会明确提到系数在可除群或injective群时的庞加莱对偶，$\mathbb{S}^1$就是最典型的例子之一。

备注：内容来源于stack exchange，提问作者mathieu