Двумерные узлы и гладкие структуры в $\mathbb S^4$

Мы обсудим подход А.Каваучи к доказательству единственности гладкой структуры на четырехмерной сфере, основанный на теореме Уолла о стабильной эквивалентности гладких структур на односвязных четырехмерных многообразиях.