แมนิโฟลด์แบบจัดระดับ แนวคิดและโครงสร้างทางเรขาคณิตพีชคณิต

สรุปใจความสำคัญ

แมนิโฟลด์แบบจัดระดับเป็นส่วนขยายของแมนิโฟลด์ปกติโดยใช้พีชคณิตสลับที่แบบจัดระดับ
ประกอบด้วยส่วนร่างกาย (Body) ซึ่งเป็นแมนิโฟลด์ราบเรียบ และชีฟโครงสร้าง (Structure Sheaf) ที่เป็นพีชคณิตกราสมานน์
ทฤษฎีบท Serre–Swan ระบุว่าชีฟโครงสร้างของแมนิโฟลด์แบบจัดระดับสมสัณฐานกับชีฟของเซกชันของผลคูณภายนอกของมัดเวกเตอร์บางตัว

ในสาขาเรขาคณิตพีชคณิต แมนิโฟลด์แบบจัดระดับ (Graded Manifold) คือส่วนขยายของแนวคิดเรื่องแมนิโฟลด์ (Manifold) โดยนำแนวคิดจากซูเปอร์ซิมเมทรี (Supersymmetry) และพีชคณิตสลับที่แบบจัดระดับ (Supercommutative Algebra) มาประยุกต์ใช้

แม้ว่าทั้งแมนิโฟลด์แบบจัดระดับและซูเปอร์แมนิโฟลด์ (Supermanifold) จะถูกอธิบายในรูปแบบของชีฟ (Sheaves) ของพีชคณิตสลับที่แบบจัดระดับเหมือนกัน แต่มีความแตกต่างที่สำคัญคือ แมนิโฟลด์แบบจัดระดับจะถูกกำหนดโดยชีฟบนแมนิโฟลด์ที่ราบเรียบ (Smooth Manifolds) ในขณะที่ซูเปอร์แมนิโฟลด์ถูกสร้างขึ้นจากการเชื่อมต่อ (Gluing) ของชีฟของปริภูมิเวกเตอร์ซูเปอร์ (Supervector Spaces)

นิยามของแมนิโฟลด์แบบจัดระดับ

แมนิโฟลด์แบบจัดระดับที่มีมิติ $(n, m)$ ถูกนิยามว่าเป็นปริภูมิวงแหวนท้องถิ่น (Locally Ringed Space) $(Z, A)$ โดยที่:

$Z$ คือแมนิโฟลด์ที่ราบเรียบที่มีมิติ $n$ ซึ่งเรียกว่า ส่วนร่างกาย (Body) ของแมนิโฟลด์แบบจัดระดับ
$A$ คือชีฟของพีชคณิตกราสมานน์ (Grassmann Algebras) ที่มีแรงก์ $m$ บน $C_Z^{\infty}$ (ชีฟของฟังก์ชันจริงที่ราบเรียบบน $Z$) ซึ่งเรียกว่า ชีฟโครงสร้าง (Structure Sheaf)

สัญลักษณ์แทนแมนิโฟลด์แบบจัดระดับ (Z, A) — การแสดงแทนทางคณิตศาสตร์ของแมนิโฟลด์แบบจัดระดับในรูปของคู่อันดับ (Z, A)

เซกชัน (Sections) ของชีฟ $A$ จะถูกเรียกว่า ฟังก์ชันแบบจัดระดับ (Graded Functions) บนแมนิโฟลด์แบบจัดระดับ $(Z, A)$ ซึ่งฟังก์ชันเหล่านี้จะประกอบกันเป็นวงแหวน $C^{\infty}(Z)$-ring แบบสลับที่จัดระดับที่เรียกว่า วงแหวนโครงสร้าง (Structure Ring) $A(Z)$

ทฤษฎีบท Serre–Swan สำหรับแมนิโฟลด์แบบจัดระดับ

