Комплексный Тор

- комплексная абелева группа Ли, получаемая из re-мерного комплексного пространства С n факторизацией по решетке ГМС n ранга 2п. К. Т.- это единственные связные компактные комплексные группы Ли [1]. Каждое эрмитово скалярное произведение в С n определяет на Т=С n/Т кэлерову метрику, инвариантную относительно сдвигов. К. Т. Могут быть охарактеризованы также как единственные компактные кэлеровы параллелизуемые многообразия [2]. Группа автоморфизмов комплексного многообразия Тсовпадает с голоморфом группа Т как комплексной группы Ли. Голоморфные р-формы на К. Т. Тимеют вид где , a z1, . .., zn- координаты в С n, и кольцо когомологий Дольбо естественно изоморфно (см. [1]). Как вещественные группы Ли все n-мерные К.

Т. Являются 2n-мерными торами и изоморфны между собой при фиксированном п. С точки зрения комплексной структуры положение гораздо сложнее. Базис решетки можно задать матрицей W. Размера наз. Матрицей периодов тора Т=С n/Г. Торы Ti=Cn/Г i с матрицами периодов Wi(i=1, 2) изоморфны между собой (как комплексные группы Ли или как комплексные многообразия) тогда и только тогда, когда существуют такие матрицы и ZGL(2n, Z), что W2=CW1Z. Матрицу периодов любого n-мерного тора можно привести к виду ||EA||, где Im|A|>0. Торы с матрицами такого вида образуют голоморфное семейство, дающее эффективно параметризованную версальную деформацию любого n-мерного К. Т., зависящую от п 2 параметров [3]. В частности, при n=1 пространство параметров есть верхняя полуплоскость Im a>0 и множество классов изоморфных одномерных К.

Т. Отождествляется с фактором {Im а>0}/D, где D - модулярная группа. К. Т., являющиеся алгебраич. Многообразиями, наз. абелевими многообразиями. К. Т. С n/Г - абелево многообразие тогда и только тогда, когда в С" существует эрмитово скалярное произведение, мнимая часть к-рого целочисленна на В терминах матрицы периодов это условие выражается как условие Римана - Фробеннуса. Должна существовать такая кососнмметрич. Матрица что WQW' =0 и что положительно определена. При n=1 эти условия всегда выполнены. Соответствующие алгебраич. Кривые суть эллиптические кривые. Матрица периодов дает пример двумерного К. Т., не являющегося абелевым многообразием. На этом торе не существует даже непостоянных мероморфных функций [5].

Необходимым и достаточным условием алгебраичности n-мерного К. Т. Является также наличие на нем палгебраически независимых мероморфных функций. Интерес к К. Т. Возник в 19 в. В связи с изучением абелевых функций, а также Якоби многообразий алгебраич. Кривых. С любым n-мерным компактным кэлеровым многообразием Мсвязан набор n К. Т.- его многообразий Якоби, к-рые являются абелевыми многообразиями, если Малгебраично [7]. Лит.:[1] Мамфорд Д., Абелевы многообразия, пер. С англ., М., 1971. [2] Wang Н. С, "Рrос. Amer. Math. Soc." 1954, v. 5, p. 771-76. [3] Коdairа К., Spenсer D. C, "Ann. Math.", 1958, v. 67, p. 328 - 466. [4] Вейль А., Введение в теорию кэлеровых многообразий, пер. С франц., М., 1961. [5] Зигель К. Л., Автоморфные функции нескольких комплексных переменных, пер.

С англ., М., 1954. [6] Уэллс Р., Дифференциальное исчисление на комплексных многообразиях, пер. С англ., М., 1976. [7] Чжень IIIэн-шэнь, Комплексные многообразия, пер. С англ., М., 1961. А. Л. Онищик..