A correspondence between H3+ WZW and Liouville theories on discs

Kazuo Hosomichi
DOI: https://doi.org/10.1016/j.nuclphysbps.2007.06.027
2007-01-29
Abstract:We discuss how the disc correlators of H3+ WZW model are determined in terms of those of Liouville theory.
High Energy Physics - Theory
What problem does this paper attempt to address?
### What problems does this paper attempt to solve? This paper aims to solve how to incorporate certain affine Lie algebra module categories constructed by Kazhdan - Lusztig into the representation theory of vertex operator algebras and prove that these categories have a natural vertex tensor category structure. Specifically, the paper solves the following problems: 1. **Verification of conditions**: The paper verifies that the categories constructed by Kazhdan - Lusztig satisfy the conditions required by the generalized logarithmic tensor product theory developed by Huang, Lepowsky and the author. 2. **Proof of equivalence**: The paper proves that the tensor product functor constructed using the generalized logarithmic tensor product theory is equivalent to the tensor product functor originally constructed by Kazhdan - Lusztig. 3. **Construction of new associativity isomorphisms**: The paper provides a new, vertex - algebra - based method to construct natural associativity isomorphisms and proves their properties. Through the solution of these problems, the paper successfully incorporates Kazhdan - Lusztig's tensor category theory into the framework of vertex operator algebras and proves that this category has a natural vertex tensor category structure. ### Specific background - **Kazhdan - Lusztig construction**: Kazhdan and Lusztig constructed a braided tensor category structure in a series of papers, which is applied to certain module categories Oκ of affine Lie algebras at a specific level κ (κ is a complex number and not in the set of non - negative rational numbers). They also showed that this braided tensor category is equivalent to the module tensor category of the quantum group constructed from the same Lie algebra. - **Huang - Lepowsky theory**: Huang and Lepowsky developed a tensor product theory for "rational" vertex operator algebra modules. This theory can directly construct braided tensor category structures and vertex tensor category structures under certain conditions. - **Generalized logarithmic tensor product theory**: In order to handle more general modules, Huang, Lepowsky and the author developed the generalized logarithmic tensor product theory, which allows the inclusion of intertwining operators with logarithmic terms. ### Main contributions of the paper - **Verification of conditions**: The paper proves that Kazhdan - Lusztig's category Oκ satisfies the conditions required by the generalized logarithmic tensor product theory. - **Proof of equivalence**: By introducing an equivalence condition, the paper proves that the results of the two tensor product construction methods are the same. - **New construction**: The paper provides a new, vertex - algebra - based method to construct natural associativity isomorphisms and proves their properties. Finally, the paper successfully incorporates Kazhdan - Lusztig's tensor category theory into the framework of vertex operator algebras and proves that this category has a natural vertex tensor category structure. This not only extends the existing theory but also provides new tools and perspectives for further research.