Вейля Когомологии

- когомологии алгебраич. Многообразий с коэффициентами в поле нулевой характеристики, обладающие формальными свойствами, необходимыми для получения Лефшеца формулы для числа неподвижных точек. Необходимость такой теории была высказана А. Вейлем [1], показавшим, что рациональность дзета-функций многообразия и L- функций многообразия над конечным полем следует иа формулы Лефшеца, а остальные гипотезы о -функции естественно формулируются в когомологических терминах. Пусть многообразие Xесть связная гладкая проективная схема над фиксированным алгебраически замкнутым полем kи пусть К - некоторое поле характеристики 0. Тогда когомологиями Вейля с полем коэффициентов Кназывается контра вариантный функтор из категории многообразий в категорию конечномерных градуированных антикоммутативных K-алгебр, удовлетворяющий следующим условиям.

1) Если изоморфно К, и отображение определенное умножением в невырождено при всех i. 2) (формула Кюндета). 3) Отображение циклов. Существует функториальный гомоморфизм группы алгебраич. Циклов Xкоразмерности в , переводящий прямое произведение циклов в тензорное произведение, и нетривиальный в том смысле, что (для точки Р). Превращается в канонич. вложение в наз. I-м числом Бетти многообразия X. Примеры. Если , то классические когомоло-гии комплексных многообразий с коэффициентами в являются В. К. Если l - простое число, отличное от характеристики поля k, то этальные l-адические кого-мологии являются В. К. С коэффициентами в поле . Для В.