代數拓撲中,梅西積(Massey product)是(Massey 1958)引入的一種高階上同調運算,推廣了上積。梅西積由美國代數拓撲學家William S. Massey提出。

梅西積是三不互扣環現象的代數推廣。

梅西三元積

 微分分次代數 的上同調代數 的元素。若 ,則梅西積  的子集,其中 

梅西積是通過代數手段定義的:將元素 提升到 的元素 的等價類,取這些元素的梅西積,然後向下推到上同調。這可能產生定義明確的上同調類,也可能不確定。

定義   中元素u的上同調類可表為 。3個上同調類的梅西三元積定義為

 

3個上同調類的梅西積不是 的元素,而是 元素的集合,可能是空的也可能包含多個元素。若 分別有 的度數,則梅西積的度數為 ,其中的 來自微分 

若積  都是精確的,則梅西積非空,這時其所有元素都在商群

 

的同一個元素中。因此,梅西積可看做定義在類三元組上的函數,其中的類在上述商群中取值,使得前兩個類或後兩個類之積為零。

更通俗地說,若兩逐對積  都在同調中為零( ),即對某鏈st  ,則三元積 「為零有兩個原因」:是  的邊界(由於  因為同調的元素是循環)。有界循環st有不確定性,在移動到同調時變為零;又因為  有相同邊界,將它們相減(符號約定是為正確處理分次)會得到上循環(差值的邊界變為零),這樣就得到了良定義的同調元素——這一步類似於用n維映射/鏈的空同倫/空同調的不確定性來定義第 個同倫/同調群。

從幾何學角度來看,在流形的奇異上同調中,可按龐加萊對偶用有界流形與交來解釋積:與上循環對偶的是循環,常表為無界閉流形;與積對偶的是交;與有界積相減對偶的是將兩有界流形沿邊界粘合,得到閉流形,表示梅西積的同調類對偶。實際上,流形同調類不總能用流形表示,因為循環可能有奇點,但這時對偶圖是正常的。

高階梅西積

更一般地說, n個元素的n元梅西積 定義為如下形式的元素之集

 

對方程

 ,

的所有解,其中   表示 

高階梅西積 可看作是在所有 的情形下求解後一個方程組的障礙,從這個意義上說,若且唯若這些方程可解時,包含了0上同調類。這樣的n元梅西積是 階上同調運算,即要使它費用,很多低階梅西運算必須包含0,且其代表的上同調類都通過涉及低階運算的項來區分。2元梅西積是通常的上積,是一階上同調運算;3元梅西積是二階上同調運算

J. Peter May (1969描述了進一步的推廣,稱作矩陣梅西積,可描述艾倫伯格–摩爾譜序列的微分。

應用

 
三不互扣環的補有非平凡梅西積。

三不互扣環的補[1]給出了一個三元梅西積有定義且非零的例子。注意補的上同調可用亞歷山大對偶性計算,若uvw是與3環對偶的1上鏈,則任意兩者之積都是相應環繞數的倍數,因此為零,而三元梅西積都不為零,表明三不互扣環是相連的。代數反映幾何:這些環兩兩不連接,對應二元梅西積為零;而總體上是連接的,對應三元梅西積不為零。

 
非平凡布倫尼環,對應不為零的梅西積

更一般地,使任意 個子鏈不相連,而整體的n元鏈非平凡地連結的n布倫尼環對應n元梅西積, 元子鏈不連接,對應 元梅西積為零,n元鏈對應n元梅西積不為零。

Uehara & Massey (1957)用梅西三元積證明,懷特海積滿足雅可比恆等式

計算扭曲K理論時,高階梅西積作為阿蒂亞–希策布魯赫譜序列(AHSS)出現。Atiyah & Segal (2006)證明,若H是扭曲3類,AHSS中作用在x類上的高階微分 pH與1份x的梅西積給出。

若流形是形式流形(formal manifold)(丹尼斯·蘇利文定義),則空間上所有梅西積都為零;因此,證明給定流形不形式的一種策略是找到非平凡梅西積。當中「形式流形」從其德拉姆復形的有限維「最小模型」中推斷得流形有理同倫類。Deligne et al. (1975)證明,緊凱勒流形是形式流形。

Salvatore & Longoni (2005)用梅西積證明,透鏡空間兩點的構型空間同倫類非平凡地決定了透鏡空間的簡單同倫等價類。

另見

參考文獻

外部連結