Циклические подгруппы в группе характеров Текст научной статьи по специальности «Математика»

| МАТЕМАТИКА УДК 515.17

ЦИКЛИЧЕСКИЕ ПОДГРУППЫ В ГРУППЕ ХАРАКТЕРОВ

М. И. Тулина*, О. А. Чуешева

CYCLIC SUBGROUPS IN THE CHARACTER GROUP

M. I. Tulina, О. А. Chuesheva

*Работа выполнена при финансовой поддержке РФФИ (проект 14-01-31109 мол-а).

В работах [1 - 3] начато построение общей теории мультипликативных функций и дифференциалов Прима на компактной римановой поверхности для произвольных характеров. Цель настоящей работы дать явное описание циклических подгрупп в группе характеров для компактной римановой поверхности рода g > 1. Это описание позволяет получить новые приложения в теории мультипликативных функций, дифференциалов Прима и мультипликативных точек Вейерштрасса на таких поверхностях.

V. V. Chueshev began building the general theory of multiplicative functions and Prym differentials on compact Riemann surfaces for arbitrary characters. The paper provides an explicite description of cyclic subgroups in the characters group for compact Riemann surfaces of the genus g > 1. This description allows acquiring new applications in the theory of multiplicative functions, Prym differentials and in the theory of multiplicative Weierstrass points on such surfaces.

Ключевые слова: компактная риманова поверхность, мультипликативные функции, дифференциалы Прима и мультипликативные точки Вейерштрасса.

Keywords: compact Riemann surface, multiplicative functions, Prym differentials and multiplicative Weierstrass points.

$ 1. Предварительные сведения Пусть F - компактная риманова поверхность рода g > 2, с отмечанием {к, bk }}=, т. е. упорядоченным набором канонических образующих для первой фундаментальной группы п1 (Е) поверхности

F. По теореме униформизации существует конечно порожденная фуксова группа Г первого рода, инвариантно действующая на единичном круге

U = { е C : < 1} такая, что U / Г конформно

эквивалентна F и Г изоморфна п (F) . Эта группа имеет алгебраическое представление:

Г = ^,..,4,А,..,Ч : ПЛА^Ч-1 = ,

где I - тождественное отображение [4; 1].

Характером р для F называется любой гомоморфизм р : (п ^ ),•) — (С * ,•) С * = С \ {0}. Характер единственным образом задается упорядоченным набором

( ), р(Ь ),..., р( ), р( ))е(с *)2 *.

Мультипликативной функцией / на F для характера р назовем мероморфную на и функцию /

такую, что /(Тг) = р(т)/(г), 2 е и, Т е Г .

Затем т -дифференциалом Прима относительно фуксовой группы Г для р называется дифференциал ф = ф(г )гт такой, что

ф(Тг)(тг^ = р(Т)ф(г), г е и, Т е Г.

В работе Л. Берса [1, с. 99] построены голоморфные на F абелевы дифференциалы , которые образуют канонический базис на F двойственный к каноническому гомотопическому базису

{ак, Ьк на F . Кроме того, матрица Ь - перио-

дов

j=1

j,k= Bk (?)

на

F

состоит из комплексных чисел

Если /0 - мультипликативная функция на F для р без нулей и полюсов, то

/ = 2п±с, (РК,

/0 1=1

и /о (Р) = /о (Ро )ехр 12п^с, (рр%] ,

Ро 1=1

с 1 (Р)е С, 1 = 1,...,8,с 1 зависят голоморфно от р. При этом интегрирование ведется от фиксированной точки Р0 до текущей точки Р на поверхности F .

Характер р для / 0 имеет вид:

р(ак )= ехр 2 Я7'ск (р),

( 8 Л

р(ьк) = ехР 2п' 2 с1 (р)П1к , к = 1,..., 8,

V 1=1 )

где Cj - комплексные числа 0 < Яео^ < 1,] = 1,...,g [4]. Будем называть такие характеры р несущественными.

Характеры, которые не являются несущественными, будем называть существенными на п1 (¥).

Обозначим через Нот(г, С *) группу всех характеров на Г с естественным умножением. Несущественные характеры образуют подгруппу Ь& в группе

Нот(г, С *).

Обозначим через [1 ] & подгруппу, состоящую из всех нормированных характеров, т. е. все свои значения они принимают на единичной окружности с центром в нуле.

Точка Р называется мультипликативной точкой Вейерштрасса для несущественного (существенного) характера р на ^ , если для Р существует мультипликативный непробел

7, 1< ) < g, (1< ) < g -1), т. е. существует мультипликативная функция / для р на ^ с единственным полюсом в Р точно порядка j, 7 < gи < g -1) [3; 2].

