CC BY
23
Вестник Самарского университета,. Естественнонаучная серия. 2016. № 3-4 7
МАТЕМАТИКА
УДК 512.761.5
Е.А. Асташов1
О КЛАССИФИКАЦИИ РОСТКОВ ФУНКЦИЙ ДВУХ ПЕРЕМЕННЫХ, ЭКВИВАРИАНТНО ПРОСТЫХ ОТНОСИТЕЛЬНО ДЕЙСТВИЙ ЦИКЛИЧЕСКОЙ ГРУППЫ ПОРЯДКА ТРИ2
Рассматривается задача классификации ростков функций (С2, 0) ^ (С, 0), эквивариантно простых относительно нетривиальных действий группы Ж3 на пространствах С2 и С, с точностью до эквивариантных ростков автоморфизмов (С2, 0) ^ (С2, 0). Получена полная классификация таких ростков в случае, когда действие группы Ж3 на С2 нетривиально по обеим переменным и нескалярно. Именно, росток является эквивариантно простым относительно такой пары действий тогда и только тогда, когда он эквивалентен одному из следующих ростков:
(х, у) ^ х3к+1 + у2, к ^ 1; (х, у) ^ х2у + уЯк-1, к > 2; (х, у) ^ х4 + ху3; (х,у) ^ х4 + у5.
Ключевые слова: классификация особенностей, простые особенности, действие группы, эквивариантные функции.
1. Основные определения и обозначения
Пусть заданы представления произвольной группы О на Сп и на С. Функция /: Сп ^ С называется инвариантной относительно первого из этих представлений, если для любых А € О, z € Сп имеет место равенство ](А • z) = f Функция д: Сп ^ С называется эквивариантной относительно пары заданных представлений, если для любых А € О, z € Сп имеет место равенство д(А • z) = А • д(^). (Символом «•» обозначаются соответствующие действия элемента группы на элемент пространства Сп или С.) Эти понятия естественным образом переносятся на ростки функций, а также на ростки диффеоморфизмов (Сп, 0) ^ (Сп, 0).
Обозначим через ОЩ кольцо инвариантых ростков голоморфных функций (Сп, 0) ^ (С, 0), через ОЩа — множество эквивариантных ростков голоморфных
х© Асташов Е.А., 2016
Асташов Евгений Александрович ([email protected]), механико-математический факультет, Московский государственный университет имени М.В.Ломоносова, 119991, Россия, Москва, ГСП-1, Ленинские горы, МГУ, 1.
2Работа выполнена при поддержке гранта РНФ 16-11-10018.
функций (С™, 0) ^ (С, 0), а через — кольцо эквивариантых ростков диф-
феоморфизмов (С™, 0) ^ (С™, 0). Множество 0°° имеет структуру модуля над кольцом 0°. Кольцо действует на множестве 0°°. Эквивариантный росток
функции ]: (С™, 0) ^ (С, 0) с критической точкой 0 € С™ назовем эквивариант-но простым относительно заданных представлений группы О, если при всех достаточно больших г € N достаточно малая окрестность некоторой (а значит, и любой) точки его орбиты в пространстве г-струй эквивариантных ростков функций (С™, 0) ^ (С, 0) пересекается лишь с конечным числом других орбит (такие орбиты называются примыкающими к орбите ростка д), и это число остается ограниченным при г ^ ж.
Два эквивариантных ростка /, д: (С™, 0) ^ (С, 0) с критической точкой 0 € С™ назовем Паа -эквивалентными, если существует эквивариантный росток диффеоморфизма Ф: (С™, 0) ^ (С™, 0), для которого д = / о Ф (обозначение: / д). Через будем обозначать орбиту элемента д при действии группы эквивариантных диффеоморфизмов на множестве 0°°.
Все вышеупомянутые понятия, очевидно, зависят не только от самой группы О, но и от ее действий на С™ и С, хотя обозначения никакой информации о действиях группы в себе не содержат; о каких действиях идет речь, будет в каждом случае ясно из контекста.
2. Постановка задачи и обзор существующих результатов
Существует общая задача классификации с точностью до вышеописанного отношения эквивалентности особых ростков функций (С™, 0) ^ (С, 0), эквивариант-но простых относительно каких-либо представлений конечной абелевой группы О на С™ и С.
Перечислим некоторые работы, в которых рассматривались частные случаи этой задачи.
В работе [1] получена хорошо известная классификация простых особенностей в неэквивариантном случае (то есть в случае, когда оба действия группы О тривиальны).
В работе [2] получена классификация простых особенностей на многообразии с краем. Эта классификация эквивалентна классификации простых особенностей, инвариантных относительно действия группы Z2 на С™ по первой координате:
(-1) • (гь Х2,..., г™) = (-Х!,Х2, ..., гп).
В работе [3, раздел 3] получена классификация простых нечетных особенностей, то есть особенностей, эквивариантно простых относительно нетривиальных скалярных действий группы Z2 на С™ и на С. В частности, доказано, что при п ^ 3 таких особенностей не существует вовсе.
В работе [4] рассматриваются действия групп Zm (т ^ 3) на С™ (п ^ 2) и С специального вида, а именно такие, для которых действие по нескольким переменным в С™ совпадает с действием на С. Доказано (см. [4, теоремы 1 и 2]), что в случае таких действий циклических групп эквивариантно простых ростков (С™, 0) ^ (С, 0) не существует. В этой же работе рассматривается случае несогласованных скалярных действий группы Zз на С2 и С; доказано (см. [4, теорема 3]), что в случае таких действий всякий эквивариантно простой росток эквивалентен одному из ростков Лзь+1,к ^ 0. В частности, результаты работы [4] позволяют
классифицировать эквивариантно простые ростки функций двух переменных во всех случаях, когда действие группы Жз на С2 скалярно, а действие группы Жз на С при этом нетривиально.
3. Основной результат
В настоящей работе рассматривается случай, когда действие группы Жз на С2 нескалярно и нетривиально по обеим переменным. Именно, пусть группа Жз действует на
С2
и на С следующим образом:
а • (х, у) = (тх, т2у); а • г = тг, (3.1)
где т = ехр(2^г/3) — кубический корень из единицы. В этом случае классификация эквивариантно простых особенностей дается следующей теоремой.
Теорема 1. Пусть д : (С2,0) ^ (С, 0) — росток голоморфной функции с критической точкой в начале координат, эквивариантный относительно представлений (3.1). Росток д является эквивариантно простым относительно этих представлений тогда и только тогда, когда он ЯгзЖз-эквивалентен одному из следующих ростков:
(х, у) ^ х3к+1 + у2, к € N (3.2)
(х,у) ^ х2у + у3к-1,к > 2; (3.3)
(х,у) ^ х4 + ху3; (3.4)
(х,у) ^ х4 + у5. (3.5)
Доказательство теоремы 1 приводится в разделе 5. Раздел 4 посвящен методу полных трансверсалей, на котором основывается это доказательство.
4. Метод полных трансверсалей и теорема о конечной определенности
Метод полных трансверсалей — достаточно общий метод классификации ростков аналитических функций (Сп, 0) ^ (С, 0) с точностью до различных отношений эквивалентности. Подробное изложение этого метода можно найти в работе [5, раздел 2]. Мы дадим здесь описание этого метода для классификации квазиоднородных ростков с точностью до 'Я2™2™-эквивалентности.
Пусть а = (а1,...,ап) — упорядоченный набор натуральных чисел (весов). Росток д : (Сп, 0) ^ (С, 0) называется а-квазиоднородным степени г, если для всех Ь € С выполнено равенство
д(г а 1 хь .. .,гапхп) = 1Гд(х1,.. ., хп).
Число г называют также а-квазистепенью ростка д и обозначают deg а д.
Пусть Мп — максимальный идеал в кольце Оп ростков голоморфных функций (Сп, 0) ^ (С, 0), а Уаа — кольцо ростков диффеоморфизмов (Сп, 0) ^ (Сп, 0). Обозначим через ^ Мп идеал в Мп, порожденный мономами а-квазистепеней к и выше, а через ^— множество таких ф € ^^, что для всех £ ^ 0 и всех д € ^Мп выполнено д о ф — д € ¥к+1Мп. Наконец, через ^^ • д будем обозначать касательное пространство к ^Т>аа-орбите ростка д в точке д. В этих обозначениях частным случаем [5, теорема 2.28] является следующее утверждение.
Теорема 2. Пусть росток д : (С™, 0) ^ (С, 0) имеет а-квазистепень г, и в > г. Пусть Т — такое подпространство в ¥Г+1М™, что
Р(+1М™ С Т + ЬЕ1р°° • д + Г^+1М™.
Тогда любой росток к, для которого д — к € ГГ+1М™, будет ^Х>°°-эквивалентен ростку вида д + г + ¡, где г € Т и / € ¥^+1М™.
Подпространство Т из теоремы 2 называется полной трансверсалью к орбите
Г аи™ • д.
Теорема 2 позволяет классифицировать струи (в смысле а-квазистепеней) ростков заданного порядка с точностью до
Паа -эквивалентности. Однако остается еще вопрос о достаточности струи ростка (к-струя ростка д € О™ называется достаточной, если росток ^°°-эквивалентен этой струе). Если существует такое к € М, что к-струя ростка д достаточна, то д называют конечно определенным (а если к выбрано наименьшим возможным, то говорят, что д к-определен). Достаточность струи ростка проверяется с помощью теоремы о конечной определенности (частный случай [5, следствие 2.27]):
Теорема 3. В условиях теоремы 2 росток д : (С™, 0) ^ (С, 0) к-определен тогда и только тогда, когда
Г^+1М™ С • д.
5. Доказательство теоремы 1
Перейдем к доказательству теоремы 1. Основная идея состоит в том, чтобы последовательно строить г-струи эквивариантно простых ростков с помощью метода полных трансверсалей, а затем доказывать достаточность струй с помощью теоремы о конечной определенности.
Мономы, эквивариантные относительно представлений (3.1) — это в точности мономы (1, 2)-квазистепеней вида 3в + 1 (в ^ 0). Таким образом, эквивариантный росток может задаваться рядом с ненулевыми членами только (1, 2)-квазистепеней 1, 4, 7, 10 и так далее.
Единственный моном (1, 2)-квазистепени 1 — это моном х, который не может входить в разложение в ряд ростка с особенностью в начале координат. Таким образом, 4-струя (в смысле (1, 2)-квазистепени) ростка, эквивариантного относительно действий (3.1), имеет вид ау2 + Ьх2у + сх4. Нетрудно убедиться, что с помощью эквивариантных замен переменных эту струю можно привести к одной из следующих форм:
у2 + х4; (5.6)
у2; (5.7)
х2у; (5.8)
х4; (5.9)
0 (5.10)
(доказательство проводится с помощью выделения полного квадрата). Рассмотрим далее каждый из этих случаев по отдельности.
Лемма 1. Если 4-струя (в смысле (1, 2)-квазистепени) эквивариантного ростка имеет вид (5.6), то росток эквивалентен своей 4-струе.
Доказательство леммы 1. В этом случае росток д имеет вид д(х,у) = у2 • • (1 + д1(х,у)) + х4 • (1 + д2(х,у)), где д1, д2 — инвариантные ростки, д1;2(0, 0) = 0.
Росток приводится к виду (5.6) с помощью эквивариантной замены переменных x = x • 41 + g2(x,y), y = y • v71 + gi(x,y).
Лемма 2. Если 4-струя (в смысле (1, 2)-квазистепени) эквивариантно простого ростка имеет вид (5.7), то росток эквивалентен одному из ростков (5.), k ^ 2.
Доказательство леммы 2. Положим k равным наименьшему из таких s G N, что росток g содержит (с ненулевым коэффициентом) хотя бы один из мономов вида x3s+1 и x(3s+1)/2y (второй случай сводится к первому с помощью выделения полного квадрата). Если k < ж, то росток приводится к виду (5.) с тем же k (замена переменных производится аналогично тому, как это делалось при доказательстве предыдущей леммы). Если же k = ж, то есть росток не содержит ни одного из мономов указанного вида, то он имеет вид g(x,y) = y2 • (1 + gi(x,y)), где gi — инвариантный росток, и тогда g эквивалентен своей 4-струе (в смысле (1, 2)-квазистепени). Но тогда росток не будет простым: к его орбите в пространстве r-струй эквивариантных ростков примыкают орбиты всех ростков вида (5. ), где 3k + 1 ^ r, и число таких орбит неограниченно возрастает при r ^ ж.
Лемма 3. Если 4-струя (в смысле (1, 2)-квазистепени) эквивариантно простого ростка имеет вид (5.8), то росток эквивалентен одному из ростков (3.3).
Доказательство леммы 3 проводится с помощью теоремы 3 аналогично [1, §5].
Лемма 4. Если 4-струя (в смысле (1, 2)-квазистепени) эквивариантно простого ростка имеет вид (5.9), то росток эквивалентен одному из ростков x4 + xy3 и x4 +
+ y5.
Доказательство леммы 4. Воспользуемся методом полных трансверсалей. Полная трансверсаль в нашем случае будет равна T = C{xy3), и 7-струя ростка g эквивалентна x4+axy3. При a = 0 она эквивалентна x4 +xy3. В этом случае полная трансверсаль будет нулевой, а росток g конечно определен и ^.^-эквивалентен
43 ростку x4 + xy3.
При a = 0 полная трансверсаль будет равна T = C(x2y4,y5), и 10-струя ростка g будет иметь вид j10 (g) = x4 + bx2y4 + cy5. Рассмотрим далее два случая.
Если c = 0, то 10-струя ростка с помощью эквивариантной замены x = x, y = = cy + bx2 приводится к виду x4 + yb. С помощью теоремы о конечной определенности нетрудно проверить, что эта струя достаточна.
Если же c = 0, то росток не является эквивариантно простым. В самом деле, в этом случае к орбите ростка примыкают орбиты ростков вида x4 + a3x3y2 + + a2x2y4 + aixy6 + aoy8. Множество нулей ростка такого вида состоит из четырех касающихся в нуле парабол вида x = tiy2, где ti, i = 1, 2, 3, 4 — корни уравнения t4 + a3t3 + a2t2 + ait + ao = 0. Двойное отношение коэффициентов ti инвариантно относительно действия группы , а значит, существует непрерывное семейство
орбит, отличающихся значениями этого инварианта, что противоречит простоте ростка g.
Лемма 5. Если 4-струя (в смысле (1, 2)-квазистепени) эквивариантного ростка имеет вид (5.10), то росток — не эквивариантно простой.
Доказательство леммы 5. В этом случае 7-струя ростка (в смысле (1, 2)-квазистепени) представляет собой линейную комбинацию мономов x7, x5y, x3y2, xy3, то есть размерность пространства таких струй равна 4. Заметим, что в случае действий (3.1) все ростки эквивариантных диффеоморфизмов (C2,0) ^ (C2, 0) имеют вид:
x = ax + ..., y = ex2 + Yy + ..., (5.11)
где a = 0, y = 0. При этом на вид 4-струи ростка (в смысле (1, 2)-квазистепени) после замены координат влияют только те слагаемые, которые выписаны в фор-
мулах (5.11) явно. Таким образом, действие группы Х>23 3 на С2 задает действие трёхпараметрической группы линейных операторов на пространстве этих 7-струй. По соображениям размерности получаем, что эквивариантный росток с нулевой 4-струей (в смысле (1,2)-квазистепени) не будет эквивариантно простым.
Из лемм 1-5 следует, что любой эквивариантный относительно действий (3.1) росток (С2,0) ^ (С, 0) приводится к одной из нормальных форм - либо не является простым. Для завершения доказательства теоремы нужно доказать, что сами ростки - просты. Простота ростков А^ и проверяется так же, как в неэквивариантном случае (см. [1, §8]) с очевидными изменениями, происходящими из требования эквивариантности. Простота ростков х4 + ху3 и х4 + у5 доказывается с помощью построения трансверсалей к их орбитам в пространстве г-струй эквивариантных ростков (С2,0) ^ (С,0) с особенностью в нуле. Эти трансверсали можно взять в виде
4 3 2 2
х + ху + 61У + С2Х у
и
х4 + у5 + £1У2 + £2х2у + езху3
соответственно. Нетрудно видеть, что при всех е эти ростки могут принадлежать только орбитам некоторых из ростков, указанных в формулировке настоящей теоремы, причем число этих орбит конечно. Теорема доказана.
Литература
[1] Арнольд В.И. Нормальные формы функций вблизи вырожденных критических точек, группы Вейля Ak ,Dk ,Ek и лагранжевы особенности // Функциональный анализ и его приложения. 1972. Т. 6. № 4. С. 3-25.
[2] Арнольд В.И. Критические точки функций на многообразии с краем, простые группы Ли Bk ,Ck ,Fa и особенности эволют // УМН. 1978. Т. 33. № 5. С. 91-107.
[3] Domitrz W., Manoel M., Rios P. de M.. The Wigner caustic on shell and singularities of odd functions // J. of Geometry and Physics. 2013. Vol. 71. P. 58-72.
[4] Асташов Е.А. О классификации особенностей, эквивариантно простых относительно представлений циклических групп // Вестник Удмуртского университета. Математика. Механика. Компьютерные науки. 2016. т. 26. № 2. С. 155-159.
[5] Bruce J.W., Kirk N.P., du Plessis A.A.. Complete transversals and the classification of singularities // Nonlinearity. 1997. Vol. 10. P. 253-275.
[6] Арнольд В.И., Варченко А.Н., Гусейн-Заде С.М. Особенности дифференцируемых отображений. М.: МЦНМО, 2009. 672 c.
References
[1] Arnold V.I. Normal forms of functions near degenerate critical points, the Weyl groups Ak,Dk,Ek and Lagrangian singularities. Functional Anal. Appl., 1972, vol. 6, no. 4, pp. 254-272.
[2] Arnold V.I. Indices of singular points of 1-forms on a manifold with boundary, convolution of invariants of reflection groups, and singular projections of smooth surfaces. Russian Math. Surveys, 1979, vol. 34, no. 1, pp. 1-42.
[3] Domitrz W., Manoel M., Rios P. de M. The Wigner caustic on shell and singularities of odd functions. J. of Geometry and Physics, 2013, vol. 71, pp. 58-72.
[4] Astashov E.A. On the classification of singularities that are equivariant simple with respect to representations of cyclic groups (in Russian). Bulletin of Udmurt University. Mathematics, Mechanics, Computer Science, 2016, vol. 26, no. 2, pp. 155-159.
[5] Bruce J.W., Kirk N.P., du Plessis A.A. Complete transversals and the classification of singularities. Nonlinearity, 1997, vol. 10, pp. 253-275.
[6] Arnold V.I., Gusein-Zade S.M., Varchenko A.N. Singularities of differentiable maps, Volumes 1 and 2, Boston: Birkhauser, Monographs Math., 1985-1988, vol. 82-83, 845 p.
E.A.Astashov 3
ON THE CLASSIFICATION OF FUNCTION GERMS OF TWO VARIABLES THAT ARE EQUIVARIANT SIMPLE WITH RESPECT TO AN ACTION OF THE CYCLIC GROUP OF ORDER THREE
We consider the problem to classify function germs (C2, 0) ^ (C, 0) that are equivariant simple with respect to nontrivial actions of the group Z3 on C2 and on C up to equivariant automorphism germs (C2, 0) ^ (C2, 0). The complete classification of such germs is obtained in the case of nonscalar action of Z3 on C2 that is nontrivial in both coordinates. Namely, a germ is equivariant simple with respect to such a pair of actions if and only if it is equivalent to ine of the following germs:
(x, y) ^ x3k+1 + y2, k ^ 1; (x, y) ^ x2y + y3k-1, k > 2; (x, y) ^ x4 + xy3; (x,y) ^ x4 + y5.
Key words: classification of singularities, simple singularities, group action, equivariant functions.
Статья поступила в редакцию 15/VT/2016; The article received 15/VI/2016.
3 Astashov Evgeny Aleksandrovich ([email protected]), post-graduate student, Lomonosov
Moscow State University, Leninskie Gory 1, GSP-1, Moscow, 119991, Russia.
