A remark on equivariant Poincaré duality (Q1181458)

Soit \(M\) une \(G\)-variété orientable fermée où \(G=S^ 1\) ou \(S^ 3\), on considère sa cohomologie périodique \(G\)-invariante \(PH^*_ G(M)=\varinjlim(\dots H^*_ G(M,\mathbb{R}) @> .u >> H^*_ G(M,\mathbb{R})\dots)\), où \(u\) est le générateur de degré \(k=\dim G+1\) de l'anneau polynomial \(H^*_ G(pt,\mathbb{R})\). On dispose d'autre part d'un homomorphisme de Poincaré \(\beta: H^ G_{n-l}(M,\mathbb{R})\to H_ G^{l-k+1}(M,\mathbb{R})\), où \(n=\dim M\), dont le noyau et le conoyau appartiennent à \(PH^*_ G(M)\), autrement dit cette cohomologie mesure le défaut d'isomorphisme de \(\beta\). La démonstration utilise une construction à la Goodwillie-Jones ainsi que l'existence d'un diagramme commutatif analogue à celui liant l'homologie de Hochschild, l'homologie cyclique périodique et \(HC^ -\).