[논문 리뷰] Poincaré inequalities and quasiconformal structure on the boundary of some hyperbolic buildings

Marc Bourdon, Hervé Pajot|arXiv (Cornell University)|1997. 10. 20.

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

한 줄 요약

이 논문은 초구형 빌딩 $\partial I_{p,q}$ 의 경계에서 약한 (1,1)-Poincaré 부등식을 확립하여, 그것이 Loewner 공간임을 증명한다. Heinonen-Koskela 이론을 이용해, $\partial I_{p,q}$ 의 모든 등각 자기위상변환은 등지수대칭임을 이끌어내며, 이는 Heinosen과 Semmes 가 제기한 메트릭 공간에서 등각성과 등지수대칭성의 동치성에 관한 두 질문에 대해 부정적인 해답을 제시한다.

ABSTRACT

In this paper we shall show that the boundary $\partial I_{p,q}$ of the hyperbolic building $I_{p,q}$ considered in M. Bourdon, \emph{Immeubles hyperboliques, dimension conforme et rigidité de Mostow} (Geometric And Functional Analysis, Vol 7 (1997), p 245-268) admits Poincaré type inequalities. Then by using Heinonen-Koskela's work, we shall prove Loewner capacity estimates for some families of curves of $\partial I_{p,q}$ and the fact that every quasiconformal homeomorphism $f : \partial I_{p,q} \longrightarrow \partial I_{p,q}$ is quasisymetric. Therefore by these results, the answers to certain questions of Heinonen and Semmes are NO.

연구 동기 및 목표

• 초구형 빌딩 $I_{p,q}$ 의 경계 $\partial I_{p,q}$ 에서 Poincaré 부등식을 확립한다. 이는 $I_{p,q}$ 가 특정 기하학적 및 조합적 구조를 지닌 CAT(-1) 공간임을 반영한다.
• 약한 (1,1)-Poincaré 부등식을 증명함으로써 $\partial I_{p,q}$ 가 Loewner 공간임을 보이며, 이는 곡선 가족의 모듈러스를 제어한다.
• 모든 등각 자기위상변환 $f: \partial I_{p,q} \to \partial I_{p,q}$ 가 등지수대칭임을 증명함으로써, Heinosen과 Semmes 의 질문 19와 20에 대해 부정적인 답을 도출한다.
• 경계 메트릭 공간 $\partial I_{p,q}$ 의 등각 차원과 Ahlfors-정규성을 특성화한다. 이 공간의 하우스도르프 차원은 $Q_{p,q} = 1 + \frac{\log(q-1)}{\text{arccosh}((p-2)/2)}$ 이다.
• 경계 $\partial I_{p,q}$ 에서 곡선 가족과 메트릭 행동을 분석하기 위해 나무 구조와 Gromov 곱을 이용한 기하학적 및 측도론적 프레임워크를 제공한다.

제안 방법

• 경계 $\partial I_{p,q}$ 를 정규 $p$-각형 챔버와 크기가 $q+q$ 인 완전 이분할 정점 연결고리로 가지는 CAT(-1) 빌딩의 경계로 기하학적 모델링한다.
• 지오데식적이며, $Q_{p,q}$ 차원의 Ahlfors-정규성과 Menger 보편 곡선과 위상동형이 되는 자연스러운 메트릭 $\delta_{p,q}$ 를 $\partial I_{p,q}$ 에 정의한다.
• 지오데식 사상에 관련된 초구면 $H_t$ 에 대한 확률 측도 $\gamma_t$ 의 가족을, 빌딩의 1-스켈레톤의 나무 구조를 이용해 구성한다.
• Fubini 정리와 최대 함수 추정을 적용하여 함수 $u$ 의 진동과 그 매우 약한 기울기 $\rho$ 의 $L^1$-노름 사이의 관계를 곡선을 따라 연결한다.
• 조합적 Gromov 곱 $\{\cdot|\cdot\}_x$ 를 사용하여 집합 $H_t$ 의 측도를 추정하고, 거리 비율 $\delta_x(\xi,t)\delta_x(t,\eta)/\delta_x(\xi,\eta)$ 와 연결한다.
• 함수 $\varphi_l(t) = \min(t, l-t)$ 를 포함하는 실해석학 렘마를 적용하여, $\rho$ 의 최대 함수에 의해 $u$ 의 평균 진동을 제어함으로써 Poincaré 부등식을 이끌어낸다.

실험 결과

연구 질문

• RQ1 초구형 빌딩 $I_{p,q}$ 의 경계 $\partial I_{p,q}$ 는 약한 (1,1)-Poincaré 부등식을 만족하는가?
• RQ2 $\partial I_{p,q}$ 는 Loewner 공간인가? 즉, 비퇴화된 연속체를 연결하는 곡선 가족의 모듈러스가 일관되게 아래로 유계인가?
• RQ3 모든 등각 자기위상변환 $f: \partial I_{p,q} \to \partial I_{p,q}$ 는 반드시 등지수대칭인가?
• RQ4 $\partial I_{p,q}$ 의 등각 차원은 그 하우스도르프 차원 $Q_{p,q}$ 와 일치하는가?
• RQ5 나무 기반 측도와 Gromov 곱을 이용해 $\partial I_{p,q}$ 의 메트릭 구조를 분석하여 Poincaré 유형 부등식을 도출할 수 있는가?

주요 결과

• 경계 $\partial I_{p,q}$ 는 상수 $C_0 > 0$ 과 $C_1 > 0$ 를 가진 약한 (1,1)-Poincaré 부등식을 만족하며, 이는 함수의 $L^1$-진동이 그 매우 약한 기울기의 $L^1$-노름에 의해 제어됨을 보장한다.
• 모든 등각 자기위상변환 $f: \partial I_{p,q} \to \partial I_{p,q}$ 는 Poincaré 부등식을 통해 확립된 Loewner 성질의 결과로 등지수대칭임을 보인다.
• $\partial I_{p,q}$ 는 Loewner 공간이며, 비퇴화된 연속체를 연결하는 곡선 가족의 모듈러스가 그 연속체 간 상대적 거리에만 의존하는 양의 상수로 일관되게 아래로 유계이다.
• 하우스도르프 차원 $Q_{p,q} = 1 + \frac{\log(q-1)}{\text{arccosh}((p-2)/2)}$ 는 $\partial I_{p,q}$ 의 Pansu 등각 차원과 일치하며, 하우스도르프 측도 $\mu_{p,q}$ 는 차원 $Q_{p,q}$ 에 대해 Ahlfors-정규이다.
• 핵심 추정: $\gamma_t(H_t) \asymp \left( \frac{\delta_x(\xi,t)\delta_x(t,\eta)}{\delta_x(\xi,\eta)} \right)^{Q_{p,q}-1}$ 이며, 이는 초구면 집합의 측도를 Gromov 곱과 거리 비율과 연결한다.
• Poincaré 부등식과 Heinonen-Koskela 의 특성화를 결합함으로써, 저자들은 Heinosen과 Semmes 의 질문 19와 20에 대한 답이 '아니요'임을 도출한다. 일반적인 메트릭 공간에서 등각사상이 반드시 등지수대칭이 아니며, 이는 일부 고전적 설정에서는 기대와 반대된다.