Басня о якобиане: The Fable of the Jacobian Conjecture

22 июля 2026 г.

Введение

Мы живём в дивном новом мире для математики. В мае внутренняя модель OpenAI опровергла гипотезу Эрдёша о единичных расстояниях, неделю назад GPT 5.6 доказала гипотезу о двойном покрытии циклами.

В прошлый раз я закончил пост словами: “Если у вас есть любимая гипотеза, в которую вы верите, самое время написать про неё хороший промпт”. Что ж, люди так и сделали, и сегодня у нас третий эпизод того же сериала.

На этот раз отличилась модель от Anthropic: 19 июля, пока человечество смотрело финал чемпионата мира по футболу, Claude Fable 5 построил контрпример к проблеме якобиана (Jacobian conjecture) — одной из самых знаменитых открытых проблем алгебраической геометрии, номеру 16 в списке Смейла, простоявшей с 1939 года.

Если в прошлых сериях мы обсуждали хотя бы двухстраничные препринты, то здесь научная коммуникация стала ещё ближе к сингулярности; весь результат целиком существует в виде твита математика Левента Алпёге (Levent Alpöge):

И в общем-то этим твитом всё сказано, дальше можно не читать, а пойти проверить (ниже будет код на десять строк). Но я, конечно, не могу этим ограничиться, так что кое-какой контекст вам всё-таки расскажу. Тем более что это (опять!) тот редкий случай, когда про решение знаменитой проблемы можно рассказать всё до последней формулы.

Что такое проблема якобиана

Пусть $F = (F_1, \ldots, F_n): \mathbb{C}^n \to \mathbb{C}^n$ — полиномиальное отображение: каждая компонента $F_i$ — многочлен от $x_1, \ldots, x_n$ . Его якобиан — определитель матрицы частных производных

$\det JF = \det\left(\frac{\partial F_i}{\partial x_j}\right)_{i,j=1}^n.$

Если $F$ обратимо, причём обратное отображение тоже полиномиально, то по формуле дифференцирования композиции $\det JF \cdot \det J(F^{-1}) = 1$ , то есть якобиан $\det JF$ — многочлен, обратимый в кольце многочленов, а значит, ненулевая константа. Гипотеза о якобиане утверждает, что верно и обратное:

Гипотеза (Keller, 1939). Если $\det JF$ — ненулевая константа, то $F$ обратимо (и обратное отображение автоматически полиномиально).

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

Есть два класса примеров, на которых гипотеза очевидно работает:

линейные отображения (якобиан — определитель числовой матрицы) и
“треугольные” отображения вида $(x + p(y), y)$ — тут якобиан равен 1, а обратное выписывается сразу как $(x - p(y), y)$ .

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

Почему люди в неё верили? Во-первых, условие $\det JF = \mathrm{const} \neq 0$ означает, что $F$ — локальный диффеоморфизм в каждой точке: теорема об обратной функции даёт обратимость в окрестности любой точки, и вопрос только в том, склеиваются ли локальные обратные в глобальное.

Во-вторых, в размерности 1 всё тривиально: $f' = \mathrm{const} \neq 0$ означает, что $f$ линейна.

В-третьих, давно известно, что вся проблема только в инъективности: по теореме Акса–Гротендика инъективное полиномиальное отображение $\mathbb{C}^n \to \mathbb{C}^n$ автоматически сюръективно. Более того, его обратное обязательно будет полиномиальным; это называется теоремой Бялыницкого-Бирули — Розенлихта.

Упомянутые выше результаты я вам с ходу не объясню, но для нас сейчас они значат, что контрпример — это обязательно отображение с константным якобианом, склеивающее какие-то две точки (нарушающее инъективность).

Стоит сразу оговориться, что над полями положительной характеристики гипотеза неверна тривиальным образом: у отображения $x \mapsto x - x^p$ над $\overline{\mathbb{F}}_p$ производная равна 1, но оно склеивает в ноль всё простое подполе. Так что это вопрос исключительно про характеристику 0 (вещественные числа, комплексные числа), и у гипотезы не может быть никакого доказательства “грубой алгебраической силой”.

Предыдущие попытки и частичные результаты

