Научная статья на тему 'Обобщенные якобианы и непрерывные дроби в гиперэллиптических полях'

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

CC BY
154
73
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
Непрерывные дроби в гиперэллиптических полях / обобщенное представление Мамфорда / обобщенные якобианы / точки кручения в якобианах / Continued rational fractions in hyperelliptic fields / Mumford representation / generalized Jacobians / torsion points of the Jacobians

Аннотация научной статьи по математике, автор научной работы — В С. Жгун

В работе определяются обобщенные многочлены Мамфорда, описывающие сложение точек на обобщенном якобиане особой гиперэллиптической кривой над полем K характеристики отличной от 2, гладкой в бесконечно удаленной точке и заданной в аффинной карте уравнением 𝑦2 = 𝜑(𝑥)2𝑓(𝑥), где многочлен 𝑓 — свободен от квадратов. Нами найдена связь между разложением в непрерывную дробь квадратичных иррациональностей специального вида для гиперэллиптического поля K(𝑥, √︀ 𝑓(𝑥)) и обобщенными многочленами Мамфорда, определяющими сложение в группе классов дивизоров на особой гиперэллиптической кривой. Это соответствие между разложением в непрерывную дробь и многочленами Мамфорда позволяет доказать теорему об эквивалентности следующих условий: (𝑖) условия квазипериодичности разложения квадратичной иррациональности специального вида в непрерывную дробь, построенного по нормированию, связанному с точкой степени 1 на нормализации кривой и (𝑖𝑖) условия конечности порядка класса, построенного по точке степени 1 на нормализации кривой. С помощью этого соответствия также удается обобщить результаты о симметрии квазипериода и оценки на его длину, обобщающие результаты, полученные нами ранее.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

ON GENERALIZED JACOBIANS AND RATIONAL CONTINUED FRACTIONS IN THE HYPERELLIPTIC FIELDS

In the paper we introduce generalized Mumford polynomials describing additive law on generalized Jacobian of singular hyperelliptic curve over the field K of characteristics different from 2, and smooth at infinity and defined in the affine chart by the equation 𝑦2 = 𝜑(𝑥)2𝑓(𝑥), where 𝑓 is a square-free polynomial. We describe the relation between the continued fraction expansion of the quadratic irrationalities in the hyperelliptic function field K(𝑥, √︀ 𝑓(𝑥)) and the generalized Mumford polynomials describing the additive law in the divisor class group of the singular hyperelliptic curve. This correspondence between the continued fraction expansion of the quadratic irrationalities and the generalized Mumford polynomials allow us to prove the theorem on equivalence of two conditions: the condition (𝑖) of quasi-periodicity of continued fraction expansion (related with valuation of a point of degree 1 on the normalization of the curve) of a quadratic irrationality of the special type and the condition (𝑖𝑖) of the finiteness of the order of the class, related to the point of degree 1 on the normalization of the curve. By means of this correspondence we also obtain the results on the symmetry of quasi-period and we give estimates for its length, generalizing results obtained before by the author and collaborators.

Текст научной работы на тему «Обобщенные якобианы и непрерывные дроби в гиперэллиптических полях»

ЧЕБЫШЕВСКИЙ СБОРНИК

Том 18 Выпуск 4

УДК 511.6 DOI 10.22405/2226-8383-2017-18-4-208-220

ОБОБЩЕННЫЕ ЯКОБИАНЫ И НЕПРЕРЫВНЫЕ ДРОБИ В ГИПЕРЭЛЛИПТИЧЕСКИХ ПОЛЯХ 1

В. С. Жгун (г. Москва)

Аннотация

В работе определяются обобщенные многочлены Мамфорда, описывающие сложение точек на обобщенном якобиане особой гиперэллиптической кривой над полем K характеристики отличной от 2, гладкой в бесконечно удаленной точке и заданной в аффинной карте уравнением у2 = ф(х)2 f (ж), где многочлен f — свободен от квадратов. Нами найдена связь между разложением в непрерывную дробь квадратичных иррациональностей специального вида для гиперэллиптического поля К(ж, \Jf (х)) и обобщенными многочленами Мамфорда, определяющими сложение в группе классов дивизоров на особой гиперэллиптической кривой. Это соответствие между разложением в непрерывную дробь и многочленами Мамфорда позволяет доказать теорему об эквивалентности следующих условий: (г) условия квазипериодичности разложения квадратичной иррациональности специального вида в непрерывную дробь, построенного по нормированию, связанному с точкой степени 1 та нормализации кривой и (гг) условия конечности порядка класса, построенного по точке степени 1 на нормализации кривой. С помощью этого соответствия также удается обобщить результаты о симметрии квазипериода и оценки на его длину, обобщающие результаты, полученные нами ранее.

Ключевые слова: Непрерывные дроби в гиперэллиптических полях, обобщенное представление Мамфорда, обобщенные якобианы, точки кручения в якобианах.

Библиография: 15 названий.

ON GENERALIZED JACOBIANS AND RATIONAL CONTINUED FRACTIONS IN THE HYPERELLIPTIC FIELDS

V. S. Zhgoon (Moscow) Abstract

In the paper we introduce generalized Mumford polynomials describing additive law on generalized Jacobian of singular hyperelliptic curve over the field K of characteristics different from 2, and smooth at infinity and defined in the afiine chart by the equation y2 = ф(x)2f (x), where f is a square-free polynomial. We describe the relation between the continued fraction expansion of the quadratic irrationalities in the hyperelliptic function field К(ж, \J](x)) and the generalized Mumford polynomials describing the additive law in the divisor class group of the singular hyperelliptic curve. This correspondence between the continued fraction expansion of the quadratic irrationalities and the generalized Mumford polynomials allow us to prove the theorem on equivalence of two conditions: the condition (г) of quasi-periodicity of continued

