[논문 리뷰] Gromov hyperbolicity of Denjoy domains with hyperbolic and quasihyperbolic metrics

Peter Hästö, Henri Lindén외 3명|ArXiv.org|2008. 05. 31.

Analytic and geometric function theory참고 문헌 17인용 수 5

한 줄 요약

이 논문은 복소 평면에서 실수축에서 제거된 구간들로 정의된 Denjoy 도메인에 대해, 그 도메인의 허수 또는 준허수 하이퍼볼릭 거리계가 Gromov 하이퍼볼릭이 되는지 여부를 결정하는 명시적이고 단순한 기준을 제시한다. 이 기준은 도메인의 여집합의 유클리드 크기만을 기반으로 한다. 핵심 결과는 제거된 구간들의 상대적 너비 $\frac{b_n - a_n}{a_n}$ 가 0에서 멀리 떨어져 있으면 하이퍼볼릭성이 성립하고, 0으로 수렴하면 실패함을 보여주며, 이는 주기적인 Denjoy 도메인과 경계에서 닫힌 부분집합을 제거할 경우의 안정성에 응용된다.

ABSTRACT

We obtain explicit and simple conditions which in many cases allow one decide, whether or not a Denjoy domain endowed with the Poincare or quasihyperbolic metric is Gromov hyperbolic. The criteria are based on the Euclidean size of the complement. As a corollary, the main theorem allows to deduce the non-hyperbolicity of any periodic Denjoy domain.

연구 동기 및 목표

• 허수 또는 준허수 하이퍼볼릭 거리계를 갖는 Denjoy 도메인이 언제 Gromov 하이퍼볼릭이 되는지 규명하는 것.
• 경로 구성이 아닌 유클리드 크기 기반의 명시적이고 쉽게 검증할 수 있는 조건을 제공하는 것.
• 무한히 연결된 영역에서 준허수 하이퍼볼릭 거리계의 기존 결과를 허수 하이퍼볼릭 거리계로 확장하는 것.
• 경계에서 닫힌 부분집합을 제거하더라도 비하이퍼볼릭성이 유지됨을 보이는 것.
• 이전에 이 분야에서 다루지 않은 주기적인 Denjoy 도메인에 대해 비하이퍼볼릭성을 증명하는 것.

제안 방법

• 저자들은 실수축에서 구간 $ (a_n, b_n) $ 이 제거된 Denjoy 도메인을 분석하며, $ b_n \leq a_{n+1} $ 이고 $ \lim a_n = \infty $ 를 만족한다.
• 비율 $ \frac{b_n - a_n}{a_n} $ 의 하한극한에 기반한 기준을 유도하여, 이와 허수 및 준허수 하이퍼볼릭 거리계의 Gromov 하이퍼볼릭성 간의 직접적인 연관성을 밝혀낸다.
• 기본 기하선과 준기하선 기법을 사용하여 원래 도메인과 수정된 도메인 내의 거리 비교를 수행한다.
• 특히 부등식 $ h_{\Omega \setminus F} \geq h_{\Omega} $ 와 $ \cosh \varepsilon \coth(\varepsilon/2) $ 를 포함한 왜곡 한계를 이용해 허수와 준허수 하이퍼볼릭 거리계 간의 비교 정리를 적용한다.
• 모순에 기반한 증명 기법을 사용한다: 수정된 도메인의 하이퍼볼릭성이 성립한다고 가정하면 실수축으로부터의 하이퍼볼릭 거리가 발산하는 점이 존재하게 되며, 이는 Gromov 하이퍼볼릭성과 모순된다.
• 안정성 결과는 원래 도메인의 기본 기하선이 경계로의 거리가 발산하는 점을 포함하면, 경계의 닫힌 부분집합을 제거한 임의의 부분도메인에서도 이 성질이 유지됨을 보여서 증명된다.

실험 결과

연구 질문

• RQ1 Denjoy 도메인의 여집합에 대해 어떤 조건에서 허수 하이퍼볼릭 거리계가 Gromov 하이퍼볼릭이 되는가?
• RQ2 준허수 하이퍼볼릭 거리계의 하이퍼볼릭성은 제거된 구간에 대한 단순한 유클리드 조건으로 결정될 수 있는가?
• RQ3 경계에서 닫힌 부분집합을 제거할 경우 Denjoy 도메인의 비하이퍼볼릭성은 유지되는가?
• RQ4 주기적인 Denjoy 도메인의 하이퍼볼릭성은 제거된 구간의 상대 크기에 따라 달라지는가?
• RQ5 이러한 도메인 클래스에 대해 허수 및 준허수 하이퍼볼릭 거리계에 동시에 적용 가능한 통일된 기준이 존재하는가?

주요 결과

• 도메인 $ \Omega $ 에서 허수 및 준허수 하이퍼볼릭 거리계가 Gromov 하이퍼볼릭이 되기 위한 조건은 $ \liminf_{n \to \infty} \frac{b_n - a_n}{a_n} > 0 $ 이다.
• 만약 $ \lim_{n \to \infty} \frac{b_n - a_n}{a_n} = 0 $ 이면, 두 거리계 모두 Gromov 하이퍼볼릭이 아니게 된다.
• 경계에서 $ F \subseteq (-\infty, 0] $ 인 임의의 닫힌 부분집합을 제거하더라도 Denjoy 도메인의 비하이퍼볼릭성은 유지된다.
• 실수축 위에 주기적으로 닫힌 집합을 제거하여 정의된 주기적인 Denjoy 도메인은 허수 또는 준허수 하이퍼볼릭 거리계에 대해 Gromov 하이퍼볼릭이 아니다.
• 본 연구는 무한히 연결된 평면 도메인에서 Gromov 하이퍼볼릭성에 대한 최초의 명시적이고 유클리드 크기에 기반한 기준을 제공한다.
• 메서드를 통해 하이퍼볼릭성 성질은 경로의 균일성 조건을 검증할 필요 없이 가чёт한 점들의 집합과 구간 비율만으로 유추될 수 있음을 보여준다.