[논문 리뷰] On Parabolic Subgroups and Hecke Algebras of Some Fractal Groups

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

Mathematical Dynamics and Fractals참고 문헌 6인용 수 16

한 줄 요약

이 논문은 분수 분지군에서의 포물선 부분군을 도입하여, 그것이 약하게 최대임을 증명하고, 유한 차원 표현들에 의해 근사 가능한 기약 준정규 표현을 유도한다. 핵심 기여는 관련 헤크스 대수들이 교환 가능하다는 것을 보여주며, 이는 이중 코셋을 통한 유한 준정규 표현의 완전한 분해를 가능하게 한다. 또한, 중간 성장률을 가지며 토크션 없는 분지 임의의 무한군의 첫 번째 예를 구성한다.

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.

연구 동기 및 목표

• 분수군의 부분군 구조, 특히 루트 트리에서의 무한 경로의 안정자로 나타나는 포물선 부분군을 조사한다.
• 이러한 포물선 부분군과 관련된 준정규 표현을 분석하고, 그 기약성과 유한 차원 표현들에 의한 근사 가능성 여부를 규명한다.
• 포물선 부분군에 부착된 헤크스 대수의 구조를 연구하고, 그 교환 가능성을 확립함으로써 유한 준정규 표현의 분해를 가능하게 한다.
• 새로운 분지군의 예를 구성하며, 이는 토크션 없는 분지 임의의 무한군의 첫 번째 예와 중간 성장률을 가지는 새로운 예를 포함한다.
• 군의 프로파일 완비화로 결과를 확장하고, 스펙트럼 성질 및 젤프랜드 쌍과의 연결 고리를 설정한다.

제안 방법

• 군이 작용하는 정규 루트 트리에서 경계점이나 무한 지오데식 경로의 안정자로 포물선 부분군을 정의한다.
• 무한 차원 준정규 표현 $\rho_{G/P}$ 를 유한 차원 표현들 $\rho_{G/P_n}$ 으로 근사하기 위해, $P = \bigcap_{n} P_n$ 의 역극한 구조를 사용한다. 여기서 $P_n$ 은 길이 $n$ 의 유한 경로의 안정자이다.
• 다음 대수의 직합성분임을 보이고, 차원의 차이가 작음 ($d-1 < 4$) 을 증명함으로써 헤크스 대수 $\mathcal{L}(G, P_n)$ 이 아벨임을 증명한다. 이는 반단순성과 교환 가능성을 암시한다.
• 젤프랜드 쌍 기준을 적용한다: $\mathcal{L}(G, P_n)$ 이 아벨이므로, 쌍 $(G, P_n)$ 은 젤프랜드 쌍이 되며, 이는 $\rho_{G/P_n}$ 의 모든 기약 성분이 중복도 1을 가짐을 보장한다.
• 이중 코셋 $P_n g P_n$ 의 수를 사용하여 헤크스 대수의 차원을 계산하고, 이는 $\rho_{G/P_n}$ 의 기약 성분 수를 결정한다.
• 구체적인 표현을 구성하며, 중간 성장률을 가지는 새로운 분지군에 대한 $L$-형태 표현을 포함하고, $n$ 에 대한 귀납법을 통해 궤도 구조를 검증한다.

실험 결과

연구 질문

• 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}$ 은 이차 지도의 줄리아 집합과 관련된 스펙트럼 성질을 연구하는 데 사용된다.