อ่าน 5 นาที
ชั้นเรียนท็อดด์
ใน ทางคณิตศาสตร์ ชั้น ท็อดด์ (Todd class) เป็นโครงสร้างอย่างหนึ่งที่ปัจจุบันถือเป็นส่วนหนึ่งของทฤษฎี ชั้นลักษณะเฉพาะ (characteristic classes ) ในโทโพ โลยีเชิงพีชคณิต...
ชั้นเรียนท็อดด์
ในทางคณิตศาสตร์ชั้นท็อดด์ (Todd class)เป็นโครงสร้างอย่างหนึ่งที่ปัจจุบันถือเป็นส่วนหนึ่งของทฤษฎีชั้นลักษณะเฉพาะ (characteristic classes ) ในโทโพ โลยีเชิงพีชคณิตชั้นท็อดด์ของเวกเตอร์บันเดิล (vector bundle)สามารถนิยามได้โดยใช้ทฤษฎีชั้นเชิร์น (Chern classes ) และพบได้ในที่ที่มีชั้นเชิร์นอยู่ — โดยเฉพาะอย่างยิ่งใน โทโพโลยีเชิง อนุพันธ์ (differential topology)ทฤษฎีของ แมนิโฟล ด์เชิงซ้อน (complex manifolds)และ เรขาคณิต เชิงพีชคณิต (algebraic geometry ) โดยคร่าว ๆ แล้ว ชั้นท็อดด์ทำหน้าที่เหมือนส่วนกลับของชั้นเชิร์น หรือมีความสัมพันธ์กับชั้นเชิร์นในลักษณะเดียวกับที่ บัน เดิลโคนอร์มัล (conormal bundle ) มีความสัมพันธ์กับบันเดิลปกติ (normal bundle )
คลาส Todd มีบทบาทสำคัญในการขยายทฤษฎีบทRiemann–Roch แบบคลาสสิก ไปสู่มิติที่สูงขึ้น ในทฤษฎีบท Hirzebruch–Riemann–Rochและทฤษฎีบท Grothendieck–Hirzebruch–Riemann– Roch
ประวัติศาสตร์
ชื่อนี้ตั้งตามชื่อของเจ.เอ. ทอดด์ผู้ซึ่งนำเสนอแนวคิดกรณีพิเศษในเรขาคณิตเชิงพีชคณิตในปี 1937 ก่อนที่จะมีการกำหนดชั้นเชิร์น แนวคิดทางเรขาคณิตที่เกี่ยวข้องนี้บางครั้งเรียกว่าชั้นทอดด์-อีเกอร์ส่วนนิยามทั่วไปในมิติที่สูงกว่านั้นเป็นผลงานของฟรีดริช ฮีร์เซบรุค
คำนิยาม
เพื่อกำหนดคลาส Todd โดยที่เป็นมัดเวกเตอร์เชิงซ้อนบนปริภูมิโทโพโลยีโดยทั่วไปแล้วสามารถจำกัดคำจำกัดความไว้เฉพาะกรณีผลรวม Whitneyของมัดเส้นตรงได้โดยใช้อุปกรณ์ทั่วไปของทฤษฎีคลาสลักษณะเฉพาะ การใช้ราก Chern (หรือที่เรียกว่าหลักการแบ่งแยก ) สำหรับคำจำกัดความ ให้[ 1 ]
ให้ เป็นอนุกรมกำลังอย่างเป็นทางการที่มีคุณสมบัติว่าสัมประสิทธิ์ของใน มีค่า เท่ากับ 1 โดยที่แทนจำนวนเบอร์นูลลีลำดับที่(โดยที่) พิจารณาสัมประสิทธิ์ของในผลคูณ
สำหรับค่าใดๆ ก็ตามสิ่งนี้มีความสมมาตรในs และเป็นเอกพันธุ์ที่มีน้ำหนักดังนั้น จึงสามารถแสดงได้ในรูปพหุนามในฟังก์ชันสมมาตรพื้นฐานของs จากนั้นจึงกำหนดพหุนามท็อดด์ซึ่งเป็นลำดับการคูณที่มี เป็นอนุกรมกำลัง ลักษณะ เฉพาะ
ถ้าหากมี รากฐาน มาจากChernแล้วคลาส Todd ก็จะเป็นเช่นนั้น
ซึ่งจะต้องคำนวณในวงแหวนโคฮอโมโลยีของ(หรือในการเติมเต็มหากต้องการพิจารณาแมนิโฟลด์มิติอนันต์)
คลาส Todd สามารถระบุได้อย่างชัดเจนเป็นอนุกรมกำลังอย่างเป็นทางการในคลาส Chern ดังนี้: [ 2 ]
โดยที่ชั้นโคฮอโมโลยีคือชั้นเชิร์นของและอยู่ในกลุ่มโคฮอโมโลยีถ้าเป็นมิติจำกัดแล้ว เทอมส่วนใหญ่จะเป็นศูนย์ และเป็นพหุนามในชั้นเชิร์น
คุณสมบัติของคลาส Todd
คลาส Todd เป็นแบบทวีคูณ: [ 3 ]
ให้เป็นชั้นพื้นฐานของส่วนตัดระนาบไฮเปอร์ จากคุณสมบัติการคูณและลำดับที่แน่นอนของออยเลอร์สำหรับมัดสัมผัสของ
ได้รับ [ 4 ]
การคำนวณของคลาสท็อดด์
สำหรับเส้นโค้งพีชคณิตใดๆชั้นท็อดด์ก็คือเนื่องจากเป็นเส้นโค้งเชิงโปรเจกทีฟ จึงสามารถฝังลงในบางเส้นโค้งได้และเราสามารถหาได้โดยใช้ลำดับปกติ
และคุณสมบัติของชั้นเชอร์น ตัวอย่างเช่น ถ้าเรามีเส้นโค้งระนาบดีกรีในเราจะพบว่าชั้นเชอร์นทั้งหมดคือ
คลาสไฮเปอร์เพลนถูกจำกัดไว้ที่ ใด
สูตร Hirzebruch-Riemann-Roch
สำหรับชีฟที่สอดคล้องกัน ใดๆ Fบนแมนิโฟลด์ เชิงซ้อนแบบเรียบและกะทัดรัด Mจะมี
ลักษณะเฉพาะของออยเลอร์แบบโฮโลมอร์ฟิกของ มันอยู่ที่ไหน
และลักษณะเฉพาะของ เชิร์ น
ดูเพิ่มเติม
หมายเหตุ
- ^ Huybrechts 04, หน้า 196
- ↑ฮิวเบรชท์ส 04, แบบฝึกหัด 4.4.5
- ↑ฮิวเบรชท์ส 04, แบบฝึกหัด 4.4.3
- ^ทฤษฎีจุดตัด บทเรียนที่ 18โดยราวี วากิล
สรุปเนื้อหา
ข้อมูลสำคัญจากบทความ
ข้อมูลสำคัญเกี่ยวกับ ชั้นเรียนท็อดด์
ใน ทางคณิตศาสตร์ ชั้น ท็อดด์ (Todd class) เป็นโครงสร้างอย่างหนึ่งที่ปัจจุบันถือเป็นส่วนหนึ่งของทฤษฎี ชั้นลักษณะเฉพาะ (characteristic classes ) ในโทโพ โลยีเชิงพีชคณิต...
ประวัติศาสตร์
ชื่อนี้ตั้งตามชื่อของ เจ.เอ. ทอดด์ ผู้ซึ่งนำเสนอแนวคิดกรณีพิเศษในเรขาคณิตเชิงพีชคณิตในปี 1937 ก่อนที่จะมีการกำหนดชั้นเชิร์น แนวคิดทางเรขาคณิตที่เกี่ยวข้องนี้บางครั้งเรียกว่า ชั้นทอดด์-อีเกอร์ ส่วนนิยามทั่วไปในมิติที่สูงกว่านั้นเป็นผลงานของ ฟรีดริช ฮีร์เซบรุ ค
คำนิยาม
เพื่อกำหนดคลาส Todd โดยที่เป็นมัดเวกเตอร์เชิงซ้อนบน ปริภูมิโทโพโลยี โดยทั่วไปแล้วสามารถจำกัดคำจำกัดความไว้เฉพาะกรณีผล รวม Whitney ของ มัดเส้นตรงได้ โดยใช้อุปกรณ์ทั่วไปของทฤษฎีคลาสลักษณะเฉพาะ การใช้ ราก Chern (หรือที่เรียกว่า หลักการแบ่งแยก ) สำหรับคำจำกัดความ...
การคำนวณของคลาสท็อดด์
สำหรับเส้นโค้งพีชคณิตใดๆชั้นท็อดด์ก็คือเนื่องจากเป็นเส้นโค้งเชิงโปรเจกทีฟ จึงสามารถฝังลงในบางเส้นโค้งได้และเราสามารถหาได้โดยใช้ลำดับปกติ C {\displaystyle C} td ( C ) = 1 + 1 2 c 1 ( T C ) {\displaystyle \operatorname {td} (C)=1+{\frac {1}{2}}c_{1}(T_{C})} C...