Pasangan matematika memecahkan masalah teori kelompok utama – setelah 20 tahun kerja

Versi aslinya dari cerita ini muncul di Berapa banyak majalah.

Pada tahun 2003, seorang mahasiswa pascasarjana Jerman bernama Britta Späth Menghadapi dugaan McKay, salah satu masalah terbuka terbesar di ranah matematika yang dikenal sebagai teori kelompok. Awalnya tujuannya relatif sederhana: dia berharap dapat membuktikan satu atau dua teorema yang akan membuat kemajuan bertahap pada masalah, seperti yang telah dilakukan oleh banyak ahli matematika lainnya sebelum dia. Tetapi selama bertahun -tahun, dia ditarik kembali ke sana, berulang kali. Setiap kali dia mencoba fokus pada hal lain, dia berkata, “Itu tidak terhubung.”

Ada risiko bahwa pengejaran yang begitu sulit terhadap masalah yang begitu sulit dapat melukai karier akademisnya, tetapi Späth mendedikasikan seluruh waktunya untuk itu. Itu membawanya ke kantor Marc Cabanesseorang matematikawan yang sekarang berada di Institute of Mathematics of Jussieu di Paris yang, terinspirasi oleh upayanya, menjadi dikonsumsi oleh dugaan itu juga. Saat bekerja bersama, pasangan itu jatuh cinta dan akhirnya memulai sebuah keluarga.

Masalah yang menyerapnya mengambil tema utama dalam matematika dan mengubahnya menjadi alat konkret untuk ahli teori kelompok. Matematika penuh dengan objek abstrak yang sangat rumit yang tidak mungkin dipelajari secara keseluruhan. Namun seringkali, matematikawan telah menemukan, itu cukup untuk melihat fragmen kecil dari objek semacam itu untuk memahami sifat -sifatnya yang lebih luas. Pada abad ketiga SM, misalnya, ahli matematika Yunani kuno Eratosthenes memperkirakan keliling Bumi – hampir 25.000 mil – dengan mengukur bayang -bayang yang dilemparkan oleh matahari hanya dalam dua kota yang terpisah sekitar 500 mil. Demikian pula, ketika ahli matematika ingin memahami fungsi yang berbelit -belit, mereka mungkin hanya perlu melihat bagaimana itu berperilaku untuk subset kecil dari kemungkinan input. Itu bisa cukup untuk memberi tahu mereka apa yang dilakukan fungsi untuk semua input yang mungkin.

Dugaan McKay adalah contoh lain dari prinsip ini. Dikatakan bahwa jika Anda ingin merumuskan deskripsi menyeluruh dari suatu kelompok—entitas matematika yang penting Itu bisa menjadi sangat sulit untuk dipelajari – Anda hanya perlu melihat bagian kecilnya.

Setelah dugaan diajukan pada tahun 1970 -an, lusinan ahli matematika mencoba membuktikannya. Mereka membuat sebagian kemajuan – dan dalam proses mereka belajar banyak tentang kelompok, yang merupakan objek abstrak yang menggambarkan berbagai simetri sistem matematika. Tapi bukti penuh tampaknya di luar jangkauan.

Kemudian Späth datang. Sekarang, 20 tahun setelah dia pertama kali belajar tentang masalah dan lebih dari satu dekade setelah dia bertemu Cabanes, dua ahli matematika Akhirnya menyelesaikan buktinya.

Ketika pasangan itu mengumumkan hasil mereka, kolega mereka kagum. “Saya ingin ada parade,” kata Diakon Persi dari Universitas Stanford. “Bertahun -tahun keras, keras, kerja keras, dan dia melakukannya, mereka melakukannya.”

Kekuatan bilangan prima

Dugaan McKay dimulai dengan pengamatan kebetulan yang aneh.

John McKay—Digambarkan oleh seorang teman sebagai “brilian, bersuara lembut, dan menawan tidak terorganisir”-dikenal karena kemampuannya untuk melihat pola numerik di tempat-tempat yang tidak terduga. Matematikawan Universitas Concordia mungkin paling terkenal karena dugaan “nonserionis mengerikan” -nya, yang terbukti pada tahun 1992 dan membangun hubungan yang mendalam antara kelompok monster yang disebut dan fungsi khusus dari teori bilangan.

Sebelum kematiannya beberapa tahun yang lalu, McKay menggali banyak koneksi penting lainnya, juga, banyak yang melibatkan kelompok. Suatu kelompok adalah seperangkat elemen yang dikombinasikan dengan aturan tentang bagaimana elemen -elemen itu saling berhubungan. Ini dapat dianggap sebagai kumpulan simetri – transformasi yang meninggalkan bentuk, fungsi atau objek matematika lainnya yang tidak berubah dengan cara tertentu. Untuk semua abstraksi mereka, kelompok sangat berguna, dan mereka memainkan peran sentral dalam matematika.

