Многомерная теория полей классов: продолжение

Я напомню основные определения из первой части доклада и расскажу доказательство теоремы существования для теории полей классов по Визенду: по каждой открытой подгруппе $U$ в группе классов иделей $C(X)$ единственным образом можно построить накрытие $f: Y \to X$ такое, что $f_{*}C(Y)$ в $C(X)$ равно $U$.