Характеры suˆ(2)ksu^(2)k\widehat{\mathfrak{su}}(2)_k и построения смежных классов WZW

В настоящее время я изучаю аффинные алгебры Ли и конструкцию смежных классов WZW. У меня есть небольшая техническая проблема в вычислении (специализированного) характера с ты ^ ( 2 ) к для аффинного веса λ ^ знак равно [ к λ 1 , λ 1 ] . Учитывая обобщенную тета-функцию

Θ λ 1 ( к ) ( г , т ) знак равно н е Z е 2 π я [ к н г + 1 2 λ 1 г к н 2 т н λ 1 т λ 1 2 т / 4 к ]
я хочу оценить
х λ 1 ( к ) знак равно Θ λ 1 + 1 ( к + 2 ) Θ λ 1 1 ( к + 2 ) Θ 1 ( 2 ) Θ 1 ( 2 )
в г знак равно 0 . положить г знак равно 0 непосредственно, и числитель, и знаменатель обращаются в нуль (поскольку нет никакой разницы между λ 1 а также λ 1 из-за суммы). Итак, мой вопрос; каков правильный способ взять предел г 0 ? [Это взято из Ди Франческо и др ., раздел 14.4.2, стр. 585]. Результат должен быть
х λ 1 ( к ) знак равно д ( λ 1 + 1 ) 2 / 4 ( к + 2 ) 1 8 н е Z [ λ 1 + 1 + 2 н ( к + 2 ) ] д н [ λ 1 + 1 + 2 ( к + 2 ) н ] н е Z [ 1 + 4 н ] д н [ 1 + 2 н ]
куда д знак равно е 2 π я т .

Поскольку я боюсь, что решение моего вопроса довольно тривиально, у меня есть бонусный вопрос. Знаете ли вы какую-нибудь бумагу, в которой прорабатываются детали смежного класса?

с ты ^ ( Н ) к с ты ^ ( Н ) 1 с ты ^ ( Н ) к + 1
для произвольного Н ? Я думаю о чем-то вроде того, что Ди Франческо и др. делает в разделе 18.3 для Н знак равно 2 . Было бы хорошо, если бы ссылка относилась к этому Вт -алгебры.

Ответы (1)

Я нашел ответ на свою проблему, и, как и ожидалось, он оказался смущающе тривиальным. Помещать г знак равно ϵ и разверните все до первого порядка, тогда результат выйдет сразу.

Что касается ссылок, я обнаружил, что обзорная статья Вт Симметрия в конформной теории поля содержит обсуждение таких смежных моделей Весса-Зумино-Виттена. Кроме того, статьи о недавно предложенном AdS с более высоким спином 3 /CFT 2 двойственность содержит некоторые обсуждения по этому поводу (например , arXiv:1011.2986 , arXiv:1108.3077 и arXiv:1106.1897 ). Но я все еще приветствую лучшие ссылки!

Краткое примечание: положить г знак равно ϵ и расширение до первого порядка эквивалентно правилу Лопиталя , которое, вероятно, всегда должно быть первым ударом по неопределенной границе 0/0.