Paquete de tensores

Un haz tensorial de tipo sobre una variedad diferenciable  es un haz vectorial sobre , asociado al haz de tramas tangentes y que tiene como fibra estándar el espacio de tensores de tipo sobre , en el que el grupo actúa por medio de una representación tensorial. Por ejemplo, coincide con la fibra tangente sobre , a coincide con  la fibra cotangente .

En general, un paquete tensorial es isomorfo al producto tensorial de paquetes tangentes y cotangentes:

Los haces en sí mismos son sólo la base para construir secciones de haces tensoriales de tipo , que se denominan campos tensoriales de tipo y son el principal objeto de estudio de la geometría diferencial . Así, por ejemplo, una estructura de Riemann  es una sección suave del paquete , cuyos valores son formas simétricas definidas positivas .

Las secciones suaves del paquete forman un módulo sobre el álgebra de funciones suaves en . Si  es un colector paracompacto , entonces

donde  es el módulo de los campos vectoriales uniformes ,  es el módulo de las formas diferenciales de Pfaffian y se toman los productos tensoriales .

En la geometría diferencial clásica, los campos de tensores a veces se denominan simplemente tensores en .

Literatura