Я читаю статью Виттена о топологической цепочке и обнаружил, что некоторые математические обозначения мне трудно понять. Рассмотрим нелинейную сигма-модель в двух измерениях, управляемую картами. с является римановой поверхностью и риманово многообразие метрики . являются локальными координатами на а также координируется на . а также являются каноническими и антиканоническими линейными расслоениями (расслоение одной формы типов (1,0) и (0,1) соответственно), и пусть а также .Ферми-поля модели , часть .
Я не могу понять разделы , а также .
С моей точки зрения, элемент должен иметь следующий вид , и что является элементом ? обратная сторона касательного пространства должна иметь форму . Но в некоторых примечаниях автор, кажется, дает, что форма (0,1) со значениями в можно записать как удовлетворяющий . Это противоречит моей наивной точке зрения. где я сделал ошибки? Как понять разделы , а также ?
Заранее спасибо.
В общем случае канонический пучок расслоение n-форм на n-мерном многообразии. Поскольку ваша риманова поверхность является одномерным (комплексным), это просто (линейное) расслоение голоморфных одномерных форм. «Квадратный корень» это пучок вещей, которые трансформируются способом, который является своего рода квадратным корнем трансформации голоморфных форм. Итак, если при преобразовании координат мирового листа (где является локальной координатой на )
Теперь вы также хотите, чтобы ваша сущность принимала значения в пакете .
является вложением. Думать о ; (куда размерность ) как координаты на , то желаемый объект имеет индекс целевого пространства. Так, например, правая версия компонентов будет , а раздел
Спиноры — это участки спинорного пучка. Разложение спинорного расслоения, данное Виттеном, справедливо на кэлеровых многообразиях, частным случаем которых являются римановы поверхности. Спинорное расслоение имеет структурную группу , куда - комплексная размерность кэлерова многообразия . Эта группа сводится к U(N) в силу существования кэлеровой структуры. (Это означает, что при записи уравнения Дирака искривленного пространства на , оно имеет вид калиброванного уравнения Дирака в плоском пространстве, связанного с калибровочным полем U(N)).
Пространство сечений спинорного пучка принадлежит размерное спинорное представление . Это представление разлагается в прямую сумму всех антисимметричных представлений фактор при редукции структурной группы. Таким образом, с точки зрения подсчета измерений, пространство размерного спинориального представления изоморфно внешней алгебре голоморфного касательного расслоения.
Появление квадратного корня канонического расслоения связано с тем, что вклад фактор группа к уравнению Дирака является абелевой связностью, кривизна которой равна раз кэлерова структура. Эта часть обеспечивает вращение характер фермионных полей.
пользователь1504