<p>An odd generalized metric <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_{-}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mo>-</mo> </msub> </math></EquationSource> </InlineEquation> on a Lie group <i>G</i> of dimension <i>n</i> is a left-invariant generalized metric on a Courant algebroid <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_{H, F}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mrow> <mi>H</mi> <mo>,</mo> <mi>F</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of type <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(B_{n}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>B</mi> <mi>n</mi> </msub> </math></EquationSource> </InlineEquation> over <i>G</i> with left-invariant twisting forms <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq4.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\in \Omega ^{3}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo>∈</mo> <msup> <mi mathvariant="normal">Ω</mi> <mn>3</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq5.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="79" /> </InlineMediaObject> <EquationSource Format="TEX">\(F\in \Omega ^{2}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>F</mi> <mo>∈</mo> <msup> <mi mathvariant="normal">Ω</mi> <mn>2</mn> </msup> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation>. Given an odd generalized metric <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_{-}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mo>-</mo> </msub> </math></EquationSource> </InlineEquation> on <i>G</i> we determine the affine space of left-invariant Levi-Civita generalized connections of <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_{-}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mo>-</mo> </msub> </math></EquationSource> </InlineEquation>. Given in addition a left-invariant divergence operator <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation> we show that there is a left-invariant Levi-Civita generalized connection of <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_{-}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mo>-</mo> </msub> </math></EquationSource> </InlineEquation> with divergence <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation> and we compute the corresponding Ricci tensor <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq11.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="33" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Ric}^{\delta }\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mtext>Ric</mtext> <mi>δ</mi> </msup> </math></EquationSource> </InlineEquation> of the pair <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq12.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\((E_{-}, \delta )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>E</mi> <mo>-</mo> </msub> <mo>,</mo> <mi>δ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. The odd generalized metric <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq1.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="25" /> </InlineMediaObject> <EquationSource Format="TEX">\(E_{-}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mo>-</mo> </msub> </math></EquationSource> </InlineEquation> is called odd generalized Einstein with divergence <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\delta \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>δ</mi> </math></EquationSource> </InlineEquation> if <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10231_2024_1540_Article_IEq15.gif" Format="GIF" Height="18" Rendition="HTML" Resolution="72" Type="Linedraw" Width="61" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Ric}^{\delta }=0\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mtext>Ric</mtext> <mi>δ</mi> </msup> <mo>=</mo> <mn>0</mn> </mrow> </math></EquationSource> </InlineEquation>. As an application of our theory, we describe all odd generalized Einstein metrics of arbitrary left-invariant divergence on all 3-dimensional unimodular Lie groups.</p>

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

Odd generalized Einstein metrics on Lie groups

  • Vicente Cortés,
  • Liana David

摘要

An odd generalized metric \(E_{-}\) E - on a Lie group G of dimension n is a left-invariant generalized metric on a Courant algebroid \(E_{H, F}\) E H , F of type \(B_{n}\) B n over G with left-invariant twisting forms \(H\in \Omega ^{3}(G)\) H Ω 3 ( G ) and \(F\in \Omega ^{2}(G)\) F Ω 2 ( G ) . Given an odd generalized metric \(E_{-}\) E - on G we determine the affine space of left-invariant Levi-Civita generalized connections of \(E_{-}\) E - . Given in addition a left-invariant divergence operator \(\delta \) δ we show that there is a left-invariant Levi-Civita generalized connection of \(E_{-}\) E - with divergence \(\delta \) δ and we compute the corresponding Ricci tensor \(\textrm{Ric}^{\delta }\) Ric δ of the pair \((E_{-}, \delta )\) ( E - , δ ) . The odd generalized metric \(E_{-}\) E - is called odd generalized Einstein with divergence \(\delta \) δ if \(\textrm{Ric}^{\delta }=0\) Ric δ = 0 . As an application of our theory, we describe all odd generalized Einstein metrics of arbitrary left-invariant divergence on all 3-dimensional unimodular Lie groups.