1

curve) of a quadratic irrationality of the special type and the condition (ii) of the finiteness

1

By means of this correspondence we also obtain the results on the symmetry of quasi-period

1 Исследование выполнено за счет гранта Российского научного фонда (проект N16-11-10111).

and we give estimates for its length, generalizing results obtained before by the author and collaborators.

Keywords: Continued rational fractions in hyperelliptic fields, Mumford representation, generalized Jacobians, torsion points of the Jacobians.

Bibliography: 15 titles.

1. Введение

Пусть h(x) £ К[ж] — многочлен степени 2д + 1 над полем K характеристики отличной от 2. Представим его в виде h(x) = ф(х)2/ (х), где многочлен f — свободен от квадратов. Пусть ф(х) = П(ж — %(Q))gQ — разложение на простые множители над K — алгебраическим замыканием поля K. Рассмотрим аффинную кривую заданную уравнением у2 = h(x). Ей соответствует, вообще говоря, особая проективная гиперэллиптическая кривая С с полем рациональных функций К(ж, Лу/Дж)) и гладкой точкой те. Рассмотрим также гладкую проективную кривую С, компактифицирующую аффинную кривую у2 = f (х). Рассмотрим морфизм нормализации ■к : С ^ С. Его ограничение на открытое аффинное подмножество кривой С определено формулой (х,у) ^ (х, ф(х)у). Также имеем отображение Jc ^ Jg из обобщенного якобинана кривой С в якобиан кривой С. В наших рассуждениях нам придется переходить к различным особым моделям С, соответствующем различным полиномам ф(х). Чтобы подчеркнуть зависимость от ф(х), эти модели мы будем обозначать через Сф, а их род через дф. Положим h(x) = ф(х)2д,(х)/о(х),г,п.е d(x) = П(ж — x(Q))dQ — наибольший общий делитель f (х) и ф(х). Для кривой С обозначим через Cs — множество ее особых точек, определенных нулями ф(х)й(х), а через Сгат — множество точек ветвления, заданных нулями fo(x). Для S £ С, для которой k(S) £ Сs, положим ms = фQ + d,Q — если k(S) £ Сгат^ш ms = 2фд + d,Q иначе. Через m = sen-1(cs) ms$ обозначим дивизop па С, соответствующий прообразам особых точек кривой С.

Пусть Do — эффективный дивизор степени д, и пусть Р — точка степ ени 1 на крив ой С, определенная над K, не являющаяся ни точкой ветвления, ни особой точкой. Наша цель связать последовательность приближений с помощью непрерывных дробей квадратичной иррациональности, соответствующей дивизору Do, и последовательность многочленов Мамфорда для дивизоров вида Do + 2k(Р — те). В настоящей работе, продолжающей пашу работу [6], используются особые кривые и их обобщенные якобианы, что существенно расширяет класс рассматриваемых квадратичных иррациональностей.

Обобщая результаты работы [6], мы получаем доказательство теоремы об эквивалентности условия квазипериодичности непрерывной дроби квадратичной иррациональности и условия конечности порядка точки Р — те па якобиане нормализации кривой С.

2. Представление Мамфорда дивизора набором многочленов

Простой точке Q £ С степен и 1 соответствует нормир ование vq тол я K(x^ ^/J^x)). Определим локальное кольцо Oq := {F £ k(x^ ^/f{x))l vq(F) ^ 0} точки Q. Обозначим через ■kq униформизующую в точке Q £ С, то есть такой элемент ^kq £ Oq, что vq(kq) = 1. Ограничения координатных функций х и у па кривую дают рациональные функции па С, их значения в точке Q мы обозначим через x(Q) и y(Q). Если, точка Q не является ни особой точкой, ни точкой ветвления, то можно положить ^kq = х — x(Q). Через обозначим бесконечное нормирование, принимающее на многочлене V(х) значение —2deg(F(ж)). Тогда Vrxi(y) = v<x>(\fJ{%)) = —(2д + 1). Через г обозначим инволюцию гиперэллиптической кривой, переводящую точку (x(Q),y(Q)) в (x(Q), —y(Q))■ Для дивизора D, определенного над полем

K (для краткости называемого K-дивизором), рассмотрим разложение D = ^uqQ в сумму точек Q, простых над K.

Определение 1. Дивизор D = ^ uqQ степени d на гиперэллиптической кривой С мы назовем минимальным, если для каждой точки Q £ Supp D выполнены, следующие условия

• n(Q) не является особой точкой кривой С;

• если Q — точка ветвления, то hq = 1;

• если Q не является точкой ветвления, то %Q £ Supp D.

Образ минимального дивизора на кривой С лежит в множестве неособых точек и является дивизором Картье на этой кривой.

Нам понадобится конструкция Розенлихта обобщенных якобианов особых кривых, которая подробно изложена в монографии Серра [2]. Напомним, определение линейной эквивалентности по модулю m.

Определение 2. Для S £ Cs, обозначим через S1,..., S¿ £ С — множество K-точек из k-1(S). Будем говорить, что рациональная функция F £ Ж(х,^/ (х)) обладает модулем m, если для любой точки S £ Сs найдет,ся ненулевая, константа cs £ K такая, что для всех г выполнены, сравнения

F = cs mod к™3.

