Кручение связности

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

Если  — связность в касательном расслоении, её тензор кручения определяется как .

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

Пример из классической механики и объяснение названияПравить

Пусть X есть трёхмерное евклидово пространство, в котором задана некая система координат. Она определяет плоскую связность без кручения: в каждой точке мы можем указать единичный касательный вектор, направленный вдоль оси   (соотв.  ,  ), и эти векторные поля коммутируют (то есть задают систему координат).

Пусть теперь эта система координат меняется со временем (то есть задаёт, как говорят физики, систему отсчёта). Это позволяет распространить плоскую связность на пространство-время  , таким образом, что векторное поле   будет параллельно относительно связности. Ковариантные производные же   будут указывать, как с течением времени поворачивается координатный вектор   в пространстве  . Кручение этой связности, вообще говоря, отлично от нуля. В ограничении на каждый момент времени, то есть на подмногообразие  , связность, по построению, является стандартной плоской связностью на евклидовом пространстве, и кручения не имеет, однако результат подстановки   есть, вообще говоря, нетривиальный тензор  . Этот тензор называется крутящим моментом. Таким образом, кручение связности обобщает понятие крутящего момента на случай, когда от абсолютного пространства с его плоскими координатами остаётся лишь искривлённое пространство-время, а связности без кручения — понятия инерциальных систем отсчёта.

Внутреннее кручениеПравить

Если на многообразии задана некая геометрическая структура (например, набор тензоров), можно задаться вопросом о том, когда существует связность без кручения, сохраняющая эту структуру. Основная теорема римановой геометрии утверждает, что для римановой метрики сохраняющая её связность без кручения существует и единственна. Для других структур это, вообще говоря, неверно.

Пример. Пусть   многообразие, и   — подрасслоение. Если в   существует связность   с нулевым кручением такая, что   (то есть векторные поля из   при параллельном переносе остаются лежать в  ), то   (и стало быть, по теореме Фробениуса, существует семейство подмногообразий   таких, что   для всех  ).

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

Пример. Пусть   многообразие, и   — дифференциальная  -форма на нём. Если в   существует связность   с нулевым кручением такая, что  , то эта форма замкнута:  .

Доказательство. Подставляя выражение   (расписанное в явном виде уравнение  ) в формулу для дифференциала де Рама, имеем  . □

Скажем, для невырожденных дифференциальных 2-форм существование связности без кручения, относительно которой они параллельны, равносильно симплектичности этой формы. Иными словами, в отличие от связности Леви-Чивиты, симплектические связности существуют не для всякой 2-формы, а лишь для симплектических форм, и если существуют, то не единственны. Аналогично, на почти комплексных многообразиях существование связности без кручения, сохраняющей тензор почти комплексной структуры, равносильно тому, что многообразие допускает комплексно-аналитические карты.

У этого имеется следующая алгебраическая подоплёка. Пусть   есть алгебра Ли, действующая в векторном пространстве  , то есть отображение  . Рассмотрим отображение  , кососимметризацию по последним переменным, и обозначим ядро и коядро этой стрелки за   и  . Теперь пусть   это многообразие, касательное расслоение которого снабжено действием группы Ли  , у которой алгебра  . Точная последовательность тогда превращается в точную последовательность векторных расслоений:  . Если   — две связности, сохраняющие  -структуру, то их разность   есть элемент в  . Третий член этой последовательности содержит кручения всевозможных связностей; разности кручений  -связностей составляют его элементы, приходящие из предыдущего члена, и следовательно в точности те, что обнуляются отображением в коядро. Соответствующее сечение расслоения  , строящегося по  -структуре, таким образом, не зависит от выбора  -связности, и называется внутренним кручением  -структуры. Разнообразные сечения  , в свою очередь, соответствуют неоднозначности выбора  -связности с данным кручением.

Для   и её тавтологического представления  , например, отображение   есть изоморфизм, и тем самым  . Это и есть основная теорема римановой геометрии: ортогональная связность без кручения существует и единственна. Для   коядро изоморфно расслоению 3-форм  , а внутреннее кручение  -связности есть дифференциал  . Для почти комплексной структуры внутреннее кручение есть её тензор Нейенхёйса  , для распределения   — его тензор Фробениуса  .

Параллельность почти симплектической формы (или оператора почти комплексной структуры) на почти эрмитовом многообразии относительно связности Леви-Чивиты означает его кэлеровость. В некэлеровой геометрии полезно рассматривать связности с ненулевым кручением. Так, на всяком комплексном эрмитовом многообразии существует единственная связность, относительно которой параллельны метрика, почти симплектическая форма и комплексная структура, у которой кручение (рассматриваемое при помощи метрики как 3-тензор) является кососимметрическим по всем трём аргументам. Такая связность называется связностью Бисмута.

ЛитератураПравить

  • Бишоп Р. Л., Криттенден Р. Дж. Геометрия многообразий. — 1967.