Yerel-Küresel İlke
Yerel-küresel ilke, bir denklemin gerçel sayılar ve her p-adik alan üzerinde çözülebilir olması durumunda, rasyonel sayılar üzerinde de çözülebilir olup olmadığını sorgulamaktadır; kuadratik formlar için bu sorunun cevabı evettir ve bu durum yerelleştirmenin gücünü yansıtmaktadır.
Tanım
Yerel-küresel ilke, bir Diophantine probleminin küresel bir alan üzerinde ancak o alanın tüm tamamlamaları üzerinde çözümleri olduğunda bir çözüme sahip olacağını öne süren bir sezgidir; Hasse-Minkowski teoremi, rasyonel sayılar üzerindeki kuadratik formlar için bu durumu doğrulamaktadır.
Kapsam
Bu konu, rasyonel sayıların yer kavramını (gerçel yer ve her asal sayı için bir p-adik yer), tüm tamamlamaları bir araya getiren adele halkasını, çözülebilirlik için Hasse ilkesini, kuadratik formların bu ilkeye uyduğunu gösteren Hasse-Minkowski teoremini, destekleyici çarpım formülü ve Hilbert karşılıklılığını ve ilkenin yüksek dereceli formlar ile belirli kübik eğrilerdeki meşhur başarısızlıklarını kapsamaktadır; bu başarısızlıklar Brauer-Manin engellemesini (obstruction) motive etmektedir.
Temel sorular
- Rasyonel sayıların yerleri ve tamamlamaları nelerdir ve adeller bunları eş zamanlı olarak nasıl kodlamaktadır?
- Kuadratik formlar neden Hasse ilkesini sağlamaktadır ve çarpım formülü ile Hilbert karşılıklılığı bunu nasıl mümkün kılmaktadır?
- Yerelleştirme, küresel bir çözülebilirlik sorusunu her bir tamamlamayı kontrol etmeye nasıl indirgemektedir?
- İlke ne zaman başarısız olmaktadır ve başarısızlıkları hangi engellemeler açıklamaktadır?
Temel kuramlar
- Hasse-Minkowski teoremi
- Rasyonel sayılar üzerindeki bir kuadratik form, ancak gerçel sayılar ve her p-adik alan üzerinde sıfırı aşikar olmayan bir şekilde temsil ediyorsa sıfırı temsil etmektedir; bu durum yerel-küresel ilkenin paradigmatik bir başarısıdır.
- Çarpım formülü ve Hilbert karşılıklılığı
- Bir çift rasyonel sayının yerel Hilbert sembolleri, tüm yerler üzerinde çarpıldığında bire eşit olmaktadır; kuadratik karşılıklılığa eşdeğer olan bu çarpım formülü, Hasse-Minkowski ispatının arkasındaki itici güçtür.
- Başarısızlıklar ve adele bakış açısı
- İlke, üçüncü ve daha yüksek dereceli formlar ile genus-bir eğriler için başarısız olabilmektedir; adele çerçevesi ve Brauer-Manin engellemesi (obstruction) bu başarısızlıkları açıklamakta ve ölçmektedir.
Klinik önem
Yerel-küresel yöntemler, birçok Diophantine problemini sonlu sayıda yerel kontrole indirgeyerek çözülebilir hale getirmektedir ve adele çerçevesi, Langlands programını ve hesaplamalı sayı teorisini besleyen otomorfik formların ve L-fonksiyonlarının analitik teorisini desteklemektedir.
Tarihçe
Minkowski, 1890'larda rasyonel kuadratik formları sınıflandırmıştır ve Hasse, 1920'lerde p-adik sayıları kullanarak teoriyi yeniden şekillendirmiş ve genişleterek yerel-küresel ilkeyi formüle etmiştir. Chevalley'nin adelleri ve idelleri ile Tate'in 1950'deki tezi, ilkeyi adeller üzerinde güçlü bir harmonik-analitik çerçeveye oturtmuştur.
Öne çıkan isimler
- Helmut Hasse
- Hermann Minkowski
- Claude Chevalley
- John Tate
İlgili konular
Temel eserler
- serre1973
Sıkça sorulan sorular
- Yerel-küresel ilke her zaman geçerli midir?
- Hayır. Kuadratik formlar için (Hasse-Minkowski) geçerli olmakla birlikte, yüksek dereceli denklemler ve belirli eğriler için başarısız olabilmektedir; bu tür başarısızlıklar Brauer-Manin engellemesi (obstruction) gibi engellemeler aracılığıyla incelenmektedir.
- Rasyonel sayıların yeri nedir?
- Bir yer, mutlak değerlerin bir denklik sınıfıdır: rasyonel sayılar, gerçel sayıları veren bir Arşimetik yere ve her asal sayı için bir p-adik alan veren bir Arşimetik olmayan yere sahiptir.