ทฤษฎีบท Serre–Swan และทฤษฎีบทของแบทชเลอร์ (Batchelor's Theorem) ช่วยให้เราสามารถระบุลักษณะของแมนิโฟลด์แบบจัดระดับได้ชัดเจนยิ่งขึ้น ดังนี้:

ความสัมพันธ์กับมัดเวกเตอร์

สำหรับแมนิโฟลด์แบบจัดระดับ $(Z, A)$ จะมีมัดเวกเตอร์ (Vector Bundle) $E \to Z$ ที่มีไฟเบอร์ทั่วไป (Typical Fiber) $V$ มิติ $m$ ซึ่งทำให้ชีฟโครงสร้าง $A$ ของ $(Z, A)$ สมสัณฐาน (Isomorphic) กับชีฟของเซกชันของผลคูณภายนอก $\Lambda(E)$ ของ $E$ โดยที่ไฟเบอร์ทั่วไปของ $\Lambda(E)$ คือพีชคณิตกราสมานน์ $\Lambda(V)$

มัดเวกเตอร์ E ไปยัง Z — โครงสร้างมัดเวกเตอร์ที่เชื่อมโยงกับแมนิโฟลด์แบบจัดระดับ

เงื่อนไขของพีชคณิตสลับที่จัดระดับ

หากให้ $Z$ เป็นแมนิโฟลด์ที่ราบเรียบ พีชคณิต $C^{\infty}(Z)$-algebra แบบสลับที่จัดระดับจะสมสัณฐานกับวงแหวนโครงสร้างของแมนิโฟลด์แบบจัดระดับที่มีส่วนร่างกายเป็น $Z$ ก็ต่อเมื่อ พีชคณิตนั้นเป็นพีชคณิตภายนอก (Exterior Algebra) ของบางโมดูลโปรเจกทีฟ (Projective Module) ของ $C^{\infty}(Z)$ ที่มีแรงก์จำกัด

แมนิโฟลด์ราบเรียบ Z — ส่วนร่างกาย Z ซึ่งเป็นพื้นฐานในการสร้างโครงสร้างแบบจัดระดับ

คำถามที่พบบ่อย

แมนิโฟลด์แบบจัดระดับแตกต่างจากซูเปอร์แมนิโฟลด์อย่างไร?

ความแตกต่างหลักอยู่ที่การสร้างโครงสร้างชีฟ โดยแมนิโฟลด์แบบจัดระดับใช้ชีฟบนแมนิโฟลด์ที่ราบเรียบ ในขณะที่ซูเปอร์แมนิโฟลด์สร้างขึ้นจากการเชื่อมต่อชีฟของปริภูมิเวกเตอร์ซูเปอร์

ส่วนร่างกาย (Body) ของแมนิโฟลด์แบบจัดระดับคืออะไร?

ส่วนร่างกายคือแมนิโฟลด์ที่ราบเรียบ (Smooth Manifold) ที่เป็นฐานในการสร้างโครงสร้างแบบจัดระดับ โดยหากแมนิโฟลด์แบบจัดระดับมีมิติ (n, m) ส่วนร่างกายจะมีมิติ n

ทฤษฎีบท Serre–Swan มีความสำคัญอย่างไรในบริบทนี้?

ทฤษฎีบทนี้ช่วยให้เราสามารถเชื่อมโยงโครงสร้างทางพีชคณิตของแมนิโฟลด์แบบจัดระดับเข้ากับโครงสร้างทางเรขาคณิตของมัดเวกเตอร์ (Vector Bundle) ทำให้การวิเคราะห์ทำได้ง่ายขึ้น

พีชคณิตกราสมานน์เกี่ยวข้องกับแมนิโฟลด์แบบจัดระดับอย่างไร?

ชีฟโครงสร้างของแมนิโฟลด์แบบจัดระดับถูกนิยามให้เป็นชีฟของพีชคณิตกราสมานน์ ซึ่งเป็นพื้นฐานในการกำหนดฟังก์ชันแบบจัดระดับบนแมนิโฟลด์นั้นๆ