Skip to main content
2 of 2
improved formatting, corrected syntax, added postscript
Dave Anderson
  • 2.5k
  • 16
  • 15

There is a paper by Brion: "Poincaré duality and equivariant (co)homology," Michigan Math. J. 48 (2000). As mentioned in one of the comments, he uses Borel-Moore as the homology theory.

That said, one should always be careful about the word "duality" in this context -- often people just mean there's a canonical isomorphism $H_G^k X \rightarrow H^G_{n-k}X$. (Which does exist using equivariant Borel-Moore homology, when $X$ is smooth.) The geometric meaning is the same as in the ordinary case: if $V$ is a $G$-invariant sub(manifold/variety/cycle/etc) of codimension $k$, it defines a fundamental class in $H^G_{n-k} X$, which is identified with $H_G^kX$ by means of the isomorphism.

Duality could also refer to a pairing $H_G^k X \otimes H_G^\ell X \rightarrow H_G^{k+\ell-n}(point)$, given by the equivariant pushforward (integral): $$\alpha\otimes\beta \mapsto \int \alpha\cdot\beta .$$ Using this pairing, and assuming that $H_G^*X$ is free as a module over $H_G^*(point)$, any $H_G^*(point)$-module basis for $H_G^*X$ has a dual basis, in the usual sense of linear algebra. (Arguably, this duality pairing is what should really be called "Poincaré duality".) Again, the geometric meaning is similar to the ordinary case: if you're lucky enough to have invariant subvarieties whose classes form a basis for $H_G^*X$, the Poincaré dual basis is given by classes of subvarieties intersecting the original ones transversally (if they exist). However, the existence of geometrically defined dual bases is a stronger statement, because the equivariant integral is generally nonzero on classes of degree greater than $\dim X$.

(I should say all this is prejudiced toward the equivariant cohomology rings that usually show up in algebraic geometry, e.g., $H_G^*X$ is a free module over $H_G^*(point)$, so that it makes sense to talk about dual bases.)

PS: Defining equivariant Borel-Moore homology requires a little more care, since the spaces $EG\times^G X \rightarrow BG$ are infinite-dimensional fiber bundles. But they have finite-dimensional approximations $EG_m \times^G X \to BG_m$, so it makes sense to define $$H^G_k X = H_{k+\dim BG_m}(EG_m\times^G X)$$ for $m\gg0$. The equivariant Poincaré isomorphism is just the ordinary one for these approximation spaces.

Dave Anderson
  • 2.5k
  • 16
  • 15