<p>The affine vertex operator algebras for <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathfrak {sl}_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">sl</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> and the Virasoro minimal models are related by Drinfeld-Sokolov reduction and by the Goddard-Kent-Olive coset construction. In this work, we propose another connection based on certain character identities between these vertex operator algebras and their modules. This relates the simple affine vertex operator algebras <InlineEquation ID="IEq2"> <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> at admissible levels <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(k=-2+q/p\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>=</mo> <mo>-</mo> <mn>2</mn> <mo>+</mo> <mi>q</mi> <mo stretchy="false">/</mo> <mi>p</mi> </mrow> </math></EquationSource> </InlineEquation> to the rational (<i>q</i>,&#xa0;3<i>p</i>)-minimal models <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(L_\textrm{Vir}(c_{q,3p},0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>L</mi> <mtext>Vir</mtext> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>c</mi> <mrow> <mi>q</mi> <mo>,</mo> <mn>3</mn> <mi>p</mi> </mrow> </msub> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and also extends to the nonadmissible levels with <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(q=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. Several special cases are particularly interesting. In the nonadmissible case <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(q=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, the character identities extend to certain abelian intertwining algebras, specifically <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathcal {V}^{(p)}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="script">V</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </msup> </math></EquationSource> </InlineEquation> and the doublet <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\smash {\mathcal {A}^{(3p)}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mpadded depth="0pt" height="0pt"> <msup> <mrow> <mi mathvariant="script">A</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mn>3</mn> <mi>p</mi> <mo stretchy="false">)</mo> </mrow> </msup> </mpadded> </math></EquationSource> </InlineEquation>. Specialising further to <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(p=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\smash {\mathcal {V}^{(2)}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mpadded depth="0pt" height="0pt"> <msup> <mrow> <mi mathvariant="script">V</mi> </mrow> <mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </msup> </mpadded> </math></EquationSource> </InlineEquation> is the simple small <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathcal {N}=4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> superconformal algebra of central charge <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\smash {c=-9}\)</EquationSource> <EquationSource Format="MATHML"><math> <mpadded depth="0pt" height="0pt"> <mi>c</mi> <mo>=</mo> <mo>-</mo> <mn>9</mn> </mpadded> </math></EquationSource> </InlineEquation>, this recovers, via the 4d/2d-correspondence, a known identity between the Schur indices of the 4d <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathcal {N}=4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation> supersymmetric Yang-Mills theory for <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\textrm{SU}(2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>SU</mtext> <mo stretchy="false">(</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and the 4d <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathcal {N}=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> (3,&#xa0;2) Argyres-Douglas theory. In the boundary admissible case <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(q=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, in a similar vein, we obtain an identity between the Schur indices of 4d <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(\mathcal {N}=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">N</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> Argyres-Douglas theories of types <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\((A_1,D_{2n+1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>D</mi> <mrow> <mn>2</mn> <mi>n</mi> <mo>+</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\((A_1,A_{6n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>A</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>A</mi> <mrow> <mn>6</mn> <mi>n</mi> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. On the other hand, for integral levels, <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(p=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>p</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, where both involved vertex operator algebras are strongly rational, our character identity induces a Galois conjugation between the representation categories <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(\smash {\operatorname {Rep}(L_{-2+q}(\mathfrak {sl}_2))}\)</EquationSource> <EquationSource Format="MATHML"><math> <mpadded depth="0pt" height="0pt"> <mo>Rep</mo> <mo stretchy="false">(</mo> <msub> <mi>L</mi> <mrow> <mo>-</mo> <mn>2</mn> <mo>+</mo> <mi>q</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="fraktur">sl</mi> <mn>2</mn> </msub> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mpadded> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(\smash {\operatorname {Rep}(L_\textrm{Vir}(c_{q,3},0))}\)</EquationSource> <EquationSource Format="MATHML"><math> <mpadded depth="0pt" height="0pt"> <mo>Rep</mo> <mo stretchy="false">(</mo> <msub> <mi>L</mi> <mtext>Vir</mtext> </msub> <mrow> <mo stretchy="false">(</mo> <msub> <mi>c</mi> <mrow> <mi>q</mi> <mo>,</mo> <mn>3</mn> </mrow> </msub> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mpadded> </math></EquationSource> </InlineEquation>; and for small values of <i>q</i>, the characters are related by the action of certain Hecke operators. Finally, we also sketch how to extend the results of this paper to relaxed highest-weight and Whittaker modules.</p>

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

Character identities between affine and Virasoro vertex operator algebra modules

  • Dražen Adamović,
  • Sven Möller

摘要

The affine vertex operator algebras for \(\mathfrak {sl}_2\) sl 2 and the Virasoro minimal models are related by Drinfeld-Sokolov reduction and by the Goddard-Kent-Olive coset construction. In this work, we propose another connection based on certain character identities between these vertex operator algebras and their modules. This relates the simple affine vertex operator algebras \(L_k(\mathfrak {sl}_2)\) L k ( sl 2 ) at admissible levels \(k=-2+q/p\) k = - 2 + q / p to the rational (q, 3p)-minimal models \(L_\textrm{Vir}(c_{q,3p},0)\) L Vir ( c q , 3 p , 0 ) , and also extends to the nonadmissible levels with \(q=1\) q = 1 . Several special cases are particularly interesting. In the nonadmissible case \(q=1\) q = 1 , the character identities extend to certain abelian intertwining algebras, specifically \(\mathcal {V}^{(p)}\) V ( p ) and the doublet \(\smash {\mathcal {A}^{(3p)}}\) A ( 3 p ) . Specialising further to \(p=2\) p = 2 , where \(\smash {\mathcal {V}^{(2)}}\) V ( 2 ) is the simple small \(\mathcal {N}=4\) N = 4 superconformal algebra of central charge \(\smash {c=-9}\) c = - 9 , this recovers, via the 4d/2d-correspondence, a known identity between the Schur indices of the 4d \(\mathcal {N}=4\) N = 4 supersymmetric Yang-Mills theory for \(\textrm{SU}(2)\) SU ( 2 ) and the 4d \(\mathcal {N}=2\) N = 2 (3, 2) Argyres-Douglas theory. In the boundary admissible case \(q=2\) q = 2 , in a similar vein, we obtain an identity between the Schur indices of 4d \(\mathcal {N}=2\) N = 2 Argyres-Douglas theories of types \((A_1,D_{2n+1})\) ( A 1 , D 2 n + 1 ) and \((A_1,A_{6n})\) ( A 1 , A 6 n ) . On the other hand, for integral levels, \(p=1\) p = 1 , where both involved vertex operator algebras are strongly rational, our character identity induces a Galois conjugation between the representation categories \(\smash {\operatorname {Rep}(L_{-2+q}(\mathfrak {sl}_2))}\) Rep ( L - 2 + q ( sl 2 ) ) and \(\smash {\operatorname {Rep}(L_\textrm{Vir}(c_{q,3},0))}\) Rep ( L Vir ( c q , 3 , 0 ) ) ; and for small values of q, the characters are related by the action of certain Hecke operators. Finally, we also sketch how to extend the results of this paper to relaxed highest-weight and Whittaker modules.