{"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":50002,"journal":{"name":"Journal of the Institute of Mathematics of Jussieu","volume":"66 1","pages":""},"PeriodicalIF":1.1000,"publicationDate":"2024-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the Institute of Mathematics of Jussieu","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/s1474748024000173","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
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 $\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$ .
期刊介绍:
The Journal of the Institute of Mathematics of Jussieu publishes original research papers in any branch of pure mathematics; papers in logic and applied mathematics will also be considered, particularly when they have direct connections with pure mathematics. Its policy is to feature a wide variety of research areas and it welcomes the submission of papers from all parts of the world. Selection for publication is on the basis of reports from specialist referees commissioned by the Editors.