ทอพอโลยีเชิงพีชคณิต
ทอพอโลยีเชิงพีชคณิตเชื่อมโยงตัวแปรเชิงพีชคณิต — กลุ่ม, ริง, และมอดูล — เข้ากับปริภูมิเชิงทอพอโลยี เพื่อให้ปริภูมิที่ไม่สามารถเปลี่ยนรูปต่อเนื่องกันได้ถูกจำแนกด้วยพีชคณิตที่คำนวณได้
Definition
ทอพอโลยีเชิงพีชคณิตคือการศึกษาปริภูมิเชิงทอพอโลยีโดยอาศัยตัวแปรเชิงพีชคณิต — ที่สำคัญที่สุดคือกรุปโฮโมโทปี, โฮโมโลยี, และโคโฮโมโลยี — ซึ่งคงอยู่ได้ด้วยการเปลี่ยนรูปต่อเนื่อง และเปลี่ยนปัญหาเชิงทอพอโลยีให้เป็นการคำนวณในพีชคณิต
Scope
สาขาวิชานี้ครอบคลุมตัวแปรฟังก์ชันนัลที่จำแนกปริภูมิได้ถึงโฮโมโทปี: กรุปมูลฐานและกรุปโฮโมโทปีอันดับสูง, ทฤษฎีปริภูมิคลุม, โฮโมโลยีเอกฐานและซิมพลิเชียล, โคโฮโมโลยีพร้อมโครงสร้างริงผลคูณแบบคัพ, และกลไกของลำดับแม่นตรงและ CW คอมเพล็กซ์ที่ใช้ในการคำนวณ ตัวแปรเหล่านี้ เน้นการแปลงคำถามเชิงทอพอโลยีให้เป็นพีชคณิต และไม่รวมรากฐานเชิงเซตจุด (ทอพอโลยีทั่วไป) และการปรับปรุงแบบเรียบหรือเมตริกที่กล่าวถึงในเรขาคณิตเชิงอนุพันธ์และเรขาคณิตแบบรีมันน์
Sub-topics
Core questions
- ตัวแปรเชิงพีชคณิตสามารถจำแนกปริภูมิที่ไม่เป็นโฮมีโอเมอร์ฟิกหรือไม่เป็นโฮโมโทปีสมมูลกันได้อย่างไร?
- ตัวแปรใดบ้างที่สามารถคำนวณได้ และลำดับแม่นตรงและโครงสร้าง CW ทำให้สามารถคำนวณได้อย่างไร?
- โฮโมโลยีและโคโฮโมโลยีแตกต่างกันอย่างไร และโคโฮโมโลยีมีโครงสร้างเพิ่มเติม (ผลคูณ, ทวิภาวะ) อะไรบ้าง?
- ความสัมพันธ์ระหว่างกรุปมูลฐานที่นิยามได้ง่ายกับกรุปโฮโมโทปีอันดับสูงที่ซับซ้อนกว่ามากคืออะไร?
Key concepts
- โฮโมโทปีและโฮโมโทปีสมมูลของฟังก์ชันและปริภูมิ
- กรุปมูลฐานและปริภูมิคลุม
- โฮโมโลยีเอกฐานและซิมพลิเชียล
- โคโฮโมโลยี, ผลคูณแบบคัพ, และทวิภาวะของปวงกาเร
- CW คอมเพล็กซ์และฟังก์ชันนัลของตัวแปร
Clinical relevance
ทอพอโลยีเชิงพีชคณิตเป็นเครื่องมือในการขัดขวางและการจำแนกประเภทที่ใช้ในเรขาคณิตและการวิเคราะห์ — ทฤษฎีจุดตรึง, การจำแนกพื้นผิวและเวกเตอร์บันเดิล, ทฤษฎีดัชนี, และชั้นลักษณะเฉพาะ — และภาษาเชิงประเภทและโฮโมโลยีของมันแพร่หลายในพีชคณิตสมัยใหม่และฟิสิกส์เชิงคณิตศาสตร์
History
สาขาวิชานี้มีต้นกำเนิดจากงาน Analysis Situs (1895) ของปวงกาเร ซึ่งได้นำเสนอโฮโมโลยีและกรุปมูลฐาน การปรับปรุงโฮโมโลยีในเชิงทฤษฎีกรุปโดยเอ็มมี เนอเทอร์ในทศวรรษ 1920 และการพัฒนาทฤษฎีประเภทและพีชคณิตโฮโมโลยีในช่วงกลางศตวรรษ ได้เปลี่ยนให้เป็นสาขาวิชาเชิงฟังก์ชันนัลที่สอนกันในปัจจุบัน
Key figures
- Henri Poincaré
- Emmy Noether
- Allen Hatcher
Related topics
Seminal works
- hatcher2002
- bredon1993
Frequently asked questions
- การเชื่อมโยงตัวแปรเชิงพีชคณิตเข้ากับปริภูมิหมายความว่าอย่างไร?
- ตัวแปรคือฟังก์ชันที่กำหนดกรุปหรือริงให้กับแต่ละปริภูมิ และกำหนดโฮโมมอร์ฟิซึมให้กับแต่ละฟังก์ชันต่อเนื่อง ในลักษณะที่ฟังก์ชันโฮโมโทปีเหนี่ยวนำให้เกิดโฮโมมอร์ฟิซึมเดียวกัน — ดังนั้นปริภูมิที่สมมูลกันแบบโฮโมโทปีจึงได้ตัวแปรที่ไอโซมอร์ฟิกกัน
- เหตุใดกรุปโฮโมโทปีอันดับสูงจึงยากกว่าโฮโมโลยีมาก?
- กรุปโฮโมโทปีมีความไวสูงและต้านทานการคำนวณ — แม้แต่กรุปโฮโมโทปีของทรงกลมก็ยังไม่เป็นที่ทราบกันโดยส่วนใหญ่ — ในขณะที่โฮโมโลยีเป็นไปตามเงื่อนไขการตัดออกและลำดับแม่นตรงแบบยาวที่ทำให้สามารถคำนวณได้อย่างเป็นระบบ