ความโค้งและเรขาคณิตเชิงเปรียบเทียบ

ความโค้งเป็นการวัดว่าแมนิโฟลด์แบบรีมันน์ (Riemannian manifold) โค้งงอออกจากความราบเรียบเพียงใด และเรขาคณิตเชิงเปรียบเทียบแสดงให้เห็นว่าขอบเขตของความโค้งบังคับข้อจำกัดต่อระยะทาง ปริมาตร และโทโพโลยีของแมนิโฟลด์ได้อย่างไร

Definition

ความโค้งคือการวัดเชิงเทนเซอร์ของการไม่สลับที่กันของการหาอนุพันธ์ร่วมเกี่ยว (noncommutativity of covariant differentiation) หรือเทียบเท่าคือการเบี่ยงเบนเฉพาะที่ของแมนิโฟลด์แบบรีมันน์จากความราบเรียบแบบยุคลิด (Euclidean flatness) ส่วนเรขาคณิตเชิงเปรียบเทียบจะอนุมานผลลัพธ์เชิงเมตริกและโทโพโลยีโดยรวมจากอสมการบนความโค้งภาคตัดหรือความโค้งริชชี

Scope

หัวข้อนี้จะนิยามเทนเซอร์ความโค้งของรีมันน์ (Riemann curvature tensor) และการหดตัวของมัน ได้แก่ ความโค้งภาคตัด (sectional curvature) ความโค้งริชชี (Ricci curvature) และความโค้งสเกลาร์ (scalar curvature) รวมถึงความหมายทางเรขาคณิตของสิ่งเหล่านี้ผ่านพฤติกรรมของจีโอเดสิกที่อยู่ใกล้เคียง ซึ่งถูกเข้ารหัสโดยสนามจาโคบี (Jacobi fields) และการแปรผันอันดับสองของความยาวส่วนโค้ง (second variation of arc length) นอกจากนี้ยังพัฒนาทฤษฎีการเปรียบเทียบที่สำคัญ ได้แก่ ทฤษฎีบทบอนเนต์-ไมเยอร์ส (Bonnet-Myers) ที่จำกัดเส้นผ่านศูนย์กลางภายใต้ความโค้งริชชีที่เป็นบวก ทฤษฎีบทคาร์ตัน-ฮาดามาร์ด (Cartan-Hadamard) เกี่ยวกับความโค้งที่ไม่เป็นบวก การเปรียบเทียบของเราช์ (Rauch comparison) และการเปรียบเทียบปริมาตรของบิชอป-กรอมอฟ (Bishop-Gromov volume comparison) ซึ่งแสดงให้เห็นว่าความโค้งควบคุมเรขาคณิตและโทโพโลยีโดยรวมได้อย่างไร

Core questions

• เทนเซอร์ความโค้งวัดความล้มเหลวของการเคลื่อนที่ขนาน (parallel transport) ที่ไม่ขึ้นกับเส้นทางได้อย่างไร?
• ความโค้งภาคตัด ความโค้งริชชี และความโค้งสเกลาร์ มีข้อมูลทางเรขาคณิตที่แตกต่างกันอย่างไร?
• สนามจาโคบีเชื่อมโยงความโค้งกับการกระจายตัวหรือการรวมตัวของจีโอเดสิกได้อย่างไร?
• ขอบเขตของความโค้งจำกัดเส้นผ่านศูนย์กลาง ปริมาตร และโทโพโลยีของแมนิโฟลด์ได้อย่างไร?

Key concepts

• เทนเซอร์ความโค้งของรีมันน์
• ความโค้งภาคตัด ความโค้งริชชี และความโค้งสเกลาร์
• สนามจาโคบีและการแปรผันอันดับสองของความยาว
• ทฤษฎีบทบอนเนต์-ไมเยอร์ส และคาร์ตัน-ฮาดามาร์ด
• ทฤษฎีบทการเปรียบเทียบของเราช์ และบิชอป-กรอมอฟ

Clinical relevance

ความโค้งคือสนามโน้มถ่วงของทฤษฎีสัมพัทธภาพทั่วไปผ่านเทนเซอร์ริชชีและสมการของไอน์สไตน์ และเรขาคณิตเชิงเปรียบเทียบให้การควบคุมเชิงวิเคราะห์เบื้องหลังการไหลของริชชี (Ricci flow) และการแก้ปัญหาการคาดคะเนของปวงกาเร (Poincaré conjecture) และการคาดคะเนการทำให้เป็นเรขาคณิต (geometrization conjectures) ตลอดจนขอบเขตที่ใช้ในการวิเคราะห์เชิงเรขาคณิตและเรขาคณิตเชิงสเปกตรัม (spectral geometry)

History

รีมันน์นิยามความโค้งภาคตัดในปี 1854 ทฤษฎีบทการเปรียบเทียบโดยรวมของบอนเนต์ ไมเยอร์ส คาร์ตัน ฮาดามาร์ด และเราช์ พัฒนาขึ้นในช่วงครึ่งแรกของศตวรรษที่ 20 และการเปรียบเทียบปริมาตรของกรอมอฟและเทคนิคเรขาคณิตเชิงเมตริกตั้งแต่ทศวรรษ 1980 ได้เปลี่ยนสาขาวิชานี้ไปสู่การศึกษาปริภูมิที่ควบคุมด้วยความโค้ง

Key figures

• Bernhard Riemann
• Élie Cartan
• Mikhail Gromov

Seminal works

• lee1997
• docarmo1992

Frequently asked questions

ความแตกต่างระหว่างความโค้งภาคตัด ความโค้งริชชี และความโค้งสเกลาร์คืออะไร?

ความโค้งภาคตัดวัดความโค้งของระนาบสัมผัสสองมิติ ความโค้งริชชีหาค่าเฉลี่ยของความโค้งภาคตัดในทิศทางที่ผ่านเวกเตอร์ ส่วนความโค้งสเกลาร์หาค่าเฉลี่ยต่อไปจนได้ตัวเลขเดียวที่แต่ละจุด แต่ละชนิดเป็นการสรุปที่หยาบขึ้นตามลำดับ

ความโค้งส่งผลต่อโทโพโลยีอย่างไร?

ขอบเขตของความโค้งจำกัดรูปร่าง: ตามทฤษฎีบทบอนเนต์-ไมเยอร์ส ความโค้งริชชีที่เป็นบวกซึ่งมีขอบเขตล่างบังคับให้แมนิโฟลด์กระชับ (compact manifold) มีกรุปมูลฐานจำกัด (finite fundamental group) ในขณะที่ตามทฤษฎีบทคาร์ตัน-ฮาดามาร์ด ความโค้งที่ไม่เป็นบวกที่สมบูรณ์และเชื่อมโยงกันอย่างง่าย (complete simply connected nonpositive curvature) ทำให้แมนิโฟลด์เป็นดิฟฟีโอมอร์ฟิก (diffeomorphic) กับปริภูมิยุคลิด