WikiDer > Гипотеза Шануэльса - Википедия

Schanuels conjecture - Wikipedia

Часть серия статей на
математическая константа е
Формула Эйлера.svg
Характеристики
Приложения
Определение е
Люди
похожие темы

В математика, конкретно трансцендентная теория чисел, Гипотеза Шануэля это гипотеза, сделанная Стивен Шануэль в 1960-х годах относительно степень трансцендентности определенных расширения полей из рациональное число.

Заявление

Гипотеза следующая:

Учитывая любые п сложные числа z1, ..., zп которые линейно независимый над рациональное число ℚ, то расширение поля ℚ (z1, ..., zп, еz1, ..., еzп) имеет степень трансцендентности по меньшей мере п над ℚ.

Гипотезу можно найти у Лэнга (1966).[1]

Последствия

Гипотеза, если она будет доказана, обобщит большинство известных результатов в трансцендентная теория чисел. Частный случай, когда числа z1,...,zп все алгебраический это Теорема Линдемана – Вейерштрасса. Если же, с другой стороны, числа выбраны так, чтобы exp (z1), ..., ехр (zп) все алгебраические, то можно было бы доказать, что линейно независимые логарифмы алгебраических чисел алгебраически независимы, усиление Теорема Бейкера.

В Теорема Гельфонда – Шнайдера следует из этой усиленной версии теоремы Бейкера, как и недоказанная в настоящее время Гипотеза четырех экспонент.

Гипотеза Шануэля, если она будет доказана, также решит, будут ли такие числа, как е + π и ее являются алгебраическими или трансцендентными, и докажите, что е и π алгебраически независимы, просто положив z1 = 1 и z2 = πя, и используя Тождество Эйлера.

Тождество Эйлера утверждает, что еπя + 1 = 0. Если гипотеза Шануэля верна, то это в некотором точном смысле включает экспоненциальные кольца, то Только отношения между е, π, и я над комплексными числами.[2]

Хотя предположение является проблемой теории чисел, оно имеет значение в теория моделей также. Ангус Макинтайр и Алекс Уилки, например, доказал, что теория действительного поля с возведением в степень, ℝexp, является разрешимый при условии, что гипотеза Шануэля верна.[3] Фактически, им требовалась только реальная версия гипотезы, определенная ниже, чтобы доказать этот результат, который был бы положительным решением проблемы. Проблема экспоненциальной функции Тарского.

Связанные предположения и результаты

В обратная гипотеза Шануэля[4] следующее утверждение:

Предполагать F это счетный поле с характеристика 0 и е : F → F это гомоморфизм из аддитивной группы (F, +) в мультипликативную группу (F,·) чей ядро является циклический. Предположим далее, что для любого п элементы Икс1,...,Иксп из F которые линейно независимы над ℚ, поле расширения ℚ(Икс1,...,Иксп,е(Икс1),...,е(Иксп)) имеет степень трансцендентности не менее п над ℚ. Тогда существует гомоморфизм поля час : F → ℂ такой, что час(е(Икс)) = ехр (час(Икс)) для всех Икс в F.

Версия гипотезы Шануэля для формальный степенной ряд, также Schanuel, было доказано Джеймс Экс в 1971 г.[5] Говорится:

Учитывая любые п формальный степенной ряд ж1,...,жп в тℂ[[т]], которые линейно независимы над ℚ, то расширение поля ℂ(т,ж1,...,жп, ехр (ж1), ..., ехр (жп)) имеет степень трансцендентности не менее п над ℂ(т).

Как указано выше, разрешимость ℝexp следует из реальной версии гипотезы Шануэля, которая выглядит следующим образом:[6]

Предполагать Икс1,...,Иксп находятся действительные числа и степень трансцендентности поля ℚ(Икс1,...,Иксп, exp(Икс1), ..., ехр (Иксп)) строго меньше п, то есть целые числа м1,...,мп, не все нули, так что м1Икс1 +...+ мпИксп = 0.

Родственная гипотеза, называемая однородной действительной гипотезой Шануэля, по сути, говорит то же самое, но ограничивает целые числа мя. Единообразная реальная версия гипотезы эквивалентна стандартной реальной версии.[6] Макинтайр и Уилки показали, что следствие гипотезы Шануэля, которую они назвали гипотезой Слабого Шануэля, эквивалентно разрешимости ℝexp. Эта гипотеза утверждает, что существует вычислимая верхняя оценка нормы неособых решений систем экспоненциальные полиномы; это, не очевидно, следствие гипотезы Шануэля для действительных чисел.[3]

