Московский государственный университет
имени М.В. Ломоносова
Механико-математический факультет
На правах рукописи
УДК 511.72 + 511.464
Михайлов Сергей Владимирович
О НЕКОТОРЫХ МЕТРИЧЕСКИХ ПРОБЛЕМАХ
ТЕОРИИ ДИОФАНТОВЫХ ПРИБЛИЖЕНИЙ
Специальность 01.01.06 – математическая логика, алгебра и теория чисел
АВТОРЕФЕРАТ
диссертации на соискание ученой степени кандидата физико-математических наук
Москва 2008
Работа выполнена на кафедре теории чисел Механико-математического факультета Московского государственного университета имени М.В. Ломоносова.
Научный руководитель: член-корреспондент РАН, профессор Юрий Валентинович Нестеренко
Официальные оппоненты: доктор физико-математических наук, профессор Евгений Михайлович Матвеев кандидат физико-математических наук, доцент Виктор Тимофеевич Марков
Ведущая организация: Московский педагогический государственный университет
Защита диссертации состоится 20 июня 2008 г. в 16 ч. 40м. на заседании диссертационного совета Д.501.001.84 при Московском государственном университете им. М.В. Ломоносова по адресу: 119991, Российская Федерация, Москва, ГСП-1, Ленинские горы, Московский государственный университет имени М.В. Ломоносова, Механико-математический факультет, аудитория 14-08.
С диссертацией можно ознакомиться в библиотеке механикоматематического факультет МГУ имени М.В. Ломоносова (Главное здание, 14 этаж).
Автореферат разослан 20 мая 2008 года.
Ученый секретарь диссертационого совета Д.501.001.84 при МГУ доктор физико-математических наук, профессор А.О. Иванов
Общая характеристика работы
Актуальность темы Изучение приближений действительных чисел рациональными позволяет многое сказать об арифметической природе чисел. На этом пути впервые было доказано существование трансцендентных чисел, иррациональность (3) и т.д. Метрическая теория диофантовых приближений началась, по-видимому, со знаменитой теоремы о приближении действительных чисел рациональными, доказанной А.Я. Хинчиным в начале прошлого века, в которой утверждается, что для почти всех (в смысле меры Лебега на R) действительных чисел x отрезка [a, b] неравенство p (q) x < (1) q q имеет бесконечно много решений в целых числах p и натуральных числах q, если ряд (q) расходится (здесь (x) монотонно убывающая неотрицаq= тельная функция, определенная на R+ ). Причем, если вышеуказанный ряд сходится, то таких чисел x почти нет.
Перепишем неравенство (1) в виде |qx p| < (q). (2) Вместо (2) естественно рассмотреть более общее неравенство, в котором под знаком абсолютной величины стоит многочлен произвольной фиксированной степени n с целыми коэффициентами. Пусть n aj x j, aj Z, 0 H(P ) = max |aj |.
P (x) = j n, 0jn j= Обозначим через Ln () множество x R, для которых неравенство |P (x)| < H n+1 (H), H = H(P ) имеет бесконечное число решений в полиномах P (x) Z[x] степени не выше n. Задача о мере множества Ln () имеет давнюю историю. Так, в 1932г. К.
A. Khintschine, Math. Ann., 1924, Bd. 92, 115-125.
Малер2 предположил, что при (H) = H, > 1, множество Ln () имеет нулевую меру. Эту гипотезу доказал В.Г. Спринджук3 в 60-х годах прошлого века. Спустя несколько лет А. Бейкер4 улучшил теорему Спринджука и предположил, что для множества Ln () справедливо утверждение, подобное теореме Хинчина в случае сходимости. Это предположение было доказано в 1980-х годах В.И. Берником5. Спустя примерно десятилетие В.В. Бересневич6 доказал нужное утверждение и в случае расходимости соответствующего ряда. Вскоре эти результаты были обобщены7 на поля комплексных и p-адических чисел.
Другое направление для обобщений теоремы Спринджука заключалось в переходе от многочленов одной переменной к многочленам многих переменных. Было выдвинуто предположение8, что для почти всех (в смысле m-мерной меры Лебега) точек Rm неравенство имеет лишь конечное число решений в полиномах P Z[x1,..., xm ] степени не выше n, где N = Cm+n 1 (число различных нетривиальных мономов от m переменных степени не выше n), > 0 вещественное число. Эта гипотеза была доказана9 в конце прошлого века Д. Клейнбоком и Г. Маргулисом, как следствие их общей метрической теоремы о диофантовых приближениях точек на аналитических многообразиях.
K. Mahler, Math. Ann., 1932, Bd. 105, 131-139.
В.Г. Спринджук, Доказательство гипотезы Малера о мере множества S-чисел, Изв. АН СССР, сер.
мат., 29:2, 1965, 379-436.
A. Baker, Proc. Roy. Soc. Lond., 1966, V. A 292, p. 92-104.
В.И. Берник, О точном порядке приближения нуля значениями целочисленных многочленов, Acta Arith., 53:1, 1989, 17-28.
V. Beresnevich, On approximation of real numbers by real algebraic numbers, Acta Arith., 90:2, 1999, 97-112.
В.И. Берник, Д.В. Васильев, Тр. Ин-та математики НАН Беларуси, 1999, т. 3, 10-20;
Э.И. Ковалевская, Преп. № 8 (547), Тр. Ин-та математики НАН Беларуси, 1998, 14с.
В.Г. Спринджук, Проблема Малера в метрической теории чисел, Минск: Наука и техника, 1967, Заключение, §3, Проблема В.
D.Y. Kleinbock, G.A. Margulis, Flows on homogeneous spaces and Diophantine approximation on manifolds, Ann. Math., 148, 1998, 339-360.
Описанные выше теоремы характеризуются общим свойством полиномы, участвующие в их формулировках, имеют ограниченную степень, растет лишь их высота H(P ). Далее мы перейдем к рассмотрению ситуации, когда меняются и высота полинома и его степень. Исторически сложилось при изучении этой ситуации использовать некий агрегат степени полинома и его высоты. Назовем типом многочлена P величину если для любого многочлена P (x) Z[x], P 0 выполнено неравенство где c1 > 0 константа, зависящая, вообще говоря, от, но не от многочлена P. Это определение было дано С. Ленгом10 в 1966 г.
Пусть вещественное трансцендентное число имеет тип трансцендентности. Используя принцип Дирихле, можно доказать, что 2. Задача определения типа трансцендентности для конкретного числа очень сложна.
Например, имеет11 тип трансцендентности 2 + для любого положительного. Можно ли утверждать, что имеет тип трансцендентности 2, не известно до сих пор.
В 1971 г. К. Малер предложил12 классификацию трансцендентных чисел, основанную на понятии функции порядка вещественного числа. В связи с предложенной классификацией Малер сформулировал несколько проблем.
Одна из них предположение о том, что почти все вещественные числа имеЭто предположение было доказано13 Ю.В.
ют тип трансцендентности S. Lang, Introduction to transcendental numbers, Addison-Wesley series in math., 1966, гл. 5, §1, с. Н.И. Фельдман, Аппроксимация некоторых трансцендентных чисел, Известия Ак. наук СССР, сер.
мат., 15, 1951, 53-74; теорема 4, с. K. Mahler, On the order function of a transcendental number, Acta Arith., 18, 1971, 63-76.
Ю.В. Нестеренко, Функция порядка для почти всех чисел., Матем. заметки, 15:3, 1974, 405-414.
Нестеренко в 1973 г. Кроме того, было установлено, что почти все точки Rm имеют тип трансцендентности m + 2 и выдвинуто предположение, что на самом деле почти все точки Rm имеют тип трансцендентности m + 1 (определения, связанные с понятием типа трансцендентности, дословно переносятся с одномерного на многомерный случай; аналогом трансцендентного числа R является точка Rm, координаты которой алгебраически независимы). Опять же, используя принцип Дирихле, можно доказать, что точка Rm не может иметь тип трансцендентности m + 1 ни для какого положительного.
В 1981 г. Ю.В. Нестеренко доказал14, что почти все (в смысле меры Хаара15 ) точки двумерного пространства над полем p-адических чисел Q2 имеp ют тип трансцендентности 3. Это была первая точная оценка в случае, когда размерность пространства больше 1. Доказательство было не только продолжением идей вещественного случая, но и использовало новую технику переход от работы с многочленами кольца Z[x1, x2 ] к работе с однородными идеалами кольца Z[x0, x1, x2 ]. Для идеалов были введены понятия степени, высоты и значения в точке проективного пространства Q3. Эти величиp ны обладали свойствами, аналогичными соответствующим характеристикам многочленов. Подобная техника впервые появилась16 в связи с разработкой методов доказательства алгебраической независимости чисел, и уходит своими корнями в общую теорию исключения. В работах Ю.В. Нестеренко17 и П. Филиппона18 эта теория получила дальнейшее развитие.
Ю.В. Нестеренко, О мере алгебраической независимости почти всех пар p-адических чисел, Матем.
заметки, 36:3, 1984, 295-304.
П. Халмош, Теория меры, М., 1953, гл. 9, § Ю.В. Нестеренко, Оценки порядков нулей функций одного класса и их приложение в теории трансцендентных чисел, Изв. АН СССР, Сер. мат., 41:2, 1977, 253-284.
Ю.В. Нестеренко, Оценки характеристической функции простого идеала, Матем. сб., 123:1, 1984, 11Об алгебраической независимости алгебраических степеней алгебраических чисел, Матем. сб., 123:4, 1984, 435-469; Оценки числа нулей функций некоторых классов, Acta Arith., 53:1, 1989, 29-46; Ю.В. Нестеренко, О мере алгебраической независимости значений функций Рамануджана, Труды Математического Института имени В.А. Стеклова, 218, 1997, 299-334.
P. Philippon, Crit`res pour l’indepndance algbrique, Inst. Hautes Etudes Sci. Publ. Math. 64, (1982), 5-52;
Проблема определения типа трансцендентности может быть поставлена не только для вещественных и p-адических, но и для комплексных чисел. В начале 80-х годов прошлого века Г.В. Чудновский предположил19, что почти все (в смысле 2m-мерной меры Лебега) точки Cm имеют тип трансценm+1. Это предположение было доказано Ф. Аморозо20 в 1990г.
дентности (как и в вещественном случае, используя принцип Дирихле, можно доказать, ни для какого положительного ). Отметим, что справедливость аналогичного утверждения в вещественном случае не является непосредственным следствием теоремы Аморозо, поскольку множество в Cm, имеющее 2m-мерную лебегову меру ноль, может пересекать подмножество Rm Cm по множеству положительной m-мерной меры. Доказательство Аморозо существенно использует ”комплексность” ситуации, и его не удается адаптировать ни к вещественному, ни к p-адическому случаю.
В диссертации доказывается точная оценка для типа трансцендентности почти всех точек как вещественного, так и p-адического и комплексного многомерных пространств.
Цель работы Целью работы является изучение меры алгебраической независимости координат точек конечномерного пространства над полями вещественных, комплексных и p-адических чисел. Перед автором были поставлены следующие задачи:
• получить оценки меры алгебраической независимости для координат почти всех точек конечномерного вещественного пространства в терминах типа трансцендентности, точные в зависимости от показателя степени;
• изучить возможность обобщения вышеуказанного результата на случай Lemmes de zros dans les groupes algbriques commutatifs, Bull. Soc. Math. France 114, (1986), 355-383; Errata et addenda, ibidem 115, (1987), 397-398; I’indepndance algbrique et K-fonctions, J. Reine Angew. Math. 329, (1981), 66- G.V. Chudnovsky, Contribution to the theory of transcendental numbers, AMS, 19, 1984, гипотеза 1.3.
F. Amoroso, Polynomials with high multiplicity, Acta Arith., 56, 1990, 345-364.
конечномерного пространства над полем комплексных чисел и над полем pадических чисел.
Методы исследования В работе используются методы теории диофантовых приближений, теории меры, коммутативной алгебры и теории p-адических чисел.
Научная новизна Результаты диссертации являются новыми и получены автором самостоятельно. Основные результаты диссертации следующие:
• Доказано, что почти все точки конечномерного вещественного пространства имеют тип трансцендентности, на единицу больший размерности пространства;
• Доказано, что почти все точки конечномерного пространства над полем p-адических чисел имеют тип трансцендентности, на единицу больший размерности пространства;
• Получено новое доказательство того, что почти все точки конечномерного комплексного пространства имеют тип трансцендентности, на единицу больший размерности пространства.
Теоретическая и практическая ценность Диссертация носит теоретический характер. Используемая в работе техника может быть применена в дальнейших исследованиях в метрической теории диофантовых приближений, в том числе для исследования возможности получения аналогичных результатов над полем формальных степенных рядов.
Апробация работы Результаты диссертации докладывались • на научно-исследовательском семинаре по теории чисел под руководством Н.Г. Мощевитина и Ю.В. Нестеренко в ноябре 2006 года;
• на международной конференции “Diophantine and analytic problems in number theory” в феврале 2007 года;
• на научно-исследовательском семинаре по теории чисел под руководством А.А. Карацубы, Н.Г. Мощевитина и Ю.В. Нестеренко в сентябре года.
Публикации Результаты диссертации опубликованы в 3 работах, список которых приводится в конце автореферата [1-3].
Структура и объем работы Диссертация изложена на 70 страницах и состоит из введения, трех глав и списка литературы, включающего 35 наименований.
Содержание работы Во введении описана история возникновения проблем, рассматриваемых в диссертации, упомянуты основные достижения, имеющиеся в изучаемой области, и сформулированы ключевые результаты, полученные в работе автора.
Введем обозначения, полезные в дальнейшем. Пусть P многочлен с целыми коэффициентами, зависящий от m переменных. Обозначим deg P степень P по совокупности переменных, H(P ) максимум модулей коэффициентов P и t(P ) = deg P + ln H(P ) тип многочлена P.
Первая глава посвящена доказательству следующей теоремы:
Теорема 1. Для почти всех (в смысле m-мерной меры Лебега) точек Rm существует положительная константа c = c() такая, что для любого многочлена P Z[x1,..., xm ], P 0 справедливо неравенство Изложим план доказательства этой теоремы. Он имеет метрическую и алгебраическую части. Начнем с метрической.
Назовем точку Rm хорошей, если для нее выполнено условие теоремы 1, и назовем плохой, если она не является хорошей. Обозначим множество всех плохих точек Rm, и 0 множество плохих точек Rm с условием || 1, где || = max |i |. Теорема 1 утверждает, что лебегова мера множества равна нулю.
Первый шаг переход от всего пространства к единичному кубу. Оказывается, что при доказательстве теоремы 1 можно ограничиться рассмотрением точек Rm с условием || 1, то есть точек единичного куба.
В диссертации доказано, что при сдвигах на вектор с целочисленными координатами хорошие точки переходят в хорошие, а плохие точки в плохие.
Поэтому множество содержится в объединении всевозможных сдвигов множества 0 на вектора с целочисленными координатами, а этих сдвигов счетное число.
Второй шаг построение вспомогательного семейства множеств меры ноль. Отметим, что если координаты некоторой точки Rm алгебраически зависимы (над Q), то эта точка не может быть хорошей, так как найдется ненулевой многочлен P с целыми коэффициентами, обращающийся в ноль в точке. Обозначим через S0 множество точек единичного куба в Rm с алгебраически зависимыми (над Q) координатами. Имеет место строгое включение S0 0.
Построим семейство множеств S(1, 2 ), характеризуемое следующим для любой точки S(1, 2 )\S0 существует бесконечная послесвойством довательность различных многочленов Q Z[x1,..., xm ] таких, что величина |Q()| ”мала”, а абсолютное значение некоторой частной производной |Qxi ()| ”большое” по сравнению с |Q()|.
Дадим формальное определение. Пусть 1, 2 положительные вещественные числа, n натуральное число. Обозначим через Bn (1, 2 ) множество точек Rm, || 1, для каждой из которых существует многочлен Q Z[x1,..., xm ] такой, что И пусть то есть S(1, 2 ) множество точек, каждая из которых содержится в бесконечном числе множеств Bn. Можно доказать, что при 1 > 2 + мера множества S(1, 2 ) равна нулю.
Третий шаг можно так подобрать положительные параметры 1, 2 (с условием 1 > 2 + m! ), что с множеством S = S(1, 2 ) будет выполнено включение Это включение доказывает теорему, поскольку мера каждого из множеств S, S0 в правой части (3) равна нулю.
Приведем схему доказательства включения (3) (это и есть алгебраическая часть доказательства теоремы 1). Для этого нам потребуются некоторые алгебраические понятия. Пусть Q[x0,..., xm ] кольцо многочленов от переменных x0,..., xm над Q, I некоторый однородный идеал в этом кольце.
Напомним, что идеал I кольца многочленов Q[x0,..., xm ] называется несмешанным, если все его примарные компоненты имеют одинаковую размерность, равную размерности идеала I. Показателем p-примарного идеала I называется наименьшее натуральное число n с условием pn I. Под размерностью dim I однородного идеала I мы понимаем его проективную размерность. В частности, для простого однородного идеала p его размерность равна degtrQ (Q[x0,..., xm ]/p) 1.
Для однородного несмешанного идеала I можно определить понятия степени идеала deg I, логарифмической высоты идеала h(I), и величины идеала в точке проективного комплексного пространства Cm+1, обозначаемой |I( )|. Эти величины по своим свойствам напоминают аналогичные характеристики многочлена. В том виде, в котором указанные величины используются в диссертации, они впервые были определены Ю.В. Нестеренко21.
По аналогии с типом многочлена, можно определить понятие типа идеала I формулой Определим некоторые множества точек, используя характеристики идеалов. Пусть = (m) достаточно большое вещественное положительное число, зависящее от m.
для которых существует бесконечная последовательность различных однородных несмешанных идеалов I Q[x0, x1,..., xm ] таких, что Положим по определению A0 =. Можно доказать, что условие S0 обеспечивает, что величина |I(1, 1,..., m )| отлична от нуля, поэтому Ar определено корректно.
торых существует бесконечная последовательность различных однородных простых идеалов p Q[x0, x1,..., xm ] таких, что Чтобы определить множество S, следует задать параметры 1, 2. Для этого нам понадобится r = dim p + 1 1. Пусть L = min t(E), где минимум берется по всем одEp нородным многочленам идеала p. Тогда существует однородный многочлен F p Z[x0,..., xm ] такой, что некоторая его частная производная не лежит в идеале p и при этом Ю.В. Нестеренко, О мере алгебраической независимости значений функций Рамануджана // Труды Математического Института имени В.А. Стеклова, 218, 1997, 299-334.
Теперь мы можем определить Относительно определенных выше множеств можно доказать следующие включения (леммы 10, 11, 12):
Из этого сразу следует справедливость цепочки включений что равносильно (3) и доказывает теорему 1.
Во второй главе диссертации доказывается аналог теоремы 1 над полем комплексных чисел:
Теорема 2. Для почти всех (в смысле 2m-мерной меры Лебега) точек Cm существует положительная константа c = c() такая, что для любого многочлена P Z[x1,..., xm ], P 0, справедливо неравенство Доказательство теоремы 2 проводится в соответствии со схемой, изложенной выше. Есть лишь небольшие изменения в метрических леммах.
Третья глава посвящена p-адическому аналогу теоремы 1:
Теорема 3. Для почти всех (в смысле меры Хаара) точек Qm сущеp ствует положительная константа c = c() такая, что для любого многочлена P Z[x1,..., xm ], P 0 справедливо неравенство Тот факт, что p-адическая норма неархимедова, позволяет упростить некоторые доказательства с технической точки зрения. На самом деле, именно теорема 3 была получена автором первой. И уже потом были внесены изменения в некоторые доказательства, позволившие получить теоремы 1 и 2 и изложить все три теоремы единообразно.
Благодарности Автор благодарит своего научного руководителя члена-корреспондента РАН, профессора Ю. В. Нестеренко за постановку задач, многочисленные плодотворные консультации и огромную моральную поддержку. Автор также благодарен всем сотрудникам кафедры теории чисел за поддержку.
Работы по теме диссертации [1] Михайлов С.В., Тип трансцендентности для почти всех точек mмерного вещественного пространства, Математический сборник, 2007, № 10, Том 198, стр. 67–88.
[2] Михайлов С.В., Тип трансцендентности для почти всех точек mмерного комплексного пространства. // Успехи математических наук, 2008, № 2, Том 63, стр. 175-176.
[3] Михайлов С.В., О некоторых метрических проблемах теории диофантовых приближений // Рукопись депонирована в ВИНИТИ 02.11.07 № 1017-B2007, 57 с.