Глава 10. Семейства алгебраических циклов
Резюме
Пусть - неособая алгебраическая кривая и — морфизм. Любой -цикл на определяет алгебраическое семейство -циклов на слоях
Рационально эквивалентные -циклы на дают рационально эквивалентные -циклы на каждом слое. Основные операции теории пересечений сохраняют алгебраические семейства. Например, если гладкая схема над а алгебраические семейства циклов, то произведение-пересечение также варьируется в алгебраическом семействе. Эти факты являются следствиями общих теорем гл. 6 и понимания а, как образа а при тонком гомоморфизме Гизина, построенного по диаграмме
В такой формулировке можно заменить произвольным многообразием, если только регулярная точка Это доставляет простой метод изучения алгебраической эквивалентности.
Принцип непрерывности, или сохранения индекса, имеет две стороны. Первая — что все циклы из алгебраического семейства нуль-циклов на схеме, собственной над пространством параметров, имеют одну и ту же степень. Вторая, уже упомянутая выше, заключается в том, что операции теории пересечений сохраняют алгебраические семейства.
Тонкая теория пересечений позволяет улучшить классические формулировки этого принципа. Например, объемлющее пространство не обязано быть полным; нужно только, чтобы множество пересечений было собственным над пространством параметров. Это полезно для применений к исчислительной геометрии, когда объемлющее
пространство есть пространство невырожденных геометрических фигур. В последнем разделе рассмотрен пример такого рода: формула для числа кривых в -мерном семействе плоских кривых, которые касаются заданных плоских кривых в общем положении; ответ дается в терминах характеристик семейства, степеней и классов заданных кривых.