การแปลงโคแวเรียนต์ทั่วไป
ในทางฟิสิกส์การแปลงโคแวเรียนต์ทั่วไปคือสมมาตรของทฤษฎีแรงโน้มถ่วงบนแมนิโฟลด์โลก พวกมันคือการแปลงเกจที่มีฟังก์ชันพารามิเตอร์เป็นสนามเวกเตอร์บน แมนิโฟลด์ นั้น จากมุมมองทางฟิสิกส์ การแปลงโคแวเรียนต์ทั่วไปถือเป็นการ แปลง กรอบอ้างอิง เฉพาะ ( โฮโลโนมิก ) ในทฤษฎีสัมพัทธภาพทั่วไปในทางคณิตศาสตร์การแปลงโคแวเรียนต์ทั่วไปถูกนิยามว่าเป็นออโตมอร์ฟิซึม เฉพาะของ กลุ่มเส้นใย ธรรมชาติ ที่ เรียกว่า
นิยามทางคณิตศาสตร์
ให้เป็นแมนิโฟลด์ที่มีไฟเบอร์และมีพิกัดไฟเบอร์เฉพาะที่ทุกออโตมอร์ฟิซึมของจะถูกฉายไปยังดิฟเฟโอเมอร์ฟิซึมของฐานของมันอย่างไรก็ตาม ข้อความกลับกันนั้นไม่เป็นจริง ดิฟเฟโอเมอร์ฟิซึมของไม่จำเป็นต้องก่อให้เกิดออโตมอร์ฟิซึมของ
โดยเฉพาะอย่างยิ่งตัวสร้างอนันต์ ของ กลุ่ม Lieหนึ่งพารามิเตอร์ของออโตมอร์ฟิซึมของคือสนามเวกเตอร์ ที่ฉายได้
บน. ฟิลด์เวกเตอร์นี้ถูกฉายไปยังฟิลด์เวกเตอร์บน ซึ่งการไหลของมันคือกลุ่มดิฟเฟอเรนเชียลมอร์ฟิซึมแบบพารามิเตอร์เดียวของ. ในทางกลับกัน ให้เป็นฟิลด์เวกเตอร์บน. มีปัญหาในการสร้างการยกของมันไปยังฟิลด์เวกเตอร์ที่ฉายได้บน ซึ่งฉายไปยัง. การยกดังกล่าวมีอยู่เสมอ แต่ไม่จำเป็นต้องเป็นแบบแคนอนิก เมื่อกำหนดการเชื่อมต่อบนทุกฟิลด์เวกเตอร์บนจะก่อให้เกิดฟิลด์เวกเตอร์แนวนอน
การยก ในแนวนอนนี้ทำให้เกิดโมโนมอร์ฟิซึมของโมดูลเวกเตอร์ฟิลด์บน ไปยังโมดูลเวกเตอร์ฟิลด์บนแต่โมโนมอร์ฟิซึมนี้ไม่ใช่มอร์ฟิซึมของพีชคณิตลี เว้นแต่ว่าจะแบนราบ
อย่างไรก็ตาม มีกลุ่มของบันเดิลธรรมชาติที่กล่าวถึงข้างต้นอยู่ซึ่งยอมรับการยกฟังก์ชันของฟิลด์เวกเตอร์ใดๆบนโดยที่เป็นโมโนมอร์ฟิซึมของพีชคณิตลี
การยกฟังก์ชันนี้เป็นการแปลงโคแวเรียนต์ทั่วไปแบบอนันต์ของ
ในบริบททั่วไป เราจะพิจารณาโมโนมอร์ฟิซึมของกลุ่มดิฟฟีโอมอร์ฟิซึมของไปยังกลุ่มออโตมอร์ฟิซึมของบันเดิลของบันเดิลธรรมชาติออโตมอร์ฟิซึมเหล่านี้เรียกว่าการแปลงโคแวเรียนต์ทั่วไปของตัวอย่างเช่น ไม่มีออโตมอร์ฟิซึมแนวตั้งของที่เป็นการแปลงโคแวเรียนต์ทั่วไป
บันเดิลธรรมชาติแสดงให้เห็นได้จากบันเดิลเทนเซอร์ตัวอย่างเช่นบันเดิลสัมผัส ของเป็นบันเดิลธรรมชาติ การแปลงแบบดิฟเฟอเรนเชียลทุกรูปแบบของจะก่อให้เกิดการแปลงแบบอัตโนมัติสัมผัสของซึ่งเป็นการแปลงแบบโคแวเรียนต์ทั่วไปของเมื่อเทียบกับพิกัดโฮโลโนมิกบนการแปลงนี้มีลักษณะดังนี้
บันเดิลเฟรม ของเฟรมสัมผัสเชิงเส้นในก็ถือเป็นบันเดิลธรรมชาติเช่นกัน การแปลงโคแวเรียนต์ทั่วไปประกอบเป็นกลุ่มย่อยของออโตมอร์ฟิซึมโฮโลโนมิกของบันเดิลทั้งหมดที่เกี่ยวข้องกับบันเดิลเฟรมเป็นบันเดิลธรรมชาติ อย่างไรก็ตาม มีบันเดิลธรรมชาติบางประเภทที่ไม่เกี่ยวข้องกับ