CC BY
10
www.volsu.ru
DOI: https://doi.org/10.15688/mpcm.j'volsu.2017.3.9
УДК 517.55 + 514.74 + 004.94 ББК 22.161.5 + 22.151.5
ОБ АФФИННО-ОДНОРОДНЫХ ВЕЩЕСТВЕННЫХ ГИПЕРПОВЕРХНОСТЯХ ОБЩЕГО ПОЛОЖЕНИЯ В С31
Александр Васильевич Лобода
Доктор физико-математических наук, профессор, Воронежский государственный технический университет lobvgasu@yandex.ru
ул. 20-летия Октября, 84, 394006 г. Воронеж, Российская Федерация Александра Владимировна Шиповская
Аспирант,
Воронежский государственный технический университет al.shipovskaia@gmail.com
ул. 20-летия Октября, 84, 394006 г. Воронеж, Российская Федерация
Аннотация. В статье развиваются различные подходы к задаче описания аффинно-однородных вещественных гиперповерхностей 3-мерного комплексного пространства. Описывается схема изучения задачи об однородности, использующая канонические уравнения изучаемых многообразий и матричные алгебры Ли.
В рамках этой схемы, позволившей ранее получить полные классификационные результаты для нескольких типов однородных поверхностей, по-7 строены примеры матричных алгебр Ли, отвечающих строго псевдовыпуклым 3 однородным поверхностям общего положения. Приведены также примеры од-
, нородных многообразий этого типа.
Доказана теорема об опорном наборе коэффициентов канонического урав-£ нения, определяющем любую однородную поверхность из изучаемого класса.
£ За счет компьютерного исследования большой системы полиномиальных урав-
| нений, являющегося частью обсуждаемой схемы, получен вывод о запретах
Э на однородность, связанный с ограничениями на некоторые коэффициенты
шг опорного набора. <
§ Ключевые слова: аффинное преобразование, вещественная гиперпо-
1э верхность, каноническое уравнение поверхности, однородное многообразие,
^ алгебра Ли, система полиномиальных уравнений, символьные вычисления.
Введение
Важной задачей многомерного комплексного анализа является исследование вещественных подмногообразий и, в частности, гиперповерхностей комплексных пространств, однородных относительно голоморфных преобразований. Однако после работы Э. Кар-тана [16], получившего полное описание однородных вещественных гиперповерхностей двумерных комплексных пространств, повышение размерности в этой задаче столкнулось с существенными трудностями.
При этом описания отдельных семейств и примеров однородных гиперповерхностей в 3-мерных комплексных пространствах приводят (см.: [6; 15; 19]) к аффинно-однородным многообразиям. В этой связи можно считать естественной аффинную постановку рассматриваемой задачи. При ее решении весьма эффективными оказываются символьные вычисления, использующие понятие канонического уравнения для изучаемых многообразий (см., например, [9; 18]).
Напомним, что уравнение строго псевдовыпуклой (СПВ) вещественно-аналитической гиперповерхности М комплексного пространства С3 может быть (локально) приведено аффинными преобразованиями к виду (см. [9]):
V = 12 + Ы2 + + + £2(^22 + *!) + ^ Рк1т(г,г)ит. (1)
к+1+2т>3
Здесь пара неотрицательных чисел (е1, £2) является аффинным инвариантом поверхности; и = Кечи, V = 1т,ш, г = (г1,г2), а через Ffcгm обозначается однородный многочлен степени к по переменной г = (г1,г2), степени I по г и степени т по и.
С использованием канонических уравнений (1) удается получать, например, оценки размерностей аффинных групп Ли (и, соответственно, связанных с ними алгебр Ли), транзитивно действующих на таких многообразиях [4]. Эти оценки, как и другие свойства однородных поверхностей, существенно зависят от значений отдельных элементов пары (е1, £2). В связи с обсуждаемой задачей об однородности естественно выделить несколько семейств (типов) СПВ-поверхностей, определяемых именно такими парами: 1) £1 = 0, £2 = 0; 2) £1 = 0, £2 = 1/2; 3) £1 = 0 < £2 = 1/2;
4) £1 = 1/2, £2 = 1/2; 5) £1 = 1/2, 0 < £2 = 1/2; 6)0 < £1 = £2 = 1/2;
7) (£1, £2), где (2£1 - 1) ■ (2£2 - 1) ■ (£1 - £2) = 0.
К настоящему времени получены и опубликованы полные описания аффинно-одно-родных поверхностей, отвечающих первым четырем случаям из приведенного списка [2; 8; 10; 11; 14]; описание пятого типа готовится к печати. Авторы настоящей статьи признательны профессору А.А. Григорьяну, интерес которого к этим исследованиям и их поддержка (см.: [22; 23]) во многом стимулировали получение как упомянутых, так и излагаемых ниже результатов.
Основной целью данной статьи является изучение аффинно-однородных гиперповерхностей так называемого общего положения, удовлетворяющих условию п. 7), или, в более точной форме, неравенству
£1£2 (£1 - (^2 - 1) (£1 - £2) = 0. (2)
Отметим, что описания однородных поверхностей четырех из перечисленных выше семи типов получены в рамках общей схемы исследования аффинной однородности.
Сама такая схема кратко обсуждается ниже, в § 1, а в §2 приводится большое количество примеров матричных алгебр Ли, полученных с помощью этой схемы и отвечающих однородным поверхностям общего положения.
В то же время уточним, что в случае общего положения эта схема пока позволила получить лишь большое количество примеров однородных поверхностей. Для полного решения задачи классификации помимо ее использования необходимы и другие подходы, использующие, например, оценки размерности пространств модулей для семейств и подсемейств изучаемых многообразий. В статье получена такая оценка при условии ненулевого многочлена веса 3 из канонического уравнения (теорема 1).
С использованием компьютерных алгоритмов и символьных вычислений доказано (теорема 2), что свойство аффинной однородности поверхности общего положения не совместимо с ее принадлежностью к одному из четырех естественных подсемейств, определяемых коэффициентами уравнения (1).
1. Схема описания аффинно-однородных гиперповерхностей в С3
Аффинную однородность гиперповерхности М Е С3 (вблизи некоторой ее точки) везде в статье мы понимаем как существование алгебры Ли @(М) аффинных векторных полей, касательных к М, значения которых в обсуждаемой точке поверхности накрывают всю касательную плоскость к этой поверхности.
Все изучаемые однородные СПВ-гиперповерхности будут ниже задаваться своими аффинными каноническими уравнениями вида (1), а точку, вблизи которой обсуждается однородность, мы считаем началом координат пространства С3. Алгебры Ли касательных векторных полей к таким поверхностям мы будем представлять в матричной форме. Принцип сопоставления полей и соответствующих им матриц обозначен ниже
( (Ахг! + + Азы + Р1) ^ + \
г
+ (В1х1 + В2Х2 + Взт + Р2) +
V + (аг\ + Ьг2 + еш + д)
г
/
(А, ^2 Аз Р1 \
Вг В2 Вз Р2
а ь с (1
К 0 0 0 0 )
(3)
Нулевая четвертая строка добавляется к каждой 3 х 4-матрице коэффициентов аффинного векторного поля для удобства оперирования с матрицами. Известно, что при таком изоморфизме алгебр Ли коммутатор (скобка) \Z-\_, Z2\ векторных полей переходит в коммутатор (скобку) Z1 ■ Z2 — Z2 ■ Z1 соответствующих 4 х 4-матриц (см., например, [18])
Несложно показать на основе рассуждений, изложенных в [4], что для однородных поверхностей общего положения выполняется оценка 5 < Я(М) < 6. При этом
размерность 6 достигается лишь для поверхностей, аффинно эквивалентных квадрикам
Ы2 + Ы2 + £1(^2 + ¿2) + ^ + ¿2)-
(4)
Поэтому мы рассматриваем ниже только поверхности с 5-мерными группами и алгебрами Ли. Само условие 5-мерности означает, что из всех элементов матриц (или, что то же самое, аффинных векторных полей) вида (3), отвечающих однородным поверхностям, только сдвиговые параметры (р\,р2,д) являются свободными. Мы будем называть их основными параметрами в отличие от остальных элементов (3).
V
Согласно [4], у 5-мерной алгебры Ли аффинных векторных полей, касательных к однородной поверхности М общего положения, имеется базис следующего вида:
Е-1
ли ви
2г(1 + 2ех) 0
421 В 21 0 0
Ез —
А13
В 1з 0 0
42з В23 2г(1 + 2£2) 0
Е*
431 В 31 2га1 0
43з В 3з 2т3 0
1 0 0 0
0 1 0 0
А15
В15 0 0
Ео
Е.4
А25 В25 0 0
А35 в 35 2т5 0
41 В1 0 0
0 0
1 0
412 422 432 г
В12 В 22 В32 0
-- 2£1) 0 2т2 0
00 0 0
4 42. 43. 0 "
4 В 24 В3. г
2(1 - 2£2) 2т4 0
0 0 0
(5)
Здесь параметры е1, ¿2,т1,т2,т3,т4 являются вещественными, а остальные (обозначенные буквами) элементы выписанных матриц являются, вообще говоря, комплексными числами. При этом е1, £2 удовлетворяют неравенству (2).
Наличие специальной структуры у базисных матриц (5) позволяет получать содержательные выводы об алгебрах Ли с такими базисами за счет рассмотрения коммутаторов (скобок)
[Ек, Е^ ] — Ек Е^ — Е^ Ек
и использования свойства замкнутости алгебры Ли относительно операции коммутирования.
Первым и основным этапом упомянутой схемы является построение всех возможных алгебр с базисами вида (5). На втором этапе для каждой такой алгебры нужно найти ее (единственное) интегральное многообразие, проходящее через начало координат. Технически для этого требуется решить систему из пяти уравнений в частных производных, отвечающую основному соотношению
Пе (Ек(Ф)|М) = 0
(6)
для пяти базисных векторных полей. В формуле (6) через Ф обозначена определяющая функция поверхности М, которую мы записываем, в соответствии с (1), в виде
Ф — -V + 1*112 + № + + ¿2) + + ¿2) +
Е
Рк1т(г, г)ип
к+1+2т>3
Замечание 1. Отметим, что две однородные поверхности, получаемые интегрированием «различных» алгебр Ли, могут оказаться аффинно эквивалентными. В изученных случаях 1)-4) обозначенные вопросы не играли заметной роли, но для поверхностей общего положения они становятся существенными, как показано в §3.
Замечание 2. Схема описания аффинно-однородных поверхностей с использованием соответствующих им матричных алгебр Ли была эффективно реализована в работе [17] для построения достаточно объемной (полной) классификации однородных поверхностей в 3-мерном вещественном пространстве. Изучаемый нами случай является гораздо более сложным как по количеству описываемых объектов, так и по объему необходимых вычислений.
Остановимся подробнее на первом этапе обсуждаемой схемы применительно к алгебрам с базисами вида (5) (см. также [10; 12]). Рассмотрение десяти скобок [Е^,Е^\ для всех пар базисных матриц (5) приводит к системе десяти матричных уравнений. Например, одно из таких уравнений имеет вид
[ЕъЕ2] = Г1Е1 + Г2Е2 + Г3Е3 + Г4Е4 — 4Е5,
(7)
где г1 ,...,г4 — некоторые вещественные коэффициенты.
Расписывая поэлементно матричные уравнения типа (7), получаем большую систему скалярных уравнений, являющихся, вообще говоря, квадратичными относительно матричных элементов исходных матриц (5).
При этом вся обсуждаемая алгебра определяется лишь первой четверкой базисных матриц (5), а наиболее важную роль при таком подходе играют левые верхние 2х2-блоки этих матриц. В самом деле, выделяя вещественные и мнимые части интересующих нас матричных элементов (¿1 = Не (Е1)\>1, = 1т (Е1)\>1 и т. д.), представим такие блоки в развернутой форме
е3
+ И2
и + ¿¿в
ги + И18 ^21 + гг22
Ь3 + И 4 + й8
^19 + 1^20 и-3 + ^24
&2
в4
+ Ню
^13 + И14
^25 + ^26 ^29 + ^30
^11 + ^12 tl5 + И16
Ь27 + ^28 + И32
(8)
Тогда, например, коэффициент г1 из формулы (7) определяется равенством
Г1
— 12 + г9,
и аналогичные формулы справедливы для остальных коэффициентов из (7) и для аналогичных разложений остальных девяти скобок.
Отметим еще, что четвертые столбцы всех матриц (5) устроены очень просто. В силу этого в упомянутой системе скалярных уравнений ее отдельные уравнения также устроены проще остальных. Например, в ней имеется подсистема уравнений, линейных относительно набора из 36 вещественных переменных, включающего помимо (к = = 1,..., 32) еще и (3,3)-элементы т1,т2,т3,т4 первых четырех базисных матриц.
Решение такой линейной подсистемы позволяет (например, в случае поверхностей общего положения) уменьшить набор из 36 неизвестных до 16 переменных
(9)
Далее выписывается система уравнений, квадратичных (по существу) относительно набора (9). Эта система оказывается переопределенной, так как содержит (в случае поверхностей общего положения) 50 уравнений относительно 16 неизвестных.
В изученных случаях 2)-5) из введения построение всех решений аналогичных систем квадратичных уравнений фактически приводило к списку всех алгебр Ли требуемого вида. А само получение решений оказывалось задачей, хотя и технически сложной, но реализуемой с помощью компьютерных алгоритмов.
В случае однородных поверхностей общего положения ситуация с решением системы квадратичных уравнений сильно усложняется. Итоговые 50 уравнений оказываются весьма объемными. С учетом вхождения в них 16 неизвестных, многие из этих уравнений содержат порядка 100 квадратичных слагаемых (при максимально возможном
количестве 135). Усугубляется ситуация тем, что коэффициентами уравнений являются многочлены от пары (е1, е2), и степени таких многочленов достигают 6.
В итоге решить такую систему уравнений в полном объеме пока не удалось. В то же время анализ квадратичных уравнений полученной системы показывает, что все 16 входящих в них переменных целесообразно разбить на две группы (по 8 переменных в каждой), например,
{¿1,^4,^7,^11,^19,^24,т1,т4} и (¿2, ¿3,^5,^8, ¿23, ¿27, ^2, т3}. (10)
При этом ровно 25 уравнений из обсуждаемых 50 оказываются «антидиагональными», то есть билинейно зависящими от двух выделенных групп переменных. Каждое уравнение из другой, «диагональной», части системы распадается в сумму двух «раздельных» квадратичных форм: каждое из его слагаемых содержит квадратичные произведения переменных только из одной или только из второй группы. «Смешанных» произведений диагональные формы не содержат.
Компьютерные исследования антидиагональной части полученной системы показали, что из 25 билинейных уравнений линейно независимы только 15. Тем самым, в случае однородных поверхностей общего положения в обсуждаемой задаче можно выделить подзадачу исследования (нахождения всех решений) системы 15 уравнений, билинейно зависящих от двух групп переменных (содержащих по 8 неизвестных в каждой группе). Можно отметить, что задачи такого рода обсуждаются в современной математической литературе (см., например, [21]). Однако авторам не удалось найти действенный алгоритм для получения полного решения изучаемой задачи.
Несколько семейств матричных алгебр Ли, отвечающих аффинно-однородным поверхностям общего положения и полученных из частных решений системы 15 билинейных уравнений, приведены в следующем параграфе. Способ получения этих частных решений связан с обращением в нуль восьмерки переменных, составляющих одну из двух групп (10). Ясно, что при этом все билинейные (антидиагональные) уравнения обратятся в нуль, и останется изучить диагональную часть квадратичной системы. В такой ситуации каждое из оставшихся 25 уравнений зависит лишь от 8 переменных противоположной группы.
Применение компьютерных алгоритмов к такой усеченной задаче (и в частности, отсечение решений системы, которые не дают алгебр Ли) оказывается вполне эффективным: в разделе 2 настоящей статьи приведен полный список матричных алгебр Ли, отвечающих обнулению (по отдельности) каждой из двух восьмерок (10). Комментарии об однородных поверхностях, соответствующих построенным алгебрам, приведены в разделе 3.
2. Примеры алгебр Ли, отвечающих поверхностям общего положения
В этом параграфе приведены базисы нескольких семейств 5-мерных матричных алгебр Ли. Эти примеры построены вторым автором статьи по описанной выше схеме.
Решения, соответствующие обращению в нуль переменных из первой группы (9), имеют в нумерации алгебр дополнительный номер 1, обнулению второй группы (9) соответствует дополнительный номер 2.
Для всех алгебр используются общие обозначения
— 1 + 2ей, ук — 1 - 2ей, к — 1, 2. 116 А.В. Лобода, А.В. Шиповская. Об аффинно-однородных вещественных гиперповерхностях
Семейство алгебр 2-1 (¿24 € К).
Ег
О О О 1
О О О О
2 Щг О О О
О О О О
Ел =
-^2а/Ц2 О
о
Ео
О
О О О г
О ООО
2 VI ООО
О ООО
Ез
О О
О
г
2V2 -2 ^/ц О О
О О О
Семейство алгебр 3-1 (¿4 € К).
Еп
О О О О
О й24 О 1
О 2 щ2 О О
О О О О
ОООО
0000
0001 ОООО
Ел
2 £2*4 Ц2 О О О
О _4 £2*4 *42 г
Ц2 2 Ц2
О 2 V2 О О
О О О О
Еп
2Ц2
О
О О
—щ
2Ц2
О О
О О
-щ
2Ц2
О
0
1 О
Семейство алгебр 9-1 (Т = 17/гг, € К).
Ег
(11)
О й4 -и4 2Ц2 1 О -14 1-2 4 2Ц2 г й4 О О 2 О
Ег = гцх Ь4 Ц2 О О О , Е2 = VI ¿4 Ц2 О О О , Ез = О 2 И4 2Ц2 1
2 Щг О О О 2 Vl О О О О 2 Щ2 О О
О О О О О О О О О О О О
(12)
2 Т £г О -1/8 гТ 2 Vl 1 -1Т v1 О 1/8 Т Чг г
О Т £г О О , Е2 = О -1/21Т Vl О О
2 Щг О О О 2 v1 О О О
О О О О О О О О
Ез
О Ц2Т/2 О О - ТVI/2 О - 1Т2Vl/8 1
О О
2 ¿Ц2 О
Ее
О О
О О
Ел
О - IV{Г/2 О О
- iTvl/2 О Т^г/8 г
О 2 V2 О О
О О О О
- 1Т ^г/8 О О О
О - ¡Т^г/8 О О
О О - /8 1 О
О
О
О
(13)
Семейство алгебр 10-1 (тг € К, ц2 - 4(1 + 2е2)(2ег - 1) = О).
Ег
т^г О О 1
О т^г О О
2 гцг О 2 тг О
О ООО
Е2
О О г О О О
Vl ООО О ООО
Еп
О О О О
О О О О
О О О 1
О О О О
О
О
Ез —
Семейство алгебр 4-2 (¿27 е М).
0 — Ц2^1 0 0 0 %у2т1 0 0
т1у1 щ т1 0 1 , еа — %у2т1 — 2 £2 Ш1Ц/Ц2 0 г
0 2 гц2 0 0 0 2 V 0 0
0 0 0 0 0 0 0 0
Ел —
Ез —
2 г*27 Ц1 0- -г*272 Ц1 2 ^2 1
0 г*27Ц1 0 0
2 «Ц1 0 0 0
0 0 0 0
0 г(2-^2)*27 0
£2
2 (1-И4)*27 0
2(1 - Щ) 0
¿*27 Ц1
0 0
^2 0
2 г (2 -0
Е* —
-1/2 г^272 Ц1 ^22
0 0
2 ^22 0
0
0 1 0 0 0
#4
0 ¿27 Ц1 2 ^22
(1- -Ц1 )*27 0
) 0 0
0 0
0 ¿27 0
¿27 Ц1 0 ¿27Ц1 2 ^22
0 2 V 0
0 0 0
0 0
2 ^22 0
0 0
" 2 ^22
0 0 1
0 0 0 0 Семейство алгебр 5-2 (т2 е М, ц2 — (1 + 2е1 )(2е2 — 1) — 0).
Е1
гт2ц1 0 0 1
0 — гт2ц1 0 0
гц1 0 0 0
0 0 0 0
, Е2.
т2ц1 0 0 г
0 т2ц1 0 0
2^1 0 2 т2 0
0 0 0 0
Ез —
0 —1Ц2Ш2 0 0 0 — Ш2У2 0 0
гт2Ц1 —4 Ц£2т2/Ц2 0 1 , еа — Ш2Ц1 2 щ т2 0 г
0 2 гц2 0 0 0 2 V 0 0
0 0 0 0 0 0 0 0
Е*
0000 0000 0 0 0 1 0000
Семейство алгебр 8-2 (т3 е М, ц2 — 4(1 + 2£1)(2£2 — 1) — 0).
Е1
щ т3 т3У1 0 1
—т3Ц1 0 0 0
2 гц1 0 0 0
0 0 0 0
Е2
2 ^^ %тъу2 0 г Ц1
гу1т3
2 V 0
0 0 0
00 00 00
(14)
(15)
(16)
Ез
т3У2 0 0 т3У2 0 0
00 0 1 2 гц2 2 т3 0 0 0 0
Еп =
Семейство алгебр 10-2 (Т = ¿2з/е2).
Е-1
Ез
0
-ТУ2/4 -Т2У2/32 1
Т щ/4 0 00
2 Щ1 0 00
0 0 00
1/2 Т ¿2 0 0 0 "
0 Т ¿2 -Т^2/32 1
0 2 Щ2 0 0
0 0 00
■ -%Т^2/32
^4 =
Ео
Ее
Е4
0
гт3у2 0 0 0
0 гт3у2 0 г
0 2 0 0
0 0 0 0
0000 0000 0 0 0 1 0000
(17)
0 0 0
-гТ 2У2/32 0 0
0
-ъухТ/4
2 VI 0
-%Т V2 / 4 0 0 0
0 0
-%^2/4 Т^/32 г
0 0 0
0 0 0
0
0
2 V2 0 0 0
0 0
-%Т^2/32 1
0
0
0 0 0
0
2/2 T2V2/32 г
0 0
(18)
3. Интегрирование алгебр и специальные канонические уравнения
Здесь мы приведем примеры аффинно-однородных поверхностей общего положения, полученных в результате интегрирования некоторых из матричных алгебр Ли, представленных выше.
Отметим, во-первых, что в каждом из приведенных семейств алгебр помимо параметров ¿1, ¿2 имеется еще ровно один дополнительный параметр. Это Ь24 в семействе 2-1, Ь4 — в семействе 3-1, и т.д. (остальные параметры перечислены в соответствии с очередностью представления алгебр в разделе 2: ¿7, т\, Ь27, т2, т3, Ь23).
При обращении в нуль каждого такого дополнительного параметра (и фиксированных значениях пары ¿\, ¿2) базис каждой из алгебр восьми различных семейств превращается в «один и тот же» базисный набор, отвечающий квадрике (1.2). Поэтому интерес представляют лишь ненулевые значения перечисленных параметров. Предложение 1. Аффинно-однородные поверхности общего положения, отвечающие семействам алгебр Ли 2-1 (при Ь24 = 0) и 3-1 (при Ь4 = 0) из предыдущего раздела, описываются уравнениями:
семейство 2-1 : V = (ц\х\ + VII/2) + |^2|А, А = —
2
Ц2
(19)
2 2 2 2 ^ семейство 3-1 : |zi|2Re (^i^D) — А (Re (¿iz2)) — В (Im = |zi|
с некоторыми вещественными А, В, С.
(20)
Доказательство. Перед непосредственным интегрированием систем уравнений в частных производных, отвечающих обсуждаемым алгебрам, удобно упростить за счет матричных подобий Z ^ C-1ZC базисы этих алгебр. Очевидно, что интегральные многообразия двух подобных алгебр являются аффинно-эквивалентными поверхностями. Поэтому с точностью до такой эквивалентности мы не теряем информации при замене исходной алгебры другой, подобной ей.
В случае семейства алгебр 2-1 естественно диагонализировать матрицу Е4. После этого очевидные дополнительные движения приводят базис 2-1 к упрощенному виду
0 0 0 1 0 0 0 i 0 0 0 0
0 0 0 0 0 0 0 0 0 г 0 0
Ei = , Е2 = , Е3 =
2 гц-i 0 0 0 2 vi 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0
Е,
10 0 0
0 Ц2 0 0
0 0 2 0
0 0 0 0
Ее
0000 0000 0 0 0 1 0000
(21)
Аналогичные естественные матричные подобия (с последующими несложными переходами к линейным комбинациям получаемых матриц) упрощают базис семейства алгебр Ли 3-1 до состояния
0 00 0 0 0 0 0 0 0 0 0
—ivi 00 0 1 0 0 0 0 0 0 0
Ei = , Е2 = Е3 =
0 гц4 0 0 0 1 0 0 г 0 0 0
0 00 0 0 0 0 0 0 0 0 0
" Н2 0 0 0 - г 0 0 0-
0 Ц-2 - 10 0 0 г 0 0
Е4 е5 =
0 0 — V2 0 0 0 г 0
0 0 0 0 0 0 0 0
(22)
Процедура последующего интегрирования систем уравнений в частных производных, отвечающих упрощенным базисам, во многих случаях может быть реализована буквально одной командой в системе Maple. Отметим при этом, что при «механическом» подходе к решению таких систем часть решений иногда теряется [1]. Поэтому результаты интегрирования двух семейств, вынесенные в формулировку предложения 1, проверены параллельными вычислениями как с использованием символьных вычислений, так и в «ручном режиме».
Других комментариев, связанных с процедурой интегрирования матричных алгебр, мы здесь не приводим. Достаточно подробные описания аналогичных действий имеются, например, в [9] или [7].
Считаем предложение 1 доказанным.
Замечание. Примеры конкретных многообразий, обладающих какими-либо геометрическими свойствами, связанными, например, с их симметриями, пока являются достаточно редкими в многомерном комплексном анализе. Полученные в предложении 1 однородные поверхности, как и примеры алгебр Ли из предыдущего раздела, могут оказаться одной из «стартовых площадок» при получении дальнейших классификационных результатов в задачах 5-мерной С^геометрии. Упомянем в связи с этим недавнюю близкую по тематике работу [20], в которой также строятся примеры 5-мерных многообразий с различными по размерности алгебрами симметрии.
Рассматривая другие семейства алгебр Ли из предыдущего раздела, можно заметить, что четыре матрицы из упрощенного аналогичным образом базиса семейства 9-1 в точности совпадают с матрицами из упрощенного базиса (22). Несколько отличается от
своего аналога из 3-1 только матрица Е4
1 — 2 £1 0 0
0
— 2 £1
0 0
0 0
0 —1 — 2 £1 0
0 0 0 0
Это означает, что уравнения однородных поверхностей, отвечающих алгебрам 9-1, по форме совпадают с уравнениями, но отличаются от поверхностей 3-1 значениями параметров, входящих в эти уравнения.
А вот упрощенные варианты базисов семейства алгебр 4-2, несмотря на их визуальные отличия от базисов 3-1, ДОСЛОВНО совпадают с упрощениями в случае семейства 3-1, то есть с формулами (22)! Аналогично, базис семейства 10-2 совпадает после подходящего подобия с базисом вида 9-1.
Такой эффект совпадения (с точностью до аффинной эквивалентности) однородных поверхностей, отвечающих «разным» алгебрам, объясняется использованием канонических уравнений, не обладающих свойством единственности. Этот эффект и связанный с ним большой объем «лишней» технической работы при построении алгебр подталкивают к усовершенствованию описанной выше схемы изучения однородности.
Одним из направлений таких усовершенствований является использование уравнений вида (1) с дополнительными ограничениями на коэффициенты, уменьшающими или вовсе исключающими произвол в выборе таких уравнений.
Заметим, что помимо дискретных симметрий типа г1 о г2 уравнение (1) допускает однопараметрическое семейство линейных преобразований, сохраняющих его вид. Вид (1) сохраняется при вещественных растяжениях
г ^ Ьг, т ^ (Ь > 0).
(23)
Аффинно инвариантная пара коэффициентов (£1, £2) многочлена £2 сохраняется, в частности, при таких растяжениях. Инвариантным при этом является также равенство (или неравенство) нулю любого из коэффициентов любого многочлена £к веса к > 2
из этого уравнения, так как под действием преобразования (23) каждый коэффициент
¡к — 2
этого уравнения умножается на ък 2.
Это свойство можно использовать для построения аффинных канонических уравнений, обладающих свойством единственности. Естественно «упрощать» в таких уравнениях младшие коэффициенты, к которым относятся в первую очередь слагаемые многочлена ^з. В связи с этим сформулируем следующее утверждение. Предложение 2. За счет аффинных преобразований, сохраняющих вид уравнения (1), можно добиться выполнения для этого уравнения одного из четырех следующих условий: 1) Рз = 0; 2) д20 = 0; 3) д20 = 0, 1%02 = 0, до2 = 0; 4) 920 = 0, к02 = 0, до2 = 0, к20 = 0,дп = 0.
Доказательство. Ясно, что содержательными являются обсуждения, относящиеся к случаю Гз = 0. Если у этого многочлена отличен от нуля коэффициент д20, то мы получаем случай 2 доказываемого предложения.
Если д20 = 0, но К02 = 0, то упомянутая замена переменных г1 о г2 меняет местами коэффициенты д20 и Н02 и сохраняет в целом вид (1). Так мы либо снова получим случай 2), либо продолжим рассмотрение остальных коэффициентов многочлена Рз.
Если д20 = 0,К02 = 0, но отличен от нуля коэффициент д02, мы сразу имеем случай 3) обсуждаемого предложения. Если же равна нулю тройка коэффициентов д20,к02, д02, но отличен от нуля к20, то замена г1 о х2 приводит к случаю 3).
Аналогичное рассмотрение двух оставшихся коэффициентов д11,Н11 при условии равенства нулю четверки д20,к02, д02к20 приводит либо к равенству нулю всего многочлена Рз (случай 1)), либо к неравенству д11 = 0, соответствующему случаю 4), либо при дп = 0,11 = 0 снова к случаю 4) после еще одного преобразования г1 о х2.
Предложение 2 доказано.
Используя отличие от нуля какого-либо коэффициента из уравнения вида (1.0), можно за счет растяжения (23) сделать модуль этого коэффициента единичным. Это означает уменьшение на одну вещественную единицу количества коэффициентов аффинного канонического уравнения, которые приходится рассматривать при изучении, например, задачи об однородности.
Отметим, что при работе с полиномиальными системами уравнений с большим числом неизвестных даже незначительное уменьшение такого числа часто приводит к существенному упрощению алгоритмов исследования таких систем. В следующем разделе мы обсудим связи между коэффициентами канонических уравнений однородных поверхностей и параметрами векторных полей, касательных к таким многообразиям. Учет этих связей и внесение информации о них в базисные матрицы алгебр Ли типа (5) также может повысить эффективность описанной выше схемы изучения однородности.
Кроме того, рассмотрение однородности в отдельных подслучаях предложения 4 может оказаться возможным даже без привлечения этой схемы. Такой подход и соответствующий окончательный результат, отвечающий простейшему случаю 4) доказанного предложения 2, излагаются в заключительном разделе настоящей статьи.
Замечание. С точки зрения голоморфных преобразований все поверхности из предложения 1 эквивалентны квадрике V = |г1|2 + ^р. Многие из аффинно-однородных поверхностей, относящихся к другим (¿1, ¿2)-типам, оказываются голоморфно эквивалентными этой поверхности или трубчатым многообразиям
V = 1пх1 + А 1пх2 (А е М), также обладающим богатыми группами голоморфных симметрий.
4. Опорный набор коэффициентов
В этом разделе мы обсудим отдельные весовые слагаемые канонических уравнений (1) и основного тождества (6). При этом весом многочлена от переменных г, г, и мы называем одинаковую для всех его мономов сумму к +1 + 2т, где к,1,т — степени по г, г,и соответственно.
Каноническое уравнение (1) может быть записано в краткой форме как V = = ^2к>2 Ек(г, г, и), где одиночным нижним индексом обозначен вес слагаемого, и при этом специальный вид имеет многочлен
^2 = И2 + Ы2 + £1^2 + ¿2) + £2(^2 + ¿2). (24)
Нас будут интересовать также степени по переменным г, г, и отдельных слагаемых многочленов Рк различных весов из канонического уравнения (1). Степень по и будем обозначать верхним индексом в скобках, а степени по паре (г, г) — двойным нижним индексом, так что, например,
Р3 = £3(0)(г,г) = Р30 + Р21 + (комплексно сопряженные слагаемые), (25)
где
^ 9кггк4 + ^ к^ ¿2, \к+1=2 / \к+1=2 /
Рзо = ЫАА, р21 = I > 9к£гк¿2 ¡^ + ( > кигк4 ) (26)
к+1=3
а ¡ы,ды,кк1 — некоторые комплексные коэффициенты.
Аналогично многочлен £4 = Р4(г,г,и) = £4(0) + и£4(1) + и2£4(2), и при этом
£40) = + ^31 + £22 + ^13 + ^04. (27)
Здесь
^40 = «40^14 + «31^1^2 + «22^12^22 + «13^2 3 + «04^, (28)
40
^31 = (в30^13 + в21^12^2 + в12^1^22 + р03323) ¿1 + (у30^3 + У21^2 + У12+
+ У03^23)^2, (29)
Р22 = + ^Ы2Ы2 + ^3|^2|4) +
+ (С + С ^22^2) + (4 ¿12^2 + 4 + (п ¿1^2 + П ¿2^1 ¿2), (30)
а многочлены £13 и £04 получаются за счет комплексного сопряжения из многочленов £31 и £40 соответственно.
Самым простым является представление компоненты и2£4(2) многочлена £4. Здесь £4(2) = Л € К. Для слагаемого и£4(1) имеем представление в виде суммы голоморфной, антиголоморфной и эрмитовой (по переменным г, г) частей, так что
£4(1) = (m2оZl2 + гап^1^2 + mо2Z22) + (m2оZl2 + тцг^ + mо2Z22) +
+ (^и|^1|2 + ^12^1^2 + ^21^2^1 + П22^2 |2) (31)
Здесь п11,п22 € К, а все остальные коэффициенты в формуле (31) — комплексные числа. При этом п21 = пЦ.
Еще одно обозначение Рк введем для суммы всех слагаемых многочлена Рк(г, г, и), содержащих в качестве множителей выражения ит (т > 0). Тогда для любого многочлена Рк справедливо равенство
Рк = ^0) + Рк.
Теорема 1. Любая аффинно-однородная поверхность общего положения в Сз, удовлетворяющая дополнительному ограничению Рз = 0, однозначно определяется набором многочленов
3 = №, Рз, Р4, Р5} = , Рз, Р(0),Р(1),Р(2),Р(1),Р(2)}
(32)
из своего канонического уравнения (1).
Замечание. Набор 7 по аналогии с работой [6] естественно назвать опорным набором многочленов для однородной поверхности (1).
Замечание. В качестве следствия из этой теоремы можно получить очень грубую оценку количества аффинно-однородных гиперповерхностей, удовлетворяющих условиям теоремы 1: вещественная размерность пространства модулей для семейства таких поверхностей не превышает 92.
Разумеется, эта оценка сильно завышена. Ниже, в предложении 5, иллюстрируются возможности для ее понижения в общей ситуации. В теореме 2 раздела 5 изучается один случай ограничений на коэффициенты многочлена Рз, не допускающий никаких однородных поверхностей.
Доказательство теоремы 1. Линейные комбинации векторных полей вида (5) накрывают своими «сдвиговыми» компонентами 5-мерную вещественную гиперплоскость V = 0 в пространстве Сз. Тогда по теореме Фробениуса [3] аффинно-однородная гиперповерхность, отвечающая такой 5-мерной алгебре и проходящая через начало координат, однозначно определяется этой алгеброй.
Рассматривая теперь связи векторных полей, касательных к однородным поверхностям, с коэффициентами канонических уравнений этих поверхностей, зафиксируем следующее утверждение. Из него очевидно вытекает утверждение теоремы 1.
Лемма 1. Пусть аффинно-однородная гиперповерхность общего положения М в Сз удовлетворяет ограничению Рз = 0, а 2 — аффинное векторное поле вида (5), касательное к М. Тогда все неосновные параметры этого поля определяются через основную пятерку (р1,р2,д) и коэффициенты опорного набора (9).
Для доказательства леммы обсудим отдельные компоненты основного тождества
С (Р1 + (¿1*1 + А^) + Аз (и + ^)) Ц +
Ее
(Р2 + (^1 + В2Х2)+ Вз(и + ^)) Ц + }= 0
I (д +(аг1 + 6^) + с(и + гР)) ±(г + )
(33)
отвечающие весам от 1 до 3 (см., например, [4]): вес 1:
ОД , ОД
Ее[р
1 дх1
% д д Р3 + Р2^ + (аг1 + Ъг2)- + } = ах2 2 2 ои
(34)
Обозначим через V вектор из двух основных параметров (р1,р2), а через А — вектор из двух (не являющихся основными) параметров (Аз,Вз). Линейно зависящие от г = (г1,г2) выражения, входящие в формулу (33), обозначим через
ОД = (
А^1 + А2г2 В^1 + В2г2
)и 1(г)
г) = аг1 + Ьг2.
(35)
Выражение вида (piЦ^ + р2Щ) будем для краткости обозначать через дН(V). С учетом таких обозначений следующие две весовые компоненты основного тождества имеют вид: вес 2:
Re{dF3(V) + dF2(L(z)) + 2Q^ - = 0, (36)
вес 3:
Re{dF4(V) + dF3(L(z)) + (и + iF2)dF2(A) + 1 q ^ + 1 l(z) ^ - 2^} = 0. (37)
Самый простой фрагмент доказательства леммы связан с выписанным тождеством веса 1, из которого выводятся формулы
а = 2i(pi + 2eipi) , Ь = 2г(р2 + 2£^р2), (38)
справедливые [4] для всех семи типов однородных поверхностей, а не только для поверхностей общего положения.
Для выражения остальных неосновных параметров необходимо записать в развернутой форме тождества весов 2 и 3.
Предложение 3 (см. также [4]). Для параметров векторного поля (5), касательного к произвольной аффинно-однородной поверхности (еь £2)-типа, выполняются следующие уравнения, получаемые из компоненты веса 2 основного тождества:
Z1Z2 : 2(z2Bi + £1^2) + (2f21Р1 + 2fup2 + giipi + hnp2) + mnq = 0,
Z1Z2 : Bi + Ä2 + (2h2oPi + hnp2 + giipi + 2go2p2) + nuq = 0,
z\ : 2£i(Ai - \Re с) + (3 f3oPi + ¡2iP2 + 920pi + h20p2) + m2oq = 0,
: 2£2(B2 - 2де с) + (f^p 1 + 3ß03P2 + 9o2p 1 + ho2p2) + mwq = 0,
|zi|2 : Re (Ai - 2c) + Re(2g 20P i+g UP2) + \n\iq = 0,
|Z2I2 : Re (B2 - 1c) + Re(hnPi + 2ho2P2) + 2^29 = 0,
и : Re (%-c + qX) = 0. (39)
Легко видеть, что в случае общего положения первые два из этих уравнений позволяют однозначно выразить параметры A2,B через коэффициенты многочленов F30 и , входящих в набор (6), и основную пятерку параметров р 1,p2,q (громоздкие полные формулы для этих параметров мы здесь не приводим).
Из следующей пары уравнений можно получить формулы еще для двух параметров A\,B2, выражающие их через «временный» параметр сi = Re с, основную пятерку и тот же набор коэффициентов:
Ai = ^Rec - -^(3 f30Р1 + ¡2iP2 + 920p 1 + h20p2 + m-20q), (40)
2 2£i
= 1 Ree - -^(/12Pi + З/03Р2 + 902Pi + ho2'P2) + mo2q).
2 Z£2
Из последнего уравнения системы (39) выражается Im с = 2дЛ. Еще два уравнения из этой системы будут использованы в конце этого раздела. А пока мы перейдем к компоненте веса 3 основного тождества, то есть к уравнению (37). Предложение 4. Если в уравнении аффинно-однородной поверхности общего положения многочлен F3 отличен от нуля, то из компоненты веса 3 основного тождества параметры Л = (А3,В3) и с1 = Ree выражаются через основной набор параметров и коэффициенты опорного набора.
Доказательство. Для доказательства разделим (37) на два более простых уравнения. Первое из них содержит все слагаемые с множителем и, а второе зависит кубическим образом от переменных (z,z). Имеем здесь:
и
: £ej<9F4(1)(Р) + + qF^ + 2 = 0 (41)
R^dF(0)(V) + dF3(L(z)) + «^(Л) + 1 q F^ + 1 l(z) F^ - = 0.
(42)
Из ^-компоненты тождества веса 3 выводятся формулы для параметров А3,В3, так что
Л = ф(£2,^4(1),£4(2),£5(2)). (43)
Заметим теперь, что с учетом формул (4) слагаемое Re (дР3(Ь(г)) из уравнения (36) представляется с точностью до выражений, зависящих от набора 7, в виде
HG
Re ( I 1 Ci и") = 2CiF3.
Это означает, что «временный» параметр с1 = Ree является в уравнении (42) коэффициентом при каждом слагаемом многочлена F3. В силу условия F3 = 0 этот многочлен имеет ненулевой коэффициент хотя бы при одном из мономов zazß (|а| + |ß| = 3). Из компоненты уравнения (4.20), соответствующей именно такому моному, получаем формулу для с1 = Ree, выражающую этот параметр через p1,p2,q и коэффициенты опорного набора J.
Предложение 4 доказано.
В итоге все неосновные параметры выражены через основные и набор (1). Лемма и теорема 1 также доказаны.
Набор опорных коэффициентов можно существенно уменьшить за счет более детального изучения связей между коэффициентами канонических уравнений однородных поверхностей и параметрами векторных полей на таких поверхностях. Предложение 5. Для коэффициентов многочленов F3,F± из уравнения аффинно-однородной поверхности М с C3 общего положения выполняются следующие соотношения:
/30 = 1(4£1^20 — 920), /21 = 2£1#11 — h-20, /12 = 2 £2 ^11 — 902, /03 = 1(4£2^02 — h-02),
Re (rn20) = £1^11, Re (^02) = £2^22.
и
Доказательство. Подставляя формулы (4) в |г^2- и |г2|2-уравнения системы (39), получим соответственно:
Ке 2д2оРг + 911Р2) + т^пц^ - т^гКе (3+ 121Р2 + 920Р1 + К20Р2 + т2о)д) = 0
Ке(^(Нпр1 + 2ко2Р2) + П2^ - ^^Ке (/пР1 + 3/озР2 + #02^1 + К02Р2 + т,02<?) = 0.
Приравнивая (по лемме о единственности из [5]) коэффициенты при р1, р2, д в этих уравнениях нулю, получаем шесть уравнений:
Р1 : 2920 • 2б1 - (3/30 + <720) = 0, Ки • 2е2 - (¡12 + <Ьо) = 0,
Р2 : б'и • 2е2 - (¡21 + К20) = 0, 2К02 • 2е2 - (3/03 + К02) = 0,
1 1 . . 1 1
Ч : п'пц = —Ке (т,20), -П22 = —Ке (ГП02). 2 2£1 2 2£2
Ясно, что эти уравнения равносильны формулам предложения 5, которое, таким образом, доказано.
Следствие 1. Предложение 5 позволяет понизить на 10 единиц оценку вещественной размерности пространства модулей для семейства аффинно-однородных поверхностей общего положения в С3.
и
5. О коэффициентных запретах для однородных поверхностей
Теорема 2. Не существует аффинно-однородных поверхностей общего положения, в нормальных уравнениях которых выполняются условия
920 = 902 = h-20 = ho2 = 0, 9п = 0 (44)
последнего случая из предложения 2.
Доказательство. Доказательство теоремы 2 было получено за счет компьютерных вычислений, связанных с весьма громоздкими формулами и реализованных в пакете символьных вычислений Maple. Здесь мы приводим лишь описание схемы вычислений, некоторые их промежуточные результаты и комментарии к ним.
Итак, рассмотрим уравнения (41) и (42). Мы покажем, что в совокупности с ограничениями (44) и условием общности положения эти уравнения приводят к противоречию.
Как и в предыдущем разделе (см. предложение 4), параметры А3,В3 выражаются из (41). Полученные для них формулы подставим в уравнение (42) и развернем результат в систему из 10 «скалярных» уравнений, отвечающих различным мономам zaze (|а| +
+ |в1 = 3).
Комплексное уравнение, отвечающее моному Z\Z2Z\, можно решить относительно параметра с\. В силу вещественности этого параметра, получаемая формула также
должна быть вещественной при любых значениях входящих в нее основных параметров р1,р2,д. Это замечание дает нам три вещественных уравнения, освобожденных от параметров поля и зависящих только от коэффициентов канонического уравнения (1).
Подстановка полученной формулы для с1 в остальные 9 уравнений тождества веса 3 позволяет получить еще 9 х 5 = 45 комплексных (или 90 вещественных) уравнений, также зависящих только от коэффициентов уравнения (1). Таким образом из компоненты веса 3 основного тождества можно получить (не только в условиях теоремы 2, но и вообще, при £3 = 0!) систему из 93 вещественных уравнений относительно коэффициентов опорного набора многочленов. В силу следствия из предложения 5 количество таких коэффициентов можно считать не превышающим 82, так что обсуждаемая система является переопределенной.
Мы поочередно рассмотрим несколько подсистем полученной системы, решая их относительно отдельных групп неизвестных. Подстановка получаемых при этом формул в уравнения очередных подсистем существенно упрощает эти уравнения. В итоге мы придем к несовместимости ограничений (44) и условия общности положения для однородных поверхностей.
Прежде всего заметим, что в силу допущения (44) шесть из десяти уравнений, отвечающие мономам
(45)
не содержат параметра с1. Поэтому каждое из них сразу распадается на пять комплексных уравнений, отвечающих коэффициентам при параметрах р1,р2,р1,р2,д.
Мы будем рассматривать 6 х 4 = 24 комплексных (р,р)-уравнений, зависящих от коэффициентов многочленов £2,£3,£4 (в ^-уравнениях участвует еще и многочлен £5). Рассмотрение именно такой подсистемы общей системы из 93 уравнений составляет основу предлагаемого доказательства теоремы 2.
Одно из таких 24 уравнений приведено ниже. Оно получено как равенство нулю коэффициента при параметре р1 в соотношении, отвечающем моному 2:3 :
1 (-16 £16Л + 4 «40£22 - 4 а40£12 + 16 а40£14 - 12 £14Л+
(-£22 + £12)(-1 + 4 £12)
+4 1£12п11 £22 — 16 г£13т20£22 — 4 г£14П11 + 12 £12Л £22 + 16 £14Л £22 — 2 ^112£12£2-
-^11£12^11 + 16 г£15т,20 + 8#и2£14£2 + 4дп£14дп - 16 а4о£12£2) = 0. (46)
Уточним теперь, что в предлагаемые к рассмотрению 24 уравнения не входят коэффициенты а22 и -у2. Это означает, что система содержит 43 неизвестных вещественных коэффициента многочлена £4, от которых все уравнения системы зависят линейным образом.
Отметим также, что в уравнения этой системы помимо коэффициентов £4 входят квадратичные комбинации коэффициентов многочлена £3. В нашем случае у этого многочлена имеются лишь два существенных коэффициента: д11 и Н11. Еще четыре из 10 коэффициентов £3 равны нулю в силу (44), а в силу предложения 5
/30 = 0, /21 = 2£1911, ¡12 = 2£2^11, ¡03 = 0. (47)
Наконец, в уравнениях присутствуют параметры £1, £2, причем в виде полиномов достаточно высоких степеней.
Процедуру решения большой линейной системы, содержащей и комплексные, и вещественные неизвестные, можно реализовать «по частям». Например, сначала можно решить часть уравнений относительно части комплексных величин. В нашем случае это привело к выражению 12 (комплексных) коэффициентов многочлена (всех, кроме а22) через коэффициенты многочленов £3, £4(1) и Л = £2.
Формулы при этом получаются достаточно громоздкие, например:
£2
«40 = - (-16 £14Л - 12 £12Л - 4 1£12П11 + 16 г£13Ш20 + 4 %Пц £22 + 12 Л £22 +
+ 16 £12Л £22 - 2 £29112 - дпдп - 16 г£1Ш20£22 + 8 ^ц2£12£2 + 4 дц^дц), (48)
где
п = (£1 + £2)(£1 - £2) (2 £1 + 1) (2 £1 - 1) .
Теперь от системы из 24 уравнений остается лишь 12 уравнений. Их придется записать в вещественной форме, учитывая большое количество неизвестных вещественных коэффициентов многочлена £4(0) и вхождение в эти уравнения не только самих таких коэффициентов, но и комплексно сопряженных к ним величин. У двух комплексных коэффициентов д11 и к11 многочлена £3 также выделим вещественные и мнимые части, полагая
г1 = Кек11, г2 = ¡тки, т3 = Кед11, = 1тд11. (49)
Из 24 вещественных уравнений оставшейся системы теперь выражаются все оставшиеся 19 (вещественных) коэффициентов многочлена £4(0). Например,
Л = -1)(2 £1 + 1)2 ((32 £12£22 + 16 £22£1 - 6 £1 + 96 £24£1 + 12 £22 -
256 £1 (£1 - £2)2 (£1 + £2)
- 3)г2 - (32 £12£22 - 18 £1 + 288 £24£1 + 80 £22£1 - 3 + 12 £22) г2) + + ^ (2 £2 - 1)£2 + 1)2 ((32 £12£22 - 6 £2 + 96 £14£2 + 16 £1% - 3+12 £12) +
256 £2 (£1 - £2) (£1 + £2)
+ (-32 £12£22 - 6 £2 + 96 £14£2 + 16 £1% - 12 £12 + 3) г\). (50)
После этого от всей начальной подсистемы 24 комплексных или 48 вещественных уравнений остается пять вещественных уравнений. Эти уравнения свободны от коэффициентов многочлена а зависят лишь от двух параметров £1, £2 и от четверки вещественных коэффициентов г1,г2,г3,г±.
Два из этих пяти уравнений приведены ниже:
(64 £24 - 8 £^2 - 4 Ф1 + £1£2 + 12 £3£2 - 3 £3) Г2Г1 +
+ (4 £2£3 - £2£2 + 3 £3 - 12 £5) Г4Г3 = 0, (51)
(2 £2 + 1) (16 £23£1 + 2 £2 + 24 £12£22 + 8 £1% - 8 £12£2 + 4 £1£2 - £2 - £1 +6 £12) Г1Г3 +
+ (28 £2£2 - 6 £2 - £2 - £1 - 20 £3 - 8 £^2 - 2 £1 £2 + 16 £2£3 - 8 £?£2 -
- 16 £2£1 - 16 £2£1 - 80 £2£?)Г2Г4 = 0. (52)
К этим пяти уравнениям можно еще добавить две последние формулы предложения 5, выраженные через коэффициенты многочленов Р3 и Р2. Эти два дополнительных уравнения имеют вид:
Г2Г1 (24 е42 + 4 £^2 - 4 £2 - £1) =0. (53)
(64 £124 - 8 £12£2 - 4 £4£1 + £1£2 + 12 £3Х£22 - 3 £3) Г2П +
+ (4 £25 + 4 £2£3 - £12£2 - £2) Г4Г3 = 0. (54)
Предложение 6. Любое решение системы из 7 уравнений (51)-(53), удовлетворяющее ограничению г3+ъг4 = 0 и условию общего положения относительно параметров £1, £2, имеет один из двух типов (независимо от значений этих параметров):
1) П = 0, Г2 = 0, Г3 = 0, Г4 = 0 или 2) п = 0, Г2 = 0, Г4 = 0, Г3 = 0. (55)
Теперь остается проверить оба случая из (55) на остальных уравнениях системы веса 3, отвечающих мономам 12 2 , 1 22 , 1 2 2 .
С учетом (55) эти 12 сложно устроенных комплексных уравнений существенно упрощаются и становятся вещественными. Более того, в каждом из двух вариантов (55) половина таких уравнений превращается в нулевые тождества. К таким 6 уравнениям можно добавить еще два упомянутых выше уравнения на коэффициенты многочлена Р4, возникающие из условия вещественности параметра с1.
В эту восьмерку уравнений входят коэффициенты а22, у2 многочлена Р22, которые мы исключили из рассмотрения в первой подсистеме. Теперь их можно выразить из остающейся системы. Например, в случае г1 = 0, г2 = 0, г3 = 0, г4 = 0 одно из двух уравнений, связанных с условием вещественности 1, можно переписать в виде формулы
_ г32(144 £2Х£2 - 288 £4 + 1824 £4£2 - 9 - 72 £3 + 18 £2 + 1920 £2£14 + 1536 £?£2)
V — -2-2- +
384 (£1 - £2)2 (£1 + £2)2 £2
+
г2(768 4 - 1792 е2е32 + 36 e? - 288 е21е2 + 12 £22 + 4608 e4ej - 1152 eje2 + 1408 efe!)
384 (e? - e2) (e? + e2) e2
(56)
Коэффициент a22 можно выразить из уравнения, входящего в шестерку упомянутых выше. Тогда остающиеся пять уравнений из этих шести имеют (в случае г? = = 0, г2 = 0, г3 = 0, г4 = 0) вид
2 e1r32(-288 e4e2 - 12 e2 + 64 e\ - 48 e12e2 + 256 e2e23 + 3 +
+ 384 e2e4 + 128 e2e4 - 12 e2 - 40 e2 + 6 e2) = 0, 32 eir32 (e? + e2) (e? - e2) (-24 e?2 + 24 e2e2 - 8 e2 + 3 + 8 e2) =0,
2 Г32(32 e2e2 - 480 £l4£2 + 384 £2£l4 + 128 ^ - 80 £l2£11 + 448 e2e23 + 3 -
- 12 e2 + 96 e4 - 12 e?2 - 72 e3 + 6 £2) = 0, e? (2 e2 + 1) (64 e?2e3 + 16 e2 + 192 £2l£2 - 28 e2 - 8 el2e2 - 96 e??^ + 4 e2 + 3) =0, - 384 44 + 96 44 - 128 4e2 + 44 ^^ - 128 4£25 - 64 44 + + 144 £^4 + 8 e2 - 20 £23 + 40 4 - 14 e2 - 3 £2 - 32 e2 = 0. (57)
Эти уравнения можно освободить от заведомо ненулевых (в условиях общности положения) множителей
2 £1Г32, 32 £1Г32 (£1 + £2)(£1 - £2), 2 Г32, £1 (2 £2 + 1)
и применить к пяти упрощенным уравнениям процедуру построения базиса Гребнера (реализуемую в Maple, например, с опцией plex). Несмотря на переопределенный, вообще говоря, характер этой системы (5 уравнений относительно двух неизвестных £1, £2), решения у нее имеются.
Более точно, справедливо следующее утверждение. Предложение 7. У идеала, порожденного пятью упрощенными уравнениями (57), имеется базис из двух многочленов Р1 = 1 + 2£2 и Р2 = 1 — 4£2.
Так как в условиях общности положения ни один из этих многочленов не равен нулю, это означает, что в случае г1 = 0,г2 = 0,г3 = 0,г4 = 0 мы получили противоречие, связанное с невозможностью одновременного выполнения условий общности положения и ограничений (7) для аффинно-однородных гиперповерхностей.
Второй вариант из (55) обсуждается аналогично и приводит к аналогичному противоречию.
Теорему 2 считаем доказанной.
ПРИМЕЧАНИЕ
1 Работа частично поддержана грантом РФФИ № 14-01-00709.
СПИСОК ЛИТЕРАТУРЫ
1. Акимова, Е. В. Компьютерные алгоритмы интегрирования матричных алгебр Ли / Е. В. Акимова, А. В. Лобода // Сб. студ. науч. работ ФКН ВГУ. - 2015. - № 4. - С. 3-8.
2. Атанов, А. В. Аффинно-однородные поверхности типа (0,0) в пространстве С3 / А. В. Атанов, А. В. Лобода // Мат. заметки. - 2015. - Т. 97, № 2. - С. 309-313.
3. Бишоп, Р. Геометрия многообразий / Р. Бишоп, Р. Криттенден. - М. : Мир, 1963. -364 с.
4. Лобода, А. В. О размерностях групп аффинных преобразований, транзитивно действующих на вещественных гиперповерхностях в С3 / А. В. Лобода // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. - 2014. -№ 4. - С. 11-35.
5. Лобода, А. В. Об определении однородной строго псевдо-выпуклой гиперповерхности по коэффициентам ее нормального уравнения / А. В. Лобода // Мат. заметки. -2003. - Т. 73, № 3. - С. 419-423.
6. Лобода, А. В. Однородные строго псевдо-выпуклые гиперповерхности в С3 с двумерными группами изотропии / А. В. Лобода // Мат. сб. - 2001. - Т. 192. - С. 3-24.
7. Лобода, А. В. О различных способах представления матричных алгебр Ли, связанных с однородными поверхностями / А. В. Лобода, В. К. Евченко // Изв. вузов. Математика. - 2013. - № 4. - С. 42-60.
8. Лобода, А. В. Об аффинной однородности поверхностей трубчатого типа в С3 / А. В. Лобода, Т. Т. З. Нгуен // Тр. МИАН. - 2012. - Т. 279. - С. 102-119.
9. Лобода, А. В. Об одном семействе аффинно-однородных вещественных гиперповерхностей 3-мерного комплексного пространства / А. В. Лобода, А. С. Ходарев // Изв. вузов. Математика. - 2003. - № 10. - С. 38-50.
10. Лобода, А. В. О полном списке аффинно-однородных поверхностей (е, 0)-типов в пространстве C3 / А. В. Лобода, А. В. Шиповская // Изв. вузов. Математика. — 2015. — № 2. — C. 75-82.
11. Нгуен, Т. Т. З. Аффинно-однородные вещественные гиперповерхности трубчатого типа в C3 / Т. Т. З. Нгуен // Мат. заметки. — 2013. — Т. 94, № 2. — C. 246-265.
12. Шиповская, А. В. Системы квадратичных уравнений, связанные с задачей об аффинной однородности / А. В. Шиповская // Вестник ВГУ. Физика. Математика. — 2015. — № 4. — C. 190-201.
13. Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms / M. Sabzevari, A. Hashemi, B. M. Alizadeh, J. Merker. — Electronic text data. — Mode of access: http://arxiv.org/abs/1212.3070. — Title from screen.
14. Atanov, A. V. Affine homogeneous strictly pseudoconvex hypersurfaces of the type (1/2,0) in C3 / A. V. Atanov, A. V. Loboda, A. V. Shipovskaja. — Electronic text data. — Mode of access: http://arxiv.org/abs/1401.2252. — Title from screen.
15. Beloshapka, V. K. Homogeneous hypersurfaces in C3, associated with a model CR-cubic / V. K. Beloshapka, I. G. Kossovskiy // J. Geom. Anal. — 2010. — Vol. 20, № 3. — P. 538-564.
16. Cartan, E. Sur la geometrie pseudoconforme des hypersurfaces de deux variables complexes / E. Cartan // Ann. Math. Pura Appl. — 1932. — Vol. 11, № 4. — P. 17-90.
17. Doubrov, B. Homogeneous surfaces in the 3-dimensional affine geometry / B. Doubrov, B. Komrakov, M. Rabinovich // Prepr. Ser. Pure Math. — 1995. — P. 1-26.
18. Eastwood, M. On affine normal forms and a classification of homogeneous surfaces in affine three-space / M. Eastwood, V. V. Ezhov // Geom. Dedicata. — 1999. — Vol. 77. — P. 11-69.
19. Fels, G. Classification of Levi degenerate homogeneous CR-manifolds in dimension 5 / G. Fels, W. Kaup // Acta Math. — 2008. — Vol. 210. — P. 1-82.
20. Isaev, A. V. On the symmetry algebras of 5-dimensional CR-manifolds / A. V. Isaev, B. Kruglikov. — Electronic text data. — Mode of access: http://arxiv.org/abs/1607.06072. — Title from screen.
21. Johnson, C. R. Solution Theory for Systems of Bilinear Equations / C. R. Johnson, H. Smigoc, D. Yang. — Electronic text data. — Mode of access: http://arxiv.org/abs/1303.4988. — Title from screen.
22. Loboda, A. V. On homogeneity of embedded manifolds / A. V. Loboda. — Electronic text data. — Mode of access: http://www.mathematik.uni-bielefeld.de/sfb701/files/preprints/sfb10091.pdf. — Title from screen.
23. Loboda, A. V. One family of algebraic homogeneous surfaces / A. V. Loboda, V. K. Evchenko. — Electronic text data. — Mode of access: http://www.mathematik.uni-bielefeld.de/sfb701/files/preprints/sfb11129.pdf. — Title from screen.
REFERENCES
1. Akimova E.V., Loboda A.V. Kompyuternye algoritmy integrirovaniya matrichnykh algebr Li [Computer Algorithms of Integrating Matrix Li Algebras]. Sb. stud. nauch. rabot FKN VGU, 2015, no. 4, pp. 3-8.
2. Atanov A.V., Loboda A.V. Affinno-odnorodnye poverkhnosti tipa (0,0) v prostranstve C3 [Affine Homogeneous Surfaces of (0,0)-Type in C3 Space]. Mat. zametki [Mathematical Notes], 2015, vol. 97, no. 2, pp. 309-313.
3. Bishop R., Krittenden R. Geometriya mnogoobraziy [Geometry of Manifolds]. Moscow, Mir Publ., 1963. 364 p.
4. Loboda A.V. O razmernostyakh grupp affinnykh preobrazovaniy, tranzitivno deystvuyushchikh na veshchestvennykh giperpoverkhnostyakh v C3 [On Dimensions of Affine Transformation Groups Transitively Acting on a Real Hypersurfaces in C3]. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2014, no. 4, pp. 11-35.
5. Loboda A.V. Ob opredelenii odnorodnoy strogo psevdo-vypukloy giperpoverkhnosti po koeffitsientam ee normalnogo uravneniya [On Determing Homogeneous Pseudo-Convex Hypersurface by Means of Its Normal Equation Coefficients], Mat. zametki [Mathematical Notes], 2003, vol. 73, no. 3, pp. 419-423.
6. Loboda A.V. Odnorodnye strogo psevdo-vypuklye giperpoverkhnosti v C3 s dvumernymi gruppami izotropii [Homogeneous Pseudo-Convex Hypersurface in C3 with Two-Dimesional Isotropy Groups]. Mat. sb. [Sbornik: Mathematics], 2001, vol. 192, pp. 3-24.
7. Loboda A.V., Evchenko V.K. O razlichnykh sposobakh predstavleniya matrichnykh algebr Li, svyazannykh s odnorodnymi poverkhnostyami [On Different Ways of Presenting Matrix Li Algebras, Connected with Homogeneous Surface]. Izv. vuzov. Matematika [Russian Mathematics], 2013, no. 4, pp. 42-60.
8. Loboda A.V., Nguen T.T.Z. Ob affinnoy odnorodnosti poverkhnostey trubchatogo tipa v C3 [On Affine Homogeneity of a Surfaces of Tubular Type in C3]. Tr. MIAN, 2012, vol. 279, pp. 102-119.
9. Loboda A.V., Khodarev A.S. Ob odnom semeystve affinno-odnorodnykh veshchestvennykh giperpoverkhnostey 3-mernogo kompleksnogo prostranstva [On a Family of Affinely Homogeneous Real Hypersurfaces of 3-Dimensional Complex Space]. Izv. vuzov. Matematika [Russian Mathematics], 2003, no. 10, pp. 38-50.
10. Loboda A.V., Shipovskaya A.V. O polnom spiske affinno-odnorodnykh poverkhnostey (e, 0)-tipov v prostranstve C3 [On the Full List of Affine Homogeneous Surface of (e, 0)-Type in C3 Space]. Izv. vuzov. Matematika [Russian Mathematics], 2015, no. 2, pp. 75-82.
11. Nguen T.T.Z. Affinno-odnorodnye veshchestvennye giperpoverkhnosti trubchatogo tipa v C3 [Affine Homogeneous Real Hypersurfaces of Tubular Type in C3]. Mat. zametki [Mathematical Notes], 2013, vol. 94, no. 2, pp. 246-265.
12. Shipovskaya A.V. Sistemy kvadratichnykh uravneniy, svyazannye s zadachey ob affinnoy odnorodnosti [Systems of Quadratic Equations Connected with Affine Homogeneity Problem]. Vestnik VGU. Fizika. Matematika, 2015, no. 4, pp. 190-201.
13. Sabzevari M., Hashemi A., Alizadeh B.M., Merker J. Applications of differential algebra for computing Lie algebras of infinitesimal CR-automorphisms. Available at: http://arxiv.org/abs/1212.3070.
14. Atanov A.V., Loboda A.V., Shipovskaja A.V. Affine homogeneous strictly pseudoconvex hypersurfaces of the type (1/2,0) in C3. Available at: http://arxiv.org/abs/1401.2252.
15. Beloshapka V.K., Kossovskiy I.G. Homogeneous Hypersurfaces in C3, Associated with a Model CR-Cubic. J. Geom. Anal., 2010, vol. 20, no. 3, pp. 538-564.
16. Cartan E. Sur la Geometrie Pseudoconforme des Hypersurfaces de Deux Variables Complexes. Ann. Math. Pura Appl., 1932, vol. 11, no. 4, pp. 17-90.
17. Doubrov B., Komrakov B., Rabinovich M. Homogeneous Surfaces in the 3-Dimensional Affine Geometry. Prepr. Ser. Pure Math., 1995, pp. 1-26.
18. Eastwood M., Ezhov V.V. On Affine Normal Forms and a Classification of Homogeneous Surfaces in Affine Three-Space. Geom. Dedicata, 1999, vol. 77, pp. 11-69.
19. Fels G., Kaup W. Classification of Levi Degenerate Homogeneous CR-Manifolds in Dimension 5. Acta Math., 2008, vol. 210, pp. 1-82.
20. Isaev A.V., Kruglikov B. On the symmetry algebras of 5-dimensional CR-manifolds. Available at: http://arxiv.org/abs/1607.06072.
21. Johnson C.R., Smigoc H., Yang D. Solution Theory for Systems of Bilinear Equations. Available at: http://arxiv.org/abs/1303.4988.
22. Loboda A.V. On homogeneity of embedded manifolds. Available at: http://www.mathematik.uni-bielefeld.de/sfb701/files/preprints/sfb10091.pdf.
23. Loboda A.V., Evchenko V.K. One family of algebraic homogeneous surfaces. Available at: http://www.mathematik.uni-bielefeld.de/sfb701/files/preprints/sfb11129.pdf.
ON AFFINE HOMOGENEOUS REAL HYPERSURFACES OF GENERAL POSITION IN C3
Alexander Vasilyevich Loboda
Doctor of Physical and Mathematical Sciences, Professor, Voronezh State Technical University lobvgasu@yandex.ru
20-letiya Oktyabrya St., 84, 394006 Voronezh, Russian Federation
Aleksandra Vladimirovna Shipovskaya
Postgraduate Student,
Voronezh State Technical University
al.shipovskaia@gmail.com
20-letiya Oktyabrya St., 84, 394006 Voronezh, Russian Federation
Abstract. The article develops a coefficients approach to the problem of the description of affine homogeneous real hypersurfaces of 3-dimensional complex space. The connections are studied and used between the coefficients of affine canonical equations for strictly pseudoconvex surfaces of C3 space and Lie algebras of affine vector fields on such varieties.
The previously developed scheme for obtaining a list of all algebras, as well as the Homogeneous manifolds, has shown its effectiveness in four of the seven cases determined by the second-order coefficients of the canonical equations of such surfaces.
In the case of surfaces of general position studied in this paper, this scheme leads to the complicated system of quadratic equations. Here the authors build only several families of matrix Lie algebras corresponding to homogeneous manifolds from the class under consideration. Two families of affine homogeneous surfaces are obtained by integrating the constructed Lie algebras. It is shown that some of the obtained "different" families of the Lie algebras lead to the affine-equivalent homogeneous surfaces. It means that the scheme used requires refinement and simplification.
Within the framework of the modification of the described scheme, two theorems about the relations between the coefficients of the canonical equations of affine-homogeneous surfaces of general position are proved.
Theorem 1 identifies a basic set of Taylor coefficients of the canonical equation of affine-homogeneous surface in general position, uniquely defining any such surface. Under the condition of a nonzero polynomial of the third degree from this equation this set contains, generally speaking, 92 real coefficient (of the second, third and fourth degrees). A number of statements have been received decreasing this rough estimate of the dimension of the moduli space for the family of homogeneous surfaces under consideration.
Four types of polynomials of the third degree are distinguished, for each of which the specific simplifications are possible of the canonical equations as well as the whole homogeneity problem. In Theorem 2 the absence of homogeneous surfaces is proved in one of these four cases. The proof is carried out by means of sufficiently large symbolic computations, implemented in the Maple package.
Key words: affine transformation, real hypersurface, canonical equation of surface, homogeneous manifold, Lie algebra, system of polynomial equations, symbolic calculations.
