В математике векторное расслоение называется плоским, если оно снабжено линейной связностью с исчезающей кривизной , т.е. плоской связностью .
Когомологии де Рама плоского векторного расслоения
Пусть обозначает плоское векторное расслоение, а — ковариантную производную , связанную с плоской связностью на E.
Пусть обозначает векторное пространство (фактически пучок модулей над ) дифференциальных форм на X со значениями в E. Ковариантная производная определяет эндоморфизм степени 1 d , дифференциал , а условие плоскости эквивалентно свойству .
Другими словами, градуированное векторное пространство является коцепным комплексом . Его когомологии называются когомологиями де Рама E или когомологиями де Рама с коэффициентами, скрученными локальной системой коэффициентов E.
Плоские тривиализации
Тривиализация плоского векторного расслоения называется плоской, если форма связности исчезает в этой тривиализации. Эквивалентным определением плоского расслоения является выбор тривиализирующего атласа с локально постоянными отображениями перехода.
Примеры
- Тривиальные линейные расслоения могут иметь несколько плоских структур расслоений. Примером является тривиальное расслоение над с формами связности 0 и . Параллельные векторные поля постоянны в первом случае и пропорциональны локальным определениям квадратного корня во втором.
- Вещественное каноническое линейное расслоение дифференциального многообразия M является плоским линейным расслоением, называемым ориентационным расслоением . Его сечения являются формами объема .
- Риманово многообразие является плоским тогда и только тогда, когда его связность Леви-Чивиты придает его касательному векторному расслоению плоскую структуру.
Смотрите также