[논문 리뷰] Lp-cohomology of symmetric spaces

Pierre Pansu|arXiv (Cornell University)|2007. 01. 05.

Geometric Analysis and Curvature Flows참고 문헌 24인용 수 7

한 줄 요약

이 논문은 음의 곡률을 가진 대칭 공간의 $L^p$-코호몰로지에 대해 조사하며, 비임계 $p$에 대해 코호몰로지가 영이거나 이상 경계 위의 베소프 공간과 동형임을 보여준다. 수평선 재구성과 유동 분석을 통해 $p$가 열린 구간에 있을 경우 토르션이 사라짐을 증명하며, 차원과 차수에 의해 정확히 결정된 임계 지수를 도출하여 히퍼볼릭 및 복소 히퍼볼릭 공간에서의 결과를 확장한다.

ABSTRACT

This is a short survey of Riemannian geometric applications of Lp-cohomology of thick spaces, p not equal to 2.

연구 동기 및 목표

• 음의 곡률을 가진 두꺼운 리만 대칭 공간의 $L^p$-코호몰로지를 이해하기 위해.
• 감소한 $L^p$-코호몰로지가 하우스도르프일 때 및 토포로지가 사라지는 $p$의 값을 규명하기 위해.
• $L^p$-코호몰로지를 이상 경계 위의 함수 공간, 특히 베소프 공간과 연결하기 위해.
• 기하학적 및 해석적 기법을 사용하여 $p=2$에서의 결과를 일반 $p \neq 2$로 확장하기 위해.
• 임계 지수가 $L^p$-코호몰로지의 구조를 결정하는 데서 수행하는 역할을 명확히 하기 위해.

제안 방법

• 외부 미분이 $L^p$인 형태의 복합체 $\Omega^{*,p}(M)$를 통해 $L^p$-코호몰로지를 정의한다.
• 감소한 코호몰로지 $R^{k,p}$를 $\Omega^{k,p} \cap \mathrm{Ker}\,d$의 $L^p$-노름에서 $d\Omega^{k-1,p}$의 폐쇄를 나눈 하우스도르프 몫으로 정의한다.
• 수평선 재구성 기법을 사용하여 다양체를 수평구면으로 변형하고, 흐름 $\phi_t$에 따른 $L^p$-노름의 수축/팽창을 분석한다.
• 형식을 수축하는 부분($\omega_-$)과 팽창하는 부분($\omega_+$)으로 나누어 양측 경계 값 방법을 적용한다.
• 적분 연산자 $B$를 사용하여 체인 호모토피 $P = 1 - dB - Bd$를 구성하고, $\Omega^{*,p}$와 베소프 복합체 $\mathcal{B}^{*,p}$를 연결한다.
• $\mathcal{B}^{*,p}$를 $L^p$에서 $-1$차수 미분을 가진 형식으로, $\iota_\xi$와 $\iota_\xi d$에 의해 소멸되는 것으로 특성화하며, 비임계 $p$에 대해 그 코호몰로지가 $H^{*,p}$를 계산함을 보여준다.

실험 결과

연구 질문

• RQ1 음의 곡률을 가진 대칭 공간에서 $L^p$-코호몰로지가 언제 영이거나 비하우스도르프가 되는가?
• RQ2 실 히퍼볼릭 평면 $H^2_\mathbb{R}$의 $L^p$-코호몰로지는 어떻게 베소프 공간 $B^{1/p}_{p,p}(S^1)$와 관련이 있는가?
• RQ3 복소 히퍼볼릭 공간 $H^2_\mathbb{C}$의 $L^p$-코호몰로지의 구조는 어떠한가? 그리고 토포로지 $T^{2,p}$가 언제 사라지는가?
• RQ4 임계 지수 $\frac{n-1}{k-1}$는 $\mathcal{B}^{*,p}$의 사라짐과 $H^{k,p}$의 비영임을 어떻게 영향을 주는가?
• RQ5 대칭 공간에 대해 $L^p$-코호몰로지는 $p$에 대해 연속적으로 변하는가? 특히 $p=2$ 근처에서 그러한가?

주요 결과

• 실 히퍼볼릭 평면 $H^2_\mathbb{R}$에서, 모든 $p>1$에 대해 $H^{1,p}$는 상수를 제외한 베소프 공간 $B^{1/p}_{p,p}(S^1)$와 동형이며, $T^{1,p}=0$이다.
• $H^2_\mathbb{C}$에서, $2<p<4$일 경우 토포로지 $T^{2,p}=0$이며, 일반적으로 $H^m_\mathbb{C}$에서 $m \leq p < 2m$일 경우 $T^{2,p}=0$임을 베소프 복합체와 연산자 $B$의 유계성으로 보여주었다.
• 2차원 실 히퍼볼릭 공간에서 $H^{k,p}$는 $p \in \left(\frac{n-1}{k}, \frac{n-1}{k-1}\right)$일 때만 비영이면서 하우스도르프이며, 차수 $k$에서 $B^{1/p}_{p,p}(S^{n-1})$와 동형이다.
• $H^2_\mathbb{C}$에서 감소한 코호몰로지는 열린 구간에서 비영이며, 임계점 $T^{2,4}$와 $T^{3,4/3}$에서 토포로지가 비영이므로 임계 지수에서 비자명한 구조를 가짐을 시사한다.
• $H^2_\mathbb{C}$의 $L^p$-코호몰로지는 $p=2$ 근처에서 연속적으로 변화하며, $p=2$가 차수 1에서 임계 지수임에도 불구하고 특별한 행동을 보이지 않는다.
• 수평선 재구성 기법과 이중 경계 값 연산자 $B$를 사용하여 $L^p$-코호몰로지를 계산하는 데 성공하였으며, 이는 $\mathcal{B}^{*,p}$의 코호몰로지로 환원함으로써 특정 경우에 계산 가능한 형태로 줄였다.