WikiDer > Гипотеза о якобиане

Эта статья включает Список ссылок, связанное чтение или внешняя ссылка, но его источники остаются неясными, потому что в нем отсутствует встроенные цитаты. Пожалуйста, помогите улучшать эта статья введение более точные цитаты. (Сентябрь 2020) (Узнайте, как и когда удалить этот шаблон сообщения)

В математика, то Гипотеза о якобиане это известная нерешенная проблема на многочлены в нескольких переменные. Он утверждает, что если полиномиальная функция от п-мерное пространство к самому себе имеет определитель Якоби, который является ненулевой константой, тогда функция имеет полиномиально обратный. Впервые это предположение было высказано в 1939 г. Отт-Генрих Келлер, и широко рекламируется Шрирам Абхьянкар, как пример сложного вопроса в алгебраическая геометрия это можно понять, используя немногое, кроме знания исчисление.

Гипотеза о якобиане печально известна большим количеством попыток доказательства, которые, как оказалось, содержат небольшие ошибки. По состоянию на 2018 год нет никаких правдоподобных утверждений, подтверждающих это. Даже случай с двумя переменными сопротивлялся всем усилиям. Нет никаких известных убедительных причин полагать, что это правда, и, согласно ван ден Эссен (1997) есть некоторые подозрения, что это предположение на самом деле неверно для большого числа переменных (в действительности, также нет убедительных доказательств, подтверждающих эти подозрения). Гипотеза о якобиане была пронумерована 16 в Список математических задач следующего века Стивена Смейла 1998 г..

Определитель якобиана

Позволять N > 1 - фиксированное целое число и рассмотрим многочлены ж₁, ..., ж_N в переменных Икс₁, ..., Икс_N с коэффициенты в поле k. Затем мы определяем вектор-функция F: k^N → k^N установив:

F(Икс₁, ..., Икс_N) = (ж₁(Икс₁, ...,Икс_N),..., ж_N(Икс₁,...,Икс_N)).

Любая карта F: k^N → k^N возникающий таким образом, называется полиномиальное отображение.

В Определитель якобиана из F, обозначаемый J_F, определяется как детерминант из N × N Матрица якобиана состоящий из частные производные из ж_я относительно Икс_j:

${ Displaystyle J_ {F} = left | { begin {matrix} { frac { partial f_ {1}} { partial X_ {1}}} & cdots & { frac { partial f_ {1 }} { partial X_ {N}}} vdots & ddots & vdots { frac { partial f_ {N}} { partial X_ {1}}} & cdots & { frac { partial f_ {N}} { partial X_ {N}}} end {matrix}} right |,}$

тогда J_F сам является полиномиальной функцией N переменные Икс₁, ..., Икс_N.

Формулировка гипотезы

Из правила цепочки многих переменных следует, что если F имеет полиномиальную обратную функцию грамм: k^N → k^N, тогда J_F имеет полиномиальную обратную величину, поэтому является ненулевой константой. Гипотеза о якобиане является частичным обратным:

Гипотеза о якобиане: Позволять k имеют характеристика 0. Если J_F ненулевая константа, то F имеет обратную функцию грамм: k^N → k^N который обычный, что означает, что его компоненты являются полиномами.

В соответствии с ван ден Эссен (1997), проблема была впервые высказана Келлером в 1939 году для ограниченного случая двух переменных и целых коэффициентов.

Очевидный аналог гипотезы о якобиане неверен, если k имеет характерный п > 0 даже для одной переменной. Характеристика поля должна быть простой, поэтому она должна быть не меньше 2. Многочлен Икс − Икс^п имеет производную 1 − p x^п−1 что равно 1 (потому что px равно 0), но у него нет обратной функции. Тем не мение, Аджамагбо (1995) предложил распространить гипотезу о якобиане на характеристику п > 0 добавив гипотезу, что п не делит степень расширения поля k(Икс) / k(F).

Условие J_F ≠ 0 относится к теорема об обратной функции в многомерное исчисление. Фактически для гладких функций (и, в частности, для многочленов) гладкая локальная обратная функция к F существует в каждой точке, где J_F не равно нулю. Например, карта x → Икс + Икс³ имеет гладкий глобальный обратный, но обратный не является полиномиальным.

Полученные результаты

