[논문 리뷰] Pincement du plan hyperbolique complexe

Pierre Pansu|arXiv (Cornell University)|2011. 03. 23.

Geometric Analysis and Curvature Flows참고 문헌 9인용 수 4

한 줄 요약

이 논문은 비콤팩트형의 랭크 1 대칭 공간에 대한 $L^p$-코호몰로지가, 곡률 압착 조건에서 유도되는 것보다 더 넓은 $p$ 값 범위에서 Hausdorff(즉, 분리 가능)하다는 것을 입증한다. $L^p$-코호몰로지의 컵 곱을 통한 곱셈적 구조를 이용하여, 복소 하이퍼볼릭 평면 $\mathbb{C}H^2$ 는 어떤 단순연결된 리만다만에이드에서도 $-\frac{1}{4}$-압착된 섹션 곡률을 가질 수 없음을 증명한다. 그러나 이 방법은 다른 랭크 1 대칭 공간으로는 확장되지 않는다.

ABSTRACT

$L^p$-cohomology of rank one symmetric spaces of noncompact type is shown to be Hausdorff for values of $p$ where this does not follow from curvature pinching. Using the multiplicative structure on $L^p$-cohomology, it is shown that no simply connected Riemannian manifold with strictly -1/4-pinched sectional curvature can be quasiisometric to complex hyperbolic plane. Unfortunately, the method does not extend to other rank one symmetric spaces.

연구 동기 및 목표

• 비콤팩트형 랭크 1 대칭 공간에서 곡률 압착 조건을 리만다만에이드의 방법으로 개선할 수 있는지에 대한 M. 그로모프의 질문을 다룸.
• 이전의 $L^p$-코호몰로지 토퐁 결과들이 곡률 기반 기준을 초월한 비자명한 구조를 감지하지 못한 한계를 극복함.
• $L^p$-코호몰로지가 [24]의 곡률 압착 정리에서 예측한 것보다 더 넓은 $p$ 값 범위에서 여전히 분리 가능하다는 것을 보임.
• $L^p$-코호몰로지의 곱셈적 구조(컵 곱)를 이용해 곡률을 초월한 기하적 불변량을 구별함.
• 복소 하이퍼볼릭 평면과 어떤 단순연결된 리만다만에이드에서도 $-\frac{1}{4}$-압착된 섹션 곡률을 가진 기하학적 구조 사이의 비등장성에 대한 정체성 장벽을 설정함.

제안 방법

• 감소된 코호몰로지와 토퐁으로 분해된 랭크 1 대칭 공간의 $L^p$-코호몰로지를 분석함: $0 \to T^{*,p} \to H^{*,p} \to R^{*,p} \to 0$.
• 컵 곱 구조를 적용함: $H^{k,q}(M) \times H^{\ell,r}(M) \to H^{k+\ell,p}(M)$ 이며 $\frac{1}{p} = \frac{1}{q} + \frac{1}{r}$ 를 만족함. 이를 통해 비자명한 불변량을 감지함.
• 비등장성 가정이 성립할 경우, $L^p$-코호몰로지 컵 곱의 구조가 유지된다는 사실을 이용해 모순을 유도함.
• 지역적 $L^p$-코호몰로지 클래스 $\kappa'$ 와 함수 $u'$ 를 구성함. 이때 $u'^2 \notin \mathcal{R}_{\kappa'}$ 를 만족함으로써, 비등장성에 의한 컵 곱의 구조 유지가 깨지는 것을 모순으로 이끌어냄.
• 복소 하이퍼볼릭 평면을 $\mathbb{R} \ltimes_\alpha N$ 의 반직접곱으로 표현하고, $\alpha$ 가 고유값 1과 2를 가짐을 이용하여 토퐁의 소멸을 위한 임계 $p$-범위를 계산함.
• $\mathbb{C}H^2$ 에 대한 경우를 지지하기 위해 [17]과 [18]의 결과를 응용함: $p=2$ 근처에서 $L^p$-코호몰로지의 안정성에 관한 결과를 활용함.

실험 결과

연구 질문

• RQ1 곡률 압착 조건을 초월하여 $L^p$-코호몰로지가 랭크 1 대칭 공간의 기하적 차이를 감지할 수 있는가?
• RQ2 복소 하이퍼볼릭 평면 $\mathbb{C}H^2$ 는 어떤 단순연결된 리만다만에이드에서도 $-\frac{1}{4}$-압착된 섹션 곡률을 가질 수 있는가?
• RQ3 $L^p$-코호몰로지의 곱셈적 구조가 곡률 압착 조건만으로는 제공할 수 없는 비등장성의 장벽을 더 강하게 제공하는가?
• RQ4 $L^p$-코호몰로지 토퐁이 [24]의 곡률 압착 정리에서 예측한 기준을 초월해 소멸할 수 있는가?
• RQ5 $\mathbb{C}H^2$ 에 사용된 방법이 $\mathbb{H}H^m$ 또는 $\mathbb{O}H^2$ 와 같은 다른 랭크 1 대칭 공간으로 확장되는가?

주요 결과

• 복소 하이퍼볼릭 평면 $\mathbb{C}H^2$ 의 $L^p$-코호몰로지는 [24]의 곡률 압착 정리에서 예측한 것보다 더 넓은 $p$ 값 범위에서 Hausdorff(즉, 분리 가능)하다. 특히 $p$ 가 2 근처일 때 성립한다.
• 컵 곱 구조를 이용한 $L^p$-코호몰로지 분석을 통해, 어떤 단순연결된 리만다만에이드에서도 $-\frac{1}{4}$-압착된 섹션 곡률을 가진 기하학적 구조는 $\mathbb{C}H^2$ 와 비등장할 수 없다는 것을 증명한다.
• 유사한 곡률 압착 성질을 가진 다른 랭크 1 대칭 공간들, 예를 들어 $\mathbb{H}H^m$ 또는 $\mathbb{O}H^2$ 에 대해서는 이 방법이 적용되지 않는다.
• $\mathbb{C}H^2$ 에서 $L^p$-코호몰로지 토퐁은 임계 $p = (m\mathfrak{d} + \mathfrak{d} - 2)/(2\mathfrak{d} - 2)$ 에서 소멸하며, 이때 $\mathfrak{d}=2$, $m=2$ 이므로 $p=2$ 가 된다. 이는 기존의 결과와 일치한다.
• 결과는 컵 곱의 구조가 비등장성에 의해 유지된다는 사실에 기반하며, 이러한 비등장성이 존재한다고 가정하고 비틀린 컵 곱의 구조를 위반하는 클래스를 구성함으로써 모순을 이끌어낸다.
• 따라서, $\mathbb{C}H^2$ 의 경우, $L^p$-코호몰로지 컵 곱은 곡률 압착 조건만으로는 제공할 수 없는 더 강력한 비등장성 불변량을 제공한다.