数学 › 圏論・ホモロジー代数 › Grothendieck のスペクトル系列と超コホモロジー

Cartan–Eilenberg 分解

定義 3.1(「Grothendieck のスペクトル系列と超コホモロジー」§3)

A\mathcal A は十分に入射対象をもつとし、CC を上のとおりとする。各 pp について BpB^p と HpH^p の入射分解 IBpI_B^p、IHpI_H^p をとり(p≤p0p \le p_0 では Bp=0B^p = 0、p<p0p < p_0 では Hp=0H^p = 0 で、零の分解をとる)、(S1p)(\mathrm{S1}_p) に 補題 3.3[導来関手と δ 関手] を使って ZpZ^p の入射分解 IZpI_Z^p(IZp,q=IBp,q⊕IHp,qI_Z^{p,q} = I_B^{p,q} \oplus I_H^{p,q})を作り、さらに (S2p)(\mathrm{S2}_p) に使って CpC^p の入射分解 ICpI_C^p(ICp,q=IZp,q⊕IBp+1,qI_C^{p,q} = I_Z^{p,q} \oplus I_B^{p+1,q})を作る。Jp,q=ICp,qJ^{p,q} = I_C^{p,q}、dvd_v を ICpI_C^p の微分、

dh ⁣:Jp,q=IZp,q⊕IBp+1,q→射影IBp+1,q→包含IZp+1,q→包含ICp+1,q=Jp+1,qd_h\colon J^{p,q} = I_Z^{p,q} \oplus I_B^{p+1,q} \xrightarrow{\text{射影}} I_B^{p+1,q} \xrightarrow{\text{包含}} I_Z^{p+1,q} \xrightarrow{\text{包含}} I_C^{p+1,q} = J^{p+1,q}

(馬蹄補題の射影と包含の合成)、εp ⁣:Cp→Jp,0\varepsilon^p\colon C^p \to J^{p,0} を ICpI_C^p の増強とする。この二重複体 JJ と ε\varepsilon を CC の Cartan–Eilenberg 分解(CE 分解)という。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。