Equivariant weight filtration for real algebraic varieties with action (Q502106)

In [Math. Z. 277, No. 1--2, 63--80 (2014; Zbl 1326.14138)], the author considered real algebraic varieties equipped with a finite group action. By taking advantage of the functoriality of the weight complex, he equipped it with the induced group action. He then used an equivariant version of the extension criterion of \textit{F. Guillén} and \textit{V. Navarro Aznar} [Publ. Math., Inst. Hautes Étud. Sci. 95, 1--91 (2002; Zbl 1075.14012)] to show the uniqueness of the weight complex with action, with respect to extension, acyclicity and additivity properties, up to equivariant filtered quasi-isomorphism. Focusing on its realization by the Nash-constructible filtration, he obtain a filtered version of the Smith short exact sequence for an algebraic involution. Furthermore, in the case of an involution acting without fixed point on a compact real algebraic variety, he establish a relation by a filtered isomorphism the invariant filtered chains and the filtered chains of the arcsymmetric quotient. In this paper, the author applies a functor to the weight complex with action in order to induce a weight filtration on the equivariant homology of real algebraic varieties equipped with a finite group action. He shows the uniqueness of the equivariant weight complex, with respect to extension, acyclicity and additivity properties, similarly to the previous frameworks. Nevertheless, some significative differences appear between the induced spectral sequence and the weight spectral sequence. In particular, the equivariant weight spectral sequence is no longer left bounded. As a consequence, the long exact sequences of additivity provided by the equivariant weight spectral sequence are not finite in general. Moreover, the equivariant weight spectral sequence of a compact nonsingular variety does not degenerate at level two in general. This prevents us to recover some additive invariants directly from the page two of the equivariant weight spectral sequence, unlike the non-equivariant set-up. In the final part of this work, he identifies finite additive invariants in terms of bounded long exact sequences of spectral sequences, provided by bounded double complexes which extend the additivity of the Nash-constructible filtration and of the weight spectral sequence, and are related to the equivariant weight spectral sequence. In the case of the two-elements group, we use the Smith Nash-constructible exact sequence to identify additive invariants involving the geometry of invariant chains and the geometry of the fixed points set. He then shows that they coincide with G. Fichou's additive equivariant virtual Betti numbers in some cases. After having recovered the equivariant virtual Betti numbers for \(G = \mathbb Z/2\mathbb Z\) by using the equivariant extension criterion on invariant chains, he finally highlights the sufficient conditions for the Nash-constructible filtration to compute them.