Abstract <p> In the present article, we describe a modular category <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {E}\)</EquationSource> </InlineEquation> with exactly two simple objects. We use a specialtechnique and derive two invariants from <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathfrak {E}\)</EquationSource> </InlineEquation>;namely, a complex-valued invariant <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(rt_{\varepsilon }\)</EquationSource> </InlineEquation> ofReshetikhin–Turaev type (for unoriented links in a <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(3\)</EquationSource> </InlineEquation>-sphere and for <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(3\)</EquationSource> </InlineEquation>-manifolds) and a real-valued invariant<InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq7.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(tv_{\varepsilon}\)</EquationSource> </InlineEquation> of Turaev–Viro type (for <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(3\)</EquationSource> </InlineEquation>-manifolds). The values of these two invariants for<InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(3\)</EquationSource> </InlineEquation>-manifolds satisfy the equality <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq10.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="142" /> </InlineMediaObject> <EquationSource Format="TEX">\(|rt_{\varepsilon }|^2\cdot(\varepsilon + 2) = tv_{\varepsilon }\)</EquationSource> </InlineEquation>, where<InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq11.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon\)</EquationSource> </InlineEquation> is a root of the equation <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="74" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon ^2 = \varepsilon +1\)</EquationSource> </InlineEquation>. We prove that the invariant <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(tv_{\varepsilon }\)</EquationSource> </InlineEquation> coincides with the <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq11.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\varepsilon\)</EquationSource> </InlineEquation>-invariant for <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12002_2025_5116_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="10" /> </InlineMediaObject> <EquationSource Format="TEX">\(3\)</EquationSource> </InlineEquation>-manifolds. </p>

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

Invariants of Links and \(3 \)-Manifolds Arising From a Modular Category with Two Simple Objects

  • F. G. Korablev

摘要

Abstract

In the present article, we describe a modular category \(\mathfrak {E}\) with exactly two simple objects. We use a specialtechnique and derive two invariants from \(\mathfrak {E}\) ;namely, a complex-valued invariant \(rt_{\varepsilon }\) ofReshetikhin–Turaev type (for unoriented links in a \(3\) -sphere and for \(3\) -manifolds) and a real-valued invariant \(tv_{\varepsilon}\) of Turaev–Viro type (for \(3\) -manifolds). The values of these two invariants for \(3\) -manifolds satisfy the equality \(|rt_{\varepsilon }|^2\cdot(\varepsilon + 2) = tv_{\varepsilon }\) , where \(\varepsilon\) is a root of the equation \(\varepsilon ^2 = \varepsilon +1\) . We prove that the invariant \(tv_{\varepsilon }\) coincides with the \(\varepsilon\) -invariant for \(3\) -manifolds.