เส้นโค้งเชิงวงรี

เส้นโค้งเชิงวงรีคือเส้นโค้งกำลังสามที่เรียบซึ่งจุดต่าง ๆ มีกฎกลุ่มตามธรรมชาติ สำหรับจำนวนตรรกยะ กลุ่มนี้ถูกสร้างขึ้นอย่างจำกัด ทำให้เส้นโค้งเชิงวงรีเป็นตระกูลของสมการไดโอแฟนไทน์ที่สามารถจัดการได้ง่ายแต่มีความลึกซึ้งเป็นพิเศษ

Definition

เส้นโค้งเชิงวงรีเหนือฟิลด์คือเส้นโค้งเชิงโพรเจกทีฟ (projective curve) ที่เรียบมีจีนัส (genus) เป็นหนึ่งพร้อมจุดฐานที่เลือกไว้ หรือเทียบเท่ากันคือ ชุดของผลเฉลยของสมการกำลังสามของไวเออร์สตราส (Weierstrass cubic) พร้อมจุดที่อนันต์ (point at infinity) ซึ่งก่อให้เกิดกลุ่มอาเบล (abelian group) ยกเว้นในกรณีที่มีลักษณะเฉพาะขนาดเล็ก

Scope

หัวข้อนี้ครอบคลุมสมการไวเออร์สตราส (Weierstrass equations) และดิสคริมิแนนต์ (discriminant) รวมถึงเจ-อินแวเรียนต์ (j-invariant), กฎกลุ่มแบบคอร์ดและเส้นสัมผัส (chord-and-tangent group law), เส้นโค้งเชิงวงรีเหนือจำนวนตรรกยะและทฤษฎีบทมอร์เดลล์-ไวล์ (Mordell-Weil theorem), ทอร์ชันซับกรุป (torsion subgroups) และการจำแนกของมาซูร์ (Mazur's classification), อันดับ (rank) และวิธีการลดทอน (methods of descent), การลดทอนมอดุโลจำนวนเฉพาะ (reduction modulo primes) และภาพรวมแบบโลคัล-โกลบอล (local-global picture), ฟังก์ชันแอล (L-function) ของเส้นโค้งเชิงวงรี, และข้อคาดการณ์ของเบิร์ชและสวินเนอร์ตัน-ไดเออร์ (Birch and Swinnerton-Dyer conjecture) ที่เชื่อมโยงอันดับกับอันดับของการเป็นศูนย์ของฟังก์ชันแอลนั้น

Core questions

• การสร้างแบบคอร์ดและเส้นสัมผัสทำให้จุดต่าง ๆ ของเส้นโค้งเชิงวงรีกลายเป็นกลุ่มอาเบลได้อย่างไร?
• เหตุใดกลุ่มของจุดตรรกยะจึงถูกสร้างขึ้นอย่างจำกัด และอันดับและทอร์ชันของมันถูกกำหนดได้อย่างไร?
• การลดทอนมอดุโลจำนวนเฉพาะเชื่อมโยงเส้นโค้งกับเส้นโค้งเหนือฟิลด์จำกัดและฟังก์ชันแอลของมันอย่างไร?
• ข้อคาดการณ์ของเบิร์ชและสวินเนอร์ตัน-ไดเออร์ทำนายอะไรเกี่ยวกับอันดับ?

Key theories

กฎกลุ่มและทฤษฎีบทมอร์เดลล์-ไวล์

สามจุดบนเส้นตรงบนเส้นโค้งเชิงวงรีรวมกันเป็นเอกลักษณ์ (identity) ทำให้เกิดกลุ่มอาเบล สำหรับจำนวนตรรกยะ กลุ่มนี้ถูกสร้างขึ้นอย่างจำกัด เท่ากับส่วนทอร์ชันจำกัดบวกกับส่วนอิสระที่มีอันดับบางอย่าง

ทอร์ชันและทฤษฎีบทของมาซูร์

ทอร์ชันซับกรุปของเส้นโค้งเชิงวงรีตรรกยะเป็นหนึ่งในสิบห้ากลุ่มที่ระบุไว้อย่างชัดเจน (ทฤษฎีบทของมาซูร์) ดังนั้นความลึกลับเดียวในทฤษฎีบทมอร์เดลล์-ไวล์คืออันดับ

ฟังก์ชันแอลและเบิร์ช-สวินเนอร์ตัน-ไดเออร์

ฟังก์ชันแอลของฮาสเซ-ไวล์ (Hasse-Weil L-function) ที่สร้างขึ้นจากการนับจุดมอดุโลจำนวนเฉพาะ คาดการณ์ว่าจะหายไปที่จุดศูนย์กลางตามอันดับที่เท่ากับอันดับ ซึ่งเป็นปัญหารางวัลมิลเลนเนียมที่ได้รับการพิสูจน์บางส่วนในกรณีอันดับต่ำ

Clinical relevance

เส้นโค้งเชิงวงรีเหนือฟิลด์จำกัดเป็นพื้นฐานของการเข้ารหัสแบบเส้นโค้งเชิงวงรี (elliptic-curve cryptography) รวมถึงการแลกเปลี่ยนกุญแจ (key exchange) และลายเซ็นดิจิทัล (digital signatures) ซึ่งประสิทธิภาพและความปลอดภัยขึ้นอยู่กับกฎกลุ่มและความยากของปัญหาลอการิทึมไม่ต่อเนื่องของเส้นโค้งเชิงวงรี (elliptic-curve discrete logarithm problem) นอกจากนี้ยังเป็นรากฐานของข้อเสนอหลังควอนตัม (post-quantum proposals) ที่อิงตามไอโซจีนี (isogeny)

History

เส้นโค้งเชิงวงรีมีที่มาจากปริพันธ์เชิงวงรี (elliptic integrals) ที่ศึกษาโดยอาเบล (Abel) และจาโคบี (Jacobi) ปวงกาเร (Poincare) และมอร์เดลล์ (Mordell) ได้กำหนดกฎกลุ่มและการสร้างขึ้นอย่างจำกัดเหนือจำนวนตรรกยะในช่วงต้นศตวรรษที่ยี่สิบ ไวล์ (Weil) ได้ขยายแนวคิดนี้ไปยังวาไรตีอาเบล (abelian varieties) และข้อคาดการณ์ของเบิร์ชและสวินเนอร์ตัน-ไดเออร์ได้ปรากฏขึ้นจากการทดลองเชิงตัวเลขในทศวรรษ 1960

Key figures

• Louis Mordell
• Andre Weil
• Barry Mazur
• Bryan Birch
• Peter Swinnerton-Dyer

Seminal works

• silverman2009

Frequently asked questions

เส้นโค้งเชิงวงรีมีรูปร่างเหมือนวงรีหรือไม่?

ไม่ ชื่อนี้มาจากปริพันธ์เชิงวงรีที่ใช้ในการคำนวณความยาวส่วนโค้งของวงรี เส้นโค้งเชิงวงรีเป็นเส้นโค้งกำลังสามและไม่มีรูปร่างเหมือนวงรีเลย

อันดับของเส้นโค้งเชิงวงรีคืออะไร?

มันคือจำนวนของจุดตรรกยะอิสระที่มีอันดับอนันต์ การคำนวณทำได้ยาก และข้อคาดการณ์ของเบิร์ชและสวินเนอร์ตัน-ไดเออร์เชื่อมโยงมันกับพฤติกรรมของฟังก์ชันแอลของเส้นโค้งที่จุดศูนย์กลาง