<p>We construct three-dimensional non-semisimple topological field theories from the unrolled quantum group of the Lie superalgebra <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathfrak {osp}(1 \vert 2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <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>. More precisely, the quantum group depends on a root of unity <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(q=e^{\frac{2 \pi \sqrt{-1}}{r}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>q</mi> <mo>=</mo> <msup> <mi>e</mi> <mfrac> <mrow> <mn>2</mn> <mi>π</mi> <msqrt> <mrow> <mo>-</mo> <mn>1</mn> </mrow> </msqrt> </mrow> <mi>r</mi> </mfrac> </msup> </mrow> </math></EquationSource> </InlineEquation>, where <i>r</i> is a positive integer greater than 2, and the construction applies when <i>r</i> is not congruent to 4 modulo 8. The algebraic result which underlies the construction is the existence of a relative modular structure on the non-finite, non-semisimple category of weight modules for the quantum group. We prove a Verlinde formula which allows for the computation of dimensions and Euler characteristics of topological field theory state spaces of unmarked surfaces. When <i>r</i> is congruent to <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\pm 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>±</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\pm 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>±</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation> modulo 8, we relate the resulting 3-manifold invariants with physicists’ <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\widehat{Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>Z</mi> <mo stretchy="false">^</mo> </mover> </math></EquationSource> </InlineEquation>-invariants associated to <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathfrak {osp}(1 \vert 2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <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>. Finally, we establish a relation between <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\widehat{Z}\)</EquationSource> <EquationSource Format="MATHML"><math> <mover accent="true"> <mi>Z</mi> <mo stretchy="false">^</mo> </mover> </math></EquationSource> </InlineEquation>-invariants associated to <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathfrak {sl}(2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">sl</mi> <mo stretchy="false">(</mo> <mn>2</mn> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathfrak {osp}(1 \vert 2)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <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> which was conjectured in the physics literature.</p>

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

Non-semisimple topological field theory and \(\widehat{Z}\)-invariants from \(\mathfrak {osp}(1 \vert 2)\)

  • Francesco Costantino,
  • Matthew Harper,
  • Adam Robertson,
  • Matthew B. Young

摘要

We construct three-dimensional non-semisimple topological field theories from the unrolled quantum group of the Lie superalgebra \(\mathfrak {osp}(1 \vert 2)\) osp ( 1 | 2 ) . More precisely, the quantum group depends on a root of unity \(q=e^{\frac{2 \pi \sqrt{-1}}{r}}\) q = e 2 π - 1 r , where r is a positive integer greater than 2, and the construction applies when r is not congruent to 4 modulo 8. The algebraic result which underlies the construction is the existence of a relative modular structure on the non-finite, non-semisimple category of weight modules for the quantum group. We prove a Verlinde formula which allows for the computation of dimensions and Euler characteristics of topological field theory state spaces of unmarked surfaces. When r is congruent to \(\pm 1\) ± 1 or \(\pm 2\) ± 2 modulo 8, we relate the resulting 3-manifold invariants with physicists’ \(\widehat{Z}\) Z ^ -invariants associated to \(\mathfrak {osp}(1 \vert 2)\) osp ( 1 | 2 ) . Finally, we establish a relation between \(\widehat{Z}\) Z ^ -invariants associated to \(\mathfrak {sl}(2)\) sl ( 2 ) and \(\mathfrak {osp}(1 \vert 2)\) osp ( 1 | 2 ) which was conjectured in the physics literature.