Материал: Однородность вложенных многообразий. Афинная геометрия вещественных гиперповерхностей пространства C2. Лобода А.В

§1.4. О канонических уравнениях вырожденных по Леви

поверхностей

Рассмотрим теперь случай вырожденной формы Леви у вещественноаналитической гиперповерхности, заданной разрешенным относительно переменной v уравнением (1.17), т.е.

v = f110jzj2 + f200z2 + f020z2 + f101zu + f011zu + ::::

Обсуждаемая фиксированная точка поверхности, по-прежнему, остается началом координат пространства C2. Леви-вырожденность такой поверхности (в начале координат) означает, как уже отмечалось, равенство нулю коэффициента f110.

В такой ситуации компонента веса 2 из уравнения (1.17) упростится и примет вид

f200z2 + f020z2

с комплексно сопряженными друг другу коэффициентами f200 и f020.

Предложение 1.5. Равенство (или неравенство) нулю коэфициента f200 из уравнения

Леви-плоской поверхности является ее аффинно-инвариантным свойством (в обсуждаемой точке).

Как и при доказательстве предложения 1.4, фиксация точки означает возможность рассматривать вместо произвольных аффинных лишь линейные преобразования

Потребуем, как и ранее, сохранения вида уравнения (1.53) и, в частности, его весовой структуры при подстановке формул (1.54) в это уравнение.

Для того, чтобы новое уравнение не содержало в правой части слагаемых веса 1, необходимо, чтобы коэффициент 1 равнялся нулю. Коэффициент 2 должен быть вещественным ненулевым числом в силу отсутствия в компоненте веса 2 того же уравнения (1.53) переменной u. Наконец, заметим, что решение (относительно переменной v) неявного уравнения

2v = f200( 1z + 2w)2 + f020( 1z + 2w)2 + :::

36

c ненулевыми коэффициентами 2; 1; f200 имеет вблизи начала координат вид

Отсюда и следует обозначенная инвариантность.

С учетом предложения 1.5 является корректным следующее определе-

ние.

Определение 6. Леви-вырожденную (в начале координат) поверхность вида (1.53) с ненулевым коэффициентом f200 будем называть поверхностью веса 2.

Замечание. В отличие от доказанного предложения 1.5 одним из главных свойств голоморфной нормальной формы Мозера (в C2) является отсутствие в правой части нормального уравнения

v = F (z; z; u)

вещественной гиперповерхности чисто голоморфных слагаемых zk и их сопряженных выражений. Это свойство обеспечивается возможностью удаления таких слагаемых из правой части голоморфными заменами координат.

Если в уравнении (1.53) некоторой поверхности M выполняется равенство f200 = 0, то естественно говорить, что M имеет вес, больший чем 2. Например, поверхность заданную уравнением

v= (f101zu+f011zu)+(f300z3 +f210z2z +f120zz2 +f003z3)+f002u2 +::: (1:55)

сненулевым коэффициентом f101, будем называть поверхностью веса 3. Соответственно, поверхность с уравнением

k 5

и ненулевым коэффициентом f002 назовем поверхностью веса 4.

Заметим, что формально вес 3 могут иметь и (Леви-плоские в начале координат) поверхности с нулевым коэффициентом f101 в уравнении (1.53), если ненулевые коэффициенты имеет многочлен

F3(z; z) = f300z3 + f210z2z + f120zz2 + f003z3

из этого же уравнения. В то же время для изучения аффинно-однородных поверхностей такая ситуация не представляет интереса. В самом деле, сдвиг z ! z + a в близкую к началу координат точку приводит к появлению в

37

уравнении поверхности ненулевых коэффициентов при слагаемых младших весов, например, при jzj2 или z2. Для аффинно-однородных поверхностей такое невозможно.

Аналогичное замечание относится и к поверхностям веса 4, содержащим, например, ненулевой многочлен от переменных z; z степени 4.

Ясно, что, в принципе, можно ввести понятие вырожденной по Леви поверхности любого конечного веса. Однако в задаче об однородности оказывается достаточно уже введенных весов 2, 3 и 4 в силу следующего утверждения.

Предложение 1.6. Если в уравнении

