{"title":"四元数投影平面上的Torus作用及其相关空间","authors":"Anton Ayzenberg","doi":"10.1007/s40598-020-00166-4","DOIUrl":null,"url":null,"abstract":"<div><p>For an effective action of a compact torus <i>T</i> on a smooth compact manifold <i>X</i> with nonempty finite set of fixed points, the number <span>\\(\\frac{1}{2}\\dim X-\\dim T\\)</span> is called the complexity of the action. In this paper, we study certain examples of torus actions of complexity one and describe their orbit spaces. We prove that <span>\\({\\mathbb {H}}P^2/T^3\\cong S^5\\)</span> and <span>\\(S^6/T^2\\cong S^4\\)</span>, for the homogeneous spaces <span>\\({\\mathbb {H}}P^2={{\\,\\mathrm{Sp}\\,}}(3)/({{\\,\\mathrm{Sp}\\,}}(2)\\times {{\\,\\mathrm{Sp}\\,}}(1))\\)</span> and <span>\\(S^6=G_2/{{\\,\\mathrm{SU}\\,}}(3)\\)</span>. Here, the maximal tori of the corresponding Lie groups <span>\\({{\\,\\mathrm{Sp}\\,}}(3)\\)</span> and <span>\\(G_2\\)</span> act on the homogeneous spaces from the left. Next we consider the quaternionic analogues of smooth toric surfaces: they give a class of eight-dimensional manifolds with the action of <span>\\(T^3\\)</span>. This class generalizes <span>\\({\\mathbb {H}}P^2\\)</span>. We prove that their orbit spaces are homeomorphic to <span>\\(S^5\\)</span> as well. We link this result to Kuiper–Massey theorem and its generalizations studied by Arnold.</p></div>","PeriodicalId":37546,"journal":{"name":"Arnold Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2020-11-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1007/s40598-020-00166-4","citationCount":"9","resultStr":"{\"title\":\"Torus Action on Quaternionic Projective Plane and Related Spaces\",\"authors\":\"Anton Ayzenberg\",\"doi\":\"10.1007/s40598-020-00166-4\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>For an effective action of a compact torus <i>T</i> on a smooth compact manifold <i>X</i> with nonempty finite set of fixed points, the number <span>\\\\(\\\\frac{1}{2}\\\\dim X-\\\\dim T\\\\)</span> is called the complexity of the action. In this paper, we study certain examples of torus actions of complexity one and describe their orbit spaces. We prove that <span>\\\\({\\\\mathbb {H}}P^2/T^3\\\\cong S^5\\\\)</span> and <span>\\\\(S^6/T^2\\\\cong S^4\\\\)</span>, for the homogeneous spaces <span>\\\\({\\\\mathbb {H}}P^2={{\\\\,\\\\mathrm{Sp}\\\\,}}(3)/({{\\\\,\\\\mathrm{Sp}\\\\,}}(2)\\\\times {{\\\\,\\\\mathrm{Sp}\\\\,}}(1))\\\\)</span> and <span>\\\\(S^6=G_2/{{\\\\,\\\\mathrm{SU}\\\\,}}(3)\\\\)</span>. Here, the maximal tori of the corresponding Lie groups <span>\\\\({{\\\\,\\\\mathrm{Sp}\\\\,}}(3)\\\\)</span> and <span>\\\\(G_2\\\\)</span> act on the homogeneous spaces from the left. Next we consider the quaternionic analogues of smooth toric surfaces: they give a class of eight-dimensional manifolds with the action of <span>\\\\(T^3\\\\)</span>. This class generalizes <span>\\\\({\\\\mathbb {H}}P^2\\\\)</span>. We prove that their orbit spaces are homeomorphic to <span>\\\\(S^5\\\\)</span> as well. We link this result to Kuiper–Massey theorem and its generalizations studied by Arnold.</p></div>\",\"PeriodicalId\":37546,\"journal\":{\"name\":\"Arnold Mathematical Journal\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-11-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1007/s40598-020-00166-4\",\"citationCount\":\"9\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Arnold Mathematical Journal\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s40598-020-00166-4\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Arnold Mathematical Journal","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.1007/s40598-020-00166-4","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"Mathematics","Score":null,"Total":0}
Torus Action on Quaternionic Projective Plane and Related Spaces
For an effective action of a compact torus T on a smooth compact manifold X with nonempty finite set of fixed points, the number \(\frac{1}{2}\dim X-\dim T\) is called the complexity of the action. In this paper, we study certain examples of torus actions of complexity one and describe their orbit spaces. We prove that \({\mathbb {H}}P^2/T^3\cong S^5\) and \(S^6/T^2\cong S^4\), for the homogeneous spaces \({\mathbb {H}}P^2={{\,\mathrm{Sp}\,}}(3)/({{\,\mathrm{Sp}\,}}(2)\times {{\,\mathrm{Sp}\,}}(1))\) and \(S^6=G_2/{{\,\mathrm{SU}\,}}(3)\). Here, the maximal tori of the corresponding Lie groups \({{\,\mathrm{Sp}\,}}(3)\) and \(G_2\) act on the homogeneous spaces from the left. Next we consider the quaternionic analogues of smooth toric surfaces: they give a class of eight-dimensional manifolds with the action of \(T^3\). This class generalizes \({\mathbb {H}}P^2\). We prove that their orbit spaces are homeomorphic to \(S^5\) as well. We link this result to Kuiper–Massey theorem and its generalizations studied by Arnold.
期刊介绍:
The Arnold Mathematical Journal publishes interesting and understandable results in all areas of mathematics. The name of the journal is not only a dedication to the memory of Vladimir Arnold (1937 – 2010), one of the most influential mathematicians of the 20th century, but also a declaration that the journal should serve to maintain and promote the scientific style characteristic for Arnold''s best mathematical works. Features of AMJ publications include: Popularity. The journal articles should be accessible to a very wide community of mathematicians. Not only formal definitions necessary for the understanding must be provided but also informal motivations even if the latter are well-known to the experts in the field. Interdisciplinary and multidisciplinary mathematics. AMJ publishes research expositions that connect different mathematical subjects. Connections that are useful in both ways are of particular importance. Multidisciplinary research (even if the disciplines all belong to pure mathematics) is generally hard to evaluate, for this reason, this kind of research is often under-represented in specialized mathematical journals. AMJ will try to compensate for this.Problems, objectives, work in progress. Most scholarly publications present results of a research project in their “final'' form, in which all posed questions are answered. Some open questions and conjectures may be even mentioned, but the very process of mathematical discovery remains hidden. Following Arnold, publications in AMJ will try to unhide this process and made it public by encouraging the authors to include informal discussion of their motivation, possibly unsuccessful lines of attack, experimental data and close by research directions. AMJ publishes well-motivated research problems on a regular basis. Problems do not need to be original; an old problem with a new and exciting motivation is worth re-stating. Following Arnold''s principle, a general formulation is less desirable than the simplest partial case that is still unknown.Being interesting. The most important requirement is that the article be interesting. It does not have to be limited by original research contributions of the author; however, the author''s responsibility is to carefully acknowledge the authorship of all results. Neither does the article need to consist entirely of formal and rigorous arguments. It can contain parts, in which an informal author''s understanding of the overall picture is presented; however, these parts must be clearly indicated.