CC BY
20
УДК 511.22
Вестник СПбГУ. Сер. 1. Т. 3(61). 2016. Вып. 4
РЕГУЛЯРНЫЕ ФОРМАЛЬНЫЕ МОДУЛИ
В ОДНОМЕРНЫХ ЛОКАЛЬНЫХ ПОЛЯХ*
С. М. Власьев, С. В. Востоков, А. А. Горшков
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
В работе исследуется проблема описания неразветвленных расширений локального поля, которые вместе с основным полем не содержат нетривиальных корней изогении формальной группы, заданной над кольцом целых этого поля. Эта задача возникла при изучении расширений без высшего ветвления для мультипликативных формальных групп в работе З. И. Боревича (1962). Библиогр. 6 назв.
Ключевые слова: локальное поле, вполне регулярное локальное поле, формальный модуль, формальная группа.
1. Введение. При исследовании нормальных расширений без высшего ветвления возникла задача описания всех неразветвленных расширений локального поля, которые вместе с основным полем являются регулярными, то есть не содержащими нетривиальных р-х корней из 1 (где р — характеристика поля вычетов локального поля). Основное локальное поле при этом называется вполне регулярным. Эта задача была решена З. И. Боревичем в работе [1]. Основной результат этой работы, доказательство которого было упрощено Д. К. Фаддеевым и приведено там же, является следующим.
Теорема 1.1. (З. И. Боревич, 1962). Для того чтобы локальное поле К было вполне регулярным, необходимо и достаточно, чтобы показатель ветвления е расширения К/не делился на р — 1.
Аналогичная задача возникает в арифметике формальных модулей. Она и решается в настоящей работе. Чтобы сформулировать эту задачу в общем случае, введем необходимые обозначения.
Пусть К — локальное поле, О к —его кольцо целых, Мк — максимальный идеал в Ок, Г(Х,У) — одномерная коммутативная формальная группа над Ок (далее мы будем писать просто формальная группа), ¡(X) —ее обратный элемент. Заметим, что на множестве Мк можно задать структуру группы:
(а +р в)(Х ) = Г (а, в), а, в € Мк,
(—ра)(Х)= ¡(а), а € Мк.
Теперь пусть по —простой элемент в подполе Ко поля К, Г(X, У) — формальная группа над Ок такая, что Епёок (Г) = ОКо.
Определение 1.1. Под формальным ОКо -модулем Г (Мк) мы будем понимать Ок0-модуль, построенный на максимальном идеале Мк кольца целых О к с помощью следующих операций:
а +р в ■= Г (а, в), а ■ а ■= [а]р (а), а € Око, а, в € Мк.
* Работа выполнена при финансовой поддержке РФФИ (грант №14-01-00393). (¡5 Санкт-Петербургский государственный университет, 2016
Определение 1.2. Обобщая определение регулярного локального поля в работе З. И. Боревича, мы называем локальное поле К (а вместе с ним и формальный модуль Г(Шк)) регулярным относительно формальной группы Г, если К (а значит, и Г (Шк)) не содержит нетривиальных корней изогении [по^.
Определение 1.3. Будем называть локальное поле К (а вместе с ним и формальный модуль Г (Шк)) вполне регулярным относительно формальной группы Г, если любое его конечное неразветвленное расширение Ь/К (а значит и Г(Шь)) является регулярным относительно формальной группы Г.
Например, пусть Гт = X + У + ХУ — мультипликативная формальная группа. Эндоморфизмы умножения в Гт для г € N имеют вид
[г]рт (х) = (1 + х) - 1,
Кет[р]Рт = [С =(С - 1)},
где С — первообразный корень р-й степени из 1. Диаграмма полей выглядит в этом случае так:
Рр -► Ь = К,
-> Ок,
р ->• п.
Сформулируем теорему 1 в терминах регулярного формального модуля.
Теорема 1.2. Пусть К —регулярное локальное поле, Гт(Х,У) —мультипликативная группа над Жр. Тогда поле К, а значит, и формальный модуль Гт (Шк) являются вполне регулярными относительно формальной группы Г тогда и только тогда, когда индекс ветвления е = е(К/£(р) не делится на р — 1.
Таким образом, мы перенесли постановку задачи на область арифметики формальных модулей. Далее эта задача будет решаться для различных одномерных формальных групп (формальных модулей).
2. Основные обозначения. Введем основные обозначения: К — конечное алгебраическое расширение поля <Рр; К0 — подполе в К;
Т — подполе инерции в К со степенью инерции /о; О к —кольцо целых К, Ок0 —кольцо целых Ко; п —простой элемент О к, по —простой элемент Ок0;
Г (Х,У) —одномерная коммутативная формальная группа над О к, причем Епё0к (Г) = Око;
Ь — расширение поля К, не содержащее Кег_р[по] (без нуля); О ь — кольцо целых Ь; П — простой элемент Оь.
Общая диаграмма (башня) полей выглядит так:
<рр —- Ко — —> К -> Ь,
1р —- -> Око —> Ок — -> Оь
р —> по -> п — -> П.
3. Многочленная формальная группа. Пусть K — конечное расширение поля Qp и c — некоторая единица в K.
Определение 3.1. Формальную группу вида Fc(X, Y) = X + Y + cXY назовем .многочленной формальной группой.
Замечание 3.1. Известно, что End(Fc) = Zp (см. [2]), то есть в общем случае эта формальная группа не является группой Любина—Тейта. Однако, например, для c € Zp она таковой является.
Легко видеть, что справедливо равенство
Fc(X,Y) = c-1((1 + cX)(1 + cY) - 1). Тогда несложно доказать, что (см., например, [3]) выполняется
[p]Fc (X) = c-1([p]Fm (cX)) = c-1((1 + cX)p - 1),
Ker[p]Fo = {£ = c-1(Z - 1)},
где Z — первообразный корень p-й степени из 1. Пусть £ € KerpF(X), £ = 0.
Лемма 3.1. Справедливо равенство
-p = ((e(X)c)X)p-1 |x=5, где e € 1 + Zp[c][\X|]. (1)
Доказательство. Действительно, из определения [p]Fc(X) получаем
=р + С2сХ + ... + СР-'сР^ХР-2 + (сХ)Р-1 = рп{Х) + (сХ)Р-\
C2 сР—1
где г](Х) = 1 + -fcX + ... + -JS—cp-2Xp-2 е Т[с][Х]. Поэтому выполняется
-p = n(X )-1(cX )p-1 \x=i.
Так как n(X)-1 = 1 mod (X), найдется ряд e(X) € Z[c][\X|], e(X) = 1 mod (X) такой, что e(X)p-1 = n(X)-1. Тогда будем иметь
-p = ((e(X )c)X )p-1\x=5.
□
Пусть L — конечное расширение поля Qp и c — некоторая единица в L. Пусть Fc (X,Y) —многочленная формальная группа над Zp [c]. Пусть £ = 0 — корень изоге-нии [p]fc (X), причем £ € L. Тогда диаграмма полей выглядит следующим образом:
Qp -> Qp[c] -> L,
Zp -> Zp[c] -► Ol,
p -> n -> П.
Теорема 3.2. Поле L, а значит, и Fc(ML) являются вполне регулярными относительно формальной группы Fc(X,Y) тогда и только тогда, когда индекс ветвления e = e(L/Qp) не делится на p — 1.
Доказательство. Из равенства (1) леммы 3.1 следует
—p = шс)р-1 е-1,
то есть р = (е(£)с)£. Отсюда получаем
¿(Кефк) = НО = Ч »--¡f=p). (2)
Пусть имеем —p = Певи, где П — простой элемент в L, в G R — представитель Тейх-мюллера в поле L, u — главная единица поля L.
Если e = 0 mod (p — 1), то имеет место равенство
где Up 1 = u,ui G L. Отсюда получаем
Ц = Ц
то есть расширение L{ p^—p)/L неразветвлено, а значит, согласно (2), расширение L(Ker[p]_Fc)/L тоже неразветвлено, следовательно Fc(Ml) не является вполне регулярным модулем.
Если e ф 0 mod (p — 1), то справедливо равенство
и L( p~-tf^p) = Ь( Р~\/Пе0) разветвлено над L, откуда Рс{Шь) — вполне регулярный модуль. □
Замечание 3.2. Условие неразветвленности получилось таким же, как и в случае мультипликативной формальной группы Fm.
4. Формальная группа Любина—Тейта
Определение 4.1. Пусть K — конечное расширение поля Qp. Введем как множество формальных степенных рядов f (X) G Ok [|X|] таких, что выполняется
f (X) ф nX mod deg 2, f (X) ф Xq mod п,
где п — простой элемент в K и q — количество элементов поля частных поля K.
Тогда по известной теореме (см. [4]) для каждого f (X) из однозначно строится формальная группа Fn над Ok , которая называется формальной группой Любина— Тейта. При этом отображение Ok ^ EndoK (Fn) : а ^ [a]Fn является кольцевым гомоморфизмом и f = [n\Fn.
Пусть формальная группа Любина—Тейта Fn (X, Y) построена по изогении
[n](X )= nX + no^X2 + ...+ Xq + ... (3)
Заметим, что в этом случае будем иметь Ок0 = О к ,Ко = К,по = п. Пусть Ь — расширение поля К такое, что Кетрп [п] (без нуля) не содержится в Ь. Тогда диаграмма полей имеет вид
Qp - —> K -► L,
Zp - -> Ok - -> Ol
p —— -> п — -> П.
Теорема 4.1. Поле L, а значит, и Fn(ML) являются вполне регулярными относительно формальной группы Fn тогда и только тогда, когда индекс ветвления e = e(L/K) не делится на q — 1.
Доказательство. Так как Fn(X, Y) построена по изогении (3), то [n](X) можно представить в виде
[n](X) = nXe(X) + Xq,
где e(X) = 1 mod X. Заметим, что так как q — 1 и p взаимно просты, то из ряда e(X)-1 в этом случае можно извлечь в кольце Ok[|X|] корень степени q — 1. Это означает, что существует ряд u(X) G 1 + XOk[|X|] такой, что u(X^^ = e(X)-1, поэтому имеет место равенство
X
Получаем уравнение для корня изогении X = 0:
—п =(Xu(X ))q-1 = Yq-1.
Так как L — расширение поля K, П — простой элемент в L, то для e = e(L/K) имеем
—п = ПевП(П),
где п(П) = 1 mod П — главная единица. Если имеем e = (q — 1)e', то получим
—п = (пе' т(п)у-1 в,
где ni 1 = П. И значит, выполняется
Y = Пе П1
■J-1/
где Пе П1 € Ь, а в из неразветвленного расширения поля Ь. Таким образом, Ь(У)/Ь неразветвлено, а значит ^(ЭЛх) не является вполне регулярным модулем.
Если е не делится на </ — 1, то Ь(У) = Ь( ч~у/—тг) = Ь( Ч^\/Иев) разветвлено над Ь, откуда F7Г(ÍШL) —вполне регулярный относительно группы модуль. □
5. Формальная группа Хонды. Пусть К — конечное неразветвленное расширение <Рр. Рассмотрим Д —оператор Фробениуса в Ок[|Х|] :
Д (X) =^2 а1 € О к,
где Fr — продолжение автоморфизма Фробениуса на К/О^р. Множество операторов агДг, где аг € Ок, образуют некоммутативное кольцо Ок [| Д |] формальных степенных рядов от Д, для которого выполняется Да = аРг Д для а € О к.
Определение 5.1. Пусть Ко —конечное расширение поля ц — количество элементов поля частных поля Ко, К — конечное неразветвленное расширение Ко, по — простой элемент в К0. Формальная группа Г над Ок с логарифмом logF (X) € К[|Х|] называется формальной групппой Хонды, если выполняется
и о = 0 шоё по
для некоторого оператора и = по + ах Л +... € Ок [| Л |]. Оператор и называется типом формальной группы Г.
Пусть опять Ко — конечное расширение поля К — конечное неразветвленное расширение Ко. Рассмотрим Г (Х,У) —группу Хонды над О к высоты Н такую, что ОКо = Епё0к Г. Пусть Ь — расширение К такое, что Кег_р [по] (без нуля) не содержится в Ь. Тогда диаграмма полей имеет вид
Рр -> Ко -> К -► Ь,
Жр -> Око -> Ок -> Оь,
р ->• по ->• по ->• П.
Теорема 5.1. Поле Ь, а значит, и Г(Шь) являются вполне регулярными относительно формальной группы Г тогда и только тогда, когда индекс ветвления е = е(Ь/К) не делится на — 1.
Доказательство. Заметим, что е = е(Ь/К) = е(Ь/Ко), так как расширение К/Ко неразветвлено по условию.
Пусть по — простой элемент в Ко. Рассмотрим эндоморфизм формальной группы Г умножения на по:
[по^(X) = поХ + а2поХ2 + ... + ачнX^ + ..., а* € Ок
и адн € О*к, так как высота Г равна Н. Все коэффициенты аI € поОк, так как по условию расширение Ок/Око неразветвлено.
По подготовительной лемме Вейерштрасса существует е(Х) € 1 + XОк0 [|Х|] такой, что выполняется
/(X) := Щ^е(Х) = по + но^Х1 + ... + пос^Х^2 + с^Х^1, X
где ечн_1 € О*к.
Ясно, что справедливо равенство
Кег[поЬ (X ) = Кег/(X).
Пусть п — корень многочлена ](X) и соответственно ненулевой корень [по](X) = 0, тогда расширение К(п)/К вполне разветвлено и п — простой элемент в нем. Поэтому в поле К(п) имеем
—по + схп + ... + едн_2пд 2^ = едн_хпд
-дП
откуда получаем
пН- 1
— по = СдН _1пЧ £,
где £ = (1 + схп + ... + сдн_2пдН-2)-1.
1г
Пусть £ — единица в К(п) такая, что (£')д 1 = £, тогда п' = п£ будет корнем уравнения
XдП-1 + по = 0,
где по = поС—1_1 € Ко. При этом будем иметь
Ь(Кег[по ^) = Ь(п) = Ь(п'), так как Кег[по^ не принадлежит по условию полю Ь. Но К С Ь, а уравнение
СдН-^ дН-1 + по (1 + С^ + ... + СдН ^ = 0
равносильно уравнению
уд"-1 + поС-1-1 =0 ^ Уд"-1 + по = 0,
где
Итак, мы доказали
У = X (1+ С^ + ...+ СдЬ ^ дН -2) 1
Ь(Кег[по^) = Ь(п'),
где п' — корень уравнения Xд -1 + по = 0,п'0 —простой в Ко (и в К).
Пусть индекс ветвления е = е(Ь/К) делится на — 1, то есть е = (цн — 1)е', и пусть П — простой элемент в Ь. Тогда справедливо
—по = Пе вп,
где в — представитель Тейхмюллера, а п — главная единица поля Ь. Следовательно, имеет место равенство
дн-1 т
где п1 = п в Ь.
Поэтому расширение Ь(тг') = Ь( 4 ~у/в), а с ним и Ь(Кег[7Го^) неразветвлено над Ь. Это значит, что Г(Мь) не является вполне регулярным модулем.
Если же е не делится на дк — 1, то расширение Ь(тг') = Ь( 4 ~л/т1ев) будет разветвлено над Ь, откуда Р(Шь) —вполне регулярный относительно группы модуль. □
Заключение. Фактически исследование регулярных формальных модулей было выполнено только для случая мультипликативной формальной группы одномерного локального поля в работе З. И. Боревича [1]. В данной работе сделан следующий шаг к обобщению результатов — получены свойства для случая многочленной формальной группы, для формальной группы Любина—Тейта и формальной группы Хонды.
Остается открытым вопрос о произвольных формальных модулях как в одномерных локальных полях, так и в формальных модулях в многомерном случае, конструкция для которого дается в [5] и [6]. Кроме того, возникает вопрос об условиях для неразветвленного кругового поля, содержащего все корни р-й степени из 1. Эти вопросы мы постараемся исследовать в следующих работах.
Литература
1. Боревич З. И. О регулярных локальных полях // Вестн. Ленингр. ун-та. 1962. С. 142—145.
2. Hazewinkel M. Formal groups and applications. New York: Academic Press, 1978.
3. Востоков С. В., Волков В. В., Пак Г. К. Символ Гильберта для многочленных формальных групп // Зап. науч. сем. ПОМИ. 2012. Т. 400. С. 127-132.
4. Fesenko I. B., Vostokov S. V. Local fields and their extensions. Second edition, 2002.
5. Zhukov I. B. Higher dimensional local fields // Invitation to higher local fields. 2000. Vol. 3. P. 5-18.
6. Honda T. On the theory of commutative formal groups //J. Math. Soc. Japan. 1970. P. 213-246.
Статья поступила в редакцию 1 апреля 2016 г. Сведения об авторах
Власьев Сергей Михайлович — аспирант; svlassiev@gmail.com
Востоков Сергей Владимирович — доктор физико-математических наук, профессор; sergei.vostokov@gmail.com
Горшков Андрей Андреевич — аспирант; andrey.a.gorshkov@gmail.com
REGULAR FORMAL MODULES IN ONE-DIMENSIONAL LOCAL FIELDS
Sergey M. Vlassiev, Sergei V. Vostokov, Andrei A. Gorshkov
St. Petersburg State University, Universitetskaya nab., 7-9, St. Petersburg, 199034, Russian Federation; svlassiev@gmail.com, sergei.vostokov@gmail.com, andrey.a.gorshkov@gmail.com
Studies of regular local fields were started in 1962 in Z. I. Borevich's article during his work on tamely ramified extensions. This article generalizes an idea of local fields regularity in terms of formal groups and corresponding formal modules. The article considers formal group over a ring of integers of a local field (finite extension of p-adic numbers) and a formal module built via this formal group over a ring of integers' maximal ideal. To be regular formal module should not contain non-trivial roots of isogeny of corresponding formal group. The article describes totally regular in terms of formal groups local fields, i.e. fields, which are together with all their unramified extensions are regular in terms of formal group. Original Borevich's work may be considered as a solution for a case of multiplicative formal groups. This paper is the next step that provides description for totally regular local fields and corresponding formal modules in cases of polynomial formal groups, Lubin-Tate formal groups and Honda formal groups. When classification in special cases was received new problems have been stated in the article, e.g. regular and totally regular modules description in multi-dimensional case. Refs 6.
Keywords: local field, totally regular local field, formal module, formal group.
References
1. Borevich Z. I., "About regular local fields", Vestn. of Leningrad Univ., 142-145 (1962) [in Russian].
2. Hazewinkel M., Formal groups and applications (Academic Press, New York, 1978).
3. Vostokov S. V., Volkov V. V., Pak G. K., "The Hilbert symbol of polynomial formal groups", Zapiski Nauchnykh Seminarov POMI 400, 127-132 (2012).
4. Fesenko I.B., Vostokov S. V., Local fields and their extensions (Second edition, 2002).
5. Zhukov I.B., "Higher dimensional local fields", Invitation to higher local fields 3, 5-18 (2000).
6. Honda T., "On the theory of commutative formal groups", J. Math Soc. Japan, 213-246 (1970).
Для цитирования: Власьев С. М., Востоков С. В., Горшков А. А. Регулярные формальные модули в одномерных локальных полях // Вестник Санкт-Петербургского университета. Серия 1. Математика. Механика. Астрономия. 2016. Т. 3(61). Вып. 4. С. 544-551. DOI: 10.21638/11701/spbu01.2016.403
For citation: Vlassiev S. M., Vostokov S. V., Gorshkov A. A. Regular formal modules in one-dimensional local fields. Vestnik of Saint Petersburg University. Series 1. Mathematics. Mechanics. Astronomy, 2016, vol. 3(61), issue 4, pp. 544-551. DOI: 10.21638/11701/spbu01.2016.403
