[论文解读] Isospectral manifolds with different local geometries

Dorothee Schueth|ArXiv.org|Feb 16, 2001

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

一句话总结

该论文通过改进的环面丛和紧李群上的左不变度量，构造了首个非局部等距的同谱流形示例。它建立了全局齐性流形的连续同谱族，并提出了共形等价但局部几何不同的同谱对，解决了谱几何中关于谱对局部结构决定能力的长期疑问。

ABSTRACT

We construct several new classes of isospectral manifolds with different local geometries. After reviewing a theorem by Carolyn Gordon on isospectral torus bundles and presenting certain useful specialized versions (Chapter 1) we apply these tools to construct the first examples of isospectral four-dimensional manifolds which are not locally isometric (Chapter 2). Moreover, we construct the first examples of isospectral left invariant metrics on compact Lie groups (Chapter 3). Thereby we also obtain the first continuous isospectral families of globally homogeneous manifolds and the first examples of isospectral manifolds which are simply connected and irreducible. Finally, we construct the first pairs of isospectral manifolds which are conformally equivalent and not locally isometric (Chapter 4).

研究动机与目标

• 构造非局部等距的同谱流形，以挑战‘谱决定局部几何’的观点。
• 将Sunada方法推广至紧李群上的同谱度量，使其具有不同的局部曲率性质。
• 证明全局齐性流形的连续同谱族的存在性。
• 提供首个共形等价但非局部等距的同谱流形示例。
• 解决关于谱刚性以及拉普拉斯谱中编码的几何信息的开放问题。

提出的方法

• 利用Carolyn Gordon关于同谱环面丛的特殊版本定理，构造新的同谱流形。
• 以广义形式应用Sunada方法，生成紧李群上的同谱左不变度量。
• 通过从李代数上的迹函数导出的压缩函数，在李群的积上构造共形度量。
• 利用涉及共形因子的拉普拉斯算子和里奇张量范数的曲率公式，比较局部几何。
• 使用压缩积的标量曲率公式：$\text{scal}^{\tilde{\varphi}g} = \frac{\alpha + \beta \tilde{\tau} - (N-1)(N-2)\|d\tilde{\tau}\|^{2}}{\exp(2\tilde{\tau})}$，其中$\tilde{\tau}$为调和函数。
• 分析最大标量曲率位置，以区分局部几何，表明不同共形因子下其位于不同的子流形上。

实验结果

研究问题

• RQ1 同谱流形能否存在但非局部等距，即使它们具有相同的谱？
• RQ2 是否存在连续的同谱族全局齐性流形，且能否显式构造？
• RQ3 共形等价的流形能否同谱但具有不同的局部几何？
• RQ4 紧李群上的左不变度量能否产生具有不同局部曲率不变量的同谱对？
• RQ5 谱在多大程度上无法确定诸如里奇曲率范数等局部几何不变量？

主要发现

• 该论文首次构造出非局部等距的四维同谱流形，证明局部几何并非由谱唯一决定。
• 它提供了首个紧李群上同谱左不变度量的示例，包括全局齐性流形的连续同谱族。
• 在$K \times K \times H$上构造的共形度量是同谱但非局部等距的，其最大标量曲率位置在诱导里奇曲率范数上存在差异。
• 对于$K = \mathrm{SO}(m)$或$\mathrm{SU}(m)$，当$m \geq 5$或$m \geq 3$时，存在同谱对$\lambda, \lambda'$，使得$\|\mathrm{Ric}^{g_\lambda}\| \neq \|\mathrm{Ric}^{g_{\lambda'}}\|$，从而证明了不同的局部曲率。
• 对于$\tilde{\varphi}_1 g_{\bar{\lambda}}$，最大标量曲率的原像为$\{\mathrm{Id}\} \times K \times H$，而对于$\tilde{\varphi}_2 g_{\bar{\lambda}}$，其原像为$K \times \{\mathrm{Id}\} \times H$，确认了非等距的局部结构。
• 证明依赖于标量曲率函数在特定区间内的单调性，确保最大值仅出现在所声称的子流形上，从而有效区分了局部几何。