Связь формального определения представления и теории поля

Как физик, изучающий теорию репрезентации с более математической точки зрения, я сначала не понимаю, как обе точки зрения сочетаются друг с другом.


Представительство π алгебры Ли г понимается как отображение, являющееся гомоморфизмом групп,

π : г г л ( В )

где г л ( В ) просто Е н г ( В ) , группа линейных операторов из В к себе. Тогда мы имеем, что линейное действие алгебры г в векторном пространстве В дан кем-то,

π ( г ) В "=" г В

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


В качестве конкретного примера рассмотрим двумерную конформную теорию поля. Если | ψ является первичным собственным состоянием обоих л 0 и л ~ 0 , то мы можем получить кучу других, а именно,

л 1 | ψ
л 1 л 1 | ψ , л 2 | ψ
л 1 л 1 л 1 | ψ , л 1 л 2 | ψ , л 3 | ψ

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

  1. В этом примере это было бы π явно быть?
  2. Предполагая г здесь алгебра Вирасоро, что было бы В в π : г г л ( В ) в этом случае?

Ответы (1)

Похоже, что ОП по существу уже знает, что π является. Кажется уместным упомянуть, что OP описывает модуль Verma с вектором старшего веса | ψ . Базовое векторное пространство изоморфно

В   "="   U ( г ) Ф | ψ ,
где г является подалгеброй Ли, порожденной отрицательными корневыми пространствами г . Более того, фактом является то, что любое (возможно неприводимое) представление с таким же старшим весом может быть реализовано как частное модуля Верма.

Вы можете объяснить, что В в этом случае?
Я обновил ответ.
Просто чтобы проверить, правильно ли я все понял тогда. если мне дадут В и алгебра Ли, г , так как теоретически я могу определить π , я могу грубо сказать, что элемент В является или предлагает представительство г , так как я могу восстановить "настоящее" представление π ?