[논문 리뷰] Direct embeddings of relatively hyperbolic groups with optimal $\ell^p$ compression exponent

David Hume|arXiv (Cornell University)|2011. 11. 25.

Geometric and Algebraic Topology참고 문헌 36인용 수 4

한 줄 요약

이 논문은 모든 $p > 1$에 대해, 유한 생성된 군이 유한 생성된 부분군들의 집합에 대해 상대적으로 쌍곡형인 경우, 그 군의 $\iota^p$ 압축 지수는 그 최대 외부 부분군들의 $\iota^p$ 압축 지수의 최솟값과 일치함을 입증한다. 이 결과는 $\ell^p$ 공간으로의 코arse 임베딩의 직접적인 기하적 구성에 의해 달성되며, 최적의 압축 지수를 제공하고, 이전의 쌍곡군 및 3차원 다각형 군에 대한 결과를 확장한다.

ABSTRACT

We prove that for all $p>1$, every relatively hyperbolic group has $\ell^p$ compression exponent equal to the minimum of the exponents of its maximal parabolic subgroups. Moreover, this embedding can be explicitly described in terms of given embeddings of the maximal parabolic subgroups.

연구 동기 및 목표

• 상대적으로 쌍곡군에 대한 최적의 $\ell^p$ 압축 지수를 결정함으로써, 쌍곡군 및 3차원 다각형 군에 대한 기존 결과를 확장한다.
• 기존 간접적 방법에 의존하지 않는 $\ell^p$ 공간으로의 코arse 임베딩의 직접적인 기하적 구성 방법을 제공한다.
• 합성 제품, HNN 확장, 극한 군에 대한 이전의 압축 지수에 대한 경계를 통합하고 개선한다.
• 임의의 닫힌 3차원 다각형의 기본군이 모든 $p > 1$에 대해 $\ell^p$ 압축 지수 1을 가짐을 입증한다.
• 압축 지수 결과를 $L_p$ 공간과 조건이 잘 제어된 조각별 임베딩을 갖는 점점 나무처럼 생긴 그래프로 일반화한다.

제안 방법

• 외부 부분군들의 조각별 임베딩과 성질 $(C_p^c)$를 만족하는 오목 함수 $f$를 사용하여 $\phi: G \to \ell^p$ 의 코arse 임베딩을 구성한다.
• 상대적 쌍곡성 구조에 기반한 기하적 추론을 적용하여, 지오데식선과 그 외부 부분군과의 교차점을 추적한다.
• 지오데식선 상의 점들 중 외부 부분군의 이미지에 속하지 않는 점들이 함수 $f$ 를 통해 하한을 제공함을 이용한다.
• 함수 $f$ 의 오목성과 삼각부등식을 이용한 비교 추론을 통해 $\|\phi(x) - \phi(y)\|_p \gtrsim f(d(x,y))$ 를 유도한다.
• 특히 테스라와 갈의 결과를 활용하여 쌍곡군과 극한 군의 $\ell^p$ 임베딩에 대해 알려진 결과를 기반 사례로 활용한다.
• 일반적인 임베딩 정리를 적용하여, $\ell^p(X)$ 를 $L_p([0,1])$ 로 등거리 임베딩함으로써 점점 나무처럼 생긴 그래프를 $L_p([0,1])$ 로 임베딩한다.

실험 결과

연구 질문

• RQ1 상대적으로 쌍곡군의 $\ell^p$ 압축 지수는 그 외부 부분군들에 의해 어떻게 표현되는가?
• RQ2 상대적으로 쌍곡군의 $\ell^p$ 압축 지수는 그 외부 부분군들의 지수들로부터 직접 계산될 수 있는가?
• RQ3 임의의 닫힌 3차원 다각형의 기본군은 모든 $p > 1$에 대해 $\ell^p$ 압축 지수 1을 가지는가?
• RQ4 $L_p$ 공간과 점점 나무처럼 생긴 단순 그래프로의 압축 지수 결과를 확장할 수 있는가?
• RQ5 기하적 직접 구성에 의존하는 $\ell^p$ 공간으로의 코arse 임베딩이 이전의 간접 정리에 의존하지 않고 가능할 수 있는가?

주요 결과

• 모든 $p > 1$에 대해, 외부 부분군 $\{H_i\}$ 에 대해 상대적으로 쌍곡적인 군 $G$ 의 $\ell^p$ 압축 지수는 $\alpha_p^*(G) = \min_i \alpha_p^*(H_i)$ 를 만족한다.
• 임의의 닫힌 3차원 다각형 $M$ 의 기본군은 모든 $p > 1$에 대해 $\alpha_p^{(\pi_1(M))} = 1$ 을 만족하며, 이는 쌍곡 및 기하적 3차원 다각형 군에 대한 결과를 확장한다.
• 본문에서는 Bonk-Schramm, Buyalo-Dranishnikov-Schroeder, Gal, Tessera의 이전 방법에 의존하지 않는 직접적인 기하적 증명을 통해 쌍곡군이 $\ell^p$ 압축 지수 1을 가짐을 입증한다.
• 이 구성은 $\|\phi(x) - \phi(y)\|_p \gtrsim f(d(x,y))$ 와 $\|\phi(x) - \phi(y)\|_p \lesssim d(x,y)$ 를 만족하는 코arse 임베딩 $\phi: G \to \ell^p$ 를 제공하며, $f$ 는 성질 $(C_p^c)$ 를 만족한다.
• 점점 나무처럼 생긴 그래프 중에서 차수의 유계성이 보장된 경우, 이 방법은 $L_p([0,1])$ 으로의 임베딩을 제공하며, 이때 압축은 $\min\{f(d(x,y)), \rho'(d(x,y))\}$ 에 의해 아래에서 유계가 된다.
• 이 결과는 Dreesen 및 Dadarlat-Guentner의 이전 결과를 개선하며, 특히 $p > 2$ 인 $\ell^p$ 공간에서는 이전 방법이 최적의 지수를 도출하지 못했던 데에 대해 최적의 지수를 제공한다.