Birch–Swinnerton-Dyer Sanısı: Eliptik Eğriler İçin 1 Milyon Dolar

Bir eliptik eğri

Basit bir denklem:

$y^2 = x^3 + ax + b$

Buna eliptik eğri denir ($4a^3 + 27b^2 \neq 0$ koşuluyla). Eğrinin rasyonel noktaları (yani $x, y \in \mathbb{Q}$) sayılar teorisinde merkezi.

Örnek: $y^2 = x^3 + 1$. Rasyonel noktalar: $(-1, 0), (0, 1), (0, -1), (2, 3), (2, -3)$ ve nokta sonsuzdaki "nokta". Görünüşte 5+1 = 6 nokta var.

Yapı: Mordell teoremi (1922) gereği, eliptik eğrinin rasyonel noktaları sonlu sayıda üreteçten doğan bir Abel grubu oluşturur:

$E(\mathbb{Q}) \cong \mathbb{Z}^r \oplus T$

Burada $r$ rank (serbest kısımın boyutu), $T$ sonlu torsiyon grubu.

Soru: Verilen bir eliptik eğri için $r$ nedir?

Bu, sayılar teorisinin en derin sorularından. Bilgisayarla bile kesin algoritma yok.

Cambridge — EDSAC (1960'lar)

1960'larda Bryan Birch (Cambridge) ve Peter Swinnerton-Dyer (Cambridge) genç matematikçilerdi. Cambridge'in EDSAC 2 bilgisayarında — dünyanın ilk pratik bilgisayarlarından — eliptik eğriler üzerinde deneysel hesaplar yapmaya başladılar.

Her eliptik eğri $E$ için bir L-fonksiyonu $L(E, s)$ tanımlanır (zeta fonksiyonunun bir akrabası). Birch-Swinnerton-Dyer ne yaptı: çok sayıda eliptik eğri için, $L(E, s)$'in $s = 1$'deki davranışını ve eğrinin rasyonel nokta sayısını karşılaştırdılar.

Şaşırtıcı korelasyon

Gözlem: $L(E, 1)$ değeri ne kadar küçük ise eğrinin daha çok rasyonel noktası vardı. Hatta bazılarında $L(E, 1) = 0$ ve eğri sonsuz rasyonel nokta içeriyordu.

Daha keskin: $L(E, s)$'in $s = 1$'deki sıfır mertebesi ile rank $r$ arasında bir eşitlik göründü.

BSD sanısı — ana ifade

Zayıf BSD: $E$ eliptik eğri, $L(E, s)$ L-fonksiyonu.

$\text{ord}_{s=1} L(E, s) = \text{rank}(E(\mathbb{Q}))$

Yani: $L(E, s) = c (s-1)^r + \ldots$ açılımında $r$ = rank.

Güçlü BSD: ayrıca $L$ fonksiyonunun lider katsayısının kesin formülü:

$\lim_{s \to 1} \frac{L(E, s)}{(s-1)^r} = \frac{|Ш(E)| \cdot R(E) \cdot \Omega(E) \cdot \prod c_p}{|E(\mathbb{Q})_{\text{tor}}|^2}$

Burada her terim eliptik eğrinin önemli bir invariantı:

• $Ш(E)$ — Tate-Shafarevich grubu (gizemli)
• $R(E)$ — regülatör
• $\Omega(E)$ — gerçek dönem
• $c_p$ — Tamagawa sayıları
• $E(\mathbb{Q})_{\text{tor}}$ — torsiyon grubu boyutu

Bu güçlü hali çok daha derin.

Neden önemli?

1. Eliptik eğri rasyonel noktaları sayı teorisinin yaşam kanı. Fermat'nın Son Teoremi de Wiles'in eliptik eğri kanıtıyla çözüldü.
2. Kriptografi (ECC) tüm güvenliği eliptik eğrilerin yapısına dayanır.
3. Hesaplanabilirlik: rank algoritması yok. BSD doğru olursa, $L$ fonksiyonunu hesaplayarak rank'ı bilebiliriz.
4. Milenyum problemi: Clay'in 7 problemininden biri, $1 milyon dolar.

Bilinen durumlar

• Rank 0: Coates-Wiles (1977) bazı CM eliptik eğriler için zayıf BSD'yi kanıtladı. Sonra Kolyvagin (1989), Gross-Zagier (1986) genel rank 0 ve 1 durumlarını çözdü.
• Rank 1: yine Kolyvagin/Gross-Zagier.
• Rank ≥ 2: açık. Hiçbir genel durumda kanıtlanmadı.
• Sayısal: milyonlarca eliptik eğri için sayısal olarak doğrulandı.

2010'lardan beri Bhargava ve takipçileri (Bhargava 2014 Fields madalyası kazandı) bu konuda büyük adımlar attı:

• BSD'nin istatistiksel versiyonu: "rastgele bir eliptik eğri için BSD doğrudur" türünden sonuçlar.
• En az %66 eliptik eğri için zayıf BSD bilinir (Bhargava-Skinner-Zhang 2017).

Sha — gizemli grup

Sanının en sırrı kısmı Tate-Shafarevich grubu $Ш(E)$ (telefon "shah" — Rusça Ш harfi). Tanımı kohomolojik; rasyonel noktaların lokal-global karşılaşmasındaki "açık" boşluğu ölçer.

BSD'nin bir parçası: $Ш$ sonludır. Bu kanıtlanmamış! Hâlâ açık problem.

2017'de Skinner-Urban $Ш$'nın bazı durumlarda sonlu olduğunu gösterdi.

L-fonksiyonu detayı

Bir eliptik eğri için L-fonksiyonu:

$L(E, s) = \prod_p \frac{1}{1 - a_p p^{-s} + p^{1-2s}}$

(asal $p$ üzerine Euler çarpımı). Burada $a_p = p + 1 - |E(\mathbb{F}_p)|$ — yani modülo $p$ alındığındaki nokta sayısı.

Modularity teoremi (Wiles-Breuil-Conrad-Diamond-Taylor 2001) gereği her eliptik eğri modüler forma karşılık gelir; $L$ fonksiyonu modüler $L$ ile özdeş.

Pratik bir hesap

$y^2 = x^3 - x$ eğrisi. Sayısal hesap:

• $L(E, s)$: $s = 1$'de sıfırdan farklı, $L(E, 1) \approx 0.6555$.
• BSD diyor: rank = 0.
• Doğrulandı: rasyonel noktalar sadece $(0, 0), (1, 0), (-1, 0)$ ve nokta sonsuzdaki nokta — torsiyon, sonlu.

$y^2 = x^3 - 5x$ eğrisi:

• $L(E, 1) = 0$, $L'(E, 1) \neq 0$.
• BSD: rank = 1.
• Doğrulandı: bir taban nokta $(P) = (-1, 2)$, ondan üretilen sonsuz aile.

Sanının bilinen sınırları

Bhargava'nın 2010'lardaki sonuçları rastgele eliptik eğriler için BSD'yi kısmi olarak çözer. Ama her belirli eğri için garanti yok.

Kesin BSD'nin tüm yönleri için (Sha sonlu mu, formül tam mı vs.) — hâlâ uzakta.

Sonuç

BSD sanısı, modern sayılar teorisinin kalbi:

• Lise düzeyinde anlaşılır soru (rasyonel nokta sayısı).
• Modern L-fonksiyonu teknolojisi.
• 60 yıllık deneysel kanıt.
• Kanıt — açık.
• $1 milyon dolar bekliyor.

Matematik dünyasının en heyecanlı problemlerinden biri. Bhargava ve takipçileri her yıl daha yakına yaklaşıyor.