Теория когомологий Вейля

• Когомологии Вейля — контравариантный функтор, удовлетворяющий аксиомам. 
• Для каждого гладкого проективного алгебраического многообразия X, градуированная K-алгебра H 
• i 
• (X) должна удовлетворять определенным требованиям. 
• Существуют четыре классические теории когомологий Вейля: сингулярные когомологии, когомологии де Рама, ℓ-адические когомологии и кристаллические когомологии. 
• Доказательства аксиом для когомологий Бетти и де Рама сравнительно просты и классичны. 
• Отображение цикла де Рама имеет простое объяснение, связанное с интеграцией дифференциальных форм вдоль подмногообразий.