เหตุใดกรุปฮอมอโทปีอันดับสูงจึงเป็นอาบีเลียน แต่กรุปมูลฐานไม่จำเป็นต้องเป็น?

สำหรับมิติที่สองขึ้นไป มีพื้นที่เพียงพอที่จะสลับตำแหน่งของทรงกลมสองอันผ่านการให้เหตุผลแบบเอคแมนน์-ฮิลตัน (Eckmann-Hilton argument) ซึ่งบังคับให้เกิดการสลับที่กันได้; ในมิติที่หนึ่ง ลูปไม่สามารถเลื่อนผ่านกันในลักษณะนี้ได้

กรุปฮอมอโทปีของทรงกลมเป็นที่ทราบหรือไม่?

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

ทฤษฎีฮอมอโทปี

ทฤษฎีฮอมอโทปีศึกษาปริภูมิภายใต้การแปลงรูปอย่างต่อเนื่อง โดยขยายแนวคิดของกรุปมูลฐานไปสู่กรุปฮอมอโทปีอันดับสูง และจัดระเบียบการส่งผ่านไฟเบรชัน (fibrations), โคไฟเบรชัน (cofibrations) และการประมาณค่าแบบ CW (CW approximation)

ค้นหาหัวข้อด้วย PaperMindเร็ว ๆ นี้Find papers & topics

Tools & resources

ดาวน์โหลดสไลด์

Learn & explore

วิดีโอเร็ว ๆ นี้

Definition

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

Scope

หัวข้อนี้ให้นิยามของกรุปฮอมอโทปีอันดับสูง ซึ่งเป็นอาบีเลียนสำหรับมิติที่สองขึ้นไป และพัฒนาเครื่องมือที่ใช้ในการคำนวณและเชื่อมโยงกรุปเหล่านี้ ได้แก่ ไฟเบรชันและลำดับแม่นตรงยาวของไฟเบรชัน, ทฤษฎีบทฮูเรวิชที่เชื่อมโยงฮอมอโทปีและฮอมอโลยี, ทฤษฎีบทไวท์เฮดว่าด้วยสมมูลอ่อนของ CW คอมเพล็กซ์, และทฤษฎีสิ่งกีดขวาง (obstruction theory) นอกจากนี้ยังสำรวจปัญหา (ที่ยังไม่คลี่คลายส่วนใหญ่) ของกรุปฮอมอโทปีของทรงกลม, ปริภูมิไอเลนเบิร์ก-แมคเลนที่แทนโคฮอมอโลยี, และมุมมองแบบจำลองเชิงหมวดหมู่ (model-categorical viewpoint) ที่วางกรอบทฤษฎีฮอมอโทปีในเชิงนามธรรม

Core questions

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

Key concepts

กรุปฮอมอโทปีอันดับสูงและโครงสร้างอาบีเลียนของกรุป
ไฟเบรชัน, โคไฟเบรชัน และลำดับแม่นตรงยาวของไฟเบรชัน
ทฤษฎีบทฮูเรวิชและทฤษฎีบทไวท์เฮด
ปริภูมิไอเลนเบิร์ก-แมคเลนและการแทนโคฮอมอโลยี
การประมาณค่าแบบ CW และทฤษฎีสิ่งกีดขวาง

Clinical relevance

ทฤษฎีฮอมอโทปีเป็นแกนหลักเชิงนามธรรมของทอพอโลยีสมัยใหม่ และเป็นภาษาของปรากฏการณ์ที่เสถียร (stable phenomena) ซึ่งใช้ในการจำแนกปริภูมิสำหรับบันเดิล (bundles) และทฤษฎีเกจ (gauge theories) รวมถึงวิธีการเชิงฮอมอโทปีที่ปัจจุบันใช้ในพีชคณิต, เรขาคณิตเชิงพีชคณิต และฟิสิกส์เชิงคณิตศาสตร์

History

ฮูเรวิชได้นำเสนอกรุปฮอมอโทปีอันดับสูงในช่วงทศวรรษ 1930; ลำดับสเปกตรัมของแซร์ (Serre's spectral sequence) และผลงานของไวท์เฮดและนักคณิตศาสตร์คนอื่นๆ ทำให้การคำนวณเป็นไปได้ และหมวดหมู่แบบจำลองของควิลเลน (Quillen's model categories) (ค.ศ. 1967) ได้สรุปทฤษฎีฮอมอโทปีให้เป็นกรอบการทำงานที่ประยุกต์ใช้ได้ไกลเกินกว่าทอพอโลยี

Key figures

Witold Hurewicz
J. H. C. Whitehead
Daniel Quillen

Seminal works

hatcher2002
bredon1993

Frequently asked questions

เหตุใดกรุปฮอมอโทปีอันดับสูงจึงเป็นอาบีเลียน แต่กรุปมูลฐานไม่จำเป็นต้องเป็น?: สำหรับมิติที่สองขึ้นไป มีพื้นที่เพียงพอที่จะสลับตำแหน่งของทรงกลมสองอันผ่านการให้เหตุผลแบบเอคแมนน์-ฮิลตัน (Eckmann-Hilton argument) ซึ่งบังคับให้เกิดการสลับที่กันได้; ในมิติที่หนึ่ง ลูปไม่สามารถเลื่อนผ่านกันในลักษณะนี้ได้
กรุปฮอมอโทปีของทรงกลมเป็นที่ทราบหรือไม่?: ทราบเพียงบางส่วนเท่านั้น แม้จะมีความพยายามอย่างมาก แต่ก็มีการคำนวณได้เพียงบางช่วงมิติเท่านั้น และการหาค่าทั่วไปยังคงเป็นหนึ่งในปัญหาที่ลึกซึ้งที่สุดที่ยังไม่คลี่คลายในทอพอโลยี