ชีฟและโคฮอโมโลยี

ชีฟบันทึกข้อมูลที่นิยามแบบเฉพาะที่และเชื่อมโยงกันอย่างสอดคล้อง และโคฮอโมโลยีของชีฟวัดสิ่งกีดขวางในการเปลี่ยนจากผลเฉลยเฉพาะที่ไปสู่ผลเฉลยแบบทั่วโลก

Definition

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

Scope

หัวข้อนี้แนะนำพรีชีฟและชีฟบนปริภูมิเชิงทอพอโลยีหรือสกีม, สตอล์ก, การทำให้เป็นชีฟ, และมอร์ฟิซึมของชีฟ โดยมีตัวอย่างหลักคือชีฟโครงสร้าง, ชีฟอุดมคติ, และชีฟแบบโคฮีเรนต์และกึ่งโคฮีเรนต์ หัวข้อนี้พัฒนาโคฮอโมโลยีของชีฟผ่านตัวดำเนินการอนุพันธ์ของตัวดำเนินการส่วนทั่วโลกและเครื่องมือคำนวณของโคฮอโมโลยีของเชค (Čech cohomology), โคฮอโมโลยีของชีฟแบบโคฮีเรนต์บนปริภูมิเชิงโพรเจกทีฟ, และผลลัพธ์พื้นฐาน เช่น ทฤษฎีบทการจำกัดและการหายไปของแซร์ (Serre's finiteness and vanishing theorems) และทวิภาคของแซร์ (Serre duality)

Core questions

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

Key concepts

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

Clinical relevance

โคฮอโมโลยีของชีฟเป็นกลไกการคำนวณหลักของเรขาคณิตเชิงพีชคณิต ซึ่งควบคุมภาคตัดขวางของมัดเส้นตรง (line bundles), การแปลงรูป (deformations), และทฤษฎีสิ่งกีดขวาง (obstruction theory) กลไกเดียวกันนี้เป็นพื้นฐานของโคฮอโมโลยีแบบเอทาล (étale cohomology) ที่ใช้ในการพิสูจน์ข้อคาดการณ์ของไวล์ (Weil conjectures) และแพร่หลายในทอพอโลยีและเรขาคณิตเชิงซ้อน

History

เลอเรย์ (Leray) ได้แนะนำชีฟและโคฮอโมโลยีของชีฟในช่วงทศวรรษ 1940; FAC ของแซร์ (Serre's FAC) (ค.ศ. 1955) ได้นำโคฮอโมโลยีของชีฟแบบโคฮีเรนต์เข้าสู่เรขาคณิตเชิงพีชคณิต และโกรเทนดีก (Grothendieck) ได้ปรับเปลี่ยนโคฮอโมโลยีให้เป็นตัวดำเนินการอนุพันธ์ในบทความ Tôhoku ของเขา (ค.ศ. 1957) ซึ่งเป็นกรอบแนวคิดที่ใช้ในการศึกษาปัจจุบัน

Key figures

• Jean Leray
• Jean-Pierre Serre
• Alexander Grothendieck

Seminal works

• hartshorne1977
• maclane1971

Frequently asked questions

พรีชีฟกับชีฟแตกต่างกันอย่างไร?

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

เหตุใดโคฮอโมโลยีของชีฟจึงมีความสำคัญทางเรขาคณิต?

มิติของโคฮอโมโลยีจะนับภาคตัดขวางทั่วโลก, สิ่งกีดขวาง, และค่าคงที่ต่างๆ เช่น เจนัส (genus) การหายไปของโคฮอโมโลยีที่สูงขึ้นคือสิ่งที่ทำให้ข้อมูลทางเรขาคณิตเฉพาะที่ เช่น ภาคตัดขวางของมัดเส้นตรง สามารถนำมารวมกันได้ทั่วโลก