Ван (1980) доказал гипотезу о якобиане для многочленов от степень 2 и Бас, Коннелл и Райт (1982) показал, что общий случай следует из частного случая, когда многочлены имеют степень 3 или, точнее, кубический однородный тип, что означает вид F = (Икс₁ + ЧАС₁, ..., Икс_п + ЧАС_п), где каждый ЧАС_я либо нулевая, либо однородная кубика. Дружковский (1983) показал, что в дальнейшем можно считать отображение кубическим линейным типом, что означает, что ненулевое ЧАС_я кубы однородных линейных многочленов. Похоже, что сокращение Дружковского - один из самых многообещающих путей продвижения вперед. Эти сокращения вводят дополнительные переменные и поэтому недоступны для фиксированных N.

Коннелл и ван ден Дрис (1983) Доказано, что если гипотеза о якобиане неверна, то у нее есть контрпример с целыми коэффициентами и определителем Якоби 1. Следовательно, гипотеза о якобиане верна либо для всех полей характеристики 0, либо ни для одного из них. Для фиксированных N, оно верно, если оно выполнено хотя бы для одного алгебраически замкнутого поля характеристики 0.

Позволять k[Икс] обозначает кольцо многочленов k[Икс₁, ..., Икс_п] и k[F] обозначают k-подалгебра, порожденная ж₁, ..., ж_п. Для данного F, гипотеза о якобиане верна тогда и только тогда, когда k[Икс] = k[F]. Келлер (1939) доказал бирациональный случай, т. Е. Когда два поля k(Икс) и k(F) равны. Случай, когда k(Икс) является расширением Галуа k(F) было доказано Кэмпбелл (1973) для сложных карт и в целом Разар (1979) и, независимо, Райт (1981). Мох (1983) проверил гипотезу для многочленов степени не выше 100 от двух переменных.

де Бондт, ван ден Эссен и 2005, 2005 Ошибка harvtxt: цель отсутствует: CITEREFde_Bondtvan_den_Essen2005, _2005 (помощь) и Дружковский (2005) независимо показал, что достаточно доказать гипотезу о якобиане для комплексных отображений кубического однородного типа с симметричной матрицей якоби, а также показал, что гипотеза верна для отображений кубического линейного типа с симметричной матрицей якоби над любым полем характеристики 0.

Сильная гипотеза о реальном якобиане состояла в том, что вещественное полиномиальное отображение с нигде не исчезающим определителем якобиана имеет гладкий глобальный обратный. Это равносильно вопросу, является ли такое отображение топологически правильным, и в этом случае оно является покрывающим отображением односвязного многообразия и, следовательно, обратимым. Сергей Пинчук (1994) построил два переменных контрпримера суммарной степени 25 и выше.

Как известно, Гипотеза Диксмье следует гипотеза о якобиане (см. Басс и др., 1982). Наоборот, это показано Ёсифуми Цучимото (2005), и независимо Алексей Белов-Канель и Максим Концевич (2007), что из гипотезы о якобиане для 2N переменных следует Гипотеза Диксмье для измерения N. Самостоятельное и чисто алгебраическое доказательство последней импликации также дает П. К. Аджамагбо и А. ван ден Эссен (2007), который в той же работе доказал, что эти две гипотезы эквивалентны гипотезе Пуассона.

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

