[论文解读] Isoparametric submanifolds and a Chevalley-type restriction theorem

Ernst Heintze, Xiaobo Liu+1 more|ArXiv.org|Apr 6, 2000

Geometry and complex manifolds参考文献 22被引用 55

一句话总结

本文在任意黎曼流形中引入了任意余维数的等参子流形的广义定义，扩展了经典超曲面情形下的概念。它建立了一个类Chevalley的限制定理，将紧致对称空间上拉普拉斯算子的本征函数与等参子流形截面的本征函数联系起来，证明了具有平坦截面的等参子流形是本征函数的等值集，因而与表示理论有深刻联系。

ABSTRACT

We define and study isoparametric submanifolds of general ambient spaces and of arbitrary codimension. In particular we study their behaviour with respect to Riemannian submersions and their lift into a Hilbert space. These results are used to prove a Chevalley type restriction theorem which relates by restriction eigenfunctions of the Laplacian on a compact Riemannian manifold which contains an isoparametric submanifold with flat sections to eigenfunctions of the Laplacian of a section. A simple example of such an isoparametric foliation is given by the conjugacy classes of a compact Lie group and in that case the restriction theorem is a (well known) fundamental result in representation theory. As an application of the restriction theorem we show that isoparametric submanifolds with flat sections in compact symmetric spaces are level sets of eigenfunctions of the Laplacian and are hence related to representation theory. In addition we also get the following results. Isoparametric submanifolds in Hilbert space have globally flat normal bundle, and a general result about Riemannian submersions which says that focal distances do not change if a submanifold of the base is lifted to the total space.

研究动机与目标

• 将经典等参子流形的概念从超曲面推广到一般黎曼流形中任意余维数的子流形。
• 建立一个类Chevalley的限制定理，将紧致对称空间上拉普拉斯算子的本征函数与等参子流形截面上的本征函数联系起来。
• 证明在紧致对称空间中具有平坦截面的等参子流形正是拉普拉斯算子本征函数的等值集。
• 证明在希尔伯特空间中，此类子流形具有全局平坦的法丛，并分析其在黎曼纤维丛下的行为。
• 证明紧致李群上的极小作用产生等参子流形，通过限制同构将几何与表示理论联系起来。

提出的方法

• 通过平坦法丛、平行子流形的常平均曲率以及存在截面（与法空间相切的全测地子流形）来定义等参子流形。
• 利用黎曼纤维丛分析在提升至全空间时焦距和几何结构的保持性。
• 将子流形提升至希尔伯特空间，以利用无穷维几何并证明法丛的全局平坦性。
• 应用Terng在欧氏空间中等参子流形的定理，通过有限商构造解决局部单射性问题，从而得到嵌入子流形。
• 通过法向量场的扰动确保法曲率向量长度互异，从而利用覆盖空间技巧实现全局嵌入。
• 利用曲率球面上向量场的流证明每个曲率圆上等价点的数量恒定，从而保证商流形为光滑流形。

实验结果

研究问题

• RQ1 如何将等参子流形的概念从超曲面推广到一般黎曼流形中任意余维数的情形？
• RQ2 在何种条件下，从紧致对称空间到截面的本征函数限制会成为同构？这与表示理论有何关联？
• RQ3 何种几何条件可保证希尔伯特空间中等参子流形具有全局平坦的法丛？
• RQ4 黎曼纤维丛如何影响等参子流形的焦距和几何结构？
• RQ5 紧致李群上的极小作用在多大程度上产生作为本征函数等值集的等参子流形？

主要发现

• 本文证明了一个类Chevalley的限制定理：从紧致对称空间X到截面Σ的限制，诱导了X上在等参 foliation 上常值的有限本征函数和在Σ上在与平行子流形交线处常值的本征函数之间的同构。
• 在紧致对称空间中具有平坦截面的等参子流形恰好是拉普拉斯算子本征函数的等值集，从而在谱几何与表示理论之间建立了直接联系。
• 希尔伯特空间中的等参子流形具有全局平坦的法丛，该结果源于法曲率长度分离与商构造。
• 从X上的本征函数到截面Σ上的本征函数的限制映射是一个同构，将经典Chevalley定理由多项式推广至本征函数情形。
• 对于紧致对称空间X中的任意等参子流形M，通过曲率圆定义的等价关系~对M进行商化后得到的商流形是光滑的，且f的像具有全局平坦的法丛。
• 通过法向量场的扰动构造确保法曲率向量长度互异，从而可利用覆盖空间技巧实现全局嵌入。