[论文解读] Strongly transitive actions on affine ordered hovels

Corina Ciobotaru, Guy Rousseau|arXiv (Cornell University)|Apr 2, 2015

Advanced Algebra and Geometry参考文献 7被引用 4

一句话总结

本文在半离散性、厚度及轨道在锥拓扑下闭合的条件下，建立了仿射有序霍弗尔上群作用的强传递性与其在无穷远处关联的对孪建筑之间等价性的证明。本文引入了锥拓扑，证明了强正则双曲自同构的存在性，并将Caprace–Ciobotaru定理由Kac–Moody群的Bruhat–Tits建筑推广至更广泛的霍弗尔结构。

ABSTRACT

A hovel is a generalization of the Bruhat-Tits building that is associated to an almost split Kac-Moody group G over a non-Archimedean local field. In particular, G acts strongly transitively on its corresponding hovel $Δ$ as well as on the building at infinity of $Δ$, which is the twin building associated to G. In this paper we study strongly transitive actions of groups that act on affine ordered hovels $Δ$ and give necessary and sufficient conditions such that the strong transitivity of the action on $Δ$ is equivalent to the strong transitivity of the action of the group on its building at infinity $\partial Δ$. Along the way a criterion for strong transitivity is given and the cone topology on the hovel is introduced. We also prove the existence of strongly regular hyperbolic automorphisms of the hovel, obtaining thus good dynamical properties on the building at infinity $\partial Δ$.

研究动机与目标

• 将Caprace–Ciobotaru在欧氏建筑中关于强传递性与Gelfand对等价性的结果推广至仿射有序霍弗尔的设定。
• 应对霍弗尔相较于建筑所缺乏的局部有限性、测地结构及标准拓扑所带来的挑战。
• 建立强传递性在霍弗尔上成立当且仅当其在无穷远处的对孪建筑上也成立的充分必要条件。
• 在霍弗尔边界引入锥拓扑，并利用它刻画墙稳定子的轨道闭包。
• 证明霍弗尔中强正则双曲自同构的存在性，以确保其在对孪建筑无穷远处具有良好的动力学行为。

提出的方法

• 在霍弗尔边界引入锥拓扑，以分析稳定子子群的轨道闭包。
• 定义并利用向量式Weyl子群的概念，以确保其与阿廷面中Weyl群作用的相容性。
• 利用霍弗尔结构的公理(MA3)与(MA4)构造固定半阿廷面并作为反射作用的Weyl-同构。
• 证明仿射Weyl群包含于任意阿廷面的稳定子中，从而实现对墙的传递作用。
• 应用命题5.3中的强传递性判别准则，依赖于轨道的传递性及锥拓扑下的闭包性。
• 利用群中强正则双曲元素的存在性，以控制无穷远处的动力学行为，并将轨道结构与传递性联系起来。

实验结果

研究问题

• RQ1 在何种条件下，仿射有序霍弗尔上的强传递性等价于其对孪建筑在无穷远处的强传递性？
• RQ2 如何利用霍弗尔边界上的锥拓扑刻画稳定子子群轨道的闭包性？
• RQ3 霍弗尔的强正则双曲自同构在对孪建筑无穷远处诱导了何种动力学性质？
• RQ4 霍弗尔公理(MA3)与(MA4)在何种方式下支持构造固定半阿廷面并生成反射的Weyl-同构？
• RQ5 半离散性与厚度的假设如何影响霍弗尔上强传递性与其边界之间等价性的成立？

主要发现

• 当群为满足(LST)的向量式Weyl子群，且锥拓扑下轨道闭包为闭集时，霍弗尔上的强传递性与对孪建筑在无穷远处的强传递性等价。
• 在霍弗尔边界引入锥拓扑，并用于刻画$G^0_c$-轨道在$\mathrm{Opp}(c)$中的闭包性，这对等价性的建立至关重要。
• 证明了强正则双曲自同构的存在性，确保每个此类元素在无穷远处具有唯一的吸引点与排斥点。
• 对任意无穷远处的墙$c$，稳定子$G^0_c$在$\mathrm{Opp}(c)$上作用传递当且仅当$G^0_c$-轨道在锥拓扑下于$\mathrm{Opp}(c)$中闭包。
• 仿射Weyl群$W^a$包含于任意阿廷面$A$的稳定子中，这意味着若群在阿廷面上作用传递，则其在墙上的作用也传递。
• 当$\Delta$具有仿射型因子时，附加条件(AGT)确保等价性成立，凸显了群结构对霍弗尔几何的影响。