Фабрика ложных доказательств. Отдельный жанр — история попыток. Гипотеза якобиана, конечно, была не так популярна, как великая теорема Ферма, но к 1982 году Басс, Коннелл и Райт в классическом обзоре насчитывали в литературе не менее пяти опубликованных ошибочных доказательств. И это именно в литературе, то есть прошедших рецензирование.

Среди отметившихся принято называть вполне серьёзных математиков — например, Бениамино Сегре и Вольфганга Грёбнера (того самого, в честь которого названы базисы Грёбнера, к которым мы ещё вернёмся ниже). В 2004 году Мел Хохстер анонсировал доказательство двумерного случая, найденное Кэролин Дин, — и в нём тоже вскоре обнаружилась ошибка. Ну а в эпоху arXiv “доказательства” гипотезы о якобиане (в обе стороны, разумеется) выходили практически ежегодно.

Об уровне задачи говорит, например, то, что диссертация Итана Чжана (Yitang Zhang), который потом совершил прорыв в задаче об ограниченных промежутках между простыми числами, была посвящена именно гипотезе о якобиане.

Что уже было действительно доказано. Wang (1980) доказал гипотезу для отображений степени 2 в любой размерности. Moh (1983) — для $n = 2$ и степени до 100 включительно. Ягжев (1980) и Bass, Connell, Wright (1982) показали интересную редукцию степени: достаточно доказать гипотезу для отображений вида $x + H(x)$ , где $H$ — однородное кубическое, правда, ценой роста размерности. Позже Дружковский (1983) сузил ещё сильнее, до $H_i = \ell_i^3$ с линейными $\ell_i$ .

Наконец, известна целая сеть эквивалентностей: гипотеза о якобиане стабильно эквивалентна гипотезе Диксмье о том, что всякий эндоморфизм алгебры Вейля — автоморфизм (Tsuchimoto, 2005; Канель-Белов и Концевич, 2007) и связанной гипотезе Пуассона (Adjamagbo, van den Essen, 2006); из гипотезы Матье (1995) об интегралах по компактным группам гипотеза о якобиане тоже следует.

Был и предупредительный выстрел. В 1994 году Сергей Пинчук построил знаменитый контрпример к вещественной версии: полиномиальное отображение $\mathbb{R}^2 \to \mathbb{R}^2$ , у которого якобиан не обращается в ноль нигде, но которое не инъективно. У Пинчука якобиан не был константой (он всюду положителен, но принимает сколь угодно малые значения), так что комплексную гипотезу это не опровергало. Но при этом стало окончательно ясно, что “локальная обратимость всюду” глобальную не гарантирует, и закрылись многие возможные пути для доказательства гипотезы.

И ещё стоит отметить, что размерность 2 в этой науке — особая: там автоморфизмы полиномиального кольца устроены просто (теорема Юнга – ван дер Кулка), и гипотеза о якобиане там проверена до степени 100. А вот в размерности 3 регулярно ломается всё, что можно: например, автоморфизм Нагаты оказался “диким” именно в $\mathbb{C}^3$ (Шестаков, Умирбаев, 2004), а гипотеза Маркуса–Ямабе о глобальной устойчивости пала на полиномиальном контрпримере именно в $\mathbb{R}^3$ (Cima et al., 1997).

Но большинство этих результатов, особенно положительных, довольно сложные. А вот контрпример к гипотезе о якобиане оказался очень даже простым: это три многочлена над $\mathbb{C}^3$ степени не больше 7. Давайте к нему и перейдём.

Контрпример и его проверка

Выпишем героя дня в человеческом виде. Отображение $F = (F_1, F_2, F_3): \mathbb{C}^3 \to \mathbb{C}^3$ задаётся формулами

$\begin{aligned}F_1 &= (1+xy)^3\, z + y^2 (1+xy)(4+3xy),\\F_2 &= y + 3x(1+xy)^2\, z + 3xy^2(4+3xy),\\F_3 &= 2x - 3x^2 y - x^3 z.\end{aligned}$

То есть это три многочлена степени 7, 6 и 4 соответственно. Утверждается, что:

$\det JF = -2$ тождественно (константа!), но при этом
$F(0, 0, -\tfrac14) = F(1, -\tfrac32, \tfrac{13}2) = F(-1, \tfrac32, \tfrac{13}2) = (-\tfrac14, 0, 0)$ .