Pada tahun 1972, McKay Berfokus pada kelompok yang terbatas—Group yang memiliki sejumlah elemen yang terbatas. Dia mengamati bahwa dalam banyak kasus, Anda dapat menyimpulkan informasi penting tentang kelompok yang terbatas dengan melihat subset yang sangat kecil dari elemen -elemennya. Secara khusus, McKay melihat elemen -elemen yang membentuk kelompok khusus yang lebih kecil – menyebut Sylow Normalizer – di dalam kelompok aslinya.

Bayangkan Anda memiliki grup dengan 72 elemen. Ini saja tidak memberi tahu Anda banyak: ada 50 kelompok yang berbeda dari ukuran itu. Tetapi 72 juga dapat ditulis sebagai produk bilangan prima, 2 × 2 × 2 × 3 × 3 – yaitu, seperti 2³ × 3². (Secara umum, semakin banyak bilangan prima yang lebih berbeda yang Anda butuhkan untuk menggambarkan ukuran grup Anda, semakin rumit grup Anda.) Anda dapat membusuk grup Anda menjadi subkelompok yang lebih kecil berdasarkan bilangan prima ini. Dalam hal ini, misalnya, Anda dapat melihat subkelompok dengan delapan (2³) elemen dan subkelompok dengan sembilan (3²) elemen. Dengan mempelajari subkelompok itu, Anda dapat mempelajari lebih lanjut tentang struktur kelompok Anda secara keseluruhan – apa yang diblokir bangunan lainnya yang terdiri dari kelompok ini, misalnya.

Sekarang ambil salah satu subkelompok itu dan tambahkan beberapa elemen tertentu untuk membuat subkelompok khusus, Sylow Normalizer. Dalam kelompok 72 elemen Anda, Anda dapat membangun Sylow Normalizer yang berbeda untuk setiap subkelompok delapan elemen dan sembilan elemen-ini masing-masing adalah Normizer 2-Sylow dan Normizer 3-Sylow.

Sylow Normizers, seperti subkelompok yang dibangunnya, dapat memberi tahu matematikawan banyak tentang kelompok asli. Tetapi McKay berhipotesis bahwa hubungan ini jauh lebih kuat daripada yang dibayangkan siapa pun. Bukan hanya Sylow Normalizer dapat memberikan wawasan tentang struktur keseluruhan kelompok yang terbatas. Dia menegaskan bahwa jika ahli matematika ingin menghitung jumlah penting yang akan membantu mereka mengkarakterisasi kelompok mereka, mereka hanya perlu melihat salah satu set Normizer Sylow tertentu: Sylow Normalizer akan ditandai dengan angka yang sama persis.

Jumlah ini menghitung jumlah “representasi” dari jenis tertentu – Anda dapat menulis ulang elemen grup menggunakan array angka yang disebut matriks. Penghitungan seperti itu mungkin tampak sewenang -wenang, tetapi memberi ahli matematika tentang bagaimana unsur -unsur kelompok saling berhubungan satu sama lain, dan itu terlibat dalam perhitungan sifat -sifat penting lainnya.

Tampaknya tidak ada alasan yang bagus mengapa kuantitas McKay harus selalu sama untuk kelompok yang terbatas dan penakluk sylow -nya. Sylow Normalizer mungkin mengandung sebagian kecil dari sebagian kecil persen dari jumlah elemen dalam kelompok yang lebih besar. Selain itu, Sylow Normalizer sering memiliki struktur yang sangat berbeda.

Seolah -olah “dalam setiap pemilihan AS, Anda menghitung suara secara umum, dan di kota kecil ini di Montana, mereka persis sama secara proporsional,” kata Gabriel Navarro Universitas Valencia. “Tidak serupa, tidak lebih atau kurang. Persis sama.”

Tapi itulah yang dugaan McKay – untuk semua kelompok yang terbatas. Jika benar, itu akan membuat hidup matematikawan jauh lebih mudah: Sylow Normizers jauh lebih mudah untuk dikerjakan daripada kelompok orang tua mereka. Itu juga akan mengisyaratkan kehadiran kebenaran matematika yang lebih dalam, yang matematikawan belum menangani.

