[论文解读] On Parabolic Subgroups and Hecke Algebras of Some Fractal Groups

Laurent Bartholdi, Rostislav Grigorchuk|arXiv (Cornell University)|Nov 25, 1999

Mathematical Dynamics and Fractals参考文献 6被引用 16

一句话总结

本文引入分形分支群中的抛物子群，证明其为弱极大子群，并产生可由有限维表示逼近的不可约拟正则表示。关键贡献在于证明其关联的赫克代数为交换代数，从而可通过双重陪集完全分解有限拟正则表示，并构造出首个无扭分支的单无穷群（just-infinite）且具有中间增长的群。

ABSTRACT

We study the subgroup structure, Hecke algebras, quasi-regular representations, and asymptotic properties of some fractal groups of branch type. We introduce parabolic subgroups, show that they are weakly maximal, and that the corresponding quasi-regular representations are irreducible. These (infinite-dimensional) representations are approximated by finite-dimensional quasi-regular representations. The Hecke algebras associated to these parabolic subgroups are commutative, so the decomposition in irreducible components of the finite quasi-regular representations is given by the double cosets of the parabolic subgroup. Since our results derive from considerations on finite-index subgroups, they also hold for the profinite completions $\hat G$ of the groups G. The representations involved have interesting spectral properties investigated in math.GR/9910102. This paper serves as a group-theoretic counterpart to the studies in the mentionned paper. We study more carefully a few examples of fractal groups, and in doing so exhibit the first example of a torsion-free branch just-infinite group. We also produce a new example of branch just-infinite group of intermediate growth, and provide for it an L-type presentation by generators and relators.

研究动机与目标

• 研究分形分支群的子群结构，特别是作为根树上无限路径稳定化子的抛物子群。
• 分析与这些抛物子群相关的拟正则表示，确定其不可约性及与有限维表示的逼近关系。
• 研究附着于抛物子群的赫克代数结构，建立其交换性，从而实现有限拟正则表示的完全分解。
• 构造分支群的新例子，包括首个无扭分支单无穷群及一个具有中间增长的新例子。
• 将结果推广至群的完备化，并建立与谱性质及盖尔范德对之间的联系。

提出的方法

• 将抛物子群定义为群作用于正则根树上边界点或无限测地线路径的稳定化子。
• 利用逆极限结构 $P = \bigcap_{n} P_n$，其中 $P_n$ 是长度为 $n$ 的有限路径的稳定化子，以有限维表示 $\rho_{G/P_n}$ 近似无限维拟正则表示 $\rho_{G/P}$。
• 通过证明 $\mathcal{L}(G, P_n)$ 是下一阶代数的直和项且维数差较小（$d-1 < 4$），从而证明赫克代数 $\mathcal{L}(G, P_n)$ 是交换的，进而推出其半单性与交换性。
• 应用盖尔范德对准则：由于 $\mathcal{L}(G, P_n)$ 是交换的，因此对 $(G, P_n)$ 是盖尔范德对，确保 $\rho_{G/P_n}$ 中所有不可约分量的重数为一。
• 利用双重陪集 $P_n g P_n$ 的数量计算赫克代数的维数，从而确定 $\rho_{G/P_n}$ 中不可约分量的数量。
• 为具体例子构造显式表示，包括一种新的 $L$-型表示用于构造具有中间增长的新分支群，并通过归纳法验证轨道结构。

实验结果

研究问题

• RQ1 分形分支群的抛物子群是否为弱极大子群？它们是否产生不可约拟正则表示？
• RQ2 抛物子群的赫克代数 $\mathcal{L}(G, P_n)$ 的结构如何？是否为交换代数？
• RQ3 有限维拟正则表示 $\rho_{G/P_n}$ 是否可完全分解为不可约分量？其与双重陪集的关系如何？
• RQ4 是否存在无扭分支单无穷群？此类群是否可能具有中间增长？
• RQ5 表示的谱性质如何与分形几何（特别是朱利亚集）相关联？

主要发现

• 分形分支群的抛物子群 $P$ 为弱极大子群，其对应的拟正则表示 $\rho_{G/P}$ 为不可约表示。
• 对所有 $n$，赫克代数 $\mathcal{L}(G, P_n)$ 均为交换代数，这意味着 $\rho_{G/P_n}$ 的不可约分量分解为无重数分解，且其数量由双重陪集 $P_n g P_n$ 的数量决定。
• $\rho_{G/P_n}$ 中不可约分量的数量等于 $\mathcal{L}(G, P_n)$ 的维数，对群 $\overline{\Gamma}$ 该维数为 $2n+1$，对应于 $P_n$ 在 $\Sigma^n$ 上的轨道数。
• $\rho_{G/P_n}$ 可分解为 $\rho_{G/P_0} \oplus \bigoplus_{i=1}^{d-1} A_{n,i}$，其中每个 $A_{n,i}$ 是维数为 $d^{n-1}$ 的不可约表示，$d$ 为树的度数。
• 本文构造了首个无扭分支单无穷群，提供了一类具有中间增长的新群类及一种新的 $L$-型表示。
• 结果可推广至完备化群 $\widehat{G}$，且有限维近似 $\rho_{G/P_n}$ 被用于研究与二次映射朱利亚集相关的谱性质。