Математическая энциклопедия - алгебраический цикл

на алгебраическом многообразииэлемент свободной абе левой группы, множество свободных образующих к-ройвсе замкнутые неприводимые подмногообразия данного алгебраич. многообразия. Подгруппа группы алгебраич. циклов на многообразии , порожденная подмногообразием коразмерности р, обозначается через . Группа представима в виде прямой суммы

Подгруппа совпадает с группой дивизоров Вейля на .

В дальнейшем обозначает неособое проективное алгебрапч. многообразие размерности пнад алгебраически замкнутым полем k. Если k - поле комплексных чисел , то каждый А. ц. определяет -мерный класс гомологии и, по двойственности Пуанкаре, класс когомологии . Классы гомологии (соответственно когомологии) вида (соответственно ) наз. а л-гебраическими классами гомологии (соответственно когомологии). Каждый аналитич. цикл гомологичен А. ц. Имеется предположение (гипотеза Ходжа), что целочисленный -мерный цикл на гомологичен А. ц. тогда и только тогда, когда интегралы всех замкнутых дифференциальных форм типа по равны 0. Эта гипотеза доказана лишь в случаях (для см. [6], для всех псм. [7]) и , а также для отдельных классов многообразий (см. [4]).

Если -А. ц. на произведении двух многообразий , то множество циклов на вида

наз. семейством А. ц. на X, параметризованным базой . При этом обычно требуют, чтобы проекция каждого подмногообразия на была плоским морфиз-мом. Если определяется неприводимым подмногообразием, то соответствующее семейство А. ц. на Xназ. семейством алгебраических подмногообразий. В частности, для любого плоского морфизма алгебраич. многообразий его слои образуют семейство алгебраич. подмногообразий , параметризованное базой . Другим частным случаем этого понятия являются линейные системы. Все члены семейства алгебраич. подмногообразий (соответственно алгебраич. циклов) проективного многообразия X, параметризованного связной базой, имеют одинаковый Гильберта многочлен (соответственно виртуальный арифметический род).

А. ц. на многообразии наз. алгебраически эквивалентными (что обозначается ), если они принадлежат одному и тому же семейству, параметризованному связной базой. Интуитивно эквивалентность А. ц. означает, что можно алгебраически деформировать в . Если в этом определении требовать, чтобы в качестве базы можно было выбрать рациональное многообразие, то А. ц. и наз. рационально эквивалентными (что обозначается ). В случае, когда , понятие рациональной эквивалентности сводится к понятию линейной эквивалентности дивизоров. Подгруппа А. ц., рационально (соответственно алгебраически) эквивалентных нулю, обозначается (соответственно ). Каждая из этих групп является прямой суммой своих компонент:

Факторгруппа конечно порождена и наз. группой Нерона Северн многообразия X. Вопрос о конечной порожденности при факторгруппы остается открытым (1977). Факторгруппа обладает структурой абеле-ва многообразия (см. Пикара схема). Операция пересечения циклов позволяет определить умножение в факторгруппе , превращающее ее в коммутативное кольцо, наз. кольцом Чжоу многообразия X (см. Пересечений теория).

Для любой теории когомологий Вейля существует однозначно определенный гомоморфизм групп

А. ц. наз. гомологически эквивалентными (что обозначается ), если Подгруппа А. ц., гомологически эквивалентных нулю, обозначается . Имеет место вложение . Факторгруппа конечно порождена и является подкольцом в кольце , к-рое обозначается через и наз. кольцом алгебраических классов когомологий Венля. Неизвестно (1977), зависит ли. от выбранной теории когомологий Вейля.