[논문 리뷰] Cohomologie $L^p$ en degr\\'e 1 des espaces homog\\`enes

Pierre Pansu|arXiv (Cornell University)|2012. 07. 24.

Homotopy and Cohomology in Algebraic Topology인용 수 7

한 줄 요약

이 논문은 비콤팩트 리만ian 동차 공간에 대해 1차 $L^p$-코호몰로지를 계산하며, 감소한 $L^p$-코호몰로지가 비자명한 것은 오직 그 공간이 음의 곡률을 가진 동차 공간과 준등장일 때에만 성립함을 보인다. 핵심 결과는 삼분법을 제시한다: 코호몰로지가 0이 아닐 조건은 공간이 무한대에서 닫혀 있거나(여기서 토퍼션 존재), 또는 음의 곡률을 가진 공간과 유사한 경우(여기서 $p > \mathbf{p}(M)$일 때 감소한 코호몰로지가 비자명함)이다.

ABSTRACT

The $L^p$-cohomology in degree 1 of Riemannian homogeneous spaces is computed. It turns out that reduced cohomology does not vanish exactly for spaces quasiisometric to negatively curved homogeneous spaces.

연구 동기 및 목표

• 비콤팩트 리만ian 동차 공간에 대해 1차 $L^p$-코호몰로지를 계산하는 것.
• 감소한 $L^p$-코호몰로지 $R^{1,p}(M)$가 비자명한 조건을 규명하는 것.
• 코호몰로지 $H^{1,p}(M)$와 $R^{1,p}(M)$의 소멸 또는 비소멸에 따라 동차 공간을 분류하는 것.
• 감소한 코호몰로지가 비자명한 것은 오직 엄격히 음의 곡률을 가진 공간과 준등장하는 공간일 때에만 성립함을 확립하는 것.
• 비음의 곡률을 가진 공간의 경계의 하우스도르프 차원과 관련된 기하학적 불변량과 임계 지수 $\mathbf{p}(M)$의 관계를 규명하는 것.

제안 방법

• 왼쪽-불변 메트릭을 가진 리 군으로 문제를 단순화하기 위해 $L^p$-코호몰로지의 준등장 불변성을 활용하는 것.
• H. Hoke의 무한대에서 닫혀 있는 리 군의 특성화를 응용하여 첫 번째 유형의 공간(비자명한 토퍼션 존재)을 식별하는 것.
• E. Heintze의 음의 섹션 곡률을 가진 동차 공간의 분류를 활용하여 두 번째 유형의 공간을 식별하는 것.
• Besov 공간 이론과 $L^p$-조화형식 이론을 활용하여 $R^{1,p}(M)$의 구조를 분석하는 것, 특히 $p=2$의 경우에 중점을 두는 것.
• 와핑된 곱의 $L^p$-코호몰로지에 대한 쿤첸 공식과 대칭 공간의 $L^p$-코호몰로지 결과를 응용하는 것.
• 바나흐-바나흐 차원 이론과 $L^2$-베티 수를 활용하여 무한대에서 닫혀 있는 공간에 대해 비자명한 $R^{1,2}(M)$가 존재하지 않음을 배제하는 것.

실험 결과

연구 질문

• RQ1 어떤 비콤팩트 리만ian 동차 공간에서 1차 $L^p$-코호몰로지가 비자명한가?
• RQ2 비소멸하는 감소한 $L^p$-코호몰로지 $R^{1,p}(M)$를 가지는 공간은 어떤 특성을 갖는가?
• RQ3 임계 지수 $\mathbf{p}(M)$는 경계의 하우스도르프 차원과 같은 기하학적 불변량과 어떻게 관련되는가?
• RQ4 $L^p$-코호몰로지는 무한대에서 닫혀 있는 공간과 음의 곡률을 가진 공간을 구별할 수 있는가?
• RQ5 어떤 조건에서 토퍼션 $T^{1,p}(M)$는 소멸하고, $R^{1,p}(M)$는 비자명한가?

주요 결과

• 모든 $p > 1$에 대해 $H^{1,p}(M)$가 0이 아닐 조건은 $M$이 무한대에서 닫혀 있거나, 또는 음의 곡률을 가진 동차 공간과 유사한 경우에 한해 성립한다.
• 무한대에서 닫혀 있는 공간의 경우, 모든 $p > 1$에 대해 $T^{1,p}(M) \neq 0$ 이고 $R^{1,p}(M) = 0$ 이며, 이는 비자명한 토퍼션은 존재하지만 감소한 코호몰로지는 존재하지 않음을 의미한다.
• 음의 곡률을 가진 동차 공간과 유사한 공간의 경우, $T^{1,p}(M) = 0$ 이고 $R^{1,p}(M) \neq 0$ 이 되는 것은 $p > \mathbf{p}(M)$일 때에만 성립하며, 여기서 $\mathbf{p}(M)$은 하이퍼볼릭 평면를 제외하고는 최소 2이다.
• $\mathbf{p}(M)$은 음의 곡률을 가진 공간의 경우 경계의 하우스도르프 차원과 일치한다. 이는 명제 24에서 보여진다.
• 감소한 코호몰로지 $R^{1,p}(M)$는 $p > \mathbf{p}(M)$일 때 경계의 하우스도르프 차원에 대한 Besov 공간 $B^{p,p}_{1/p}$과 상수를 모odulo한 공간에 동형이다.
• 비상수 $L^2$-조화형식을 가지며 $L^2$ 기울기를 갖는 유일한 동차 공간은 하이퍼볼릭 평면과 준등장하는 공간이며, 이는 추론 3에서 보여진다.