Intersection cohomology of simple toric actions (Q2365504)

Considérons une action \(\Phi:\mathbb{T}\times M\to M\) d'un tore \(\mathbb{T}\) sur une variété \(M\). Supposons que cette action est libre. La filtration du complexe des formes différentielles sur \(M\) par leur degré vertical détermine la suite spectrale de Leray-Serre \(\{E_m\}\). Celle-ci converge vers la cohomologie de \(M\) et son second terme \(E_2\) est le produit tensoriel \(H^*(M/\mathbb{T})\otimes H^*(\mathbb{T})\). Ceci n'est plus valable si l'action n'est pas libre. Remarquons que dans ce cas l'espace des orbites \(M/\mathbb{T}\) n'est plus forcément une variété mais un ensemble stratifié. Dans le but d'étendre cette suite spectrale aux autres actions non libres, nous avons traité dans [\textit{G. Hector} et \textit{M. Saralegi}, Trans. Am. Math. Soc. 338, No. 1, 263-288 (1993; Zbl 0784.57019)] le cas \(\mathbb{T}= \mathbb{S}^1\). Là, la suite spectrale dégénère en la suite de Gysin: \[ \cdots\to IH^v_{\overline r}(M/\mathbb{T})\to H^v(M)\to IH^{v-1}_{\overline r-\overline 2}(M/\mathbb{T})@>\wedge[e]>> IH^{v+1}_{\overline r}(M/\mathbb{T})\to\cdots,\tag{1} \] où \([e]\) est la classe d'Euler de \(\Phi\), qui est de degré pervers 2, et \(\overline r\) une perversité quelconque sur \(M/\mathbb{T}\). Rappelons que la cohomologie d'intersection \(IH^*_{\overline r}(M/\mathbb{T})\) est calculée en utilisant les formes différentielles d'intersection \(\omega\) dont le degré pervers (ainsi que celui de \(d\omega\)) est majoré par la perversité \(\overline r\). L'apparition de la cohomologie d'intersection de \(M/\mathbb{T}\) (au lieu de \(H^*(M/\mathbb{T})\)) n'est pas surprenante. En effet, comme les travaux de Goresky et MacPherson le montrent, celle-ci est un outil naturel quand il s'agit de travailler avec des ensembles stratifiés. L'objectif de ce travail est de poursuivre cette étude, dans le cadre des actions toriques simples (localement `one or two orbit types', selon la terminologie de [\textit{G. E. Bredon}, Introduction to compact transformation groups, Pure Appl. Math. 46 (1972; Zbl 0246.57017)]). Toujours à l'aide de la filtration du complexe des formes différentielles sur \(M\) par son degré vertical, nous construisons, pour chaque perversité \(\overline r\), une suite spectrale à la Leray-Serre \(\{_{\overline r}E_m\}\) convergeant vers la cohomologie de \(M\) dont le second terme est décrit à l'aide de la cohomologie d'intersection de \(M/\mathbb{T}\) et de la cohomologie de \(\mathbb{T}\) (pour l'éconcé exact voir Théorème 5.5). Cette suite spectrale donne (1) quand \(\mathbb{T}= \mathbb{S}^1\) et coïncide avec la suite spectrale de Leray-Serre si l'action est libre.