เรขาคณิตเชิงพีชคณิต

เรขาคณิตเชิงพีชคณิตเป็นการศึกษาเรขาคณิตของเซตคำตอบของสมการพหุนาม โดยแปลคำถามทางเรขาคณิตเกี่ยวกับหลากหลาย (varieties) เหล่านี้ไปสู่พีชคณิตของริงของฟังก์ชันบนหลากหลายนั้น

Definition

เรขาคณิตเชิงพีชคณิตคือการศึกษาวัตถุทางเรขาคณิต (หลากหลายและสกีม) ที่นิยามเป็นตำแหน่งศูนย์ของระบบสมการพหุนาม ซึ่งถูกตรวจสอบผ่านพีชคณิตเชิงการสลับที่ของริงพิกัด (coordinate rings) และโคฮอโมโลยีของชีฟบนวัตถุเหล่านั้น

Scope

สาขาวิชานี้ครอบคลุมถึงหลากหลายเชิงอัฟฟิน (affine varieties) และเชิงโพรเจกทีฟ (projective varieties) และสัณฐานนิยม (morphisms) ของหลากหลายเหล่านั้น พจนานุกรมระหว่างเรขาคณิตและพีชคณิตเชิงการสลับที่ (commutative algebra) ผ่านทฤษฎีบทนัลสเตลเลนซัทซ์ (Nullstellensatz) การขยายแนวคิดของโกรเธนดีก (Grothendieck) ไปสู่สกีม (schemes) ภาษาของชีฟ (sheaves) และโคฮอโมโลยี (cohomology) ของชีฟ รวมถึงทฤษฎีของตัวหาร (divisors) มัดเส้นตรง (line bundles) และทฤษฎีบทรีมันน์-รอค (Riemann-Roch) โดยศึกษาทั้งเรขาคณิตคลาสสิกบนจำนวนเชิงซ้อนและรากฐานเชิงสกีมที่ใช้ได้กับริงใดๆ ในขณะที่ยกเว้นการพิจารณาเชิงเรขาคณิตเชิงอนุพันธ์และเชิงทอพอโลยีบริสุทธิ์ซึ่งอยู่ในสาขาใกล้เคียง

Sub-topics

• Affine and Projective Varieties
• Divisors and Riemann-Roch
• Schemes
• Sheaves and Cohomology

Core questions

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

Key concepts

• หลากหลายเชิงอัฟฟินและเชิงโพรเจกทีฟ; ทฤษฎีบทนัลสเตลเลนซัทซ์
• สัณฐานนิยมและพจนานุกรมเรขาคณิต-พีชคณิต
• สกีมและสเปกตรัมของริง
• ชีฟ, โคฮอโมโลยีของชีฟ, และชีฟเชิงโคฮีเรนต์
• ตัวหาร, มัดเส้นตรง, และทฤษฎีบทรีมันน์-รอค

Clinical relevance

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

History

มีรากฐานมาจากการศึกษาเส้นโค้งในศตวรรษที่ 19 และสำนักอิตาลีในช่วงต้นศตวรรษที่ 20 สาขาวิชานี้ได้รับรากฐานทางพีชคณิตที่เข้มงวดโดยซาริสกี (Zariski) และไวล์ (Weil) และต่อมาได้ถูกสร้างขึ้นใหม่โดยโกรเธนดีกในช่วงทศวรรษ 1960 ผ่านสกีม ชีฟ และโคฮอโมโลยี ซึ่งเป็นกรอบแนวคิดที่กำหนดวิชาสมัยใหม่

Key figures

• David Hilbert
• Alexander Grothendieck
• Robin Hartshorne

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

ความสัมพันธ์ระหว่างเรขาคณิตเชิงพีชคณิตและพีชคณิตเชิงการสลับที่คืออะไร?

ทั้งสองเป็นสองด้านของพจนานุกรมเดียวกัน: วัตถุทางเรขาคณิต (หลากหลายเชิงอัฟฟินและสกีมเชิงอัฟฟิน) สอดคล้องกับริงเชิงการสลับที่ และการดำเนินการทางเรขาคณิตสอดคล้องกับการดำเนินการทางพีชคณิต ดังนั้น พีชคณิตเชิงการสลับที่จึงเป็นกลไกหลักของเรขาคณิตเชิงพีชคณิต

เหตุใดโกรเธนดีกจึงนำเสนอแนวคิดเรื่องสกีม?

สกีมขยายแนวคิดของหลากหลายเพื่อให้สามารถมีสมาชิกนิลโพเทนต์ (nilpotent elements) ทำงานบนริงฐานใดๆ (ซึ่งสำคัญต่อทฤษฎีจำนวน) และให้กรอบการทำงานเชิงฟังก์ชัน (functorial framework) ที่เป็นหนึ่งเดียว ซึ่งช่วยแก้ปัญหาพื้นฐานและเปิดใช้งานวิธีการโคฮอโมโลยีที่มีประสิทธิภาพ