<p>This paper presents a conceptual and efficient geometric framework to encode the algebraic structures on the category of superselection sectors of an algebraic quantum field theory on the <i>n</i>-dimensional lattice <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {Z}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>. It is shown that, under the typical assumption of Haag duality, the monoidal <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-categories of localized superselection sectors carry the structure of a locally constant prefactorization algebra over the category of cone-shaped subsets of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathbb {Z}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>. Employing techniques from higher algebra, one extracts from this datum an underlying locally constant prefactorization algebra defined on open disks in the cylinder <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathbb {R}^1\times \mathbb {S}^{n-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>1</mn> </msup> <mo>×</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation>. While the sphere <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathbb {S}^{n-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> </math></EquationSource> </InlineEquation> arises geometrically as the angular coordinates of cones, the origin of the line <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathbb {R}^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation> is analytic and rooted in Haag duality. The usual braided (for <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(n=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>) or symmetric (for <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(n\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>) monoidal <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-categories of superselection sectors are recovered by removing a point of the sphere <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathbb {R}^1\times (\mathbb {S}^{n-1}\setminus \text {pt}) \cong \mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mn>1</mn> </msup> <mo>×</mo> <mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mtext>pt</mtext> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> and using the equivalence between <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathbb {E}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">E</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-algebras and locally constant prefactorization algebras defined on open disks in <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(\mathbb {R}^n\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </math></EquationSource> </InlineEquation>. The non-trivial homotopy groups of spheres induce additional algebraic structures on these <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(\mathbb {E}_n\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">E</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation>-monoidal <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(C^*\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>C</mi> <mo>∗</mo> </msup> </math></EquationSource> </InlineEquation>-categories, which in the case of <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(\mathbb {Z}^2\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">Z</mi> </mrow> <mn>2</mn> </msup> </math></EquationSource> </InlineEquation> is given by a braided monoidal self-equivalence arising geometrically as a kind of ‘holonomy’ around the circle <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(\mathbb {S}^1\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">S</mi> </mrow> <mn>1</mn> </msup> </math></EquationSource> </InlineEquation>. The locally constant prefactorization algebra structures discovered in this work generalize, under some mild geometric conditions, to other discrete spaces and thereby provide a clear link between the geometry of the localization regions and the algebraic structures on the category of superselection sectors.</p>

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

\(C^*\)-Categorical Prefactorization Algebras for Superselection Sectors and Topological Order

  • Marco Benini,
  • Victor Carmona,
  • Pieter Naaijkens,
  • Alexander Schenkel

摘要

This paper presents a conceptual and efficient geometric framework to encode the algebraic structures on the category of superselection sectors of an algebraic quantum field theory on the n-dimensional lattice \(\mathbb {Z}^n\) Z n . It is shown that, under the typical assumption of Haag duality, the monoidal \(C^*\) C -categories of localized superselection sectors carry the structure of a locally constant prefactorization algebra over the category of cone-shaped subsets of \(\mathbb {Z}^n\) Z n . Employing techniques from higher algebra, one extracts from this datum an underlying locally constant prefactorization algebra defined on open disks in the cylinder \(\mathbb {R}^1\times \mathbb {S}^{n-1}\) R 1 × S n - 1 . While the sphere \(\mathbb {S}^{n-1}\) S n - 1 arises geometrically as the angular coordinates of cones, the origin of the line \(\mathbb {R}^1\) R 1 is analytic and rooted in Haag duality. The usual braided (for \(n=2\) n = 2 ) or symmetric (for \(n\ge 3\) n 3 ) monoidal \(C^*\) C -categories of superselection sectors are recovered by removing a point of the sphere \(\mathbb {R}^1\times (\mathbb {S}^{n-1}\setminus \text {pt}) \cong \mathbb {R}^n\) R 1 × ( S n - 1 \ pt ) R n and using the equivalence between \(\mathbb {E}_n\) E n -algebras and locally constant prefactorization algebras defined on open disks in \(\mathbb {R}^n\) R n . The non-trivial homotopy groups of spheres induce additional algebraic structures on these \(\mathbb {E}_n\) E n -monoidal \(C^*\) C -categories, which in the case of \(\mathbb {Z}^2\) Z 2 is given by a braided monoidal self-equivalence arising geometrically as a kind of ‘holonomy’ around the circle \(\mathbb {S}^1\) S 1 . The locally constant prefactorization algebra structures discovered in this work generalize, under some mild geometric conditions, to other discrete spaces and thereby provide a clear link between the geometry of the localization regions and the algebraic structures on the category of superselection sectors.