[논문 리뷰] Pattern Rigidity and the Hilbert-Smith Conjecture

Mahan Mj|2009. 06. 23.

Mathematical Dynamics and Fractals참고 문헌 59인용 수 5

한 줄 요약

이 논문은 경계의 차원 조건(하우스도르프 차원이 위상 차원보다 두 더 작은 경우) 하에서, 초구형 포incare 이중성 군에 대해 코드미니멀리티가 1인 쿼시스컨벡스 부분군을 갖는 경우 패턴 고정성을 확립한다. 이는 군의 패턴을 유지하는 쿼시스이오메트리의 군을 분석함으로써 이루어지며, 이 조건 하에서 $G$를 포함하는 임의의 군은 $G$의 유한 지수를 가져야 하며, 이를 통해 위상적 및 메트릭 측도공간 기법을 사용하여 쿼시스이오메트리 고정성 결과를 상대적 설정으로 일반화한다.

ABSTRACT

In this paper we initiate a study of the topological group $PPQI(G,H)$ of pattern-preserving quasi-isometries for $G$ a hyperbolic Poincare duality group and $H$ an infinite quasiconvex subgroup of infinite index in $G$. Suppose $\partial G$ admits a visual metric $d$ with $dim_H < dim_t +2$, where $dim_H$ is the Hausdorff dimension and $dim_t$ is the topological dimension of $(\partial G,d)$. a) If $Q_u$ is a group of pattern-preserving uniform quasi-isometries (or more generally any locally compact group of pattern-preserving quasi-isometries) containing $G$, then $G$ is of finite index in $Q_u$. b) If instead, $H$ is a codimension one filling subgroup, and $Q$ is any group of pattern-preserving quasi-isometries containing $G$, then $G$ is of finite index in $Q$. Moreover, (Topological Pattern Rigidity) if $L$ is the limit set of $H$, $\LL$ is the collection of translates of $L$ under $G$, and $Q$ is any pattern-preserving group of {\it homeomorphisms} of $\partial G$ preserving $\LL$ and containing $G$, then the index of $G$ in $Q$ is finite. We find analogous results in the realm of relative hyperbolicity, regarding an equivariant collection of horoballs as a symmetric pattern in a {\it hyperbolic} (not relatively hyperbolic) space. Combining our main result with a theorem of Mosher-Sageev-Whyte, we obtain QI rigidity results. An important ingredient of the proof is a version of the Hilbert-Smith conjecture for certain metric measure spaces, which uses the full strength of Yang's theorem on actions of the p-adic integers on homology manifolds. This might be of independent interest.

연구 동기 및 목표

• 무한 지수의 쿼시스컨벡스 부분군을 갖는 초구형 Poincaré 이중성 군에 대해 위상적 패턴 고정성을 확립한다.
• 경계 차원 조건 하에서 $G$를 포함하는 모든 패턴을 유지하는 쿼시스이오메트리 군은 $G$의 유한 지수여야 한다는 것을 증명한다.
• 수직 구조의 호로볼을 대칭 패턴으로 간주함으로써 상대적으로 하이퍼볼릭 설정으로 쿼시스이오메트리 고정성 결과를 일반화한다.
• 양의 정리에 기반하여 $p$-진수 작용을 활용함으로써 아흐르포르스 정규 메트릭 측도공간에 대해 힐버트-쇼우 추측의 버전을 개발한다.
• 선형 대수 기법 대신 경계 위상수학과 메트릭 측도공간 기하학을 사용하여 선형 구조에 의존하지 않는다.

제안 방법

• 초구형 PD 군 $G$와 무한 지수의 쿼시스컨벡스 부분군 $H$에 대해 패턴을 유지하는 쿼시스이오메트리의 군 $PPQI(G,H)$를 정의한다.
• 경계 $\partial G$에 시각적 거리계를 사용하고, $\dim_{\text{haus}} < \dim_t + 2$ 또는 등가로 $ACD(\partial G) < \dim_t + 2$ 조건을 도입하여 경계 기하를 통제한다.
• 아흐르포르스 정규 메트릭 측도공간 이론을 적용하여 쿼시스이오메트리 작용과 등각 차원을 분석한다.
• 뉴먼-스미스 정리와 양의 정리(호모로지 다양체 위의 $p$-진수 군 작용)를 사용하여 이상한 군 원소를 배제한다.
• 코드미니멀리티가 1인 부분군을 이용해 $\partial G$에 대해 조합론적 cross-ratio를 구성함으로써 기하적 구조를 탐지한다.
• 유한 궤도 행동을 분석하고 궤도 지름 통제를 통해 균일 위상과 관련지어 패턴을 유지하는 쿼시스이오메트리 군 $PPQI(G,H)$에 대해 '순열 위상'을 도입한다.

실험 결과

연구 질문

• RQ1 초구형 PD 군 $G$와 코드미니멀리티가 1인 쿼시스컨벡스 부분군 $H$를 갖는 경우, 패턴을 유지하는 쿼시스이오메트리 군의 경계 차원 조건은 무엇인가? 이 조건 하에서 군이 $G$의 유한 지수여야 하는가?
• RQ2 대칭적인 호로볼 패턴을 기하적 구조로 간주함으로써, 상대적으로 하이퍼볼릭 군으로 쿼시스이오메트리 고정성 결과를 확장할 수 있는가?
• RQ3 하이퍼볼릭 군 경계에서 유래하는 아흐르포르스 정규 메트릭 측도공간에 대해 힐버트-쇼우 추측을 어느 정도 일반화할 수 있는가?
• RQ4 $PPQI(G,H)$에서 작은 근, 작은 토크션, $p$-진수 부분군의 부재는 어떤 방식으로 유한 지수 결과를 이끌어낼 수 있는가?
• RQ5 패턴을 유지하는 군의 유한성 정리에서 국소 콪 pactness 가정을 제거하기 위해 $PPQI(G,H)$의 순열 위상은 어떻게 활용될 수 있는가?

주요 결과

• 만약 $\partial G$가 $\dim_{\text{haus}} < \dim_t + 2$ 조건을 만족하는 시각적 거리계를 갖는다면, $G$를 포함하는 국소 콤��� 패턴을 유지하는 균일 쿼시스이오메트리 군 $Q_u$는 $G$의 유한 지수여야 한다.
• 코드미니멀리티가 1인 채움 부분군 $H$에 대해, $G$를 포함하는 모든 패턴을 유지하는 쿼시스이오메트리 군 $Q$는 국소 콤팩트성 조건 없이도 $G$의 유한 지수여야 한다.
• 위상적 패턴 고정성 성립: $Q$가 $\partial G$의 위상동형사상 군이며 $H$의 극한집합 $L$의 $G$-궤도를 유지하고, $Q$가 $G$를 포함한다면 $[Q:G] < \infty$이다.
• 유한 곡률의 음의 곡률 다각형의 전체 덮개에서 호로볼의 집합을 대칭 패턴으로 간주함으로써 결과는 상대적으로 하이퍼볼릭 군으로 확장된다.
• 하이퍼볼릭 PD 군의 경계로 유래하는 아흐르포르스 정규 메트릭 측도공간에 대해 양의 정리에 기반한 힐버트-쇼우 추측의 버전이 증명된다.
• 증명은 경계 위상수학과 메트릭 측도공간 구조를 통해 위상적으로 나누어지는 원소, 작은 토크션 원소, $p$-진수 부분군의 배제에 의존한다.