2017/02/13 by Arabia, Alberto
#16E35 #55N91 #Algebraic Topology (math.AT) #FOS: Mathematics #Group Theory (math.GR)
paper · doi:10.48550/arxiv.1702.03889
The aim of these notes, originally intended as an appendix to a book on the foundations of equivariant cohomology, is to set up the formalism of the G-equivariant Poincaré duality for oriented G-manifolds, for any connected compact Lie group G, following the work of J.-L. Brylinski leading to the spectral sequence \mathop\rm Extgr\nolimitsHG(HG,\rm c (M),HG)⇒ HG(M)[dM] . The equivariant Gysin functor (_)_!:=ΩG(_)∈\mathcal D+(\mathord\rm DGM(HG)) (resp. (_)*:=ΩG,\rm c(_)) is then defined in the category of oriented G-manifolds and proper maps (resp. unrestricted maps) with values in the derived category of the category of differential graded modules over HG, as the composition of the Cartan complex of equivariant differential forms functor ΩG,\rm c(_) (resp. ΩG(_)) with the duality functor I\mkern-4.5muR \rm Hom_HG\bullet(_,HG) and the equivariant Poincaré adjunction I\mkern-4.5muDG (M):ΩG (M)[dM]→ I\mkern-4.5muR \rm Hom_HG\bullet(ΩG,\rm c (M),HG ) (resp. I\mkern-4.5muDG' (M):ΩG,\rm c (M)[dM]→ I\mkern-4.5muR \rm Hom_HG\bullet(ΩG (M),HG )). Equivariant Euler classes are next introduced for any closed embedding i:N⊆ M as \rm EuG(N,M):=i*i!(1) where i*i!:HG(N)→ HG(N) is the push-pull operator. Some localization and fixed point theorems finish the notes. The idea of introducing Gysin morphisms through an equivariant Poincaré duality formalism à la Grothendieck-Verdier has many theoretical advantages and is somewhat uncommon in the equivariant setting, warranting publication of these notes.