Об одном уточнении теоремы Брауэра относительно l-функций Артина числовых полей Текст научной статьи по специальности «Математика»

Д. С. Степаненко. Об одном уточнении теоремы Брауэра относительно L-функций Артина

Библиографический список

1. Кузнецов С. П. Динамический хаос. М. : Физмат-лит, 2006. 294 с.

2. ПодчукаевВ. А. Аналитические методы теории ав-томатичекого управления. М.: Физматлит, 2002. 256 с.

3. Воеводин В. В., Кузнецов Ю. А. Матрицы и вычисления. М. : Наука, 1984. 320 с.

УДК 501.1

Саратовский государственный университет E-mail: stepanenko.dmitry@gmail.com

В работе рассматривается задача аналитического продолжения l-функций Артина числовых полей. Приводится уточнение результата Брауэра, а именно показывается, что в случае неглавного характера возможные полюсы l-функций должны лежать на критической прямой.

Ключевые слова: l-функция Артина, теорема Брауэра.

4. Пензов Ю. Е. Аналитическая геометрия. Саратов : Изд-во Сарат. ун-та, 1972. 364 с.

5. Подчукаев В. А., Звягина А. С. Новое доказательство гипотезы Ж. А. Пуанкаре // Докл. Академии воен. наук. 2009. № 5(40). С. 115-123.

6. Бронштейн И. Н, Семендяев К. А. Справочник по математике для инженеров и учащихся втузов. М. : Наука, 1986. 544 с.

On Verification of Brauer's Theorem Concerning Artin's l-Functions of Number Fields

D. S. Stepanenko

This paper investigates problem of analytic continuation of Artin's l-functions. One refinement of Brauer's theorem was obtained. It states that in the case of non-main character all possible poles of Artin's l-functions should lay on the critical line.

Keywords: Artin's L-function, Brauer's theorem.

ОБ ОДНОМ УТОЧНЕНИИ ТЕОРЕМЫ БРАУЭРА ОТНОСИТЕЛЬНО L-ФУНКЦИЙ АРТИНА ЧИСЛОВЫХ ПОЛЕЙ

Д. С. Степаненко

ВВЕДЕНИЕ

Пусть К — конечное неабелево расширение числового поля к степени п, С — группа Галуа этого расширения, р : С ^ МпХп — представление этой группы в группу матриц с комплексными коэффициентами, х — характер этого представления, т.е. при каждом д е С: х(д) = Яр (М (д)), р — простой идеал поля к, в — неразветвленный простой идеал поля К, лежащий над р. Обозначим через ^[р] автоморфизм Фробениуса группы Галуа расширения полей вычетов О/р С 0\/в, где О и О1 — кольца целых элементов полей к и К соответственно.

¿-функция Артина определяется следующим образом:

Ь(з, х, К|к) = П |Е - М(^[р])М(р)-11-1, ^ = а + й, (1)

р

где |Е — М(д)А| — характеристический многочлен матрицы М(д), а произведение берется по всем неразветвленным идеалам р поля к.

Эту функцию впервые определил и изучил Артин в 1923 году в работе [1].

Отметим, что в случае абелева расширения к С К ¿-функция Артина за вычетом множителей, относящихся к разветвленным простым идеалам, совпадает с ¿-функцией Дирихле поля к.

В начале 1930-х годов Артин высказал предположение, что в случае неглавного характера ¿-функ-ция (1) является целой функцией.

В настоящее время гипотеза Артина доказана только в ряде случаев. В частности, в случае, когда порядок группы С свободен от квадратов и в случае, когда порядок группы С является степенью простого числа.

В 1948 году Брауэр доказал, что ¿-функция (1) является мероморфной функцией, которая в случае неглавного характера является регулярной и не обращается в нуль при а > 1 и возможные полюсы этой функции могут располагаться только в критической полосе 0 < а < 1.

В данной работе мы уточняем результат Брауэра, а именно доказываем, что возможные полюсы могут лежать только на критической прямой а = 1/2.

© Степаненко Д. С., 2012 31

j^s-.,.__Изв. Сарат. ун-та. Нов. сер. 2012. Т. 12. Сер. Математика. Механика. Информатика, вып. 4

1. НЕКОТОРЫЕ СВОЙСТВА L-ФУНКЦИЙ АРТИНА

Остановимся на отдельных свойствах L-функций Артина, доказательство которых можно найти в работах [1,2].

1. L(s,x) регулярна при и > 1, так как соответствующее произведение сходится абсолютно и равномерно в каждом замкнутом подмножестве полуплоскости и > 1.

2. Пусть H — нормальный делитель в G и О — соответствующее промежуточное поле между k и K. Каждый характер х группы G|H можно рассматривать как характер группы G, причем L(s,x,K |k)= L(s, х, 0|k).

