Стандартный вывод алгебры Витта

Я изучал конформную теорию поля последнюю неделю по книгам Блюменхагена и Ди Франческо и др.

Если я правильно понимаю, всякий раз, когда говорят о «локальных (бесконечно малых) конформных преобразованиях» на комплексной плоскости (например, г г + ϵ ( г ) ) описывается голоморфными функциями, неявно предполагается, что существует открытое подмножество (скажем, U ), содержащий точку Комплексной плоскости, на которой функция ϵ ( г ) корректно определено и фактически голоморфно. Мой первый вопрос заключается в том, является ли это правильным взглядом на локальные конформные преобразования. Если нет, то что именно подразумевается под «локальными» конформными преобразованиями?

Теперь, если ответ на более ранний вопрос положительный, то я не понимаю, почему обе вышеупомянутые книги расширяются. ϵ ( г ) как ряд Лорана около 0 при выводе алгебры Витта. Ряд Лорана будет иметь свою область сходимости, которая может не содержать открытого множества U . Так может ли кто-нибудь объяснить, почему оправдано предполагать, что ϵ имеет ряд Лорана около 0 и использует его для вывода формы образующих алгебры Витта? В принципе, можно было бы выбрать любую точку (скажем, а ) открытого множества и выбираем окрестность U быть достаточно «маленьким», чтобы ϵ ( г ) представлен рядом Тейлора вокруг а . Обычно с помощью этой процедуры можно получить меньшую алгебру.

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

Если вы хотите узнать, как осуществляется математическая строгая трактовка бесконечно малых конформных преобразований, см. книгу «Достижения в теории модулей» Уэно и Симидзу.

Ответы (1)

Комментарии к вопросу (v2):

  1. Для определенности предположим, что базовое двумерное многообразие является сферой Римана. С 2 С { } .

  2. Группа глобально определенных конформных преобразований (связанных с тождеством) представляет собой 6-мерную группу

    С о н ф 0 ( п , д )     С О + ( 1 , 3 )     п С л ( 2 , С )
    преобразований Мёбиуса .

  3. С математической точки зрения следует рассматривать группоид локально определенных конформных преобразований. См. также, например, этот пост Phys.SE.

  4. (Комплексная) алгебра Витта - это алгебра Ли мероморфных векторных полей на сфере Римана. С 2 . Это также комплексификация алгебры Ли векторных полей на окружности. С 1 .

  5. С физической точки зрения, если мы, например, думаем о замкнутой струне в операторном формализме, то есть о простой замкнутой кривой γ С 2 огибая некоторую отмеченную точку а е С 2 , то по теореме об отображении Римана мы можем выбрать координатный участок так, что γ является единичной окружностью в этой системе координат.

  6. Серия Лорана о сути а е С 2 , который мы предполагаем, определен в некотором кольце А γ , будет содержать все локальные деформации/моды Фурье струны и поэтому будет полезен для физического описания.

  7. Смысл а обычно ассоциируется с бесконечным прошлым т "=" . По замене координат можно считать а "=" 0 .

  8. Ряд Тейлора (в отличие от ряда Лорана) о точке а например, пропустит половину мод Фурье строки.

  9. С другой стороны, если сфера Римана С 2 имеет н 2 отмеченные точки а я е С 2 , я е { 1 , , н } , соответствующий н вставки локальных операторов, то в я '-я локальная координатная окрестность U я вокруг а я , ряд Тейлора является типичным адекватным физическим описанием.

@Qmechanic Группа глобально определенных конформных преобразований должна быть гладкими векторными полями окружности, комплексификация которых дает алгебру Витта. Группа Мёбиуса п С л ( 2 , С ) подгруппа конформных преобразований, оставляющая вакуумное состояние инвариантным, не так ли?
Группа глобально определенных конформных преобразований (связанных с единицей) на сфере Римана есть группа Мёбиуса п С л ( 2 , С ) .
1. Спасибо за объяснение, но мне остается неясным, рассматриваем ли мы мероморфные векторы с полюсами только в 0 и или общие мероморфные векторы, кажется, в обоих случаях мы можем разложить в г н г . 2. А если мы рассматриваем общие мероморфные векторы, то почему физически?
1. Голоморфное на кольце. 2. Могут быть, например, дополнительные полюса из-за вставок оператора.