{"title":"TWISTED ACTIONS ON COHOMOLOGIES AND BIMODULES","authors":"VLADIMIR SHCHIGOLEV","doi":"10.1017/s1446788724000065","DOIUrl":null,"url":null,"abstract":"For closed subgroups <jats:italic>L</jats:italic> and <jats:italic>R</jats:italic> of a compact Lie group <jats:italic>G</jats:italic>, a left <jats:italic>L</jats:italic>-space <jats:italic>X</jats:italic>, and an <jats:italic>L</jats:italic>-equivariant continuous map <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1446788724000065_inline1.png\"/> <jats:tex-math> $A:X\\to G/R$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>, we introduce the twisted action of the equivariant cohomology <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1446788724000065_inline2.png\"/> <jats:tex-math> $H_R^{\\bullet }(\\mathrm {pt},\\Bbbk )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> on the equivariant cohomology <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1446788724000065_inline3.png\"/> <jats:tex-math> $H_L^{\\bullet }(X,\\Bbbk )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. Considering this action as a right action, <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1446788724000065_inline4.png\"/> <jats:tex-math> $H_L^{\\bullet }(X,\\Bbbk )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> becomes a bimodule together with the canonical left action of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S1446788724000065_inline5.png\"/> <jats:tex-math> $H_L^{\\bullet }(\\mathrm {pt},\\Bbbk )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. Using this bimodule structure, we prove an equivariant version of the Künneth isomorphism. We apply this result to the computation of the equivariant cohomologies of Bott–Samelson varieties and to a geometric construction of the bimodule morphisms between them.","PeriodicalId":50007,"journal":{"name":"Journal of the Australian Mathematical Society","volume":"62 1","pages":""},"PeriodicalIF":0.5000,"publicationDate":"2024-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of the Australian Mathematical Society","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/s1446788724000065","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
For closed subgroups L and R of a compact Lie group G, a left L-space X, and an L-equivariant continuous map $A:X\to G/R$ , we introduce the twisted action of the equivariant cohomology $H_R^{\bullet }(\mathrm {pt},\Bbbk )$ on the equivariant cohomology $H_L^{\bullet }(X,\Bbbk )$ . Considering this action as a right action, $H_L^{\bullet }(X,\Bbbk )$ becomes a bimodule together with the canonical left action of $H_L^{\bullet }(\mathrm {pt},\Bbbk )$ . Using this bimodule structure, we prove an equivariant version of the Künneth isomorphism. We apply this result to the computation of the equivariant cohomologies of Bott–Samelson varieties and to a geometric construction of the bimodule morphisms between them.
期刊介绍:
The Journal of the Australian Mathematical Society is the oldest journal of the Society, and is well established in its coverage of all areas of pure mathematics and mathematical statistics. It seeks to publish original high-quality articles of moderate length that will attract wide interest. Papers are carefully reviewed, and those with good introductions explaining the meaning and value of the results are preferred.
Published Bi-monthly
Published for the Australian Mathematical Society