Определение 3. Дивизоры, D Е называются линейно эквивалентным,и по модулю m, если D = Е + (F) для дивизора (F) некоторой рациональной функции F £ Ж(х^ ^/f{x)),

m

Важность понятия минимального дивизора иллюстрирует следующая лемма, обобщающая [1, III §2].

Лемма 1. Пусть D = Y1 пqQ ~ минимальный эффективный дивизор на гиперэллиптической кривой, С над пол ем K deg D ^ д. Предположим, что deg f0 > д. Тогда, не существует рациональной, функции F £ Ж(х,^f (х)), обладающей модулем m, полюса которой содержатся в носителе дивизора, D, и их порядок в каждой, точке Q не превосходит, uq.

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

Предположим, что существует рациональная функция F, удовлетворяющая условию леммы, тогда Ud (x)F — регулярная функция на С \ те, поэтому она принадлежит кольцу К[х, д/f (ж)], то есть Ud(x)F = V(х) + W(x)\Jf (х), где V(х), W(х) £ К[ж]. Пусть S £ Suppm, тогда iS входит в m с той же кратностью. Поскольку функция Ud(х) также г-инвариантна и

Supp m

F = cs mod ж™3 iF = cs mod ж™3. Вычитая сравнения получаем:

W(х)у = 0 mod к™3,

откуда следует, что W (х) = ф(х)Ш (х), да я W (х) £ К[ж].

Поскольку (х)) — четно, а W(x)\Jh(x)) — нечетно, то компоненты старшей сте-

пени не могут сократиться, откуда имеем

v^(V(х) + W(х)уЩх)) < v^(W(х)уЩх)).

Так как F(х) по предположению не имеет полюсов в те:

0 4 ) = ^ ( У (Ж)+ X

V (х) + W (x)^h(xj\ UD (х) I

4 ^(W(х)^Щ/ив(х)) 4 —(2д + 1) + 2д = — 1.

Значит данная цепочка равенств не может быть выполнена, а значит W(х) = 0. Но функция F(х) = jjp*},,) (где deg V(х) = deg ud(х), поскольку v F нет полюсов в те) очевидно сохраняется при действии инволюции г, откуда множество полюсов тоже должно быть инвариантно, то есть лежать в множестве точек ветвления. Однако для любой точки ветвления Р, функция (х-х(Р)) имеет дивизор нулей 2Р на кривой С. Откуда из условия леммы, множество полюсов F не может лежать в и функция F постоянна. □

Таким образом, по лемме 1 в классе линейной эквивалентности эффективного минимального дивизора степени не больше д существует единственный эффективный дивизор.

Для определения многочленов Мамфорда нам понадобится следующая аппроксимацион-ная лемма :

Лемма 2. (см. [1, III §2]) Пусть D — минимальный эффективный дивизор степени d на гиперэллиптической кривой С, определенный над Ж и не содержащий те в своем носителе. Пусть D = uqQ ~ его разложение над К. Тогда существует единственный многочлен V(х) £ Ж[х] степени не выше d — 1, такой что

V(х) = ф(х)у mod (ж — x(Q))nQ, для всех Р £ Supp(^). (*)

Для произвольного эффективного минимального дивизора D = ^ hq Q степени d определим многочлен Ud(х) = Пq=Xj(x — x(Q))nQ. Если D определен над К, то многочлен также определен над К. Согласно лемме 2 существует единственный аппроксимирующий \Jh(x) многочлен Vd (х) , то есть такой что deg Vd (х) 4 d — 1 и

Vd(х) = ф(х)у mod (х — x(Q))nQ, для всех Q £ Supp(^).

Заметим, что h(x) — Vd(х)2 = ф(х)-у2 — Vd(х)2 = 0 mod (х — x(Q))nQ, откуда следует, что многочлен h(x) — Vd (х) 2 делится на Ud (ж). То есть существует U d (х) удовлетворяющий равенству:

* h(x) — VD (х)2 = UD (x)V d (x).

Определение 4. Для эффективного минимального дивизора, D набор многочленов

(VD (x),ud (x),u d (x))

мы назовем представлением Мамфорда, Vd(x),Ud(x),Ud(x) — многочленами Мамфорда.

Легко видеть, что тройка многочленов (vd(х), ud(х), Ud(х)) однозначно восстанавливает дивизор D. Действительно, ud(х) восстанавливает координаты x(Q),rj\е Q £ Supp D, a vd(х) — координату y(Q). Более того, по этой тройке восстанавливаются также h(x) и ф(х).

3. Непрерывные дроби, ассоциированные с точкой на гиперэллиптической кривой.

Напомним определение непрерывных дробей в функциональных полях (см. [3],[4]). Пусть р £ £ — К-точка степени 1, не являющаяся точкой ветвления. Рассмотрим 1Ср — пополнение поля К относительно нормирования ^р. Тогда каждый элемент @ £ Кр можно одного

значно представить в виде формального степенного ряда @ = ^ diVг, где £ К. Назовем

1=3

о

