[논문 리뷰] Normalizer, divergence type and Patterson measure for discrete groups of the Gromov hyperbolic space

Katsuhiko Matsuzaki, Yasuhiro Yabuki외 1명|arXiv (Cornell University)|2015. 11. 09.

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

한 줄 요약

이 논문은 적절한 지오데식 $δ$-하이퍼볼릭 공간에서 비원소적 이산 등장사상군이 발산 유형인 경우, 그 패트리시아 측도가 정규화자에 대해 준불변임을 증명한다. 이 결과를 바탕으로 두 가지 핵심 응용을 제시한다: (1) 이러한 군들은 적절한 코남화를 갖지 않으며, (2) 임의의 비원소적 정규부군의 임계 지수는 원래 군의 임계 지수의 반보다 크며, 이는 쿼드라컨 formal 측도 이론과 샤페르 레미나 기법을 통해 클라식한 클라인기안 군 결과를 더 넓은 그로모프 하이퍼볼릭 환경으로 확장한다.

ABSTRACT

For a non-elementary discrete isometry group $G$ of divergence type acting on a proper geodesic $δ$-hyperbolic space, we prove that its Patterson measure is quasi-invariant under the normalizer of $G$. As applications of this result, we have: (1) under a minor assumption, such a discrete group $G$ admits no proper conjugation, that is, if the conjugate of $G$ is contained in $G$, then it coincides with $G$; (2) the critical exponent of any non-elementary normal subgroup of $G$ is strictly greater than half of that for $G$.

연구 동기 및 목표

• 기존 클라인기안 군에서의 패트리시아 측도의 정규화자에 대한 불변성 결과를 적절한 지오데식 $δ$-하이퍼볼릭 공간에서 작용하는 이산 등장사상군으로 일반화한다.
• 이러한 군이 적절한 코남화를 갖지 않는 조건을 확립하여, 강성 결과를 그로모프 하이퍼볼릭 환경으로 확장한다.
• 비원소적 정규부군의 임계 지수에 대한 엄밀한 하한을 유도하여, 이가 모국군의 임계 지수의 반을 초과함을 보인다.
• 하이퍼볼릭 메트릭 공간에서의 쿼드라컨 formal 측도 이론과 샤페르 레미나 추론을 통합하고 확장하여 기존의 임계 지수 및 등장측도 결과를 통합한다.

제안 방법

• 쿼드라컨 측도 이론과 $s$-차원 쿼드라컨 불변성 개념을 활용하여 그로모프 하이퍼볼릭 공간에서 패트리시아 측도를 정의한다.
• 그림자 레미나를 적용하여 파oincaré 급수에서 궤도 수의 성장을 제어하고, 이를 임계 지수와 연결한다.
• 준지오데식 근사와 그로모프 곱 추정을 활용하여 궤도 점들 사이의 거리와 지오데식 선분 간의 거리를 비교한다.
• 발산 유형 조건을 통해 군 작용 하에서 패트리시아 측도의 유일성과 잘 정의된 척도화를 보장한다.
• 정규화자 작용을 활용하여 군 $G$의 궤도 합과 정규부군 $\Gamma$의 궤도 합을 연결하기 위해 맵 $\iota_h$를 통한 코남화 추론을 적용한다.
• 파oincaré 급수 수렴성과 발산성에 대한 추정을 조합하여 임계 지수 부등식을 도출한다.

실험 결과

연구 질문

• RQ1 그로모프 하이퍼볼릭 공간에서 작용하는 발산 유형의 비원소적 이산 등장사상군의 패트리시아 측도가 정규화자에 대해 여전히 준불변인지 여쭙는다.
• RQ2 이러한 군에서 적절한 코남화가 존재하지 않는다는 것을 측도론적 및 기하학적 기법을 통해 하이퍼볼릭 공간에서 증명할 수 있는가?
• RQ3 이러한 설정에서 비원소적 정규부군의 최소 가능한 임계 지수는 부모 군에 비해 어느 정도인가?
• RQ4 발산 유형 조건이 파oincaré 급수의 행동과 그로 인한 임계 지수 경계에 어떤 영향을 미치는가?

주요 결과

• 비원소적 이산 군이 적절한 지오데식 $δ$-하이퍼볼릭 공간에서 작용하는 발산 유형의 경우, 패트리시아 측도는 정규화자에 대해 준불변이며, 이는 기하학적 공간에서의 고전적 결과를 그로모프 하이퍼볼릭 환경으로 일반화한다.
• 이러한 공간에서 등장사상이 균일하게 불연속적으로 작용하는 발산 유형의 이산 군은 적절한 코남화를 갖지 않는다: $\alpha G \alpha^{-1} \subset G$ 이면 $\alpha G \alpha^{-1} = G$ 이다.
• 이러한 군 $G$의 비원소적 정규부군 $\Gamma$의 임계 지수는 $G$의 임계 지수의 반보다 엄밀히 크며, 즉 $e_a(\Gamma) > \frac{1}{2} e_a(G)$ 이다.
• 증명은 샤페르 레미나와 코남화 맵을 활용한 파oincaré 급수의 정밀 추정에 기반하며, $e_a(\Gamma) = \frac{1}{2} e_a(G)$ 라는 가정 하에 $G$에 대한 급수의 발산이 $\Gamma$에 대한 관련 합의 발산을 유도함으로써 모순을 도출한다.
• 이러한 설정에서 비원소적 이산 군의 임계 지수 $e_a(G)$ 는 엄밀히 양수이며, 초하이퍼볼릭 원소의 존재와 극한집합의 엄밀한 포함관계를 통해 확립된다.
• 이 결과는 기존 클라인기안 군에서의 임계 지수 및 코남화 강성 연구를 더 넓은 그로모프 하이퍼볼릭 공간 환경으로 확장하며, 하이퍼볼릭 군과 기하군 이론에 응용 가능하다.