Первое означает, что $F$ — так называемое отображение Келлера, то есть в точности объект гипотезы; второе — что оно не инъективно. (Если вас смущает $-2$ вместо $1$ , просто разделите любую из компонент на $-2$ .)

Проверить это может кто угодно; вот буквально весь код:

import sympy as sp

x, y, z = sp.symbols('x y z')
F = sp.Matrix([(1+x*y)**3*z + y**2*(1+x*y)*(4+3*x*y),
               y + 3*x*(1+x*y)**2*z + 3*x*y**2*(4+3*x*y),
               2*x - 3*x**2*y - x**3*z])

print(sp.expand(F.jacobian([x, y, z]).det()))    # -2
for p in [(0, 0, sp.Rational(-1,4)),
          (1, sp.Rational(-3,2), sp.Rational(13,2)),
          (-1, sp.Rational(3,2), sp.Rational(13,2))]:
    print(F.subs(dict(zip((x, y, z), p))).T)     # трижды [-1/4, 0, 0]

Да можно и руками тут подсчитать определитель, $-2$ получится без проблем. Более того, базис Грёбнера идеала $(F_1 + \tfrac14, F_2, F_3)$ говорит, что других прообразов у точки $(-\tfrac14, 0, 0)$ нет: слой состоит ровно из этих трёх точек, и в твите приведён он целиком.

Заметьте: и коэффициенты отображения, и склеивающиеся точки вещественные и даже рациональные. Так что заодно закрыт и вещественный вопрос: найдено полиномиальное отображение $\mathbb{R}^3 \to \mathbb{R}^3$ с якобианом $-2$ , не являющееся инъективным.

Понятно, что посчитать определитель матрицы $3\times 3$ даже символьно несложно. Но самое интересное здесь, конечно, не сама проверка, а то, почему и как это работает. Не претендую здесь ни на какую экспертность, но давайте немножко обсудим.

Как оно устроено: кубика вместо обратной функции

Раскрывать скобки в $F$ можно долго и без большого просветления. Ключ к устройству контрпримера — вот такое тождество (проверяется, опять же, в лоб):

$2y^3 - 3F_2\, y^2 + 18 F_1\, y + \left(F_2^3 - 18 F_1 F_2 + 27 F_1^2 F_3\right) \equiv 0.$

Иными словами, координата $y$ алгебраична степени 3 (является корнем кубического многочлена) над образом: если $F(x, y, z) = (a, b, c)$ , то $y$ — корень явно выписанной кубики

$Q_{a,b,c}(t) = 2t^3 - 3b\, t^2 + 18a\, t + \left(b^3 - 18ab + 27a^2 c\right).$

А по $y$ восстанавливается всё остальное: прямая проверка даёт тождество

$x \cdot (3F_1 - yF_2 + y^2) = F_2 - y,$

откуда на слое

$x = \frac{y - b}{D(y)}, \quad\text{где}\quad D(y) = y(b-y) - 3a,$

а $z$ находится из первого уравнения (оно линейно по $z$ ). Итого слой над точкой $(a, b, c)$ при $a \neq 0$ — это в точности корни кубики $Q_{a,b,c}$ (кроме тех, где $D(y) = 0$ , там $x$ убегает на бесконечность).

Вот и вся анатомия. Отображение $F$ — трёхлистное: у общей точки ровно три комплексных прообраза, и обратное “отображение”— это формула Кардано, применённая к $Q_{a,b,c}$ . Никаким многочленом (и даже однозначной функцией) обратное, конечно, не является (и по теореме Акса–Гротендика иначе и быть не могло).

Обратите внимание на старший коэффициент кубики: это константа 2, не зависящая от $(a, b, c)$ . Поэтому корни $Q$ , то есть координата $y$ прообразов, никогда не уходят на бесконечность (старший член не обнуляется), а слиться два корня могут только по $x$ , одновременно с попаданием на $D(y)=0$ .

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

Рассмотрим прямую $(a, 0, 0)$ , на которой собственно найденный контрпример. Кубика вырождается в $2t(t^2 + 9a)$ , и при $a < 0$ у неё три вещественных корня, дающих три прообраза:

