【悲報】スペクトル系列（spectral sequence）が意味不明

[0001 １３２人目の素数さん 2023/01/12(木) 16:16:02.35 ID:JRGKKZWj]

定理(Leray):

X, Yを位相空間、f: X→Yを連続写像、FをX上のアーベル群の層とすると、スペクトル系列

E^(p,n-p)_2 := H^p(Y, R^(n-p)f*F) ⇒ H^n (X, F)

が存在する。


...いやいやいや、d^(p,q)_rとか、F^pE^nとかの定義は？？