توابع L و پیمانهای بودن
هر فرم پیمانهای ویژه، یک تابع L با حاصلضرب اویلر و یک معادله تابعی دارد، و قضیه پیمانهای بودن، توابع L منحنیهای بیضوی گویا را با توابع L فرمهای جدید با وزن دو شناسایی میکند که سنگ بنای نظریه اعداد مدرن است.
Definition
تابع L یک فرم پیمانهای، سری دیریکلهای است که از ضرایب فوریه آن تشکیل شده است؛ پیمانهای بودن، قضیهای است که بیان میکند تابع L هر منحنی بیضوی روی اعداد گویا با تابع L یک فرم جدید با وزن دو و سطح منطبق، همخوانی دارد.
Scope
این موضوع شامل ساخت تابع L یک فرم پیمانهای از ضرایب فوریه آن از طریق تبدیل ملین، ادامه تحلیلی و معادله تابعی آن که از تبدیل پیمانهای فرم مشتق شده است، قضیه معکوس هکه، قضیه پیمانهای بودن (که قبلاً حدس تانیاما-شیمورا-وایل نامیده میشد) که توابع L منحنی بیضوی و پیمانهای را برابر میداند، نمایشهای گالوا مرتبط، و جایگاه همه اینها در برنامه لنگلندز است.
Core questions
- تابع L یک فرم پیمانهای چگونه ساخته میشود و تبدیل ملین چگونه معادله تابعی آن را به دست میدهد؟
- قضیه معکوس هکه در مورد اینکه کدام سریهای دیریکله از فرمهای پیمانهای میآیند، چه میگوید؟
- قضیه پیمانهای بودن دقیقاً چه چیزی را بیان میکند و چگونه توابع L منحنی بیضوی و پیمانهای با هم تطبیق داده شدند؟
- نمایشهای گالوا چگونه این تطابق را واسطه میکنند و چگونه در برنامه لنگلندز جای میگیرد؟
Key theories
- تابع L، تبدیل ملین، و معادله تابعی
- تبدیل ملین یک فرم کاسپ، تابع L کامل شده آن است؛ رفتار فرم تحت وارونگی گروه پیمانهای به معادله تابعی تبدیل میشود که مقادیر در s و وزن منهای s را به هم مرتبط میکند.
- قضیه پیمانهای بودن
- هر منحنی بیضوی روی اعداد گویا پیمانهای است: تابع L هاسه-وایل آن برابر با تابع L یک فرم جدید با وزن دو است که توسط وایل اثبات و توسط برویل، کنراد، دایموند و تیلور تکمیل شد.
- نمایشهای گالوا و لنگلندز
- فرمهای ویژه منجر به نمایشهای گالوا دو بعدی میشوند که ردهای فروبنی آنها مقادیر ویژه هکه هستند؛ تطبیق اینها با منحنیهای بیضوی اولین مورد غیرآبلی از تطابق لنگلندز است.
Clinical relevance
مکانیسم پیمانهای بودن — نمایشهای گالوا و ارتقاء پیمانهای بودن — اثبات قضیه آخر فرما را فراهم کرد و اکنون زیربنای بخش عمدهای از هندسه حسابی است؛ توابع L صریح نیز به حدسهایی (بیرچ-سوینرتون-دایر) کمک میکنند که ابزارهای محاسباتی برای منحنیهای بیضوی مورد استفاده در رمزنگاری را هدایت میکنند.
History
هکه در دهه ۱۹۳۰ ادامه تحلیلی و معادله تابعی توابع L پیمانهای را اثبات کرد. حدس تانیاما-شیمورا-وایل در مورد پیمانهای بودن از دهه ۱۹۵۰ شکل گرفت؛ وایل مورد نیمهپایدار را در سال ۱۹۹۴ اثبات کرد (که منجر به قضیه آخر فرما شد)، و قضیه کامل پیمانهای بودن در سال ۲۰۰۱ توسط برویل، کنراد، دایموند و تیلور تکمیل شد.
Key figures
- Erich Hecke
- Goro Shimura
- Andre Weil
- Andrew Wiles
- Robert Langlands
Related topics
Seminal works
- diamondShurman2005
Frequently asked questions
- پیمانهای بودن یک منحنی بیضوی به چه معناست؟
- به این معناست که تابع L ساخته شده از شمارش نقاط منحنی به پیمانه هر عدد اول، دقیقاً با تابع L یک فرم پیمانهای خاص مطابقت دارد، بنابراین منحنی، به معنای دقیق، توسط توابع پیمانهای پارامتری شده است.
- این موضوع چه ارتباطی با برنامه لنگلندز دارد؟
- پیمانهای بودن منحنیهای بیضوی سادهترین نمونه غیرآبلی از فلسفه لنگلندز است که یک تطابق عمیق بین نمایشهای گالوا و فرمهای خودریخت را پیشبینی میکند؛ فرمهای پیمانهای سمت خودریخت این فرهنگ لغت هستند.