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

- комплексная абелева группа Ли, получаемая из re-мерного комплексного пространства С n факторизацией по решетке ГМС n ранга 2п. К. т.- это единственные связные компактные комплексные группы Ли [1]. Каждое эрмитово скалярное произведение в С n определяет на Т=С n/Т кэлерову метрику, инвариантную относительно сдвигов. К. т. могут быть охарактеризованы также как единственные компактные кэлеровы параллелизуемые многообразия [2]. Группа автоморфизмов комплексного многообразия Тсовпадает с голоморфом группа Т как комплексной группы Ли. Голоморфные р-формы на К. т. Тимеют вид [img: http://localhost:8080/file/021232-17.jpg] где [img: http://localhost:8080/file/021232-18.jpg], a z1,..., zn- координаты в С n, и кольцо когомологий Дольбо [img: http://localhost:8080/file/021232-19.jpg] естественно изоморфно [img: http://localhost:8080/file/021232-20.jpg] (см. [1]). Как вещественные группы Ли все n-мерные К. т. являются 2n-мерными торами и изоморфны между собой при фиксированном п. С точки зрения комплексной структуры положение гораздо сложнее. Базис решетки [img: http://localhost:8080/file/021232-21.jpg] можно задать матрицей W. размера [img: http://localhost:8080/file/021232-22.jpg] наз. матрицей периодов тора Т=С n/Г. Торы Ti=Cn/Г i с матрицами периодов Wi(i=1, 2) изоморфны между собой (как комплексные группы Ли или как комплексные многообразия) тогда и только тогда, когда существуют такие матрицы [img: http://localhost:8080/file/021232-23.jpg] и Z [img: http://localhost:8080/file/021232-24.jpg] GL(2n, Z), что W2=CW1Z. Матрицу периодов любого n-мерного тора можно привести к виду ||EA||, где Im|A|>0. Торы с матрицами такого вида образуют голоморфное семейство, дающее эффективно параметризованную версальную деформацию любого n-мерного К. т., зависящую от п 2 параметров [3]. В частности, при n=1 пространство параметров есть верхняя полуплоскость Im a>0 и множество классов изоморфных одномерных К. т. отождествляется с фактором {Im а>0}/D, где D - модулярная группа. К. т., являющиеся алгебраич. многообразиями, наз. абелевими многообразиями. К. т. С n/Г - абелево многообразие тогда и только тогда, когда в С" существует эрмитово скалярное произведение, мнимая часть к-рого целочисленна на [img: http://localhost:8080/file/021232-25.jpg] В терминах матрицы периодов это условие выражается как условие Римана - Фробеннуса: должна существовать такая кососнмметрич. матрица [img: http://localhost:8080/file/021232-26.jpg] что WQW' =0 и что [img: http://localhost:8080/file/021232-27.jpg] положительно определена. При n=1 эти условия всегда выполнены; соответствующие алгебраич. кривые суть эллиптические кривые. Матрица периодов [img: http://localhost:8080/file/021232-28.jpg] дает пример двумерного К. т., не являющегося абелевым многообразием. На этом торе не существует даже непостоянных мероморфных функций [5]. Необходимым и достаточным условием алгебраичности n-мерного К. т. является также наличие на нем палгебраически независимых мероморфных функций. Интерес к К. т. возник в 19 в. в связи с изучением абелевых функций, а также Якоби многообразий алгебраич. кривых. С любым n-мерным компактным кэлеровым многообразием Мсвязан набор n К. т.- его многообразий Якоби, к-рые являются абелевыми многообразиями, если Малгебраично [7].