• Аджамагбо, Косиви (1995), "О сепарабельных алгебрах над U.F.D. и гипотезе о якобиане в любой характеристике", Автоморфизмы аффинных пространств (Кюрасао, 1994), Дордрехт: Kluwer Acad. Publ., Pp. 89–103, МИСТЕР 1352692
• Аджамагбо, П. К .; ван ден Эссен, А. (2007), «Доказательство эквивалентности гипотез Диксмье, Якобиана и Пуассона» (PDF), Acta Math. Вьетнам., 32: 205–214, МИСТЕР 2368008
• Басс, Хайман; Коннелл, Эдвин Х .; Райт, Дэвид (1982), «Гипотеза о якобиане: уменьшение степени и формальное расширение обратного», Американское математическое общество. Бюллетень. Новая серия, 7 (2): 287–330, Дои:10.1090 / S0273-0979-1982-15032-7, ISSN 1088-9485, МИСТЕР 0663785
• Белов-Канель, Алексей; Концевич, Максим (2007), "Гипотеза о якобиане стабильно эквивалентна гипотезе Диксмье", Московский математический журнал, 7 (2): 209–218, arXiv:математика / 0512171, Bibcode:2005математика ..... 12171B, Дои:10.17323/1609-4514-2007-7-2-209-218, МИСТЕР 2337879
• Кэмпбелл, Л. Эндрю (1973), "Условие обратимости полиномиального отображения", Математика. Анна., 205 (3): 243–248, Дои:10.1007 / bf01349234, МИСТЕР 0324062 (48 #2414)
• Connell, E .; ван ден Дрис, Л. (1983), "Инъективные полиномиальные отображения и гипотеза о якобиане", J. Pure Appl. Алгебра, 28 (3): 235–239, Дои:10.1016/0022-4049(83)90094-4, МИСТЕР 0701351
• де Бондт, Мишель; ван ден Эссен, Арно (2005), "Сведение гипотезы о якобиане к симметричному случаю", Proc. Амер. Математика. Soc., 133 (8): 2201–2205 (электронный), Дои:10.1090 / S0002-9939-05-07570-2, МИСТЕР 2138860
• де Бондт, Мишель; ван ден Эссен, Арно (2005), "Гипотеза о якобиане для симметричных отображений Дружковского", Анна. Полон. Математика., 86 (1): 43–46, Дои:10.4064 / ap86-1-5, МИСТЕР 2183036
• Drużkowski, Людвик М. (1983), "Эффективный подход к гипотезе Якобиана Келлера", Математика. Анна., 264 (3): 303–313, Дои:10.1007 / bf01459126, МИСТЕР 0714105
• Drukowski, Ludwik M. (2005), "Гипотеза о якобиане: симметричная редукция и решение в симметричном кубическом линейном случае", Анна. Полон. Математика., 87: 83–92, Дои:10.4064 / ap87-0-7, МИСТЕР 2208537
• Келлер, Отт-Генрих (1939), "Ganze Cremona-Transformationen", Monatshefte für Mathematik und Physik, 47 (1): 299–306, Дои:10.1007 / BF01695502, ISSN 0026-9255
• Мох, Т. Т. (1983), «О гипотезе о якобиане и конфигурациях корней», Журнал für die reine und angewandte Mathematik, 340 (340): 140–212, Дои:10.1515 / crll.1983.340.140, ISSN 0075-4102, МИСТЕР 0691964
• Мох, Т. Т., О глобальной гипотезе о якобиане для многочленов степени меньше 100, препринт
• Пинчук, Сергей (1994), "Контрпример к сильной действительной гипотезе о якобиане", Математика. Z., 217 (1): 1–4, Дои:10.1007 / bf02571929, МИСТЕР 1292168
• Разар, Майкл (1979). «Полиномиальные отображения с постоянным якобианом». Исраэль Дж. Математика. 32 (2–3): 97–106. Дои:10.1007 / bf02764906. МИСТЕР 0531253. (80 м: 14009)
• ван ден Эссен, Арно (2000), Полиномиальные автоморфизмы и гипотеза о якобиане, Успехи в математике, 190, Базель: Birkhäuser Verlag, Дои:10.1007/978-3-0348-8440-2, ISBN 978-3-7643-6350-5, МИСТЕР 1790619
• ван ден Эссен, Арно (1997), «Полиномиальные автоморфизмы и гипотеза о якобиане» (PDF), Некоммутативные группы, квантовые группы и инварианты (Реймс, 1995), Семин. Congr., 2, Париж: Soc. Математика. Франция, стр. 55–81, МИСТЕР 1601194
• Цучимото, Ёсифуми (2005). «Эндоморфизмы алгебры Вейля и $ p $ -кривизны». Осакский математический журнал. 42 (2): 435–452. ISSN 0030-6126.
• Ван, Стюарт Суи-Шенг (август 1980 г.), «Критерий Якоби отделимости», Журнал алгебры, 65 (2): 453–494, Дои:10.1016/0021-8693(80)90233-1
• Райт, Дэвид (1981). «О гипотезе якобиана». Иллинойс Дж. Математика. 25 (3): 423–440. МИСТЕР 0620428. (83a: 12032)

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

• Интернет-страница Т. Т. Мо о гипотезе