Количество представлений натуральных чисел бинарными квадратичными формами

Евсеева, Юлия Юрьевна

Количество представлений натуральных чисел бинарными квадратичными формами тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Евсеева, Юлия Юрьевна АВТОР

кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ

Владимир МЕСТО ЗАЩИТЫ

2008 ГОД ЗАЩИТЫ

01.01.06 КОД ВАК РФ

Диссертация по математике на тему «Количество представлений натуральных чисел бинарными квадратичными формами»

Автореферат диссертации на тему "Количество представлений натуральных чисел бинарными квадратичными формами"

003452836

На правах рукописи

Евсеева Юлия Юрьевна

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

Специальность 01.01.06 - математическая логика, алгебра и теория чисел

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

Ярославль - 2008

003452836

Работа выполнена на кафедре алгебры и теории чисел Владимирского государственного гуманитарного университета.

Научный руководитель - доктор физико-математических наук,

профессор Владимир Георгиевич Журавлев

Официальные оппоненты: доктор физико-математических наук,

профессор Сергей Геннадьевич Танкеев

кандидат физико-математических наук Антон Владимирович Шутов

Ведущая организация - Санкт-Петербургское отделение

математического института РАН им. В.А. Стеклова

Защита диссертации состоится 5 декабря 2008 г. в 14 ч.ОО мин. на заседании диссертационного совета Д.212.002.03 при Ярославском государственном университете им. П.Г. Демидова по адресу: 150008, г. Ярославль, ул. Союзная, 144, аудитория 426.

С диссертацией можно ознакомиться в библиотеке Ярославского государственного университета им. П.Г. Демидова.

Автореферат разослан 1 ноября 2008 года.

Ученый секретарь диссертационого совета —" С. И. Яблокова

Общая характеристика работы Актуальность темы

Работа посвящена изучению представлений натуральных чисел многоклассными бинарными квадратичными формами.

Пусть тп - натуральное число, f(x, у) — ах2 + Ьху + су2 - положительно определенная бинарная квадратичная форма с целыми коэффициентами и дискриминантом D = Ь2 — 4ас, и пусть г(/, тп) равно количеству решений уравнения

ах2 + Ьху + су2 = m в целых числах х, у G Z.

Задача о количестве представлений г(/, тп) является классической задачей теории чисел. Диксон1 в своей монографии подробно описал историю изучения бинарных квадратичных форм.

Ферма рассмотрел задачу представимости числа в виде

х2 + у2 = тп.

Эйлер, а затем Лагранж полностью решили задачу Ферма о двух квадратах. Ими же были рассмотрены и другие конкретные квадратичные формы. Исследования в этом направлении привели Лежандра в 1798 г. к открытию закона взаимности - центральной задаче теории числел 19-го столетия.

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

На протяжениии 19 века была выявлена связь бинарных квадратичных форм с квадратичными полями (Кронекер, Дирихле, Дедекинд). На основе этой связи удалось доказать общую формулу для суммы количества представлений натурального числа формами данного дискриминанта. Если форма однокласс-ная то эта формула принимает вид

r(f,m) = e(D)p(m), (1)

где e(D) - число целых автоморфизмов формы f(x,y), p(m) - мультипликативная функция, определенная на степенях простых чисел следующим образом:

р{ра) = а + 1 для xi(р) = +1;

'Dickson L.E. History of the theoiy of numbers vol.3, Quadratic and higher forms N.Y. 1992, p 313.

p[pa) = 1 для Xi(p) = o. В этих формулах XiO°) - характер Дирихле мнимого квадратичного поля дискриминанта D.

20 век ознаменовался в теории квадратичных форм появлением двух фундаментальных идей.

Первая - это идея связанная с модулярными формами (Пуанкаре, Клейн) и операторами Гекке. Каждой квадратичной форме ставится в соответствие ее тета-ряд, который является модулярной формой, её уровень определяется дискриминантом. Все такие модулярные формы образуют конечномерное векторное пространство, инвариантное относительно операторов Гекке. Любая модулярная форма может быть разложена по базису собственных функции операторов Гекке. Задача о представимости числа эквивалентна вычислению коэффициентов тета-ряда, что, в свою очередь, сводится к его разложению по базису из собственных функций. Данный подход подробно изложен в книге2 Петерссона, и в принципе позволяет получать формулы представлений в том случае, когда известен базис. Однако его нахождение представляет собой отдельную, крайне трудную, не решенную до сих пор задачу.

Вторая - это идея, основанная на дальнейшем развитиии идеи Гаусса о родах квадратичных форм. Зигель3 доказал общую формулу для числа представлений родом квадратичных форм. Наиболее сильные результаты в этом направлении были получены Журавлевым4 и Шимурой5. Позднее Шульце-Пилот обобщил формулу Зигеля на случай спинорного рода, открытого Эйхлером. Для бинарных форм формула (1) вытекает как частный случай из формулы Зигеля.

