Hodge Sanısı: Cebir ile Topolojinin 1 Milyon Dolarlık Buluşması

Bir milenyum problemi

2000 yılında Clay Mathematics Institute (Cambridge, Massachusetts), bilim insanlarına ilham vermek için yedi milenyum problemi tanıttı; her birinin çözüldüğü kanıtlanırsa 1 milyon dolar ödül.

Yedi problemden biri Hodge sanısı. Diğerleri: P vs NP, Riemann hipotezi, Yang-Mills boşluk problemi, Navier-Stokes, Birch–Swinnerton-Dyer, Poincaré sanısı.

Poincaré 2002-2003'te Perelman tarafından çözüldü; diğerleri hâlâ açık. Hodge sanısı muhtemelen "en az popüler" olanı çünkü ifadesini anlatmak en zorudur. Ama matematiksel öneminde Riemann'ın hipotezi seviyesinde.

William Hodge ve doktora

William Vallance Douglas Hodge (1903-1975) İskoç matematikçi. Cambridge'de diferansiyel geometri ve cebrik geometri uzmanıydı. 1930'larda Hodge teorisini geliştirdi — kompakt karmaşık manifoldlar üzerindeki harmonik formların geometrik anlamı.

1941'de Hodge bir sanı ortaya attı; bugün Hodge sanısı dediğimiz şey. 1950'lerin sonuna kadar pek bilinmedi. Atiyah, Grothendieck, Deligne gibi 20. yüzyılın büyük cebrik geometricileri konuyu Cantor'un sonsuzluğu kadar önemli kabul ettiler.

Sanı ne diyor? — sadeleştirilmiş

Bağlam: $X$, kompleks sayılar üzerinde kompakt karmaşık projektif çeşit (örnek: elliptik eğri, K3 yüzeyi, projektif uzaylar, vb.). $X$'in kohomolojisi $H^*(X, \mathbb{Q})$ rasyonel sayılarla katsayılı.

Hodge teorisinden gelen yapı: $H^{2k}(X, \mathbb{C})$ kohomoloji grubu, Hodge ayrışımı denilen bir ayrışıma sahiptir:

$H^{2k}(X, \mathbb{C}) = \bigoplus_{p+q=2k} H^{p,q}(X)$

Ortada özel bir bölme var: $H^{k,k}(X)$ — "Hodge tipi (k,k)" sınıflar.

Tanım: Bir rasyonel Hodge sınıfı $H^{2k}(X, \mathbb{Q})$'da bir eleman olup $H^{k,k}(X)$'a düşen sınıf.

Cebrik döngü: $X$ üzerinde cebrik bir altçeşit (örnek: bir çember, bir nokta) bir kohomoloji sınıfı tanımlar. Bu cebrik döngülerin sınıfları otomatik olarak Hodge tipindedir.

Soru: Her rasyonel Hodge sınıfı bir cebrik döngünün rasyonel katsayılı lineer birleşimi midir?

Hodge sanısı: "EVET."

Yani: Hodge tipindeki tüm sınıflar, geometrik (cebrik) kökeni olan sınıfların birleşimidir.

Daha sade benzetme

Daha kavramsal: bir geometrik nesnenin topolojik karakteri (delikler, döngüler) ile cebrik karakteri (denklemlerin çözüm kümesi olarak alt-çeşitler) arasında derin bir uyum vardır. Her topolojik özellik, cebriktan görünmeli.

Bu sanı doğrudan Hilbert'in 1900 yılındaki vizyonunu — "Sayı teorisi ve geometri tek bir matematik dilinde" — somut bir teorem haline getirmek istiyor.

Bilinen durumlar

• $k = 1$ (yani $H^{1,1}$ sınıfları): Lefschetz (1, 1) teoremi (1924) — sanı doğru.
• Eğri ($\dim X = 1$): aşikar.
• Yüzeyler ($\dim X = 2$): Lefschetz'den biliniyor.
• 3-katlı, 4-katlı... bazı durumlar: bilinir.
• Genel: açık.

