梅西积

代数拓扑中，梅西积（Massey product）是引入的一种高阶上同调运算，推广了上积。梅西积由美国代数拓扑学家William S. Massey提出。

梅西三元积
令为微分分次代数的上同调代数的元素。若，则梅西积是的子集，其中。

梅西积是通过代数手段定义的：将元素提升到的元素的等价类，取这些元素的梅西积，然后向下推到上同调。这可能产生定义明确的上同调类，也可能不确定。

定义为。中元素u的上同调类可表为。3个上同调类的梅西三元积定义为

3个上同调类的梅西积不是的元素，而是元素的集合，可能是空的也可能包含多个元素。若分别有的度数，则梅西积的度数为，其中的来自微分。

若积、都是精确的，则梅西积非空，这时其所有元素都在商群

的同一个元素中。因此，梅西积可看做定义在类三元组上的函数，其中的类在上述商群中取值，使得前两个类或后两个类之积为零。

更通俗地说，若两逐对积、都在同调中为零（），即对某链s、t有、，则三元积“为零有两个原因”：是、的边界（由于且因为同调的元素是循环）。有界循环s、t有不确定性，在移动到同调时变为零；又因为、有相同边界，将它们相减（符号约定是为正确处理分次）会得到上循环（差值的边界变为零），这样就得到了良定义的同调元素——这一步类似于用n维映射/链的空同伦/空同调的不确定性来定义第个同伦/同调群。

从几何学角度来看，在流形的奇异上同调中，可按庞加莱对偶用有界流形与交来解释积：与上循环对偶的是循环，常表为无界闭流形；与积对偶的是交；与有界积相减对偶的是将两有界流形沿边界粘合，得到闭流形，表示梅西积的同调类对偶。实际上，流形同调类不总能用流形表示，因为循环可能有奇点，但这时对偶图是正常的。

高阶梅西积
更一般地说，的n个元素的n元梅西积定义为如下形式的元素之集

对方程
, 

的所有解，其中、，表示。

高阶梅西积可看作是在所有的情形下求解后一个方程组的障碍，从这个意义上说，当且仅当这些方程可解时，包含了0上同调类。这样的n元梅西积是阶上同调运算，即要使它费用，很多低阶梅西运算必须包含0，且其代表的上同调类都通过涉及低阶运算的项来区分。2元梅西积是通常的上积，是一阶上同调运算；3元梅西积是二阶上同调运算。

描述了进一步的推广，称作矩阵梅西积，可描述艾伦伯格–摩尔谱序列的微分。

应用
三不互扣环的补给出了一个三元梅西积有定义且非零的例子。注意补的上同调可用亚历山大对偶性计算，若u、v、w是与3环对偶的1上链，则任意两者之积都是相应环绕数的倍数，因此为零，而三元梅西积都不为零，表明三不互扣环是相连的。代数反映几何：这些环两两不连接，对应二元梅西积为零；而总体上是连接的，对应三元梅西积不为零。

更一般地，使任意个子链不相连，而整体的n元链非平凡地链接的n元布伦尼环对应n元梅西积，元子链不连接，对应元梅西积为零，n元链对应n元梅西积不为零。

用梅西三元积证明，怀特海积满足雅可比恒等式。

计算扭曲K理论时，高阶梅西积作为阿蒂亚–希策布鲁赫谱序列（AHSS）出现。证明，若H是扭曲3类，AHSS中作用在x类上的高阶微分由p份H与1份x的梅西积给出。

若流形是形式流形（formal manifold）（丹尼斯·苏利文定义），则空间上所有梅西积都为零；因此，证明给定流形不形式的一种策略是找到非平凡梅西积。当中“形式流形”从其德拉姆复形的有限维“最小模型”中推断得流形有理同伦类。证明，紧凯勒流形是形式流形。

用梅西积证明，透镜空间两点的构型空间的同伦类非平凡地决定了透镜空间的简单同伦等价类。

另见
 户田括号

参考文献

 外部链接 
  – contains many explicit examples
  – Bruner's notes
  – contains references useful for understanding how to do these computations


Category:代数拓扑
Category:微分拓扑学
Category:三元运算