Задача о количестве представлений чисел квадратичными формами была решена для некоторых форм специального вида6. Однако, несмотря на все эти достижения, задача о количестве представлений числа произвольной бинарной квадратичной формой так и оставалась не решена. Цель работы

Получить формулу для количества представлений натуральных чисел бинар-

2Petersson Н., Modulfunktionen und quadratische Formen, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer-Verlag, v. 100, 1982, pp.305.

3Siegel C.L. Über die analytische Theorie der Quadratischen Formen // Ann. Math. 1935. 36. s. 527 - 606.

4Журавлёв В.Г. Представление квадратичных форм родом квадратичных форм // Алгебра и анализ. 1996. Т.8. № 1. С. 21-112.

5Shimura G., The number of representations of an integer by a quadratic form. Duke Mathematical Journal, 1999, v. 100, n. 1, p. 59-92.

6Buel D.A. Binary Quadratic Forms, Classical Theory and Modern Computations, N.Y., 1989, p.247

ными многоклассными квадратичными формами. Рассмотреть случаи бинарных

квадратичных форм с числом классов /г < 4 и произвольной циклической группы класов. Получить и доказать основные арифметические свойства для числа представлений.

Научная новизна

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

Основные методы исследования

При исследовании использованы арифметическая теория квадратичных форм, операторы Гекке и тета-ряды.

Теоретическая и практическая ценность работы

Полученные в диссертации результаты носят теоретический характер и могут быть использованы в арифметической теории квадратичных форм для решения диофантовых уравнений и систем.

Апробация работы

Основные результаты диссертации докладывались на Международной летней школе-семинаре по современным проблемам теоретической и математической физики (Петровские чтения) (Казань, 2006 г.), XIII Международной конференции студентов, аспирантов и молодых ученых "Ломоносов" (Москва, 2006 г.), XXVIII Конференции молодых ученых механико-математического факультета МГУ (Москва, 2006 г.), Международной конференции по алгебре и теории чисел, посвященной 80-летию проф. В.Е. Воскресенского (Самара, 2007 г.), на научных конференциях профессорско-преподавательского состава ВГГУ (20062007 гг., секция "Алгебра и теория чисел"), а также неоднократно обсуждались на научном семинаре по теории чисел ВГГУ под руководством доктора физико-математических наук, профессора В.Г. Журавлева.

Публикации

Основные результаты диссертации опубликованы в работах [1]-[5], в том числе одна работа — в журнале из перечня ВАК ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени доктора физико-математических наук.

Структура и объем диссертации

Диссертация состоит из введения, трех глав, содержащих 13 параграфов и списка литературы из 28 наименований, включая работы автора. Объем диссертации составляет 75 страниц машинописного текста.

Краткое содержание работы

Во введении обосновывается актуальность и указывается степень разработанности проблемы, формулируется цель исследования и формулируются основные результаты диссертации.

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

Рассмотрим бинарные квадратичные положительно определенные формы дискриминанта В < 0, где совпадает с дискриминантом мнимого квадратичного поля В\ - бесквадратная часть И, 3(А0 = {Со, Сх,С^—х} -группа классов форм, /, 6 С, и г(^,т) - число решений уравнения

/г (я. у) = + Ьгху + СгУ2 = 771, X, у £ (3)

В диссертации доказана

Теорема 1.10. Для количества представлений (1~0,...,к-1) на-

турального числа бинарными квадратичными формами фг(х,у), выполняется формула

>■(/<> т) = - т), (4)

где я пробегает все характеры группы порядка /г., г(х, т) - коэффици-

енты Фурье тета-ряда <Э(г, к)

е(г, *)=£*(£)©(*, С,), (5)

г=1

г{х,т) = г(х, 1 )х(тп), (6)

5с(т) - собственные значения этого тета-ряда для операторов Гекке Т(т) и при этом

Е^ = П го

т=1 т рея Р Р

Во второй главе рассмотрены бинарные квадратичные формы с числом классов h < 4.

Случай двуклассных бинарных квадратичных форм. Пусть Со = {/о} и С\ — {/1} - различные классы форм дискриминанта D, где /о представляет 1.

Теорема 2.1. Для количества представлений г(/¿,тп) е случае h = 2 справедливы следующие равенства:

