[論文レビュー] Rational Homology 5-Spheres with Positive Ricci Curvature

Charles P. Boyer, Krzysztof Galicki|ArXiv.org|Mar 6, 2002

Geometric Analysis and Curvature Flows参考文献 12被引用数 5

ひとこと要約

本稿は、整数 $k > 1$ に対して、$H_2(M^5_k, \mathbb{Z})$ の位数が $k^2$ である単連結な有理ホモロジー 5-球面 $M^5_k$ の無限族を、重み付き斉次多項式と接触リーマン幾何学を用いて構成し、正のリッチ曲率をもつササキアン計量の存在を示す。主な結果は、$H_2$ に任意のねじれをもつスピン有理ホモロジー 5-球面に対しても、このような計量が存在することであり、5次元における正のリッチ曲率計量の分類における長年の空白を解消する。

ABSTRACT

We prove that for every integer k>1 there is a simply connected rational homology 5-sphere $\scriptstyle{M^5_k}$ with spin such that $\scriptstyle{H_2(M^5_k,\bbz)}$ has order $\scriptstyle{k^2},$ and $\scriptstyle{M^5_k}$ admits a Riemannian metric of positive Ricci curvature. Moreover, if the prime number decomposition of $\scriptstyle{k}$ has the form $\scriptstyle{k=p_1... p_r}$ for distinct primes $\scriptstyle{p_i}$ then $\scriptstyle{M^5_k}$ is uniquely determined.

研究の動機と目的

• 単連結な有理ホモロジー 5-球面で、$H_2$ に非自明なねじれをもつものについて、正のリッチ曲率計量の例が極めて少ないという問題に対処すること。
• 既知の正のリッチ曲率計量の存在範囲を $S^5$、$S^2 \times S^3$、$SU(3)/SO(3)$ を超えて、任意の $H_2$-ねじれをもつ無限個の多様体へ拡張すること。
• ササキアン幾何学が、スピン有理ホモロジー 5-球面に対し、このような計量を体系的に構成する手法であることを示すこと。
• 重み付き斉次多項式のリンクを通じて、$H_2(M^5_k, \mathbb{Z})$ のすべての可能な位数の $H_2$-ねじれを実現すること。

提案手法

• 重み $\mathbf{w} = (1, \frac{p+1}{4}, \frac{p-1}{2})$ と次数 $p$ の $\mathbb{C}^4$ 上の重み付き斉次多項式 $f$ のリンク $L_f$ として多様体 $M^5_k$ を構成し、ここで $p \equiv 3 \pmod{4}$ は素数である。
• このような多項式のリンク $L_f$ が、$k = p$ のとき $H_2(L_f, \mathbb{Z})$ の位数が $k^2$ である有理ホモロジー 5-球面であるという事実を用いる。
• ササキアン幾何学の理論を適用し、$L_f$ に誘導される接触構造がササキ＝アインシュタイン計量をもつこと、したがって正のリッチ曲率をもつことを示す。
• $L_f$ の V-バンドル構造のケーラー特異軌道 $\mathcal{Z}_f$ がファノであることを示すことで、$|\mathbf{w}| > 0$ を示し、基本的第一チャーン類の正の性質を導く。
• 重み付き射影曲線の genus 公式を用いて、$f_3$ によって定義される曲線 $C_\mathbf{w}$ が $p \equiv 3 \pmod{4}$ のとき genus 1 であることを検証し、$H_2$-位数が正しいことを保証する。
• スメールによる単連結 5-多様体の分類を用いて、$k = p_1 \cdots p_r$（$p_i$ は相異なる素数）のとき、$M^5_k$ が $M^5_{p_i}$ の連結和と微分同相型として一意に定まることを示す。

実験結果

リサーチクエスチョン

• RQ1 有理ホモロジー 5-球面で、$H_2$ に非自明なねじれをもつものに対し、正のリッチ曲率計量を構成できるか？
• RQ2 任意の $H_2$-ねじれをもつ単連結な有理ホモロジー 5-球面の無限族が、このような計量をもつか？
• RQ3 ササキアン幾何学を用いて、有理ホモロジー 5-球面における $H_2$-ねじれのすべての可能な位数を体系的に実現できるか？
• RQ4 $k > 1$ のどの値について、結果として得られる多様体 $M^5_k$ が微分同相型の意味で一意に定まるか？
• RQ5 重み付き射影空間内の高次の曲線は、この構成でより一般的な $H_2$-構造を実現できるか？

主な発見

• 任意の整数 $k > 1$ に対して、$H_2(M^5_k, \mathbb{Z})$ の位数が $k^2$ で $i(M^5_k) = 0$ である単連結な有理ホモロジー 5-球面 $M^5_k$ が存在し、正のリッチ曲率をもつササキアン計量をもつ。
• $k = p_1 \cdots p_r$（$p_i$ は相異なる素数）のとき、多様体 $M^5_k$ は微分同相型の意味で一意に定まる。
• 素数 $p \equiv 3 \pmod{4}$ の次数の重み付き斉次多項式のリンクを用いることで、$H_2$-ねじれのすべての可能な位数が実現される。
• このような多項式のリンク $L_f$ は $H_2(L_f, \mathbb{Z})$ の位数が $k^2$ であり、その誘導されるササキアン構造は、基底特異軌道 $\mathcal{Z}_f$ がファノであることから正のリッチ曲率をもつ。
• $k > 1$ の各値に対して、$M^5_k$ 上には無限個の変形同型類のササキアン構造が存在し、それぞれが正のリッチ曲率計量をもつ。
• この手法は、$i(M) = 0$ であるスピン有理ホモロジー 5-球面にのみ適用可能であり、$j \neq 0$ の $X_j$ のような非スピン多様体には拡張できない。