{"title":"李代数g2∧so(7)、结合3平面和so(4)子代数的观察","authors":"Max Chemtov , Spiro Karigiannis","doi":"10.1016/j.exmath.2022.10.004","DOIUrl":null,"url":null,"abstract":"<div><p><span>We make several observations relating the Lie algebra </span><span><math><mrow><msub><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⊂</mo><mi>so</mi><mrow><mo>(</mo><mn>7</mn><mo>)</mo></mrow></mrow></math></span>, associative 3-planes, and <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math></span><span> subalgebras. Some are likely well-known but not easy to find in the literature, while other results are new. We show that an element </span><span><math><mrow><mi>X</mi><mo>∈</mo><msub><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span><span> cannot have rank 2, and if it has rank 4 then its kernel is an associative subspace. We prove a canonical form theorem for elements of </span><span><math><msub><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>. Given an associative 3-plane <span><math><mi>P</mi></math></span> in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>7</mn></mrow></msup></math></span>, we construct a Lie subalgebra <span><math><mrow><mi>Θ</mi><mrow><mo>(</mo><mi>P</mi><mo>)</mo></mrow></mrow></math></span> of <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>7</mn><mo>)</mo></mrow><mo>=</mo><msup><mrow><mi>Λ</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>7</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> that is isomorphic to <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math></span>. This <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math></span> subalgebra differs from other known constructions of <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math></span> subalgebras of <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>7</mn><mo>)</mo></mrow></mrow></math></span> determined by an associative 3-plane. These are results of an NSERC undergraduate research project. The paper is written so as to be accessible to a wide audience.</p></div>","PeriodicalId":50458,"journal":{"name":"Expositiones Mathematicae","volume":null,"pages":null},"PeriodicalIF":0.8000,"publicationDate":"2022-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Observations about the Lie algebra g2⊂so(7), associative 3-planes, and so(4) subalgebras\",\"authors\":\"Max Chemtov , Spiro Karigiannis\",\"doi\":\"10.1016/j.exmath.2022.10.004\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p><span>We make several observations relating the Lie algebra </span><span><math><mrow><msub><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⊂</mo><mi>so</mi><mrow><mo>(</mo><mn>7</mn><mo>)</mo></mrow></mrow></math></span>, associative 3-planes, and <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math></span><span> subalgebras. Some are likely well-known but not easy to find in the literature, while other results are new. We show that an element </span><span><math><mrow><mi>X</mi><mo>∈</mo><msub><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msub></mrow></math></span><span> cannot have rank 2, and if it has rank 4 then its kernel is an associative subspace. We prove a canonical form theorem for elements of </span><span><math><msub><mrow><mi>g</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span>. Given an associative 3-plane <span><math><mi>P</mi></math></span> in <span><math><msup><mrow><mi>R</mi></mrow><mrow><mn>7</mn></mrow></msup></math></span>, we construct a Lie subalgebra <span><math><mrow><mi>Θ</mi><mrow><mo>(</mo><mi>P</mi><mo>)</mo></mrow></mrow></math></span> of <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>7</mn><mo>)</mo></mrow><mo>=</mo><msup><mrow><mi>Λ</mi></mrow><mrow><mn>2</mn></mrow></msup><mrow><mo>(</mo><msup><mrow><mi>R</mi></mrow><mrow><mn>7</mn></mrow></msup><mo>)</mo></mrow></mrow></math></span> that is isomorphic to <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math></span>. This <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math></span> subalgebra differs from other known constructions of <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>4</mn><mo>)</mo></mrow></mrow></math></span> subalgebras of <span><math><mrow><mi>so</mi><mrow><mo>(</mo><mn>7</mn><mo>)</mo></mrow></mrow></math></span> determined by an associative 3-plane. These are results of an NSERC undergraduate research project. The paper is written so as to be accessible to a wide audience.</p></div>\",\"PeriodicalId\":50458,\"journal\":{\"name\":\"Expositiones Mathematicae\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.8000,\"publicationDate\":\"2022-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Expositiones Mathematicae\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0723086922000603\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Expositiones Mathematicae","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0723086922000603","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
Observations about the Lie algebra g2⊂so(7), associative 3-planes, and so(4) subalgebras
We make several observations relating the Lie algebra , associative 3-planes, and subalgebras. Some are likely well-known but not easy to find in the literature, while other results are new. We show that an element cannot have rank 2, and if it has rank 4 then its kernel is an associative subspace. We prove a canonical form theorem for elements of . Given an associative 3-plane in , we construct a Lie subalgebra of that is isomorphic to . This subalgebra differs from other known constructions of subalgebras of determined by an associative 3-plane. These are results of an NSERC undergraduate research project. The paper is written so as to be accessible to a wide audience.
期刊介绍:
Our aim is to publish papers of interest to a wide mathematical audience. Our main interest is in expository articles that make high-level research results more widely accessible. In general, material submitted should be at least at the graduate level.Main articles must be written in such a way that a graduate-level research student interested in the topic of the paper can read them profitably. When the topic is quite specialized, or the main focus is a narrow research result, the paper is probably not appropriate for this journal. Most original research articles are not suitable for this journal, unless they have particularly broad appeal.Mathematical notes can be more focused than main articles. These should not simply be short research articles, but should address a mathematical question with reasonably broad appeal. Elementary solutions of elementary problems are typically not appropriate. Neither are overly technical papers, which should best be submitted to a specialized research journal.Clarity of exposition, accuracy of details and the relevance and interest of the subject matter will be the decisive factors in our acceptance of an article for publication. Submitted papers are subject to a quick overview before entering into a more detailed review process. All published papers have been refereed.