Dugaan Jacobian Terbukti Salah di 3 Dimensi, Masih Terbuka di 2D

JAKARTA — Sebuah dugaan matematis yang dikenal sebagai Jacobian conjecture telah dipatahkan dalam tiga dimensi dan dimensi yang lebih tinggi, meskipun masih tetap menjadi pertanyaan terbuka untuk kasus dua dimensi.

Pokok Peristiwa

Penjelasan geometris mengenai contoh penyangkal ini awalnya dikembangkan dengan pendekatan yang berusaha meminimalkan kebutuhan akan teori geometri aljabar yang rumit. Peneliti menggunakan formulasi inektivitas lokal dan menggeneralisasi domain ke varietas affin yang ekuivalen.

Strategi pembuktian melibatkan pemetaan dari domain lima dimensi ke jangkauan empat dimensi. Karena domain lebih besar daripada jangkauan, pemetaan tersebut jelas tidak dapat bersifat injektif. Simetri penskalaan dalam struktur matematis ini menjadi kunci dalam mengidentifikasi mengapa pemetaan ini tidak bijektif.

Pendekatan yang diambil adalah dengan “menghabiskan” simetri penskalaan untuk mendapatkan normalisasi yang berguna. Ketika menggunakan polinomial linear dan polinomial kuadrat, resultan dapat didefinisikan melalui determinan yang menghasilkan peta multiplikasi terbatas dari varietas empat dimensi.

Untuk menunjukkan inektivitas lokal di sekitar titik-titik tertentu, peneliti memanfaatkan fakta bahwa resultan tidak hilang. Akar dari polinomial satu derajat akan berbeda dari dua akar polinomial lainnya — meskipun kedua akar terakhir tersebut dapat saling sama.

Dengan menerapkan transformasi Möbius pada akar-akar, dapat diasumsikan tanpa mengurangi generalitas bahwa salah satu akar berada di titik tak terhingga.

Ketika perturbase kecil diterapkan pada koefisien-koefisien tersebut, akar satu polinomial akan berubah secara signifikan sementara akar-akar lainnya tetap terbatas.

Konteks

Dari pengetahuan tentang produk polinomial kubik saja, seseorang dapat merekonstruksi akar mana yang terganggu dan akar mana yang tetap stabil, sehingga benar-benar menentukan kedua polinomial asli. Ini membuktikan sifat inektivitas lokal.

Namun, kondisi analog empat dimensi mengalami kegagalan: hipersurface kuadrik yang terlibat tidak isomorfik dengan ruang affin. Untuk mengatasi hambatan ini, peneliti beralih ke irisan tiga dimensi. Dengan membatasi pemetaan pada himpunan tertentu dalam varietas tiga dimensi yang menghindari titik asal, analisis menjadi lebih mudah dikelola.

Hiper-planes affin dalam ruang yang menghindari titik asal dapat diparametrisasi melalui dual space. Dual space ini dapat dipandang sebagai operator diferensial homogen orde ketiga yang tak nol dalam dua variabel.