r(/0,m)-(l + x1(mMm), (8)

г(/ъ m) = (1 - xi(m))p(m), (9)

где xi(т) - вполне мультипликативная функция, для простыхр с Xi{p) — +1 или 0 задаваемая равенствами

(l,eaaur(fop)>0

к ' [ -1, если r(fi,p) > 0. v '

Из теоремы 2.1 непосредственно вытекает следующее свойство: если h = 2 и число т представимо хотя бы одной из форм /о или Д, то данное число т представимо только одной из указанных форм.

Случай трехклассных бинарных квадратичных форм. В этом случае классы бинарных квадратичных форм удобно пронумеровать следующим образом: Со,С\, С2, С{ = {/¿} (г = 0,1,2). При этом гауссова композиция записывается в виде:

Q * Cj = Ci+j (mod з). (11)

Теорема 2.3. При h = 3 имеют место следующие формулы для количества представлений r(fi, т) натуральных чисел т:

r(fa,m) = + 2 >q(m)), (12)

2___ _

r(fu m) = r(/2, m) = ~(щ(т) - (т)), (13)

где щ(тп) - мультипликативные функции, определяемые формулами

5SM =/о(т) = (14)

<5|т

я[(ра) = р(ра) для Xi(p) = -1,0 или XI(р) = +1 и XI(р) = +1, (15) Щра) = е(а) для Xi{p) = +1 и ях{р) £ +1. (16)

В этих формулах е(а) задается следующим образом

{1, если а = 0 (mod 3),

— 1, если а = 1 (mod 3), (17)

О, если а = 2 (mod 3).

Во второй главе диссертации рассматриватеся обратная задача теории представлений чисел неодноклассными бинарными квадратичными формами. Эта задача состоит в том, чтобы по числу представлений получать информацию об отдельной квадратичной форме, рассматриваемой как элемент группы классов форм Oí-

Доказаны следующие арифметические свойства для представления чисел трехклассными квадратичными формами, сформулированные как следствия 2.1 - 2.4.

Для числа решений r(fj,m?) диофантова уравнения fj(x,y) = т3 (j — 0,1,2), где т - любое натуральное число, справедливо следующее свойство ассиметрии

К/о, m3) > r(/¿, т3) для i = 1,2. (18)

Найдено условие, при котором натуральное число т представляется только одной трехклассной формой: если т не делится ни на какое простое число р, представляемое квадратичной формой f\, то

f r(/o,m) = 2p(m), , .

U(/i,m) = r(/2,m)=0. li9J

С другой стороны, доказано, что существуют натуральные числа т, для которых количества представлений трехклассными квадратичными формами равны:

1) Пусть р - простое число, р \ D, fi{x,y) = р. Тогда для любого натурально т взаимно простого с р, и а — 3а' + 2 с а' — 0,1,2,... справедливо равенство

r(fo,Pa ■ т) = r(fi,pa ■ т) = |р(ш) (г = 1,2) (20)

2) Если тп представляется формой /о « Д, ив разложении т на степени простых чисел содержится р3а+2, где xi(р) = +1 up представимо формой Д, то

r(/o,m) = г(Д,т) = \т0{т!) {г = 1,2), (21)

где т'\т состоит из степеней ра с xi(p) = +1 и

rD(m')= J2 L i22)

6]m'(S,D)=l

Получено, что любая трехклассная бинарная квадратичная форма имеет дискриминант

D = —р, где р - простое число, ps 3 (mod 4), (23)

при этом данное простое число р представимо формой /о-

Случай четырехкласных бинарных квадратичных форм. Пусть группа классов бинарных квадратичных форм четвертого порядка циклическая относительно операции гауссовой композиции:

{Со,СиС2,С3:С{* Cj = Ci+J (mod 4)} (24)

Пусть

п(р) = г, если f,(x, у) = р. (25)

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

Хг(р) = +1 , п{р) = 1 и ра\\т ca~l (mod 2), (26)

где ра\\т означает что ра\т и ра+1 f т, Аналогично, число т обладает свойством СВ. 2, если

Х1(р) = +1 , п(р) = 1 и ра\\т с а = 0 (mod 2). (27)

Далее, m удовлетворяет свойству СВ. 3, если из условия

ра\\т casi (mod 2) следует Xi(р) = 0 или + 1. (28)

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

Следствие 2.5. Для циклических четырехклассных бинарных квадратичных форм и натурального т ECB. 3 условие т Е.СВ. 1 равносильно равенству

г(/о,т) = г(/2,ш). (29)

При этом возможны 2 случая:

r(fo,m) = r(f2,rn) = р(т) u r(/i,m) = r(f3,m) = 0, (30)

или

r(fa,m) = r(/2lm) = 0u r(/bm) = r(/3,m) = p(m). (31)

Следствие 2.6. Для представлений m циклическими четырехклассными формами условие

г(/о, т) = 0 или г(/г, т) = О (32)

выполняется тогда и только тогда, когда т не делится на простое р с \\{р) = +1 и п(р) = 1, где п(р) - функция (25).

Следствие 2.7. В циклическом случае при h = 4 имеют место неравентва для т е СВ. 3:

r(fi, т) ^ r(f},m) для i ф j = 0,1,2 (33)

тогда и только тогда, когда т ф СВ. 1 ит 6 СВ. 2.

Следствие 2.8. Не существует натурального числа т, представимого

КЛ',т) > О для всех % = 0,1,2,3 (34)

всеми четырехклассными циклическими квадратичными формами данного дискриминанта.

Следствие 2.9. Для четырехклассных циклических квадратичных форм справедливо утверждение: еслир - простое число с (р) = +1 , п(р) = 1, то

r(/oiP2) — 2 , г(/г,р2) = 4, (35)

