<p>We show that the category of <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(C_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>-cofinite modules for the universal <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(N=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> super Virasoro vertex operator superalgebra <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathcal {S}(c,0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">S</mi> <mo stretchy="false">(</mo> <mi>c</mi> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> at any central charge <i>c</i> is locally finite and admits the vertex algebraic braided tensor category structure of Huang–Lepowsky–Zhang. For central charges <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(c^{\mathfrak {ns}}(t)=\frac{15}{2}-3(t+t^{-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>c</mi> <mi mathvariant="fraktur">ns</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mn>15</mn> <mn>2</mn> </mfrac> <mo>-</mo> <mn>3</mn> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>+</mo> <msup> <mi>t</mi> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(t\notin \mathbb {Q}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∉</mo> <mi mathvariant="double-struck">Q</mi> </mrow> </math></EquationSource> </InlineEquation>, we show that this tensor category is semisimple, rigid, and slightly degenerate, and we determine its fusion rules. For central charge <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(c^{\mathfrak {ns}}(1)=\frac{3}{2}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>c</mi> <mi mathvariant="fraktur">ns</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mn>3</mn> <mn>2</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, we show that this tensor category is rigid and that its simple modules have the same fusion rules as <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textrm{Rep}\,\mathfrak {osp}(1\vert 2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Rep</mtext> <mspace width="0.166667em" /> <mi mathvariant="fraktur">osp</mi> <mo stretchy="false">(</mo> <mn>1</mn> <mo stretchy="false">|</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, in agreement with earlier fusion rule calculations of Milas. Finally, for the remaining central charges <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(c^{\mathfrak {ns}}(t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>c</mi> <mi mathvariant="fraktur">ns</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(t\in \mathbb {Q}^\times \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">Q</mi> </mrow> <mo>×</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>, we show that the simple <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathcal {S}(c^{\mathfrak {ns}}(t),0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">S</mi> <mo stretchy="false">(</mo> <msup> <mi>c</mi> <mi mathvariant="fraktur">ns</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-module <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathcal {S}_{2,2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">S</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> of lowest conformal weight <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(h^{\mathfrak {ns}}_{2,2}(t)=\frac{3(t-1)^2}{8t}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>h</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>2</mn> </mrow> <mi mathvariant="fraktur">ns</mi> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mfrac> <mrow> <mn>3</mn> <msup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo>-</mo> <mn>1</mn> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </msup> </mrow> <mrow> <mn>8</mn> <mi>t</mi> </mrow> </mfrac> </mrow> </math></EquationSource> </InlineEquation> is rigid and self-dual, except possibly when <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(t^{\pm 1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>t</mi> <mrow> <mo>±</mo> <mn>1</mn> </mrow> </msup> </math></EquationSource> </InlineEquation> is a negative integer or when <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(c^{\mathfrak {ns}}(t)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>c</mi> <mi mathvariant="fraktur">ns</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> is the central charge of a rational <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(N=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>N</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> superconformal minimal model. As <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\mathcal {S}_{2,2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">S</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> is expected to generate the category of <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(C_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>C</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation>-cofinite <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathcal {S}(c^{\mathfrak {ns}}(t),0)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">S</mi> <mo stretchy="false">(</mo> <msup> <mi>c</mi> <mi mathvariant="fraktur">ns</mi> </msup> <mrow> <mo stretchy="false">(</mo> <mi>t</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mn>0</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-modules under fusion, rigidity of <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathcal {S}_{2,2}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">S</mi> <mrow> <mn>2</mn> <mo>,</mo> <mn>2</mn> </mrow> </msub> </math></EquationSource> </InlineEquation> is the first key step to proving rigidity of this category for general <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(t\in \mathbb {Q}^\times \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>t</mi> <mo>∈</mo> <msup> <mrow> <mi mathvariant="double-struck">Q</mi> </mrow> <mo>×</mo> </msup> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

N =1 Super Virasoro Tensor Categories

  • Thomas Creutzig,
  • Robert McRae,
  • Florencia Orosz Hunziker,
  • Jinwei Yang

摘要

We show that the category of \(C_1\) C 1 -cofinite modules for the universal \(N=1\) N = 1 super Virasoro vertex operator superalgebra \(\mathcal {S}(c,0)\) S ( c , 0 ) at any central charge c is locally finite and admits the vertex algebraic braided tensor category structure of Huang–Lepowsky–Zhang. For central charges \(c^{\mathfrak {ns}}(t)=\frac{15}{2}-3(t+t^{-1})\) c ns ( t ) = 15 2 - 3 ( t + t - 1 ) with \(t\notin \mathbb {Q}\) t Q , we show that this tensor category is semisimple, rigid, and slightly degenerate, and we determine its fusion rules. For central charge \(c^{\mathfrak {ns}}(1)=\frac{3}{2}\) c ns ( 1 ) = 3 2 , we show that this tensor category is rigid and that its simple modules have the same fusion rules as \(\textrm{Rep}\,\mathfrak {osp}(1\vert 2)\) Rep osp ( 1 | 2 ) , in agreement with earlier fusion rule calculations of Milas. Finally, for the remaining central charges \(c^{\mathfrak {ns}}(t)\) c ns ( t ) with \(t\in \mathbb {Q}^\times \) t Q × , we show that the simple \(\mathcal {S}(c^{\mathfrak {ns}}(t),0)\) S ( c ns ( t ) , 0 ) -module \(\mathcal {S}_{2,2}\) S 2 , 2 of lowest conformal weight \(h^{\mathfrak {ns}}_{2,2}(t)=\frac{3(t-1)^2}{8t}\) h 2 , 2 ns ( t ) = 3 ( t - 1 ) 2 8 t is rigid and self-dual, except possibly when \(t^{\pm 1}\) t ± 1 is a negative integer or when \(c^{\mathfrak {ns}}(t)\) c ns ( t ) is the central charge of a rational \(N=1\) N = 1 superconformal minimal model. As \(\mathcal {S}_{2,2}\) S 2 , 2 is expected to generate the category of \(C_1\) C 1 -cofinite \(\mathcal {S}(c^{\mathfrak {ns}}(t),0)\) S ( c ns ( t ) , 0 ) -modules under fusion, rigidity of \(\mathcal {S}_{2,2}\) S 2 , 2 is the first key step to proving rigidity of this category for general \(t\in \mathbb {Q}^\times \) t Q × .