Обобщённые гипотезы Римана

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Гипотеза Римана является одной из наиболее важных гипотез в математике. Гипотеза является утверждением о нулях дзета-функции Римана. Различные геометрические и арифметические объекты могут быть описаны так называемыми глобальными L-функциями, которые формально похожи на дзета-функцию Римана. Можно тогда задать тот же вопрос о корнях этих L-функций, что даёт различные обобщения гипотезы Римана. Многие математики верят в верность этих обобщений гипотезы Римана. Единственный случай, когда такая гипотеза была доказана, произошёл в алгебраическом поле функций[en] (не в случае поля чисел).

Глобальные L-функции можно ассоциировать с эллиптическими кривыми, числовыми полями (в этом случае они называются дзета-функциями Дедекинда), параболическими формами Маасса[en] и характерами Дирихле (в этом случае они называются L-функциями Дирихле). Когда гипотеза Римана формулируется для дзета-функций Дедекинда, она называется расширенной гипотезой Римана (РГР), а когда она формулируется для L-функций Дирихле, она известна как обобщённая гипотеза Римана (ОГР). Эти два утверждения более детально обсуждаются ниже. Многие математики используют название обобщённая гипотеза Римана для расширения гипотезы Римана на все глобальные L-функции, не только специальный случай L-функций Дирихле.

Обобщённая гипотеза Римана (ОГР)[править | править код]

Обобщённую гипотезу Римана (для L-функций Дирихле), видимо, впервые сформулировал Адольф Пилтц[en] в 1884 году[1]. Подобно исходной гипотезе Римана обобщённая гипотеза имеет далеко идущие следствия о распределении простых чисел.

Формальное утверждение гипотезы. Характер Дирихле — это полностью мультипликативная арифметическая функция χ, такая, что существует положительное целое число k с χ(n + k) = χ(n) для всех n и χ(n) = 0 если gcd(n, k) > 1. Если задан такой характер, мы определяем соответствующую L-функцию Дирихле

для любого комплексного числа s с вещественной частью > 1. С помощью аналитического продолжения эта функция может быть продолжена до мероморфной функции, определённой на всей комплексной плоскости. Обобщённая гипотеза Римана утверждает, что для любого характера Дирихле χ и любого комплексного числа s с L(χ,s) = 0 выполняется: если вещественное число s находится между 0 и 1, то оно, на самом деле, равно 1/2.

Случай χ(n) = 1 для всех n даёт обычную гипотезу Римана.

Следствия ОГР[править | править код]

Теорема Дирихле утверждает, что когда a и d взаимно простые натуральные числа, то арифметическая прогрессия a, a+d, a+2d, a+3d, … содержит бесконечно много простых чисел. Пусть π(x,a,d) обозначает число простых чисел в прогрессии, которые меньше или равны x. Если обобщённая гипотеза Римана верна, то для любых взаимно простых a и d и любого ε > 0

при ,

где φ(d) — функция Эйлера, а  — «O» большое. Это существенное усиление теоремы о распределении простых чисел.

Если ОГР верна, то любая собственная подгруппа мультипликативной группы не содержит числа, меньшие 2(ln n)2, как и числа, взаимно простые с n и меньшие 3(ln n)2[2]. Другими словами, генерируется набором чисел, меньших 2(ln n)2. Этот факт часто используется в доказательствах и из него вытекает много следствий, например (в предположении верности ОГР):

Если ОГР верна, то для любого простого p существует примитивный корень по модулю p (генератор мультипликативной группы целых чисел по модулю p), меньший [4].

Слабая гипотеза Гольдбаха также следует из обобщенной гипотезы Римана. Доказательство Харальда Хельфготт этой гипотезы подтверждает ОГР для нескольких тысяч малых характеров, которые позволили доказать гипотезу для всех целых (нечётных) чисел, больших 1029. Для целых чисел ниже этой границы гипотеза была проверена прямым перебором[5].

В предположении верности ОГР оценка суммы характеров в неравенстве Пойа–Виноградова[en] может быть улучшено до , где q — модуль характера.

Расширенная гипотеза Римана (РГР)[править | править код]

Пусть K — числовое поле (конечномерное расширение поля рациональных чисел Q) с кольцом целых OK (это кольцо является целым замыканием целых чисел Z в K). Если a — идеал кольца OK, отличный от нулевого идеала, мы обозначим его норму[en] через Na. Дзета-функция Дедекинда над K тогда определяется как

для любого комплексного числа s с вещественной частью > 1.

Дзета-функция Дедекинда удовлетворяет функциональному уравнению и может быть расширена аналитическим продолжением на всю комплексную плоскость. В результирующей функции закодирована важная информация о числовом поле K. Расширенная гипотеза Римана утверждает, что для любого числового поля K и любого комплексного числа s, для которого ζK(s) = 0, выполняется: если вещественная часть числа s лежит между 0 и 1, то она, на самом деле, равна 1/2.

Исходная гипотеза Римана следует из расширенной гипотезы, если взять числовое поле Q с кольцом целых чисел Z.

Из РГР вытекает эффективная версия[6] теоремы Чеботарёва о плотности[en]: если L/K является конечным расширением Галуа с группой Галуа G, а C является объединением классов смежности G, число неразветвлённых простых[en] идеалов K с нормой ниже x с классом смежности Фробениуса в C равно

где константа в нотации O-большое абсолютна, n является степенью L над Q, а Δ является его дискриминантом.

См. также[править | править код]

Примечания[править | править код]

  1. Davenport, 2000, с. 124.
  2. Bach, 1990, с. 355–380.
  3. Ivanyos, Karpinski, Saxena, 2009, с. 191–198.
  4. Shoup, 1992, с. 369–380.
  5. Helfgott, 2013.
  6. Lagarias, Odlyzko, 1977, с. 409–464.

Литература[править | править код]

  • Lagarias J.C., Odlyzko A.M. Effective Versions of the Chebotarev Theorem // Algebraic Number Fields. — 1977. — С. 409–464.
  • Eric Bach. Explicit bounds for primality testing and related problems // Mathematics of Computation. — 1990. — Т. 55, вып. 191. — С. 355–380. — doi:10.2307/2008811.
  • Gabor Ivanyos, Marek Karpinski, Nitin Saxena. Schemes for Deterministic Polynomial Factoring // Proc. ISAAC. — 2009. — С. 191–198. — ISBN 9781605586090. — doi:10.1145/1576702.1576730.
  • Helfgott H. A. Major arcs for Goldbach's theorem. — 2013. — arXiv:1305.2897v3.
  • Victor Shoup. Searching for primitive roots in finite fields // Mathematics of Computation. — 1992. — Vol. 58. — Вып. 197. — С. 369–380. — doi:10.2307/2153041.
  • Harold Davenport. Multiplicative number theory. — Third edition, Revised and with a preface by Hugh L. Montgomery. — New York: Springer-Verlag, 2000. — Т. 74. — С. xiv+177. — (Graduate Texts in Mathematics). — ISBN 0-387-95097-4.

Литература для дальнейшего чтения[править | править код]