г(1ъР2) = г(/з,р2) = О.

Пусть группа классов бинарных квадратичных форм четвертого порядка нециклическая. Тогда удобно использовать следующую нумерацию: {С'о,о, Сод, C'ij} , C:j = {/¿j}. В этих обозначениях гауссова композиция записывается в виде

Cij * Cfc,I = Ci+kj+l (mod 2)

Получена формула для количества представлений натуральных чисел даными формамии и как следствие из нее следующее арифметическое свойство для числа представлений.

Натуральное число т, удовлетворяющее СВ. 3, представляется одной и только одной нециклической четырехклассной бинарной квадратичной формой fi,j(x,y) и число представлений равно

г(/и,т) = 2р(т). (36)

В третьей главе диссертации рассмотрены циклические бинарные квадратичные формы произвольного порядка.

Пусть группа классов бинарных квадратичных форм циклическая порядка h: {Со, С], ..., Ch-1 •" С, * Cj = Ct+} (mod ft)}-Фиксируем для натурального т разложение на множители

т — то ■ т+ ■ ТП— (37)

с взаимнопростыми то,т+,т~ вида

7П0 = Г?1 • • • г? с Х1(п)=0, (38)

с xi(ft) = +l, (39)

= с = (40)

Далее, пусть

Si = ■ ■ • = Sf ее 0 (mod 2). (41)

На множестве простых р с условием xi(i>) = 0 или +1 введем функцию

а(р) = г, если г(Д,р) >0 с 0 < г < /г/2. (42)

В диссертации получена формула для количества представлений натуральных чисел неодноклассными циклическими бинарными квадратичными формами и как следствия из нее получены арифметические свойства числа количества представлений.

Следствие 3.1. Для циклических форм нечетного порядка h количество представлений r(fi,m) числа т = то ■ т+ ■ т_ (37) с условием, что т~ удовлетворяет сравнениям (41), не зависит от множителей то, т.-.

Следствие 3.2. если группа классов форм циклическая, h нечетное и для т = mo-m+-m_ в множитель т+ (39) входит степень р"' с Н.О.Д.(а(рг), h)-l и cti s h — 1 (mod К), тогда, выполняются равенства

К/о.т) = К/ь т) = ... = г(Д_1, т). (43)

Если дополнительно удовлетворяет условию (41), то

r(f„m) = ^ЭДс*! + 1) ■ • • (ап + 1) для 0 < i < h - 1. (44)

Если h = р - нечетное простое число, то достаточно потребовать существование степени р"'|т+ с а(рг-) ф 0.

Автор выражает благодарность своему научному руководителю, доктору физико-математических наук, профессору Владимиру Георгиевичу Журавлеву за постановку задачи, руководство и постоянное внимание к работе.

Основные результаты диссертации, выносимые на защиту

1. Общая формула для количества представлений натуральных чисел многоклассными бинарными квадратичными формами.

2. Решение обратной задачи теории представлений чисел неодноклассными бинарными квадратичными формами.

Публикации автора по теме диссертации

Публикация в журнале из перечня ВАК ведущих рецензируемых научных журналов и изданий, в которых должны быть опубликованы основные научные результаты диссертации на соискание ученой степени кандидата физико-математических наук:

1. Евсеева Ю.Ю. Арифметические свойства представлений натуральных чисел бинарными квадратичными формами / Ю.Ю. Евсеева, В.Г. Журавлев // Вестник СамГУ - Естественнонаучная серия. Самара, 2007. № 7. - С.56-62.

Другие публикации:

2. Евсеева, Ю.Ю. О количестве представлений числа трехклассной бинарной квадратичной формой / Ю.Ю. Евсеева // Материалы XIII Международной конференции студентов, аспирантов и молодых ученых "Ломоносов". - Москва: Изд-во МГУ, 2006. - Т.1У. - С.83-84.

3. Евсеева Ю.Ю. О количестве представлений чисел неодноклассными бинарными квадратичными формами / Ю.Ю. Евсеева // Труды XXVIII Конференции молодых ученых механико-математического факультета МГУ. -Москва: Изд-во ЦПИ при механико-математическом факультете МГУ, 2006. -С. 51-53.

4. Евсеева Ю.Ю. Представление чисел четырехклассными

бинарными квадратичными формами / Ю.Ю. Евсеева // Тезисы докладов XVIII Международной летней школы-семинара "Волга-18'06"по современным проблемам теоретической и математической физики (Петровские чтения). - Казань: Изд-во КГУ, 2006. - С. 45-46

5. Евсеева Ю.Ю. Представление натуральных чисел трехклассными бинарными квадратичными формами / Ю.Ю. Евсеева // Международная конференция по алгебре и теории чисел, посвященная 80-летию В.Е. Воскресенского. -Самара, Россия, 21-25 мая, 2007. - С. 20-21

Подписано в печать Формат 60x84 1/16

Усл. печ. л. 1,0 Уч. изд. л. 1,0

