<p>Ocneanu’s tube algebra provides a finite algorithm to compute the Drinfeld center of a fusion category. In this work we reveal the universal property underlying the tube algebra. Take a base category <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {V}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">V</mi> </math></EquationSource> </InlineEquation> which is strongly concrete, bicomplete, and closed symmetric monoidal. For physical applications one takes <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq2.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {V}}=\textbf{Vect}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">V</mi> <mo>=</mo> <mi mathvariant="bold">Vect</mi> </mrow> </math></EquationSource> </InlineEquation> the category of vector spaces. Given a <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {V}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">V</mi> </math></EquationSource> </InlineEquation>-enriched rigid monoidal category <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> (not necessarily finite or semisimple) we define the tube category <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {X}} {\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">X</mi> <mi mathvariant="script">C</mi> </mrow> </math></EquationSource> </InlineEquation> using coends valued in <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {V}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">V</mi> </math></EquationSource> </InlineEquation>. Our main theorem established the relation between (the category of representations of) the tube category <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {X}} {\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">X</mi> <mi mathvariant="script">C</mi> </mrow> </math></EquationSource> </InlineEquation> and the Drinfeld center <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(Z({\mathcal {C}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Z</mi> <mo stretchy="false">(</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>: <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq9.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="462" /> </InlineMediaObject> <EquationSource Format="TEX">\(Z({\mathcal {C}})\hookrightarrow \textrm{Fun}({\mathbb {X}} {\mathcal {C}}^{\textrm{op}},{\mathcal {V}})\cong Z({\mathcal {C}}\hookrightarrow \textrm{Fun}({\mathcal {C}}^{\textrm{op}},{\mathcal {V}}))\hookrightarrow Z(\textrm{Fun}({\mathcal {C}}^{\textrm{op}},{\mathcal {V}}))\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>Z</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">↪</mo> <mtext>Fun</mtext> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">X</mi> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mtext>op</mtext> </msup> <mo>,</mo> <mi mathvariant="script">V</mi> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <mi>Z</mi> <mrow> <mo stretchy="false">(</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">↪</mo> <mtext>Fun</mtext> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mtext>op</mtext> </msup> <mo>,</mo> <mi mathvariant="script">V</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">↪</mo> <mi>Z</mi> <mrow> <mo stretchy="false">(</mo> <mtext>Fun</mtext> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="script">C</mi> </mrow> <mtext>op</mtext> </msup> <mo>,</mo> <mi mathvariant="script">V</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Physically, besides viewing the tube category as a version of TFT with domain being the tube, we emphasize the “Wick-rotated” perspective, that the morphisms in <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq5.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathbb {X}} {\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">X</mi> <mi mathvariant="script">C</mi> </mrow> </math></EquationSource> </InlineEquation> are the local tensors of fixed-point matrix product operators which preserves the symmetry <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2025_5383_Article_IEq4.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathcal {C}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation> in one spatial dimension. We provide a first-principle flavored construction, from microscopic quantum degrees of freedom and operators preserving the symmetry, to the macroscopic universal properties of the symmetry which form the Drinfeld center. Our work is thus a proof to the 1+1D topological holography in a very general setting.</p>

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

Tube Category, Tensor Renormalization and Topological Holography

  • Tian Lan

摘要

Ocneanu’s tube algebra provides a finite algorithm to compute the Drinfeld center of a fusion category. In this work we reveal the universal property underlying the tube algebra. Take a base category \({\mathcal {V}}\) V which is strongly concrete, bicomplete, and closed symmetric monoidal. For physical applications one takes \({\mathcal {V}}=\textbf{Vect}\) V = Vect the category of vector spaces. Given a \({\mathcal {V}}\) V -enriched rigid monoidal category \({\mathcal {C}}\) C (not necessarily finite or semisimple) we define the tube category \({\mathbb {X}} {\mathcal {C}}\) X C using coends valued in \({\mathcal {V}}\) V . Our main theorem established the relation between (the category of representations of) the tube category \({\mathbb {X}} {\mathcal {C}}\) X C and the Drinfeld center \(Z({\mathcal {C}})\) Z ( C ) : \(Z({\mathcal {C}})\hookrightarrow \textrm{Fun}({\mathbb {X}} {\mathcal {C}}^{\textrm{op}},{\mathcal {V}})\cong Z({\mathcal {C}}\hookrightarrow \textrm{Fun}({\mathcal {C}}^{\textrm{op}},{\mathcal {V}}))\hookrightarrow Z(\textrm{Fun}({\mathcal {C}}^{\textrm{op}},{\mathcal {V}}))\) Z ( C ) Fun ( X C op , V ) Z ( C Fun ( C op , V ) ) Z ( Fun ( C op , V ) ) . Physically, besides viewing the tube category as a version of TFT with domain being the tube, we emphasize the “Wick-rotated” perspective, that the morphisms in \({\mathbb {X}} {\mathcal {C}}\) X C are the local tensors of fixed-point matrix product operators which preserves the symmetry \({\mathcal {C}}\) C in one spatial dimension. We provide a first-principle flavored construction, from microscopic quantum degrees of freedom and operators preserving the symmetry, to the macroscopic universal properties of the symmetry which form the Drinfeld center. Our work is thus a proof to the 1+1D topological holography in a very general setting.