Сечение расслоения O(1,n)O(1,n)\text{O}(1,n) по сравнению с сечением расслоения Грассмана

Многообразие в общей теории относительности допускает метрический тензор только при условии, что расслоение Грассмана допускает сечение (это связано с тем, что расслоение метрических тензоров является гр ( 1 , н ) × С ( н , 0 ) , с С ( н , 0 ) множество римановых метрик, всегда имеющее сечение на паракомпактных многообразиях). Это соответствует всем многообразиям, кроме компактных многообразий с эйлеровой характеристикой х 0 .

Но есть и другой способ построить метрический тензор из поля репера и метрики расслоения на касательном расслоении. Итак, я предполагаю, что сечение ортонормированного касательного расслоения О ( 1 , н ) должны существовать только при одинаковых условиях. Хотя что могло бы служить доказательством этого?

Насколько мне известно, не существует канонического понятия «расслоения Грассмана» над многообразием. Вы должны быть более конкретными в его определении.

Ответы (1)

Если пучок фреймов имеет глобальную секцию { θ Дж } Дж "=" 0 н , то вы получаете лоренцеву метрику

г "=" θ 0 θ 0 + я "=" 1 н θ я θ я .
Однако это перебор. Вы можете просто выбрать θ 0 , риманова метрика час на М , и разреши Икс быть двойником θ 0 в отношении час . Тогда обычная процедура дает лоренцеву метрику
г ( Д , Z ) "=" час ( Д , Z ) 2 час ( Икс , Д ) час ( Икс , Z ) час ( Икс , Икс ) , Д , Z е Г ( Т М ) .
Но условие, что М расслоение фреймов допускает глобальную секцию, подразумевает, что оно параллелизуемо, то есть Т М М × р н . Для М компактный, это означает х ( М ) "=" 0 по теореме Хопфа. Таким образом, вы не получаете никакой новой информации, рассматривая проблему в этом свете, потому что это гораздо более серьезное условие.