v = F2 + F3 + F4 + :::;

из компоненты веса 1 основного тождества, выписанной для произвольного векторного поля на M, т.е. из (1.48), следует, что равен нулю параметр B1 такого поля. При тех же условиях (1.57) компонента веса 2 (уравнение (1.49)) превращается в равенство

Re(iB2u) = 0;

Это равенство означает в точности обращение в ноль мнимой части B22 = ImB2 параметра B2 произвольного векторного поля, касательного к M.

Компонента веса 3, т.е. уравнение (1.50), в этой ситуации содержит всего два слагаемых и имеет вид тождества

при k = 3 и свободных параметрах p 2 C; q 2 R.

Завершает доказательство предложения 1.6 следующее достаточно простое утверждение.

(0) ^

ЛЕММА 1. Пусть k 3, а F k+1; Fk+2 - пара фиксированных вещественных многочленов, удовлетворяющая договоренностям §1.2. Тогда из тождества (1.58), выполняющегося при произвольных p 2 C; q 2 R, следует, что

38

Для доказательства этой леммы заметим, что при свободных параметрах p; q следствиями (1.58) являются два отдельных тождества

^

Так как Fk+2(z; z) по определению не содержит слагаемых, свободных от переменной u, то второе из тождеств (1.60) означает, что этот многочлен равен нулю.

Из тождественного равенства нулю его производной по переменной z

следует, что

Fk(0)+1(z; z) = f0;k+1zk+1;

тогда как первые k + 1 коэффициентов разложения (1.61) равны нулю. Но в силу вещественности многочлена Fk(0)+1 имеем равенство

f0;k+1 = fk+1;0 = 0;

завершающее доказательство леммы 1.

Индуктивное применение этой леммы к упрощенному (за счет обращения в нуль младших коэффициентов) уравнению (1.17) приводит к утверждению о тождественно нулевых весовых компонентах Fk(k 3) канонического уравнения обсуждаемой однородной поверхности. Тем самым, эта поверхность, действительно, имеет уравнение v = 0, и предложение 1.6 доказано.

Учитывая предложение 1.6, а также возможность несложных упрощений отдельных коэффициентов для уравнений типа (1.17) за счет растяжений координат, получаем следующее утверждение.

ТЕОРЕМА 1.11. Имеется 5 типов аффинно-различных уравнений вида (1.17) для семейства аффинно-однородных вещественных гиперповерхностей пространства C2:

k 4

39

Первый тип соответствует невырожденным поверхностям, свойство однородности для которых будет изучено в главе 2. Пятый, тривиальный, тип можно назвать типом бесконечного веса. Остальные три типа будут изучены в главе 3. Соответствующие этим типам уравнения (1.63) - (1.65) будем называть каноническими уравнениями Леви-плоских аффинно-однородных поверхностей конечного веса.

Заметим, что, как и в случае невырожденных поверхностей, за счет аффинных преобразований возможны дополнительные упрощения некоторых коэффициентов из канонических уравнений. Подробности таких дополнительных упрощений будут отдельно рассматриваться (там, где это возможно) при изучении однородности для поверхностей каждого конкретного веса.

§1.5. Схема исследования однородности с помощью

канонических уравнений

Новые классификационные результаты монографии (теоремы 1.3 и 1.4) получены на основе использования понятия аффинного канонического уравнения изучаемых многообразий.

Мы рассматриваем всякую аффинно-однородную вещественную гиперповерхность пространства C2 вблизи ее фиксированной неособой точки. Эту точку мы переводим сдвигом в начало координат пространства и далее приводим уравнение поверхности к аффинному каноническому виду. В зависимости от того, имеет ли поверхность вырожденную или невырожденную форму Леви, используется одна из двух введенных выше модификаций понятия канонического уравнения поверхности.

В силу однородности обсуждаемой поверхности M на ней имеется большая алгебра аффинных векторных полей, касательных к M. Для каждого из таких полей выполняется введенное выше основное тождество. Далее наша схема выглядит следующим образом:

1) сначала из основного тождества мы получаем некоторые ограничения на коэффициенты канонических уравнений и параметры векторных полей, касательных к изучаемым поверхностям;

40