[$] ■= ^ йгЮ1 целой частью, а } := [3 — [$] — дробной частью. Пусть а0 = [$], @0 = [3. Если

г=.в

Д-! — а,г-1 = 0, по индукции определяем элементы а^ ¡3^:

¡Зг = ~а-1-е Кр, аг = №].

Рг-! — !

В результате мы получим непрерывную дробь [ао; а!,...}.

Определение 5. Непрерывная дробь называется квазипериодической, если найдутся такие к = I, что ¡Зк = фг, где с е К — некоторая ненулевая константа. Минимальное число \к — 1\ называется длиной квазипериода.

Результаты о характеризации квазипериодичности непрерывных дробей в гиперэллиптических полях рациональных функций на кривой без ветвления на бесконечности были получены в [5]. Они опираются только на теорему Римана-Роха для кривых и стандартные преобразования для непрерывных дробей.

Следующая теорема дает связь квазипериодичности непрерывной дроби и конечности кручения дивизора (Р— ж). Доказательство опирается на лемму 1 и интерпретацию каждого шага разложения в непрерывную дробь в терминах представления Мамфорда. Обозначим через т (О) число делителей многочлена С(х) в коль це К [ж].

Теорема 1. Пусть Р — К-точка кри вой С степе ни 1, не являющаяся точкой ветвления. Пусть И0 — минимальный эффективный дивизор степени д кривой С, не содержащий тючку гР в своем носителе. Пусть (У0(х),и0(х)(х — х(Р))2,и!(х)) — представление Мамфорда, дивизора, И0 + 2Р. Тогда, непрерывная дробь построенная по квадратичной иррациональности

= уЩх) + У0(Х) Р и! (х)(х — Х(Р)) 1 '

квазипериодична, тогда и только тогда, когда порядок точки (Р — ж) на якобиане кривой С конечен. Если этот порядок равен М, то период имеет длину не более чем Мт(ф(х))2.

Доказательство будет приведено в следующем параграфе.

4. Связь сложения дивизоров и разложения в непрерывную дробь.

Лемма 3. Пусть И — минимальный эффективный дивизор степени д, такой что ж е йирр И, а, Р е С К-точка кривой, которая не является точкой ветвления и не проецируется в особую точку кривой, С, и такая, что гР е йиррИ. Тогда существует рациональная, функция вида

„ = V (х) + ф(х)7у и (х) ,

