[論文レビュー] Pincement du plan hyperbolique complexe

Pierre Pansu|arXiv (Cornell University)|Mar 23, 2011

Geometric Analysis and Curvature Flows参考文献 9被引用数 4

ひとこと要約

本稿は、非コンpakto型ランク1対称空間の$L^p$-コホモロジーが、曲率ピンチィングのみから導かれる範囲を越えて、$p$ 値が大きい場合にハウスドルフ（つまり、分離）であることを確立している。$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}$-ピンチィングされた単連結リーマン多様体との間の同一視不可能性を確立すること。

提案手法

• $0 \to T^{*,p} \to H^{*,p} \to R^{*,p} \to 0$ の形で、還元コホモロジーとねじれに分解することにより、ランク1対称空間の$L^p$-コホモロジーを分析する。
• カップ積構造 $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$-コホモロジーのカップ積構造を保存することを用い、$-\frac{1}{4}$-ピンチィング多様体との同一視を仮定することで矛盾を導く。
• 局所的$L^p$-コホモロジー類$\kappa'$と関数$u'$を構成し、$u'^2 \notin \mathcal{R}_{\kappa'}$ であることを示し、同一視下でのカップ積構造の保存に反する。
• 複素双曲平面を$\mathbb{R} \ltimes_\alpha N$ の形の半直積として持ち、$\alpha$ が固有値1と2を持つことを利用して、ねじれの消滅に必要な臨界$p$-範囲を計算する。
• $\mathbb{C}H^2$ の場合に、$p=2$ の近傍で$L^p$-コホモロジー安定性に関する[17]および[18]の結果を適用する。

実験結果

リサーチクエスチョン

• RQ1 曲率ピンチィングが示唆する範囲を超えて、$L^p$-コホモロジーはランク1対称空間における幾何的差異を検出できるか？
• RQ2 複素双曲平面$\mathbb{C}H^2$は、厳密に$-\frac{1}{4}$-ピンチィングされた単連結リーマン多様体と同一視可能か？
• RQ3 カップ積構造を有する$L^p$-コホモロジーは、曲率ピンチィングのみに依存するものより強い同一視不可能性の障害を提供するか？
• RQ4 曲率ピンチィング定理[24]が予測する範囲を超えて、$L^p$-コホモロジーのねじれが消えるか？
• RQ5 本稿で用いられた方法は、$\mathbb{H}H^m$ や$\mathbb{O}H^2$ などの他のランク1対称空間に拡張可能か？

主な発見

• 複素双曲平面$\mathbb{C}H^2$の$L^p$-コホモロジーは、[24]の曲率ピンチィング定理が予測する範囲を超えて、$p$ 値が2に近い場合にハウスドルフ（つまり、分離）である。
• カップ積構造を用いた$L^p$-コホモロジーにより、厳密に$-\frac{1}{4}$-ピンチィングされた単連結リーマン多様体とは、$\mathbb{C}H^2$ は同一視不可能であることが証明された。
• 同様の曲率ピンチィング特性を持つが、$\mathbb{H}H^m$ や$\mathbb{O}H^2$ などの他のランク1対称空間には、この手法は拡張されない。
• $\mathbb{C}H^2$ に対して、$p = (m\mathfrak{d} + \mathfrak{d} - 2)/(2\mathfrak{d} - 2)$ でねじれが消える臨界$p$-範囲が得られ、$\mathfrak{d}=2$, $m=2$ より $p=2$ となる。これは既知の結果と整合する。
• 結果は、カップ積構造が同一視写像下で保存されることに依拠しており、そのような同一視が存在すると仮定し、積構造を破るクラスを構成することで矛盾を導いた。
• ゆえに、$\mathbb{C}H^2$ の場合に限っても、$L^p$-コホモロジーのカップ積は、曲率ピンチィングのみに依存するものより強い同一視不変量を提供する。