Этальные когомологии, Лекция 4, 14 марта 2026

Первую половину лекции были разные общие рассуждения. Потом мы определили когомологии Чеха предпучка, связанные с фиксированным семейством отображений U_i\to U. Утверждение что соответствующие i-e когомологии комплекса есть R^i от точного слева функтора H^0 этого комплекса доказывается с помощью техники дельта-функторов Гротендика, дающих характеризацию производных функторов посредством универсального свойства, не требующего замены объекта на резольвенту. В конце лекции мы обсудили как доказывается теорема Гротендика о стирающих дельта-функторах.