Теорема об изоморфизме нормальных вычетов
- Гипотеза Милнора связывает конечные когомологии поля с когомологиями Галуа.
- Гипотеза утверждает изоморфизм между ℓ-й корреляцией K-группы поля и когомологиями Галуа с коэффициентами в модуле Галуа ℓ-х корней из единицы.
- Гипотеза была доказана Владимиром Воеводским, используя индукцию по «весу» и новые достижения в теории мотивационных гомотопий.
- Гипотеза Бейлинсона-Лихтенбаума связывает группу мотивных когомологий с группой этальных когомологий для гладких многообразий над полем, содержащим 1/ℓ.
- Эта гипотеза теперь доказана и эквивалентна теореме об изоморфизме нормальных вычетов.
Полный текст статьи: