Доказательство. Пусть
где
рациональная функция на
-мерном подмногообразии
Тогда
определяет рациональное отображение из
морфизм некоторого открытого подмножества
Пусть V — замыкание графика этого морфизма в
Проекция
отображает V бирационально и собственно на
Пусть
индуцированный морфизм из V в
Тогда
по предложению
и это равно
Отсюда и из предыдущих замечаний следует доказываемое предложение.
Получив в распоряжение более развитую теорию пересечений, мы увидим, что два цикла рационально эквивалентны, если они являются членами семейства циклов, параметризованного любым рациональным или унирациональным многообразием (ср. пример 10.1.7).
Пример
-цикл а на X рационально эквивалентен нулю тогда и только тогда, когда существует конечное число нормальных многообразий
рациональных функций
и собственных морфизмов
таких, что
(Надо заменить V из предложения 1.6 их нормализациями.)
Пример 1.6.2. Скажем, что цикл
на
доминантно проектируется на
если каждое многообразие
входящее в
с ненулевым коэффициентом, доминантно проектируется на
в этом случае полагаем
Два
-цикла а, а на схеме X рационально эквивалентны тогда и только тогда, когда существуют положительный
-цикл
на
доминантно проектирующийся на
и положительный
-цикл
на X, такие, что
(Если
для некоторого положительного
выберем положительный цикл
так, чтобы цикл
был положительным. Запишем
и положим
Пример 1.6.3. Пусть X — проективная схема над алгебраически замкнутым полем. Пусть
есть
симметрическая степень схемы X, точки которой отождествляются с положительными
-циклами степени
на
Два
-цикла а, а рационально эквивалентны тогда и только тогда, когда существуют морфизм
для некоторого
и положительный
на X, такие, что
(Если X — гладкая кривая, это следует из существования универсального
-цикла на
В общем случае
пропускается через
для некоторой гладкой (быть может, несвязной) кривой С, которая конечно отображается в
Этот результат можно обобщить на
-циклы,
где многообразие
заменяется многообразием Чжоу, параметризующим положительные
-циклы на X (ср. [Samuel 3], теорема 3).
Даже если
положительные, опустить
нельзя. (Пусть X — раздутие
в точке
где С — неособая нерациональная кривая,
Пусть
— любая точка на исключительном дивизоре, кроме задаваемой прямой
Пример 1.6.4. Пусть
категория алгебраических схем над фиксированным полем. Предположим, что все морфизмы в
собственные и что для любого проективного морфизма
из
следует
Пусть
ковариантный функтор из
в категорию абелевых групп. Предположим, что каждое многообразие V из
имеет класс
Предположим также, что
(i) если
сюръективный морфизм многообразий из
то
это определяет естественное преобразование ковариантных функторов
(ii) если X — нормальное многообразие из
доминантный морфизм, то
В этом случае
сохраняется при рациональной эквивалентности и индуцирует естественное преобразование ковариантных функторов
Таким образом, А — самая тонкая теория, удовлетворяющая (i) и (ii).
Пример 1.6.5. Группа Гротендика
когерентных пучков на X имеет фильтрацию
где
порождается пучками с носителями размерности
Если
собственный морфизм, функторы высших прямых образов индуцируют отображение
сохраняющее фильтрацию (ср. пример 15.1.5). Поэтому ассоциированные градуированные группы
ковариантны для собственных морфизмов. Читатель, знакомый с этой техникой, может пользоваться