[論文レビュー] An exotic sphere with positive curvature

Jianquan Ge, Zizhou Tang|arXiv (Cornell University)|Dec 2, 2014

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

ひとこと要約

本論文は、Sp(2) 上の左不変計量の2パラメータ族と、等曲面関数を用いた共形変形を用いて、Gromoll-Meyer の特異7次元球面に明示的な正の断面曲率を持つ計量を構成する。主な結果として、標準球面と微分同相でないホモトピー7次元球面に正の曲率を持つ計量の存在が示され、曲率性質を有する特異球面の研究における新たな例が得られる。

ABSTRACT

A metric with positive sectional curvature on the Gromoll-Meyer exotic 7-sphere is constructed explicitly. The proof relies on a 2-parameter family of left invariant metrics on Sp(2) and a one-parameter family of conformal deformations via an isoparametric function F on it. One byproduct is a metric with positive sectional curvature on a homotopy (but not diffeomorphic) $RP^7$.

研究の動機と目的

• Gromoll-Meyer の特異7次元球面に明示的なリーマン計量で正の断面曲率を持つものを構成すること。
• 標準球面と微分同相でないホモトピー球面（特異球面）が、正の断面曲率を持つ計量を有するかどうかを調査すること。
• 標準7次元球面と微分同相でないホモトピー7次元球面に正の断面曲率を持つ計量の存在を示すこと。
• 球面上の特異微分構造における曲率性質の理解を拡張すること。

提案手法

• リー群 Sp(2) 上の左不変計量の2パラメータ族を用いる。
• Sp(2) 上で定義された等曲面関数 F を用いて、1パラメータ族の共形変形をこれらの計量に適用する。
• 等曲面関数 F の幾何的性質を用いて、共形変換による曲率の挙動を制御する。
• 得られた計量の断面曲率を解析し、すべての2次元平面で正であることを確認する。
• Gromoll-Meyer の特異7次元球面が Sp(2) の双剰型（biquotient）として埋め込めるという既知の結果に依拠する。
• 特定の条件下で曲率の符号が共形変換で不変であるという性質を用いて、正の曲率を維持する。

実験結果

リサーチクエスチョン

• RQ1 Gromoll-Meyer の特異7次元球面に明示的な正の断面曲率を持つ計量を構成できるか？
• RQ2 ホモトピー球面に正の曲率計量が存在するということは、それが標準球面と微分同相であることを意味するか？
• RQ3 等曲面関数を用いた共形変形によって、Sp(2) を基盤とする計量の正の断面曲率が保存されるか？
• RQ4 共形変換後の結果計量が特異7次元球面上でどのように曲率を示すか？
• RQ5 この構成によって、正の曲率を持つホモトピー RP^7 の計量が得られるか？

主な発見

• Gromoll-Meyer の特異7次元球面に明示的なリーマン計量で、正の断面曲率を持つものが構成された。
• この構成は、Sp(2) 上の2パラメータ族の左不変計量と、等曲面関数 F を用いた共形変形に依拠している。
• 特異7次元球面に於ける結果計量は、至る所で厳密に正の断面曲率を持つ。
• 標準7次元球面と微分同相でないホモトピー7次元球面が、正の断面曲率を持つ計量を有することが示された。
• この構成により、特異7次元球面の商として得られるホモトピー RP^7 に対しても、正の断面曲率を持つ計量が得られた。
• この方法により、群不変計量のきめ細かな幾何的変形によって、特異球面に対しても正の曲率を実現できることを確認した。