Некоторые формулы склейки для спин-полиномов и доказательство гипотезы Ван де Вена

В данной работе мы выводим некоторые формулы для спин-инвариантов связной суммы произвольного четырехмерного многообразия $X$, $b^+_2(X)>0$ и $\overline{\operatorname{CP}^2}$ в терминах спин-инвариантов $X$ и применяем полученные результаты к доказательству гипотезы Ван де Вена.
Библиография: 16 названий.