ฟังก์ชัน L และมอดูลาริตี

โมดูลาร์ไอเกนฟอร์ม (modular eigenform) ทุกรูปแบบมีฟังก์ชัน L ที่มีผลคูณออยเลอร์ (Euler product) และสมการเชิงฟังก์ชัน (functional equation) และทฤษฎีบทมอดูลาริตี (modularity theorem) ระบุว่าฟังก์ชัน L ของเส้นโค้งเชิงวงรีตรรกยะ (rational elliptic curves) ตรงกับฟังก์ชัน L ของนิวฟอร์ม (newforms) น้ำหนักสอง ซึ่งเป็นรากฐานสำคัญของทฤษฎีจำนวนสมัยใหม่

Definition

ฟังก์ชัน L ของโมดูลาร์ฟอร์มคืออนุกรมดิริชเลต์ (Dirichlet series) ที่สร้างขึ้นจากสัมประสิทธิ์ฟูเรียร์ของมัน มอดูลาริตีคือทฤษฎีบทที่กล่าวว่าฟังก์ชัน L ของเส้นโค้งเชิงวงรีใดๆ เหนือจำนวนตรรกยะจะตรงกับฟังก์ชัน L ของนิวฟอร์มน้ำหนักสองที่มีระดับ (level) ที่ตรงกัน

Scope

หัวข้อนี้ครอบคลุมการสร้างฟังก์ชัน L ของโมดูลาร์ฟอร์มจากสัมประสิทธิ์ฟูเรียร์ (Fourier coefficients) ผ่านการแปลงเมลลิน (Mellin transform) การขยายเชิงวิเคราะห์ (analytic continuation) และสมการเชิงฟังก์ชันที่ได้มาจากการแปลงมอดูลาร์ของฟอร์ม ทฤษฎีบทผกผันของเฮกเคอ (Hecke's converse theorem) ทฤษฎีบทมอดูลาริตี (เดิมคือข้อคาดการณ์ทานิยามะ-ชิมูระ-ไวล์) ที่เทียบเท่าฟังก์ชัน L ของเส้นโค้งเชิงวงรีและฟังก์ชัน L ของโมดูลาร์ฟอร์ม การแสดงกาโลอิส (Galois representations) ที่เกี่ยวข้อง และตำแหน่งของทั้งหมดนี้ภายในโครงการแลงแลนด์ส (Langlands program)

Core questions

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

Key theories

ฟังก์ชัน L, การแปลงเมลลิน และสมการเชิงฟังก์ชัน

การแปลงเมลลินของคัสป์ฟอร์ม (cusp form) คือฟังก์ชัน L ที่สมบูรณ์ของมัน พฤติกรรมของฟอร์มภายใต้การผกผันของกลุ่มมอดูลาร์ (modular group) จะแปลไปเป็นสมการเชิงฟังก์ชันที่เชื่อมโยงค่าที่ s และน้ำหนักลบ s

ทฤษฎีบทมอดูลาริตี

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

การแสดงกาโลอิสและแลงแลนด์ส

ไอเกนฟอร์มก่อให้เกิดการแสดงกาโลอิสสองมิติซึ่งร่องรอยโฟรเบนิอุส (Frobenius traces) เป็นค่าไอเกนของเฮกเคอ การจับคู่สิ่งเหล่านี้กับเส้นโค้งเชิงวงรีเป็นกรณีไม่เชิงเส้น (nonabelian) แรกของการติดต่อของแลงแลนด์ส

Clinical relevance

กลไกของมอดูลาริตี — การแสดงกาโลอิสและการยกมอดูลาริตี (modularity lifting) — ได้พิสูจน์ทฤษฎีบทสุดท้ายของแฟร์มาต์ (Fermat's Last Theorem) และปัจจุบันเป็นรากฐานสำคัญของเรขาคณิตเชิงเลขคณิต (arithmetic geometry) ฟังก์ชัน L ที่ชัดเจนยังเป็นพื้นฐานของข้อคาดการณ์ (เช่น เบิร์ช-สวินเนอร์ตัน-ไดเออร์) ที่ชี้นำเครื่องมือคำนวณสำหรับเส้นโค้งเชิงวงรีที่ใช้ในการเข้ารหัสลับ

History

เฮกเคอได้สร้างการขยายเชิงวิเคราะห์และสมการเชิงฟังก์ชันของฟังก์ชัน L ของโมดูลาร์ฟอร์มในช่วงทศวรรษ 1930 ข้อคาดการณ์ทานิยามะ-ชิมูระ-ไวล์เกี่ยวกับมอดูลาริตีเริ่มเป็นรูปเป็นร่างตั้งแต่ทศวรรษ 1950 ไวล์สพิสูจน์กรณีเซมิสเตเบิล (semistable case) ในปี 1994 (ซึ่งนำไปสู่ทฤษฎีบทสุดท้ายของแฟร์มาต์) และทฤษฎีบทมอดูลาริตีฉบับสมบูรณ์ได้สำเร็จในปี 2001 โดยเบรอิล (Breuil), คอนราด (Conrad), ไดมอนด์ (Diamond) และเทย์เลอร์ (Taylor)

Key figures

• Erich Hecke
• Goro Shimura
• Andre Weil
• Andrew Wiles
• Robert Langlands

Seminal works

• diamondShurman2005

Frequently asked questions

การที่เส้นโค้งเชิงวงรีเป็นมอดูลาร์หมายความว่าอย่างไร?

หมายความว่าฟังก์ชัน L ที่สร้างขึ้นจากการนับจุดของเส้นโค้งมอดุโลจำนวนเฉพาะแต่ละตัวจะตรงกับฟังก์ชัน L ของโมดูลาร์ฟอร์มที่เฉพาะเจาะจง ดังนั้นเส้นโค้งจึงถูกกำหนดพารามิเตอร์โดยฟังก์ชันมอดูลาร์ในความหมายที่แม่นยำ

สิ่งนี้เกี่ยวข้องกับโครงการแลงแลนด์สอย่างไร?

มอดูลาริตีของเส้นโค้งเชิงวงรีเป็นตัวอย่างที่ไม่ใช่เชิงเส้นที่ง่ายที่สุดของปรัชญาแลงแลนด์ส ซึ่งทำนายความสัมพันธ์ที่ลึกซึ้งระหว่างการแสดงกาโลอิสและออโตมอร์ฟิกฟอร์ม (automorphic forms) โดยที่โมดูลาร์ฟอร์มเป็นด้านออโตมอร์ฟิกของพจนานุกรมนี้