Supermanifold ทำความรู้จักกับซูเปอร์แมนิโฟลด์ในทางคณิตศาสตร์และฟิสิกส์

ในทางคณิตศาสตร์และฟิสิกส์เชิงคณิตศาสตร์ ซูเปอร์แมนิโฟลด์ (Supermanifold) คือการขยายแนวคิดของแมนิโฟลด์ (Manifold) แบบดั้งเดิม โดยสิ่งที่ทำให้ซูเปอร์แมนิโฟลด์แตกต่างคือ พีชคณิตของฟังก์ชันที่ใช้จะประกอบด้วยตัวแปรสองประเภท คือ ตัวแปรที่สลับที่กันได้ (Commuting variables) และ ตัวแปรที่สลับที่กันไม่ได้ (Anticommuting variables)

ตามนิยามทางคณิตศาสตร์มาตรฐาน ซูเปอร์แมนิโฟลด์แบบราบเรียบคือพื้นที่ที่มีโครงสร้างแบบ Locally Ringed Space ซึ่งโครงสร้างของ Sheaf (ชีฟ) จะมีความคล้ายคลึงกับผลคูณเทนเซอร์ระหว่างริงของฟังก์ชันราบเรียบปกติ และพีชคณิตกราสมานน์ (Grassmann algebra) ของตัวแปรที่สลับที่กันไม่ได้

บทบาทของซูเปอร์แมนิโฟลด์ในวิทยาศาสตร์

ซูเปอร์แมนิโฟลด์เป็นพื้นฐานสำคัญของ เรขาคณิตซูเปอร์ (Supergeometry) ซึ่งถูกนำมาใช้เพื่ออธิบายปรากฏการณ์ในทางฟิสิกส์ โดยเฉพาะในเรื่องของ ซูเปอร์ซิมเมทรี (Supersymmetry) ซึ่งเป็นทฤษฎีที่พยายามเชื่อมโยงระหว่างโบซอน (Bosons) และเฟอร์มิออน (Fermions) นอกจากนี้ยังถูกนำไปใช้ในทฤษฎีสนามควอนตัม (Quantum Field Theory) และทฤษฎีสตริง (String Theory) รวมถึงในทางคณิตศาสตร์บริสุทธิ์ เช่น ทฤษฎีของ Lie superalgebras และ supergroups

นิยามและการสร้างซูเปอร์แมนิโฟลด์

1. มุมมองทางเรขาคณิตพีชคณิต (Locally Ringed Space)

ในมุมมองนี้ ซูเปอร์แมนิโฟลด์ที่มีมิติ $p|q$ คือ Locally Ringed Space $(|M|, \mathcal{O}_M)$ ที่มีความคล้ายคลึงกับโครงสร้างทางคณิตศาสตร์ดังนี้:

หากพิจารณาในรายละเอียด ทุกจุดของ $|M|$ จะมีละแวกเปิด (Open neighbourhood) $U$ ที่ทำให้ $(U, \mathcal{O}_M|_U)$ มีความคล้ายคลึงกับ $(V, C_V^\infty \otimes \Lambda(\xi_1, \dots, \xi_q))$ โดยที่ $V$ เป็นเซตเปิดใน $\mathbb{R}^p$

องค์ประกอบที่เป็น 'คี่' (Odd elements) ของโครงสร้าง Sheaf จะมีคุณสมบัติเป็น Nilpotent และสลับที่กันไม่ได้ ดังนั้นจึงไม่สร้างจุดเพิ่มเติมในพื้นที่ทางทอพอโลยีพื้นฐาน แมนิโฟลด์ปกติ $|M|$ (ซึ่งบางครั้งเรียกว่า Body หรือ Reduced Manifold) จะได้มาจากการหาร $\mathcal{O}_M$ ด้วย Ideal ที่สร้างจากองค์ประกอบคี่เหล่านี้

การส่งแบบ Morphism ของซูเปอร์แมนิโฟลด์คือการส่งของ Locally Ringed Space ที่เคารพการจัดลำดับแบบ $\mathbb{Z}_2$-grading

2. มุมมองแบบรูปธรรม (Concrete Approach)

อีกหนึ่งแนวทางคือการอธิบายซูเปอร์แมนิโฟลด์ในลักษณะที่คล้ายกับแมนิโฟลด์ราบเรียบ โดยเปลี่ยนพื้นที่ต้นแบบ (Model space) จาก $\mathbb{R}^p$ เป็น Super-space ที่สร้างจากส่วนคู่และส่วนคี่ของพีชคณิตกราสมานน์