Complexe de poids ´ equivariant

avec ξ_p,k^k−|_−|^S|_S⁺¹_|+1^,S_−p ∈HomG(F−p, K_k−p−|S|+1,S).

Par unicit´e de la d´ecomposition en somme directe, pour tout p et tout S, w_p,k^k−₋^p−|_p^S|+1,S =

ξ_p,k^k−|_−|^S|_S⁺¹_|+1^,S_−p et on a donc δ_k(w) =^X p,S Λ^k_p,Sw^k_p,k^−p₋^−|_p^S|+1,S=^X p,S Λ^k_p,Sξ_p,k^k−|_−|^S|_S⁺¹_|+1^,S_−p=τ(w).

Ainsi, les complexes (L_k(sK_∗), δ∗) et (s(L∗(K))∗, τ∗) de C₋ sont identiques.

Enfin, prenons en compte les filtrations. Pour S ⊂ {0,1, ..., n}, on note J^S la filtration du complexeK∗,S et on noteJ la filtration induite sur le complexe simplesK. On note ensuiteJS

la filtration induite sur L∗(K∗,S) et J la filtration associ´ee sur le complexe simple s(L∗(K)). On note enfin J⁰ la filtration induite parJ surL∗(sK).

On veut v´erifier que la filtration obtenue apr`es avoir consid´er´e le complexe simple associ´e au diagramme cubique K puis appliqu´e L est la mˆeme que celle obtenue apr`es avoir appliqu´e

L puis consid´er´e le complexe simple. Pour tout p, on a J0

pL∗(sK) = L∗(J_p(sK)) = L∗(s(J_pK)) = s(L∗(J_pK)) = s(J_pL∗(K)) =

J_ps(L∗(K)).

4.3 Complexe de poids ´equivariant

Avant de d´efinir enfin le complexe filtr´e de poids ´equivariant sur lesG-vari´et´es alg´ebriques r´eelles, pr´ecisons l’homologie sur laquelle il va induire une filtration par le poids que l’on dira ´

equivariante.

D´efinition 4.3.1. Soit X une G-vari´et´e alg´ebrique r´eelle de Sch^G_c(_R). On note C_∗^G(X) :=

L^G_∗(C∗(X)) et, pour n∈Z, on associe `a X

H_n(X;G) :=H_n(G, C∗(X)) =H_n(C_∗^G(X)),

son n-i`eme groupe d’homologie ´equivariante, o`u C∗(X) est le G-complexe des chaˆınes semi-alg´ebriques `a supports ferm´es de l’ensemble des points r´eels deX.

Remarque 4.3.2. – Par fonctorialit´e deL, ces constructions sont fonctorielles.

– Cet invariant sur Sch^G_c(_R) qu’est l’homologie ´equivariante prend en compte la topologie de l’ensemble des points r´eels de la G-vari´et´e alg´ebrique r´eelle consid´er´ee, l’action de G

sur celui-ci, mais ´egalement de la structure du groupeGlui-mˆeme, comme nous l’indique la suite spectrale de Hochschild-Serre

IE_p,q² =H^−p(G, Hq(X))⇒Hp+q(X;G).

Cette suite spectrale est la mˆeme que dans [35] Chapter III Proposition 5.2, nous montrant que notre homologie ´equivariante 4.3.1 est ´egale `a l’homologie ´equivariante de J. van Hamel d´efinie dans [35] Chapter III Definition 1.2 (du moins sur lesG-vari´et´es alg´ebriques r´eelles compactes).

– Pour G={e},Hn(X;G) =Hn(X).

Exemple 4.3.3. Calcul de la suite spectrale de Hochschild-Serre associ´ee `a une action de

G= Z/2Z sur une sph`ereX de dimension 2, d’´equation x²+y²+z²= 1 dans R³. 1. Action (x, y)7→(−x, y). On ´ecrit le terme_IE_p,q² (X) =H^−p(G, Hq(X)) :

. . . _Z2[X] . . . _Z2[X] _Z2[X]

. . . 0 . . . 0 0

. . . Z2[{p0}] . . . Z2[{p0}] Z2[{p0}]

o`up₀ est un point deX que l’on choisit dans l’ensembleX^Gdes points fixes pour la suite des calculs. Ainsi, comme les morphismes des lignes du complexe double induisant cette suite spectrale sont tous du type 1 +σ, les diff´erentiellesd^rpartant des termes de la ligne

