主題
Search

譜序列


譜序列是同調代數中的一個工具,在代數代數幾何代數拓撲中有著廣泛的應用。 粗略地說,譜序列是一個用於跟蹤具有相互對映的正合序列集合的系統。

譜序列有很多定義,並且存在許多細微的變體,這些變體在某些特定目的中非常有用。 最常見的型別是“第一象限上同調譜序列”,它是一系列阿貝爾群 E_r^(p,q),其中 pqr 是整數,其中 pq 為非負整數,且 r>a 對於某個正整數 a,通常為 2。 群 E_r^(p,q) 配備有對映

 d_r^(p,q):E_r^(p,q)->E_r^(p+r,q-r+1)
(1)

使得

 d_r^(p+r,p-r+1) degreesd_r^(p,q)=0.
(2)

還有進一步的限制,即

 E_(r+1)^(p,q)=Ker(d_r^(p,q))/Im(d_r^(p-r,p+r-1)).
(3)

對映 d_r^(p,q) 被稱為邊界對映

SpectralSequence

譜序列可以被視覺化為一系列網格,每個網格對應一個 r 值。 pq 表示網格上的位置,其中 px 座標,qy 座標。 上圖顯示了 r=2 的情況。

E_r^(p,q) 的整個集合及其邊界對映被稱為 E_r-項。 群 E_(r+1)^(p,q) 完全由 E_r-項確定

對於給定的 pq 值,群 E_r^(p,q) 最終會穩定下來,因為只有有限數量的非零邊界對映以該位置開始或結束。 這個穩定值被稱為 E_infty^(p,q)。 穩定值允許定義譜序列的收斂性。 特別是,譜序列 E_r^(p,q) 收斂到群 H^n,寫作

 E_r^(p,q)=>H^(p+q)
(4)

如果存在一個濾子

 0=H_(n+1)^n subset= H_n^n subset= H_(n-1)^n subset= ... subset= H_2^n subset= H_1^n subset= H_0^n=H^n
(5)

使得連續商等於 E_infty 項,即,

 E_infty^(p,n-p)=H_p^n/H_(p+1)^n.
(6)

Serre 譜序列用於計算纖維化中空間的上同調群。 假設

 F->E->B
(7)

是一個纖維化(例如,Hopf 對映 S^1->S^3->S^2)。 那麼存在一個譜序列,其 E_2-項為

 E_2^(p,q)=H^p(B;H^q(F;Z)).
(8)

該序列收斂到 H^(p+q)(E;Z)。(這裡,H^* 表示普通上同調,與上面的 H^n 無關。) 這允許人們從其他兩個空間的上同調計算三個空間 EFB 之一的上同調

還有其他譜序列的例子。 Leray-Serre 譜序列用於計算層復形的超上同調。 Grothendieck 譜序列用於從兩個原始函子的匯出函子計算兩個函子組合的匯出函子。 Leray-Serre 譜序列是 Grothendieck 譜序列的一個特例。 最後,Adams 譜序列用於計算球體的高階同倫群


另請參閱

正合序列, 同調代數

此條目由 John Renze 貢獻

使用 探索

參考文獻

Spanier, E. H. Algebraic Topology. New York: McGraw-Hill, pp. 185-186, 1966.Weibel, C. An Introduction to Homological Algebra. Cambridge, England: Cambridge University Press, 1995.Weston, T. "The Inflation-Restriction Sequence: An Introduction to Spectral Sequences." http://www.math.mcgill.ca/goren/SeminaronCohomology/infres.pdf.

在 上被引用

譜序列

請引用為

Renze, John. "Spectral Sequence." 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/SpectralSequence.html

主題分類