[论文解读] 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$-不變投影，在格羅莫爾-梅耶爾球面上構造了一個正則擬等參但非等參的函數，其焦點集為兩點，顯示該函數的拉普拉斯算子並非僅依賴於函數本身，因而違反了等參條件。

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-球面上。
• 分析擬等參函數的等值集之幾何與拓撲性質，特別是其焦點簇與極小性。

提出的方法

• 利用 Wang 對奇異等值集為子流形的結果，改進一般黎曼流形上等參函數的基礎理論。
• 應用三種構造方法：共軛維度一作用、共形變形與黎曼纖化，以產生等參函數。
• 在 $Sp(2)$ 上構造一個 $S^3$-不變的等參函數，並透過商映射 $\pi: Sp(2) \to \Sigma^7$ 投影至格羅莫爾-梅耶爾球面。
• 使用公式 $\triangle f = -7f + \phi$ 計算格羅莫爾-梅耶爾球面上投影函數 $f$ 的拉普拉斯算子，其中 $\phi = \langle H, \nabla F \rangle$ 為投影後的平均曲率項。
• 利用 $S^3$-不變性，透過在軌道中選擇代表性點，將計算簡化為具有特定形式的矩陣。
• 運用四元數與標架計算，推導出度量分量 $g_{\alpha\beta}$ 及其逆 $g^{\alpha\beta}$，進而實現 $\phi$ 在 $f^{-1}(0)$ 上的顯式計算。

实验结果

研究问题

• RQ1 在假設異常4-球面存在的情境下，是否存在某個異常4-球面上的正則擬等參函數？
• RQ2 能否透過從 $Sp(2)$ 到格羅莫爾-梅耶爾球面的 $S^3$-不變投影，構造出格羅莫爾-梅耶爾球面上的等參函數？
• RQ3 格羅莫爾-梅耶爾球面上的投影函數是否為等參函數？抑或因 $\triangle f$ 非常數而失敗？
• RQ4 異常球面上擬等參函數的等值集之焦點簇具有何幾何性質？
• RQ5 當原函數為等參函數但商空間具有非平凡幾何時，投影函數的拉普拉斯算子行為如何？

主要发现

• 在假設異常4-球面存在的前提下，任何異常4-球面上均不存在正則擬等參函數。
• 格羅莫爾-梅耶爾球面上的投影函數 $f$ 為正則擬等參但非等參，因 $\triangle f$ 並非僅依賴於 $f$。
• 函數 $\phi = \langle H, \nabla F \rangle$ 在 $f^{-1}(0)$ 上非常數，透過公式 (23) 明確顯示，證實 $\triangle f$ 非 $f$ 的函數。
• 等值集的焦點簇恰好為兩點：$f^{-1}(\pm 1)$，其為孤立點，且餘維為7。
• 由 $\phi$ 非常數推導出 $f^{-1}(0)$ 的平均曲率非常數，確認該等值集不具常數平均曲率。
• 在 $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$，從而證明其非常數性。