กรุปมูลฐานและปริภูมิคลุม

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

Definition

กรุปมูลฐานของปริภูมิที่มีจุดฐาน (pointed space) คือกรุปที่มีสมาชิกเป็นชั้นโฮโมโทปีของวงวนที่มีจุดฐาน โดยมีการต่อกันเป็นตัวดำเนินการ; ปริภูมิคลุม (covering space) คือการส่งที่ในแต่ละบริเวณเป็นกองซ้อนแบบไม่สำคัญของสำเนาของฐาน และทฤษฎีของมันเชื่อมโยงการส่งดังกล่าวกับกรุปย่อยของกรุปมูลฐาน

Scope

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

Core questions

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

Key concepts

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

Clinical relevance

กรุปมูลฐานเป็นตัวแปรเชิงพีชคณิตตัวแรกที่เข้าถึงได้ง่ายที่สุด ซึ่งแยกแยะวงกลมออกจากจาน และเป็นรากฐานของโมโนโดรมี (monodromy) ทฤษฎีพื้นผิวรีมันน์ (Riemann surfaces) และการจำแนกมัดแบน (flat bundles); ทฤษฎีปริภูมิคลุมเป็นแบบจำลองเชิงทอพอโลยีสำหรับทฤษฎีกาโลอิสและการหารด้วยการกระทำของกรุป

History

ปวงกาเร (Poincaré) ได้นำเสนอกรุปมูลฐานใน Analysis Situs (ค.ศ. 1895); ทฤษฎีบทของไซเฟิร์ต-แวน คัมเพน (Seifert-van Kampen) ในทศวรรษ 1930 ทำให้สามารถคำนวณได้โดยการเชื่อมต่อ และความสอดคล้องที่เป็นระบบระหว่างการคลุมและกรุปย่อย ซึ่งถูกกำหนดอย่างเป็นทางการผ่านการแปลงเด็ค (deck transformations) ได้สร้างความคล้ายคลึงกับทฤษฎีกาโลอิสซึ่งปัจจุบันเป็นมาตรฐานในหลักสูตร

Key figures

• Henri Poincaré
• Egbert van Kampen
• Allen Hatcher

Seminal works

• hatcher2002
• bredon1993

Frequently asked questions

เหตุใดกรุปมูลฐานของวงกลมจึงเป็นจำนวนเต็ม?

วงวนบนวงกลมถูกจำแนกตามโฮโมโทปีโดยจำนวนครั้งที่มันพันรอบ โดยมีเครื่องหมายสำหรับทิศทาง; จำนวนการพันรอบนี้สามารถบวกเพิ่มได้ภายใต้การต่อกัน ทำให้เกิดไอโซมอร์ฟิซึมกับจำนวนเต็ม

การคลุมสากลคืออะไร?

คือปริภูมิคลุมที่เชื่อมโยงอย่างง่าย (simply connected) ของปริภูมิ (ที่เหมาะสม); มันสอดคล้องกับกรุปย่อยที่ไม่สำคัญในพจนานุกรมปริภูมิคลุม และมีกรุปมูลฐานเป็นกรุปของการแปลงเด็ค