Я изучал конформную теорию поля последнюю неделю по книгам Блюменхагена и Ди Франческо и др.
Если я правильно понимаю, всякий раз, когда говорят о «локальных (бесконечно малых) конформных преобразованиях» на комплексной плоскости (например, ) описывается голоморфными функциями, неявно предполагается, что существует открытое подмножество (скажем, ), содержащий точку Комплексной плоскости, на которой функция корректно определено и фактически голоморфно. Мой первый вопрос заключается в том, является ли это правильным взглядом на локальные конформные преобразования. Если нет, то что именно подразумевается под «локальными» конформными преобразованиями?
Теперь, если ответ на более ранний вопрос положительный, то я не понимаю, почему обе вышеупомянутые книги расширяются. как ряд Лорана около 0 при выводе алгебры Витта. Ряд Лорана будет иметь свою область сходимости, которая может не содержать открытого множества . Так может ли кто-нибудь объяснить, почему оправдано предполагать, что имеет ряд Лорана около 0 и использует его для вывода формы образующих алгебры Витта? В принципе, можно было бы выбрать любую точку (скажем, ) открытого множества и выбираем окрестность быть достаточно «маленьким», чтобы представлен рядом Тейлора вокруг . Обычно с помощью этой процедуры можно получить меньшую алгебру.
И я повторяю: если ответ на мой первый вопрос отрицательный, может ли кто-нибудь объяснить смысл локальных конформных преобразований в первую очередь?
Комментарии к вопросу (v2):
Для определенности предположим, что базовое двумерное многообразие является сферой Римана. .
Группа глобально определенных конформных преобразований (связанных с тождеством) представляет собой 6-мерную группу
С математической точки зрения следует рассматривать группоид локально определенных конформных преобразований. См. также, например, этот пост Phys.SE.
(Комплексная) алгебра Витта - это алгебра Ли мероморфных векторных полей на сфере Римана. . Это также комплексификация алгебры Ли векторных полей на окружности. .
С физической точки зрения, если мы, например, думаем о замкнутой струне в операторном формализме, то есть о простой замкнутой кривой огибая некоторую отмеченную точку , то по теореме об отображении Римана мы можем выбрать координатный участок так, что является единичной окружностью в этой системе координат.
Серия Лорана о сути , который мы предполагаем, определен в некотором кольце , будет содержать все локальные деформации/моды Фурье струны и поэтому будет полезен для физического описания.
Смысл обычно ассоциируется с бесконечным прошлым . По замене координат можно считать .
Ряд Тейлора (в отличие от ряда Лорана) о точке например, пропустит половину мод Фурье строки.
С другой стороны, если сфера Римана имеет отмеченные точки , , соответствующий вставки локальных операторов, то в '-я локальная координатная окрестность вокруг , ряд Тейлора является типичным адекватным физическим описанием.
пользователь40276