{"title":"可解线性代数群的有理同调与扎里斯基密集子群","authors":"Milana Golich, Mark Pengitore","doi":"arxiv-2409.09987","DOIUrl":null,"url":null,"abstract":"In this article, we establish results concerning the cohomology of Zariski\ndense subgroups of solvable linear algebraic groups. We show that for an\nirreducible solvable $\\mathbb{Q}$-defined linear algebraic group $\\mathbf{G}$,\nthere exists an isomorphism between the cohomology rings with coefficients in a\nfinite dimensional rational $\\mathbf{G}$-module $M$ of the associated\n$\\mathbb{Q}$-defined Lie algebra $\\mathfrak{g_\\mathbb{Q}}$ and Zariski dense\nsubgroups $\\Gamma \\leq \\mathbf{G}(\\mathbb{Q})$ that satisfy the condition that\nthey intersect the $\\mathbb{Q}$-split maximal torus discretely. We further\nprove that the restriction map in rational cohomology from $\\mathbf{G}$ to a\nZariski dense subgroup $\\Gamma \\leq \\mathbf{G}(\\mathbb{Q})$ with coefficients\nin $M$ is an injection. We then derive several results regarding finitely\ngenerated solvable groups of finite abelian rank and their representations on\ncohomology.","PeriodicalId":501037,"journal":{"name":"arXiv - MATH - Group Theory","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2024-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Rational cohomology and Zariski dense subgroups of solvable linear algebraic groups\",\"authors\":\"Milana Golich, Mark Pengitore\",\"doi\":\"arxiv-2409.09987\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this article, we establish results concerning the cohomology of Zariski\\ndense subgroups of solvable linear algebraic groups. We show that for an\\nirreducible solvable $\\\\mathbb{Q}$-defined linear algebraic group $\\\\mathbf{G}$,\\nthere exists an isomorphism between the cohomology rings with coefficients in a\\nfinite dimensional rational $\\\\mathbf{G}$-module $M$ of the associated\\n$\\\\mathbb{Q}$-defined Lie algebra $\\\\mathfrak{g_\\\\mathbb{Q}}$ and Zariski dense\\nsubgroups $\\\\Gamma \\\\leq \\\\mathbf{G}(\\\\mathbb{Q})$ that satisfy the condition that\\nthey intersect the $\\\\mathbb{Q}$-split maximal torus discretely. We further\\nprove that the restriction map in rational cohomology from $\\\\mathbf{G}$ to a\\nZariski dense subgroup $\\\\Gamma \\\\leq \\\\mathbf{G}(\\\\mathbb{Q})$ with coefficients\\nin $M$ is an injection. We then derive several results regarding finitely\\ngenerated solvable groups of finite abelian rank and their representations on\\ncohomology.\",\"PeriodicalId\":501037,\"journal\":{\"name\":\"arXiv - MATH - Group Theory\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-09-16\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"arXiv - MATH - Group Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/arxiv-2409.09987\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"arXiv - MATH - Group Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/arxiv-2409.09987","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Rational cohomology and Zariski dense subgroups of solvable linear algebraic groups
In this article, we establish results concerning the cohomology of Zariski
dense subgroups of solvable linear algebraic groups. We show that for an
irreducible solvable $\mathbb{Q}$-defined linear algebraic group $\mathbf{G}$,
there exists an isomorphism between the cohomology rings with coefficients in a
finite dimensional rational $\mathbf{G}$-module $M$ of the associated
$\mathbb{Q}$-defined Lie algebra $\mathfrak{g_\mathbb{Q}}$ and Zariski dense
subgroups $\Gamma \leq \mathbf{G}(\mathbb{Q})$ that satisfy the condition that
they intersect the $\mathbb{Q}$-split maximal torus discretely. We further
prove that the restriction map in rational cohomology from $\mathbf{G}$ to a
Zariski dense subgroup $\Gamma \leq \mathbf{G}(\mathbb{Q})$ with coefficients
in $M$ is an injection. We then derive several results regarding finitely
generated solvable groups of finite abelian rank and their representations on
cohomology.