Заказ £ Тираж 100

Отпечатано с готового оригинал-макета в отделе оперативной полиграфии ВГГУ, 600024, г.Владимир, ул. Университетская, 2

Содержание диссертации автор исследовательской работы: кандидата физико-математических наук, Евсеева, Юлия Юрьевна

Введение

1 Формула для количества представлений натуральных чисел бинарными квадратичными формами

§1 Мнимые квадратичные поля.

§2 Модули в квадратичном поле

§3 Соответствие между модулями и формами.

§4 Представление чисел бинарными квадратичными формами

§5 Кольца Гекке.

§6 Модулярные формы и операторы Гекке.

§7 Действия операторов Гекке на тета-ряды.

2 Бинарные квадратичные формы с числом классов к <

§1 Двуклассные формы.

§2 Трехклассные формы.

§3 Четырехклассные формы. Циклический случай.

§4 Четырехклассный формы. Нециклический случай

3 Циклические многоклассные бинарные квадратичные формы

§1 Характеры циклических бинарных квадратичных форм

§2 Формула для количества представлений многоклассными циклическими квадратичными формами.

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

Актуальность данного диссертационного исследования обусловлена одной из центральных проблем арифметической теории квадратичных форм -получением формул для количества представлений г(/, т) натуральных чисел т бинарными квадратичными формами /(ж, у) = ах2 + Ьху + су2 , а, 6, с £ Z, т. е. нахождением количества целых решений диофаптового уравнения ах2 + Ьху + су2 = т.

Цель работы - получить формулу для количества представлений натуральных чисел бинарными многоклассными квадратичнымР! формами. Рассмотреть случаи бинарных квадратичных форм с числом классов Н ^ 4 и произвольной циклической группы класов. Получить и доказать основные арифметические свойства для числа представлений.

Для достижения поставленной цели в работе используются теория бинарных квадратичных форм, мнимых квадратичных полей, теория операторов Гекке и тета-рядов.

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

Во-вторых, решена обратная задача теории представлений, состоящая в том, чтобы по числу представлений судить о числе классов форм.

Задача о количестве представлений г(/, га) является классической задачей теории чисел. Диксон в своей монографии [20] подробно описал историю изучения бинарных квадратичных форм.

Остановимся на истории изучаемого вопроса. Основоположниками теории квадратичных форм являются Ферма и Эйлер. Но еще Диофант располагал общими приемами решения диофантовых уравнений до четвертой степени в рациональных положительных числах. Задачи Диофанта привели Ферма к поиску целочисленных решений квадратных уравнений с двумя неизвестными. Ферма рассмотрел задачу представимости числа в виде х2 + у2 — га.

Гаусс [4] впервые начал изучать случай произвольных бинарных квадратичных форм. Он ввел понятие эквивалентности квадратичных форм. На множестве классов бинарных квадратичных форм фиксированного дискриминанта Гаусс определил операцию композиции, относительно которой множество классов образует коммутативную группу. В последствии операция умножения получила название гауссовой композиции.

На протяжениии XIX века была выявлена связь бинарных квадратичных форм с квадратичными полями [21] (Кронекер, Дирихле, Дедекинд). На основе этой связи удалось доказать общую формулу для суммы количества представлений натурального числа всеми формами данного дискриминанта. В случае если форма одноклассная эта формула принимает вид r(/,ra) = e(D)p(m), (1) где g(D) - число целых автоморфизмов формы f(x, у), р{т) -мультипликативная функция, определенная на степенях простых чисел следующим образом: р(ра) = а + 1 для xi О) = +1;

II, если 2 | а р{ра) = \ для xiО) =

I 0, если 2 \ а р(ра) = 1 Для xi(Р) = 0.

В этих формулах Xi (Р) - характер Дирихле мнимого квадратичного поля дискриминанта D [2].

XX век ознаменовался в арифметической теории квадратичных форм появлением двух фундаментальных идей.

Первая - это идея связанная с модулярными формами (Пуанкаре, Клейн) и операторами Гекке (см., например, [1]). Каждой квадратичной форме ставится в соответствие ее тета-ряд, который является модулярной формой, её уровень определяется дискриминантом. Все такие модулярные формы образуют конечномерное векторное пространство, инвариантное относительно операторов Гекке. Любая модулярная форма может быть разложена по базису собственных функции операторов Гекке. Задача о представимости числа эквивалентна вычислению коэффициентов тета-ряда, что, в свою очередь, сводится к его разложению по базису из собственных функций. Данный подход подробно изложен в книге Петерссона [24], и в принципе позволяет получать формулы представлений в том случае, когда известен базис. Однако нахождение басиза представляет собой отдельную, крайне трудную, не решенную до сих пор задачу.

Вторая - это идея, основанная на дальнейшем развитиии идеи Гаусса о родах квадратичных форм. Зигель [26], [27] доказал общую формулу для числа представлений родом квадратичных форм. Наиболее сильные результаты в этом направлении были получены Журавлевым [11], [12] и Шимурой [25]. Для бинарных форм формула (1) вытекает как частный случай из формулы Зигеля.

