[论文解读] Notes on compact nilspaces

Pablo Candela|arXiv (Cornell University)|May 28, 2016

Limits and Structures in Graph Theory参考文献 21被引用 3

一句话总结

本文对紧致尼尔斯普斯（nilspaces）进行了全面的拓扑与测度论分析，证明了任意有限秩且结构群连通的紧致尼尔斯普斯均同构于带有霍斯特-克鲁布立方结构的尼尔流形（nilmanifold）。该研究发展了连续测度系与逆极限分解等工具，证明了态射的刚性与自动连续性，并通过平移群与结构群之间的相互作用对环状尼尔斯普斯（toral nilspaces）进行了刻画。

ABSTRACT

These notes form the second part of a detailed account of the theory of nilspaces developed by Camarena and Szegedy. Here we focus on nilspaces equipped with a compact topology that is compatible with the cube structure, called compact nilspaces. The material in these notes relies on the first part of our exposition (available as arXiv:1601.03693), and it expands on the third chapter of the paper of Camarena and Szegedy, providing more detailed proofs of their results. To that end we also include several additional results that are implicit in their paper.

研究动机与目标

• 通过有限秩尼尔斯普斯的逆极限刻画紧致尼尔斯普斯。
• 证明有限秩紧致尼尔斯普斯若其结构群连通，则同构于带有霍斯特-克鲁布立方结构的尼尔流形。
• 为紧致尼尔斯普斯建立连续测度系理论，以实现不变博雷尔概率测度的构造。
• 证明紧致尼尔斯普斯之间博雷尔态射的自动连续性，并证明其映射到有限秩尼尔斯普斯时的刚性结果。
• 通过平移群、结构群与稳定子群之间的相互作用刻画环状尼尔斯普斯。

提出的方法

• 利用逆极限定理将一般紧致尼尔斯普斯表示为有限秩尼尔斯普斯的极限，依赖于角点补全与遍历性公理。
• 应用连续测度系以在紧致尼尔斯普斯上构造不变博雷尔概率测度，推广了紧致阿贝尔群上的哈尔测度。
• 运用连续阿贝尔丛理论与平均算子分析有限秩尼尔斯普斯及其扩张。
• 利用结构群与平移群的作用刻画环状尼尔斯普斯中纤维与稳定子群的结构。
• 应用第一同构定理与结构群投影的同态性质，推导群论同构。
• 依赖于三维单连通幂零李群的分类（例如海森堡群），以识别可能的尼尔斯普斯模型。

实验结果

研究问题

• RQ1 在何种条件下，有限秩紧致尼尔斯普斯同构于带有霍斯特-克鲁布立方结构的尼尔流形？
• RQ2 如何利用连续测度系在紧致尼尔斯普斯上构造不变博雷尔概率测度？
• RQ3 环状尼尔斯普斯中平移群、结构群与稳定子群之间存在何种关系？
• RQ4 紧致尼尔斯普斯之间的博雷尔态射是否必然存在连续代表？
• RQ5 如何将紧致尼尔斯普斯分解为有限秩尼尔斯普斯的逆极限？

主要发现

• 根据定理 9.17，任意有限秩且结构群连通的紧致尼尔斯普斯均同构于带有霍斯特-克鲁布立方结构的尼尔流形。
• 根据命题 2.5，每个紧致尼尔斯普斯均存在一个推广了紧致阿贝尔群上哈尔测度的博雷尔概率测度。
• 根据定理 4.6，紧致尼尔斯普斯之间的博雷尔态射均为自动连续的。
• 根据定理 8.2，映射到有限秩紧致尼尔斯普斯的态射具有刚性，即其由单点处的取值与结构群作用完全确定。
• 根据命题 9.20(iii)，对于 k 步环状尼尔斯普斯，其第 k 个结构群的单位连通分支模去稳定子群与下一个结构群的乘积，同构于第 k 个中心。
• 唯一单连通的三维非交换 2 步幂零李群是海森堡群，它在三维中作为此类尼尔斯普斯的唯一模型出现。