Если характеры принадлежат циклическим подгруппам в группе характеров, то мультипликативные функции, дифференциалы Прима и мультипликативные точки Вейерштрасса для таких характеров должны обладать дополнительными свойствами. Если функция / для существенного характера р на компактной римановой поверхности ¥ рода g > 3 имеет единственный полюс Р точно порядка I, где I - мультипликативный непробел Вейерштрасса для р в Р на ¥ , то все п = к1 будут тоже мультипликативные непробелы Вейештрасса для /к с рк в точке Р. В частности, если рт = 1, р ф 1, то п = т1 - классический непробел Вейерштрасса для однозначной функции / т. Таким образом, в некоторых случаях мультипликативные точки Вейерштрасса для р будут также и классическими точками Вейер-

штрасса на ¥ [2].

Кроме того, циклические подгруппы играют большую роль в формулировке и доказательстве аналога теоремы Нетера о Ц — кратных произведениях для голоморфных 1-дифференциалов Прима на компактной римановой поверхности рода g > 1 [4, с. 159].

$ 2. Циклические группы в группе Нот(г, С *)

Найдем условия на характер р, при которых

рт = 1,т е N . Возьмем представление любого характера р в виде:

(& ^

р(ак) = ехр2по,,р(Ьк) = ехр2п £с7п]к + ёк

V 7 =1 к = 1,..., &,

где о ■, d ■ - комплексные числа, 0 < Яео] < 1,0 < Яе< 1,7 = 1,..., & [4, с. 129].

Отметим, что если р - существенный характер, то хотя бы одно число d ■ £ Z .

Рассмотрим характер рт и его представление при т > 1: рт (Л7) = ехр2По7т,

( & Л

р" ) = еХР 2П 2 СкП7кт + dJm V к=1

7 = и. &.

Найдем необходимые и достаточные условия на параметры с ■ и d ■ для того, чтобы рт = 1 при

некотором фиксированном т > 1. Такие характеры будут образовывать конечные подгруппы изоморфные Ът = {р : рт = 1}< Нот(г,С*). Это будут

абелевы циклические группы порядка т .

Существование характеров с условием, что рт = 1, т > 1, показывает пример.

Если все с7 = 0, то имеем рт (Л7 )= 1 и

рт (В7) = ехр 2Ш7т, 7 = 1,..., &.

При dJ = —3~, р ■ = 0,1,..., т — 1 т 7

и о7 = 0,7 = 1,...,& получаем, что рт = 1.

Отсюда легко видеть, что верна лемма. Лемма 1. Пусть заданы число т е N и характер

р такой, чтовсе числа = 0,7 = 1,...,& . Тогда

1

характер р = 1, если и только если все

dJm е 7,7 = 1,..., &.

Замечание 1. [4; 3]. 1) если ре Ь& , то рт е Ь&

и р 1 е Ь& , так как является подгруппой в группе характеров;

если

2) если ре Нот(Г, С * \ Ь ), то -

то — тоже

р

принадлежит Нот(Г, С \ ).

Теорема 1. Для любого характера р на компактной римановой поверхности ¥ рода & > 2 и для

любого т е N верно, что рт = 1, если и только если выполняются два условия:

1) с 7 = 0,7 = 1,..., я;

2) djM eZ, j = 1,..., g.

Доказательство. Воспользуемся разложением Фаркаша-Кра [4, с. 130]: для любого характера р имеется единственное представление

P = PoPi e Lg х [51]2g .

m _ i

Равенство р — 1 равносильно равенству

_ — m _ m

Ро = Pl .

Рассмотрим характер р =

^ m

Vpo J

= Pl =Ро

— j 7—1 венств получаем, что С ^ =-, q f e Z, j = 1,..., g.

m

Л

exp 2П T m —- п jk = 1 для любого j

k=i m

( g g

и 1 = exp2ni' Re T Qk^kj + iIm TVk^kj

У k=1 k=1 j

/ Л

= exp 2П

• exp

g

Re T Qknkj k=1

Л

2п T qkIm nkj

k=1

,j = 1,..., g.

Отсюда получаем систему из £ линейных уравнений с £ неизвестными:

Чи : |2пХЧи 1тпк/ = 0,7 = 1,...,.

Запишем эту систему в матричном виде:

Г \

Ч1

Im п

kj )

уqg J

= 0

Характер р является одновременно и несущественным и нормированным. По следствию к теореме Фар-каша-Кра [4, с. 130] ~ = 1.

Отсюда следует, что рт = 1 тогда и только тогда, когда: 1) р0 = 1 и 2) р1 = 1.

Сначала найдем условия на числа с., при кото-

т 1

рых Ро = 1.

Для несущественного характера р0 и для некоторого т > 1 имеем систему равенств:

р0т (Aj ) = ехр 2п/с/т = 1,

рО (В) = ехр 2П ^ тскП = 1.

к=1

7 = и. £.

Отсюда следует, что ехр 2пт (Яе с. + / 1т с.) = 1

