<p>We show that the braided tensor category of finitely-generated weight modules for the simple affine vertex operator algebra <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(L_k(\mathfrak {sl}_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">sl</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathfrak {sl}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">sl</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> at any admissible level <i>k</i> is rigid and hence a braided ribbon category. The proof uses a recent result of the first two authors with Shimizu and Yadav on embedding a braided Grothendieck-Verdier category <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> into the Drinfeld center of the category of modules for a suitable commutative algebra <i>A</i> in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathcal {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>, in situations where the braided tensor category of local <i>A</i>-modules is rigid. Here, the commutative algebra <i>A</i> is Adamović’s inverse quantum Hamiltonian reduction of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(L_k(\mathfrak {sl}_2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mi>k</mi> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">sl</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which is the simple rational Virasoro vertex operator algebra at central charge <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(1-\frac{6(k+1)^2}{k+2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>1</mn> <mo>-</mo> <mfrac> <mrow> <mn>6</mn> <msup> <mrow> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> <mrow> <mi>k</mi> <mo>+</mo> <mn>2</mn> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> tensored with a half-lattice conformal vertex algebra. As a corollary, we also show that the category of finitely-generated weight modules for the <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(N = 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> super Virasoro vertex operator superalgebra at central charge <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(-6\ell -3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>-</mo> <mn>6</mn> <mi>ℓ</mi> <mo>-</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> is rigid for <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>ℓ</mi> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\((\ell +1)(k+2) = 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mi>ℓ</mi> <mo>+</mo> <mn>1</mn> <mo stretchy="false">)</mo> <mo stretchy="false">(</mo> <mi>k</mi> <mo>+</mo> <mn>2</mn> <mo stretchy="false">)</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Ribbon Categories of Weight Modules for Affine \(\mathfrak {sl}_{2}\) at Admissible Levels

  • Thomas Creutzig,
  • Robert McRae,
  • Jinwei Yang

摘要

We show that the braided tensor category of finitely-generated weight modules for the simple affine vertex operator algebra \(L_k(\mathfrak {sl}_2)\) L k ( sl 2 ) of \(\mathfrak {sl}_2\) sl 2 at any admissible level k is rigid and hence a braided ribbon category. The proof uses a recent result of the first two authors with Shimizu and Yadav on embedding a braided Grothendieck-Verdier category \(\mathcal {C}\) C into the Drinfeld center of the category of modules for a suitable commutative algebra A in \(\mathcal {C}\) C , in situations where the braided tensor category of local A-modules is rigid. Here, the commutative algebra A is Adamović’s inverse quantum Hamiltonian reduction of \(L_k(\mathfrak {sl}_2)\) L k ( sl 2 ) , which is the simple rational Virasoro vertex operator algebra at central charge \(1-\frac{6(k+1)^2}{k+2}\) 1 - 6 ( k + 1 ) 2 k + 2 tensored with a half-lattice conformal vertex algebra. As a corollary, we also show that the category of finitely-generated weight modules for the \(N = 2\) N = 2 super Virasoro vertex operator superalgebra at central charge \(-6\ell -3\) - 6 - 3 is rigid for \(\ell \) such that \((\ell +1)(k+2) = 1\) ( + 1 ) ( k + 2 ) = 1 .