Задача о количестве представлений чисел квадратичными формами была решена для некоторых форм специального вида [23], [19], [3], [18]. Однако, несмотря на все эти достижения, задача о количестве представлений числа произвольной бинарной квадратичной формой так и оставалась не решенной. Асимптотические формулы для числа представлений бинарных квадратичных форм получены Фоменко [16], Голубевой [5].

Остановимся на результатах диссертации, полученных при исследованиии количества представлений натуральных чисел т многоклассными бинарными квадратичными формами отрицательного дискриминанта = ах2 4- Ьху + су2 .

Рассматриваются бинарные квадратичные положительно определенные формы дискриминанта D < 0, где D совпадает с дискриминантом мнимого квадратичного поля Q(VD), Di бесквадратная часть D, Z{Di) = {Со, С\,., Ch-i\ - группа классов форм, fi € Ci и r(fi:m) - число решений уравнения ж, у) = diX2 + biXy + СгУ2 = га, ж, у е Ъ.

В диссертации доказана

Теорема 1.10. Для количества представлений r(/j,m) натурального числа бинарными квадратичными формами fi(x,y), выполняется формула

УС где к пробегает все характеры группы Z{D\) порядка h, г(х,т) -коэффициенты Фурье тета-ряда ©(z, н) h г=1 г(х, га) = r(x, 1 )х(га), $с(т) - собственные значения этого тета-ряда для операторов Гекке и при этом

ТТл1 ЭД , Xi(Р) ч1 оо ras ps p2s } m=i pep ' *

Во второй главе рассмотрены бинарные квадратичные формы с числом классов К -С 4.

Случай двуклассных бинарных квадратичных форм. Пусть Со = {/о} и Ci — {/1} - различные классы форм дискриминанта D, где /о представляет 1.

Теорема 2.1. Для количества представлений r(/¿,m) в случае h = 2 справедливы следующие равенства: r(/0,m) = (1 + xi(m))p(m), r(/i,m) = (1 - xi(m))p(m), где xri(m) - вполне мультипликативная функция, для простых р с Xiip) — +1 или 0 задаваемая равенствами

1, если г(/0,р) > О, —1, если r(fi,p) > 0.

Из теоремы 2.1 непосредственно вытекает следующее свойство:

Теорема 2.2. Если h = 2 и число т представимо хотя бы одной из форм /о или fi, то данное число т представимо только одной из указанных форм.

Случай трехклассных бинарных квадратичных форм. В этом случае классы бинарных квадратичных форм удобно пронумеровать следующим образом:

Co.Ci.Ca, Ci = {/<},(» = 0,1,2). При этом гауссова композиция записывается в виде:

Ci * Cj = Ci+j (mod 3) •

Теорема 2.3. При h = 3 имеют место следующие формулы для количества представлений r(/¿,m) натуральных чисел т:

2 ^ r(fo,m) = ~Оо (m) + 2xi (т)), 9 i(p) где щ(т) - мультипликативные функции, определяемые формулами

Я{{ра) = р(ра) для хЛр) - -1,0 или XI(р) = +1 и щ (р) = +1, щ{ра) = е(а) для Хг(р) = +1 и хг(р) ф +1. В этих формулах е(а) задается следующим образом:

Во второй главе диссертации так же рассматриватеся обратная задача теории представлений чисел неодноклассными бинарными квадратичными формами. Эта задача состоит в том, чтобы по числу представлений получать информацию об отдельной квадратичной форме, рассматриваемой как элемент группы классов форм 3 •

Получены следующие арифметические свойства для представления чисел трехклассными квадратичными формами, позволяющие решать обратную задачу теории представлений. Они сформулированы как следствия 2.1-2.3 из теормы 2.3.

Для числа решений г(/^,т3) диофантова уравнения /у(х,у) = т3 {з = 0,1,2), где т - любое натуральное число, справедливо следующее свойство асиметрии

5|т

1, если а = 0 (mod 3), е(а) = —1, если а = 1 (mod 3), 0, если а = 2 (mod 3). г (/о, т3) > r(fi, т3) для ¿ = 1,2.

С другой стороны, доказано, что существуют натуральные числа га, для которых количества представлений трехклассными квадратичными формами равны:

1) Пусть р - простое число, р \ D, fi(x,y) — р. Тогда для любого натурально т взаимно простого с р, и а = За' + 2 с Ы = 0,1,2,. справедливо равенство 2 r(fo,pa ' т) = r{fhpa • га) = -р(тп) (г = 1,2).

2) Если т представляется формой /о и j\, и в разложении т на степени простых чисел содержится р3а+2, где Xi(p) — +1 и Р представимо формой fi, то 2 r{fo,m) = r(fi,m) = -TD(rrí) (i = 1,2), где mf\m состоит из степеней ра с Xi(p) — +1 и