$(0,\, 0,\, a), \qquad \left(\pm\frac{1}{2\sqrt{-a}},\; \mp 3\sqrt{-a},\; -26a\right).$

При $a = -\tfrac14$ получаются в точности три точки из твита. А если $a \to 0$ слева, то два боковых прообраза улетают на бесконечность вдоль гиперболы $xy = -\tfrac32$ .

При $a > 0$ они возвращаются из бесконечности уже комплексными, и вещественный прообраз остаётся один:

Слева — $x$ -координаты вещественных прообразов точки $(a, 0, 0)$ как функции $a$ ; в точке $a = -\tfrac14$ отмечен слой из твита. Справа — те же прообразы на плоскости $(x, y)$ : неподвижный прообраз в нуле и два убегающих по гиперболе.

Фазовая диаграмма. В общем положении число вещественных прообразов диктуется знаком дискриминанта кубики. Дискриминант $Q$ и результант пары $(Q, D)$ считаются явно, и оба, с точностью до множителей $a^2$ , пропорциональны одному и тому же многочлену

$W(a,b,c) = 27a^2c^2 - 18abc + b^3 c + 16a - b^2.$

Это совпадение следует из этальности (отсутствия критических точек): два прообраза не могут слиться в обычной точке, потому что в точке слияния якобиан обнулился бы, а он равен $-2$ . Поэтому листы накрытия сталкиваются только на бесконечности, то есть на множестве, где $D = 0$ .

Поверхность $\{W = 0\}$ (вместе с плоскостью $\{a = 0\}$ ) — это и есть стены: пересекая их, цель теряет или приобретает пару вещественных прообразов. Вот так это выглядит в проекциях $b=0$ и $b=2$ :

На картинке два плоских среза пространства целей $(a, b, c)$ : в красных областях у точки три вещественных прообраза, в синих — один. Звёздочка — это точка $(-\tfrac14, 0, 0)$ из твита: она лежит глубоко внутри трёхлистной области, никакой патологии в ней самой нет.

Обратите внимание на крестик на правой панели — это важная деталь. Отображение $F$ не сюръективно: у точки $(\tfrac13, 2, \tfrac23)$ прообразов нет вообще, ни вещественных, ни комплексных (базис Грёбнера соответствующего идеала равен $[1]$ ).

Таких точек мало: они заметают рациональную кривую $\left(\tfrac{t^2}{12},\, t,\, \tfrac{4}{3t}\right)$ , $t \neq 0$ , на которой все три корня кубики одновременно налетают на двойной корень $D$ . Кривая лежит на поверхности $W = 0$ — на картинке крестик находится в точности на острие стены.

Кстати, именно непустота этого множества разрешает топологический “парадокс”: трёхлистных накрытий у односвязного $\mathbb{C}^3$ не бывает, как же многочлен $F$ выкрутился? Вот так и выкрутился: $F$ — накрытие не над всем $\mathbb{C}^3$ , там не хватает поверхности $\{W = 0\}$ и плоскости $\{a = 0\}$ . Объединение $\{W = 0\} \cup \{a = 0\}$ называется множеством Елонека отображения $F$ , т.е. множеством точек, в которых $F$ не является собственным. А у дополнения к гиперповерхности фундаментальная группа уже нетривиальна, и глобально пронумеровать прообразы — а значит, склеить из локальных обратных глобальное — невозможно. Так что никакого топологического парадокса тоже не возникает.

Что ещё опровергает этот пример

Контрпример в $\mathbb{C}^3$ автоматически даёт контрпримеры во всех размерностях $n \geq 3$ : достаточно приписать тождественные координаты, $(F, x_4, \ldots, x_n)$ . Двумерный случай — исходный вопрос Келлера — остаётся открытым, и все положительные результаты (начиная с Moh, 1983), конечно, тоже всё ещё верны. Не исключено, что в размерности 2 гипотеза верна, и было бы даже красиво, если бы было так.

