О теоремах вложимости Браудера–Левина–Новикова

В этом обзоре мы представляем применения идей дополнения и окрестности к вложениям многообразий в евклидово пространство (в коразмерности не меньше $3$). Мы опишем, как комбинация этих идей дает редукцию проблем вложимости и изотопии к алгебраическим проблемам. Мы также приводим современное изложение доказательства теоремы Браудера–Левина о реализации нормальных систем.