在数学上,莱夫谢茨对偶是庞加莱对偶的一种拓展,使得最初的庞加莱对偶可以作用于带边流形 。它最初由莱夫谢茨于1926年提出。[1]
令 M {\displaystyle M} 是 n {\textstyle n} 维可定向紧流形,边界为 N {\displaystyle N} ,令 z {\displaystyle z} 为 M {\displaystyle M} 的定向所決定的基本类。与 z {\displaystyle z} 的杯积诱导了 M {\displaystyle M} 的(上)同调群和 ( M , N ) {\displaystyle (M,N)} 的相对(上)同调群的配对;由此便可得到[2]
与
这里的 N {\textstyle N} 实际上可以是空的,此时,莱夫谢茨对偶退化为庞加莱对偶。
实际上,若 N {\textstyle N} 可以分解为具有共同边界的两个可定向紧流形 A {\textstyle A} 、 B {\textstyle B} ,则有下式:[3]