Birch–Swinnerton-Dyer
Eliptik eğriler — düz bir doğru değil, kıvrımlı, gizemli cebirsel yapılar. Bu eğrilerin üzerinde kaç tane rasyonel nokta var? Cevap, sayıların en derin sırlarından birini açacak.
Eliptik eğrinin rasyonel noktalarının "rankı",
o eğrinin L-fonksiyonunun s=1'deki sıfır mertebesine eşittir.
Eğri mi, düzlem mi — sonsuz mu, sonlu mu?
Bir eliptik eğri hayal edin: y² = x³ − x gibi bir denklem. Bu denklem, koordinat düzleminde şık, simetrik bir eğri çizer. Ama asıl soru şudur: Bu eğri üzerinde kaç tane rasyonel nokta — yani her iki koordinatı da tam veya kesirli sayı olan nokta — var?
Bazen sıfır tane vardır. Bazen sonlu sayıda. Bazen sonsuz tane. Ve hangisi olduğunu önceden söyleyecek genel bir yöntem henüz yok.
Birch ve Swinnerton-Dyer, 1960'larda Cambridge'deki ilk bilgisayarları kullanarak yüzlerce eliptik eğriyi inceledi. Rasyonel çözüm sayısı ile eğrinin analitik L-fonksiyonu arasında şaşırtıcı bir örüntü keşfettiler.
Altın noktalar rasyonel çözümlerdir. Bu özel eğride rank = 0 — yani sonlu sayıda rasyonel nokta var. BSD Varsayımı der ki: L(E, 1) ≠ 0 olduğu için bu böyledir. Analitik bir fonksiyon, aritmetik bir gerçeği tahmin ediyor — ama bu bağlantı henüz tam kanıtlanmadı.
Neden önemlidir?
BSD Varsayımı modern kriptografinin temel taşlarından biridir. Eliptik eğri kriptografisi (ECC) — bugün kullandığınız HTTPS, Signal, WhatsApp güvenliğinin büyük kısmı — bu yapılar üzerine kuruludur.
Ayrıca Fermat'nın Son Teoremi'nin kanıtında da eliptik eğriler kilit rol oynadı. Wiles'ın o devrimci kanıtı, BSD ile derin bağlantılar içeriyordu. Bu dünya, düşündüğünüzden çok daha birbirine bağlıdır.
"Eliptik eğriler, sayı teorisinin kalbi gibidir. Onları anlamak, matematiğin en derin katmanlarına inmek demektir."
— Andrew Wiles, Princeton ÜniversitesiBir eğrinin analitik ruhu ile aritmetik bedeni.
BSD Varsayımı, iki tamamen farklı matematik dünyasını — analiz ve aritmetik — aynı denklemde buluşturur. Bu köprünün gerçek olduğunu gösteren kanıt henüz yok. Ama her geçen yıl daha fazla ipucu birikir.