{"title":"非凡简单实线性代数和通过接触化","authors":"Paweł Nurowski","doi":"10.1017/s1474748024000173","DOIUrl":null,"url":null,"abstract":"In Cartan’s PhD thesis, there is a formula defining a certain rank 8 vector distribution in dimension 15, whose algebra of authomorphism is the split real form of the simple exceptional complex Lie algebra <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline3.png\"/> <jats:tex-math> $\\mathfrak {f}_4$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. Cartan’s formula is written in the standard Cartesian coordinates in <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline4.png\"/> <jats:tex-math> $\\mathbb {R}^{15}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. In the present paper, we explain how to find analogous formulae for the flat models of any bracket generating distribution <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline5.png\"/> <jats:tex-math> $\\mathcal D$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> whose symbol algebra <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline6.png\"/> <jats:tex-math> $\\mathfrak {n}({\\mathcal D})$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is constant and 2-step graded, <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline7.png\"/> <jats:tex-math> $\\mathfrak {n}({\\mathcal D})=\\mathfrak {n}_{-2}\\oplus \\mathfrak {n}_{-1}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. The formula is given in terms of a solution to a certain system of linear algebraic equations determined by two representations <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline8.png\"/> <jats:tex-math> $(\\rho ,\\mathfrak {n}_{-1})$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline9.png\"/> <jats:tex-math> $(\\tau ,\\mathfrak {n}_{-2})$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> of a Lie algebra <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline10.png\"/> <jats:tex-math> $\\mathfrak {n}_{00}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> contained in the <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline11.png\"/> <jats:tex-math> $0$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>th order Tanaka prolongation <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline12.png\"/> <jats:tex-math> $\\mathfrak {n}_0$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline13.png\"/> <jats:tex-math> $\\mathfrak {n}({\\mathcal D})$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. Numerous examples are provided, with particular emphasis put on the distributions with symmetries being real forms of simple exceptional Lie algebras <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline14.png\"/> <jats:tex-math> $\\mathfrak {f}_4$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1474748024000173_inline15.png\"/> <jats:tex-math> $\\mathfrak {e}_6$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>.","PeriodicalId":1,"journal":{"name":"Accounts of Chemical Research","volume":null,"pages":null},"PeriodicalIF":16.4000,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"EXCEPTIONAL SIMPLE REAL LIE ALGEBRAS AND VIA CONTACTIFICATIONS\",\"authors\":\"Paweł Nurowski\",\"doi\":\"10.1017/s1474748024000173\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In Cartan’s PhD thesis, there is a formula defining a certain rank 8 vector distribution in dimension 15, whose algebra of authomorphism is the split real form of the simple exceptional complex Lie algebra <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline3.png\\\"/> <jats:tex-math> $\\\\mathfrak {f}_4$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. Cartan’s formula is written in the standard Cartesian coordinates in <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline4.png\\\"/> <jats:tex-math> $\\\\mathbb {R}^{15}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. In the present paper, we explain how to find analogous formulae for the flat models of any bracket generating distribution <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline5.png\\\"/> <jats:tex-math> $\\\\mathcal D$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> whose symbol algebra <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline6.png\\\"/> <jats:tex-math> $\\\\mathfrak {n}({\\\\mathcal D})$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is constant and 2-step graded, <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline7.png\\\"/> <jats:tex-math> $\\\\mathfrak {n}({\\\\mathcal D})=\\\\mathfrak {n}_{-2}\\\\oplus \\\\mathfrak {n}_{-1}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. The formula is given in terms of a solution to a certain system of linear algebraic equations determined by two representations <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline8.png\\\"/> <jats:tex-math> $(\\\\rho ,\\\\mathfrak {n}_{-1})$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline9.png\\\"/> <jats:tex-math> $(\\\\tau ,\\\\mathfrak {n}_{-2})$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> of a Lie algebra <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline10.png\\\"/> <jats:tex-math> $\\\\mathfrak {n}_{00}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> contained in the <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline11.png\\\"/> <jats:tex-math> $0$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>th order Tanaka prolongation <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline12.png\\\"/> <jats:tex-math> $\\\\mathfrak {n}_0$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline13.png\\\"/> <jats:tex-math> $\\\\mathfrak {n}({\\\\mathcal D})$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. Numerous examples are provided, with particular emphasis put on the distributions with symmetries being real forms of simple exceptional Lie algebras <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline14.png\\\"/> <jats:tex-math> $\\\\mathfrak {f}_4$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S1474748024000173_inline15.png\\\"/> <jats:tex-math> $\\\\mathfrak {e}_6$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>.\",\"PeriodicalId\":1,\"journal\":{\"name\":\"Accounts of Chemical Research\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":16.4000,\"publicationDate\":\"2024-07-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Accounts of Chemical Research\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1017/s1474748024000173\",\"RegionNum\":1,\"RegionCategory\":\"化学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"CHEMISTRY, MULTIDISCIPLINARY\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Accounts of Chemical Research","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/s1474748024000173","RegionNum":1,"RegionCategory":"化学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"CHEMISTRY, MULTIDISCIPLINARY","Score":null,"Total":0}
EXCEPTIONAL SIMPLE REAL LIE ALGEBRAS AND VIA CONTACTIFICATIONS
In Cartan’s PhD thesis, there is a formula defining a certain rank 8 vector distribution in dimension 15, whose algebra of authomorphism is the split real form of the simple exceptional complex Lie algebra $\mathfrak {f}_4$ . Cartan’s formula is written in the standard Cartesian coordinates in $\mathbb {R}^{15}$ . In the present paper, we explain how to find analogous formulae for the flat models of any bracket generating distribution $\mathcal D$ whose symbol algebra $\mathfrak {n}({\mathcal D})$ is constant and 2-step graded, $\mathfrak {n}({\mathcal D})=\mathfrak {n}_{-2}\oplus \mathfrak {n}_{-1}$ . The formula is given in terms of a solution to a certain system of linear algebraic equations determined by two representations $(\rho ,\mathfrak {n}_{-1})$ and $(\tau ,\mathfrak {n}_{-2})$ of a Lie algebra $\mathfrak {n}_{00}$ contained in the $0$ th order Tanaka prolongation $\mathfrak {n}_0$ of $\mathfrak {n}({\mathcal D})$ . Numerous examples are provided, with particular emphasis put on the distributions with symmetries being real forms of simple exceptional Lie algebras $\mathfrak {f}_4$ and $\mathfrak {e}_6$ .
期刊介绍:
Accounts of Chemical Research presents short, concise and critical articles offering easy-to-read overviews of basic research and applications in all areas of chemistry and biochemistry. These short reviews focus on research from the author’s own laboratory and are designed to teach the reader about a research project. In addition, Accounts of Chemical Research publishes commentaries that give an informed opinion on a current research problem. Special Issues online are devoted to a single topic of unusual activity and significance.
Accounts of Chemical Research replaces the traditional article abstract with an article "Conspectus." These entries synopsize the research affording the reader a closer look at the content and significance of an article. Through this provision of a more detailed description of the article contents, the Conspectus enhances the article's discoverability by search engines and the exposure for the research.