不动点集HP_1(2m)∪HP_2(2m)∪HP(2n+1)的对合

设(Mr,T)是一个带有光滑对合T的r维光滑闭流形,T的不动点集为F=HP1(2m)∪HP2(2m)∪HP(2n+1)(m≥1),其中HP(n)表示n维四元数射影空间。通过构造合适的对称多项式和计算示性数,证明了当r8m+8n+8时,每一个以F为不动点集的对合(Mr,T)协边于零。