การเชื่อมต่อ (กรอบพีชคณิต)
เรขาคณิตของระบบควอนตัม (เช่น เรขาคณิตแบบไม่สลับที่และเรขาคณิตขั้นสูง ) ส่วนใหญ่กำหนดเป็นเงื่อนไขพีชคณิตของโมดูลและพีชคณิต การเชื่อมต่อบนโมดูลเป็นการวางนัยทั่วไปของการเชื่อมต่อ เชิงเส้น บนเวกเตอร์บันเดิล เรียบ ที่เขียนเป็นการเชื่อมต่อ Koszulบน โมดูลของส่วนต่างๆของ[ 1 ]
พีชคณิตเชิงสลับเปลี่ยน
ให้เป็นวงแหวน สลับที่ และเป็นโมดูลAมีคำจำกัดความที่เทียบเท่ากันของการเชื่อมต่อบน[ 2 ]
คำจำกัดความแรก
ถ้าเป็นโฮโมมอร์ฟิซึมของริง การเชื่อมต่อเชิงเส้น -linear จะเป็นมอร์ฟิซึมเชิงเส้น -linear
ซึ่งตรงตามเอกลักษณ์
การเชื่อมต่อนี้ขยายออกไปสู่แผนที่อันเป็นเอกลักษณ์ สำหรับทุกคน
กล่าวได้ว่าการเชื่อมต่อสามารถหาปริพันธ์ได้ก็ต่อเมื่อหรือเทียบเท่ากับ ถ้าความโค้งเป็นศูนย์
นิยามที่สอง
ให้A เป็นโมดูลของการอนุพันธ์ของริง A การเชื่อมต่อบนโมดูลAถูกนิยามว่าเป็นมอร์ฟิซึมของโมดูล A
โดยที่ ตัวดำเนินการเชิงอนุพันธ์ อันดับแรกบนนั้น เป็นไปตามกฎของไลบ์นิซ
การเชื่อมต่อบนโมดูลเหนือวงแหวนสลับที่นั้นมีอยู่เสมอ
ความโค้งของการเชื่อมต่อถูกกำหนดโดยตัวดำเนินการเชิงอนุพันธ์อันดับศูนย์
บนโมดูลสำหรับทุกคน
ถ้าเป็นเวกเตอร์บันเดิล จะมีการจับคู่แบบหนึ่งต่อหนึ่งระหว่างการเชื่อมต่อเชิงเส้นบนและการเชื่อมต่อบน โมดูล -ของส่วนต่างๆ ของอย่างเคร่งครัดแล้วจะสอดคล้องกับอนุพันธ์ร่วมแปรของการเชื่อมต่อบน
พีชคณิตสลับที่แบบแบ่งระดับ
แนวคิดของการเชื่อมต่อบนโมดูลเหนือวงแหวนสลับเปลี่ยนสามารถขยายไปยังโมดูลเหนือพีชคณิตสลับเปลี่ยนแบบแบ่งระดับได้โดยตรง[ 3 ]นี่คือกรณีของ ซูเปอร์คอนเน็กชันในซูเปอร์เรขาคณิตของ แมนิโฟลด์แบบแบ่งระดับและบันเดิลเวกเตอร์ซูเปอร์คอนเน็กชันมีอยู่เสมอ
พีชคณิตไม่สลับที่
ถ้าเป็นวงแหวนที่ไม่สลับที่กัน การเชื่อมต่อบน โมดูล A ด้านซ้ายและด้านขวา จะถูกกำหนดในลักษณะเดียวกับการเชื่อมต่อบนโมดูลเหนือวงแหวนที่สลับที่กันได้[ 4 ]อย่างไรก็ตาม การเชื่อมต่อเหล่านี้ไม่จำเป็นต้องมีอยู่
ตรงกันข้ามกับการเชื่อมต่อบนโมดูลซ้ายและขวา มีปัญหาในการกำหนดการเชื่อมต่อบน R - S - bimoduleเหนือวงแหวนที่ไม่สลับที่ RและSมีคำจำกัดความที่แตกต่างกันของการเชื่อมต่อดังกล่าว[ 5 ]ลองกล่าวถึงหนึ่งในนั้น การเชื่อมต่อบน R - S - bimodule ถูกกำหนดให้เป็นมอร์ฟิซึมของ bimodule
ซึ่งเป็นไปตามกฎของไลบ์นิซ
ดูเพิ่มเติม
- การเชื่อมต่อ (ชุดเวกเตอร์)
- ความสัมพันธ์ (คณิตศาสตร์)
- เรขาคณิตไม่สลับที่
- ซูเปอร์เรขาคณิต
- แคลคูลัสเชิงอนุพันธ์บนพีชคณิตสลับที่
หมายเหตุ
ลิงก์ภายนอก
- Sardanashvily, G. (2009). "การบรรยายเกี่ยวกับเรขาคณิตเชิงอนุพันธ์ของโมดูลและวงแหวน". arXiv : 0910.1515 [ math-ph ].