[論文レビュー] Isoparametric functions and exotic spheres

Jianquan Ge, Zizhou Tang|arXiv (Cornell University)|Mar 1, 2010

Geometric Analysis and Curvature Flows参考文献 42被引用数 3

ひとこと要約

この論文は、一般のリーマン多様体上の等パラメトリック関数の理論を発展させ、任意の偽4次元球面に正しく変形された関数が存在しないことを証明する。さらに、$S^3$-不変射影を用いて、グロモル＝マイヤー球面上に正しく変形されたが等パラメトリックでない関数を構成し、その焦点集合が2点に集中していることを示す。これにより、関数のラプラシアンが関数自体の関数でないことが判明し、等パラメトリック条件を満たさないことが示された。

ABSTRACT

The first part of the paper is to improve the fundamental theory of isoparametric functions on general Riemannian manifolds. Next we focus our attention on exotic spheres, especially on "exotic" 4-spheres (if exist) and the Gromoll-Meyer sphere. In particular, as one of main results we prove: there exists no properly transnormal function on any exotic 4-sphere if it exists. Furthermore, by projecting an $S^3$-invariant isoparametric function on $Sp(2)$, we construct a properly transnormal but not an isoparametric function on the Gromoll-Meyer sphere with two points as the focal varieties.

研究の動機と目的

• 空間形式を超えて一般のリーマン多様体における等パラメトリック関数の理論を拡張すること。
• 特に偽4次元球面およびグロモル＝マイヤー球面において、変形関数および等パラメトリック関数の存在を調査すること。
• 4次元における開いている滑らかなポoincaré予想を踏まえ、偽4次元球面上に等パラメトリック関数が存在できるかを特定すること。
• 特にその焦点多様体および最小性を含む、変形関数のレベル集合の幾何的・位相的性質を分析すること。

提案手法

• 王の特異レベル集合が部分多様体であるという結果を応用し、一般のリーマン多様体における等パラメトリック関数の基礎理論を改善する。
• 3つの構成的技法を適用する：共形変形、同調度1作用、リーマン多様体上の射影。これらにより等パラメトリック関数を生成する。
• $Sp(2)$ 上に $S^3$-不変な等パラメトリック関数を構成し、商写像 $\pi: Sp(2) \to \Sigma^7$ を用いてグロモル＝マイヤー球面へ射影する。
• 関数 $f$ のグロモル＝マイヤー球面上でのラプラシアンを、公式 $\triangle f = -7f + \phi$ を用いて計算する。ここで $\phi = \langle H, \nabla F \rangle$ は射影された平均曲率項である。
• $S^3$-不変性を活用し、軌道内の代表点を選択することで計算を簡略化し、特定の形の行列への還元を実現する。
• クォータニオンとフレーム計算を用いて、計量成分 $g_{\alpha\beta}$ 及びその逆行列 $g^{\alpha\beta}$ を導出し、$f^{-1}(0)$ 上での $\phi$ の明示的計算を可能にする。

実験結果

リサーチクエスチョン

• RQ1 仮にそのような多様体が存在するならば、任意の偽4次元球面上に正しく変形された関数が存在するか？
• RQ2 $Sp(2)$ からの $S^3$-不変射影を用いて、グロモル＝マイヤー球面上に等パラメトリック関数を構成できるか？
• RQ3 グロモル＝マイヤー球面上の射影関数は等パラメトリックであるか、それとも $\triangle f$ が定数でないために失敗するか？
• RQ4 変形関数のレベル集合の焦点多様体の幾何的性質は何か、特に偽球面上で。
• RQ5 元の関数が等パラメトリックであるが、商空間に非自明な幾何構造がある場合、射影関数のラプラシアンはどのように振る舞うか？

主な発見

• 仮にそのような多様体が存在するならば、任意の偽4次元球面上に正しく変形された関数は存在しない。
• グロモル＝マイヤー球面上の射影関数 $f$ は正しく変形されたが、等パラメトリックではない。なぜなら $\triangle f$ が $f$ のみの関数でないからである。
• 関数 $\phi = \langle H, \nabla F \rangle$ は $f^{-1}(0)$ 上で定数でないことが、式 (23) を用いて明示的に示された。これにより $\triangle f$ が $f$ のみの関数でないことが証明された。
• レベル集合の焦点多様体は正確に2点である：$f^{-1}(\pm 1)$。これらは孤立しており、余次元7である。
• 平均曲率が非定数であることが、$\phi$ の非定数性から導かれた。これにより、レベル集合が定常平均曲率を持たないことが確認された。
• $f^{-1}(0)$ 上での $\phi([Q])$ の明示的表現は $\frac{8a_{1}b_{1}b_{0}}{EF}(E - 8a_{2}^{2}b_{1}^{2})$ であり、$a_1, a_2, b_0, b_1$ の座標に依存するため、非定数であることが証明された。