ทฤษฎีปม
ทฤษฎีปมศึกษาว่าวงกลมสามารถฝังตัวในปริภูมิสามมิติได้อย่างไร โดยค้นหาสิ่งไม่แปรเปลี่ยนที่ใช้ตัดสินว่าปมสองปมเหมือนกันหรือไม่ และจับภาพลักษณะทางทอพอโลยีที่ละเอียดอ่อนของมิติที่ต่ำ
Definition
ทฤษฎีปมเป็นสาขาหนึ่งของทอพอโลยีมิติต่ำที่ศึกษาการฝังตัวของวงกลมหนึ่งวงหรือมากกว่าในปริภูมิสามมิติภายใต้ไอโซโทปีโดยรอบ โดยจำแนกปมเหล่านั้นด้วยสิ่งไม่แปรเปลี่ยนที่สามารถคำนวณได้
Scope
สาขาวิชานี้ครอบคลุมปมและวงเชื่อมในฐานะการฝังตัวของวงกลมในปริภูมิ แผนภาพของปมและการดำเนินการของไรเดอไมสเตอร์ที่สร้างความสมมูล และลำดับชั้นของสิ่งไม่แปรเปลี่ยนที่ใช้แยกแยะปมออกจากกัน ตั้งแต่สิ่งไม่แปรเปลี่ยนแบบดั้งเดิม เช่น กรุปปม, ซีเฟิร์ตจีนัส และพหุนามอเล็กซานเดอร์ ไปจนถึงสิ่งไม่แปรเปลี่ยนเชิงควอนตัม เช่น พหุนามโจนส์และ HOMFLY และการจัดหมวดหมู่ของสิ่งเหล่านี้ รวมถึงกรุปถักเปียซึ่งนำเสนอวงเชื่อมผ่านการปิด และความเชื่อมโยงกับทอพอโลยีสามและสี่มิติ ในขณะที่กลไกทอพอโลยีเชิงพีชคณิตทั่วไปจะถูกกล่าวถึงในสาขาของตนเอง
Sub-topics
Core questions
- แผนภาพปมสองแผนภาพจะสมมูลกันเมื่อใด และการดำเนินการของไรเดอไมสเตอร์ตอบคำถามนี้ได้อย่างไร?
- สิ่งไม่แปรเปลี่ยนใดที่สามารถแยกแยะปมได้ และสิ่งเหล่านั้นสมบูรณ์หรือยังไม่สมบูรณ์เพียงใด?
- โครงสร้างเชิงพีชคณิต เช่น กรุปถักเปียและพีชคณิต Temperley-Lieb สร้างสิ่งไม่แปรเปลี่ยนของปมได้อย่างไร?
- ทฤษฎีปมในสามมิติเชื่อมโยงกับทอพอโลยีของสี่มิติได้อย่างไร?
Key concepts
- ปม, วงเชื่อม และไอโซโทปีโดยรอบ
- แผนภาพปมและการดำเนินการของไรเดอไมสเตอร์
- สิ่งไม่แปรเปลี่ยนแบบดั้งเดิม: กรุปปม, จีนัส, พหุนามอเล็กซานเดอร์
- สิ่งไม่แปรเปลี่ยนเชิงควอนตัม: พหุนามโจนส์และ HOMFLY
- กรุปถักเปียและการปิดถักเปีย
Clinical relevance
ทฤษฎีปมให้ความกระจ่างเกี่ยวกับทอพอโลยีของ DNA และการทำงานของเอนไซม์โทโพไอโซเมอเรส กลศาสตร์เชิงสถิติที่อยู่เบื้องหลังพหุนามโจนส์ และคำถามในการคำนวณเชิงควอนตัมและทฤษฎีสนามเชิงทอพอโลยี ซึ่งสิ่งไม่แปรเปลี่ยนของปมปรากฏเป็นปริมาณทางกายภาพ
History
มีต้นกำเนิดจากการจัดตารางปมของ Tait ในศตวรรษที่ 19 หัวข้อนี้ได้รับความแม่นยำด้วยการดำเนินการของ Reidemeister และพหุนาม Alexander ในช่วงทศวรรษที่ 1920 และ 1930 และได้รับการเปลี่ยนแปลงในปี 1984 โดยการค้นพบสิ่งไม่แปรเปลี่ยนพหุนามใหม่ของ Jones จากพีชคณิตตัวดำเนินการ ซึ่งเปิดศักราชของสิ่งไม่แปรเปลี่ยนเชิงควอนตัม
Key figures
- Kurt Reidemeister
- John Conway
- Vaughan Jones
Related topics
Seminal works
- lickorish1997
- rolfsen1976
Frequently asked questions
- ปมสองปมจะถือว่าเหมือนกันเมื่อใด?
- เมื่อปมหนึ่งสามารถเปลี่ยนรูปอย่างต่อเนื่องไปเป็นอีกปมหนึ่งได้ภายในปริภูมิโดยไม่มีการตัด — กล่าวอย่างเป็นทางการคือ เมื่อปมทั้งสองมีความสัมพันธ์กันด้วยไอโซโทปีโดยรอบ หรือเมื่อแผนภาพของปมทั้งสองแตกต่างกันด้วยลำดับจำกัดของการดำเนินการของไรเดอไมสเตอร์
- มีสิ่งไม่แปรเปลี่ยนเดียวที่จำแนกปมทั้งหมดหรือไม่?
- ยังไม่เป็นที่ทราบแน่ชัดว่ามีสิ่งไม่แปรเปลี่ยนที่สมบูรณ์และคำนวณได้ง่ายหรือไม่ สิ่งไม่แปรเปลี่ยนที่แตกต่างกันจะตรวจจับคุณสมบัติที่แตกต่างกัน และแม้แต่สิ่งไม่แปรเปลี่ยนที่แข็งแกร่งอย่างพหุนามโจนส์ก็ยังไม่สามารถแยกแยะปมที่แตกต่างกันทั้งหมดได้ ซึ่งทำให้ปัญหาการจำแนกยังคงเปิดกว้างอยู่