{"title":"Artin群的根系统、对称性和线性表示","authors":"O. Geneste, Jean-Yves H'ee, L. Paris","doi":"10.5802/ambp.381","DOIUrl":null,"url":null,"abstract":"Let $\\Gamma$ be a Coxeter graph, let $W$ be its associated Coxeter group, and let $G$ be a group of symmetries of $\\Gamma$.Recall that, by a theorem of H{\\'e}e and M\\\"uhlherr, $W^G$ is a Coxeter group associated to some Coxeter graph $\\hat \\Gamma$.We denote by $\\Phi^+$ the set of positive roots of $\\Gamma$ and by $\\hat \\Phi^+$ the set of positive roots of $\\hat \\Gamma$.Let $E$ be a vector space over a field $\\K$ having a basis in one-to-one correspondence with $\\Phi^+$.The action of $G$ on $\\Gamma$ induces an action of $G$ on $\\Phi^+$, and therefore on $E$.We show that $E^G$ contains a linearly independent family of vectors naturally in one-to-one correspondence with $\\hat \\Phi^+$ and we determine exactly when this family is a basis of $E^G$.This question is motivated by the construction of Krammer's style linear representations for non simply laced Artin groups.","PeriodicalId":52347,"journal":{"name":"Annales Mathematiques Blaise Pascal","volume":"1 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2018-04-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Root systems, symmetries and linear representations of Artin groups\",\"authors\":\"O. Geneste, Jean-Yves H'ee, L. Paris\",\"doi\":\"10.5802/ambp.381\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let $\\\\Gamma$ be a Coxeter graph, let $W$ be its associated Coxeter group, and let $G$ be a group of symmetries of $\\\\Gamma$.Recall that, by a theorem of H{\\\\'e}e and M\\\\\\\"uhlherr, $W^G$ is a Coxeter group associated to some Coxeter graph $\\\\hat \\\\Gamma$.We denote by $\\\\Phi^+$ the set of positive roots of $\\\\Gamma$ and by $\\\\hat \\\\Phi^+$ the set of positive roots of $\\\\hat \\\\Gamma$.Let $E$ be a vector space over a field $\\\\K$ having a basis in one-to-one correspondence with $\\\\Phi^+$.The action of $G$ on $\\\\Gamma$ induces an action of $G$ on $\\\\Phi^+$, and therefore on $E$.We show that $E^G$ contains a linearly independent family of vectors naturally in one-to-one correspondence with $\\\\hat \\\\Phi^+$ and we determine exactly when this family is a basis of $E^G$.This question is motivated by the construction of Krammer's style linear representations for non simply laced Artin groups.\",\"PeriodicalId\":52347,\"journal\":{\"name\":\"Annales Mathematiques Blaise Pascal\",\"volume\":\"1 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-04-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annales Mathematiques Blaise Pascal\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.5802/ambp.381\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"Mathematics\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annales Mathematiques Blaise Pascal","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.5802/ambp.381","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"Mathematics","Score":null,"Total":0}
Root systems, symmetries and linear representations of Artin groups
Let $\Gamma$ be a Coxeter graph, let $W$ be its associated Coxeter group, and let $G$ be a group of symmetries of $\Gamma$.Recall that, by a theorem of H{\'e}e and M\"uhlherr, $W^G$ is a Coxeter group associated to some Coxeter graph $\hat \Gamma$.We denote by $\Phi^+$ the set of positive roots of $\Gamma$ and by $\hat \Phi^+$ the set of positive roots of $\hat \Gamma$.Let $E$ be a vector space over a field $\K$ having a basis in one-to-one correspondence with $\Phi^+$.The action of $G$ on $\Gamma$ induces an action of $G$ on $\Phi^+$, and therefore on $E$.We show that $E^G$ contains a linearly independent family of vectors naturally in one-to-one correspondence with $\hat \Phi^+$ and we determine exactly when this family is a basis of $E^G$.This question is motivated by the construction of Krammer's style linear representations for non simply laced Artin groups.