Гомотопический тип группы диффеоморфизмов четырёхмерной сферы – 3

Следуя работе Ватанабе arXiv:2109.01609, мы определим характеристический класс гладкого расслоения, допускающего оснащение, над замкнутой ориентируемой двумерной поверхностью со слоем четырёхмерный диск с фиксированной тривиализацией на крае. В данной работе Ватанабе показывает, что этот класс отличен от нуля на расслоении, определённом на прошлой лекции, а значит, для этого расслоения тривиализация на крае не продолжается до тривиализации всего расслоения и группа диффеоморфизмов сферы не стягивается на ортогональную группу.