[논문 리뷰] Hausdorff dimension and Kleinian groups

Christopher J. Bishop, Peter W. Jones|arXiv (Cornell University)|1994. 03. 22.

Geometry and complex manifolds참고 문헌 30인용 수 4

한 줄 요약

이 논문은 유한 생성된 비원소적 클라인 군의 극한 집합의 하우스도르프 차원과 동역학적 불변량 사이의 깊은 연결 고리를 설정한다. 군 G의 임계 지수 δ(G)가 콘형 극한 집합의 하우스도르프 차원과 일치함을 증명하고, 극한 집합 Λ(G)의 차원이 1보다 크기 위한 필요충분조건을 제시하며, 기하적 유한성, 대수적 수렴에 따른 연속성, 그리고 민코프스키 차원과 하우스도르프 차원의 동치성에 관한 핵심 결과를 도출한다.

ABSTRACT

Let G be a non-elementary, finitely generated Kleinian group, Lambda(G) its limit set and Omega(G) = S \ Lambda(G) (S = the sphere) its set of discontinuity. Let delta(G) be the critical exponent for the Poincaré series and let Lambda_c be the conical limit set of G. Suppose Omega_0 is a simply connected component of Omega(G). We prove that (1) delta(G) = dim(Lambda_c). (2) A simply connected component Omega is either a disk or dim(Omega)>1$. (3) Lambda(G) is either totally disconnected, a circle or has dimension > 1, (4) G is geometrically infinite iff dim(Lambda)=2. (5) If G_n o G algebraically then dim(Lambda) <= \liminf dim(Lambda_n). (6) The Minkowski dimension of Lambda equals the Hausdorff dimension. (7) If Area(Lambda)=0 then delta(G) = dim(Lambda(G)). The proof also shows that \dim(Lambda(G)) > 1 iff the conical limit set has dimension > 1 iff the Poincaré exponent of the group is > 1. Furthermore, a simply connected component of Omega(G) either is a disk or has non-differentiable boundary in the the sense that the (inner) tangent points of \partial Omega have zero 1-dimensional measure. Almost every point (with respect to harmonic measure) is a twist point.

연구 동기 및 목표

• 극한 집합 Λ(G)의 하우스도르프 차원과 클라인 군의 동역학적 불변량 사이의 관계를 이해하는 것.
• 극한 집합의 차원이 1보다 큰 경우를 특정하고, 그 위상적 구조를 규명하는 것.
• 극한 집합에 대해 민코프스키 차원과 하우스도르프 차원의 동치성을 확립하는 것.
• 불연속 집합 Ω(G)의 단순연결 성분의 구조를 분석하고, 특히 그 경계의 정규성에 대해 연구하는 것.
• 클라인 군의 대수적 수렴에 따른 극한 집합 차원의 행동을 조사하는 것.

제안 방법

• 차원과 관련된 핵심 분석 도구로 푸앵카레 급수와 그 임계 지수 δ(G)를 사용하는 것.
• 콘형 극한 집합 Λ_c와 그 차원을 분석하기 위해 등각 및 기하 측도 이론 기법을 적용하는 것.
• 경계 정규성 분석을 위해 조화 측도와 타점 분석을 활용하는 것.
• 특히 δ(G) > 1 ⇔ dim(Λ_c) > 1를 만족하는 차원 임계값을 파악하기 위해 푸앵카레 지수를 활용하는 것.
• 덮개 구성과 메트릭 엔트로피 추정을 통해 민코프스키 차원과 하우스도르프 차원의 동치성을 증명하는 것.
• 군 G_n → G의 대수적 수렴을 분석하여 차원에 대한 liminf 부등식 dim(Λ) ≤ liminf dim(Λ_n)을 확립하는 것.

실험 결과

연구 질문

• RQ1 유한 생성 클라인 군 G에 대해, 임계 지수 δ(G)와 콘형 극한 집합 Λ_c의 하우스도르프 차원 사이의 정확한 관계는 무엇인가요?
• RQ2 극한 집합 Λ(G)의 하우스도르프 차원이 1보다 큰 조건은 무엇이며, 이는 콘형 극한 집합의 구조와 어떻게 관련이 있나요?
• RQ3 클라인 군의 대수적 수렴에 따라 극한 집합의 차원은 어떻게 변화하나요?
• RQ4 불연속 집합 Ω(G)의 단순연결 성분의 경계 정규성에 관해 무엇을 말할 수 있나요?
• RQ5 극한 집합의 면적이 0일 때, δ(G) = dim(Λ(G))가 성립하는 조건은 무엇인가요?

주요 결과

• 임계 지수 δ(G)는 콘형 극한 집합의 하우스도르프 차원과 일치한다: δ(G) = dim(Λ_c).
• Ω(G)의 단순연결 성분 Ω는 원판이거나, 하우스도르프 차원이 1보다 크다.
• 극한 집합 Λ(G)는 완전히 분리된 집합이거나, 원이거나, 하우스도르프 차원이 1보다 크다.
• 군 G는 기하적으로 무한일 필요충분조건이 dim(Λ(G)) = 2이다.
• Λ(G)의 민코프스키 차원은 그 하우스도르프 차원과 같다.
• Λ(G)의 면적이 0이라면, δ(G) = dim(Λ(G))이다.