{"title":"SU(3) 算术子群的相对同源性","authors":"Claudio Bravo","doi":"10.1515/jgth-2023-0140","DOIUrl":null,"url":null,"abstract":"Let 𝑘 be a global field of positive characteristic. Let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi mathvariant=\"script\">G</m:mi> <m:mo>=</m:mo> <m:mrow> <m:mi>SU</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mn>3</m:mn> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_jgth-2023-0140_ineq_0001.png\"/> <jats:tex-math>\\mathcal{G}=\\mathrm{SU}(3)</jats:tex-math> </jats:alternatives> </jats:inline-formula> be the non-split group scheme defined from an (isotropic) hermitian form in three variables. In this work, we describe, in terms of the Euler–Poincaré characteristic, the relative homology groups of certain arithmetic subgroups 𝐺 of <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi mathvariant=\"script\">G</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\"false\">(</m:mo> <m:mi>k</m:mi> <m:mo stretchy=\"false\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_jgth-2023-0140_ineq_0002.png\"/> <jats:tex-math>\\mathcal{G}(k)</jats:tex-math> </jats:alternatives> </jats:inline-formula> modulo a representative system 𝔘 of the conjugacy classes of their maximal unipotent subgroups. In other words, we measure how far the homology groups of 𝐺 are from being the coproducts of the corresponding homology groups of the subgroups <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\"http://www.w3.org/1998/Math/MathML\"> <m:mrow> <m:mi>U</m:mi> <m:mo>∈</m:mo> <m:mi mathvariant=\"fraktur\">U</m:mi> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" xlink:href=\"graphic/j_jgth-2023-0140_ineq_0003.png\"/> <jats:tex-math>U\\in\\mathfrak{U}</jats:tex-math> </jats:alternatives> </jats:inline-formula>.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-07-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Relative homology of arithmetic subgroups of SU(3)\",\"authors\":\"Claudio Bravo\",\"doi\":\"10.1515/jgth-2023-0140\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Let 𝑘 be a global field of positive characteristic. Let <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:mi mathvariant=\\\"script\\\">G</m:mi> <m:mo>=</m:mo> <m:mrow> <m:mi>SU</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\\\"false\\\">(</m:mo> <m:mn>3</m:mn> <m:mo stretchy=\\\"false\\\">)</m:mo> </m:mrow> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_jgth-2023-0140_ineq_0001.png\\\"/> <jats:tex-math>\\\\mathcal{G}=\\\\mathrm{SU}(3)</jats:tex-math> </jats:alternatives> </jats:inline-formula> be the non-split group scheme defined from an (isotropic) hermitian form in three variables. In this work, we describe, in terms of the Euler–Poincaré characteristic, the relative homology groups of certain arithmetic subgroups 𝐺 of <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:mi mathvariant=\\\"script\\\">G</m:mi> <m:mo></m:mo> <m:mrow> <m:mo stretchy=\\\"false\\\">(</m:mo> <m:mi>k</m:mi> <m:mo stretchy=\\\"false\\\">)</m:mo> </m:mrow> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_jgth-2023-0140_ineq_0002.png\\\"/> <jats:tex-math>\\\\mathcal{G}(k)</jats:tex-math> </jats:alternatives> </jats:inline-formula> modulo a representative system 𝔘 of the conjugacy classes of their maximal unipotent subgroups. In other words, we measure how far the homology groups of 𝐺 are from being the coproducts of the corresponding homology groups of the subgroups <jats:inline-formula> <jats:alternatives> <m:math xmlns:m=\\\"http://www.w3.org/1998/Math/MathML\\\"> <m:mrow> <m:mi>U</m:mi> <m:mo>∈</m:mo> <m:mi mathvariant=\\\"fraktur\\\">U</m:mi> </m:mrow> </m:math> <jats:inline-graphic xmlns:xlink=\\\"http://www.w3.org/1999/xlink\\\" xlink:href=\\\"graphic/j_jgth-2023-0140_ineq_0003.png\\\"/> <jats:tex-math>U\\\\in\\\\mathfrak{U}</jats:tex-math> </jats:alternatives> </jats:inline-formula>.\",\"PeriodicalId\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2024-07-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1515/jgth-2023-0140\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1515/jgth-2023-0140","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
让 𝑘 是一个正特征的全局域。让 G = SU ( 3 ) (mathcal{G}=\mathrm{SU}(3) 是由三变量(各向同性)赫米特形式定义的非分裂群方案。在这项工作中,我们用欧拉-庞加莱特征来描述 G ( k ) \mathcal{G}(k)的某些算术子群𝐺 modulo a representative system 𝔘 of the conjugacy classes of their maximal unipotent subgroups 的相对同调群。换句话说,我们测量的是𝐺 的同调群距离子群 U∈U\in\mathfrak{U} 的相应同调群的共轭类有多远。
Relative homology of arithmetic subgroups of SU(3)
Let 𝑘 be a global field of positive characteristic. Let G=SU(3)\mathcal{G}=\mathrm{SU}(3) be the non-split group scheme defined from an (isotropic) hermitian form in three variables. In this work, we describe, in terms of the Euler–Poincaré characteristic, the relative homology groups of certain arithmetic subgroups 𝐺 of G(k)\mathcal{G}(k) modulo a representative system 𝔘 of the conjugacy classes of their maximal unipotent subgroups. In other words, we measure how far the homology groups of 𝐺 are from being the coproducts of the corresponding homology groups of the subgroups U∈UU\in\mathfrak{U}.