<p>We noticed a discrepancy between Élie Cartan and Sigurdur Helgason about the lowest possible dimension in which the simple exceptional Lie group <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\textbf{E}_8\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">E</mi> <mn>8</mn> </msub> </math></EquationSource> </InlineEquation> can be realized. This raised the question about the lowest dimensions in which various <i>real forms</i> of the exceptional groups <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\textbf{E}_\ell \)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">E</mi> <mi>ℓ</mi> </msub> </math></EquationSource> </InlineEquation> can be realized. Cartan claims that <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\textbf{E}_6\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">E</mi> <mn>6</mn> </msub> </math></EquationSource> </InlineEquation> can be realized in dimension 16. However Cartan refers to the <i>complex</i> group <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\textbf{E}_6\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">E</mi> <mn>6</mn> </msub> </math></EquationSource> </InlineEquation>, or its <i>split real form</i> <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(E_I\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mi>I</mi> </msub> </math></EquationSource> </InlineEquation>. His claim is also valid in the case of the real form denoted by <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(E_{IV}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mrow> <mi mathvariant="italic">IV</mi> </mrow> </msub> </math></EquationSource> </InlineEquation>. We find however that the real forms <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(E_{II}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mrow> <mi mathvariant="italic">II</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(E_{III}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mrow> <mi mathvariant="italic">III</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\textbf{E}_6\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="bold">E</mi> <mn>6</mn> </msub> </math></EquationSource> </InlineEquation> can <i>not</i> be realized in dimension 16 à la Cartan. In this paper we realize them in dimension 24 as groups of CR automorphisms of certain CR structures of higher codimension. As a byproduct of these two realizations, we provide a full list of <i>CR structures</i> (<i>M</i>,&#xa0;<i>H</i>,&#xa0;<i>J</i>) <i>and their CR embeddings in</i> an appropriate <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathbb {C}^N\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mrow> <mi mathvariant="double-struck">C</mi> </mrow> <mi>N</mi> </msup> </math></EquationSource> </InlineEquation>, which satisfy the following conditions:<UnorderedList Mark="Bullet"> <ItemContent> <p>they have real codimension <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(k&gt;1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>&gt;</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>,</p> </ItemContent> <ItemContent> <p>the real vector distribution <i>H</i> proper for the action of the complex structure <i>J</i> is such that <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\([H,H]+H=\textrm{T}M\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">[</mo> <mi>H</mi> <mo>,</mo> <mi>H</mi> <mo stretchy="false">]</mo> <mo>+</mo> <mi>H</mi> <mo>=</mo> <mtext>T</mtext> <mi>M</mi> </mrow> </math></EquationSource> </InlineEquation>,</p> </ItemContent> <ItemContent> <p>the local group <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(G_J\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>J</mi> </msub> </math></EquationSource> </InlineEquation> of CR automorphisms of the structure (<i>M</i>,&#xa0;<i>H</i>,&#xa0;<i>J</i>) is simple, acts transitively on <i>M</i> and has isotropy <i>P</i> being a parabolic subgroup in <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(G_J\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>J</mi> </msub> </math></EquationSource> </InlineEquation>,</p> </ItemContent> <ItemContent> <p>the local symmetry group <i>G</i> of the vector distribution <i>H</i> on <i>M</i> coincides with the group <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(G_J\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mi>J</mi> </msub> </math></EquationSource> </InlineEquation> of CR automorphisms of (<i>M</i>,&#xa0;<i>H</i>,&#xa0;<i>J</i>).</p> </ItemContent> </UnorderedList> Because all the CR structures from our list satisfy the last property we call them <i>accidental</i>. Our CR structures of higher codimension with the exceptional symmetries <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(E_{II}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mrow> <mi mathvariant="italic">II</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(E_{III}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>E</mi> <mrow> <mi mathvariant="italic">III</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> are particular entries in this list.</p>

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

Accidental CR Structures

  • C. Denson Hill,
  • Joël Merker,
  • Zhaohu Nie,
  • Paweł Nurowski

摘要

We noticed a discrepancy between Élie Cartan and Sigurdur Helgason about the lowest possible dimension in which the simple exceptional Lie group \(\textbf{E}_8\) E 8 can be realized. This raised the question about the lowest dimensions in which various real forms of the exceptional groups \(\textbf{E}_\ell \) E can be realized. Cartan claims that \(\textbf{E}_6\) E 6 can be realized in dimension 16. However Cartan refers to the complex group \(\textbf{E}_6\) E 6 , or its split real form \(E_I\) E I . His claim is also valid in the case of the real form denoted by \(E_{IV}\) E IV . We find however that the real forms \(E_{II}\) E II and \(E_{III}\) E III of \(\textbf{E}_6\) E 6 can not be realized in dimension 16 à la Cartan. In this paper we realize them in dimension 24 as groups of CR automorphisms of certain CR structures of higher codimension. As a byproduct of these two realizations, we provide a full list of CR structures (MHJ) and their CR embeddings in an appropriate \(\mathbb {C}^N\) C N , which satisfy the following conditions:

they have real codimension \(k>1\) k > 1 ,

the real vector distribution H proper for the action of the complex structure J is such that \([H,H]+H=\textrm{T}M\) [ H , H ] + H = T M ,

the local group \(G_J\) G J of CR automorphisms of the structure (MHJ) is simple, acts transitively on M and has isotropy P being a parabolic subgroup in \(G_J\) G J ,

the local symmetry group G of the vector distribution H on M coincides with the group \(G_J\) G J of CR automorphisms of (MHJ).

Because all the CR structures from our list satisfy the last property we call them accidental. Our CR structures of higher codimension with the exceptional symmetries \(E_{II}\) E II and \(E_{III}\) E III are particular entries in this list.