Aditiya Widodo Putra
Membuka Mesin Deformasi dan Automorfik di Balik Modularitas
Eduaksi | 2026-06-15 11:09:45
"Automorphic Forms and Representations" karya Daniel Bump dan "Deformation of Galois Representations" karya Fernando Q. Gouvêa, menurut saya adalah buku yang sangat luar biasa dalam hal kedalaman teknisnya, namun keduanya juga sangat menyesatkan jika dibaca secara terpisah karena masing-masing hanya menyajikan separuh dari mesin matematika yang sesungguhnya diperlukan untuk membuktikan Teorema Terakhir Fermat. Dan pada artikel kali ini, saya akan mencoba membedah kedua buku tersebut secara singkat, padat dan jelas.
Buku Bump membangun secara sistematis teori representasi automorfik untuk grup GL(n) atas medan adelis, dengan fokus pada hubungan antara bentuk modular klasik, representasi Galois p-adik, dan fungsi L melalui konstruksi Deligne dan integral Rankin-Selberg. Buku Gouvêa, meskipun jauh lebih tipis, memberikan pengantar yang sangat padat dan presisi tentang teori deformasi representasi Galois yang dirintis oleh Mazur, termasuk definisi fungtor deformasi, kondisi representabilitas, ring deformasi universal, dan sketsa isomorfisme R = T yang menjadi inti bukti Wiles. Kedua buku ini tidak pernah dirancang untuk dibaca bersama, tetapi justru dalam ketegangan antara keduanya — antara bahasa analisis harmonik di Bump dan bahasa aljabar komutatif lokal di Gouvêa — saya menemukan pemahaman sejati tentang mengapa bukti Fermat's Last Theorem membutuhkan alat matematika yang tampaknya begitu jauh dari persamaan Diophantine a^n + b^n = c^n.
Sebelum saya masuk ke pembahasan, saya ajukan satu pertanyaan matematis yang akan menjadi benang merah sepanjang artikel ini: mengapa fungtor deformasi Mazur yang memetakan ring artinian lokal R ke himpunan kelas konjugasi representasi Galois rho dari G_Q ke GL_2(R) dengan rho modulo ideal maksimal sama dengan rho bar yang diberikan, dapat diwakili oleh ring kuasa formal Z_p[[X1,...,Xr]] modulo suatu ideal, dan bagaimana hubungan antara dimensi ruang tangent H^1(G_Q, ad(rho bar)) dengan jumlah generator minimal dari ring deformasi universal R_rho bar? Pertanyaan ini terlihat sangat teknis dan abstrak, tetapi jawabannya, seperti akan saya tunjukkan, menghubungkan secara langsung sisi Gouvêa (teori deformasi) dengan sisi Bump (bentuk automorfik) melalui isomorfisme R = T yang menjadi jantung pembuktian Wiles bahwa setiap kurva eliptik semistabil bersifat modular.
Struktur Fungtor Deformasi Mazur dan Representabilitas
Saya mulai dengan membedah definisi formal fungtor deformasi menurut Gouvêa halaman 5 hingga 12. Misalkan k adalah lapangan berhingga F_p dengan p bilangan prima tetap. Misalkan rho bar : G_Q -> GL_2(k) adalah representasi Galois residual yang kontinu dan absolut irreducibel. Fungtor deformasi F_rho bar didefinisikan pada kategori C dari ring artinian lokal R dengan lapangan residu k, dan nilainya pada R adalah himpunan semua kelas konjugasi dari representasi rho : G_Q -> GL_2(R) yang kontinu dan memenuhi rho modulo ideal maksimal m_R sama dengan rho bar. Dua representasi rho dan rho' dianggap setara jika terdapat matriks M di dalam kernel dari GL_2(R) -> GL_2(k) sehingga rho' = M rho M^{-1}. Kontinuitas rho di sini diartikan terhadap topologi profinit pada G_Q dan topologi m_R-adik pada GL_2(R), yang secara ekuivalen berarti bahwa rho terfaktor melalui grup Galois dari suatu perluasan berhingga dari Q.
Sekarang saya masuk ke teorema representabilitas yang merupakan inti dari Bab 2 Gouvêa halaman 18-30. Mazur, dengan menggunakan kriteria Schlessinger (1968), membuktikan bahwa jika rho bar bersifat absolut irreducibel dan endomorfisme skalar dari rho bar hanyalah skalar (yaitu centralizer dari image rho bar di M_2(k) sama dengan k), maka fungtor F_rho bar dapat diwakili oleh suatu ring deformasi universal R_rho bar. Maksud dari "diwakili" adalah bahwa terdapat isomorfisme natural antara F_rho bar(R) dan himpunan homomorfisma aljabar lokal dari R_rho bar ke R, untuk setiap R di kategori C. Ring R_rho bar ini adalah ring lokal Noether lengkap dengan lapangan residu k, dan ia bersifat universal dalam arti bahwa setiap deformasi rho dari rho bar ke ring R berkorespondensi secara unik dengan suatu homomorfisma dari R_rho bar ke R. Sifat universal ini adalah yang memungkinkan Wiles untuk "mengontrol" semua kemungkinan deformasi dari rho bar hanya dengan mempelajari struktur aljabar dari satu ring.
Yang tidak dijelaskan secara eksplisit oleh Gouvêa namun saya temukan dari sumber asli Mazur adalah bahwa konstruksi R_rho bar tidak eksplisit dalam bentuk generator dan relasi, tetapi menggunakan limit proyektif dari ring-ring deformasi pada tingkat berhingga. Secara teknis, kita pertama-tama batasi G_Q ke suatu subgrup terbuka G_S yang merupakan grup Galois dari perluasan maksimal Q_S/Q yang tak teramifikasi di luar suatu himpunan prima berhingga S. Kemudian kita bentuk ring kuasa formal Z_p[[X1,...,X_r]] dengan r adalah dimensi dari ruang kohomologi H^1(G_S, ad(rho bar)), dan kemudian kita bagi dengan relasi-relasi yang berasal dari aksi Frobenius pada prima-prima di S. Jumlah generator minimal r dalam presentasi R_rho bar sebagai aljabar atas Z_p ternyata secara tepat sama dengan dimensi ruang tangent dari fungtor deformasi, yaitu dimensi dari F_rho bar(k[epsilon]/(epsilon^2)) sebagai ruang vektor atas k.
Ruang Tangent dan Kohomologi Galois
Sekarang saya hubungkan pertanyaan awal tentang ruang tangent. Ruang tangent dari fungtor deformasi F_rho bar pada k didefinisikan sebagai nilai fungtor pada ring dual numbers k[epsilon]/(epsilon^2) di mana epsilon kuadrat sama dengan nol. Secara konkret, F_rho bar(k[epsilon]/(epsilon^2)) adalah himpunan semua deformasi dari rho bar ke ring yang infinitesimal ini, yaitu representasi rho : G_Q -> GL_2(k[epsilon]/(epsilon^2)) yang modulo epsilon sama dengan rho bar. Setiap deformasi infinitesimal dapat ditulis sebagai rho(g) = rho bar(g) (I + epsilon u(g)) untuk suatu fungsi u : G_Q -> M_2(k) yang memenuhi syarat kohomologis: u(gh) = u(g) + rho bar(g) u(h) rho bar(g)^{-1}. Ini berarti bahwa u adalah 1-kokomobil (1-cocycle) dari G_Q dengan koefisien dalam ad(rho bar), yaitu representasi adjoint dari rho bar pada aljabar Lie gl_2(k).
Dengan identifikasi ini, diperoleh isomorfisma kanonik: F_rho bar(k[epsilon]/(epsilon^2)) isomorfik dengan H^1(G_Q, ad(rho bar)), yaitu ruang kohomologi Galois derajat satu dengan koefisien dalam ad(rho bar). Dimensi ruang vektor ini di atas k adalah bilangan terhingga yang dinotasikan sebagai d = dim H^1(G_Q, ad(rho bar)). Di sisi lain, dari representabilitas fungtor, kita memiliki isomorfisma: F_rho bar(k[epsilon]/(epsilon^2)) isomorfik dengan Hom_aljabar lokal(R_rho bar, k[epsilon]/(epsilon^2)). Setiap homomorfisma dari R_rho bar ke ring dual numbers berkorespondensi secara bijektif dengan elemen dari ruang dual dari ruang kotangen, yaitu (m_R/(m_R^2 + p m_R))^vee, di mana m_R adalah ideal maksimal dari R_rho bar. Dengan demikian, dimensi dari m_R/(m_R^2 + p m_R) sebagai ruang vektor atas k sama dengan d.
Apa arti dari semua ini bagi jumlah generator minimal dari R_rho bar? Dalam teori ring lokal lengkap, jika kita menulis R_rho bar sebagai Z_p[[X1,...,Xr]]/(f1,...,fs), maka jumlah generator minimal r adalah dimensi dari m_R/(m_R^2 + p m_R). Oleh karena itu, kita peroleh hubungan fundamental: r = dim H^1(G_Q, ad(rho bar)). Dengan kata lain, dimensi ruang kohomologi Galois derajat satu secara tepat menentukan berapa banyak generator yang dibutuhkan untuk menyajikan ring deformasi universal sebagai aljabar kuasa formal. Jika H^2(G_Q, ad(rho bar)) = 0, maka relasi f1,...,fs tidak ada (s=0) dan R_rho bar adalah ring kuasa formal murni Z_p[[X1,...,Xr]]. Dalam kasus yang lebih umum, dimensi s dari ruang relasi ditentukan oleh dimensi H^2. Inilah mekanika ekstrem yang menjadi fondasi dari seluruh pendekatan deformasi dalam bukti Wiles.
Dari Bump ke Representasi Galois (Kohomologi Étale dan Jejak Frobenius)
Sekarang saya beralih ke buku Bump, khususnya Bab 7 halaman 291-340, yang membahas konstruksi Deligne tentang representasi Galois p-adik dari bentuk modular eigenform. Diberikan bentuk modular eigenform f bobot 2 tingkat N dengan koefisien Fourier a_n(f) di dalam Q̅, dan diberikan bilangan prima p yang tidak membagi N, Deligne membangun representasi kontinu rho_f : G_Q -> GL_2(Q_p) yang bersifat unramified di semua prima l yang tidak membagi Np. Yang paling penting adalah bahwa untuk setiap prima l tidak membagi Np, nilai trace dari rho_f(Frob_l) sama dengan a_l(f), yaitu koefisien Fourier ke-l dari f. Konstruksi ini tidak eksplisit dalam rumus tertutup, melainkan menggunakan kohomologi étale dari kurva modular X_0(N) yang didefinisikan atas Q.
Saya jelaskan mekanismenya secara teknis. Pertama, kita pandang kurva modular X_0(N) sebagai kurva mulus proyektif atas Q yang memiliki model integral baik di setiap prima l tidak membagi N. Kemudian kita ambil kohomologi étale H^1_et(X_0(N)_Q̅, Z_p) yang merupakan Z_p-modul bebas dengan peringkat 2g, di mana g adalah genus dari X_0(N). Di atas modul ini, grup Galois G_Q bertindak melalui fungsionalitas kohomologi, menghasilkan representasi Galois p-adik berdimensi 2g yang secara umum reducible. Kemudian kita menggunakan operator Hecke T_l yang juga bertindak pada kohomologi étale melalui korespondensi aljabar pada kurva modular. Ruang eigen dari operator Hecke ini terdekomposisi menjadi komponen-komponen satu dimensi atau dua dimensi.
Bentuk modular eigenform f memberikan suatu nilai eigen a_l(f) untuk setiap operator Hecke T_l. Subruang dari H^1_et yang bersesuaian dengan nilai eigen ini adalah suatu subruang dua dimensi, karena secara umum dimensi eigenspace untuk bentuk eigenform bobot 2 adalah 2 (satu dimensi untuk bentuk holomorfik dan satu untuk bentuk anti-holomorfik). Subruang dua dimensi ini, setelah diambil dual atau di-tweak dengan karakter siklotomik, menjadi representasi rho_f yang diinginkan. Yang luar biasa dan tidak dijelaskan secara detail di Bump adalah bahwa relasi kongruensi Eichler-Shimura pada kurva modular yang direduksi modulo l memberikan hubungan: operator Frobenius Frob_l pada kohomologi étale (yang berasal dari geometri atas medan berhingga F_l) memenuhi persamaan kuadrat Frob_l^2 - T_l Frob_l + l = 0. Akibatnya, pada eigenspace untuk f, nilai eigen dari Frob_l adalah akar-akar dari x^2 - a_l(f)x + l = 0, sehingga trace dari Frob_l adalah a_l(f) dan determinan dari Frob_l adalah l.
Saya ingin menekankan satu titik ekstrem yang jarang dibahas yaitu representasi rho_f yang dihasilkan oleh Deligne sebenarnya bernilai di dalam GL_2(O_f) dengan O_f adalah ring bilangan bulat dari medan bilangan yang dibangkitkan oleh koefisien Fourier a_n(f), bukan di Q_p secara abstrak. Untuk setiap prima p, kita dapat memperbesar O_f ke suatu medan lokal dan mendapatkan representasi p-adik. Dalam konteks bukti Wiles, bentuk modular yang digunakan biasanya memiliki koefisien di Q (bentuk modular dengan rasionalitas), sehingga rho_f bernilai di GL_2(Z_p) setelah normalisasi yang tepat. Lebih jauh lagi, representasi rho_f ini bersifat modular secara konstruksi, dan inilah yang menjadi "target" dari teorema modularity lifting: jika suatu representasi Galois rho (dari kurva eliptik) memiliki reduksi modulo p yang sama dengan rho_f bar, dan jika rho memenuhi kondisi teknis tertentu (ordinary atau flat di p), maka rho harus isomorfik dengan rho_f untuk suatu bentuk modular f.
Isomorfisme R = T dan Metode Taylor-Wiles
Sekarang saya sampai pada sintesis antara kedua buku, yaitu isomorfisme R = T. Dari sisi Gouvêa, kita memiliki ring deformasi universal R_rho bar yang mewakili semua deformasi dari rho bar yang memenuhi kondisi Selmer (misalnya ordinary di p). Dari sisi Bump, kita memiliki aljabar Hecke T yang bertindak pada ruang bentuk modular cusp bobot 2 tingkat N, dan kita lokalisasikan pada ideal maksimal m yang berkaitan dengan rho bar, menghasilkan T_m. Wiles membangun homomorfisma alami f : R_rho bar -> T_m dengan mengirimkan deformasi universal ke representasi yang berasal dari bentuk modular eigenform. Langkah pertama adalah membuktikan bahwa f surjektif. Ini dicapai dengan menunjukkan bahwa setiap generator dari T_m (yang berasal dari operator Hecke T_l) dapat diangkat ke suatu deformasi, sehingga image dari f mencakup seluruh T_m.
Langkah kedua, yang merupakan kontribusi paling sulit dari Taylor dan Wiles (1995), adalah membuktikan bahwa f injektif. Di sinilah metode "primes Q_n" memasuki panggung. Saya rekonstruksi secara ekstrem: pilih barisan himpunan bilangan prima Q_1, Q_2, ..., Q_n, ... sedemikian sehingga untuk setiap q di Q_n, kita memiliki q ≡ 1 mod p^n, dan representasi rho bar bersifat unramified di q dengan nilai eigen dari Frob_q berbeda dari 1 dan -1. Kemudian perbesar level dari kurva modular dengan mengalikan level N dengan semua prima dalam Q_n, sehingga diperoleh aljabar Hecke T^{(n)} pada level baru, dan ring deformasi R^{(n)} yang mewakili deformasi dengan tambahan ramifikasi yang diizinkan pada prima-prima di Q_n. Kejeniusan argumen ini adalah bahwa dengan menambahkan prima-prima ini, ruang kohomologi H^1(G_{S ∪ Q_n}, ad(rho bar)) menjadi nol untuk dual Selmer group, sehingga masalah deformasi menjadi "unramified" dalam arti teknis.
Taylor dan Wiles kemudian membuktikan dengan induksi pada n bahwa R^{(n)} / p^n isomorfik dengan T^{(n)} / p^n, dan bahwa kedua ring tersebut adalah complete intersection, yaitu isomorfik ke ring kuasa formal Z_p[[X1,...,X_r]] dibagi oleh ideal yang dihasilkan oleh barisan regular f1,...,fr (jumlah generator sama dengan jumlah relasi). Sifat complete intersection ini sangat penting karena menjamin bahwa modul kohomologi yang relevan bebas (free) di atas ring tersebut. Setelah itu, dengan mengambil limit proyektif seiring n -> tak hingga, dan dengan menggunakan teorema tentang limit dari complete intersections, mereka menyimpulkan bahwa R_rho bar isomorfik dengan T_m sebagai ring lokal lengkap. Isomorfisme R = T ini adalah puncak dari seluruh bangunan matematika yang dibangun oleh Bump dan Gouvêa secara terpisah.
Apa konsekuensi dari isomorfisme R = T bagi pembuktian FLT? Ambil kurva eliptik semistabil E atas Q. Misalkan rho_bar adalah representasi Galois dari titik torsi p dari E, yaitu rho_bar : G_Q -> GL_2(F_p) yang berasal dari aksi Galois pada E[p]. Dari hasil Langlands-Tunnell (untuk p=3) dan argumentasi level lowering (untuk p=5), kita dapat membuktikan bahwa rho_bar bersifat modular, artinya ia muncul dari suatu bentuk modular eigenform. Kemudian perhatikan representasi p-adik rho_E dari E, yaitu aksi Galois pada modul Tate T_p(E). Representasi rho_E adalah deformasi p-adik dari rho_bar, dan ia memenuhi kondisi Selmer yang diperlukan (ordinary atau flat di p, tergantung pada reduksi E di p). Karena isomorfisme R = T menjamin bahwa setiap deformasi dari rho_bar yang memenuhi kondisi Selmer adalah modular, maka rho_E harus modular. Dengan kata lain, kurva eliptik E sendiri modular. Karena kurva Frey yang dibangun dari solusi hipotetis FLT adalah kurva eliptik semistabil yang tidak mungkin modular (melalui perhitungan diskriminan dan konduktor yang melibatkan operator Hecke pada level 2), maka solusi tersebut tidak mungkin ada. FLT terbukti.
Keterbatasan Kedua Buku dan Pemikiran Penutup
Kedua buku ini jelas memiliki keterbatasan serius yang tidak boleh diabaikan. Buku Bump, meskipun luar biasa dalam cakupannya (mencakup GL(n) secara umum, integral Rankin-Selberg, model Whittaker, dan fungsi L automorfik), sama sekali tidak membahas teori deformasi, ring Hecke sebagai complete intersection, atau metode Taylor-Wiles. Seorang pembaca yang hanya membaca Bump akan memahami bagaimana bentuk modular menghasilkan representasi Galois, tetapi tidak akan pernah bisa membalikkan arah tersebut — yaitu membuktikan bahwa suatu representasi Galois yang diberikan harus berasal dari bentuk modular. Sebaliknya, buku Gouvêa, meskipun memberikan fondasi yang kokoh untuk teori deformasi, hanya memberikan sketsa isomorfisme R = T di halaman 78-85 dan secara eksplisit menyatakan bahwa pembahasan lengkap metode Taylor-Wiles berada di luar cakupan bukunya. Gouvêa juga tidak membahas konstruksi representasi Galois dari bentuk modular sama sekali, sehingga pembaca tidak akan mengerti dari mana representasi modular itu berasal.
Keterbatasan lain yang jarang disadari ketika pertama kali membaca—termasuk diri saya— adalah bahwa baik Bump maupun Gouvêa tidak membahas secara memadai kondisi teknis tentang "finite flat deformation" di p yang sangat penting dalam bukti Wiles untuk p=3 dan p=5. Kondisi ini memerlukan teori Fontaine-Laffaille tentang modul filtrasi dan phi-modules, yang sama sekali tidak disinggung di kedua buku. Saya harus mempelajarinya dari sumber terpisah seperti artikel Fontaine (1982) atau survei oleh Mazur. Demikian pula, buku Bump tidak membahas teorema modularity lifting untuk p=3 yang menggunakan hasil Langlands-Tunnell tentang representasi dihedral dari GL_2(F_3), padahal ini adalah langkah kunci untuk memulai induksi dalam bukti Wiles. Seorang pembaca yang serius harus melengkapi kedua buku ini dengan membaca artikel asli Langlands (1980) dan Tunnell (1981), serta artikel Ribet (1990) tentang level lowering.
Pemikiran saya setelah bertahun-tahun bergulat dengan kedua buku ini adalah bahwa tidak ada jalan pintas. Seseorang yang ingin memahami bukti FLT pada level teknis yang sesungguhnya — bukan hanya narasi populer — harus membaca Bump Bab 7, Gouvêa Bab 1-4, kemudian beralih ke artikel asli Wiles (1995) halaman 443-551 dan artikel Taylor-Wiles (1995) halaman 553-572, serta artikel Diamond (1996) yang menyederhanakan bukti. Setelah itu, membaca survei oleh Darmon, Diamond, dan Taylor (1997) yang berjudul "Fermat's Last Theorem" akan memberikan peta jalan yang utuh. Namun, fondasi yang diberikan oleh Bump dan Gouvêa menurut saya tetap tidak tergantikan: Bump memberikan bahasa representasi automorfik yang diperlukan untuk memahami sisi "modular" dari korespondensi Langlands, sementara Gouvêa memberikan bahasa deformasi yang diperlukan untuk memahami sisi "Galois". Tanpa keduanya, artikel Wiles akan tetap menjadi dokumen yang tidak dapat diakses oleh siapa pun di luar lingkaran kecil spesialis.
Kembali ke pertanyaan awal saya tentang mengapa fungtor deformasi Mazur dapat diwakili oleh ring kuasa formal dan bagaimana hubungan ruang tangent dengan generator minimal. Jawabannya adalah: representabilitas berasal dari kriteria Schlessinger yang terpenuhi karena rho bar absolut irreducibel; ring deformasi universal R_rho bar isomorfik ke Z_p[[X1,...,Xr]]/(f1,...,fs) karena ia adalah ring lokal lengkap Noether dengan lapangan residu F_p; dan jumlah generator minimal r sama dengan dimensi ruang tangent H^1(G_Q, ad(rho bar)) karena ruang tangent dari fungtor isomorfik dengan ruang kotangen dari ring deformasi melalui dualitas. Hubungan ini tidak hanya menjawab pertanyaan teknis tentang struktur ring deformasi, tetapi juga menjadi kunci untuk memahami isomorfisme R = T: kedua sisi, yaitu ring deformasi universal (dari Gouvêa) dan aljabar Hecke (dari Bump), memiliki ruang tangent yang sama, sehingga peta di antara mereka menjadi isomorfisma setelah ditambahkan argumen complete intersection dari Taylor-Wiles. Inilah esensi matematika di balik bukti yang mengubah wajah teori bilangan modern, dan kedua buku Bump dan Gouvêa adalah pintu masuk terbaik yang saya kenal untuk memahami esensi tersebut — asalkan Anda bersedia membaca keduanya secara paralel, dengan pensil di tangan, dan kesabaran untuk mengulang setiap halaman berkali-kali.
Semoga Bermanfaat dan Terima Kasih.
Disclaimer
Retizen adalah Blog Republika Netizen untuk menyampaikan gagasan, informasi, dan pemikiran terkait berbagai hal. Semua pengisi Blog Retizen atau Retizener bertanggung jawab penuh atas isi, foto, gambar, video, dan grafik yang dibuat dan dipublished di Blog Retizen. Retizener dalam menulis konten harus memenuhi kaidah dan hukum yang berlaku (UU Pers, UU ITE, dan KUHP). Konten yang ditulis juga harus memenuhi prinsip Jurnalistik meliputi faktual, valid, verifikasi, cek dan ricek serta kredibel.
