<p>In this article, we provide a general set-up for arbitrary linear Lie groups <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(H\le \textrm{GL}(n,\mathbb {R})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo>≤</mo> <mtext>GL</mtext> <mo stretchy="false">(</mo> <mi>n</mi> <mo>,</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> with Lie algebra <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathfrak {h}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">h</mi> </math></EquationSource> </InlineEquation> which allows to characterise the almost Abelian Lie algebras admitting a torsion-free <i>H</i>-structure. In more concrete terms, using that an <i>n</i>-dimensional almost Abelian Lie algebra <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathfrak {g}=\mathfrak {g}_f\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="fraktur">g</mi> <mo>=</mo> <msub> <mi mathvariant="fraktur">g</mi> <mi>f</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> is fully determined by an endomorphism <i>f</i> of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathbb {R}^{n-1}\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> </math></EquationSource> </InlineEquation>, we give a description of the subspace <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathcal {F}_{\mathfrak {h}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">F</mi> <mi mathvariant="fraktur">h</mi> </msub> </math></EquationSource> </InlineEquation> of all <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(f\in {{\,\textrm{End}\,}}(\mathbb {R}^{n-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo>∈</mo> <mrow> <mspace width="0.166667em" /> <mtext>End</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <msup> <mrow> <mi mathvariant="double-struck">R</mi> </mrow> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msup> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for which <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\mathfrak {g}_f\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="fraktur">g</mi> <mi>f</mi> </msub> </math></EquationSource> </InlineEquation> admits a “special” torsion-free <i>H</i>-structure in terms of the image of a certain linear map. For large classes of linear Lie groups <i>H</i>, we are able to explicitly compute <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathcal {F}_{\mathfrak {h}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">F</mi> <mi mathvariant="fraktur">h</mi> </msub> </math></EquationSource> </InlineEquation> and so give characterisations of the almost Abelian Lie algebras admitting a torsion-free <i>H</i>-structure. Our results reprove all the known characterisations of the almost Abelian Lie algebras admitting a torsion-free <i>H</i>-structure for different single linear Lie groups <i>H</i> and extends them to big classes of linear Lie groups <i>H</i>. For example, we are able to provide characterisations in the case <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(n=2m\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>2</mn> <mi>m</mi> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(H\le \textrm{GL}(m,\mathbb {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo>≤</mo> <mtext>GL</mtext> <mo stretchy="false">(</mo> <mi>m</mi> <mo>,</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <i>H</i> either being a complex Lie group or being totally real, or in the case that <i>H</i> preserves a pseudo-Riemannian metric. In many cases, we show that the space <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(\mathcal {F}_{\mathfrak {h}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">F</mi> <mi mathvariant="fraktur">h</mi> </msub> </math></EquationSource> </InlineEquation> coincides with what we call the <i>characteristic subalgebra</i> <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(\tilde{\mathfrak {k}}_{\mathfrak {h}}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mover accent="true"> <mi mathvariant="fraktur">k</mi> <mo stretchy="false">~</mo> </mover> <mi mathvariant="fraktur">h</mi> </msub> </math></EquationSource> </InlineEquation> associated to <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(\mathfrak {h}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">h</mi> </math></EquationSource> </InlineEquation>, and that then the torsion-free condition is equivalent to the left-invariant flatness condition. In particular, we prove this to be the case if <i>H</i> is a complex linear Lie group or if <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(\mathfrak {h}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="fraktur">h</mi> </math></EquationSource> </InlineEquation> does not contain any elements of rank one or two and is either metric or totally real.</p>

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

Torsion-Free H-Structures on Almost Abelian Solvmanifolds

  • Marco Freibert

摘要

In this article, we provide a general set-up for arbitrary linear Lie groups \(H\le \textrm{GL}(n,\mathbb {R})\) H GL ( n , R ) with Lie algebra \(\mathfrak {h}\) h which allows to characterise the almost Abelian Lie algebras admitting a torsion-free H-structure. In more concrete terms, using that an n-dimensional almost Abelian Lie algebra \(\mathfrak {g}=\mathfrak {g}_f\) g = g f is fully determined by an endomorphism f of \(\mathbb {R}^{n-1}\) R n - 1 , we give a description of the subspace \(\mathcal {F}_{\mathfrak {h}}\) F h of all \(f\in {{\,\textrm{End}\,}}(\mathbb {R}^{n-1})\) f End ( R n - 1 ) for which \(\mathfrak {g}_f\) g f admits a “special” torsion-free H-structure in terms of the image of a certain linear map. For large classes of linear Lie groups H, we are able to explicitly compute \(\mathcal {F}_{\mathfrak {h}}\) F h and so give characterisations of the almost Abelian Lie algebras admitting a torsion-free H-structure. Our results reprove all the known characterisations of the almost Abelian Lie algebras admitting a torsion-free H-structure for different single linear Lie groups H and extends them to big classes of linear Lie groups H. For example, we are able to provide characterisations in the case \(n=2m\) n = 2 m , \(H\le \textrm{GL}(m,\mathbb {C})\) H GL ( m , C ) and H either being a complex Lie group or being totally real, or in the case that H preserves a pseudo-Riemannian metric. In many cases, we show that the space \(\mathcal {F}_{\mathfrak {h}}\) F h coincides with what we call the characteristic subalgebra \(\tilde{\mathfrak {k}}_{\mathfrak {h}}\) k ~ h associated to \(\mathfrak {h}\) h , and that then the torsion-free condition is equivalent to the left-invariant flatness condition. In particular, we prove this to be the case if H is a complex linear Lie group or if \(\mathfrak {h}\) h does not contain any elements of rank one or two and is either metric or totally real.