Setahun setelah McKay pertama kali mengamati kebetulan, seorang ahli matematika bernama Marty Isaacs membuktikan bahwa itu berlaku untuk Sejumlah besar kelompok. Tapi kemudian ahli matematika macet. Mereka dapat menunjukkan bahwa itu bertahan untuk satu kelompok tertentu atau yang lain, tetapi masih ada banyak kelompok yang tersisa untuk ditangani.

Membuktikan dugaan penuh tampaknya sangat sulit. Ternyata, kemajuan besar berikutnya pada masalah ini akan membutuhkan penyelesaian salah satu proyek matematika yang paling besar dalam sejarah.

Satu lompatan raksasa untuk teori kelompok, satu langkah kecil untuk McKay

Proyek – upaya untuk mengklasifikasikan semua blok bangunan kelompok terbatas – pada akhirnya membutuhkan ribuan bukti dan membutuhkan lebih dari 100 tahun untuk diselesaikan. Tetapi pada tahun 2004, ahli matematika akhirnya berhasil menunjukkan bahwa semua blok bangunan harus jatuh ke dalam salah satu dari tiga kategori, atau termasuk dalam daftar 26 outlier.

Matematikawan telah lama mencurigai bahwa, setelah lengkap, klasifikasi ini akan membantu menyederhanakan masalah seperti dugaan McKay. Mungkin mereka tidak harus membuktikan dugaan untuk semua kelompok yang terbatas. Mungkin mereka hanya perlu membuktikan pernyataan alternatif yang mencakup 29 jenis blok bangunan – atau untuk beberapa kelompok terkait terkait – yang secara otomatis menyiratkan dugaan McKay penuh.

Tapi pertama -tama, seseorang harus menunjukkan bahwa strategi ini benar -benar akan berhasil. Tahun klasifikasi selesai secara resmi, Isaacs, Navarro, dan Gunter Malle mencari tahu Cara yang tepat untuk membingkai ulang dugaan McKay sehingga mereka hanya perlu fokus pada serangkaian kelompok yang sempit.

Untuk setiap kelompok dalam set baru ini, mereka harus menunjukkan sesuatu yang sedikit lebih kuat dari yang diusulkan McKay: tidak hanya jumlah representasi harus sama untuk kelompok dan Sylow Normalizer, tetapi representasi itu harus saling berhubungan satu sama lain sesuai dengan aturan tertentu. Isaacs, Navarro, dan Malle menunjukkan bahwa jika pernyataan yang lebih kuat ini diadakan untuk kelompok -kelompok khusus ini, maka dugaan McKay harus benar untuk setiap kelompok yang terbatas. (“Ini selama Euro 2004,” kenang Navarro. Rekan penulisnya “tidak tahu bahwa saya menyelinap kadang -kadang untuk melihat beberapa permainan. Tetapi hal -hal penting adalah hal -hal penting.”)

Reformulasi trio tentang masalah ini merupakan terobosan besar. Dalam beberapa tahun, ahli matematika telah menggunakannya untuk menyelesaikan sebagian besar kasus dugaan McKay. Selain itu, ini membantu mereka menyederhanakan pertanyaan terkait yang juga melibatkan penggunaan satu bagian dari suatu objek untuk mempelajari keseluruhan. “Banyak dugaan sekarang telah dikurangi menggunakan ini sebagai cetak biru,” kata Mandi Schaeffer Fryseorang ahli matematika di University of Denver.

Tetapi ada satu kelas kelompok— “kelompok tipe kebohongan” – untuk mana versi baru dari dugaan McKay tetap terbuka. Representasi kelompok -kelompok ini sangat sulit dipelajari, dan sangat sulit untuk membuktikan bahwa hubungan di antara mereka memenuhi kondisi yang diuraikan oleh Ishak, Navarro, dan Malle.

Tetapi salah satu mahasiswa pascasarjana Malle adalah dalam kasus ini. Britta Späth.

“Obsesi kami”

Pada tahun 2003, Späth tiba di Universitas Kassel untuk memulai doktornya dengan Malle. Dia hampir sangat cocok untuk mengerjakan dugaan McKay: bahkan di sekolah menengah, dia bisa menghabiskan berhari -hari atau berminggu -minggu untuk satu masalah. Dia sangat menikmati orang -orang yang menguji ketahanannya, dan dia dengan penuh kasih ingat berjam -jam menghabiskan waktu mencari “trik yang, dengan cara tertentu, bahkan tidak begitu dalam.”

Späth menghabiskan waktunya mempelajari representasi kelompok sedalam mungkin. Setelah dia menyelesaikan gelar sarjana, dia memutuskan untuk menggunakan keahlian itu untuk terus memotong dugaan McKay. “Dia memiliki intuisi yang gila dan sangat bagus ini,” kata Schaeffer Fry, teman dan kolaboratornya. “Dia bisa melihatnya akan menjadi seperti ini.”

