hp1(2m)∪hp2(2m)∪hp(2n+1)的对合

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