اصل محلی-سراسری

اصل محلی-سراسری این پرسش را مطرح می‌کند که آیا معادله‌ای که بر روی اعداد حقیقی و بر روی هر میدان p-adic قابل حل است، باید لزوماً بر روی اعداد گویا نیز قابل حل باشد؛ برای فرم‌های درجه دوم پاسخ مثبت است که نشان‌دهنده قدرت محلی‌سازی است.

Definition

اصل محلی-سراسری یک اکتشاف است که یک مسئله دیوفانتی زمانی بر روی یک میدان سراسری راه‌حل دارد که بر روی تمام کامل‌سازی‌های آن میدان راه‌حل داشته باشد؛ قضیه هاسه-مینکوفسکی این امر را برای فرم‌های درجه دوم بر روی اعداد گویا تأیید می‌کند.

Scope

این موضوع شامل مفهوم مکان‌های اعداد گویا (مکان حقیقی و یک مکان p-adic برای هر عدد اول)، حلقه ادل که تمام کامل‌سازی‌ها را گرد هم می‌آورد، اصل هاسه برای حل‌پذیری، قضیه هاسه-مینکوفسکی که فرم‌های درجه دوم از آن تبعیت می‌کنند، فرمول ضرب پشتیبان و تقابل هیلبرت، و شکست‌های مشهور این اصل برای فرم‌های درجه بالاتر و برخی منحنی‌های مکعبی است که انگیزه انسداد براوئر-مانین را فراهم می‌کند.

Core questions

• مکان‌ها و کامل‌سازی‌های اعداد گویا چه هستند و چگونه ادل‌ها آن‌ها را به طور همزمان کدگذاری می‌کنند؟
• چرا فرم‌های درجه دوم از اصل هاسه تبعیت می‌کنند و چگونه فرمول ضرب و تقابل هیلبرت این امر را ممکن می‌سازند؟
• چگونه محلی‌سازی یک مسئله حل‌پذیری سراسری را به بررسی هر کامل‌سازی کاهش می‌دهد؟
• چه زمانی این اصل شکست می‌خورد و چه موانعی این شکست‌ها را توضیح می‌دهند؟

Key theories

قضیه هاسه-مینکوفسکی

یک فرم درجه دوم بر روی اعداد گویا، صفر را به طور غیربدیهی نمایش می‌دهد اگر و تنها اگر این کار را بر روی اعداد حقیقی و بر روی هر میدان p-adic انجام دهد، که موفقیت نمونه‌وار اصل محلی-سراسری است.

فرمول ضرب و تقابل هیلبرت

نمادهای هیلبرت محلی یک جفت عدد گویا بر روی تمام مکان‌ها در هم ضرب می‌شوند و حاصل یک می‌شود؛ این فرمول ضرب، معادل تقابل درجه دوم، موتور محرک اثبات هاسه-مینکوفسکی است.

شکست‌ها و دیدگاه ادلیک

این اصل ممکن است برای فرم‌های درجه سه و بالاتر و برای منحنی‌های جنس یک شکست بخورد؛ چارچوب ادلیک و انسداد براوئر-مانین این شکست‌ها را توضیح داده و اندازه‌گیری می‌کنند.

Clinical relevance

روش‌های محلی-سراسری بسیاری از مسائل دیوفانتی را با کاهش آن‌ها به تعداد محدودی بررسی محلی، قابل تصمیم‌گیری می‌کنند و چارچوب ادلیک زیربنای نظریه تحلیلی فرم‌های اتومورفیک و توابع L است که برنامه لنگلندز و نظریه اعداد محاسباتی را تغذیه می‌کند.

History

مینکوفسکی فرم‌های درجه دوم گویا را در دهه ۱۸۹۰ طبقه‌بندی کرد و هاسه این نظریه را در دهه ۱۹۲۰ با استفاده از اعداد p-adic بازنویسی و گسترش داد و اصل محلی-سراسری را فرموله کرد. ادل‌ها و ایدل‌های شوالیه و پایان‌نامه تیت در سال ۱۹۵۰ این اصل را در چارچوبی هارمونیک-تحلیلی قدرتمند بر روی ادل‌ها قرار دادند.

Key figures

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

Seminal works

• serre1973

Frequently asked questions

آیا اصل محلی-سراسری همیشه برقرار است؟

خیر. این اصل برای فرم‌های درجه دوم (هاسه-مینکوفسکی) برقرار است اما ممکن است برای معادلات درجه بالاتر و منحنی‌های خاصی شکست بخورد؛ چنین شکست‌هایی از طریق موانعی مانند انسداد براوئر-مانین مورد مطالعه قرار می‌گیرند.

مکان اعداد گویا چیست؟

مکان یک کلاس هم‌ارزی از قدر مطلق‌ها است: اعداد گویا یک مکان ارشمیدسی دارند که اعداد حقیقی را می‌دهد و یک مکان غیرارشمیدسی برای هر عدد اول که یک میدان p-adic را می‌دهد.