<p>We classify the almost abelian Lie algebras <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2167_Article_IEq1.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="135" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {g}}_A={{\mathbb {R}}}e_0 \ltimes _A {{\mathbb {R}}}^{2n-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="fraktur">g</mi> <mi>A</mi> </msub> <mo>=</mo> <mi mathvariant="double-struck">R</mi> <msub> <mi>e</mi> <mn>0</mn> </msub> <msub> <mo>⋉</mo> <mi>A</mi> </msub> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> </mrow> </math></EquationSource> </InlineEquation> admitting complex or symplectic structures. The matrix <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2167_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="130" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\in M(2n-1,{{\mathbb {R}}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>∈</mo> <mi>M</mi> <mo stretchy="false">(</mo> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> encodes the adjoint action of <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2167_Article_IEq3.gif" Format="GIF" Height="12" Rendition="HTML" Resolution="72" Type="Linedraw" Width="15" /> </InlineMediaObject> <EquationSource Format="TEX">\(e_0\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>e</mi> <mn>0</mn> </msub> </math></EquationSource> </InlineEquation> on the abelian ideal <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2167_Article_IEq4.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="40" /> </InlineMediaObject> <EquationSource Format="TEX">\({{\mathbb {R}}}^{2n-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mn>2</mn> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> </math></EquationSource> </InlineEquation>, and the existence of complex or symplectic structures on <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2167_Article_IEq5.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {g}}_A\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">g</mi> <mi>A</mi> </msub> </math></EquationSource> </InlineEquation> imposes restrictions on the Jordan normal form of <i>A</i>. The classification essentially reduces to the case when <i>A</i> is nilpotent, so we start by considering this case. It turns out that if <i>A</i> is nilpotent and <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2167_Article_IEq5.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {g}}_A\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">g</mi> <mi>A</mi> </msub> </math></EquationSource> </InlineEquation> admits a complex structure, then <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="12220_2025_2167_Article_IEq5.gif" Format="GIF" Height="13" Rendition="HTML" Resolution="72" Type="Linedraw" Width="21" /> </InlineMediaObject> <EquationSource Format="TEX">\({\mathfrak {g}}_A\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">g</mi> <mi>A</mi> </msub> </math></EquationSource> </InlineEquation> necessarily admits a symplectic structure. This is not true in general when <i>A</i> is non-nilpotent. Finally, several consequences of the classification theorems are obtained.</p>

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

Classification of Almost Abelian Lie Groups Admitting Left-Invariant Complex or Symplectic Structures

  • Romina M. Arroyo,
  • María L. Barberis,
  • Verónica S. Diaz,
  • Yamile Godoy,
  • Isabel Hernández

摘要

We classify the almost abelian Lie algebras \({\mathfrak {g}}_A={{\mathbb {R}}}e_0 \ltimes _A {{\mathbb {R}}}^{2n-1}\) g A = R e 0 A R 2 n - 1 admitting complex or symplectic structures. The matrix \(A\in M(2n-1,{{\mathbb {R}}})\) A M ( 2 n - 1 , R ) encodes the adjoint action of \(e_0\) e 0 on the abelian ideal \({{\mathbb {R}}}^{2n-1}\) R 2 n - 1 , and the existence of complex or symplectic structures on \({\mathfrak {g}}_A\) g A imposes restrictions on the Jordan normal form of A. The classification essentially reduces to the case when A is nilpotent, so we start by considering this case. It turns out that if A is nilpotent and \({\mathfrak {g}}_A\) g A admits a complex structure, then \({\mathfrak {g}}_A\) g A necessarily admits a symplectic structure. This is not true in general when A is non-nilpotent. Finally, several consequences of the classification theorems are obtained.