خمهای بیضوی
یک خم بیضوی یک خم هموار مکعبی است که نقاط آن دارای یک قانون گروهی طبیعی هستند؛ در اعداد گویا، این گروه به صورت متناهی تولید میشود، که خمهای بیضوی را به خانوادهای منحصر به فرد از معادلات دیوفانتی تبدیل میکند که هم قابل حل هستند و هم عمیق.
Definition
یک خم بیضوی بر روی یک میدان، یک خم تصویری هموار از جنس یک با یک نقطه پایه انتخاب شده است؛ به طور معادل، به دور از مشخصههای کوچک، مجموعه حلهای یک مکعب وایرشتراس همراه با یک نقطه در بینهایت، که یک گروه آبلی را تشکیل میدهند.
Scope
این موضوع شامل معادلات وایرشتراس و ممیز و ناوردای j، قانون گروهی وتر و مماس، خمهای بیضوی بر روی اعداد گویا و قضیه موردل-وایل، زیرگروههای پیچشی و طبقهبندی مازور، رتبه و روشهای نزول، کاهش پیمانه اعداد اول و تصویر محلی-سراسری، تابع L یک خم بیضوی، و حدس بیرچ و سوینرتون-دایر است که رتبه را به مرتبه صفر شدن آن تابع L مرتبط میکند.
Core questions
- چگونه ساختار وتر و مماس، نقاط یک خم بیضوی را به یک گروه آبلی تبدیل میکند؟
- چرا گروه نقاط گویا به صورت متناهی تولید میشود و چگونه رتبه و پیچش آن تعیین میشود؟
- چگونه کاهش پیمانه یک عدد اول، خم را به خمهایی بر روی میدانهای متناهی و به تابع L آن مرتبط میکند؟
- حدس بیرچ و سوینرتون-دایر چه چیزی را در مورد رتبه پیشبینی میکند؟
Key theories
- قانون گروهی و قضیه موردل-وایل
- سه نقطه روی یک خط بر روی یک خم بیضوی به هم جمع میشوند و عنصر همانی را میدهند، که یک گروه آبلی را تشکیل میدهد؛ بر روی اعداد گویا این گروه به صورت متناهی تولید میشود، برابر با یک بخش پیچشی متناهی به علاوه یک بخش آزاد با رتبهای مشخص است.
- پیچش و قضیه مازور
- زیرگروه پیچشی یک خم بیضوی گویا یکی از پانزده گروه صریح (قضیه مازور) است، بنابراین تنها ابهام در موردل-وایل، رتبه است.
- توابع L و بیرچ-سوینرتون-دایر
- حدس زده میشود که تابع L هاسه-وایل که از شمارش نقاط پیمانه اعداد اول ساخته شده است، در نقطه مرکزی به مرتبهای برابر با رتبه صفر میشود، که یک مسئله جایزه هزاره است و به طور جزئی در موارد رتبه پایین اثبات شده است.
Clinical relevance
خمهای بیضوی بر روی میدانهای متناهی، رمزنگاری خم بیضوی را شامل تبادل کلید و امضاهای دیجیتال، که کارایی و امنیت آنها بر قانون گروهی و دشواری مسئله لگاریتم گسسته خم بیضوی استوار است، تقویت میکنند؛ آنها همچنین زیربنای پیشنهادهای پسا-کوانتومی مبتنی بر ایزوژنی هستند.
History
خمهای بیضوی از انتگرالهای بیضوی که توسط آبل و ژاکوبی مطالعه شدند، نشأت گرفتند. پوانکاره و موردل قانون گروهی و تولید متناهی بر روی اعداد گویا را در اوایل قرن بیستم بنیان نهادند؛ وایل این را به واریتههای آبلی تعمیم داد، و حدس بیرچ و سوینرتون-دایر از آزمایشهای عددی در دهه ۱۹۶۰ پدید آمد.
Key figures
- Louis Mordell
- Andre Weil
- Barry Mazur
- Bryan Birch
- Peter Swinnerton-Dyer
Related topics
Seminal works
- silverman2009
Frequently asked questions
- آیا خمهای بیضوی شبیه بیضیها هستند؟
- خیر. این نام از انتگرالهای بیضوی که برای محاسبه طول قوس بیضیها استفاده میشوند، گرفته شده است؛ یک خم بیضوی یک خم مکعبی است و هیچ شباهتی به بیضی ندارد.
- رتبه یک خم بیضوی چیست؟
- این تعداد نقاط گویای مستقل با مرتبه بینهایت است؛ محاسبه آن دشوار است و حدس بیرچ و سوینرتون-دایر آن را به رفتار تابع L خم در نقطه مرکزی مرتبط میکند.