такая что дивизор Е ■= И + Р — ж + (Е) ^ 0 имеет степень д и эффективен. При этом, если е 8ирр(^); то е $>ирр(Е). В случае, когда е Зирр(Е) и е 8ирр(^); точка является либо точкой ветвления, причем кратность вхождения в дивизор Е не бол ее 1, либо ж((^) особая точка кривой, С, а ^ и г^ ^^^ят в Е с одинаковой, кратностью равной ^(д.сЛ(У (х),ф(х))).

Доказательство. Рассмотрим представление Мамфорда (V(x),U(x),U(х)) для дивизора D + Р, который по условию леммы является минимальным, причем deg U(х) = д + 1 и deg V(х) 4 д- Имеем:

V(х) — ф(х)у = 0 mod (х — x(Q))UQ, для Q Е Supp D + Р,

Функция V(х) + ф(х)у содержит в своем множестве нулей все точки дивизора %D + гР с учетом кратности. Поскольку V(х) + ф(х)у имеет полюс порядка 2д + 1 па бесконечности, то разность дивизора пулей V(х) + ф(х)у и дивизора iD + гР — эффективный дивизор степени д. Рассмотрим функцию

„ = V (х) + ф(х)у U (х)

и дивизор Е — дивизор пулей F. Порядок пуля F в те равен 1, и F имеет дивизор полюсов, равный D + Р. Откуда мы получаем, что дивизор Е = D + Р — те + (F) ^ 0 равен разности дивизора нулей V(х) + ф(х)у и дивизора iD + гР.

Предположим, что Q Е Supp(^). Тогда ф(х(0)) = 0 и V(x(Q)) — ф(х(0))у(0:) = 0. Если Q Е Supp(^), то V(x(Q)) + ф(х(0))у(0:) = 0. Откуда V(x(Q)) = y(Q) = 0, следовательно, Q — точка ветвления, то есть нуль f (х). Аналогичным образом получаем, что если Q и iQ принадлежат Supp(^^^о V(x(Q)) — ф(х(0))у(0;) = 0 и V(x(Q)) + ф(х(0))у(0;) = 0. Отсюда V(x(Q)) = ф(х(0>))у(0>) = 0 и Q — или точка ветвления, или n(Q) — особая точка. В последнем случае кратность вхождения Q и iQ в Е равна UQ(g.c.d.(V(х),ф(х))).

Для точки ветвления Q в случае k(Q) Е Сs многочлен V(х) не может аппроксимировать униформизующую кольца Oq (которой функция вида \J(x — x(Q))) с точностью

более чем первого порядка. Действительно, пусть f (х) = (х — x(Q)) f(x), и пусть V(х) аппроксимирует у в точке Q: то есть V(х) = V(х)(х — x(Q)). Тогда

У (х) —У = л/х — x(Q)(V (xWx — x(Q) — \fj(x)).

Поскольку выражение в скобках в точке ^ ^но —у /(х((^)), получаем требуемое. Отсюда следует, что точки ветвления входят в дивизор Е с кратностью не бол ее чем 1. В случае, если ж(О) £ С3, то аналогичным образом получаем, что ее кратность в Е не более чем ^(д .сЛ.(У (х),ф(х))) + 1.

Также заметим, что если ( £ Яирр^ — точка ветвления, то она не может входить в дивизор нулей Р. Действительно, пусть и(х) = и(х)(х — х(О), тогда

„ У (х) + ф(х)у У (х)^х — х(() + \/Кх) Р = - = -

и (х) и (х)у/х — х(()

Откуда видно, что ( содержится в дивизоре полюсов Р с кратностью 1. □

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Лемма 4. Пусть И — минимальный эффективный дивизор степени д, аР — К-точка, не являющаяся точкой ветвления, и такая, что гР £ ЯиррИ. Тогда существует рациональная функция вида

Р = у (х) + ф(х)у и (х) ,

такая что дивизор Е := И + 2(Р — ж) + (Р) ^ 0 имеет степень д и эффективен.

Доказательство. Доказательство повторяет предыдущую лемму, однако стоит сделать следующие замечания. Пусть те £ ЯиррИ. Построим представление Мамфорда (У(х), и(х),и(х)) дивизора И + 2Р. Тогда degU(х) = д + 2 и degУ(х) 4 д + 1- Если degУ(х) = д + 1,

то v^(V(х) + ф(х)у) = (х)) = — (2д + 2) и u^(F) = 2. Если deg V(х) < д + 1, то

deg U(х) = deg f — deg U(x) = g — 1 и (x) + ф(х)у) = и^(ф(х)у/) = -(2g + 1), откуда v<x>(F) = 3. Отсюда E линейно эквивалентен эффективному дивизору вида D + го, где D — минимален, го £ Supp D. Остается последний случай, когда D = D' + го. В этом случае, как в лемме 3, мы строим тройку многочленов, входящих в представление Мамфорда дивизора D' + 2Р. Тогдa degU(х) = д + 1 и deg V(х) ^ д, (х) + ф(х)у) = v^(y) = —(2д + 1) и v<x(F) = 1. Тем самым, D' + 2Р — го линейно эквивалентен эффективному дивизору степени не содержащему го в своем носит еле. □

Пусть Dq — минимальный эффективный дивизор степени не содержащий гР в носителе и со = 1. Определим по индукции последовательность эффективных минимальных дивизоров D^: тасел Ck, а также многочленов ф^(х), dk(х), Vk(х), Uk(х). При этом ф0(х) = ф(х), d0(x) = 1, a Vo(x), Uo(x) — многочлены Мамфорда, построенные по дивизору Do- По индуктивному построению Dk — минимальный эффективный диви зор степени д, не содержащий в своем носителе точку гР. Определим D^+i■ Определим Uk(х) го равенства Uk(х) = Uk(х)(х—х(Р))Пк.

i .= <1к-2(х)(Фк-1у/f (х) + Vk-i(x)) k-i ' скdk-i(x)Uk(x)(x — x(P)) '

Согласно лемме 2 существует единственный многочлен Vk степени не выше

deg dk-iUk (х) + 1, являющийся решением задачи аппроксимации

Vk(х) = —dk-2(x)Vk-i(x) mod dk-i(x)Uk(x)

Vk(x) = dk-2(x^k-i(x)y mod (x — x(P))np+2.

Пусть dk(x) = g.c.d.^k-i,Vk))■ Покажем, что dk и dk-i взаимно просты. В противном случае, Vk(х) и dk-i не взаимно просты, откуда из первого условия аппроксимации dk-i не взаимно прост с dk-2Vk-i, что противоречит взаимной простоте многочлена dk-i с dk-2 (по предположению индукции) и с Vk-i соответственно (по построению).

Положим фк = ф^^к^/Лк и Vk = <^k-il^k- Определим многочлен Uk+i(x) со старшим коэффициентом 1 и константу Ck из равенства

фк (X)2f (х) — Vk (х)2 = Ck Uk (x)Uk+i(x)(x — x(P))2. (3)

Положим Ck+i := c-ick.

Рассуждая по индукции, получаем dk-i(x)dk(х)фк(х) = ф(х). Положим

Фк (х)у + Vk (х)

Fk : =

Uk(х)(х - х(Р))2'

Из взаимной простоты Vk с многочленами dk-i,dk(х),фк(х), получаем, что Fk обладает модулем m.

Поскольку deg ф(х)2/(х) = 2д + 1, а степень deg Vk(х)2 четна и deg Vk(х) ^ д + 1, то возможны следующие случаи:

(I) deg Vk = д + 1 - deg dk-\ - deg dkn deg Uk(x) = g - 2 deg dk-\ deg Uk+i(x) = g - 2 deg dk ,

(II) deg Vk(x) ^ д - deg dk-i - deg dk, deg Uk(x) = д - 2 deg dk-\, deg Uk+\(x) = д - 2 deg dk - 1,

(III) deg Vk(x) ^ д - deg dk-\- deg dk, deg Uk(x) = д - 2 deg dk-\ - 1 deg Uk+i(x) = д - 2 deg dk.

Так как Ик не содержит гР в носителе, из условий аппроксимации и леммы 4 дивизор

Ек ■= (Бк + 2Р — 2ж) + (Рк)

является эффективным и не содержит Р в носителе. Предположим, что Ек содержит гР с кратностью пк+!. Положим

Бк+! ■= Ек +пк+!(Р — гР).

В частности, используя соотношение Р + гР 2ж в классе линейной эквивалентности, имеем Ик+! Ик + 2(пк+! + 1)(Р — ж) и degDk+! = д — 2degdk. Имеет место равенство иок+1 (Х) = ик+!(х) = иЕк (х).

Замечание 1. По дивизору Ик+! однозначно восстанавливается дивизор Ик. Действительно, пк+! — кратность точки Р в Ок+!. Тогда, Ек = Ик+! + пк+!(гР — Р) — минимальный, дивизор не содержащий Р в носителе, а, Бк — единственный эффективный дивизор лежащий, в классе Ек + 2(гР — ж) по отношению эквивалентности, определяемым модулем ш.

Докажем следующее предложение:

Предложение 1. Пусть [3 = [30 иррациональность (1) из Теоремы 1, построенная по дивизору И0, [Зк — последовательность неполных частных разложения [3 в непрерывную дробь, а _ последовательность (2) иррациональностей построенных по дивизору И0. Предположим,, что йк = 1. Тогда, имеют место равенства

= = дк-!(х)(фк у/7Щ + Ук (х)) к к ск<1к(х)ик+!(х)(х — х(Р)) ,

7к+!(7к — [7к \) = 1, (5)

[ ] = йк-!(х)Ук (х) + йк+!(х)Ук+!(х)

[7к ]= скдк (х)ик+!(х)(х — х(Р)) , и

г , = 4-!(х)(фк (х)У/(Х) + Ук (х))

{7к} скдк (х)ик+!(х)(х — х(Р)) . 1 ;

Доказательство. Предположим, что выполнены равенства (6) и (7). Пусть равенство Рк = 7 к выполнено, покажем что оно выполнено для к + 1. Для этого запишем (3) в виде

¿к(х)(фк+!(х)у/¡(х) + Ук+!(х)) ^ (йк-!(х)фк(х)у//(х) — дк+!(х)Ук+!(х)) = Ск+!(1к+!(х)ик+2 (Х)ТТ (1к (х)ик+!(х)7Т ,

дк(х)(фк+!(х)л/¡(х) + Ук+!(х)) I йк-!(х)(фк(х)л/Лх) + Ук(х))

(Р)) \

)=1. (8)

Ск+!<1к+!(х)ик+2 (Х)(Х — Х(Р))\ Ск(1к (х)ик+!(х)(х — х(Р))

йк-! (х)Ук (х) + дк+!(х)Ук+!(х)

скйк (х)ик+!(х)(х — х(Р)) Подставив в (8) равенства (6) и (7), получаем

7к+!(7к — [7к \) = 1,

откуда следует 7к+! = Рк+!.

Покажем теперь равенства (6) и (7). Заметим, что

^ик+! +degdk + 1 ^ max(degdk-!Vk, degdk+!Vk+!). (9)

Действительно, неравенство может нарушиться только в случае (III). Но этому случаю может предшествовать только случай (II), откуда следует, что &е^Ук(х) 4 д — degdk-l — degdк. Из условий апроксимации на Ук (х) следует

Ур ( фк+^У7(х) — ук+1(х) | > 1

\ck+iUk+i(x)(x — х(Р))

)

тем самым, ряд Лорана по жр = х — х(Р) этой квадратичной иррациональности, состоит только из членов положительной степени. Чтобы доказать, что этот ряд является дробной частью от /Зк необходимо показать, что ряд по жр выражения

dk-i(x)Vk (х) + dk+i(x)Vk+i(x) = — йк-\(х)(фк (x)^f (х) + Ук (х)) Ckdk (x)Uk+i(x)(x — х(Р)) ckdk (x)Uk+i(x)(x — х(Р))

содержит только отрицательные члены по жр в своем разложении. По построению

dk-i(x)Vk(х) + dk+i(x)Vk+i(x) = 0 mod dk(x)Uk+i(x).

В точке P имеем

dk-i (x(P))Vk (x(P)) = dk-i(x(P)^k (x(P))y(P) = = dk+i(x(P))<pk+i(x(P))y(P) = dk+i(x(P))Vk+i(x(P)) = 0.

Это означает, что

G^x) = dk-i(x)Vk (x) + dk+i(x)Vk+i(x) dk (x)Uk+i(x)

является ненулевым многочленом над K степени не выше

max(degdk-iVk(х), degdk+iVk+i(x)) — degUk+i(x) 4 nk+i + 1.

Многочлен G(x) имеет также степень degG(;c), если его рассматривать как многочлен от х — х(Р). Отсюда элемент G(x)/(x — х(Р))"-fc+i+i) рассматриваемый как ряд по пр, не имеет строго положительных степеней жр в своем разложении. Более того, так как многочлен G(x) не обращается в нуль в точке х(Р), то старшая степень ряда Лорана в точности равна nk+i +1. Из вышесказанного получаем

р^] = dk-i(x)Vk (х) + dk+i(x)Vk+i(x)

ilk } =

ckdk (x)Uk+i(x)(x — x(P)) dk-i(x)^k (x)y/f(x) + Vk (x))

Ch.dk (х)ик+1(х)(х — х(Р)) □

Перейдем к доказательству теоремы 1. Доказательство. [Доказательство теоремы 1] Предположим, что разложение в непрерывную дробь квадратичной иррациональности @ квазипериодично. Согласно предложению 1, каждому шагу разложения @ в непрерывную дробь соответствуют следующие данные: дивизор Ик линейно эквивалентный Ио + 2гк(Р — ж) (где 11, %2,... — возрастающая последовательность натуральных чисел), последовательность многочленов Ук(х),ик(х),ик+1(х) и последовательность квадратичных иррациональностей

^ = dк-l(х)(фкл/ / (х) + Ук (х)) ск(1к(х)ик+1(х)(х — х(Р)) .

Квазипериодичность непрерывной дроби влечет равенство 3к = сД для некоторых к = I и константы с = 0. Отсюда следует совпадение dk-i(x)/dk(х) и di-i(x)/di(x) равенство пар ( Vk(х), Uk+i(x)) = (Vi(х), Ui+i(x)), и соответствующее равенство дивизоров Dk = Di. Поскольку линейно эквивалентен Do + 2гк(Р — те), а ^ линейно эквивалентен Do + 2ц(Р — те), отсюда следует, что дивизор 2( г к — к)(Р — те) линейно эквивалентен нулю.

Пусть теперь точка (Р — те) па якобиане кривой С имеет конечный порядок М. Заметим, что dk являются делителями ф(х), в частности, рациональных функций dk-i(х)/dk(х) — конечное число, и значит найдется бесконечное число квадратичных иррациональностей ¡3^ с одинаковыми отношениями dki-i(x)/d^(х). Снова рассмотрим последовательность дивизоров Dki линейно эквивалентных Do + 2li(P — те), соответствующих по предложению 1 неполным частным 3ki ■ Для бесконечной последовательное!и дивизоров Do + 2li (Р — те) найдутся два номера i < j, для которых k = lj mod М. Это влечет Dki —^kj D0+k(P — те) —D0—lj(P — те) 0

Поскольку размерность линейной системы минимального эффективного дивизора степени не выше д равна 1, то Dki = ^kj- Из равенства дивизоров следует равенство соответствующих многочленов Мамфорда, и соответствующее равенство 3kt = c3kji откуда следует квазипериодичность. □

5. Свойства квазипериода непрерывной дроби

Предложение 2. В предположениях предложения 1 пусть Ик = И к + ПкР — последовательность дивизоров, соответствующая разложению в непрерывную дробь. Предположим, что для некоторого I выполнено = гИк+1 +Пк+1Р, а также выполнены раеенства г!к = dl-1 и dk-1 = dl. Тогда, выполнена, симметрия для дивизоров

= гИ к-г+1 + Пк-г+1Р

и квазисимметрия неполных частных разложения в непрерывную дробь

\(51+г] = [Рк-г-1 ]С(-1)г.

Если I — к — четно то разложение в непрерывную дробь симметрично, тогда и только тогда, когда И(к+1)/2 состоит из точек ветвления, не принадлежащих ж-1 (Ся), и входящих с кратностью не более чем 1, и выпонено равенство d(k+l)/2+1 = d(k+l)/2-1■

Доказательство. Разложению в непрерывную дробь соответствует последовательность дивизоров Ик = Ик + пкР, Ек = Ик+1 +Пк+1гР, а также последовательность многочленов Мамфорда ( Ук(х), ик(х)(х — х(Р))Пк+2, ик+1 (х)(х — х(Р))Пк+1) для дивизоров Ик + 2Р. Поскольку функция

= Ук (х) + фк (х)у к ик (х)(х — х(Р ))2

имеет дивизор пулей Ек и дивизор полюсов И к + 2Р, то многочлен Ук (х) является решением следующей задачи аппроксимации:

Ук + фк У = 0 mod ик+1(х),

Ук — фкУ = 0 mod (х — х(Р))Пк+Пк+1 +2.

Последнее сравнение следует из того, что ик(х)(х — х(Р))2 имеет пуль в точке гР порядка Пк + 2, а Рк имеет нуль в точке гР порядка Пк+1- Отсюда следует, что пару многочленов ( Ук(х), 17к+1(х)(х—х(Р))Пк+1 +2) можно рассматривать как решение задачи аппроксимации для сложения дивизоров г И к+1 + Пк+1Р и 2Р, результатом которого является дивизор гИ к + Пк1 Р■

Предположим, что для некоторого I выполнено Di = %Dk+i + пк+\Р (если I = к + 1, это условие совпадает с условием на Di из второй части предложения). Из равенств dk = di-i и dk-i = di следует, что фк = ф/(йкйк-{) = фКй^^) = фь Тогда шагу I разложения в непрерывную дробь соответствуют дивизоры Di = iDk+i + nk+iP, Ei = iDk + пкгР, Di+i = iDk + пкР, Многочлены Мамфорда дивизоров Di и Di+i равны соответственно ( Ук(%),Uk+i(x)(x - х(Р))Пк) и (Vk-i(x),Uk(х)(х - х(Р))"-fc+i). Отсюда, получаем следующие равенства

Di+i = iD к + пкР,

ß = dk (Фк лДЩ (х))

cdk-iUk(х)(х -х(Р)),

г ß ] = dkVk(х) + dk-2Vk-i(x) = [ßk-i] 1 cdk-iUk(x)(x -х(Р)) с .

Отсюда следует, равенство Di+i = iDk-i+i +nk-i+lP и квазисимметрия неполных частных разложения в непрерывную дробь, то есть [ßi+i\ = [ßk-i-i]c(-i). Таким образом, совпадение Di = iDk+i + пк+хР приводит к симметрии разложения в непрерывную дробь.

Наличие симметрии для разложения в непрерывную дробь в случае четного I - к влечет равенство

D к + пкР = Dk = iD к + пкР,

которое выполняется, если и только если дивизор Dk состоит из точек ветвления, входящих с кратностью не более чем 1 и не проецирующие в особые точки С. Что доказывает вторую часть предложения. □

6. Заключение

Используя законы сложения дивизоров Картье на особой гиперэллиптической кривой, нам удалось обобщить результаты работы [6] на более общий класс квадратичных иррационально-стей, чем тот, что рассматривался в указанной работе. А именно, мы получаем доказательство теоремы об эквивалентности условия квазипериодичности непрерывной дроби квадратичной иррациональности и условия конечности порядка точки Р - ж на якобиане нормализации кривой С. Что касается оценки на квазипериод, то можно получить аналогичные результаты, однако они будут несколько хуже, из-за наличия дополнительных множителей в разложении в непрерывную дробь, которые являются делителями многочлена h(x). Что касается необходимых и достаточных условий для квазисимметричности разложения в непрерывную дробь, то здесь мы получили критерии, которые аналогичны критериям, полученным в работе [6] (см. Предложение 3 [6]), тем не менее, непостредственного аналога наиболее простого критерия, указанного в Теореме 3 работы [6], по-видимому, не существует.

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Мамфорд Д. Лекции о тэта-функциях, Мир, Москва, 1988.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

2. Серр Ж. П. Алгебраические группы и поля классов, Мир, Москва, 1968.

3. Artin Е. Quadratische Körper im Gebiete der höheren Kongruenzen. I // Math. Z. 1924. T. 171. №19:1. C. 153-246.

4. Беняш-Кривец В. В., Платонов В. П. Группы S-единиц в гиперэллиптических полях и

непрерывные дроби // Математический сборник. 2009. Т. 200. №11. С. 15-44.

5. Berry Т. G. On periodicity of continued fractions in hvperelliptic function fields // Arch Math. 1990. T. 55. C. 259-266.

6. Платонов В. П., Жгун В. С., Федоров Г. В. Непрерывные дроби в гиперэллиптических полях и представление Мамфорда // Доклады РАН. 2016. Т.471. №6 С. 640-644.

7. В. П. Платонов, Г. В. Федоров, S-единицы и периодичность непрерывных дробей в гиперэллиптических полях // Доклады РАН. 2015. Т.465. №5 С. 537-541.

8. Rosenlicht М. Generalized Jacobian varieties // Ann. of Math. 1954. T. 59. №3. C. 505-530.

9. Rosenlicht M. Equivalence relations on algebraic curves // Ann. of Math. 1952. T. 56. №2. C. 169-191.

10. Хартсхорн, P. Алгебраическая геометрия, Мир, Москва, 1981.

11. Платонов В. П., Жгун В. С., Петрунин М. М. К вопросу о простоте якобианов кривых рода 2 над полем рациональных чисел с точками кручения больших порядков // Доклады РАН. 2013. Т. 450. №4. С. 385-388.

12. Платонов В. П. Арифметика квадратичных полей и кручение в якобианах // Доклады РАН. 2010. Т. 430. №3. С. 318-320.

13. Платонов В. П. Теоретико-числовые свойства гиперэллиптических полей и проблема кручения в якобианах гиперэллиптических кривых над полем рациональных чисел // УМН. 2014. Т. 69:1. №415. С. 3-38.

14. Платонов В. П., Петрунин М.М. Новые порядки точек кручения в якобиа- пах кривых рода 2 над полем рациональных чисел // Доклады РАН. 2012. Т. 443. №6. С. 664-667.

15. Платонов В. П., Петрунин М. М. О проблеме кручения в якобианах кривых рода 2 над полем рациональных чисел // Доклады РАН. 2012. Т. 446. №3. С. 263-264.

REFERENCES

1. Benvash-Krivets, V. V., Platonov, V. P. 2009, "Groups of S-units in hvperelliptic fields and continued fractions", Sb. Math, vol. 200, no. 11, pp. 1587-1615.

2. Mumford, D 1983, Tata Lectures on Theta I. Birkhauser, Boston.

3. Serre, Jean-Pierre 1988, Algebraic groups and class fields, Springer-Verlag, New York.

4. Artin, E., 1924, "Quadratische Körper im Gebiete der höheren Kongruenzen. I", Math. Z., vol. 19, no. 1, pp. 153-246.

5. Berry, Т. G., 1990, "On periodicity of continued fractions in hvperelliptic function fields" , Arch Math, vol.55, pp. 259-266.

6. Platonov, V. S., Fedorov, G.V., 2016, "Continued Rational Fractions in Hvperelliptic Fields and the Mumford Representation" , Dokladv Mathematics, vol. 94, no. 3, pp. 692-696.

7. Platonov, V. P., Zhgoon, V. S., Fedorov, G. V., 2015, "S-units and periodicity of continued fractions in hvperelliptic fields", Dokladv Mathematics, vol. 92, no. 3, pp. 752-756.

8. Rosenlicht M., 1954, "Generalized Jacobian varieties" , Ann. of Math., 59, 3, pp. 505-530.

9. Rosenlicht M., 1952, "Equivalence relations on algebraic curves" , Ann. of Math. 56, 2, pp. 169-191.

10. Hartshorne R., 1977, "Algebraic geometry" , Graduate Texts in Mathematics, No. 52. SpringerVerlag, New York-Heidelberg.

11. Platonov, V. P., Zhgun V. S., Petrunin M. M., 2013 "On the simplicity of Jacobians for hvperelliptic curves of genus 2 over the field of rational numbers with torsion points of high order", Dokl. Math, 450, 4, pp. 385-388

12. Platonov, V. P. 2010, "Arithmetic of quadratic fields and torsion in Jacobians" , Dokl. Math, 81, 1, pp. 55-57

13. Platonov, V. P. 2014, "Number-theoretic properties of hvperelliptic fields and the torsion problem in Jacobians of hvperelliptic curves over the rational number field" , Russian Math. Surveys 69, 1, pp. 1-34.

14. Platonov, V. P., Petrunin, M. M. 2012, "New orders of torsion points in Jacobians of curves of genus 2 over the rational number field" , Dokl. Math, 85, 2, pp. 286-288.

15. Platonov, V. P., Petrunin, M. M. 2012, "On the torsion problem in jacobians of curves of genus 2 over the rational number field" , Dokl. Math, 86, 2, pp. 642-643.

ФНЦ Научно-исследовательский институт системных исследований Российской академии наук (ФГУ ФНЦ НИИСИ РАН)

Национальный исследовательский университет «Высшая школа экономики»

i Надоели баннеры? Вы всегда можете отключить рекламу.