и ехр т2П Яе с • ехр(- 2п(1т с )т)= 1. Поэтому 1т с. = 0 для любого 7 , а значит все с ■ -вещественные числа. Кроме того, из первых £ ра-

7 т '17 Из вторых £ равенств следует, что

" Чк

Так как матрица 1т п.. положительно определена, т. е. 1т п. > 0 [1], то она невырожденная. Отсюда следует, что Ч1 =... = = 0

и с7 = — = 0,7 = 1,...,£ . т

Необходимость второго условия следует из леммы 1.

Обратное утверждение следует из леммы 1. Теорема доказана.

Следствие 1. 1) В группе [Б1 ]28 существуют циклические подгруппы любого порядка т , порожденные характером р, который задан условиями:

1) С] = 0, j = 1,..., g; 2) dj =

Pj

m

р} = т -1,7 = 1,..., £;

2) в группе ^ не существует нетривиальных

циклических подгрупп любого порядка т > 1 , и подгруппа, порожденная любым р0 е Ь£ \1 будет бесконечной циклической группой;

3) для любого

р е (Нот(Г, С *) \ Ь§, р е [Б*]2£ подгруппа, порожденная р будет бесконечной циклической группой;

4) если р = р0рх е (Нот(г, С *) \ )

и рт е для некоторого т е N, то это равно-

Р1 1

сильно системе т р1 = 1

г e Lg

Доказательство. Утверждение 1) сразу следует из леммы 1.

Для доказательства утверждения 2) заметим, что

р = р0 e L т. е. р1 = 1. Если рт = р0 = 1

то

m

по теореме 1 необходимо чтобы С^ = 0,j = 1,..., 8 ,

а значит р0 = 1.

Докажем утверждение 3).

Если ре(Яош(г, С *) \ Ь§ ) \[5х]2 g,

то Р = РоР1, где Р1 * 1, Ро * 1. Докажем от противного. Предположим, что

1 Л™ Л™ т 1 п,

1 = р = Р0 Р1 для некоторого т > 1. Тогда, как в доказательстве теоремы 1, получим, что

Если существует m > 1,

m m m т m

P = Po Pi e Lg , то Po Pi Po

МАТЕМАТИКА | для которого

= Po e L . От-

сюда

Po

— P1 . По следствию к теореме Фаркаша-

теме

P —

( 1 ^m

Po

= Pi о

( i ^m

Кра [4, с. 130] последнее равенство равносильно сис-

Р * 1

„т л

Р = 1

Ро = Рот £ 18.

Следствие 1 доказано.

Замечание 2. Первое и второе условия в предыдущей системе выполняются тогда и только тогда,

когда Р1 £ [5 ] 8 \ 1. Третье условие автоматически выполняется в группе при наличии второго.

Таким образом, значения Р1 (Ау \ Р1 (В' j ) лежат на единичной окружности, но одновременно не обращаются в 1. Следовательно, в этом случае Р1 принадлежит [51]28 \ {(1,1,...,1)} [2].

— 1

V Po '

1

P1 = L Из первого равенства системы следует, что либо Po — 1 (а это невозможно по условию), либо

Po — 1, Po Ф 1 (что невозможно по утверждению 2).

Поэтому предыдущая система не имеет решений. Получили противоречие.

Для доказательства утверждения 4) заметим, что

так как P — PoP1 e (Hom (г, C *) \ Lg), то P1 Ф 1.

Литература

1. Альфорс Л. В., Берс Л. Пространства римановых поверхностей и квазиконформные отображения. М.: ИЛ, 1961. 175 с.

2. Чуешев В. В. Мультипликативные точки Вейерштрасса и многообразия Якоби компактной римановой поверхности // Математические заметки. 2oo3. Т. 74. № 4. С. 629 - 636.

3. Чуешев В. В. Мультипликативные функции и дифференциалы Прима на переменной компактной римановой поверхности: учебное пособие. Ч. 2. Кемерово, 2oo3.

4. Farkas H. M., Kra I. Riemann surfaces. Grad. Text's Math. V. 71. Springer, New-York, 1992.

5. Gunning R. C. On the period classes of Prym differentials. J. Reine Angew. Math., 319 (198o). Р. 153 - 171.

Информация об авторах:

Тулина Марина Ивановна - кандидат физико-математических наук, старший преподаватель кафедры математического анализа Горно-Алтайского госуниверситета, aniram.ru@googlemail.com.

Marina I. Tulina - Candidate of Physics and Mathematics, Senior Lecturer at the Department of the Mathematical Analysis, Gorno-Altaisk State University.

Чуешева Ольга Александровна - старший преподаватель кафедры фундаментальной математики КемГУ, simran@mail.ru.

Olga A. Chuesheva - Senior Lecturer at the Department of Fundamental Mathematics, Kemerovo State University.

Статья поступила в редколлегию 21.09.2015 г.