CC BY
64
УДК 5i7.55
А. Ю. Семушева
ОБЛАСТИ СХОДИМОСТИ ГИПЕРГЕОМЕТРИЧЕСКИХ РЯДОВ В ТЕОРИИ МНОГООБРАЗИЙ КАЛАБИ - ЯУ
Рассмотрены примеры многообразий Калаби - Яу, вычисляются области сходимости гипергеометри-ческих рядов, представляющих периоды этих многообразий.
Многообразия Калаби - Яу играют большую роль в современной математической физике (см., например, [1]). Они выделяются в классе комплексных аналитических многообразий тем, что их первый класс Черна тривиальный и среди голоморфных дифференциальных форм на них нетривиальными могут быть лишь формы максимальной степени, пространство которых одномерно. Удачные реализации многообразий Кала-би - Яу были получены в виде гиперповерхностей (или полных пересечений) в торических многообразиях [2], в частности во взвешенных проективных пространствах.
Одной из основных задач в данной области является изучение фундаментального периода голоморфной формы максимальной степени на модульном семействе (деформации) фиксированного многообразия Калаби - Яу. Например, если многообразие Калаби - Яу М задано в виде гиперповерхности
М = {у : Ро(У) = 0}
во
взвешенно-проективном
пространстве
Р
N
(о,кь...,км ) =р с ОДн°р°дными координатами у = (у1,..., ум), то рассматривается деформация полинома Ро (у)
Рф (У) = Ро (У) -ФоУоУ1 ...Ум + XФрУP,
реВ
для которой коэффициенты фо и фр параметризуют комплексные структуры многообразия М. Фундаментальный период на многообразии М можно задать интегралом
N
N (ф)=о
(2ni )N
у Рф (У)
где контур интегрирования представляет собой декартово произведение (Ы + 1) окружностей | у;- |= 1, ] = 0, 1, ..., N. Как функция на пространстве модулей этот период является гипергеомет-рической функцией, а именно: представляется рядом Горна, сходящимся для больших значений
выделенного модуля ф0. Процедура аналитического продолжения периода в другие области пространства модулей была описана в [3].
В данной статье мы рассмотрим два примера многообразий Калаби - Яу и вычислим области сходимости двойных гипергеометрических рядов, представляющих периоды этих многообразий.
Пример реализации многообразия Калаби -Яу в взвешенно-проективном пространстве.
В соответствии с [3] рассмотрим многочлен
Р( У) = Уо7 + У17 Уз + Уз + У2 У4 + у4 , определяющий во взвешенном проективном пространстве Р(4>2>2>7>7) гиперповерхность Калаби - Яу. В подходящих координатах х1, х2, которые мономиально выражаются через модули деформации поверхности, фундаментальный период гиперповерхности представляется рядом Горна
Н1(х1, х2) =
= Z
Г(7^і + 3^2 + i)
sis>o Г (si + ^Г (2si + S2 +1)
-XiSi X22:
(i)
гДе X1 =Фо7 > X2 = Ф1 / Фо •
Теорема 1. Граница области сходимости ряда (1) задается параметризацией
(x1 1,1 X2 l) = ( ^1 (^1, ?2)l,l ,2)|) ,
q = (^11,1 Ч2 |)е^+ \М
где ,2 )= q(7(2q':q;))4;
(7,1 + 3,2)
^2 ( ,2 )= ,2(2q1 + ,2)32 •
П1 2 (7,1 + 3,2)3
Для доказательства теоремы используется формула Коши - Адамара, формула Стирлинга и формула дополнения Г( z)r(1 о z) = п /sin nz.
Граница области сходимости ряда (1) задается следующим уравнением:
77 | X1 |3 о 33 • 75 | X1 |2| X2 |2 + 22 • 33|xJ2|x2h о 24 | X1 |2 +2 • 36 • 72 | X1 || X2 |4 о
- З3 • 52|xJ|x2|3 + 23 | xi || x2 |2 + З9 | x2 |7 о о З7 | X2 |6 +34 | X2 |5 о | X2 |4 = o.
23o
Это уравнение получается исключением пара, а7
метров 4, ,2 (точнее, параметра t: = — ввиду
41
однородности степени нуль параметризации ¥(д)) из параметризации Горна - Капранова
/|х |= 4 (241 + 42 ) | х |= 42(2Ч1 + 42)
(7,1 + 3д2)
(7,1 + 3,2)
Отметим, что если в уравнении (2) убрать знаки модуля, то мы получим уравнение сингулярной комплексной кривой для суммы ряда (1).
Область сходимости ряда (1) может быть представлена графически (рис. 1). Параметризация границы области сходимости, указанная в теореме 1, в логарифмической шкале (рис. 2) представляет собой кусок кривой гиперболического типа, асимптоты которой параллельны координатным осям, а вообще на рис. 2 изображена амеба сингулярной кривой для многозначной функции, определенной аналитическим элементом - рядом (1).
Ряд (1) допускает представление в виде интеграла Меллина - Барнса [4]
ф(х х и ГГ(г1)Г(^2)Г(-77! - 3^2 + 1) х
и 2) (2п)2 Г2(- 7, + 1)Г2(- 27, -72 + 1)
х (- х1 ) (- х2 )2 dz1 dz2, (3)
где у - любая точка из треугольника
{т є {2 : т1 > 0,т2 > 0,7т1 + 3т2 < 1}.
Для интеграла (3) существуют три формулы его вычисления в виде рядов из вычетов [4]. Один из этих рядов совпадает с формулой (1), два других выписываются следующим образом:
Н 2 ( *2 ) = (х3------х
х Е
"ь"2й0 ("1 )("2)!Г2("2 + 1)Г2[-3"1 - 3"2 +
х 13 V х2 У
( V2
х 7/3 V х2 У
(4)
х
Е
"1,"2>0 /
Н 3 (х1> Х2 )=-(-^------х
' 3 1 Л т[7"2 -3"1
Г 7 "1 + - "2 +1Є V 7 7
7 7 7У V 7 7 7
Л "1 [ Л "2
V Х2 7 у
V х17 У
(5)
Ряды (4) и (5) являются аналитическим продолжением фундаментального периода (1) или интеграла (3).
Характерной чертой для ряда (4), равно как и для ряда (1), является то, что аргументами гамма-функций в них являются линейные функции с коэффициентами одного знака при "1 и л2. В результате вычислений получается следующая формула параметризации для границы области сходимости ряда (4):
I Х |, | Х2
Приведем изображения амебы сингулярной кривой для многозначной функции, определяемой интегралом (3) или рядами (1), (4), (5) в коорди-
1 Х х2 1
натах =
1 х 13
^2 ='
х х2
7Ж и '■ =_
37
^2 ='
(рис. 3, 4).
Рис. 4
Пример реализации гиперповерхности Ка-лаби - Яу в торическом многообразии. В работе [4] приведена реализация трехмерного многообразия Калаби - Яу в соответствующем торическом многообразии X размерности 4. В координатах у1, у2, у3, у4 всюду плотного в X комплексного тора Т4 деформация этого многообразия задается нулями полинома
х
1
х
2
х
3
2
х
х
Рф=-1 + Уі +... + У4 +Ф0(УіУ2Уз) i +Фі(У4 1УіУ2)
Там вычислен фундаментальный период в виде гипергеометрического ряда Горна:
F(4Si + 4S2 + i) - X* X?, (6)
"1 ,"2>0 Г2("1 + "2 +1)("1!) ("2!)
где х1 =ф0; х2 =ф0ф1. Заметим, что граница области сходимости ряда (6) выписывается в виде
| х1 |2 + | х2 |2 - '4 | х1 | -
2 1
- 2 | х | ' | х2 | - ^^ | х2 | + ^8 = 0.
Область сходимости ряда (6) представим графически (рис. 5), а также изобразим амебу для сингулярного множества этого ряда (рис. 6), причем затемненная компонента дополнения этой амебы и есть область сходимости ряда (6) в логарифмических координатах.
Рис. 5
Рис. 6
Таким образом, общий результат Горна об областях сходимости гипергеометрических рядов не дает полной информации о рядах, встречающихся во многих приложениях, в частности в теории суперструн. Это ряды, представляющие фундаментальные периоды на многообразиях Калаби -Яу. В данной статье рассмотрены именно такие примеры многообразий Калаби - Яу и вычислены их области сходимости.
Библиографический список
1. Berglund, P. Mirror symmetry for Calabi -
Yau hypersurfaces in weighted T4 and extensions of Landau - Ginzburg theory / P. Berglund, P. Candelas, X. de la Ossa et al // Nucl. Phys. Vol. B419. 1994. P. 352.
2. Batyrev, V. V. Conifold transsition and mirror symmetry for Calabi - Yau complete intersection in Grassmanians / V. V. Batyrev, I. Ciocan-Tontanine,
B. Kim, D. van Straten // Nucl. Phys. Vol. B514. 1998.№ 3. P.640-666.
3. Пассаре, М. Кратные интегралы Меллина -Барнса как периоды многообразий Калаби - Яу с несколькими модулями / М. Пассаре, А. К. Цих, А. А. Чешель // Теорет. и математ. физика. 1996. Т. 109,№ 3. C. 381-394.
4. Batyrev, V. V. Variations of the mized Hodge structure of affine hypersurface in algebraic tori / V. V. Batyrev // Duke Math. J. Vol. 69. 1993. P.349-409.
A. Yu. Semusheva
CONVERGENCE DOMAINS OF HYPERGEOMETRIC SERIES IN MANIFOLDS OF KALABY - YAU THEORY
The examples of manifold Calabi - Yau diversity are shown and convergence domains of hypergeometric series presenting the periods of this diversity are calculated.
