[논문 리뷰] Bilipschitz versus quasi-isometric equivalence for higher rank lamplighter groups

Tullia Dymarz, Irine Peng외 1명|arXiv (Cornell University)|2014. 07. 04.

Geometric and Algebraic Topology참고 문헌 14인용 수 5

한 줄 요약

이 논문은 높은 랭크 램플라이터 군 $\Gamma_d(q)$ 를 사용하여, 케일리 그래프가 디스텔-리더 복합체 $DL_d(q)$ 인 최초의 유한형성 군들 중에서, 쿼어티-아이소메트릭이지만 비리프시츠 동치가 아닌 군들을 구성한다. 핵심 결과는 $k$ 가 $q$ 의 소인수의 곱이 아니면 $DL_d^k(q)$ 는 $DL_d(q)$ 와 쿼어티-아이소메트릭이지만 비리프시츠 동치가 아니라는 것이다. 이는 이전의 유한 생성 램플라이터 군에 대한 결과를 유한형성 설정으로 확장한다.

ABSTRACT

We describe a family of finitely presented groups which are quasi-isometric but not bilipschitz equivalent. The first such examples were described by the first author and are the lamplighter groups $F \wr \mathbb{Z}$ where $F$ is a finite group; these groups are finitely generated but not finitely presented. The examples presented in this paper are higher rank generalizations of these lamplighter groups and include groups that are of type $F_n$ for any $n$.

연구 동기 및 목표

• 유한형성 군 중에서 쿼어티-아이소메트릭이지만 비리프시츠 동치가 아닌 군들을 구성함으로써, 이전의 유한 생성 램플라이터 군에 대한 결과를 확장한다.
• 다음의 높은 랭크 램플라이터 군 $\Gamma_d(q)$ 와 그 케일리 그래프인 $DL_d(q)$ 를 이용하여, $d$ 개의 트리의 곱의 부분집합으로서의 디스텔-리더 그래프 구조를 일반화한다.
• 만약 $k$ 가 $q$ 의 소인수의 곱이 아니면 $DL_d^k(q)$ 는 $DL_d(q)$ 와 쿼어티-아이소메트릭이지만 비리프시츠 동치가 아니라는 것을 증명함으로써, 새로운 종류의 거리적으로 다른 군을 확립한다.
• 임의의 $n$ 에 대해, $F_n$ 유형의 군들이 쿼어티-아이소메트릭이지만 비리프시츠 동치가 되는 예를 구성함으로써 기하군론에서 오랫동안 남아있던 문제를 해결한다.

제안 방법

• 저자들은 높은 랭크 램플라이터 군 $\Gamma_d(q) = \left(\prod_{i=1}^d \mathcal{L}_q((t))\right) \rtimes \mathbb{Z}^{d-1}$ 을 사용하며, 이들의 생성집합이 케일리 그래프를 디스텔-리더 복합체 $DL_d(q)$ 의 1-스켈레톤으로 식별할 수 있도록 한다.
• 그들은 $d$ 개의 동차 트리의 곱의 부분집합으로서의 $DL_d(q)$ 의 기하학을 분석하며, 합이 0이 되는 호모모르피즘 $\alpha_i$ 를 통한 $\mathbb{Z}^{d-1}$ 의 작용을 사용한다.
• 쿼어티-아이소메트리의 경우, 기하학적 미분을 통해 평면 내 지오데식선과 그들의 쿼어티-아이소메트리에 의한 상의 행동을 중심으로 연구한다.
• 증명의 핵심은 '블록들'(트리형 부분공간으로의 사영에 대한 역상) 이 어떻게 매핑되는지를 분석하는 것으로, 이들은 유계 거리 이내로 블록에 매핑됨을 보여준다.
• 핵심 기법은 이러한 평면 내 지오데식 세그먼트로 이루어진 사다리꼴의 구조가 쿼어티-아이소메트리에 의해 유지된다는 것을 보이는 것이다.
• 저자들은 에스킨, 파이저, 와이트의 솔브라블 군과 $DL_d(q)$ 에 대한 자기-쿼어티-아이소메트리 결과를 응용하여, 임의의 쿼어티-아이소메트리가 표준형 사상 $f_1 \times \cdots \times f_d \times \text{id}$ 와 균일하게 가까운 것을 보여주며, 각 $f_i$ 는 $\mathbb{R}$ 에서 비리프시츠임을 증명한다.

실험 결과

연구 질문

• RQ1 유한형성 군 중에서 쿼어티-아이소메트릭이지만 비리프시츠 동치가 아닌 군이 존재하는가?
• RQ2 유한 생성 군에 대한 쿼어티-아이소메트릭이지만 비리프시츠 동치가 아닌 군의 구성 방법을 유한형성 군으로 확장할 수 있는가?
• RQ3 $k$ 와 $q$ 에 대해 어떤 조건에서 $DL_d^k(q)$ 는 $DL_d(q)$ 와 쿼어티-아이소메트릭이지만 비리프시츠 동치가 아니게 되는가?
• RQ4 임의의 $n$ 에 대해, $F_n$ 유형의 군들 중에서 쿼어티-아이소메트릭이지만 비리프시츠 동치가 되는 예를 구성할 수 있는가?
• RQ5 디스텔-리더 복합체와 그 부분그래프의 기하학적 구조는 쿼어티-아이소메트리에 의해 어떻게 행동하는가?

주요 결과

• 논문은 임의의 $n$ 에 대해, $F_n$ 유형의 군들 중에서 쿼어티-아이소메트릭이지만 비리프시츠 동치가 아닌 군들을 구성함으로써, 기하군론에서 중요한 열린 문제를 해결한다.
• $k$ 가 $q$ 의 소인수의 곱이 아니면, 그래프 $DL_d^k(q)$ 는 $DL_d(q)$ 와 쿼어티-아이소메트릭이지만 비리프시츠 동치가 아니며, 이는 주요 결과를 증명한다.
• 높은 랭크 램플라이터 군 $\Gamma_d(q)$ 의 케일리 그래프는 $DL_d(q)$ 와 식별되며, 이는 $d$ 개의 동차 트리의 곱의 부분공간이다.
• 쿼어티-아이소메트리에 의한 $DL_d^k(q)$ 와 $DL_d(q)$ 간의 관계는 사다리꼴과 블록의 대규모 기하학적 구조를 유지하지만, $k$ 가 $q$ 의 소인수의 곱이 아니면 비리프시츠 동치가 되지 않는다.
• 증명는 이러한 공간들 사이의 임의의 쿼어티-아이소메트리가 표준형 사상 $f_1 \times \cdots \times f_d \times \text{id}$ 와 균일하게 가까운 것을 보여주며, 각 $f_i$ 는 $\mathbb{R}$ 에서 비리프시츠이지만, $k$ 가 $q$ 의 소인수의 곱이 아니면 이러한 사상은 존재할 수 없다.
• 이 구성은 이전의 $F \wr \mathbb{Z}$ 에 대한 결과를 높은 랭크 군으로 일반화하여, 이러한 성질을 가진 최초의 유한형성 군 예를 제공한다.