Beberapa tahun kemudian, pada 2010, Späth mulai bekerja di Paris Cité University, di mana ia bertemu Cabanes. Dia adalah seorang ahli dalam rangkaian kelompok yang lebih sempit di pusat versi yang dirumuskan kembali dari dugaan McKay, dan Späth sering pergi ke kantornya untuk mengajukan pertanyaan kepadanya. Cabanes “selalu memprotes, ‘kelompok -kelompok itu rumit, Tuhan,’” kenangnya. Terlepas dari keraguan awalnya, dia juga akhirnya terpikat dengan masalah. Itu menjadi “obsesi kami,” katanya.

Ada empat kategori kelompok tipe kebohongan. Bersama -sama, Späth dan Cabanes mulai membuktikan dugaan untuk masing -masing kategori tersebut, dan mereka melaporkan beberapa hasil utama Selama dekade berikutnya.

Pekerjaan mereka membuat mereka mengembangkan pemahaman yang mendalam tentang kelompok tipe kebohongan. Meskipun kelompok -kelompok ini adalah blok bangunan yang paling umum dari kelompok lain, dan karena itu sangat menarik minat matematika, representasi mereka sangat sulit dipelajari. Cabanes dan Späth sering harus bergantung pada teori buram dari daerah matematika yang berbeda. Tetapi dalam menggali teori -teori itu, mereka memberikan beberapa penokohan terbaik dari kelompok -kelompok penting ini.

Ketika mereka melakukannya, mereka mulai berkencan dan kemudian memiliki dua anak. (Mereka akhirnya menetap bersama di Jerman, di mana mereka menikmati bekerja bersama di salah satu dari tiga papan tulis di rumah mereka.)

Pada tahun 2018, mereka hanya memiliki satu kategori kelompok tipe kebohongan yang tersisa. Setelah itu selesai, mereka akan membuktikan dugaan McKay.

Kasus terakhir itu membutuhkan waktu enam tahun lagi.

“Pencapaian yang spektakuler”

Kelompok kebohongan keempat “mengalami begitu banyak kesulitan, begitu banyak kejutan yang buruk,” kata Späth. ; Kasus terakhir selesai. Itu diikuti secara otomatis bahwa dugaan McKay benar.

Pada Oktober 2023, mereka akhirnya merasa cukup percaya diri dalam bukti mereka untuk mengumumkannya ke kamar lebih dari 100 ahli matematika. Setahun kemudian, mereka mempostingnya secara online untuk dicerna oleh seluruh komunitas. “Ini adalah pencapaian yang benar -benar spektakuler,” kata Radha Kessar dari University of Manchester.

Matematikawan sekarang dapat dengan percaya diri mempelajari sifat -sifat penting dari kelompok dengan melihat Sylow Normizers mereka saja – pendekatan yang jauh lebih mudah untuk memahami entitas abstrak ini, dan yang mungkin memiliki aplikasi praktis. Dan dalam proses membangun hubungan ini, kata Navarro, para peneliti mengembangkan “matematika yang indah, indah, dan dalam.”

Matematikawan lain sekarang berharap untuk mengeksplorasi alasan konseptual yang lebih dalam mengapa kebetulan yang aneh yang ditemukan McKay adalah benar. Meskipun Späth dan Cabanes telah membuktikannya, ahli matematika masih tidak mengerti mengapa satu set yang relatif kecil cukup untuk memberi tahu Anda banyak tentang kelompok induknya yang lebih besar.

“Harus ada beberapa alasan struktural mengapa angka -angka ini sama,” kata Kessar.

Beberapa ahli matematika telah melakukan pekerjaan awal untuk mencoba memahami hubungan ini, tetapi sejauh ini tetap menjadi misteri.

Späth dan Cabanes bergerak, masing -masing mencari obsesi berikutnya. Sejauh ini, menurut Späth, tidak ada yang mengkonsumsinya seperti dugaan McKay. “Jika Anda telah melakukan satu hal besar, maka sulit untuk menemukan keberanian, kegembiraan untuk yang berikutnya,” katanya. “Terkadang itu adalah pertarungan. Itu juga memberi Anda, setiap hari, tujuan.”

Cerita asli dicetak ulang dengan izin dari Berapa banyak majalah, publikasi editorial independen dari Yayasan Simons yang misinya adalah untuk meningkatkan pemahaman publik tentang sains dengan meliput perkembangan penelitian dan tren matematika dan ilmu fisik dan kehidupan.