[논문 리뷰] Geometry and dynamics in Gromov hyperbolic metric spaces: With an emphasis on non-proper settings

Tushar Das, David Simmons외 1명|White Rose Research Online (University of Leeds, The University of Sheffield, University of York)|2014. 09. 07.

Geometric Analysis and Curvature Flows참고 문헌 8인용 수 16

한 줄 요약

이 논문은 적절성 또는 컴팩트성 조건을 가정하지 않고, 고르모프 하이퍼볼릭 거리공간 위에서 등장하는 등장군 및 등장반군의 작용에 대한 종합적인 이론을 개발한다. 특히 무한차원 설정인 H∞와 같은 경우를 중심으로 다루며, 비즈비-존스 정리를 일반화하기 위해 수정된 파oincaré 지수를 도입하고, 비콤팩트 경계 위에 패트릭슨–술리먼 측도를 구성하며, 디오판틴 추론을 통해 정확한 차원성을 특성화함으로써, 비준수 하이퍼볼릭 역학에서 새로운 현상을 드러낸다.

ABSTRACT

Our monograph presents the foundations of the theory of groups and semigroups acting isometrically on Gromov hyperbolic metric spaces. Our work unifies and extends a long list of results by many authors. We make it a point to avoid any assumption of properness/compactness, keeping in mind the motivating example of $\mathbb H^\infty$, the infinite-dimensional rank-one symmetric space of noncompact type over the reals. The monograph provides a number of examples of groups acting on $\mathbb H^\infty$ which exhibit a wide range of phenomena not to be found in the finite-dimensional theory. Such examples often demonstrate the optimality of our theorems. We introduce a modification of the Poincaré exponent, an invariant of a group which gives more information than the usual Poincaré exponent, which we then use to vastly generalize the Bishop--Jones theorem relating the Hausdorff dimension of the radial limit set to the Poincaré exponent of the underlying semigroup. We give some examples based on our results which illustrate the connection between Hausdorff dimension and various notions of discreteness which show up in non-proper settings. We construct Patterson--Sullivan measures for groups of divergence type without any compactness assumption. This is carried out by first constructing such measures on the Samuel--Smirnov compactification of the bordification of the underlying hyperbolic space, and then showing that the measures are supported on the bordification. We study quasiconformal measures of geometrically finite groups in terms of (a) doubling and (b) exact dimensionality. Our analysis characterizes exact dimensionality in terms of Diophantine approximation on the boundary. We demonstrate that some Patterson--Sullivan measures are neither doubling nor exact dimensional, and some are exact dimensional but not doubling, but all doubling measures are exact dimensional.

연구 동기 및 목표

• 비준수 설정에서 특히 고르모프 하이퍼볼릭 거리공간 위에서 등장군 및 등장반군 작용에 대한 완전하고 자가 포함된 이론을 수립하기 위해.
• 클래식한 공식화의 한계를 극복하여, 근방 극한집합의 하우스도르프 차원과 파oincaré 지수 사이의 비즈비-존스 정리를 일반화하기 위해.
• 경계나 극한집합의 컴팩트성 조건 없이 발산형 그룹에 대한 패트릭슨–술리먼 측도를 구성하기 위해.
• 기하학적으로 유한한 설정에서 쿼시컨formal 측도의 정확한 차원성을 경계 위의 디오판틴 추론어휘로 특성화하기 위해.
• 무한차원 하이퍼볼릭 공간인 H∞에서의 새로운 예를 통해 정리의 최적성을 보여주기 위해.

제안 방법

• 비준수 설정에서 특히 더 많은 역학적 정보를 포착하는 수정된 파oincaré 지수를 도입하여, 고전적 형태보다 더 강력한 불변량을 제공한다.
• 샘류엘–스미르노프 컴팩티피케이션을 사용하여, 경계의 컴팩트성 조건 없이 하이퍼볼릭 공간의 경계화에 대한 패트릭슨–술리먼 측도를 구성한다.
• 이러한 측도가 고전적인 측도 이론적 구성의 일반화로서 비컴팩티피케이션된 경계화에 자연스럽게 내림내려지도록 증명한다.
• 이중성과 정확한 차원성의 성질을 사용하여 기하학적으로 유한한 군의 쿼시컨포멀 측도를 분석하고, 이를 경계 위의 디오판틴 추론과 연결한다.
• H∞에서 명시적인 예를 구성하여, 비이중성이지만 정확한 차원성을 갖는 패트릭슨–술리먼 측도와, 이중성도 아니고 정확한 차원성도 아닌 측도가 존재함을 보여주며, 측도 이론적 성질의 엄밀한 계층을 드러낸다.
• 일반화된 극좌표, 그림자 기하학, 거리 도함수를 적용하여 하이퍼볼릭 공간 내의 역학과 성장 특성을 분석한다.

실험 결과

연구 질문

• RQ1 표준 파oincaré 지수가 전체 역학적 정보를 포착하지 못하는 비준수 고르모프 하이퍼볼릭 공간에서, 클래식한 비즈비-존스 정리를 어떻게 일반화할 수 있는가?
• RQ2 경계나 극한집합의 컴팩트성 조건 없이, 발산형 그룹이 비콤팩트 하이퍼볼릭 공간에 작용할 때 패트릭슨–술리먼 측도를 어떻게 구성할 수 있는가?
• RQ3 기하학적으로 유한한 설정에서 쿼시컨포멀 측도의 이중성, 정확한 차원성, 디오판틴 추론 성질 간의 관계는 무엇인가?
• RQ4 유한차원 이론에서 나타나지 않는 새로운 역학적 현상은 어떤 것이며, 이를 무한차원 하이퍼볼릭 공간인 H∞에서 어떻게 관찰할 수 있는가?
• RQ5 클래식적인 이산성 개념들(예: 적절한 불연속성, 강한 이산성)은 비준수 하이퍼볼릭 설정에서 어느 정도 실패하거나 수정이 필요한가?

주요 결과

• 수정된 파oincaré 지수는 고전적 파oincaré 지수보다 엄밀히 더 강력한 불변량을 제공하며, 비준수 설정에서 비즈비-존스 정리의 완전한 일반화를 가능하게 한다.
• 샘류엘–스미르노프 컴팩티피케이션을 통해 비콤팩트 경계 위에서 발산형 그룹에 대한 패트릭슨–술리먼 측도를 구성할 수 있으며, 그 지지집합은 자연스럽게 비컴팩티피케이션된 경계화로 내림내려진다.
• 정확한 차원성을 갖지만 이중성이 아닌 측도가 존재하며, 이중성도 아니고 정확한 차원성도 아닌 측도도 존재함을 보여주며, 측도 이론적 성질 간의 엄밀한 계층을 드러낸다.
• 쿼시컨포멀 측도의 정확한 차원성은 경계 위의 디오판틴 추론 성질에 의해 특성화되며, 이는 정확한 차원성의 역학적 의미를 제공한다.
• H∞에서의 예는 극한집합이 약한 이산성 반군에 대해서도 비가산일 수 있으며, 고전적 의미에서 발산하지 않음에도 불구하고 근방 극한집합의 하우스도르프 차원이 양수임을 보여준다.
• 이론은 고전적인 위상적 이산성과 적절한 불연속성 사이의 동치관계가 비준수 설정에서는 성립하지 않음을 드러내며, 중간 이산성과 강한 이산성 같은 보다 정교한 개념이 필요함을 시사한다.