WikiDer > Обычный комплект

В дифференциальная геометрия, поле математика, а нормальный комплект это особый вид векторный набор, дополнительный к касательный пучок, и исходящий из встраивание (или же погружение).

Определение

Риманово многообразие

Позволять ${ displaystyle (M, g)}$ быть Риманово многообразие, и ${ Displaystyle S подмножество M}$ а Риманово подмногообразие. Определите для данного ${ displaystyle p in S}$, вектор ${ Displaystyle п in mathrm {T} _ {p} M}$ быть нормальный к ${ displaystyle S}$ всякий раз, когда ${ Displaystyle г (п, v) = 0}$ для всех ${ displaystyle v in mathrm {T} _ {p} S}$ (так что ${ displaystyle n}$ является ортогональный к ${ displaystyle mathrm {T} _ {p} S}$). Набор ${ displaystyle mathrm {N} _ {p} S}$ всех таких ${ displaystyle n}$ затем называется нормальное пространство к ${ displaystyle S}$ в ${ displaystyle p}$.

Так же, как и общее пространство касательный пучок на многообразие строится из всех касательные пространства к многообразию, полное пространство нормальный комплект^[1] ${ displaystyle mathrm {N} S}$ к ${ displaystyle S}$ определяется как

${ Displaystyle mathrm {N} S: = coprod _ {p in S} mathrm {N} _ {p} S}$.

В конормальный пучок определяется как двойной комплект в нормальный комплект. Это может быть естественно реализовано как подгруппа котангенсный пучок.

Общее определение

Более абстрактно, учитывая погружение ${ Displaystyle я двоеточие N to M}$ (например, вложение), можно определить нормальный пучок N в M, по в каждой точке N, принимая факторное пространство касательного пространства на M касательным пространством на N. Для риманова многообразия можно отождествить это факторное с ортогональным дополнением, но в общем случае нельзя (такой выбор равносилен раздел проекции ${ Displaystyle V в V / W}$).

Таким образом, нормальный пучок в общем случае частное касательного расслоения объемлющего пространства, ограниченного подпространством.

Формально нормальный комплект^[2] к N в M является фактор-расслоением касательного расслоения на M: у одного есть короткая точная последовательность векторных расслоений на N:

${ displaystyle 0 to TN to TM vert _ {i (N)} to T_ {M / N}: = TM vert _ {я (N)} / TN to 0}$

где ${ Displaystyle TM vert _ {я (N)}}$ - ограничение касательного расслоения на M к N (собственно, откат ${ displaystyle i ^ {*} TM}$ касательного пучка на M в векторное расслоение на N через карту ${ displaystyle i}$). Волокно нормального пучка ${ displaystyle T_ {M / N} { overset { pi} { twoheadrightarrow}} N}$ в ${ displaystyle p in N}$ называется нормальное пространство в ${ displaystyle p}$ (из ${ displaystyle N}$ в ${ displaystyle M}$).

Конормальный набор

Если ${ Displaystyle Y substeq X}$ является гладким подмногообразием многообразия ${ displaystyle X}$, мы можем выбрать локальные координаты ${ displaystyle (x_ {1}, dots, x_ {n})}$ около ${ displaystyle p in Y}$ такой, что ${ displaystyle Y}$ локально определяется ${ Displaystyle х_ {к + 1} = точки = х_ {п} = 0}$; то при таком выборе координат

${ displaystyle { begin {align} T_ {p} X & = mathbb {R} { Big lbrace} { frac { partial} { partial x_ {1}}} | _ {p}, dots , { frac { partial} { partial x_ {n}}} | _ {p} { Big rbrace} T_ {p} Y & = mathbb {R} { Big lbrace} { frac { partial} { partial x_ {1}}} | _ {p}, dots, { frac { partial} { partial x_ {k}}} | _ {p} { Big rbrace} {T_ {X / Y}} _ {p} & = mathbb {R} { Big lbrace} { frac { partial} { partial x_ {k + 1}}} | _ {p}, dots, { frac { partial} { partial x_ {n}}} | _ {p} { Big rbrace} конец {выровнено}}}$

и идеальный пучок локально генерируется ${ Displaystyle х_ {к + 1}, точки, х_ {п}}$. Следовательно, мы можем определить невырожденное спаривание

${ displaystyle (I_ {Y} / I_ {Y} ^ {2}) _ {p} times {T_ {X / Y}} _ {p} longrightarrow mathbb {R}}$

