不动点集为∪RP_i(2n) from i=1 to 2m具有对合T的光滑流形

设(M~(2n_+k),T)具有对合T的光滑流形,其不动点集为RP_i(2n),令η~k→RP_i(2n)及(1+a_i)~(li)(i=1,2…2m;a_i∈H~l(RP_i(2n),Z_2)为生成元)分别代表不动点在M的法丛及对应的全Stefel-Whetney示性类。令由[2P309]对任意对称多项式f(x)有:     

不动点集是Dold流形P(2m,2n+1)的带有对合T的流形

研究具有光滑对合T的4n 2m 2 K维闭流形M,如果对合的不动点集是F=P(2m,2n 1),其中m是4的倍数,证明了当n≥m>0时,(M,T)协边于零;当m>n≥0时,且m-n为偶数时,(M,T)协边于零.