Terence Tao's ChatGPT conversation about the Jacobian Conjecture counterexample
В статье доказано, что множество X⊂ℂ⁵, определяемое уравнениями a²e−abd+cb²=1 и ad+bc=1, полиномиально изоморфно трехмерному пространству A³. Обратные отображения Φ(a,y,z)=(a,1+ay,1−3ay/2+ay², y/2−az+3ay²/2−ay³z, -2z+4y²-4ayz+3ay³-2a²yz) и Ψ(a,b,c,d,e)=(y=2bd−ae, z=2d²+ce+6bd²+3bce-9e/2) записаны полностью и проверены как обратные; при a=0 ни в одном из формул не появляется деления, а все выражения остаются полиномами, поэтому скрытых ограничений нет.
Составляя композицию Φ∘F, где F(a,b,c,d,e)=(ac,ad+bc,ae+bd,be) и отбрасывая вторую координату, получаем полиномиальное отображение G(z₁,z₂,z₃) с постоянным Якобианом, равным −2. Это отображение раскладывается как B∘G∘A, где A(z₁,z₂,z₃)=(z₁,z₂,-½z₃) и B(u₁,u₂,u₃)=(u₃,2u₂,2u₁); при том detA=‑½, detB=‑4, detDG=‑1, их произведение дает -2, что совпадает с Якобианом исходного преобразования. Таким образом, изначальная карта полностью восстанавливается через простые линейные нормализации, а её постоянный Якобиан подтверждает полиномиальность и биективность.
Эти результаты иллюстрируют, что любой элемент X можно представить в виде (a,y,z), а обратные формулы гарантируют, что отображение полностью полиномиально и определено во всех точках. Константа Якобиан -2 подтверждает, что карта сохраняет объём с одинаковым знаком, что характерно для автоморфизмов полиномиальных (в частности аффинных) пространств. Таким образом, полученный пример служит конкретным подтверждением того, что описанная в статье конструкция восстанавливает исходную карту без потерь.