p= 0 sont triviales, quelque soit la page_IE^r(X) de la suite spectrale pourr≥2. La suite spectrale converge donc au terme IE²(X) et

H_k(X;G) =

(

Z2[X] sik= 1 ou 2, Z2[X]⊕_Z2[{p₀}] sik≤0.

2. Action (x, y)7→(−x,−y). Le terme_IE_p,q² (X) est identique au cas pr´ec´edent. Le pointp0

ne peut cependant plus ˆetre choisi dans l’ensemble des points fixes X^G qui est vide, et l’image de [{p₀}] par la diff´erentielle d³ est [X]. La suite spectrale converge donc `a la pageIE⁴(X) qui s’´ecrit

. . . 0 . . . _Z2[X] _Z2[X] . . . 0 . . . 0 0 . . . 0 . . . 0 0 et on a H_k(X;G) = ( Z2[X] sik= 0, 1 ou 2 0 sik <0.

On peut ´egalement d´eterminer la dimension de l’homologie ´equivariante pour G = Z/2Z grˆace `a la formule suivante, obtenue en consid´erant la suite spectrale_IIE :

Exemple 4.3.4. SoientG=Z/2ZetX une G-vari´et´e alg´ebrique r´eelle. Alors, pour toutk∈_Z,

H_k(X;G) = (ker ∂_k)^G/∂_d (C_k+1(X))^G ⊕ ^M i≥k+1 Hi X^G.

4.3. COMPLEXE DE POIDS ´EQUIVARIANT 71

D´emonstration. On consid`ere le complexe double

C_d(X) −−→^1+σ C_d(X) −−→^1+σ C_d(X) → ↓∂d ↓∂d ↓∂d C_d−1(X) −−→^1+σ C_d−1(X) −−→^1+σ C_d−1(X) → ↓∂d−1 ↓∂d−1 ↓∂d−1 .. . .._. .._. ↓∂2 ↓∂2 ↓∂2 C₁(X) −−→^1+σ C₁(X) −−→^1+σ C₁(X) → ↓∂1 ↓∂1 ↓∂1 C0(X) −−→^1+σ C0(X) −−→^1+σ C0(X) →

o`udest la dimension deX. L’homologie du complexe total associ´e calcule l’homologie ´equivariante de X par d´efinition.

La suite spectraleIIE associ´ee est calcul´ee en consid´erant d’abord l’homologie sur les lignes du complexe double, puis celle sur les colonnes. La page IIE¹ est donc :

(Cd(X))^G Cd X^G Cd X^G ↓∂_d ↓∂_d ↓∂_d (C_d−1(X))^G C_d−1 X^G C_d−1 X^G ↓∂_d−1 ↓∂_d−1 ↓∂_d−1 .. . .._. .._. ↓∂₂ ↓∂₂ ↓∂₂ (C₁(X))^G C₁ X^G C₁ X^G ↓∂₁ ↓∂₁ ↓∂₁ (C₀(X))^G C₀ X^G C₀ X^G

On utilise ici les suites exactes courtes de Smith 0→C_k X^G

⊕(1 +σ)C_k(X)→C_k(X)→(1 +σ)C_k(X)→0.

Le terme _IIE² est ensuite

(ker ∂_d)^G H_d X^G H_d X^G (ker ∂_d−1)^G/∂_d(C_d(X))^G H_d−1 XG H_d−1 XG .. . .._. .._. (ker ∂₁)^G/∂₂(C₂(X))^G H₁ X^G H₁ X^G (C₀(X))^G/∂₁(C₁(X))^G H₀ X^G H₀ X^G

On remarque alors que la diff´erentielleIId² ainsi que les diff´erentielles des pages suivantes sont triviales (pour calculer l’image d’un ´el´ement deH_k(X^G), on consid`ere un de ses repr´esentants qui est donc dansker ∂<sub>k</sub>, or la premi`ere ´etape consiste justement `a lui appliquer∂<sub>k</sub>). Ainsi, la suite spectrale converge `a la page 2 et, pour toutk∈_Z,

H_k(X;G) = (ker ∂_k)^G/∂_d((C_k+1(X))^G)⊕ ^M

i≥k+1

Hi(X^G).

D´efinissons enfin le complexe de poids ´equivariant. Rappelons que pour toute G-vari´et´e alg´ebrique r´eelle X, le complexe de poids avec actionWC∗(X) est un ´el´ement de H◦ CG. On va donc pouvoir lui appliquer le foncteurL pour obtenir un ´el´ement deH◦ C− :

D´efinition 4.3.5. Soit X ∈Sch^G_c(_R). On note

ΩC_∗^G(X) :=L∗(WC∗(X))∈H◦ C−,

le complexe de poids ´equivariant de X.

On note, pour X une G-vari´et´e alg´ebrique r´eelle, FcanC_∗^G(X) :=L∗(F^canC∗(X)). Comme son analogue non-´equivariant, le complexe filtr´e de poids ´equivariant est une extension de cette filtration canonique ´equivariante, acyclique et additif, unique `a quasi-isomorphisme deC<sub>−</sub>pr`es :

Th´eor`eme 4.3.6.

ΩC_∗^G:Sch^G_c(_R)→H◦ C₋ ; X 7→ΩC_∗^G(X) est un foncteur, extension du foncteur

FcanC_∗^G:V^G(_R)→H◦ C₋ ; X7→ FcanC_∗^G(X),

et qui v´erifie les propri´et´es suivantes :

1. Acyclicit´e : Pour tout carr´e acyclique dans Sch^G_c(_R), le complexe filtr´e simple du ⁺₁ -diagramme dans C− ΩC_∗^G(Ye) → ΩC_∗^G(Xe) ↓ ↓ ΩCG ∗ (Y) → ΩCG ∗ (X) est acyclique.

2. Additivit´e : Pour une inclusion ferm´ee ´equivariante Y ⊂X, le complexe filtr´e simple du

⁺₀-diagramme dans C₋

ΩC_∗^G(Y)→ΩC_∗^G(X) est isomorphe dans H◦ C₋ `a ΩC_∗^G(X\Y).

De plus, tout autre foncteur Sch^G_c(_R)→H◦ C₋ avec ces trois propri´et´es sera quasi-isomorphe dansC− `a ΩCG

4.3. COMPLEXE DE POIDS ´EQUIVARIANT 73

D´emonstration. On v´erifie tout d’abord les propri´et´es d’extension, d’acyclicit´e et d’additivit´e du complexe de poids ´equivariant, puis ensuite son unicit´e.

Propri´et´e d’extension :ΩC_∗^G :Sch^G_c(_R) →H◦ C₋ est un foncteur en tant que compo-sition du foncteurWC∗:Sch^G_c(_R)→H◦ CG et du foncteur L:H◦ CG →H◦ C₋.

Comme de plus,WC∗:Sch^G_c(_R)→H◦CGest une extension du foncteurF^canC∗:V^G(_R)−→ H◦ CG, ΩCG

∗ :Sch^G_c(_R)→H◦ C− est une extension du foncteurFcanCG

∗ :VG(_R)→H◦ C− qui est la composition deF^canC∗ :V^G(_R)−→H◦ CG et de L:H◦ CG→H◦ C₋. Acyclicit´e :Soit e Y → Xe ↓ ↓ Y → X

un carr´e acyclique dans Sch^G_c(R). Alors

s   WC∗(Ye) → WC∗(Xe) ↓ ↓ WC∗(Y) → WC∗(X)  

est acyclique dans H◦ CG.

Or, en appliquant le foncteur L `a un quasi-isomorphisme de CG, on obtient un quasi-isomorphisme de C−. Ainsi, le complexe

L∗  s   WC∗(Ye) → WC∗(Xe) ↓ ↓ WC∗(Y) → WC∗(X)    

est quasi-isomorphe dans C₋ `a l’image par L du complexe nul dans CG, i.e. le complexe nul de C₋.

Enfin, par la commutativit´e de L avec s, on obtient

L∗  s   WC∗(Ye) → WC∗(Xe) ↓ ↓ WC∗(Y) → WC∗(X)     = s   L∗(WC∗(Ye)) → L∗(WC∗(Xe)) ↓ ↓ L∗(WC∗(Y)) → L∗(WC∗(X))   = s   ΩC_∗^G(Ye) → ΩC_∗^G(Xe) ↓ ↓ ΩC_∗^G(Y) → ΩC_∗^G(X)  

d’o`u l’acyclicit´e du foncteur ΩC_∗^G.

Additivit´e :Soit une inclusion ferm´ee ´equivarianteY ⊂X, le complexe filtr´e simple

est quasi-isomorphe dansCG `aWC(X\Y). En appliquant L et en utilisant encore une fois la commutativit´e avec l’op´eration s, on obtient que

s ΩC_∗^G(Y)→ΩC_∗^G(X)

est quasi-isomorphe dans C₋ `a ΩC_∗^G(X\Y).

Unicit´e : Pour montrer l’unicit´e dans H◦ C− du foncteur ΩCG

∗ vis-`a-vis de ces propri´et´es, on utilise le th´eor`eme 3.2.1, que l’on avait utilis´e pour montrer l’unicit´e du complexe de poids avec action, appliqu´e cette fois `a la cat´egorieC₋ et au foncteurL∗(F^canC∗) :V^G(_R)→H◦ C₋.

En effet,

– la cat´egorieC₋est une cat´egorie de descente homologique, en tant que cat´egorie des com-plexes de chaˆınes born´es par le haut et munis d’une filtration croissante born´ee (propri´et´e (1.7.5) de l’article [14] de F. Guill´en et V. Navarro Aznar).

– Le foncteur FcanC_∗^G : V^G(R) → H ◦ C₋ est Φ-rectifi´e, car, en fixant au pr´ealable une r´esolution projective, il est d´efini sur C₋.

– Il v´erifie la condition (F1) : le foncteurFcanC∗:VG(_R)→H◦ CGv´erifie (F1) surH◦ CG

et, pour tous complexesK, M de H◦ CG,L(K⊕M) =L(K)⊕L(M).

– Il v´erifie la condition (F2) : le foncteurF^canC∗:V^G(_R)→H◦ CGv´erifie (F2) surH◦ CG

et on applique alors le foncteurL, en utilisant la commutativit´e de celui-ci avec s.

Le complexe filtr´e de poids ´equivariant induit alors, de fa¸con analogue au cadre non-´

equivariant, une filtration sur l’homologie ´equivariante des G-vari´et´es alg´ebriques r´eelles, en vertu de :

Proposition 4.3.7. Soit X une G-vari´et´e alg´ebrique r´eelle. Le complexe de poids ´equivariant ΩC_∗^G(X) deX calcule l’homologie ´equivariante deX : pour tout n, on a

H_n(ΩC_∗^G(X)) =H_n(X;G).

D´emonstration. Consid´erons le foncteur d’oubli de la filtrationC₋→ D₋. Il induit un foncteur

ϕ−:H◦ C₋→H◦ D₋. Composonsϕ− avec ΩCG

∗ :Sch^G_c(_R)→H◦ C−. Alors

ϕ−◦ΩC_∗^G=L◦(ϕ^G◦^GWC∗)

(o`uϕ^G:H◦CG→H◦DGest le foncteur induit par le foncteur d’oubli de la filtrationCG→ DG

sur les cat´egories avec action deG), car, pour tout X∈Sch^G_c(R), la filtration sur ΩC_∗^G(X) est induite par celle sur^GWC∗(X).

Or, pour tout X ∈ Sch^G_c(_R), le complexe ϕ^G◦GWC∗(X) est quasi-isomorphe dans DG `a

C∗(X) (3.2.5), et en appliquant le foncteur L `a un quasi-isomorphisme deDG, on obtient un quasi-isomorphisme deD₋.

Donc, pour touteG-vari´et´e alg´ebrique r´eelleX, le complexeϕ−(ΩC_∗^G(X)) =L∗(ϕ^G(^GWC∗(X))) est quasi-isomorphe au complexeL∗(C∗(X)) =C_∗^G(X) i.e. pour toutn∈_Z,

4.4. SUITE SPECTRALE ET FILTRATION PAR LE POIDS ´EQUIVARIANTE 75

Remarque 4.3.8. Le foncteur L^G pr´eservant les quasi-isomorphismes filtr´es, si X est une G -vari´et´e alg´ebrique r´eelle compacte non singuli`ere, le complexe de poids ´equivariant ΩC_∗^G(X) =

L ^GWC∗(X)

deXest quasi-isomorphe dansC₋au complexe filtr´eFcanC_∗^G(X) =L(F^canC∗(X))) (3.2.5). Il en sera de mˆeme pour toutes les r´ealisations du complexe de poids ´equivariant.

4.4 Suite spectrale de poids ´equivariante et filtration par le