ทฤษฎีฟิลด์ชั้น (Class Field Theory)

ทฤษฎีฟิลด์ชั้นเป็นความสำเร็จอันยิ่งใหญ่ของทฤษฎีจำนวนเชิงพีชคณิต: โดยจำแนกส่วนขยายอาเบล (abelian extensions) ทั้งหมดของฟิลด์จำนวน (number field) ในแง่ของเลขคณิตของฟิลด์นั้นเอง ซึ่งเป็นการขยายกฎการแลกเปลี่ยนกำลังสอง (quadratic reciprocity) ไปสู่กฎการแลกเปลี่ยนที่ครอบคลุมกว้างขวาง

Definition

ทฤษฎีฟิลด์ชั้นสร้างความสอดคล้องกันระหว่างส่วนขยายอาเบลจำกัดของฟิลด์จำนวนและกลุ่มผลหารบางกลุ่มของกลุ่มชั้นไอเดล (idele class group) (หรือกลุ่มชั้นไอเดียลทั่วไป) โดยมีแผนที่การแลกเปลี่ยนของอาร์ตินเป็นไอโซมอร์ฟิซึมแบบบัญญัติ (canonical isomorphism) ไปยังกลุ่มกาลัวของแต่ละส่วนขยาย

Scope

หัวข้อนี้ครอบคลุมทฤษฎีบทหลักของทฤษฎีฟิลด์ชั้นในรูปแบบคลาสสิกและรูปแบบไอเดล (idelic formulations): กฎการแลกเปลี่ยนของอาร์ติน (Artin reciprocity law) และแผนที่อาร์ติน (Artin map) จากกลุ่มชั้นไอเดียลทั่วไป (generalized ideal class groups) ไปยังกลุ่มกาลัว (Galois groups), ทฤษฎีบทการมีอยู่ (existence theorem) ที่จับคู่กลุ่มคอนกรูเอนซ์ (congruence subgroups) กับส่วนขยายอาเบล, ตัวนำ (conductors), ฟิลด์ชั้นฮิลเบิร์ต (Hilbert class field) ในฐานะส่วนขยายอาเบลที่ไม่แตกแขนงสูงสุด (maximal unramified abelian extension), ทฤษฎีบทโครเนกเกอร์-เวเบอร์ (Kronecker-Weber theorem) ที่ทำให้ส่วนขยายอาเบลของจำนวนตรรกยะเป็นจริงภายในฟิลด์ไซโคลโทมิก (cyclotomic fields), และบทบาทของทฤษฎีฟิลด์ชั้นเฉพาะที่ (local class field theory)

Core questions

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

Key theories

การแลกเปลี่ยนของอาร์ติน (Artin reciprocity)

สำหรับส่วนขยายอาเบล แผนที่อาร์ตินที่ส่งจำนวนเฉพาะที่ไม่แตกแขนงแต่ละตัวไปยังโฟรเบนิอุส (Frobenius) ของมันจะขยายไปสู่ไอโซมอร์ฟิซึมจากกลุ่มชั้นไอเดียลทั่วไปไปยังกลุ่มกาลัว ซึ่งเป็นการขยายกฎการแลกเปลี่ยนกำลังสองอย่างกว้างขวาง

ทฤษฎีบทการมีอยู่และฟิลด์ชั้นฮิลเบิร์ต (Existence theorem and Hilbert class field)

กลุ่มย่อยเปิดทุกกลุ่มที่มีดัชนีจำกัดในกลุ่มชั้นไอเดลเป็นกลุ่มนอร์ม (norm group) ของส่วนขยายอาเบลที่ไม่ซ้ำกัน; ฟิลด์ชั้นฮิลเบิร์ตเป็นส่วนขยายที่ไม่แตกแขนงสูงสุด โดยมีกลุ่มกาลัวเป็นกลุ่มชั้นไอเดียลแบบบัญญัติ

ทฤษฎีบทโครเนกเกอร์-เวเบอร์ (Kronecker-Weber theorem)

ส่วนขยายอาเบลจำกัดทุกส่วนของจำนวนตรรกยะบรรจุอยู่ในฟิลด์ไซโคลโทมิกที่สร้างขึ้นโดยรากของเอกภาพ (roots of unity) ซึ่งเป็นตัวอย่างแรกและเป็นต้นแบบของทฤษฎีฟิลด์ชั้นที่ชัดเจน

Clinical relevance

ทฤษฎีฟิลด์ชั้นเป็นกรอบของโปรแกรมแลงแลนด์ส (Langlands program) และผลลัพธ์ของมอดูลาริตี (modularity results) ที่อยู่เบื้องหลังการพิสูจน์ทฤษฎีบทสุดท้ายของแฟร์มาต์ (Fermat's Last Theorem); รูปแบบที่ชัดเจน รวมถึงการคูณเชิงซ้อน (complex multiplication) ยังขับเคลื่อนการสร้างที่ใช้ในการเข้ารหัสแบบเส้นโค้งเชิงวงรี (elliptic-curve) และแบบไอโซจีนี (isogeny-based cryptography)

History

ฮิลเบิร์ตตั้งข้อสันนิษฐานเกี่ยวกับการมีอยู่ของฟิลด์ชั้นและตั้งปัญหาชี้นำประมาณปี 1900 ทาคากิพิสูจน์ทฤษฎีบทการมีอยู่ในปี 1920 อาร์ตินสร้างกฎการแลกเปลี่ยนในปี 1927 และการแนะนำไอเดลโดยเชอวัลเลย์ (Chevalley) ในทศวรรษ 1930 ทำให้ทฤษฎีมีรูปแบบอะเดลิก (adelic form) ที่ทันสมัย ซึ่งเป็นการปูทางสำหรับโปรแกรมแลงแลนด์ส

Key figures

• David Hilbert
• Teiji Takagi
• Emil Artin
• Helmut Hasse

Seminal works

• cox2013

Frequently asked questions

ทฤษฎีฟิลด์ชั้นเกี่ยวข้องกับการแลกเปลี่ยนกำลังสองอย่างไร?

การแลกเปลี่ยนกำลังสองเป็นกรณีที่ง่ายที่สุด: อธิบายส่วนขยายอาเบลที่ได้จากการเพิ่มรากที่สอง และการแลกเปลี่ยนของอาร์ตินขยายไปสู่ส่วนขยายอาเบลทั้งหมดของฟิลด์จำนวนใดๆ

ฟิลด์ชั้นฮิลเบิร์ตคืออะไร?

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