[논문 리뷰] Lamplighters, Metabelian Groups, and Horocyclic Products of Trees

Margarita Amchislavska, Tim Riley|arXiv (Cornell University)|2014. 05. 07.

Geometric and Algebraic Topology참고 문헌 22인용 수 3

한 줄 요약

이 논문은 일반화된 램플라이터 군, 특히 $\Gamma_1 = \mathbb{Z} \wr \mathbb{Z}$와 바움슬랑-레메슬레니코프 군을 포함하여, 수목들의 수평원형 곱의 1-스켈레톤으로서 기하학적 실현을 확립한다. 구체적으로, 대수적 군 표현을 조합론적 램플라이터 모델로 변환하고 다항식을 다루어, 이러한 군들이 수목 $n+1$개의 수평원형 곱 위에서 기하학적으로 작용함을 증명한다. 바움슬랑-레메슬레니코프 예제의 카이리 그래프 2-복합체는 세 개의 수목의 수평원형 곱으로 실현된다.

ABSTRACT

Bartholdi, Neuhauser and Woess proved that a family of metabelian groups including lamplighters have a striking geometric manifestation as 1-skeleta of horocyclic products of trees. The purpose of this article is to give an elementary account of this result, to widen the family addressed to include the infinite valence case (for instance $\mathbb{Z} \wr \mathbb{Z}$), and to make the translation between the algebraic and geometric descriptions explicit. In the rank-2 case, where the groups concerned include a celebrated example of Baumslag and Remeslennikov, we give the translation by means of a combinatorial `lamplighter description'. This elucidates our proof in the general case which proceeds by manipulating polynomials. Additionally, we show that the Cayley 2-complex of a suitable presentation of Baumslag and Remeslennikov's example is a horocyclic product of three trees.

연구 동기 및 목표

• 메타아벨 군의 대수적 표현과 그들이 수평원형 곱의 형태로 기하학적으로 실현되는 것 사이의 간단하고 명시적인 대응을 제공한다.
• 이전의 램플라이터 군 결과를 $\mathbb{Z} \wr \mathbb{Z}$와 같은 무한 차수의 경우로 확장한다.
• 바움슬랑-레메슬레니코프 군의 카이리 2-복합체의 기하학적 구조를, 그것이 세 개의 수목의 수평원형 곱임을 보여줌으로써 명확히 한다.
• 높이 함수와 램플라이터 역학을 통해 군의 관계와 수평원형 곱 내의 2-세포 경계 사이의 관계를 체계화한다.

제안 방법

• 램플라이터 모델을 사용하여, 램프와 램플라이터가 선상에 놓인 구성으로서 군 원소를 시각화하고, 생성자는 램프의 스위치와 이동을 나타낸다.
• 수평원형 곱을 수목들의 곱공간의 부분집합으로 구성하여, 높이 함수의 합이 0이 되는 조건을 만족시킨다.
• $\Gamma_1(2) = (\mathbb{Z}/2\mathbb{Z}) \wr \mathbb{Z}$의 카이리 그래프를 $\mathcal{H}_1(\mathbb{Z}/2\mathbb{Z})$로 명시적으로 식별한다. 여기서 $\mathcal{H}_1(\mathbb{Z}/2\mathbb{Z})$는 두 개의 이진수목의 수평원형 곱이다.
• 다항식의 다루기를 통해 $\mathbb{Z}/2\mathbb{Z}$에서 $\mathbb{Z}$로의 대응을 일반화하여 $\mathbb{Z} \wr \mathbb{Z}$의 다루기를 가능하게 한다.
• 높이 좌표와 변의 순회를 통한 분석을 통해, 수평원형 곱 $\mathcal{H}_2(\mathbb{Z})$ 내의 2-세포 경계를 군의 관계와 매칭시킨다.
• 군 표현의 각 정의 관계가 2-세포 경계와 대응되며, 그 반대도 성립함을 검증하여, 카이리 2-복합체가 $\mathcal{H}_2(\mathbb{Z})$와 등록형임을 확인한다.

실험 결과

연구 질문

• RQ1 일반화된 램플라이터 군의 대수적 구조는 어떻게 그들이 수평원형 곱의 형태로 기하학적으로 실현되는지와 명시적인 연결을 맺을 수 있는가?
• RQ2 램플라이터 모델은 수평원형 곱의 맥락에서 군의 관계를 어떻게 시각화하고 검증하는 데 기여하는가?
• RQ3 바움슬랑-레메슬레니코프 군의 카이리 2-복합체는 세 개의 수목의 수평원형 곱으로 기하학적으로 실현될 수 있는가?
• RQ4 곱공간 내의 높이 함수와 변 순회 방식은 군 표현의 관계와 어떻게 대응되는가?
• RQ5 무한 생성집합 또는 아벨이 아닌 기본군을 가진 군으로의 수평원형 곱 구성의 일반화는 어떻게 이루어질 수 있는가?

주요 결과

• $\Gamma_1(2) = (\mathbb{Z}/2\mathbb{Z}) \wr \mathbb{Z}$의 생성집합 $\{a, at\}$에 대한 카이리 그래프는 두 개의 무한 이진수목의 수평원형 곱 $\mathcal{H}_1(\mathbb{Z}/2\mathbb{Z})$와 등록형이다.
• $\mathbb{Z} \wr \mathbb{Z}$, 즉 $\Gamma_1$은 두 개의 무한 차수의 수목의 수평원형 곱 $\mathcal{H}_1(\mathbb{Z})$의 1-스켈레톤으로 실현된다.
• 바움슬랑-레메슬레니코프 군 $\Gamma_2 = \langle \lambda_i, \mu_i, \nu_i \mid \lambda_i = \nu_i \mu_i, \lambda_{i+j} = \mu_i \nu_j \rangle$의 카이리 2-복합체는 세 개의 수목의 수평원형 곱 $\mathcal{H}_2(\mathbb{Z})$와 등록형이다.
• $\mathcal{H}_2(\mathbb{Z})$의 각 2-세포는 $\Gamma_2$의 정의 관계와 대응되며, 유형-1 세포는 관계 $\lambda_{i+j} = \mu_i \nu_j$와, 유형-2 세포는 관계 $\lambda_i = \nu_i \mu_i$와 대응된다.
• $\mathcal{H}_2(\mathbb{Z})$의 모든 2-세포의 경계는 군 표현의 릴레이터와 대응되며, 모든 릴레이터는 유일한 2-세포의 경계를 형성함을 확인하여, 복합체의 구조가 확인된다.
• 군이 수평원형 곱 위에서 작용하는 기하학적 작용은 코컴 pact, 등록형, 그리고 적절히 이산적임을 확인하여, 이 공간 위에서의 기하학적 작용이 성립함을 증명한다.