ตัวหารและรีมันน์-รอค

ตัวหาร (Divisors) บันทึกค่าศูนย์และขั้วของฟังก์ชันบนวาไรตี (variety) ในขณะที่ไลน์บันเดิล (line bundles) รวบรวมข้อมูลเหล่านี้ในเชิงเรขาคณิต และทฤษฎีบทรีมันน์-รอค (Riemann-Roch theorem) จะนับจำนวนฟังก์ชันที่มีพฤติกรรมขั้วที่กำหนดไว้ โดยอ้างอิงจากค่าคงที่เชิงเรขาคณิต

Definition

ตัวหารบนวาไรตีคือการรวมกันอย่างเป็นทางการของซับวาไรตีที่มีโคไดเมนชันหนึ่ง ซึ่งเข้ารหัสค่าศูนย์และขั้ว; ไลน์บันเดิลคือคู่ทางเรขาคณิตของตัวหาร และทฤษฎีบทรีมันน์-รอคจะเชื่อมโยงมิติของปริภูมิของภาคตัด (sections) ของตัวหารเข้ากับดีกรี (degree), จีนัส (genus) และตัวหารแบบแคนอนิคัล (canonical divisor) ของตัวหารนั้น

Scope

หัวข้อนี้จะพัฒนาแนวคิดเกี่ยวกับตัวหารแบบ Weil และ Cartier, ความสมมูลเชิงเส้น (linear equivalence), กรุปชั้นตัวหาร (divisor class group) และกรุป Picard รวมถึงความสัมพันธ์ระหว่างตัวหารกับไลน์บันเดิล (หรือชีฟผกผันได้ (invertible sheaves)) นอกจากนี้ยังกล่าวถึงระบบเชิงเส้น (linear systems) และการส่งไปยังปริภูมิเชิงภาพฉาย (projective space) ที่ระบบเหล่านี้กำหนดขึ้น, ตัวหารแบบแคนอนิคัล (canonical divisor) และจีนัสของเส้นโค้ง (genus of a curve) ซึ่งจะนำไปสู่ทฤษฎีบทรีมันน์-รอคสำหรับเส้นโค้งและบทบาทของ Serre duality โดยมีการกล่าวถึงการขยายแนวคิดไปยังมิติที่สูงขึ้นและการสรุปแบบ Grothendieck-Hirzebruch ในฐานะที่เป็นส่วนขยายตามธรรมชาติ

Core questions

• ตัวหารแบบ Weil และ Cartier เข้ารหัสพฤติกรรมค่าศูนย์และขั้วของฟังก์ชันตรรกยะได้อย่างไร?
• เหตุใดตัวหารที่สมมูลเชิงเส้นจึงเป็นข้อมูลเดียวกันกับไลน์บันเดิล?
• ระบบเชิงเส้นกำหนดการส่งจากวาไรตีไปยังปริภูมิเชิงภาพฉายได้อย่างไร?
• ทฤษฎีบทรีมันน์-รอคคำนวณอะไร และ Serre duality เข้ามาเกี่ยวข้องได้อย่างไร?

Key concepts

• ตัวหารแบบ Weil และ Cartier; ความสมมูลเชิงเส้น
• กรุปชั้นตัวหารและกรุป Picard
• ไลน์บันเดิล (ชีฟผกผันได้) และระบบเชิงเส้น
• ตัวหารแบบแคนอนิคัลและจีนัสของเส้นโค้ง
• ทฤษฎีบทรีมันน์-รอคและ Serre duality

Clinical relevance

ตัวหารและทฤษฎีบทรีมันน์-รอคเป็นหัวใจสำคัญของการคำนวณในทฤษฎีเส้นโค้ง และเป็นพื้นฐานในการสร้างรหัส Goppa ที่แก้ไขข้อผิดพลาดได้, พีชคณิตของเส้นโค้งเชิงวงรี (elliptic curves) และการจำแนกพื้นผิวเชิงพีชคณิต (algebraic surfaces) รวมถึงวาไรตีในมิติที่สูงขึ้น

History

อสมการของรีมันน์เกี่ยวกับมิติของปริภูมิฟังก์ชัน (ค.ศ. 1857) ได้รับการเติมเต็มโดยรอค นักเรียนของเขา จนกลายเป็นทฤษฎีบทรีมันน์-รอค การสรุปของฮิร์เซบรูคในช่วงกลางศตวรรษที่ 20 และฉบับสัมพัทธ์ของโกรเธนดีคได้ฝังทฤษฎีบทนี้ไว้ในเรขาคณิตเชิงพีชคณิตแบบโคฮอโมโลยีสมัยใหม่

Key figures

• Bernhard Riemann
• Gustav Roch
• Friedrich Hirzebruch

Seminal works

• hartshorne1977
• eisenbud1995

Frequently asked questions

ความสัมพันธ์ระหว่างตัวหารกับไลน์บันเดิลคืออะไร?

บนวาไรตีเรียบ (smooth variety) ตัวหารที่สมมูลเชิงเส้นจะสอดคล้องกับชั้นไอโซมอร์ฟิซึมของไลน์บันเดิลอย่างแม่นยำ; ชั้นของตัวหารในกรุป Picard คือไลน์บันเดิลที่ภาคตัดของมันหายไปตามแนวตัวหารนั้น

ทฤษฎีบทรีมันน์-รอคบอกอะไรเราบ้าง?

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