Cтраница 1
Аг-цикл, лежащий на Vt ( ср. [1]
Пусть а есть Аг-цикл на X, a 0 есть / - цикл на Y. Стратифицируя ограничение / на компоненты а, сводим все к обычной лемме о сдвиге, ср. Fulton 2 ], § 2.3.) Из § 8.1 мы знаем, что класс рациональной эквивалентности цикла а / / 3 не изменится от замены / 3 или а рационально эквивалентным циклом на Y или X. Как заметил Демазюр, доказательство этого последнего факта в работе [ Fulton 2 ], § 2.3, предложение 2, ошибочно. В самом деле, большая часть оснований теории пересечений, построенной на лемме о сдвиге, страдает тем неудобством, что требует заботы о собственности пересечений во всех вспомогательных конструкциях. [2]
Этот результат можно обобщить на Аг-циклы, k О, где многообразие S X заменяется многообразием Чжоу, параметризующим положительные Дг-циклы на X ( ср. [3]
СУГ [ ХУ ] для - мерных подмногообразий VC Y и распространяя ее по линейности на Аг-циклы. Заметим, что конус Су n x V является чисто Ат-мерной схемой ( дополнение В. [4]