Вокруг теоремы жёсткости А.А.Суслина. Семинар 4

Будет сформулирована и доказана следующая теорема А. А. Суслина.
Теорема. Пусть $k$ содержится в $К$ — включение алгебраически замкнутых полей. Пусть $F \colon Sm/k \to Ab$ гомотопически инвариантный предпучок абелевых групп с трансферами на категории гладких многообразий. Пусть $n > 0$ целое число такое, что для любого гладкого $X$ группа $F(X)$ «убивается» умножением на $n$. Тогда $F(k) = F(K)$.