<p>Motivated by asymptotic symmetry groups in general relativity, we consider projective unitary representations <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5226_Article_IEq1.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\rho }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mi>ρ</mi> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation> of the Lie group <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5226_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="67" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{Diff}\,}}_c(M)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mspace width="0.166667em" /> <mtext>Diff</mtext> <mspace width="0.166667em" /> </mrow> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of compactly supported diffeomorphisms of a smooth manifold <i>M</i> that satisfy a so-called generalized positive energy condition. In particular, this captures representations that are in a suitable sense compatible with a KMS state on the von Neumann algebra generated by <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5226_Article_IEq3.gif" Format="GIF" Height="15" Rendition="HTML" Resolution="72" Type="Linedraw" Width="13" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{\rho }\)</EquationSource> <EquationSource Format="MATHML"><math> <mover> <mi>ρ</mi> <mo>¯</mo> </mover> </math></EquationSource> </InlineEquation>. We show that if <i>M</i> is connected and <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5226_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="89" /> </InlineMediaObject> <EquationSource Format="TEX">\(\dim (M) &gt; 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo>dim</mo> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>, then any such representation is necessarily trivial on the identity component <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5226_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="72" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\,\textrm{Diff}\,}}_c(M)_0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mspace width="0.166667em" /> <mtext>Diff</mtext> <mspace width="0.166667em" /> </mrow> <mi>c</mi> </msub> <msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mn>0</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. As an intermediate step towards this result, we determine the continuous second Lie algebra cohomology <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="220_2024_5226_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(H^2_\textrm{ct}(\mathcal {X}_c(M), \mathbb {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msubsup> <mi>H</mi> <mtext>ct</mtext> <mn>2</mn> </msubsup> <mrow> <mo stretchy="false">(</mo> <msub> <mi mathvariant="script">X</mi> <mi>c</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mi>M</mi> <mo stretchy="false">)</mo> </mrow> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> of the Lie algebra of compactly supported vector fields. This is subtly different from Gelfand–Fuks cohomology in view of the compact support condition.</p>

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

Generalized Positive Energy Representations of the Group of Compactly Supported Diffeomorphisms

  • Bas Janssens,
  • Milan Niestijl

摘要

Motivated by asymptotic symmetry groups in general relativity, we consider projective unitary representations \(\overline{\rho }\) ρ ¯ of the Lie group \({{\,\textrm{Diff}\,}}_c(M)\) Diff c ( M ) of compactly supported diffeomorphisms of a smooth manifold M that satisfy a so-called generalized positive energy condition. In particular, this captures representations that are in a suitable sense compatible with a KMS state on the von Neumann algebra generated by \(\overline{\rho }\) ρ ¯ . We show that if M is connected and \(\dim (M) > 1\) dim ( M ) > 1 , then any such representation is necessarily trivial on the identity component \({{\,\textrm{Diff}\,}}_c(M)_0\) Diff c ( M ) 0 . As an intermediate step towards this result, we determine the continuous second Lie algebra cohomology \(H^2_\textrm{ct}(\mathcal {X}_c(M), \mathbb {R})\) H ct 2 ( X c ( M ) , R ) of the Lie algebra of compactly supported vector fields. This is subtly different from Gelfand–Fuks cohomology in view of the compact support condition.