TLDR
Pembuktian modularitas untuk permukaan abelian menunjukkan kemajuan signifikan dalam penelitian matematika. Koneksi antara kurva eliptik dan bentuk modular dapat diperluas ke objek matematis yang lebih kompleks. Penelitian ini dapat membuka jalan bagi pemecahan masalah-masalah besar dalam teori bilangan. Pada tahun 1994, Andrew Wiles berhasil membuktikan Fermat's Last Theorem dengan menunjukkan hubungan modularitas antara kurva elips dan bentuk modular. Hal ini menghubungkan dua bidang matematika yang berbeda dan membuka jalan baru untuk memahami kurva elips melalui bentuk modular yang lebih mudah dianalisis. Namun, masalah ini hanya untuk kurva elips yang memiliki dua variabel.Abelian surface adalah objek matematika yang jauh lebih rumit karena melibatkan tiga variabel dan menghasilkan sebuah permukaan dalam ruang tiga dimensi. Matematikawan percaya bahwa hubungan modularitas juga harus berlaku untuk abelian surface, tetapi membuktikannya jauh lebih sulit dibandingkan untuk kurva elips. Tim matematikawan internasional yang terdiri dari Calegari, Boxer, Gee, dan Pilloni berusaha membuktikan modularitas untuk sebuah jenis abelian surface yang lebih sederhana, yaitu abelian surface ordinary.Kerja mereka dirintangi oleh kesulitan dalam membangun bentuk modular yang sesuai dengan abelian surface tersebut. Namun, setelah bertahun-tahun bekerja dan mendapat bantuan dari konsep baru yang ditemukan oleh Lue Pan pada tahun 2020, mereka berhasil menemukan cara membuktikan kesetaraan angka yang menggambarkan abelian surface dan bentuk modular menggunakan aritmatika modulo, mirip seperti aritmatika jam.Usaha mereka mencapai puncaknya saat tim bertemu di sebuah institut riset di Jerman pada tahun 2023 dan bekerja sepanjang minggu tanpa henti untuk mengatasi hambatan-hambatan terakhir. Akhirnya, pada awal 2025, mereka mempublikasikan bukti lengkap sepanjang 230 halaman yang menunjukkan bahwa setiap abelian surface ordinary memang terkait dengan sebuah bentuk modular.Pencapaian ini bukan hanya penting untuk dunia matematika saja, tetapi juga membuka peluang untuk memecahkan masalah-masalah kerumitan lainnya yang selama ini sulit terpecahkan. Tim sedang melanjutkan riset mereka untuk memperluas bukti modularitas ke abelian surface non-ordinary, dan para matematikawan berharap dalam dekade berikutnya mereka akan dapat menuntaskan hampir semua kasus yang ada.
