Когомологии де Рама
Когомоло́гии де Ра́ма (когомологии Рама) алгебраического многообразия, теория когомологий алгебраических многообразий, основанная на дифференциальных формах. C каждым алгебраическим многообразием над полем связывается комплекс регулярных дифференциальных форм; его группы когомологий называются группами когомологий де Рама многообразия . Если гладко и полно, а , то когомологии де Рама являются когомологиями Вейля (см. Hartshorne. 1970, 1972). Если гладко и аффинно, а , то справедлив следующий аналог теоремы де Рама:
где – комплексное аналитическое многообразие, соответствующее алгебраическому многообразию (cм. Grothendieck. 1966). Например, если – дополнение к алгебраической гиперповерхности в , то когомологии могут быть вычислены при помощи рациональных дифференциальных форм на с полюсами на этой гиперповерхности.
Для любого морфизма можно определить относительный комплекс де Рама (см. Модуль дифференциалов), приводящий к относительным когомологиям де Рама . В случае, когда и аффинны, относительный комплекс де Рама совпадает с . Когомологии комплекса пучков на называются пучками относительных когомологий де Рама. Эти пучки когерентны на , если – собственный морфизм.