Как понимать фермион мирового листа как раздел?

Я читаю статью Виттена о топологической цепочке и обнаружил, что некоторые математические обозначения мне трудно понять. Рассмотрим нелинейную сигма-модель в двух измерениях, управляемую картами. Φ : Σ Икс с Σ является римановой поверхностью и Икс риманово многообразие метрики грамм . г , г ¯ являются локальными координатами на Σ а также ф я координируется на Икс . К а также К ¯ являются каноническими и антиканоническими линейными расслоениями Σ (расслоение одной формы типов (1,0) и (0,1) соответственно), и пусть К 1 / 2 а также К ¯ 1 / 2 .Ферми-поля модели ψ + я , часть К 1 / 2 Φ * ( Т Икс ) .

Я не могу понять разделы К 1 / 2 , Φ * ( Т Икс ) а также К 1 / 2 Φ * ( Т Икс ) .

С моей точки зрения, элемент К должен иметь следующий вид α г г г е К , и что является элементом К 1 / 2 ? обратная сторона касательного пространства должна иметь форму Φ * ( β я ф я ) знак равно β я 1 ф я г г . Но в некоторых примечаниях автор, кажется, дает, что форма (0,1) ψ я со значениями в Φ * ( Т 1 , 0 Икс ) можно записать как ψ г ¯ я удовлетворяющий ψ ψ г ¯ я г г ¯ ф я . Это противоречит моей наивной точке зрения. где я сделал ошибки? Как понять разделы К 1 / 2 , Φ * ( Т Икс ) а также К 1 / 2 Φ * ( Т Икс ) ?

Заранее спасибо.

В дополнение к другим ответам я должен указать, что при чтении этой статьи нужно быть осторожным, чтобы обратить внимание на то, обсуждает ли Виттен КТП или связанную с ней «скрученную» КТП. Последнее не будет включать квадратные корни из канонического расслоения. Вы можете запутаться, пытаясь сопоставить формулы из закрученной и не закрученной теорий.

Ответы (2)

В общем случае канонический пучок К расслоение n-форм на n-мерном многообразии. Поскольку ваша риманова поверхность Σ является одномерным (комплексным), это просто (линейное) расслоение голоморфных одномерных форм. «Квадратный корень» К 1 2 это пучок вещей, которые трансформируются способом, который является своего рода квадратным корнем трансформации голоморфных форм. Итак, если при преобразовании координат мирового листа (где г является локальной координатой на Σ )

г е я α г
единая форма преобразуется как
ю е я α ю
затем для квадратного корня нам нужно что-то преобразующее как
ψ е я α 2 ψ
Это просто правый спинор мирового листа. Если это RH, это обозначается ψ + а если вместо этого он трансформировался с α 2 , это LH и обозначается ψ

Теперь вы также хотите, чтобы ваша сущность принимала значения в пакете ф * ( Т Икс ) .

ф : Σ Икс является вложением. Думать о ф я ; я знак равно 1.. Н (куда Н размерность Икс ) как координаты на Икс , то желаемый объект имеет индекс целевого пространства. Так, например, правая версия компонентов будет ψ + я , а раздел

ψ + я ( г ) ф я

ψ + я ( г ) ф кажется, принимают значения в Т Икс скорее, чем Φ * ( Т Икс ) , почему бы не в какой-то форме ψ + я 1 ф я г г ? Чем отличаются разделы К 1 / 2 , Φ * ( Т Икс ) а также К 1 / 2 Φ * ( Т Икс ) ?
Если у меня есть векторный пучок В над Икс , то слой оттянутого расслоения ф * ( В ) над п е Σ это всего лишь волокно В над Φ ( п ) , так как Φ вот вложение, я могу просто работать с изображением Σ и ограничить рассматриваемое расслоение (в данном случае касательное расслоение) этим изображением.
Извините, что воскресил это обсуждение. Просто чтобы удостовериться, что я понимаю результат всего этого: делают ли спиноры ψ + а также ψ соответствуют участкам спинорных пучков С знак равно К 1 / 2 а также С знак равно К ¯ 1 / 2 соответственно? Пока ψ + я ф я а также ψ я ф я являются разделами К 1 / 2 × ф * ( Т Икс ) а также К ¯ 1 / 2 × ф * ( Т Икс ) соответственно?

Спиноры — это участки спинорного пучка. Разложение спинорного расслоения, данное Виттеном, справедливо на кэлеровых многообразиях, частным случаем которых являются римановы поверхности. Спинорное расслоение имеет структурную группу С О ( 2 Н ) , куда Н - комплексная размерность кэлерова многообразия М . Эта группа сводится к U(N) в силу существования кэлеровой структуры. (Это означает, что при записи уравнения Дирака искривленного пространства на М , оно имеет вид калиброванного уравнения Дирака в плоском пространстве, связанного с калибровочным полем U(N)).

Пространство сечений спинорного пучка принадлежит 2 Н размерное спинорное представление С О ( 2 Н ) . Это представление разлагается в прямую сумму всех антисимметричных представлений С U ( Н ) фактор U ( Н ) при редукции структурной группы. Таким образом, с точки зрения подсчета измерений, 2 Н пространство размерного спинориального представления изоморфно внешней алгебре Λ ( 0 , * ) ( М ) голоморфного касательного расслоения.

Появление квадратного корня канонического расслоения связано с тем, что вклад U ( 1 ) фактор U ( Н ) группа к уравнению Дирака является абелевой связностью, кривизна которой равна Н 2 раз кэлерова структура. Эта часть обеспечивает вращение 1 2 характер фермионных полей.