简介:设(M,T)是一个光滑闭流形上的对合,不动点集为F=RP(4)UP(4,2n-1),则它的每一个对合(M,T)必协边(RP(4)×RP(4),twist)和(P(4,2n),T')之一.
不动点集为RP(4)∪P(4,2^n-1)的对合