По цепочке эквивалентностей падают и некоторые соседи. Из гипотезы Диксмье для алгебры Вейля $A_n$ следует гипотеза о якобиане в размерности $n$ ; значит, гипотеза Диксмье неверна при $n \geq 3$ : у алгебры Вейля $A_3$ есть эндоморфизм, не являющийся автоморфизмом (его можно попробовать выписать по нашему $F$ , но в чём смысл этого упражнения, для меня неясно). Для $A_1$ и $A_2$ — то есть в том числе для исходного вопроса Диксмье 1968 года — всё по-прежнему открыто, и аналогично обстоит дело с пуассоновской версией. А гипотеза Матье, из которой следовала гипотеза о якобиане, теперь опровергнута как общее утверждение.

Наконец, по редукции Басса–Коннелла–Райта–Ягжева мы теперь знаем, что в какой-то размерности существует контрпример вида $x + H(x)$ с однородным кубическим $H$ ; найти его явно (и минимальную размерность) — ещё одна открытая задача. Как и вопрос о минимальной степени: в размерности 3 контрпример есть в степени 7, а степень 2 невозможна по теореме Вана; что происходит между — неизвестно.

Задача Смейла номер 16, таким образом, решена. Из восемнадцати задач списка это уже не первый случай, когда с ответом помогли компьютеры: например, в решении проблемы Смейла номер 14 (про аттрактор Лоренца) ключевую роль сыграло строгое computer-assisted доказательство. Но здесь, конечно, у LLM уже совсем другой уровень самостоятельности.

Как это было найдено, и что говорят люди

В отличие от истории с CDC, где OpenAI опубликовала препринт и полный промпт, здесь пока нет ни статьи, ни логов рассуждений, ни даже промпта — только твит, из которого мы знаем, что вопрос задал “друг Ахил” (по-видимому, Akhil Mathew). Левент Алпёге — серьёзный теоретико-числовик, ныне работающий в Anthropic. Если верить твиту, контрпример нашёл именно Claude Fable, хотя на промпт всё равно было бы интересно посмотреть.

Но, конечно, к истинности и важности результата всё это не имеет отношения. Проверка — минутное дело, и на GitHub уже лежит репозиторий jacobian-anatomy с проверками на sympy, Singular и PARI/GP и даже с сертификатом на Lean 4. MathWorld и Wikipedia обновились за сутки. Это, конечно, не то чтобы “новый ритм математики”, а свойство конкретного результата: когда проверка сводится к тому, чтобы подсчитать определитель $3\times 3$ , действительно не нужно долгое рецензирование.

А насчёт разных [по]следствий из этого яркого результата прямо сейчас могу дать только одну ссылку: Zihan Zhang начал выписывать разные следствия из найденного контрпримера. Думаю, этот список ещё не раз пополнится.

Кстати, этот пост тоже написан вместе с Claude Fable 5 — той самой моделью, которая нашла контрпример. В моём случае она независимо перепроверила все выкладки, посчитала базисы Грёбнера, на которые я ссылался, и нарисовала картинки выше. Предлагаю считать это не конфликтом интересов, а воспроизводимостью.

Заключение

Математика меняется. Три знаменитых открытых проблемы закрылись в последние пару месяцев. Опровержение, доказательство и снова опровержение; OpenAI, опять OpenAI и вот теперь Anthropic. Причём кажется, что это становится всё более обыденным: от “закрытой экспериментальной модели” мы перешли к обычному промпту для Fable.

В прошлый раз я писал, что решения такого сорта — это неожиданный поворот, найденный там, куда эксперты не смотрели. А здесь, похоже, другой случай, и в каком-то смысле более впечатляющий: конкретный объект, который прицельно искали многие лучшие специалисты на протяжении 87 лет, оказался многочленом седьмой степени от трёх переменных, который помещается в твит. Даже удивительно, что никакой более прямолинейный компьютерный перебор до этого на него не наткнулся.

Как именно Fable его нашёл, мы пока не знаем; надеюсь, статья с подробностями воспоследует, и будет не менее интересной, чем сам результат. А пока отмечу только, что мои слова из прошлого поста подтверждаются: “Если у вас есть любимая гипотеза, в которую вы верите, самое время написать про неё хороший промпт”.

Что дальше, коллеги?

Сергей Николенко

P.S. Прокомментировать и обсудить пост можно в канале «Sineкура»: присоединяйтесь!