求助PDF
{"title":"有限群对称对的乘数界值","authors":"Avraham Aizenbud, Nir Avni","doi":"10.1017/fms.2024.58","DOIUrl":null,"url":null,"abstract":"Let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline1.png\"/> <jats:tex-math> $\\Gamma $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> be a finite group, let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline2.png\"/> <jats:tex-math> $\\theta $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> be an involution of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline3.png\"/> <jats:tex-math> $\\Gamma $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline4.png\"/> <jats:tex-math> $\\rho $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> be an irreducible complex representation of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline5.png\"/> <jats:tex-math> $\\Gamma $ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. We bound <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline6.png\"/> <jats:tex-math> ${\\operatorname {dim}} \\rho ^{\\Gamma ^{\\theta }}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> in terms of the smallest dimension of a faithful <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline7.png\"/> <jats:tex-math> $\\mathbb {F}_p$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>-representation of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline8.png\"/> <jats:tex-math> $\\Gamma /\\operatorname {\\mathrm {Rad}}_p(\\Gamma )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>, where <jats:italic>p</jats:italic> is any odd prime and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline9.png\"/> <jats:tex-math> $\\operatorname {\\mathrm {Rad}}_p(\\Gamma )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is the maximal normal <jats:italic>p</jats:italic>-subgroup of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline10.png\"/> <jats:tex-math> $\\Gamma $ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. This implies, in particular, that if <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline11.png\"/> <jats:tex-math> $\\mathbf {G}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is a group scheme over <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline12.png\"/> <jats:tex-math> $\\mathbb {Z}$ </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=\"S2050509424000586_inline13.png\"/> <jats:tex-math> $\\theta $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is an involution of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline14.png\"/> <jats:tex-math> $\\mathbf {G}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>, then the multiplicity of any irreducible representation in <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S2050509424000586_inline15.png\"/> <jats:tex-math> $C^\\infty \\left( \\mathbf {G}(\\mathbb {Z}_p)/ \\mathbf {G} ^{\\theta }(\\mathbb {Z}_p) \\right)$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is bounded, uniformly in <jats:italic>p</jats:italic>.","PeriodicalId":56000,"journal":{"name":"Forum of Mathematics Sigma","volume":null,"pages":null},"PeriodicalIF":1.2000,"publicationDate":"2024-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Bounds on multiplicities of symmetric pairs of finite groups\",\"authors\":\"Avraham Aizenbud, Nir Avni\",\"doi\":\"10.1017/fms.2024.58\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline1.png\\\"/> <jats:tex-math> $\\\\Gamma $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> be a finite group, let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline2.png\\\"/> <jats:tex-math> $\\\\theta $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> be an involution of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline3.png\\\"/> <jats:tex-math> $\\\\Gamma $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline4.png\\\"/> <jats:tex-math> $\\\\rho $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> be an irreducible complex representation of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline5.png\\\"/> <jats:tex-math> $\\\\Gamma $ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. We bound <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline6.png\\\"/> <jats:tex-math> ${\\\\operatorname {dim}} \\\\rho ^{\\\\Gamma ^{\\\\theta }}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> in terms of the smallest dimension of a faithful <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline7.png\\\"/> <jats:tex-math> $\\\\mathbb {F}_p$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>-representation of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline8.png\\\"/> <jats:tex-math> $\\\\Gamma /\\\\operatorname {\\\\mathrm {Rad}}_p(\\\\Gamma )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>, where <jats:italic>p</jats:italic> is any odd prime and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline9.png\\\"/> <jats:tex-math> $\\\\operatorname {\\\\mathrm {Rad}}_p(\\\\Gamma )$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is the maximal normal <jats:italic>p</jats:italic>-subgroup of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline10.png\\\"/> <jats:tex-math> $\\\\Gamma $ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. This implies, in particular, that if <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline11.png\\\"/> <jats:tex-math> $\\\\mathbf {G}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is a group scheme over <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline12.png\\\"/> <jats:tex-math> $\\\\mathbb {Z}$ </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=\\\"S2050509424000586_inline13.png\\\"/> <jats:tex-math> $\\\\theta $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is an involution of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline14.png\\\"/> <jats:tex-math> $\\\\mathbf {G}$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>, then the multiplicity of any irreducible representation in <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" mime-subtype=\\\"png\\\" xlink:href=\\\"S2050509424000586_inline15.png\\\"/> <jats:tex-math> $C^\\\\infty \\\\left( \\\\mathbf {G}(\\\\mathbb {Z}_p)/ \\\\mathbf {G} ^{\\\\theta }(\\\\mathbb {Z}_p) \\\\right)$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is bounded, uniformly in <jats:italic>p</jats:italic>.\",\"PeriodicalId\":56000,\"journal\":{\"name\":\"Forum of Mathematics Sigma\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.2000,\"publicationDate\":\"2024-09-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Forum of Mathematics Sigma\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1017/fms.2024.58\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Forum of Mathematics Sigma","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/fms.2024.58","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
引用
批量引用
Bounds on multiplicities of symmetric pairs of finite groups
Let $\Gamma $ be a finite group, let $\theta $ be an involution of $\Gamma $ and let $\rho $ be an irreducible complex representation of $\Gamma $ . We bound ${\operatorname {dim}} \rho ^{\Gamma ^{\theta }}$ in terms of the smallest dimension of a faithful $\mathbb {F}_p$ -representation of $\Gamma /\operatorname {\mathrm {Rad}}_p(\Gamma )$ , where p is any odd prime and $\operatorname {\mathrm {Rad}}_p(\Gamma )$ is the maximal normal p -subgroup of $\Gamma $ . This implies, in particular, that if $\mathbf {G}$ is a group scheme over $\mathbb {Z}$ and $\theta $ is an involution of $\mathbf {G}$ , then the multiplicity of any irreducible representation in $C^\infty \left( \mathbf {G}(\mathbb {Z}_p)/ \mathbf {G} ^{\theta }(\mathbb {Z}_p) \right)$ is bounded, uniformly in p .