<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(L\subseteq \mathbb {R}^{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>L</mi> <mo>⊆</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> an even lattice and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(T_{L}=\mathbb {R}^{n}/L\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>T</mi> <mi>L</mi> </msub> <mo>=</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> <mo stretchy="false">/</mo> <mi>L</mi> </mrow> </math></EquationSource> </InlineEquation> the associated torus. Associated with <i>L</i> we construct <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(T_{L}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>L</mi> </msub> </math></EquationSource> </InlineEquation>-kernel on a hyperfinite factor type <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathcal {A}_{L}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">A</mi> <mi>L</mi> </msub> </math></EquationSource> </InlineEquation>, i.e. a monomorphism <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(T_{L}\rightarrow \textsf{Out}(\mathcal {A}_{L})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>T</mi> <mi>L</mi> </msub> <mo stretchy="false">→</mo> <mi mathvariant="sans-serif">Out</mi> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">A</mi> <mi>L</mi> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, and compute Sutherland’s Sutherland, C.E.: Cohomology and extensions of von Neumann algebras. I. Publ. Res. Inst. Math. Sci. <b>16</b>(1), 105–133 (1980); Sutherland, C.E.: Cohomology and extensions of von Neumann algebras. II. Publ. Res. Inst. Math. Sci. <b>16</b>(1), 135–174 (1980) obstruction class in <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(H^{3}_{\textrm{Borel}}(T_{L},\mathbb {T})\cong H^{4}(BT_{L},\mathbb {Z})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mtext>Borel</mtext> <mn>3</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi>T</mi> <mi>L</mi> </msub> <mo>,</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <msup> <mi>H</mi> <mn>4</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>B</mi> <msub> <mi>T</mi> <mi>L</mi> </msub> <mo>,</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>, which is an invariant of the <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(T_{L}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>L</mi> </msub> </math></EquationSource> </InlineEquation>-kernel and an obstruction to the existence of a twisted crossed product by <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(T_{L}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>L</mi> </msub> </math></EquationSource> </InlineEquation>. As a Corollary, we obtain that for any <i>n</i>-torus <i>T</i> any class in <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(H^{3}_{\textrm{Borel}}(T,\mathbb {T})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mtext>Borel</mtext> <mn>3</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo>,</mo> <mi mathvariant="double-struck">T</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> arises as an obstruction for a <i>T</i>-kernel on the hyperfinite type III<InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(_{1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mrow /> <mn>1</mn> <mrow /> </mmultiscripts> </math></EquationSource> </InlineEquation> factor <i>R</i>.</p><p>The construction is an analogue of the construction of Vaughan Jones for finite groups on the hyperfinite type II<InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(_{1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mmultiscripts> <mrow /> <mn>1</mn> <mrow /> </mmultiscripts> </math></EquationSource> </InlineEquation> factor but is also motivated by and has applications to conformal nets. Namely, there is an associated local extension <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\mathcal {A}_{L}\supseteq \mathcal {A}_{\mathbb {R}^n}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="script">A</mi> <mi>L</mi> </msub> <mo>⊇</mo> <msub> <mi mathvariant="script">A</mi> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mi>n</mi> </msup> </msub> </mrow> </math></EquationSource> </InlineEquation> of conformal nets and the <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(T_{L}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <mi>L</mi> </msub> </math></EquationSource> </InlineEquation>-kernel corresponds to a family of <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(T_{L^*}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>T</mi> <msup> <mi>L</mi> <mo>∗</mo> </msup> </msub> </math></EquationSource> </InlineEquation>-twisted sectors representations whose anomaly (obstruction) can be identified with the inner product on <i>L</i> seen as a class in <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(H^{4}(BT_{L},\mathbb {Z})\cong \operatorname {Sym}^{2}(L,\mathbb {Z})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mi>H</mi> <mn>4</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>B</mi> <msub> <mi>T</mi> <mi>L</mi> </msub> <mo>,</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> <mo>≅</mo> <msup> <mo>Sym</mo> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>L</mi> <mo>,</mo> <mi mathvariant="double-struck">Z</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Anomalies for Conformal Nets Associated with Lattices and T-Kernels

  • Marcel Bischoff,
  • Pradyut Karmakar

摘要

Let \(L\subseteq \mathbb {R}^{n}\) L R n an even lattice and \(T_{L}=\mathbb {R}^{n}/L\) T L = R n / L the associated torus. Associated with L we construct \(T_{L}\) T L -kernel on a hyperfinite factor type \(\mathcal {A}_{L}\) A L , i.e. a monomorphism \(T_{L}\rightarrow \textsf{Out}(\mathcal {A}_{L})\) T L Out ( A L ) , and compute Sutherland’s Sutherland, C.E.: Cohomology and extensions of von Neumann algebras. I. Publ. Res. Inst. Math. Sci. 16(1), 105–133 (1980); Sutherland, C.E.: Cohomology and extensions of von Neumann algebras. II. Publ. Res. Inst. Math. Sci. 16(1), 135–174 (1980) obstruction class in \(H^{3}_{\textrm{Borel}}(T_{L},\mathbb {T})\cong H^{4}(BT_{L},\mathbb {Z})\) H Borel 3 ( T L , T ) H 4 ( B T L , Z ) , which is an invariant of the \(T_{L}\) T L -kernel and an obstruction to the existence of a twisted crossed product by \(T_{L}\) T L . As a Corollary, we obtain that for any n-torus T any class in \(H^{3}_{\textrm{Borel}}(T,\mathbb {T})\) H Borel 3 ( T , T ) arises as an obstruction for a T-kernel on the hyperfinite type III \(_{1}\) 1 factor R.

The construction is an analogue of the construction of Vaughan Jones for finite groups on the hyperfinite type II \(_{1}\) 1 factor but is also motivated by and has applications to conformal nets. Namely, there is an associated local extension \(\mathcal {A}_{L}\supseteq \mathcal {A}_{\mathbb {R}^n}\) A L A R n of conformal nets and the \(T_{L}\) T L -kernel corresponds to a family of \(T_{L^*}\) T L -twisted sectors representations whose anomaly (obstruction) can be identified with the inner product on L seen as a class in \(H^{4}(BT_{L},\mathbb {Z})\cong \operatorname {Sym}^{2}(L,\mathbb {Z})\) H 4 ( B T L , Z ) Sym 2 ( L , Z ) .