[论文解读] On irreducibility of Koopman representations of Higman-Thompson groups

Artem Dudko|arXiv (Cornell University)|Dec 8, 2015

Advanced Operator Algebra Research参考文献 10被引用 3

一句话总结

本文引入了测度收缩作用的概念，并证明了与遍历测度收缩作用相关的库普曼表示是不可约的。通过该框架，作者建立了Higman-Thompson群在带有勒贝格测度的区间上的库普曼表示的不可约性，并为子指数有界弱分支群在带有伯努利测度的根树边界上的库普曼表示的不可约性提供了新视角。

ABSTRACT

We introduce a notion of measure contracting actions and show that Koopman representations corresponding to ergodic measure contracting actions are irreducible. As a corollary we obtain that Koopman representations associated to canonical actions of Higman-Thompson groups are irreducible. We also show that the actions of weakly branch groups on the boundaries of rooted trees are measure contracting. This gives a new point of view on irreducibility of the corresponding Koopman representations.

研究动机与目标

• 引入并形式化测度收缩作用的概念，作为库普曼表示不可约性的新判据。
• 证明由遍历测度收缩作用产生的库普曼表示是不可约的，为已知的不可约性结果提供统一框架。
• 建立Higman-Thompson群在[0,r]上带有勒贝格测度作用下的库普曼表示的不可约性。
• 利用测度收缩性质重新诠释子指数有界弱分支群在根树边界上带有伯努利测度的库普曼表示的不可约性。
• 证明弱分支群在带有非均匀伯努利测度的树边界上的作用是测度收缩的，从而推导出其库普曼表示的不可约性。

提出的方法

• 将测度收缩作用定义为在概率空间上的群作用，使得对任意正测度的可测集A，存在群元素g，使得g(A)的测度较小，且其像测度的Radon-Nikodym导数在A的大部分子集上也较小。
• 利用测度收缩性质证明库普曼表示的不可约性，即证明不存在非平凡的闭不变子空间。
• 将测度收缩判据应用于Higman-Thompson群在[0,r]上带有勒贝格测度的典型作用，证明该作用满足测度收缩条件。
• 通过存在具有收缩支集和受控Radon-Nikodym导数的群元素，证明子指数有界弱分支群在d-正则根树边界上带有非均匀伯努利测度的作用是测度收缩的。
• 利用[11]中关于弱分支群的库普曼表示中矩阵系数衰减的结果，建立测度收缩性质。
• 通过紧集逼近和反证法验证测度收缩定义中的两个条件：g(A)的测度较小，且在A的大部分区域上Radon-Nikodym导数较小。

实验结果

研究问题

• RQ1 在何种条件下，群作用在测度空间上的库普曼表示是不可约的？
• RQ2 能否通过一种新的、可推广的动力学判据来建立Higman-Thompson群库普曼表示的不可约性？
• RQ3 弱分支群在树边界上带有非均匀伯努利测度的作用是否满足一种能推出不可约性的新结构性质？
• RQ4 是否存在一个统一框架（如测度收缩作用）来解释不同群作用下库普曼表示的不可约性？
• RQ5 测度收缩性质能否用于重新诠释和重新证明弱分支群已知的不可约性结果？

主要发现

• 任何Higman-Thompson群G_{n,r}在([0,r], λ_r)上的典型作用所关联的库普曼表示都是不可约的。
• 子指数有界弱分支群在d-正则根树边界上带有非均匀伯努利测度μ_p的作用是测度收缩的。
• 对任意紧开集A ⊂ ∂T，存在一列群元素g_n，其支集在A内，使得当n → ∞时，矩阵系数(κ_p(g_n)ξ_A, ξ_A)趋于零。
• 测度收缩性质意味着，对于子指数有界弱分支群在(∂T, μ_p)上作用且各p_i互不相同时，其库普曼表示κ_p是不可约的。
• 本文给出的弱分支群不可约性证明与[11]中的原始证明不同，其依赖于测度收缩条件而非直接的系数估计。
• 当群元素具有收缩支集且Radon-Nikodym导数在正测度集合上一致较小时，测度收缩条件成立，从而导致矩阵系数的衰减。