книги из ГПНТБ / Шимура Г. Введение в арифметическую теорию автоморфных функций
.pdfГ Л А В А 4
ЭЛЛИПТИЧЕСКИЕ КРИВЫЕ
§ 4.1. Эллиптические кривые над произвольным полем
В этом параграфе мы приводим краткий перечень некоторых элементарных фактов об эллиптических кривых (без детальных доказательств) Эллиптическая кривая — это одномерное абелево многообразие (т. е. проективное неособое многообразие со струк турой алгебраической группы, обязательно коммутативной), или — что в конечном итоге то же самое — проективная неособая кривая
рода один со специфической точкой, называемой |
начальной |
точ |
||||
кой или нейтральным элементом. |
Если кривая |
определена |
над |
|||
полем к и начальная точка рациональна над к, то групповой |
закон |
|||||
автоматически определен над к'. Поэтому, если мы говорим |
об |
эл |
||||
липтической |
кривой, определенной |
над полем к, |
то |
подразумеваем, |
||
что кривая |
и начальная точка рациональны |
над |
к. |
|
|
Пусть Е и Е' — эллиптические кривые, определенные над полем к. Под гомоморфизмом из Е в Е' (определенным над к) мы подра зумеваем произвольное рациональное отображение (определенное над к) из Е в Е', являющееся групповым гомоморфизмом. Модуль всех гомоморфизмов из Е в Е' обозначается через В.от{Е, Е'). Всякое рациональное отображение из Е в Е', переводящее началь ную точку кривой Е в начальную точку кривой Е', обязательно является гомоморфизмом. Элемент X из Нош(#, Е') называется изогенией, если он удовлетворяет следующим эквивалентным условиям: (i) X Ф 0; (ii) подгруппа Кег(А,) конечна; (ш) л-сюръек- тивен. (Отметим, что Е всегда отождествляется с множеством всех точек на кривой, рациональных над универсальной областью; см. дополнение.) Если существует какая-либо изогеиия из Е в Е', то существует и изогения из Е' в Е, и мы говорим, что кривые Е и Е' изогенны. Это отношение эквивалентности. Введем теперь сле-
*) По поводу алгебро-геометрической терминологии и обозначений см. дополнение. Несмотря на то что обсуждение в этой и последующих главах сосредоточено на эллиптических кривых, теория не может быть до конца поня той, если не рассматривать их как частный случай абелевых многообразий. По этой причине мы рекомендуем читателю (но не настаиваем иа этом) познако миться с определением и простейшими свойствами абелевых многообразий по книге А. Вейля [3] (ее более легкой части), по книге того же автора [6] и по книге Ленга [ 1 ] . См. также дополнение, пп. 10 — 13 . Мы, например, заимствуем конструкцию корней из единицы eN в § 4.3 из книги А. Вейля [3, стр . 1 5 0 — 1 5 3 ] . Детальное изложение теории абелевых многообразий с комплексным умноже нием см. Шимура и Танияма [1] .
§ 4.1. ЭЛЛИПТИЧЕСКИЕ КРИВЫЕ |
НАД ПРОИЗВОЛЬНЫМ |
ПОЛЕМ |
131 |
|||||||
дующие |
объекты: |
|
|
|
|
|
|
|||
тг |
1 / сп |
f кольцо всех эндоморфизмов кривой |
Ел |
|
|
|||||
апй(И) |
= |
| ( н а д |
универсальной областью) |
|
J |
~ |
|
|||
|
|
|
= |
Hom (Е, Е), |
|
|
|
|
|
|
E n d Q |
(£) = |
End (Е) |
cg)z Q- |
|
|
|
|
|
||
Для к = |
|
С |
будет показано, что |
End(2?) — свободный |
Z-модуль |
|||||
конечного |
ранга и Endq (Е) — кольцо с делением конечного |
ранга |
||||||||
над Q. Известно, что то же самое верно и при произвольном к. Все |
||||||||||
возможные типы колец |
E n d Q (Е) и даже колец |
End(Z?) были |
опре |
|||||||
делены Дойрингом в |
[1]: EndQ (Е) |
изоморфно |
либо |
Q, либо |
мни |
|||||
мому квадратичному расширению поля Q, либо кватернионной |
||||||||||
алгебре над |
Q, |
разветвленной в некотором простом числе р и точ |
ке оо; последний случай может встретиться только тогда, когда характеристика универсальной области равна р. Однако этот
аспект |
во всей |
общности обсуждаться не будет: мы изучим лишь |
в § 4.4 |
случай |
характеристики 0. |
Начиная с этого места, мы будем предполагать, что характери стика отлична от 2 и от 3. Тогда произвольная эллиптическая кривая, определенная над к, всегда изоморфна над к проективной кривой
(4.1.1) |
Е: Y2Z |
= 4 Х 3 - |
g2XZ2 |
- |
g3Z3, |
где gt лежит в к и А = |
g\ — 27g\ Ф |
0. |
(Отличие от нуля элемента |
А эквивалентно отсутствию особых точек на кривой, определяе
мой этим уравнением.) Точку |
(X, |
Y, |
Z) |
= |
(0, 1, |
0) можно взять |
||
в качестве начальной. Обратно, каждая |
кривая |
такого |
вида при |
|||||
А Ф 0 является |
эллиптической. |
В |
дальнейшем |
ради |
удобства |
|||
мы будем записывать это уравнение |
в |
аффинной |
форме: |
|||||
(4.1.2) |
Е: у2 = |
кх3 - |
g2x - |
|
g3, |
|
|
но всегда будем иметь в виду полную кривую с присоединенной точкой (х, у) = (оо, оо), начальной для Е. В такой ситуации ото бражение (х, у) ь-> (х, —у) задает автоморфизм — 1 кривой Е.
Такая кривая характеризуется своим инвариантом
№= ы = g\lA
(или |
инвариантом |
J E = 2 6 3 3 / Е ) имеющим |
лучшие |
целочислен |
|||
ные |
свойства) в следующем смысле: две кривые Е и Е', |
определен |
|||||
ные |
соответственно |
уравнениями |
у2 = |
Ах3 — g2x |
— g3, |
у2 = |
|
= |
4х3 — g'2x — #з, изоморфны над |
универсальной областью |
тогда |
||||
и |
только тогда, когда |
|
|
|
|
JE = §Ж - 27g\) = g-3/(g? - 27g?) = j E -
Это утверждение можно сформулировать в более строгой форме:
ПРЕДЛОЖЕНИЕ 4.1. Пусть |
кривые Е |
и Е' определены уравнения |
ми у2 = Ах3 - g2x — g3 и |
у2 = 4ж3 |
— g'2x — g'3 соответственно, |
9*
132 |
|
|
|
ГЛ. |
4. |
ЭЛЛИПТИЧЕСКИЕ КРИВЫЕ |
|
|
|
|
|
|||||||
и пусть А, — некоторый |
изоморфизм |
из Е |
на Е'. |
Тогда |
существует |
|||||||||||||
такой элемент |
ц., что |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
g'2 |
= |
!-i4 #2, |
§з |
= |
V?8z, |
Цх, |
у) |
= |
(иЛг, и3 !/). |
|
|
|||||
|
Заметим, |
что |
} Е |
принадлежит |
всякому полю, над |
которым |
||||||||||||
определена |
кривая Е. |
|
Пусть к0 — простое |
поле. Тогда для |
каж |
|||||||||||||
дого j из универсальной |
|
области существует |
эллиптическая |
кривая |
||||||||||||||
Е, |
определенная |
над |
полем |
k0(j), |
с |
инвариантом, |
равным |
у. |
|
|||||||||
|
для У = |
0 положим g2 |
= |
0, g3 |
= |
1; |
|
|
|
|
|
|
|
|||||
|
для 7 = |
1 положим g2 |
= 1, g3 = |
0; |
|
|
|
у |
и |
положим |
||||||||
|
для 7 Ф |
0, |
1 |
решим |
уравнение |
|
g/(g — 27) = |
|||||||||||
ёг |
= £з = £ [S = |
277/(7 — |
1) € &<>(/))• |
(Это |
|
один |
из |
многих |
воз |
можных выборов; его не следует рассматривать как стандартный.)
Для рассмотренной выше кривой Е и для произвольного |
авто |
|||||||
морфизма |
а |
универсальной |
области |
определим |
эллиптическую |
|||
кривую |
|
|
у2 = |
4х3 - glx - |
|
|
|
|
Очевидно, |
что |
Е°: |
gl. |
|
|
|||
j(EG) = |
]{Е)а. |
Поэтому |
кривая Е |
изоморфна |
кри |
|||
вой Еа тогда |
и только |
тогда, когда |
автоморфизм а тождествен |
|||||
на поле k0(jE). |
Поле k0(jE) |
определяется |
этим |
свойством, |
если |
|||
характеристика равна 0; |
в этом случае его называют полем модулей |
кривой Е. Мы только что показали, что кривая Е имеет некоторую модель, определенную над ее полем модулей. Поле модулей можно определить для каждого «поляризованного» абелева мно гообразия; см. § 5.4. Однако непзвестпо, всякое ли поляризован ное абелево многообразие имеет модель, определенную над его полем модулей.
§ 4.2. Эллиптические кривые над полем С
Рассмотрим теперь случай, когда универсальная область является полем комплексных чисел С. Каждая эллиптическая кри вая, определенная над некоторым подполем поля С , как комплекс
ное аналитическое |
многообразие изоморфна одномерному ком |
|||||
плексному тору C/L, где L — некоторая решетка в |
С (под ней мы |
|||||
подразумеваем дискретный подмодуль в С ранга 2 над Z). Обратно, |
||||||
пусть L — произвольная решетка в С. Тогда каждая |
эллиптическая |
|||||
функция |
с периодами из L есть по определению мероморфная |
функ |
||||
ция на С, инвариантная относительно сдвигов на элементы |
из L ; |
|||||
такую функцию мы можем рассматривать на C/L, и обратно. |
||||||
Пусть |
FL — поле |
всех |
эллиптических функций |
с периодами |
||
нз L . Известно, что |
FL |
порождается функциями Вейерштрасса </р |
||||
л g>', определяемыми |
равенствами |
|
|
|||
<g(u)=f(u;L) |
= |
u-2+ |
2 [ ( u - с о ) " 2 - с о " 2 ] , |
|
|
|
|
|
|
|
to£L' |
|
|
( и ) = i f (") = - 2 и _ 3 - 2 2 (" - а )"3 |
{L'=L—(0}). |
|
|
§ 4.2. ЭЛЛИПТИЧЕСКИЕ КРИВЫЕ НАД ПОЛЕМ С |
133 |
|
(Легко видеть, что <(? и <(?' содержатся в FL |
и имеют полюсы только |
|||
при |
и = |
0 (по модулю L) степеней 2 и 3 соответственно. |
Поэтому |
|
в |
силу |
утверждения (3) предложения |
2.11 [FL: |
C(f>)] = 2 |
и [FL: |
C(g>')] = |
3; |
следовательно, |
FL=C(<§>, |
§>'), что и |
требовалось |
||||
доказать.) |
|
|
|
|
|
|
|
|
|
|
Разложения |
Лорана для <(р и <§>' при |
и = 0 имеют |
вид |
|||||||
|
|
|
|
|
со |
|
|
|
|
|
|
|
g> (и) = |
и"2 + |
2 |
( 2 л - 1 ) |
G 2 N (L) и2 ""2 , |
|
|||
|
|
|
|
|
л=2 |
ОО |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Г ( и ) = - 2 и - 8 + 2 ( 2 n - l ) ( 2 / i - 2 ) G 2 n ( ^ ) u 2 " - 3 , |
||||||||
|
|
|
|
|
|
п = 2 |
|
|
|
|
|
|
G a n ( L ) = |
2 |
со"2 ». |
|
|
|
|
||
Таким |
образом, |
|
|
|
|
|
|
|
||
(4.2.1) |
|
|
|
Г 2 |
= 4^3 - *2 (L)*p - |
|
* 3 W , |
|
||
где |
|
g2(L) |
= 60 - G 4 (L), |
g 3 (L) |
= |
140 -G6 (L). |
|
|||
|
|
|
||||||||
(Разность |
g»'2 — (4g>3 — g2.{L)<@ — |
g3(L)) |
|
голоморфна на C/L всю |
||||||
ду, кроме |
точки 0; но из |
приведенного |
выше разложения видно, |
что она голоморфна и в 0, где обращается в нуль; следовательно, эта функция должна быть тождественным нулем.)
Так как FL |
= C(g>, <§>') |
— поле функций рода 1, то |
(4.2.2) |
g2(Lf |
_ 27g3(L)* Ф 0. |
Действительно, если бы левая часть в (4.2.2) была равна 0, то
уравнение |
(4.2.1) |
определяло |
бы кривую рода 0. |
|
||||
Для |
заданной |
решетки |
L |
зададим эллиптическую |
кривую |
|||
(4.2.3) |
|
|
Е: |
у2 = |
4z3 |
- g2(L)x - |
g3(L). |
|
Тогда |
отображение |
и н-*• ( f ( u ) , §>'(")) |
определяет |
изоморфизм |
||||
из C/L |
на |
Е. |
|
|
|
|
|
|
Пусть |
^ по-прежнему |
обозначает верхнюю комплексную полу |
плоскость. Для двух комплексных чисел со± и со2 , для которых
ft>i/co2 € @i |
мы |
имеем решетку |
|
L = |
Z M J + Zco2 . Обратно, каждую |
|||||||||||
решетку на С можно задать |
|
в таком |
виде. Будем |
использовать |
||||||||||||
следующие |
обозначения: |
|
|
|
|
|
|
|
|
|
|
|
||||
f{u; |
щ, |
со2) |
= f{u; |
L ) , |
|
|
|
|
|
|
|
|
|
|||
Д(й)1, |
<в2) |
= |
g2 (cui, |
со2 )3 — |
27g-3 (c0i, |
ш 2 ) 2 , |
|
|
|
|
|
|||||
gz(®u |
©z) |
= |
gz(L), |
|
g3(ou |
|
и 2 ) = |
g3(L) |
(L |
= |
Zcot + |
Zco2 ). |
||||
В § 2.2 |
мы |
определили |
модулярную |
форму |
Д(г) |
и |
модулярную |
|||||||||
функцию j(z) |
|
равенствами |
|
|
|
|
|
|
|
|
|
|||||
Д(£) |
= |
Д(г, |
1) = g2(z, |
I ) 3 |
- |
27g3(z, |
1)\ |
|
|
|
|
|
||||
/00 |
= |
gz(a>u |
oj2 )3 /(g-3 (<»i, |
Щ)3 — |
27g3 (cu1 ) |
co2)a) |
(z |
= |
щ/а2) |
134 |
|
ГЛ. |
4. |
ЭЛЛИПТИЧЕСКИЕ |
КРИВЫЕ |
|
(или же |
J(z) |
= 2°33 -/(z)) и установили ряд фундаментальных |
||||
свойств |
этих |
функций. |
Отметим, что |
j(z) — это |
инвариант ] Е |
|
эллиптической |
кривой |
(4.2.3), изоморфной |
фактору |
C/XZcui -\~ Za>2 ). |
Позднее мы обсудим связь между модулярными функциями выс шего уровня и точками конечного порядка на Е. Мы видим теперь из (4.2.2), что A(z) не обращается в нуль на ,<§, что было лишь сфор мулировано, но не доказано в § 2.2.
|
Покажем, |
что для |
всех г, s £ С, для которых г3 — 27s2 |
Ф О, |
|||||||
существует |
решетка |
L |
в |
С, удовлетворяющая условиям g 2 (L) = |
г |
||||||
и |
g3(L) |
= |
s. Действительно, |
рассмотрим эллиптическую |
кривую |
||||||
Е: |
у2 = |
4а;3 — rx — s. Эта кривая изоморфна тору C/L' при |
неко |
||||||||
торой |
подходящей |
решетке |
L ' и, следовательно, кривой |
у2 |
= |
||||||
= |
4х3 — g2(L')x |
— |
g3(L'). |
В |
силу предложения 4.1 g2(L') |
|
= |
р,4г |
|||
ц |
g3(L') |
= |
LI6 S при |
некотором ц. 6 С. Но тогда решетка |
L |
= |
lib' |
обладает |
нужным свойством. |
В частности, отсюда следует, |
что |
|
функции |
# 2 ( ^ 1 1 со2) |
и g3 (cui, |
со2) алгебраически независимы |
над |
С — это |
требовалось |
при доказательстве предложения 2.27. |
|
§ 4.3. Точки конечного порядка на эллиптической
кривой и корни из единицы
Пусть Е — эллиптическая кривая, определенная над полем характеристики р (р может быть и нулем), и iV — положительное целое число. Положим
|
&(N) |
= |
6(N, Е) |
= |
{t£E |
\Nt = |
0 } . |
|
|
|
Можно |
показать, |
что |
группа |
(}(./V) изоморфна |
подгруппе |
группы |
||||
(ZfNZ)2, |
равной |
произведению |
|
двух |
экземпляров группы |
Z/NZ. |
||||
В частности, если р не делит N, |
то |
g(iV) изоморфна |
(Z/NZ)2. |
(Это |
||||||
очевидно, если универсальной |
|
областью является |
поле |
С, |
так |
как кривая Е изоморфна тогда комплексному тору.) Следует также заметить, что
(4 3.1) если кривая Е определена |
над |
/с, то |
координаты |
каждой |
точки конечного порядка |
на Е |
суть |
алгебраические |
над к |
элементы. |
|
|
|
|
Это очевидно, так как число образов любой такой точки t при изо морфизмах над к пе превосходит N2, если t 6 $(Ю-
Зафиксируем теперь простое |
рациональное число I и положим |
||||||||
|
|
9<"= |
со |
6(П- |
|
|
|
||
|
|
U |
|
|
|
||||
|
|
|
71=1 |
|
|
|
|
|
|
Если р не делит I, то можно показать, что |
д< ( ) изоморфно |
группе |
|||||||
(Qz/Zj)2 , |
где Qj — поле Z-адических |
чисел |
и |
Z j — кольцо |
целых |
||||
Z-адических чисел. Пусть а £ End(E). |
|
Тогда |
а |
индуцирует |
некото |
||||
рый эндоморфизм |
группы |
з < г ' . |
Так |
как |
каждый эндоморфизм |
||||
группы |
(Q,/Zz)a |
очевидным |
образом |
представляется^ некоторым |
|
|
|
§ 4.3. ТОЧКИ КОНЕЧНОГО ПОРЯДКА |
|
|
|
|
135 |
||||||||||||
элементом |
алгебры |
|
M 2 ( Z ; ) , |
мы получаем |
инъективный |
|
гомомор |
|||||||||||||
физм пз End(i?) в M 2 |
( Z ( ) , |
который можно продолжить до инъектив- |
||||||||||||||||||
ного гомоморфизма |
Rt |
из |
EndQ (Е) |
в |
M 2 ( Q i ) - Назовем |
Rt |
|
Z-адиче- |
||||||||||||
ским представлением кольца E n d Q (Е). |
Можно показать, что харак |
|||||||||||||||||||
теристический многочлен преобразования Ri(a) |
при произвольном |
|||||||||||||||||||
а 6 End<j (Е) |
имеет |
рациональные |
коэффициенты |
(и |
целые |
коэф |
||||||||||||||
фициенты, |
еслн |
а |
£ |
End(jE')) и не |
зависит |
от |
I. |
|
|
|
|
|
|
|||||||
Мы свяжем сейчас с двумя произвольными элементами |
s и |
t |
||||||||||||||||||
группы Q(N) некоторый корень iV-й степени из единицы, |
обозна |
|||||||||||||||||||
чаемый через eN(s, |
|
t). Пусть D0 |
— модуль всех дивизоров степени О |
|||||||||||||||||
на Е и DH |
— подмодуль в D0, |
состоящий из дивизоров всех |
функ |
|||||||||||||||||
ций на Е, |
т. е. DJDH |
|
|
— модуль всех классов дивизоров |
степени О |
|||||||||||||||
на кривой Е. Для каждой точки t £ Е пусть (it) обозначает |
|
дивизор, |
||||||||||||||||||
ассоциированный |
с |
точкой |
t. |
Хорошо известно, что |
отображение |
|||||||||||||||
t н-> (г) — ( 0 ) £D0 |
задает |
некоторый изоморфизм группы Е |
на груп |
|||||||||||||||||
пу D0/DH. |
|
(Действительно, |
групповой закон |
на |
Е |
определяется |
||||||||||||||
с помощью |
этого |
взаимно |
однозначного |
соответствия |
|
между |
Е |
|||||||||||||
и D0/DH.) |
|
Следовательно, |
|
|
|
|
|
т |
|
|
|
т |
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
( 4 . 3 . 2 ) |
если |
|
|
|
tm£E, |
|
си |
|
|
cM €Z,jj YjCj=0 |
и |
|
2 С ^ = °> |
|||||||
|
|
|
т |
|
|
|
|
|
|
|
|
|
t=i |
|
|
|
i=i |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то |
2 a |
(tt) 6 |
DH. |
|
|
|
|
|
|
|
|
|
|
|
|
||||
Если |
t |
es(N), |
|
то |
N-({t) |
— ( 0 ) ) 6 Д Н ; поэтому |
N-{(t) |
|
— ( 0 ) ) = |
=div(/) для некоторой функции / на кривой Е. Выберем на Е
такую |
точку t', |
что |
Nt' = |
t. В |
силу |
( 4 . 3 . 2 ) на Е |
существует |
функ |
||
ция £,?для которой |
|
|
|
|
|
|
|
|
||
|
|
d i v ( g ) = |
2 |
(t' + |
u)- |
2 |
(и). |
|
|
|
Легко |
видеть, |
что |
функции |
f(Nx) |
и! |
g(x)N |
(х |
6 Е) имеют |
один |
|
и тот же дивизор. Домножая / на подходящую |
константу, мы |
полу |
чаем две функции / и g, характеризуемые с точностью до постоян ного множителя равенствами
|
div(/) = |
N-((t) |
- |
( 0 ) ) , |
|
|
g(xf |
= |
f(Nx), |
x 6 E. |
|
||||
Если |
s 6g(A0, |
то |
|
g(x |
+ |
s)N |
= |
g(x)N |
; |
следовательно, |
|
||||
|
|
|
|
|
|
g(x |
+ |
s) |
= |
eB{s, |
t)g(x) |
|
|
||
для некоторого корня N-ш степени |
из |
единицы |
eN(s, t). |
|
|||||||||||
ПРЕДЛОЖЕНИЕ 4 . 2 . Предположим, |
что число N взаимно |
просто |
|||||||||||||
с характеристикой |
|
универсальной |
области. |
Тогда |
функция eN(s, t) |
||||||||||
на прямом |
произведении |
Q(N) X Q(N) |
обладает |
следующими |
свой |
||||||||||
ствами: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1) |
eN(si |
+ |
sz, |
t) |
= |
eN(si, |
t)eN{sz, |
|
t); |
|
|
|
|||
( 2 ) |
eN(s, |
ti |
+ |
tz) |
= |
eN(s, |
ti)eN(s, |
|
t2)-h |
|
|
|
136 |
|
|
|
|
|
|
ГЛ. |
|
4. |
ЭЛЛИПТИЧЕСКИЕ |
КРИВЫЕ |
|
|
|
|
|
|
|
|||||||||||
|
(3) |
|
eN{t, |
|
s) |
= |
eN(s, |
|
г)""1; |
|
|
|
|
|
|
|
|
|
|
|
|
i) = 1 |
|
|
|||||
|
(4) функция eN(s, |
t) |
невырожденна, |
т. |
е. |
если |
eN(s, |
|
|
для |
|||||||||||||||||||
всех |
s (i $(N), |
то |
t = |
0; |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
(5) |
|
если |
t — точка |
порядка |
N, |
то |
eN(s, |
|
t) — |
первообразный |
||||||||||||||||||
корень |
|
N-й |
степени |
из единицы |
|
при |
некотором |
s £ g(/V); |
|
|
|
|
|||||||||||||||||
|
(6) |
eN(s, |
|
t)a |
= |
eN(sa, |
|
ta) |
для |
каждого |
автоморфизма |
а |
универ |
||||||||||||||||
сальной |
области |
над |
|
полем |
определения |
|
кривой |
Е. |
|
|
|
|
|
|
|||||||||||||||
|
Д о к а з а т е л ь с т в о . |
|
Первое |
и |
последнее |
свойства |
оче |
||||||||||||||||||||||
видны в силу самого определения. |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
Чтобы доказать (2), положим t3 |
= |
tt |
+ t2, и |
пусть |
ft |
и gt |
— |
|||||||||||||||||||||
функции, |
обладающие |
указанными |
выше |
свойствами |
для |
точек |
|||||||||||||||||||||||
tt, |
i |
= |
|
1, |
2, |
3. Так |
как t± |
+ |
|
t2 — t3 — 0 = |
0 |
в |
силу |
(4.3.2), |
то |
||||||||||||||
существует |
функция |
h |
на |
Е, |
|
для |
которой |
div(ft) = |
(tj |
+ |
(t2) |
— |
|||||||||||||||||
- |
(*3) |
- |
(0). |
Тогда |
|
divifjj;1) |
|
|
|
= d i v ( W ) , |
так |
что |
|
|
= |
|
ch» |
||||||||||||
при |
некоторой |
константе |
с. |
|
Поэтому (gyg2g31)(x) |
|
= |
|
c'HNx) |
при |
|||||||||||||||||||
некоторой константе с'; отсюда получаем (2). |
|
|
|
|
|
|
|
||||||||||||||||||||||
|
Для доказательства (3) заметим, что |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
N-l |
|
|
|
|
|
|
|
N-1 |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
d i v ( П |
f(x-it))=N- |
|
|
|
S |
|
|
|
({it+-t)-(it))=0; |
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
i=0 |
|
|
|
|
|
|
|
i=0 |
|
|
|
|
|
|
|
|
|
|
|
|
||
следовательно, |
N-i |
f(x |
|
— it) — константа. |
Поэтому, |
если |
Nt' |
= t, |
|||||||||||||||||||||
[ J |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
i=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то |
и |
произведение |
|
Q |
g(x — it') |
|
должно |
быть |
константой. Подстав- |
||||||||||||||||||||
|
|
|
|
|
|
|
|
i=0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ляя |
х — t' |
вместо |
х, |
получаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
g(x)g(x |
-t') |
|
. . . |
g(x |
- |
|
(N |
_ |
|
l)t') |
= |
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
= g(x |
-t') |
. . . |
|
g(x |
~(N |
- |
l)t')g(x |
- |
|
t), |
|||||||
так |
что |
|
g(x) = |
g(x |
— t), |
откуда |
eN(t, |
t) |
= |
|
1, и, |
следовательно, |
|
(3) |
|||||||||||||||
доказано. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Если eN(s, |
t) |
= |
1 для всех s 6 зС^О, т |
° |
|
|
+ |
s ) |
= |
i(x) |
Д л |
я в |
с |
е х |
||||||||||||||
s 6 d(N). |
Поэтому |
g(x) |
|
= |
p(Nx) |
|
для |
некоторой |
функции |
р |
на |
|
Е. |
||||||||||||||||
Таким |
образом, |
f(x) |
= |
|
p(x)N |
и |
div(p) = |
(t) |
— (0), |
а это |
возможно |
||||||||||||||||||
только |
|
тогда, |
когда |
t = |
0, |
поскольку |
Е |
— кривая |
рода |
1. |
Это |
||||||||||||||||||
доказывает |
(4). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
Наконец, чтобы доказать (5), рассмотрим произвольную точку t |
||||||||||||||||||||||||||||
порядка TV, и пусть |
ТN |
|
— группа всех корней JV-й степени из еди |
||||||||||||||||||||||||||
ницы. Тогда s н-»- eN(t, |
|
s) |
— гомоморфизм |
из |
$(N) |
в |
ТN. |
Если |
|
он |
не сюръективен, то существует такой положительный делитель М
числа N, что, будучи меньшим, чем N, он дает равенство |
eN(s, |
t)M |
= |
||
= 1 для |
всех s £ Q ( N ) . В силу (4) отсюда |
следует, что |
Mt = |
0; |
мы |
пришли |
к противоречию. Доказательство |
закончено. |
|
|
|
§ 4.4. ИЗОГЕНИИ И ЭНДОМОРФИЗМЫ ЭЛЛИПТИЧЕСКИХ КРИВЫХ |
137 |
||
§ 4.4. Изогении и эндоморфизмы |
эллиптических |
|
|
кривых над полем С |
|
|
|
Пусть Е и Е' — эллиптические |
кривые, изоморфные |
C/L |
|
и С/Z/ соответственно при некоторых |
решетках L и L ' на С. |
Тогда |
каждый гомоморфизм кривой Е в кривую Е' соответствует неко торому комплексному аналитическому гомоморфизму простран
ства C/L в пространство |
С/Z/ |
и |
обратно. Всякий |
комплексный |
|||||||||
аналитический гомоморфизм из C/L в С/Z/ задается некоторым |
|||||||||||||
линейным отображением и н-*• \ш, где |
р, — такое |
комплексное чис |
|||||||||||
ло, |
что f i L c |
L ' . |
Поэтому |
|
|
|
|
|
|
|
|
||
|
H o m ( £ , |
Е') |
~ I i o m ( C / L , |
C/L') |
= |
{ц. £ |
С |
| дХ cz V}. |
|||||
В |
частности, |
|
|
|
|
|
|
|
|
|
|
|
|
|
End(£) |
~ |
End(C/L) = |
{ц. 6 |
С |
| pLa |
L ) , |
|
|||||
|
E n d Q (Я) |
~ |
E n d Q |
(C/L) = |
(и. б |
С |
| j i - ( Q L ) с : |
Q L } . |
Здесь QL обозначает Q-линейную оболочку решетки L . Мы гово рим, что эллиптическая кривая Е обладает комплексным умноже нием, если End(2?) Ф Z.
где |
ПРЕДЛОЖЕНИЕ |
4.3. |
Пусть |
|
L = |
Z®i |
+ |
Zco2 u Z/ = |
ZcOj + Zcoj, |
|||||||||||||||
z = |
|
coj/coa £ j§ |
w z' = |
(OJ/OJ^ 6 £>• |
Гогда |
кривые |
C/L |
и |
С/Z/ |
|||||||||||||||
изогенны |
(соответственно |
изоморфны) |
в том и только в том |
случае, |
||||||||||||||||||||
когда существует |
такой |
элемент а |
группы |
GL*(Q) |
(соответственно |
|||||||||||||||||||
SL 2 (Z)), |
что |
а(г') |
= |
z, |
где |
GL+(Q) |
= |
{£ 6 |
G L 2 ( Q ) | det(g) > |
0 } . |
||||||||||||||
|
Д о к а з а т е л ь с т в о . |
|
Если |
число |
0 Ф ц. £ С |
таково, |
что |
|||||||||||||||||
Ц-Ь с : Ь |
|
, то существует элемент а |
= |
с d |
из |
пересечения |
M 2 (Z) П |
|||||||||||||||||
П |
G L 2 ( Q ) , для |
которого |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
"«>Г |
|
"а |
b |
|
со, |
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
С 0 2 |
_ |
|
с |
d |
|
со, |
|
|
|
|
|
|
|
|
|
следовательно, |
d e t ( a ) > 0 |
и |
z = a(z') . Обратно, |
если a ( z ' ) = z |
для |
|||||||||||||||||||
|
"а |
Ь1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
а = |
с |
d ^ M 2 ( Z ) n G L + ( Q ) , |
положим |
A. = |
c z ' - - d . |
Тогда |
ХфО |
и |
||||||||||||||||
|
|
|
|
|
|
|
а Ъ~ |
V " |
|
|
|
|
|
|
щ |
|
|
|
со, |
|
||||
(4.4.1) |
|
|
. 1 . |
|
с |
d_ |
|
1 |
, |
ИЛИ |
|
(XCU2/CU2) |
_ С 0 2 _ |
с |
d_ |
|
со. |
|
||||||
следовательно, |
иХ cr L ' |
при |
|
и. = |
A,coa/co2. В частности, |
|
u.L = |
Z/ |
||||||||||||||||
тогда и только тогда, когда a |
£ S L 2 ( Z ) . |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
ПРЕДЛОЖЕНИЕ |
4.4. |
Пусть |
L = |
ZcOi + |
Zco2 |
при |
% = |
coj/сог 6 |
|||||||||||||||
Кривая |
|
CIL |
обладает |
комплексным |
умножением |
тогда |
|
и |
только |
|||||||||||||||
тогда, |
когда |
существует |
такая нескалярная |
матрица |
а |
в |
группе |
|||||||||||||||||
GL+(Q), |
что a(z) |
= |
z. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
138 |
ГЛ. 4. ЭЛЛИПТИЧЕСКИЕ КРИВЫЕ |
Д о к а з а т е л ь с т в о . Повторим доказательство предложе ния 4.3 для случая z = z' и сог = щ. Тогда мы увидим, что каж дому числу р. Ф 0, удовлетворяющему условию \iLczL, можно
'а Ъ~
поставить |
в |
соответствие |
некоторый |
элемент |
а = I с d |
||
чения M 2 ( Z ) |
П G-Lj(Q) по формуле |
(4.4.1) |
при и. |
||||
Из (4.4.1) |
получаем |
|
|
|
|
|
|
|
|
Z Z |
0" |
'а |
Ь~ |
Z Z |
|
(4.4.2) |
|
1 1 |
>0 V- |
с |
d |
1 1 |
из пересе-
к п z = z'.
Легко видеть, |
что |
р. 6 Z тогда и только |
тогда, |
когда а — скаляр |
||||||||||||||
ная матрица. Предложение |
доказано. |
|
|
|
|
|
|
|
||||||||||
|
ПРЕДЛОЖЕНИЕ 4.5. Пусть |
L и z те же, |
чг?ю в предложении |
4.4. |
||||||||||||||
Тогда |
C/L |
обладает |
комплексным |
умножением |
в |
том |
и только |
|||||||||||
в |
том случае, |
когда |
поле |
Q(z) |
является |
мнимым |
квадратичным. |
|||||||||||
Если |
это |
так, то |
кольцо |
EHCIQ |
( C / L ) изоморфно полю |
Q(z). |
|
|
||||||||||
|
Д о к а з а т е л ь с т в о . |
Если в соотношении |
(4.4.2) матрица |
|||||||||||||||
а |
= |
а Ь~ |
не скалярная, то число |
р не может быть вещественным; |
||||||||||||||
с d |
||||||||||||||||||
кроме того, |
р, и |
р, |
суть |
характеристические |
корни |
матрицы |
а |
|||||||||||
и |
поэтому |
удовлетворяют |
|
некоторому |
квадратному |
уравнению |
||||||||||||
над Q. Так как ц. = |
cz + |
d и с Ф |
0, то |
Q(z) = |
Q(p.), так что поле |
|||||||||||||
Q(z) |
должно |
быть |
мнимым |
квадратичным. |
Обратно, |
если |
К |
= |
||||||||||
= |
Q(z) — мнимое |
квадратичное |
|
поле, |
то |
QL = |
co2 -(Qz + |
Q) |
= |
=(о2К, так что
(4.4.3) |
E n d Q ( C / L ) = {u. 6 С | n Q L c |
Q L } = {р |
6 С | \лК с:щАК} |
= Я . |
|||||||||||
ПРЕДЛОЖЕНИЕ |
4.6. Пусть |
L |
и z'me |
же, |
что в предложении |
4.4. |
|||||||||
Предположим, |
что кривая |
C/L обладает комплексным |
умножением, |
||||||||||||
и пусть |
К |
= |
Q(z). Тогда |
существует |
инъективный |
гомоморфизм |
|||||||||
(или попросту |
погружение) |
q поля |
К |
в алгебру |
M 2 ( Q ) , |
для которого |
|||||||||
(АЛЛ) |
|
|
|
q(K*) |
= |
{а |
б GL2 + (Q)| a(z) |
= |
z}. |
|
|
||||
Д о к а з а т е л ь с т в о . |
В |
силу |
(4.4.2) и (4.4.3) |
можно опре |
|||||||||||
делить |
матрицу |
q(\n) для |
числа |
р £ |
|
равенством |
|
|
|||||||
(4.4.5) |
|
|
|
|
|
|
- |
3 |
(|x)i |
|
|
|
|
|
|
Тогда утверждение становится очевидным в |
силу (4.4.3) и дока |
||||||||||||||
зательства предложения 4.4. |
|
|
|
|
|
|
|
|
|||||||
ПРЕДЛОЖЕНИЕ |
4.7. |
Пусть |
К |
— мнимое |
квадратичное |
поле |
|||||||||
и q — некоторое |
погружение |
поля |
К |
в алгебру |
M 2 ( Q ) . |
Тогда |
суще |
||||||||
ствует |
точка |
z |
на полуплоскости |
|
$Q, для |
которой |
выполняется |
||||||||
соотношение |
(4.4.4). |
|
|
|
|
|
|
|
|
|
|
|
§ 4.4. ИЗОГЕНИИ И ЭНДОМОРФИЗМЫ ЭЛЛИПТИЧЕСКИХ |
КРИВЫХ 139 |
|||
Д о к а з а т е л ь с т в о . |
Пусть X £ К — Q и а = |
q(X). Тогда |
||
det(ct) = |
NK/Q (X) = |
XX > 0 и а имеет X и X в качестве характери |
||
стических |
корней. |
Поэтому а |
как преобразование полуплоскости |
@ является эллиптическим и обладает некоторой неподвижной
точкой г в ^ . Если записать соотношение (4.4.2) для полученных |
а |
|||||||||||||||||
и |
z, |
то |
окажется, |
что |
X = |
р. или |
X = |
р. В |
любом |
случае |
Q(z) |
= |
||||||
= |
Q(X) = К. |
Если |
д' |
обозначает |
погружение поля |
К |
в |
алгебру |
||||||||||
M 2 ( Q ) , |
определенное |
равенством |
р, 1 |
|
|
|
|
то |
q(X) = q'(X) |
|||||||||
и |
д(А,) = |
д'(Х) |
Так как i f |
= |
Q(A-), отсюда |
следует, что |
или д(р) |
= |
||||||||||
= |
g'(p) |
для всех |
\л |
£ К, |
или g(p) |
= д'(р) |
для всех |
р. 6 К. |
Поэтому |
|||||||||
наше утверждение |
получается из |
предложения |
4.6. |
|
|
|
||||||||||||
|
Мы уже видели, что существует ровно два погружения поля К |
|||||||||||||||||
в |
алгебру M 2 ( Q ) , |
обладающих свойством |
(4.4.4) |
для фиксирован |
||||||||||||||
ной точки z. Погружение q назовем нормализованным, |
если оно |
|||||||||||||||||
определено равенством (4.4.5). Второе погружение |
определяется |
|||||||||||||||||
через (4.4.5) |
после |
замены |
z на z. |
|
|
|
|
|
|
|
|
|||||||
|
Пусть q и q' — произвольные погружения одного и |
того |
же |
|||||||||||||||
поля К в алгебру |
M 2 ( Q ) . Тогда существует |
такой |
элемент |
В груп |
||||||||||||||
пы |
G L 2 ( Q ) , |
что |
g'(p) |
= |
Bg(p)B_ 1 |
для |
всех |
р, £ К. |
(Это |
хорошо |
известно и может быть доказано так. Пользуясь погружением q
(соответственно q'), |
рассмотрим |
Q2 как одномерное векторное про |
|||||||
странство V (соответственно V ) |
над полем К. Тогда V и |
V |
долж |
||||||
ны быть изоморфны над К; это |
означает, что существует |
Q-линей- |
|||||||
ный автоморфизм 6 пространства Q2 , для которого g'(p)B |
= |
Вд(р,).) |
|||||||
Пусть |
z (соответственно z') — неподвижная |
точка |
группы q(K ) |
||||||
(соответственно q'(K*)) на ,<д. Тогда P(z) равна или |
z', или |
z', так |
|||||||
как z' |
и |
z' — единственные |
неподвижные |
точки |
на |
С |
группы |
||
q'(Kx). |
Поэтому В |
равно либо с |
либо |
|
при некотором |
||||
ненулевом комплексном числе с. Следовательно, если q и q' |
норма |
||||||||
лизованы, |
то число |
det (P) должно быть |
положительным. |
|
Зафиксируем теперь мнимое квадратичное поле К (оно всегда рассматривается как подполе в С) и определим все классы с точ
ностью до изоморфизма |
таких эллиптических |
кривых Е, что коль |
||||
цо |
EndQ(i?) изоморфно |
К. |
Заметим сначала, |
что кольцо Еп&(Е) |
||
является порядком в поле Endo^E1 ). |
|
|
||||
Вообще под порядком |
в поле алгебраических чисел F конечной |
|||||
степени мы подразумеваем подкольцо в F, содержащее Z и являю |
||||||
щееся Z-модулем ранга |
[F: |
Q]. Каждый порядок в F содержится |
||||
в кольце всех целых алгебраических чисел в F, |
которое называет |
|||||
ся максимальным |
порядком |
в F. Под решеткой |
(или Ъ-решеткой) |
|||
в F мы подразумеваем свободный Z-подмодуль в F ранга IF : Q]. |
||||||
Для |
произвольной |
Z-решетки а в F кольцо о = . {р. б F | р, а с= а} |