Основное уравнение бозонизации

[..цитата со страницы 11 Polchinski Vol2..]

Данный 1 + 1 конформные бозонные поля ЧАС ( г ) у каждого есть свой OPE как, ЧАС ( г ) ЧАС ( 0 ) л н ( г )

Откуда же тогда берутся следующие тождества?

  • е я ЧАС ( г ) е я ЧАС ( г ) 1 г

  • е я ЧАС ( г ) е я ЧАС ( 0 ) "=" О ( г )

  • е я ЧАС ( г ) е я ЧАС ( 0 ) "=" О ( г )

  • я е я ϵ я ЧАС ( г я ) С 2 "=" я < Дж г я Дж ϵ я ϵ Дж для я ϵ я "=" 0

Я почти не знаю, как они получены!

(..Ранее я проделал много расчетов ОРЕ, но этот полностью меня побил!..)

Было бы здорово, если бы кто-нибудь показал вывод или дал ссылку, где это объясняется!


Также мне любопытно, есть ли обобщение этого на произвольные четномерные комплексно-аналитические комплексные многообразия...

Ответы (1)

Я думаю, что в первой формуле опечатка. Позвольте мне предложить этот (частичный) ответ для 3 первые формулы:

Потому что ЧАС ( г ) ЧАС ( 0 ) л н ( г ) , мы можем написать ОРЕ для любой пары операторов Ф ( ЧАС ) , г ( ЧАС ) функции ЧАС (по аналогии с формулой 2.2.10 п. 39 объем 1 )

(1) : Ф :: г "=" е д г 1 д г 2 л н г 12 ЧАС ( г 1 ) ЧАС ( г 2 ) : Ф г :

Это дает, для Ф "=" е я ϵ 1 ЧАС ( г 1 ) , г "=" е я ϵ 2 ЧАС ( г 2 )

(2) : е я ϵ 1 ЧАС ( г 1 ) :: е я ϵ 2 ЧАС ( г 2 ) "=" ( г 12 ) ϵ 1 ϵ 2 : е я ϵ 1 ЧАС ( г 1 ) е я ϵ 2 ЧАС ( г 2 ) :

Итак, у нас есть:

(3) : е я ЧАС ( г ) :: е я ЧАС ( 0 ) :   "=" 1 г   : е я ЧАС ( г ) е я ЧАС ( 0 ) :   1 г : е я ЧАС ( 0 ) е я ЧАС ( 0 ) :∼ 1 г

(4) : е я ЧАС ( г ) :: е я ЧАС ( 0 ) :   "=" г   : е я ЧАС ( г ) е я ЧАС ( 0 ) :   г   : е 2 я ЧАС ( 0 ) :∼ О ( г )

(5) : е я ЧАС ( г ) :: е я ЧАС ( 0 ) :   "=" г   : е я ЧАС ( г ) е я ЧАС ( 0 ) :   г   : е 2 я ЧАС ( 0 ) :∼ О ( г )

[РЕДАКТИРОВАТЬ]

Для последнего уравнения, я думаю, это те же рассуждения, что и в Vol. 1 , страница 173 , 174 , формулы 6.2.24 до 6.2.31

[РЕДАКТИРОВАТЬ 2]

Формула 1 , а формула ( 2.2.10 ) не являются формулами ad hoc. Это следствие определения нормального порядка и определения сокращений. Это следствие общих формул 2.2.5 к 2.2.9 , , например :

(2.2.8) Ф "=" Ф : +   с о н т р а с т я о н с
(2.2.9) : Ф :: г "=" Ф г : +   с р о с с с о н т р а с т я о н с

Теперь мы можем специализироваться на голоморфных полях. Д ( г ) , так что Д ( г ) Д ( 0 ) ф ( г ) , и написать :

(6) : Ф :: г "=" е д г 1 д г 2 ф ( г 12 ) Д ( г 1 ) Д ( г 2 ) : Ф г :
где Ф и г являются функциями Д

Специализация на голоморфном поле не меняет логики и вычислений, сделанных в 2.2.5 к 2.2.9

Спасибо за усилия, но мне было интересно, есть ли способ сделать это с помощью «первых принципов», избегая этой формулы 2.2.10. У вас есть ссылка в этом направлении? Я предполагаю, что кто-то хочет пойти обратным путем и показать, что аналогичным образом бозоны могут быть созданы из фермионов в 1+1 - тогда что?
@ user6818: я сделал правку в конце ответа