Bourbaki

Exercice 15, § 2

Algèbre, X, p. 176

Soit E une suite spectrale de A-modules, qui approche un A-module gradué G (exercice 14). a) On suppose E2p,q=0E_2^{p,q} = 0 pour p<0p < 0. Montrer que les applications αr\alpha_r induisent pour tout qq des A-homomorphismes injectifs :

E∞0,q→⋯→E30,q→E20,q E_{\infty}^{0,q} \to \cdots \to E_3^{0,q} \to E_2^{0,q}

d’où, par composition avec (β0q)−1(\beta^{0q})^{-1} et avec l’application de passage au quotient, un A-homomorphisme γq:Gq→E20,q\gamma^q : G^q \to E_2^{0,q}. b) On suppose E2pq=0E_2^{pq} = 0 pour q<0q < 0. Montrer que les applications αr−1\alpha_r^{-1} induisent des homomorphismes surjectifs :

E2p,0→E3p,0→⋯→E∞p,0 E_2^{p,0} \to E_3^{p,0} \to \cdots \to E_{\infty}^{p,0}

d’où par composition avec βp,0\beta^{p,0} un A-homomorphisme δp:E2p,0→Gp\delta^p : E_2^{p,0} \to G^p. c) On suppose vérifiées les hypothèses de a) et b), c’est-à-dire E2pq=0E_2^{pq} = 0 si p<0p < 0 ou q<0q < 0. Montrer que la suite

0→E21,0→δ1G1→γ1E10,1→d2E22,0→δ2G2 0 \to E_2^{1,0} \xrightarrow{\delta^1} G^1 \xrightarrow{\gamma^1} E_1^{0,1} \xrightarrow{d_2} E_2^{2,0} \xrightarrow{\delta^2} G^2

est exacte. d) On suppose E2pq=0E_2^{pq} = 0 si p>0p > 0 ou q>0q > 0; définir une suite exacte analogue à celle de c). e) On suppose qu’il existe des entiers r,dr, d, avec d⩾r⩾2d \geqslant r \geqslant 2, tels que Erpq=0E_r^{pq} = 0 si p≠0,dp \neq 0, d. Définir une suite exacte :

⋯→Erd,n−d→Gn→Er0,n→Erd,n+1−d→Gn+1→⋯ . \cdots \to E_r^{d,n-d} \to G^n \to E_r^{0,n} \to E_r^{d,n+1-d} \to G^{n+1} \to \cdots .

Si de même Erpq=0E_r^{pq} = 0 pour q≠0,dq \neq 0, d, montrer qu’il existe une suite exacte :

⋯→Ern,0→Gn→Ern−d,d→Ern+1,0→⋯ . \cdots \to E_r^{n,0} \to G^n \to E_r^{n-d,d} \to E_r^{n+1,0} \to \cdots .

f) On suppose E2pq=0E_2^{pq} = 0 si q≠0q \neq 0 (resp. p≠0p \neq 0). Montrer que l’homomorphisme

δn:E2n,0→Gn (resp. γn:Gn→E20,n) \delta^n : E_2^{n,0} \to G^n \text{ (resp. } \gamma^n : G^n \to E_2^{0,n})

est bijectif pour tout nn.

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.