Двойной векторный набор - Википедия - Double vector bundle

В математика, а двойное векторное расслоение это комбинация двух совместимых векторный набор структур, которые содержат, в частности, двойной касательный ${ displaystyle TE}$ векторного расслоения ${ displaystyle E}$ и пучок двойных касательных ${ displaystyle T ^ {2} M}$.

Определение и первые следствия

А двойное векторное расслоение состоит из ${ displaystyle (E, E ^ {H}, E ^ {V}, B)}$, где

1. то боковые связки ${ displaystyle E ^ {H}}$ и ${ displaystyle E ^ {V}}$ - векторные расслоения над базой ${ displaystyle B}$,
2. ${ displaystyle E}$ - векторное расслоение на обоих боковых расслоениях ${ displaystyle E ^ {H}}$ и ${ displaystyle E ^ {V}}$,
3. проекция, сложение, скалярное умножение и нулевое отображение на E для обеих структур векторных расслоений являются морфизмами.

Морфизм двойного векторного расслоения

А морфизм двойного векторного расслоения ${ displaystyle (f_ {E}, f_ {H}, f_ {V}, f_ {B})}$ состоит из карт ${ displaystyle f_ {E}: E mapsto E '}$, ${ displaystyle f_ {H}: E ^ {H} mapsto E ^ {H} {} '}$, ${ displaystyle f_ {V}: E ^ {V} mapsto E ^ {V} {} '}$ и ${ displaystyle f_ {B}: B mapsto B '}$ такой, что ${ Displaystyle (е_ {Е}, е_ {V})}$ является морфизмом расслоения из ${ displaystyle (E, E ^ {V})}$ к ${ displaystyle (E ', E ^ {V} {}')}$, ${ displaystyle (f_ {E}, f_ {H})}$ является морфизмом расслоения из ${ displaystyle (E, E ^ {H})}$ к ${ displaystyle (E ', E ^ {H} {}')}$, ${ displaystyle (е_ {V}, е_ {B})}$ является морфизмом расслоения из ${ displaystyle (E ^ {V}, B)}$ к ${ displaystyle (E ^ {V} {} ', B')}$ и ${ displaystyle (f_ {H}, f_ {B})}$ является морфизмом расслоения из ${ displaystyle (E ^ {H}, B)}$ к ${ displaystyle (E ^ {H} {} ', B')}$.

'кувырок двойного векторного расслоения ${ displaystyle (E, E ^ {H}, E ^ {V}, B)}$ двойное векторное расслоение ${ displaystyle (E, E ^ {V}, E ^ {H}, B)}$.

Примеры

Если ${ displaystyle (E, M)}$ - векторное расслоение над дифференцируемым многообразием ${ displaystyle M}$ тогда ${ displaystyle (TE, E, TM, M)}$ является двойным векторным расслоением при рассмотрении его структура вторичного векторного расслоения.

Если ${ displaystyle M}$ является дифференцируемым многообразием, то его пучок двойных касательных ${ displaystyle (TTM, TM, TM, M)}$ - двойное векторное расслоение.

использованная литература

Маккензи, К. (1992), "Двойные алгеброиды Ли и геометрия второго порядка", Adv. Математика., 94 (2): 180–239, Дои:10.1016 / 0001-8708 (92) 90036-к