TD(m') = Е L

Далее, в следствии 2.4 доказано, что любая трехклассная бинарная квадратичная форма имеет дискриминант

D = —р, где р - простое число, р = 3 (mod 4), при этом данное простое число р представимо формой /о .

Со, Ci, С2, С3 : С i * Cj = Ci+j (mod 4)} •

Пусть n(p) = г, если /»(ж, у) = р. (2)

Натуральное число т обладает свойством СВ. 1, если найдется такое простое число р , что xi (р) — +1 j п(р) — 1 и са = 1 (mod 2), где ра\\т означает что ра\т и pa+1 \ т. Аналогично, число т обладает свойством СВ. 2, если

Xi(р) — +1 5 п(р) = 1 и ра\\т с а = 0 (mod 2). Далее, т удовлетворяет свойству СВ. 3, если из условия ра\\т cq = 1 (mod 2) следует Xi(p) — О или + 1В диссертации получены следующие свойства для количества представлений натуральных чисел четырехклассными бинарными квадратичными формами, сформулированные в виде следствий 2.5 - 2.9.

Следствие 2.5. Для циклических четырехклассных бинарных квадратичных форм и натурального т £ СВ. 3 условие т € СВ. 1 равносильно равенству r(/o,m) =r(/2,m). 12

При этом возможны 2 случая: г(/о, т) - г(/2, т) = р(т) и r(fum) = г(/3, т) - О, или r(fo,m) = r(/2,m) = О и r(fum) = r(/3,m) = />(га).

Следствие 2.6. Длл представлений т циклическими четырехклассными формами условие г (/о, ш) = О или r(/2, т) = О выполняется тогда и только тогда, когда т не делится на простое р с Xi(p) = +1 и п(р) = 1, где п(р) - функция (2).

Следствие 2.7. В циклическом случае при h — 4 имеют место неравентва для т Е СВ. 3: r(fi,m) ф r(fj, т) для i^j = 0,1,2 тогда и только тогда, когда т ^ СВ. 1 и т £ СБ.

Следствие 2.8. Не существует натурального числа т, представимого r(fi, т) > О для всех i = 0,1,2,3 всеми четырехклассными циклическими квадратичными формами данного дискриминанта.

Следствие 2.9. Для четырехклассных циклических квадратичных форм справедливо утверждение: если р - простое число с Xi(p) = +1 > п(р) ----- 1, то r(foiP2) — 2 , r(f2,p2) = 4, r(/i,^) = r(/3,p2)=0.

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

Со,о, Сод, Ci,o, С1Д} , Cij = {fij}. В этих обозначениях гауссова композиция записывается в виде

Cij * Ck,l = Ci+k,j+l (mod 2)

В теореме 2.4 получена формула для количества представлений натуральных чисел нециклическими бинарными квадратичными формами и как следствие из нее арифметическое свойство числа представлений.

Следствие 2.10. Натуральное число т, удовлетворяющее СВ. 3, представляется одной и только одной нециклической четырехклассной бинарной квадратичной формой fij{x,y) и число представлений равно r(fij,™>) = 2 р{т).

В третьей главе диссертации рассмотрены циклические бинарные квадратичные формы произвольного порядка.

Пусть группа классов бинарных квадратичных форм циклическая порядка h:

Со, Ci, Ch-l Ci * Cj = Ci+j (mod /i)}-Фиксируем для натурального m разложение на множители т = то • т+ • т (3) с взаимнопростыми rao,m+,m вида т0 = rj1 - ■ • г2е с Xi(r¿) = 0, (4) т+ = pf1 • • • с xife) = +1, (5) т-= qf1 ■ ■ • q6/ с Xi(ft) =-1. (6)

Далее, пусть

6г = ■ ■ ■ = 5f = 0 (mod 2). (7)

На множестве простых р с условием Xi(p) — О или +1 введем функцию а(р) = г, если r(/¿,p) >0 с 0 < г < /г/2.

В теореме 3.1 получена формула для количества представлений циклическими бинарными квадратичными формами и как следствия из нее - арифметические свойства.

Следствие 3.1. Для циклических форм нечетного порядка h количество представлений r(/¿,m) числа т = mo-m+-m (3) с условием, что т удовлетворяет сравнениям (7), не зависит от множителей то, т .

Следствие 3.2. Если группа классов форм циклическая, h нечетное и для т = га0 • т+ • га в множитель т+ (5) входит степень рс Н.О.Д.(a(pi), h )=1 и c¿i = h— 1 (mod /i) 7 тогда выполняются равенства r(fo, "г) = К/ь "г) = . = r(/hi, т).

Если т дополнительно удовлетворяет условию (7), то г(/-; т) = + 1) . . (ап + 1) для 0 < г < /г - 1.

Если h = р - нечетное простое число, то достаточно потребовать существование степени р^\т+ с a(pi) Ф 0 .

