Sección del paquete O(1,n)O(1,n)\text{O}(1,n) versus sección del paquete de Grassmann

Una variedad en relatividad general solo admite un tensor métrico con la condición de que el fibrado de Grassmann admita una sección (esto se debe a que el fibrado de tensores métricos es Gramo ( 1 , norte ) × S ( norte , 0 ) , con S ( norte , 0 ) el conjunto de métricas de Riemann que siempre tiene una sección sobre variedades paracompactas). Esto corresponde a todas las variedades excepto a las variedades compactas con una característica de Euler. x 0 .

Pero hay otra forma de construir el tensor métrico, a partir de un campo marco y la métrica de paquete sobre el paquete tangente. Así que asumo que una sección del paquete tangente ortonormal O ( 1 , norte ) sólo debe existir bajo la misma condición. Sin embargo, ¿cuál sería la prueba de esto?

Hasta donde yo sé, no existe una noción canónica de un "paquete de Grassmann" sobre una variedad. Deberías ser más específico en cuanto a su definición.

Respuestas (1)

Si el paquete de marcos tiene una sección global { θ j } j = 0 norte , entonces obtienes una métrica lorentziana por

gramo = θ 0 θ 0 + i = 1 norte θ i θ i .
Sin embargo, esto es excesivo. Podrías simplemente seleccionar θ 0 , una métrica de Riemann h en METRO , y deja X ser el doble de θ 0 con respecto a h . Entonces el procedimiento habitual da una métrica lorentziana
gramo ( Y , Z ) = h ( Y , Z ) 2 h ( X , Y ) h ( X , Z ) h ( X , X ) , Y , Z Γ ( T METRO ) .
Pero la condición de que METRO El paquete de marcos de admite una sección global implica que es paralelizable, es decir, T METRO METRO × R norte . Para METRO compacto, esto implica x ( METRO ) = 0 por el teorema de Hopf. Así que no obtienes nueva información al presentar el problema bajo esta luz, porque es una condición mucho más fuerte.