Геометрическое доказательство теоремы Браудера о нулевых инвариантах Кервера

Инвариант Кервера определен для оснащенных многообразий размерности $n=4k+2$ и принимает значения в группе $Z/2$. Браудер [bro69] доказал, что этот инвариант всегда равен 0, если $n+2$ не есть степень 2. Мы проводим геометрическое доказательство этого результата, используя представление инварианта Кервера в терминах кратных точек погруженных многообразий.