Результаты диссертации докладывались на Международной летней школе-семинаре по современным проблемам теоретической и математической физики (Петровские чтения) (Казань, 2006 г.), XIII Международной конференции студентов, аспирантов и молодых ученых "Ломоносов" (Москва, 2006 г.), XXVIII Конференции молодых ученых механико-математического факультета МГУ (Москва, 2006 г.), Международной конференции по алгебре и теории чисел, посвященной 80-летию проф. В.Е. Воскресенского (Самара, 2007 г.), на научных конференциях профессорско-преподавательского состава ВГГУ (2006-2007 гг., секция "Алгебра и теория чисел"), а также неоднократно обсуждались на научном семинаре по теории чисел ВГГУ под руководством доктора физико-математических наук, профессора В.Г. Журавлева.

Основные результаты опубликованы работах автора [6]-[10].

Список источников диссертации и автореферата по математике, кандидата физико-математических наук, Евсеева, Юлия Юрьевна, Владимир

1. Андрианов А.Н., Журавлёв В.Г. Модулярные формы и операторы Гекке. М., Наука. 1990.

2. Боревич З.И. Шафаревич И.Р. Теория чисел М.: Наука, 1984.

3. Вепхвадзе Т.В., О представлении чисел положительными бинарными квадратичными формами нечетного дискриминанта, Тр. Тбилис. Мат. ин-та, АН. Груз. ССР, 1974.

4. Гаусс К.Ф. Труды по теории чисел. М.: Издательство Академии наук СССР. 1959.

5. Голубева Е.П., Об исключительных числах для бинарных квадратичных форм, Зап. научн. сем. ПОМИ, 1998, т.254.

6. Евсеева Ю.Ю. О количестве представлений числа трехклассной биинарной бинарной квадратичной формой, Материалы XIII Международной конференции студентов, аспирантов и молодых ученых "Ломоносов". Том IV. Москва: Изд-во МГУ, 2006. С.83-84.

7. Евсеева Ю.Ю. О количестве представлений чисел неодноклассными бинарными квадратичными формами, Труды XXVIII Конференции молодых ученых механико-математического факультета МГУ.Москва: Изд-во ЦПИ при механико-математическом факультете МГУ, 2006. С.51-53

8. Евсеева Ю.Ю. Представление натуральных чисел трехклассными бинарными квадратичными формами, Международная конференция по алгебре и теории чисел, посвященная 80-летию В.Е. Воскресенского, Самара, Россия, 21-25 мая, 2007: тез. докл. С.20-21

9. Журавлев В.Г., Евсеева Ю.Ю. Арифметические свойства представлений натуральных чисел бинарными квадратичными формами, Вестник СамГУ Естественнонаучная серия. 2007. № 7. С. 83-84

10. Журавлев В.Г. Элементарная теория Гекке. Владимир: ВГПУ, 2001.

11. Журавлёв В.Г. Представление квадратичных форм родом квадратичных форм, Алгебра и анализ. 1996. Т.8.

12. Коган JI.A. О представлении целых чисел положительно определенными квадратичными формами. Ташкент. ФАН. 1971.

13. Коган JI.A. и др. Представление чисел квадратичными формами. Ташкент. ФАН. 1989.

14. Малышев A.B. О представлении целых чисел положительными квадратичными формами, Тр. МИАН СССР. 1962. Т.65.

15. Фоменко О.М., Представление целых чисел, принадлежащих подпоследовательностям натурального ряда, бинарными квадратичными формами, Зап. научн. сем. ПОМИ, 1998, т. 254.

16. Шимура Г. Введение в арифметическую теорию автоморфных функций. М: Мир, 1973.

17. Basilla J.M., On the solution of x2 + dy2 = m, Proc. Japan Acad., 80, Ser. A, 2004.

18. Buel D.A. Binary Quadratic Forms, Classical Theory and Modern Computations, N.Y., 1989.

19. Dickson L.E. History of the theory of numbers vol.3, Quadratic and higher forms N.Y. 1992.

20. Dirichlet P. G. L., Lectures on Number Theory (Supplements by R. Dedekind), transl. by J. Stillwell, Amer. Math. Soc., 1999.

21. Kaplan P., Williams K.S. On the Number of Representations of a Positive Integer by a Binary Quadratic Form, Acta Arithmetica, 2004.

22. Pall G., The distribution of intergers represented by binary quadratic forms, Bull. Amer. Math. Soc. 49, No.6, 1943.

23. Petersson H., Modulfunktionen und quadratische Formen, Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer-Verlag, v. 100, 1982.

24. Shimura G., The number of representations of an integer by a quadratic form. Duke Mathematical Journal, 1999, v. 100, n. 1.

25. Siegel C.L. Uber die analytische Theorie der Quadratischen Formen, Ann. Math. 1935.

26. Siegel C.L. Lectures on the Analytical Theory of Quadratic Forms. Gôttingen. Revised Edition. 1963.

27. Sun Z. H. and Williams K.S., On the number of representations of n by ax2 + bxy 4- cy2 , Acta Arithmetica 122.2 . 2006.