[论文解读] Isoparametric foliation and a problem of Besse on generalizations of Einstein condition

Zizhou Tang, Wenjiao Yan|arXiv (Cornell University)|Jul 15, 2013

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

一句话总结

本文研究了球面上具有四个主曲率的等距超曲面所导出的焦子流形的几何性质。通过 OT-FKM 构造与曲率分析，证明了这些焦子流形是 $τ$-流形（介于爱因斯坦与数量曲率条件之间的一类流形），仅在特定情况下为里奇平行，并为贝塞关于广义爱因斯坦条件的公开问题提供了无穷多个单连通的例子。

ABSTRACT

The focal sets of isoparametric hypersurfaces in spheres with g = 4 are all Willmore submanifolds, being minimal but mostly non-Einstein ([TY1], [QTY]). Inspired by A.Gray's view, the present paper shows that, these focal sets are all A- manifolds but rarely Ricci parallel, except possibly for the only unclassified case. As a byproduct, it gives infinitely many simply-connected examples to the problem 16.56 (i) of Besse concerning generalizations of the Einstein condition.

研究动机与目标

• 确定球面上具有 $g=4$ 的等距超曲面的焦子流形是否满足比极小性更强的曲率条件，例如里奇平行性或 $τ$-流形条件。
• 解决关于这些子流形几何结构的长期悬而未决问题，特别是其是否为里奇平行或满足 $τ$-条件。
• 为贝塞关于爱因斯坦条件推广问题的第 16.56(i) 问提供新的单连通例子。
• 通过 OT-FKM 构造与法丛几何分析焦子流形的曲率张量与里奇曲率。
• 证明 $τ$-流形性质的唯一潜在例外存在于未分类的情形 $(m_1,m_2)=(7,8)$。

提出的方法

• 利用对称克利福德系与四次齐次多项式，通过 OT-FKM 构造球面上的等距函数。
• 分析此类函数的焦子流形 $M_1 = f^{-1}(1)$ 与 $M_2 = f^{-1}(-1)$，重点关注其里奇曲率与法丛结构。
• 应用高斯公式，以与标准法向量相关的形状算子 $A_\alpha$ 表达里奇曲率。
• 利用张量 $\widetilde{A}$ 与 $\widetilde{B}$ 进行曲率估计，以控制截面曲率并分析里奇曲率行为。
• 使用库恩特定理与贝蒂数计算，排除焦子流形具有乘积结构的可能性，否则将与曲率界矛盾。
• 应用 FKM（费勒斯-卡彻-穆兹纳）关于在 $M_1$ 中存在具有最大里奇曲率的特殊点集 $\Omega \subset M_1$ 的结果，证明其非齐性。

实验结果

研究问题

• RQ1 球面上具有 $g=4$ 的等距超曲面的焦子流形是否为里奇平行？
• RQ2 这些焦子流形是否满足 $τ$-流形条件，即循环平行的里奇张量？
• RQ3 这些子流形能否作为贝塞关于爱因斯坦条件推广问题第 16.56(i) 问的实例？
• RQ4 这些焦子流形上的里奇曲率结构如何？其在不同多重性对 $(m_1,m_2)$ 下是否变化？
• RQ5 唯一未分类的情形 $(m_1,m_2)=(7,8)$ 是否为 $τ$-流形性质的唯一可能例外？

主要发现

• 所有具有 $g=4$ 的等距超曲面的焦子流形均为 $τ$-流形，除非处于 $(m_1,m_2)=(7,8)$ 的情形。
• 焦子流形为里奇平行当且仅当其亦为 $τ$-流形，原因在于等式 $\mathcal{P} = \mathcal{A} \cap \mathcal{B}$。
• 对于 OT-FKM 类型且 $(m_1,m_2)=(3,4k)$ 的情形，焦子流形 $M_1$ 并非内在齐性，这由存在一个真子集 $\Omega \subset M_1$ 具有最大里奇曲率得以证明。
• 子流形 $M_1$ 的里奇曲率在子空间 $\bigcap_{i=0}^3 \mathrm{Ker} A_{N_i}$ 上达到最大值 $2l - 6$，其余位置则严格更小。
• 焦子流形的截面曲率上界为 2，且仅在特定曲率构型下取等。
• 本文构造了无穷多个非爱因斯坦的单连通 $τ$-流形例子，从而解决了贝塞问题 16.56(i)。