Langlands Programı: Matematiğin "Büyük Birleşik Teorisi"

"Bana belki anlamadığını söyleyeceksiniz"

1967 yılı, Princeton. André Weil (matematik tarihinin büyük figürlerinden) ofisindeyken bir mektup aldı. 30 yaşındaki bir matematikçi — Robert Langlands — bir hipotez tahliyesi yazıyor.

Mektup şöyle başlıyor: "Bana belki anlamadığını söyleyeceksiniz..."

İçerik: sayı teorisi ile harmonik analizin derin bağlantısı. L-fonksiyonları, Galois temsilleri, otomorfik formlar arasında bir büyük yapı.

Weil mektubu okudu, "Kafam Dur" dedi, ama sakladı. Yıllar içinde mektubun devrim olduğunu fark etti.

Bu, Langlands programı'nın doğum belgesidir. Modern matematiğin en iddialı projesi.

Ne söylüyor?

Langlands programının çekirdek iddiası:

"Sayı teorisinin nesneleri (Galois temsilleri) ↔ analizin nesneleri (otomorfik formlar)"

Bu, iki tamamen farklı matematik alanı arasında derin bir sözlük.

Sade örnekler

Kuadratik karşılıklılık

Önceki yazımızdaki Gauss'un altın teoremi — Langlands programının küçük köşesi.

Asal sayı teoremi

Asalların sayısı $\pi(x) \sim x/\ln x$ — Langlands programıyla bağlantılı.

Fermat son teoremi

Andrew Wiles'in 1994 ispatı: modüler form ile eliptik eğri arasında bir Langlands-tipi denklik kurarak.

Yani Fermat son teoremi Langlands programının bir sonucu olarak göründü.

Reciprocity yasaları

Langlands programı çok genel karşılıklılık yasaları öner:

• Kuadratik karşılıklılık (Gauss) → küçük örnek.
• Yüksek-derece karşılıklılık (Artin) → orta örnek.
• Otomorfik karşılıklılık → genel teorem.

Local Langlands (Harris-Taylor 2001): yerel için ispatlandı.
Global Langlands: hâlâ büyük ölçüde açık.

L-fonksiyonları

Programın merkez nesneleri: L-fonksiyonları. Üç tip:

1. Galois L-fonksiyonu: sayı teorisinden gelen.
2. Automorphic L-fonksiyonu: temsil teorisinden gelen.
3. Motif L-fonksiyonu: cebrik geometriden gelen.

Langlands programı: bu üç tip aynıdır!

Niçin önemli?

1. Yapı birliği

Matematiğin sayısız dalları (sayı teorisi, temsil teorisi, harmonik analiz, cebrik geometri) tek bir çerçevede birleşir.

2. Yeni teoremler

Langlands'in ipuçları ile:

• Fermat son teoremi (1994).
• Sato-Tate sanısı (2008).
• Birçok modern aritmetik geometri teoremi.

3. Açık problemler

• Genel reciprocity: hâlâ açık.
• Functoriality conjectures: açık.
• BSD sanısı: Langlands kapsamında.

4. Geometric Langlands

Cebrik geometri ile otomorfik formlar arasında geometrik versiyonu. Drinfeld, Beilinson, Frenkel çalıştı.

5. Fizik bağlantıları

Edward Witten ve diğerleri: kuantum alan teorisi ile Langlands programı arasında derin bağlantılar.

Tarihsel köken

• Hilbert 9. problem (1900): yüksek-derece karşılıklılık.
• Hecke (1937): otomorfik formların L-fonksiyonları.
• Tate (1950): adelik kıvrım.
• Langlands (1967): büyük vizyon.
• Deligne, Drinfeld (1970-80'ler): geometric versiyon.
• Wiles (1994): Fermat son teoremi.
• Harris-Taylor (2001): local Langlands.
• Modern (2020'ler): Drinfeld'in shtukaları, geometric Langlands derin kanıtlamalar.

Niçin "büyük birleşik teori"?

Fizikte Standart Model + kuantum kütle çekimi birleştirilmeye çalışılıyor. Matematik karşılığı Langlands programıdır.

Tıpkı fizikte olduğu gibi:

• Bütünsel resim çok büyük.
• Parça parça kanıtlanıyor.
• Tam kanıtı belki yüz yıl sonra gelir.

Ödüller

Langlands programı katkıları için verilen ödüller:

• Robert Langlands: Abel Prize 2018.
• Ngô Bảo Châu: Fields 2010 (fundamental lemma).
• Pierre Deligne: Fields 1978, Abel 2013.
• Vincent Lafforgue: Breakthrough Prize 2019.

Modern matematiğin en ödüllendirilen alanı.

Sonuç

Langlands programı:

• Matematiğin büyük birleşik teorisi (1967).
• Sayı teorisi + harmonik analiz + temsil teorisi + cebrik geometri birleşik.
• Fermat son teoremi dahil sayısız sonuç.
• Hâlâ büyük ölçüde açık — sonraki yüzyılın matematik projesi.

Bir 30 yaşındaki matematikçinin Weil'e yazdığı mütevazı mektup, modern matematiğin en iddialı projesine dönüştü. Görkemli yapı + olağanüstü teknik zorluk + sayısız mucize.

Modern matematik öğrencisi — özellikle sayı teorisi, temsil teorisi, cebrik geometri — Langlands programının gölgesinde çalışır. Görünmez ama vazgeçilmez çerçeve.

"Matematik aslında bir bütün." Langlands'in paradigması.