3. Пусть х — непростой характер в G, а именно х = Xi + Х2. Тогда L(s, х) = L(s, Xi)L(s, х2)•

4. Пусть О — промежуточное поле между k и K. Пусть H = Gal(K|О) и пусть G = ^2 Hai —

i

разложение группы G на правые классы смежности. Каждому характеру х группы H соответствует индуцированный характер х* группы G, определяемый равенством х* (g) = ^2 х(а^аг-1), g е G.

Тогда £(з,х*,K|k) = Ь(в,х,К|О).

5. Пусть О = K. Тогда H = {e}. В этом случае имеем только один единичный характер хо.

~ I n, g = e,

Соответствующий индуцированный характер х* задается формулой х*^) = л

[О, g = e.

s

Пусть Фь Ф2, ••• , Ф.з — все простые характеры группы G. Тогда х*^) = ^2 ^i(g)^i (e) и для

дзета-функции Дедекинда Zk(s) имеет место разложение

i=i

s

zk 00 = П Ь(в ,к |к)ф*(е).

г = 1

При изучении аналитических свойств ¿-функций Артина одним из основных подходов является

з Хз где Х*з —

подход, основанный на разложении характера х в виде линейной комбинации х = ^2 Х^, где х^

з

индуцированные характеры для характеров Хз циклических подгрупп, а аз- е

В работе [3] было доказано, что в качестве могут быть взяты целые числа. Таким образом, имеет место

Теорема Брауэра. Для любого характера х группы С Ь-функция Артина Ь(в,х, К|к) может быть представлена в виде

