Equivariant intersection cohomology of the circle actions (Q742204): Difference between revisions

The paper considers certain circle actions on stratified pseudomanifolds \(X\). The latter are assumed to have recursively defined ``unfoldings''. For instance if \(L\) is a closed manifold, then the unfolding of the cone on \(L\) is \(L\times \mathbb{R}\). The assumptions required of the action are the following: The isotropy type is constant along pure strata, the action is free over the regular part of the space, the action restricts to links and recursively obeys the same assumptions there, the orbit space is again a pseudomanifold (stratified by the orbits of strata) that has a compatible unfolding. Furthermore, the orbit projection is assumed to induce a bijection of strata. Such actions have a Euler class \(e\in IH^2_{\bar{e}} (X/S^1)\), where \(\bar{e}\) is a certain perversity, called the ``Euler perversity'', which depends on the nature of the action on strata and on links. For actions as above, the authors show that the \textit{equivariant} intersection cohomology of \(X\) is determined by the orbit space and the Euler class \(e\). Intersection cohomology is here represented by differential forms on the unfolding, subject to perversity restrictions implemented as usual by requiring a form to vanish on a number of vertical vector fields. The main tool used in the proof is an equivariant Gysin sequence. Further sections are devoted to a basic spectral sequence converging to the equivariant intersection cohomology and to a certain localization.