Deligne 1969'da "Hodge tipindeki ama cebrik olmayan" karşı örnek aradı; bulamadı ama sanıyı kanıtlayamadı.

Karşı örnek arayışı (Atiyah-Hirzebruch 1962)

Atiyah ve Hirzebruch 1962'de integer katsayılı versiyon için karşı örnekler verdi (rasyonel değil). Yani: integer Hodge sınıflarının her zaman integer cebrik döngülerden gelmediğini gösterdiler.

Bu, sanının rasyonel formunu (lineer birleşim rasyonel katsayılı) zorunlu kıldı. Rasyonel form hâlâ açık.

Modern yaklaşımlar

1. Mumford-Tate grupları: Hodge yapıların simetri grupları aracılığıyla saldırı.
2. Motiflerin teorisi (Grothendieck): Hodge sınıflarını "evrensel" cebrik nesnelere göndermek.
3. L-fonksiyonları: zeta fonksiyonu özellikleriyle Hodge sınıflarını birleştirmek.
4. Mirror simetri (matematik fiziği): Calabi-Yau çeşitler için Hodge sayıları arasında "ayna" eşleşmeleri.
5. Variations of Hodge structures: parametre uzaylarında Hodge yapıların değişimi.

Hiçbiri henüz tam sanıyı kanıtlamadı; ama her biri kanıtın olası yapısına ipuçları verdi.

Neden bu kadar zor?

Hodge sanısı lokal değil küresel bir ifade. Cebrik döngüler "yerel" şekiller; ama Hodge sınıfları kohomoloji aracılığıyla tüm çeşit boyunca tanımlanır. İkisi arasındaki köprü çok dar.

Daha kötüsü: özel cebrik döngülerin yeterince olduğunu kanıtlamak gerek. Bu da, cebrik geometrinin bütününü gerektirir.

Bağlantılı sanılar

• Standard sanılar (Grothendieck 1968): Hodge sanısının yeterli koşulu. Hodge'dan biraz daha güçlü.
• Variational Hodge sanısı: aile içinde değişen Hodge yapılarda sanı.
• Generalized Hodge sanısı: daha genel kohomoloji sınıfları için.

Bu sanılar birbirine bağlı bir "Hodge ekolojisi" oluşturur.

Pratik etki — varsa

Hodge sanısı doğrulanmadan da modern cebrik geometride temel bir yaklaşım olarak kullanılır. Bir teorem yazıldığında "Hodge sanısı doğru ise..." başlığı sık.

Kanıtlanırsa:

• Cebrik geometri-topoloji köprüsü tamamlanır.
• Sayı teorisinde Tate sanısı ile bağ kurulur.
• Modern matematik fiziği (string teorisi, mirror simetri) için yeni araçlar.

Doğrudan pratik (mühendislik) uygulaması yoktur; tamamen temel matematik problemi.

Bir hikâye — Voisin

Fransız matematikçi Claire Voisin (1962-), Hodge sanısı üzerine en derinlikli çalışan günümüzdeki matematikçidir. Üç ciltlik Hodge Theory and Complex Algebraic Geometry (2002-2003) standart referans.

Voisin bazı durumlarda karşı örnek bulmaya yaklaştı ama her seferinde durum kurtarıldı. 2002'de Variational Hodge sanısı için karşı örnek gösterdi — bu da ana sanının kanıtının ne kadar dikkatli olması gerektiğini ortaya koydu.

Sonuç

Hodge sanısı, matematik aşkınında dengeli durur:

• İfadesi bir doktora öğrencisi için anlaşılır.
• Kanıtı 80+ yıldır kaçar.
• Pek çok büyük matematikçi (Atiyah, Deligne, Voisin, Grothendieck) ile temas etti.
• 1 milyon dolar bekliyor.

Matematikte sezgi ile rigorus kanıt arasındaki uçurumun en güzel örneklerinden biri. "Geometrik sezgi der ki olmalı; matematik 80 yıldır soruyor: olmalı diye nasıl bilirim?"