$K$-группы многообразий Севери–Брауэра

Теорема Меркурьева–Суслина утверждает, что гомоморфизм норменного вычета $R_{F,l}:K_2(F)/lK_2(F) \to H^2(F,\mu_l^{\otimes 2})$ является изоморфизмом для всякого поля $F$ и натурального числа $l$, взаимно простого с характеристикой $F$. Я кратко расскажу о многообразиях Севери–Брауэра и свойствах их $K$-групп, на которые опирается доказательство теоремы.