Торелли Теорема

обобщения - теорема, утверждающая, что структура Ходжа (матрица периодов) в когомологиях алгебраического или кэлерова многообразия Х полностью характеризует поляризованное многообразие X. Классич. Т. Т. Относится к случаю кривых (см. [1], [2]) и утверждает, что кривая определяется с точностью до изоморфизма своими периодами. Пусть X - кривая рода - базис а - базис абелееых дифференциалов, -матрица где - матрица периодов. Пересечение циклов определяет билинейную кососимметрич. Форму Qв Пусть Xи Х'- две кривые. Тогда если можно выбрать базисы и относительно к-рых матрицы периодов и матрицы пересечений Qкривых совпадают, то Xи X' изоморфны. Другими словами, если канонически поляризованные якобианы кривых Xи X' изоморфны, то и Пусть X - проективное многообразие (или, более общо, комнатное кэлерово многообразие), D=Dk- многообразие Гриффитса, связанное с примитивными когомологиями (см.

Отображение периодов). В Dлежат матрицы периодов примитивных k-форм на всех многообразиях, гомеоморфных X. Периоды зависят от выбора изоморфизма в фиксированное пространство H. Имеется естественно определенная группа Г аналитич. Автоморфизмов многообразия Dтакая, что М=D/ Г - аналитич. Ространство и Xопределяет единственную точку При этом Мназ. Модулярным пространством или пространством модулей структур Ходжа. Глобальная проблема Торелли состоит в выяснении вопроса о том. Когда Ф (А) однозначно определяет Х с точностью до изоморфизма. В случае положительного решения проблемы соответствующее утверждение наз. (обобщенной) Т. Т. Теорема Торелли справедлива очевидным образом для абелевых многообразий в случае 1-форм и в случае 2-форм (см.

[3]). По существу, единственный нетривиальный случай решения глобальной проблемы Торелли (1984) - случай КЗ-поверхности. Т. Т. Обобщена также на случай кэлеровых КЗ-поверхностей. Локальная проблема Торелли заключается в разрешении вопроса о том, когда структуры Ходжа на когомологиях разделяют точки в локальном пространстве модулей (пространстве Кураниси) для многообразия А. Пусть - семейство поляризованных алгебраич. Многообразий, a M=D/ Г - многообразие Гриффитса, связанное с периодами примитивных k-форм на А. Отображение периодов сопоставляет матрицу периодов k-форм на Это отображение голоморфно. Вычислено соответствующее касательное отображение dФ (см. [3]). Локальная проблема Торелли эквивалентна вопросу о том, когда dФ является вложением.

Рассматривая отображение, двойственное к dФ), получают когомологич. Критерий справедливости локальной Т. Т. Если отображение является эпиморфизмом, то периоды k-форм дают локальные модули для А. Локальная Т. Т. Для кривых эквивалентна тому, что квадратичные дифференциалы порождаются абелевыми дифференциалами. Теорема Нётера утверждает, что это так, если g=2 или g>2 и X негиперэллиптическая. Локальная Т. Т., очевидно, справедлива в случае k=n, если канонич. Класс тривиален. К таким многообразиям относятся абелевы многообразия, гиперповерхности степени п+2 в Pn+1, КЗ-поверхности. Справедливость локальной Т. Т. Установлена для различных классов многомерных многообразий. Для неособых гиперповерхностей степени dв Pn+1 доказано, что отображение периодов является вложением в общей точке за исключением случая n=2, d=3 и, возможно, случаев.

Dделит п+2, d=4 и n= 4. Или d=6 и n= 6m+l (см. [4]). Лит.:[1] Torelli E., лRend. Accad. Lincei V.