Prinsip Lokal-Global

Prinsip lokal-global menanyakan apakah suatu persamaan yang dapat diselesaikan pada bilangan real dan pada setiap medan p-adik harus sudah dapat diselesaikan pada bilangan rasional; untuk bentuk kuadrat jawabannya adalah ya, yang mewujudkan kekuatan lokalisasi.

Definition

Prinsip lokal-global adalah heuristik bahwa masalah Diophantine memiliki solusi pada medan global tepat ketika ia memiliki solusi pada semua kelengkapan medan tersebut; teorema Hasse-Minkowski mengkonfirmasinya untuk bentuk kuadrat pada bilangan rasional.

Scope

Topik ini mencakup gagasan tempat-tempat bilangan rasional (tempat real dan satu tempat p-adik per bilangan prima), gelanggang adele yang menyatukan semua kelengkapan, prinsip Hasse untuk keterpecahan, teorema Hasse-Minkowski bahwa bentuk kuadrat mematuhinya, rumus produk pendukung dan resiprositas Hilbert, serta kegagalan prinsip yang terkenal untuk bentuk berderajat lebih tinggi dan kurva kubik tertentu, yang memotivasi obstruksi Brauer-Manin.

Core questions

• Apa saja tempat dan kelengkapan bilangan rasional, dan bagaimana adele mengkodekannya secara bersamaan?
• Mengapa bentuk kuadrat memenuhi prinsip Hasse, dan bagaimana rumus produk serta resiprositas Hilbert mewujudkan hal ini?
• Bagaimana lokalisasi mereduksi pertanyaan keterpecahan global menjadi pemeriksaan setiap kelengkapan?
• Kapan prinsip ini gagal, dan obstruksi apa yang menjelaskan kegagalan tersebut?

Key theories

Teorema Hasse-Minkowski

Bentuk kuadrat pada bilangan rasional merepresentasikan nol secara non-trivial jika dan hanya jika ia melakukannya pada bilangan real dan pada setiap medan p-adik, keberhasilan paradigmatik dari prinsip lokal-global.

Rumus produk dan resiprositas Hilbert

Simbol Hilbert lokal dari sepasang bilangan rasional dikalikan menjadi satu di semua tempat; rumus produk ini, yang setara dengan resiprositas kuadratik, adalah mesin di balik pembuktian Hasse-Minkowski.

Kegagalan dan sudut pandang adelik

Prinsip ini dapat gagal untuk bentuk berderajat tiga dan lebih tinggi serta untuk kurva genus-satu; kerangka kerja adelik dan obstruksi Brauer-Manin menjelaskan dan mengukur kegagalan ini.

Clinical relevance

Metode lokal-global membuat banyak masalah Diophantine dapat diputuskan dengan mereduksinya menjadi sejumlah terbatas pemeriksaan lokal, dan kerangka kerja adelik mendasari teori analitik bentuk automorfik dan fungsi-L yang mendukung program Langlands dan teori bilangan komputasi.

History

Minkowski mengklasifikasikan bentuk kuadrat rasional pada tahun 1890-an, dan Hasse menyusun ulang serta memperluas teori tersebut pada tahun 1920-an menggunakan bilangan p-adik, merumuskan prinsip lokal-global. Adele dan idele Chevalley serta tesis Tate pada tahun 1950 menempatkan prinsip tersebut dalam kerangka harmonik-analitik yang kuat di atas adele.

Key figures

• Helmut Hasse
• Hermann Minkowski
• Claude Chevalley
• John Tate

Seminal works

• serre1973

Frequently asked questions

Apakah prinsip lokal-global selalu berlaku?

Tidak. Prinsip ini berlaku untuk bentuk kuadrat (Hasse-Minkowski) tetapi dapat gagal untuk persamaan berderajat lebih tinggi dan kurva tertentu; kegagalan tersebut dipelajari melalui obstruksi seperti obstruksi Brauer-Manin.

Apa yang dimaksud dengan 'tempat' (place) bilangan rasional?

Tempat adalah kelas ekuivalensi nilai absolut: bilangan rasional memiliki satu tempat Archimedean yang menghasilkan bilangan real dan satu tempat non-Archimedean untuk setiap bilangan prima yang menghasilkan medan p-adik.