Эта статья включает список ссылок , связанных материалов или внешних ссылок , но ее источники остаются неясными, поскольку в ней отсутствуют встроенные цитаты . ( Май 2024 ) |
В математике гомотопическая алгебра — это набор понятий, включающий неабелевы аспекты гомологической алгебры и, возможно, абелевы аспекты как частные случаи. Гомотопическая номенклатура вытекает из того факта, что общий подход к таким обобщениям осуществляется через абстрактную гомотопическую теорию , как в неабелевой алгебраической топологии , и, в частности, теорию замкнутых модельных категорий .
Эта тема привлекла большое внимание в последние годы благодаря новым основополагающим работам Владимира Воеводского , Эрика Фридлендера , Андрея Суслина и других, результатом которых стала гомотопическая теория A 1 для квазипроективных многообразий над полем . Воеводский использовал эту новую алгебраическую гомотопическую теорию для доказательства гипотезы Милнора (за которую он был награжден медалью Филдса ), а позднее, в сотрудничестве с Маркусом Ростом , полной гипотезы Блоха–Като .