что индуцирует изоморфизм пучков ${ Displaystyle T_ {X / Y} simeq (I_ {Y} / I_ {Y} ^ {2}) ^ { vee}}$. Мы можем перефразировать этот факт, введя конормальный пучок определяется через конормальная точная последовательность

${ displaystyle 0 to T_ {X / Y} ^ {*} rightarrowtail Omega _ {X} ^ {1} | _ {Y} twoheadrightarrow Omega _ {Y} ^ {1} to 0}$,

тогда ${ Displaystyle T_ {X / Y} ^ {*} simeq (I_ {Y} / I_ {Y} ^ {2})}$, а именно. сечения конормального расслоения являются котангенсными векторами к ${ displaystyle X}$ исчезновение на ${ displaystyle TY}$.

Когда ${ Displaystyle Y = lbrace p rbrace}$ является точкой, то пучок идеалов - это пучок гладких ростков, исчезающих в ${ displaystyle p}$ и изоморфизм сводится к определение касательного пространства в терминах ростков гладких функций на ${ displaystyle X}$

${ Displaystyle T_ {X / lbrace p rbrace} ^ {*} simeq (T_ {p} X) ^ { vee} simeq { frac {{ mathfrak {m}} _ {p}} { { mathfrak {m}} _ {p} ^ {2}}}}$.

Стабильный нормальный комплект

Абстрактные многообразия есть канонический касательное расслоение, но не имеют нормального расслоения: только вложение (или погружение) одного многообразия в другое дает нормальное расслоение, однако, поскольку каждое многообразие может быть вложено в ${ Displaystyle mathbf {R} ^ {N}}$, посредством Теорема вложения Уитни, каждое многообразие допускает нормальное расслоение при таком вложении.

Обычно нет естественного выбора вложения, но для данного M, любые два вложения в ${ Displaystyle mathbf {R} ^ {N}}$ для достаточно большого N находятся регулярный гомотопный, а значит, индуцируют такое же нормальное расслоение. Результирующий класс нормальных пакетов (это класс пакетов, а не конкретный пакет, потому что N может меняться) называется стабильный нормальный пакет.

Связка двойная к касательной

Нормальное расслоение двойственно касательному расслоению в смысле K-теория: по указанной выше короткой точной последовательности,

${ Displaystyle [TN] + [T_ {M / N}] = [TM]}$

в Группа Гротендик.В случае погружения в ${ Displaystyle mathbf {R} ^ {N}}$, касательное расслоение объемлющего пространства тривиально (так как ${ Displaystyle mathbf {R} ^ {N}}$ стягивается, следовательно распараллеливаемый), так ${ displaystyle [TN] + [T_ {M / N}] = 0}$, и поэтому ${ displaystyle [T_ {M / N}] = - [TN]}$.

Это полезно при вычислении характеристические классы, и позволяет доказывать нижние оценки погружаемости и вложимости многообразий в Евклидово пространство.

Для симплектических многообразий

Предположим, что многообразие ${ displaystyle X}$ встроен в симплектическое многообразие ${ Displaystyle (М, omega)}$, такая, что обратный образ симплектической формы имеет постоянный ранг на ${ displaystyle X}$. Тогда можно определить симплектическое нормальное расслоение к X как векторное расслоение над X со слоями

${ Displaystyle (T_ {я (x)} X) ^ { omega} / (T_ {i (x)} X cap (T_ {i (x)} X) ^ { omega}), quad x в X,}$

где ${ displaystyle i: X rightarrow M}$ обозначает вложение. Обратите внимание, что условие постоянного ранга гарантирует, что эти нормальные пространства подходят друг к другу, образуя связку. Кроме того, любой слой наследует структуру симплектического векторного пространства.^[3]

К Теорема Дарбу, вложение постоянного ранга локально определяется ${ Displaystyle я ^ {*} (ТМ)}$. Изоморфизм

${ Displaystyle я ^ {*} (TM) cong TX / nu oplus (TX) ^ { omega} / nu oplus ( nu oplus nu ^ {*}), quad nu = TX cap (TX) ^ { omega},}$

симплектических векторных расслоений над ${ displaystyle X}$ следует, что симплектическое нормальное расслоение уже локально определяет вложение постоянного ранга. Эта особенность аналогична риманову случаю.

Рекомендации