Якоби многообразие

якобиан, алгебраической кривой S - главно поляризованное абелево многообразие [img: http://localhost:8080/file/053303-17.jpg] сопоставляемое этой кривой. Иногда Я. м. является просто коммутативной алгебраич. группой. Если S- гладкая проективная кривая рода. над полем С или, в классич. терминологии, компактная риманова поверхность рода g, то интегрирование голоморфных 1-форм но 1-циклам на. задает вложение [img: http://localhost:8080/file/053303-18.jpg] образ к-рого является решеткой максимального ранга (здесь [img: http://localhost:8080/file/053303-19.jpg] - пучок голоморфных 1-форм на S).Я. м. кривой Sесть фактормногообразие [img: http://localhost:8080/file/053303-20.jpg] В качестве поляризации на нем берется класс когомологий [img: http://localhost:8080/file/053303-21.jpg] из [img: http://localhost:8080/file/053303-22.jpg] соответствующий форме пересечения на [img: http://localhost:8080/file/053303-23.jpg] [img: http://localhost:8080/file/053303-24.jpg] Эта поляризация является главной, т. е. [img: http://localhost:8080/file/053303-25.jpg] Для более явного задания Я. м. обычно берется нек-рый базис [img: http://localhost:8080/file/053303-26.jpg] в [img: http://localhost:8080/file/053303-27.jpg] и базис из форм [img: http://localhost:8080/file/053303-28.jpg] в [img: http://localhost:8080/file/053303-29.jpg] Эти данные определяют матрицу [img: http://localhost:8080/file/053303-30.jpg] размера [img: http://localhost:8080/file/053303-31.jpg] - матрицу периодов римановои поверхности [img: http://localhost:8080/file/053303-32.jpg] Тогда [img: http://localhost:8080/file/053303-33.jpg] где [img: http://localhost:8080/file/053303-34.jpg] - решетка с базисом, состоящим из столбцов матрицы [img: http://localhost:8080/file/053303-35.jpg] Базисы [img: http://localhost:8080/file/053303-36.jpg] и [img: http://localhost:8080/file/053303-37.jpg] можно выбрать так, что [img: http://localhost:8080/file/053303-38.jpg] при этом матрица Z =X+iY симметрична и Y>0 (см. Абе. Вместо класса когомологий [img: http://localhost:8080/file/053303-42.jpg] часто рассматривают двойственный к нему эффективный дивизор, обозначаемый той же буквой; он определен однозначно с точностью до сдвига. Геометрич. описание дивизора [img: http://localhost:8080/file/053303-43.jpg] дается отображением Абеля [img: http://localhost:8080/file/053303-44.jpg] заданным формулой [img: http://localhost:8080/file/053303-45.jpg] где [img: http://localhost:8080/file/053303-46.jpg] -фиксированная точка. Пусть S(d) есть d- ясимметрич. степень кривой S,т. е. 0)по существу переводится на язык особенностей специальных подмногообразий [img: http://localhost:8080/file/053303-56.jpg] якобиана J(S). Этот перевод основан на теореме Римана - Кэмпфа об особенностях (см. [1], [5]). Одно из следствий теоремы Римана - Кэмпфа состоит в том, что многообразие особых точек дивизора поляризации [img: http://localhost:8080/file/053303-57.jpg] имеет коразмерность, не превосходящую 4. ато свойство Я. м. является характеристическим, если рассматривать лишь главно поляризованные абелевы многообразия, принадлежащие окрестности якобиана общей кривой. Точнее, если много образие особых точек дивизора поляризации главнополяризованного абелева многообразия Аимеет коразмерность [img: http://localhost:8080/file/053303-58.jpg] и Ане принадлежит нескольким выделенным компонентам многообразия модулей, то [img: http://localhost:8080/file/053303-59.jpg] для нек-рой гладкой кривой S(см. [2]). Другой подход к выделению якобианов среди абелевых многообразий - задание уравнений на значения q-функций и их производных в специальных точках. Отыскание таких уравнений называют проблемой Шоттки. В случае особой кривой SЯ. м. J(S)называют подгруппу в Pic(S), определяемую дивизорами, имеющими степень 0 по каждой неприводимой компоненте кривой S(она совпадает со связной компонентой единицы в Pic(S)).Если кривая Sзадана модулем тна гладкой модели N, то J(S)обычно называют обобщенным якобианом кривой N(относительно модуля т) и обозначают через Jm (см. [6]).