[논문 리뷰] Diophantine approximation and the geometry of limit sets in Gromov hyperbolic metric spaces (extended version)

Lior Fishman, David Simmons외 1명|arXiv (Cornell University)|2013. 01. 23.

Geometric and Algebraic Topology참고 문헌 37인용 수 6

한 줄 요약

이 논문은 그로모프 초구형 거리공간에서 작용하는 군의 극한집합 내에서 디오판틴 대수적 근사 이론을 종합적으로 수립하며, 이는 기존의 결과를 기하학적으로 유한하거나 무한한 클라인 군, 그리고 무한차원 초구형 공간으로까지 확장한다. 일반화된 비숍-존슨 정리와 함께, 군이 쿼드라틱-컨벡스 코어팩트가 아닐 경우 유일한 반경극한집합이 패터슨–술리번 측도를 가질 수 없음을 증명하며, 디오판틴 대수적 근사의 배경에 깊이 뿌리내린 기하학적-역학적 연결고리를 드러낸다.

ABSTRACT

In this paper, we provide a complete theory of Diophantine approximation in the limit set of a group acting on a Gromov hyperbolic metric space. This summarizes and completes a long line of results by many authors, from Patterson's classic '76 paper to more recent results of Hersonsky and Paulin ('02, '04, '07). Concrete examples of situations we consider which have not been considered before include geometrically infinite Kleinian groups, geometrically finite Kleinian groups where the approximating point is not a fixed point of the group, and groups acting on infinite-dimensional hyperbolic space. Moreover, in addition to providing much greater generality than any prior work, our results also give new insight into the nature of the connection between Diophantine approximation and the geometry of the limit set within which it takes place. Two results are also contained here which are purely geometric: a generalization of a theorem of Bishop and Jones ('97) to Gromov hyperbolic metric spaces, and a proof that the uniformly radial limit set of a group acting on a proper geodesic Gromov hyperbolic metric space has zero Patterson--Sullivan measure unless the group is quasiconvex-cocompact. The latter is an application of a Diophantine theorem.

연구 동기 및 목표

• 그로모프 초구형 거리공간에서 군의 작용에 의한 극한집합 내 디오판틴 대수적 근사 이론에 대한 이전 결과들을 통합하고 확장하기.
• 기존에 고려되지 않았던 경우, 즉 기하학적으로 무한한 클라인 군과 무한차원 초구형 공간에서의 작용을 다루기.
• 디오판틴 대수적 근사와 극한집합의 구조 사이의 본질적인 기하학적 연결고리를 명확히 하기.
• 디오판틴 이론의 순수 기하학적 결과를 추론하여 극한집합 기하학의 이해를 심화하기.

제안 방법

• 패터슨과 폴린의 기법을 일반적인 그로모프 초구형 거리공간 설정으로 일반화하기.
• 패터슨–술리번 측도를 사용하여 극한집합 내 근사집합의 크기와 분포를 분석하기.
• 근사 프레임워크 내의 핵심 기하학적 대상으로서의 균일 반경극한집합을 도입하고 분석하기.
• 역학적 및 기하학적 방법을 적용하여 극한집합의 측도론적 성질을 증명하기.
• 그로모프 초구형 공간으로의 하우스도르프 차원에 관한 비숍–존슨 정리의 일반화하기.
• 디오판틴 정리들을 통해 균일 반경극한집합에서 패터슨–술리번 측도의 소멸을 유도하기.

실험 결과

연구 질문

• RQ1 군이 그로모프 초구형 거리공간에서 작용할 때, 특히 군이 기하학적으로 무한하거나 공간이 무한차원일 경우 극한집합 내에서 디오판틴 대수적 근사는 어떻게 행동하는가?
• RQ2 극한집합의 구조와 그 점들의 디오판틴 대수적 근사 성질 사이의 정확한 기하학적 관계는 무엇인가?
• RQ3 균일 반경극한집합이 패터슨–술리번 측도를 지닌다 할 때, 이는 군의 역학적 성질에 대해 어떤 함의를 갖는가?
• RQ4 실수 초구형 공간을 넘어서 임의의 그로모프 초구형 거리공간으로 비숍–존슨 정리의 차원에 관한 일반화가 가능할까?
• RQ5 이 설정에서 디오판틴 대수적 근사 정리로부터 유도되는 기하학적 결과는 무엇인가?

주요 결과

• 모든 정규화된 길이를 가진 기하학적 그로모프 초구형 거리공간에서 군의 작용에 의한 균일 반경극한집합은 군이 쿼드라틱-컨벡스 코어팩트일 경우를 제외하고는 패터슨–술리번 측도를 가질 수 없다.
• 그로모프 초구형 거리공간에 대해 하우스도르프 차원에 관한 비숍–존슨 정리의 일반화가 확립되었다.
• 이 논문은 일반적인 그로모프 초구형 공간에서의 군 작용에 대해 이전에 다루지 않은 경우까지 포함하여 극한집합 내에서 완전한 디오판틴 대수적 근사 이론을 제공한다.
• 디오판틴 대수적 근사와 극한집합의 기하학적 성질 사이의 연결고리는 본질적이며 정량적으로도 중요한 것으로 드러났다.
• 이 이론은 기하학적으로 무한한 클라인 군과 무한차원 초구형 공간에서의 작용에 적용 가능하며, 기존 결과를 확장한다.
• 균일 반경극한집합의 측도론적 행동은 디오판틴 성질을 통해 완전히 특징지어지며, 이는 쿼드라틱-컨벡스 코어팩트성에 대한 새로운 기하학적 기준을 제공한다.