Ь(в,х,к |*о = Ц Ь(в,х! ,к ,

г

где каждое расширение К|Ог имеет циклическую группу Галуа, хг — характер этих циклических групп, пг — целые числа.

Укажем два следствия теоремы Брауэра (см., например, [4]).

Следствие 1. Ь-функция Артина, образованная неглавным характером, является мероморф-ной функцией, возможные полюсы которой могут располагаться только в критической полосе 0 < а < 1.

Следствие 2. Каждая Ь-функция Артина удовлетворяет функциональному уравнению вида

Ф(в,х) = Ш(х)Ф(1 - в,Х), (2)

где Ш(х) — константа, по модулю равная 1, Ф(в,х) = А(х)в^2) в ++1 )ь(х)Ь(в, х^,

А — положительная константа, а и Ь — рациональные числа.

2. К ЗАДАЧЕ АНАЛИТИЧЕСКОГО ПРОДОЛЖЕНИЯ Ь-ФУНКЦИЙ АРТИНА

Здесь будет доказано утверждение, уточняющее следствие 1 теоремы Брауэра. А именно имеет место

Теорема 1. В случае неглавного характера Ь-функция Артина является мероморфной функцией, возможные полюсы которой могут лежать только на критической прямой а = 1/2. Предварительно докажем следующее утверждение.

32

Научный отдел

Д. С. Степаненко. 06 одном уточнения теоремы Браузра относительно Ь-функцт Артпна

Пусть расширение к С К является конечным абелевым расширением Галуа степени п с группой Галуа С. Рассмотрим ряд Дирихле вида

1 —1 ^

/(«)=п (1 - = £ Пп, «=-+<3)

р у 7 1

где произведение берется по почти всем (за исключением конечного числа) простым идеалам поля к, полностью разлагающимся в поле К.

Относительно рядов вида (3) имеет место следующая лемма.

Лемма 1. Функция /(в), определенная рядом Дирихле (3), обладает свойством

/ (в)п = Ф(в)^к (в),

где Ф(в) — целая функция, а ZK (в) — дзета-функция Дедекинда поля К. Доказательство. Рассмотрим функцию

/ 1 \ —1 /1(в) = П (1 - • в =- +

где произведение берется по всем простым р, для которых индекс инерции / относительно расширения к С К равен единице. Ясно, что

/ (в) = ф(в)/1 (в), (4)

где ф(в) — целая функция.

Рассмотрим характер хо, который на единичном элементе группы С равен единице, а на остальных элементах — нулю. Тогда индуцированный характер Хо определяется следующим образом:

{п, д = е,

. и Хо = х0/п. О, д = е

Тогда Х1 ,Х2, ■ ■ ■ , Хп — все характеры группы С. Тогда легко видеть, что хО = Х1(д)Х2(д) ■ ■ ■ Хк(д), д е С. Отсюда

п

Ь(в, Хо, К|к) = Ц Ьг(в, Хг, К|к) = Zк(в). (5)

г=1

В то же время

Ь(в, ХЙ5, К|к) = ¿п(в, хо, К|к) = /П(в). Отсюда в силу (5) и (4) получаем

/ (в)п = ф(в)п/п (в) = ф(в)п Zк (в),

что и доказывает утверждение леммы. □

Доказательство теоремы 1. Запишем ¿-функцию Артина в виде

Дв,х, К|к) = П'|Е - М(^[р])Ж(р)—Г1 П "\Е - М(^[р])Ж(р)—1—1, (6)

рр

где произведение в первом сомножителе берется по всем неразветвленным простым идеалам р, для которых индекс инерции / относительно расширения к С К равен единице, а во втором сомножителе произведение берется по всем неразветвленным простым идеалам р, для которых индекс инерции / относительно расширения к С К больше единицы.

Отметим, что локальный множитель для ¿-функции Артина зависит только от характера х и не зависит от явного вида матрицы. Для конечной группы С нормальная жорданова форма матрицы М(д) является диагональной матрицей, причем диагональные элементы являются корнями из единицы. Поэтому можно считать, что

/С1 о ••• о\ о 6 ••• О

М (^ [р]) =

\0 о ••• Сш/

Математика

33

Изв. Сарат. ун-та. Нов. сер. 2012. Т. 12. Сер. Математика. Механика. Информатика, вып. 4

-1

. Отсюда легко видеть, что второй сомно-

т ( С

Тогда локальный множитель равен П (1--

Р /=АД N (р)

житель в произведении (6) определяет функцию, регулярную в полуплоскости и > 1/2. Рассмотрим функцию /(з), определенную первым сомножителем в произведении (6),

' / 1 \ -1 f (s) = П' lE - M (F [H)N Ы-в |-1 = П ' П i1 - Щру) = fi (s)

(7)

где

fi(s) = n i i

N (p)s

-1

(8)

Рассмотрим максимальное абелево расширение каь: к С каь С К. Известно [1], что если в — простой идеал поля каь, лежащий над простым идеалом р поля к, а в — простой идеал поля К, лежащий над простым идеалом р поля к, то (в) = N^1^(в) = р^, т.е. если простой идеал р

полностью разложим при расширении к С К, то он полностью разложим и при расширении к С каь. Таким образом, к функции / (з) вида (8) применима лемма 1 в случае абелева расширения к С каь,

т. е.

/Г(*) = ФГ (*)££„ (з), (9)

где Ф1(з) — целая функция.

В силу (7), (8) и (9) получаем /(з)п = Ф2(з)^т(з), где Ф2(з) — целая функция. Отсюда в силу представления ¿-функции Артина (6) в виде произведения двух сомножителей получаем, что ¿п(з,х,К|к) является функцией, регулярной во всех точках полуплоскости и > 1/2, за исключением точки з = 1, где она, возможно, имеет полюс п-го порядка.

Отсюда по следствию 1 теоремы Брауэра получаем, что ¿(з, х,К|к) регулярна в полуплоскости и > 1/2, а в силу следствия 2 теоремы Брауэра ¿-функция Артина может иметь полюса только на критической прямой и = 1/2. □

Библиографический список

1. Artin E. Über eine neue Art von L-Reihen // Abh. Math. Sem. Hamburgischen Üniv. 1923. Vol. 3. P. 89108.

2. Хейльброн Х. (-функции и L-функции // Алгебраическая теория чисел М. : Мир, 1969. С. 310-348.

3. Brauer R. On Artin's L-series with general group characters // Ann. of Math. 1947. Vol. 48. P. 502-514.

4. Кассел Дж., Фрелих А. Нормы из неабелевых расширений // Алгебраическая теория чисел. М. : Мир, 1969. С. 476.

УДК 517.9

ТЕОРЕМА ВИНЕРА ДЛЯ ПЕРИОДИЧЕСКИХ НА БЕСКОНЕЧНОСТИ ФУНКЦИЙ

И. И. Струкова

Воронежский государственный университет E-mail: irina.k.post@yandex.ru

В данной работе определяется банахова алгебра периодических на бесконечности функций. Для таких функций вводится понятие ряда Фурье и его абсолютной сходимости. Получен аналог теоремы Винера об абсолютно сходящихся рядах Фурье для периодических на бесконечности функций.

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

Wiener's Theorem for Periodic at Infinity Functions 1.1. Strukova

In this article banach algebra of periodic at infinity functions is defined. For this class of functions notions of Fourier series and absolutely convergent Fourier series are introduced. As a result Wiener's theorem analog devoted to absolutely convergent Fourier series for periodic at infinity functions was proved.

Key words: Banach space, slowly varying at infinity functions, periodic at infinity functions, Wiener'stheorem, absolutely convergent Fourier series, invertibility.

m

1

© Струкова И. И., 2012