On denseness of horospheres in higher rank homogeneous spaces

Pub Date : 2024-02-19 DOI:10.1017/etds.2024.12
OR LANDESBERG, HEE OH
{"title":"On denseness of horospheres in higher rank homogeneous spaces","authors":"OR LANDESBERG, HEE OH","doi":"10.1017/etds.2024.12","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=\"S0143385724000129_inline1.png\" /> <jats:tex-math> $ G $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> be a connected semisimple real algebraic group and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline2.png\" /> <jats:tex-math> $\\Gamma &lt;G$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> be a Zariski dense discrete subgroup. Let <jats:italic>N</jats:italic> denote a maximal horospherical subgroup of <jats:italic>G</jats:italic>, and <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline3.png\" /> <jats:tex-math> $P=MAN$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> the minimal parabolic subgroup which is the normalizer of <jats:italic>N</jats:italic>. Let <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline4.png\" /> <jats:tex-math> $\\mathcal E$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> denote the unique <jats:italic>P</jats:italic>-minimal subset of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline5.png\" /> <jats:tex-math> $\\Gamma \\backslash G$ </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=\"S0143385724000129_inline6.png\" /> <jats:tex-math> $\\mathcal E_0$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> be a <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline7.png\" /> <jats:tex-math> $P^\\circ $ </jats:tex-math> </jats:alternatives> </jats:inline-formula>-minimal subset. We consider a notion of a horospherical limit point in the Furstenberg boundary <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline8.png\" /> <jats:tex-math> $ G/P $ </jats:tex-math> </jats:alternatives> </jats:inline-formula> and show that the following are equivalent for any <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline9.png\" /> <jats:tex-math> $[g]\\in \\mathcal E_0$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>: <jats:list list-type=\"number\"> <jats:list-item> <jats:label>(1)</jats:label> <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline10.png\" /> <jats:tex-math> $gP\\in G/P$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is a horospherical limit point; </jats:list-item> <jats:list-item> <jats:label>(2)</jats:label> <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline11.png\" /> <jats:tex-math> $[g]NM$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is dense in <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline12.png\" /> <jats:tex-math> $\\mathcal E$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>; </jats:list-item> <jats:list-item> <jats:label>(3)</jats:label> <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline13.png\" /> <jats:tex-math> $[g]N$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> is dense in <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline14.png\" /> <jats:tex-math> $\\mathcal E_0$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>. </jats:list-item> </jats:list> The equivalence of items (1) and (2) is due to Dal’bo in the rank one case. We also show that unlike convex cocompact groups of rank one Lie groups, the <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline15.png\" /> <jats:tex-math> $NM$ </jats:tex-math> </jats:alternatives> </jats:inline-formula>-minimality of <jats:inline-formula> <jats:alternatives> <jats:inline-graphic xmlns:xlink=\"http://www.w3.org/1999/xlink\" mime-subtype=\"png\" xlink:href=\"S0143385724000129_inline16.png\" /> <jats:tex-math> $\\mathcal E$ </jats:tex-math> </jats:alternatives> </jats:inline-formula> does not hold in a general Anosov homogeneous space.","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-02-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1017/etds.2024.12","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0

Abstract

Let $ G $ be a connected semisimple real algebraic group and $\Gamma <G$ be a Zariski dense discrete subgroup. Let N denote a maximal horospherical subgroup of G, and $P=MAN$ the minimal parabolic subgroup which is the normalizer of N. Let $\mathcal E$ denote the unique P-minimal subset of $\Gamma \backslash G$ and let $\mathcal E_0$ be a $P^\circ $ -minimal subset. We consider a notion of a horospherical limit point in the Furstenberg boundary $ G/P $ and show that the following are equivalent for any $[g]\in \mathcal E_0$ : (1) $gP\in G/P$ is a horospherical limit point; (2) $[g]NM$ is dense in $\mathcal E$ ; (3) $[g]N$ is dense in $\mathcal E_0$ . The equivalence of items (1) and (2) is due to Dal’bo in the rank one case. We also show that unlike convex cocompact groups of rank one Lie groups, the $NM$ -minimality of $\mathcal E$ does not hold in a general Anosov homogeneous space.
查看原文
分享 分享
微信好友 朋友圈 QQ好友 复制链接
论高阶均质空间中的角球密度
让 $ G $ 是一个连通的半简单实代数群,$\Gamma <G$ 是一个扎里斯基密集离散子群。让 N 表示 G 的最大角球子群,$P=MAN$ 是 N 的最小抛物面子群。让 $mathcal E$ 表示 $\Gamma \backslash G$ 的唯一 P 最小子集,让 $mathcal E_0$ 是一个 $P^\circ $ 最小子集。我们考虑了弗斯滕伯格边界 $ G/P $ 中的一个角球极限点的概念,并证明对于在 \mathcal E_0$ 中的任意 $[g]\ 是等价的:(1)G/P$ 中的 $gP\ 是一个角球极限点;(2)$[g]NM$ 在 $\mathcal E$ 中是致密的;(3)$[g]N$ 在 $\mathcal E_0$ 中是致密的。 第(1)项和第(2)项的等价性是 Dal'bo 在秩为一的情况下提出的。我们还证明,与秩为一的Lie群的凸cocompact群不同,$NM$ -最小性在一般的阿诺索夫均相空间中不成立。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 去求助
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
已复制链接
已复制链接
快去分享给好友吧!
我知道了
×
扫码分享
扫码分享
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1