Также известно, что гипотеза Шануэля была бы следствием предположительных результатов в теории мотивы. В этой обстановке Гипотеза периода Гротендика для абелева разновидность А утверждает, что степень трансцендентности его матрица периодов такой же, как размер соответствующего Группа Мамфорда – Тейта, и что известно по работам Пьер Делинь состоит в том, что размерность является верхней границей степени трансцендентности. Бертолин показал, как обобщенная гипотеза периода включает в себя гипотезу Шануэля.[7]

Псевдо-возведение в степень Зильбера

Хотя до доказательства гипотезы Шануэля еще далеко,[8] Связь с теорией моделей вызвала волну исследований этой гипотезы.

В 2004 г. Борис Зильбер систематически построенный экспоненциальные поля Kexp которые являются алгебраически замкнутыми и имеют нулевую характеристику, и такие, что одно из этих полей существует для каждого бесчисленный мощность.[9] Он аксиоматизировал эти поля и, используя Строительство Грушовского и техники, вдохновленные работой Шела на категоричность в инфинитарная логика, доказал, что эта теория «псевдо-возведения в степень» имеет уникальную модель в каждом несчетном кардинале. Гипотеза Шануэля является частью этой аксиоматизации, и поэтому естественная гипотеза о том, что уникальная модель континуума мощности на самом деле изоморфна комплексному экспоненциальному полю, влечет за собой гипотезу Шануэля. Фактически, Зильбер показал, что эта гипотеза верна тогда и только тогда, когда верны и гипотеза Шенуэля, и другое недоказанное условие на комплексное поле возведения в степень, которое Зильбер называет экспоненциально-алгебраической замкнутостью.[10] Поскольку эта конструкция может также давать модели с контрпримерами гипотезы Шануэля, этот метод не может доказать гипотезу Шануэля.[11]

Рекомендации

  1. ^ Ланг, Серж (1966). Введение в трансцендентные числа. Аддисон-Уэсли. С. 30–31.
  2. ^ Терцо, Джузеппина (2008). «Некоторые следствия гипотезы Шануэля в экспоненциальных кольцах». Коммуникации в алгебре. 36 (3): 1171–1189. Дои:10.1080/00927870701410694.
  3. ^ а б Макинтайр А. и Уилки А. Дж. (1996). «О разрешимости действительного экспоненциального поля». В Odifreddi, Piergiorgio (ред.). Крайзелиана: Окрестности Георга Крайзеля. Уэллсли: Питерс. С. 441–467. ISBN 978-1-56881-061-4.
  4. ^ Скотт В. Уильямс, Проблемы на миллион баксов
  5. ^ Топор, Джеймс (1971). «О догадках Шануэля». Анналы математики. 93 (2): 252–268. Дои:10.2307/1970774. JSTOR 1970774.
  6. ^ а б Кирби, Джонатан и Зильбер, Борис (2006). «Единая гипотеза Шануэля над действительными числами». Бык. Лондонская математика. Soc. 38 (4): 568–570. CiteSeerX 10.1.1.407.5667. Дои:10.1112 / S0024609306018510.
  7. ^ Бертолин, Кристиана (2002). "Périodes de 1-motifs et transcendance". Журнал теории чисел. 97 (2): 204–221. Дои:10.1016 / S0022-314X (02) 00002-1.
  8. ^ Вальдшмидт, Мишель (2000). Диофантовы приближения на линейных алгебраических группах. Берлин: Springer. ISBN 978-3-662-11569-5.
  9. ^ Зильбер, Борис (2004). «Псевдо-возведение в степень на алгебраически замкнутых полях нулевой характеристики». Анналы чистой и прикладной логики. 132 (1): 67–95. Дои:10.1016 / j.apal.2004.07.001.
  10. ^ Зильбер, Борис (2002). «Уравнения экспоненциальных сумм и гипотеза Шенуэла». J. London Math. Soc. 65 (2): 27–44. Дои:10.1112 / S0024610701002861.
  11. ^ Бэйс, Мартин; Кирби, Джонатан (2018). «Псевдоэкспоненциальные отображения, варианты и квазиминимальности». Теория чисел алгебры. arXiv:1512.04262.

внешняя ссылка