[论文解读] The Geometry and Topology on Grassmann Manifolds

Jianwei Zhou|ArXiv.org|Aug 3, 2006

Geometric Analysis and Curvature Flows参考文献 5被引用 4

一句话总结

本文通过拉普拉斯算子的特征函数，将格拉斯曼流形 $G_{\bf F}(n,N)$ 最小化嵌入欧几里得空间，将其表示为球面上的极小子流形。利用该嵌入，引入退化莫尔斯函数，通过递归关系计算复格拉斯曼与四元数格拉斯曼流形的庞加莱多项式与同调群，实现低维情形下的高效同调计算。

ABSTRACT

This paper shows that the Grassmann Manifolds $G_{\bf F}(n,N)$ can all be imbedded in an Euclidean space $M_{\bf F}(N)$ naturally and the imbedding can be realized by the eigenfunctions of Laplacian $ riangle$ on $G_{\bf F}(n,N)$. They are all minimal submanifolds in some spheres of $M_{\bf F}(N)$ respectively. Using these imbeddings, we construct some degenerate Morse functions on Grassmann Manifolds, show that the homology of the complex and quaternion Grassmann Manifolds can be computed easily.

研究动机与目标

• 通过拉普拉斯算子的特征函数，在欧几里得空间 $M_{\bf F}(N)$ 中建立格拉斯曼流形 $G_{\bf F}(n,N)$ 的自然最小嵌入。
• 证明该嵌入下 $G_{\bf F}(n,N)$ 的像在 $M_{\bf F}(N)$ 的球面中构成极小子流形，推广了韦罗内塞曲面的构造。
• 在格拉斯曼流形上构造退化莫尔斯函数，以分析其临界子流形并计算其同调群。
• 推导复格拉斯曼与四元数格拉斯曼流形的庞加莱多项式的递归公式，实现系统化的同调计算。

提出的方法

• 定义映射 $\varphi: G_{\bf F}(n,N) \to M_{\bf F}(N)$，由 $\varphi(\pi) = \sum_{i=1}^n e_i \bar{e}_i^t$ 给出，其中 $\{e_i\}$ 是 $\pi$ 的标准正交基，证明 $\varphi$ 是嵌入，其像为 $M_{\bf F}(n,N)$。
• 使用活动标架法与曲率分析，证明 $M_{\bf F}(n,N)$ 是球面 $S(\sqrt{n}) \cap \{A \in M_{\bf F}(N) \mid \operatorname{tr} A = n\}$ 中的极小子流形。
• 通过嵌入中矩阵元素的实部构造格拉斯曼流形 $G_{\bf F}(n,N)$ 上的退化莫尔斯函数 $g$，其临界子流形对应 $\mathbf{F}^N$ 的固定子空间。
• 分析临界子流形上 $d^2g$ 的海森矩阵，确定非退化性并计算指标，特别关注余维数为 1、2 及混合类型的子流形。
• 推导庞加莱多项式的递归恒等式：当 $n,N-n \geq 2$ 且 ${\bf F} = {\bf C}$ 或 ${\bf H}$ 时，有 $P_t(G_{\bf F}(n,N)) = t^{cn}P_t(G_{\bf F}(n,N-2)) + t^{c(N-n)}P_t(G_{\bf F}(n-2,N-2)) + (1+t^{c(N-1)})P_t(G_{\bf F}(n-1,N-2))$。
• 利用递归结构，计算 $G_{\bf C}(n,N)$ 与 $G_{\bf H}(n,N)$ 在低维情形下的同调群，结果与施伯特微分几何一致。

实验结果

研究问题

• RQ1 如何利用拉普拉斯算子的谱数据，将格拉斯曼流形 $G_{\bf F}(n,N)$ 最小化嵌入欧几里得空间？
• RQ2 该嵌入的像作为球面上的极小子流形，其几何与拓扑意义为何？
• RQ3 能否在格拉斯曼流形上构造退化莫尔斯函数，以揭示其临界子流形与同伦型？
• RQ4 复格拉斯曼与四元数格拉斯曼流形 $G_{\bf F}(n,N)$ 的庞加莱多项式由何种递归结构支配？
• RQ5 这些递归公式如何简化复格拉斯曼与四元数格拉斯曼流形同调群的计算？

主要发现

• 格拉斯曼流形 $G_{\bf F}(n,N)$ 可通过映射 $\varphi(\pi) = \sum_{i=1}^n e_i \bar{e}_i^t$ 嵌入球面 $S(\sqrt{n}) \cap \{A \in M_{\bf F}(N) \mid \operatorname{tr} A = n\}$，其像为 $M_{\bf F}(n,N)$，实现最小嵌入。
• 该嵌入使 $M_{\bf F}(n,N)$ 成为球面上的极小子流形，推广了韦罗内塞曲面的构造。
• 通过嵌入中矩阵元素的实部构造格拉斯曼流形上的退化莫尔斯函数，其临界子流形对应 $\mathbf{F}^N$ 的固定子空间。
• 临界子流形 $G_{\bf F}(n,N-2)$、$G_{\bf F}(n-2,N-2)$ 与 $G_{\bf F}(n-1,N-2)$ 对于 ${\bf F} = {\bf H}$ 是非退化的，其指标分别为 $4n$、$4(N-n)$ 与 $0$ 或 $4(N-1)$。
• 当 $n,N-n \geq 2$ 且 ${\bf F} = {\bf C}$ 或 ${\bf H}$ 时，$G_{\bf F}(n,N)$ 的庞加莱多项式满足递归公式 $P_t(G_{\bf F}(n,N)) = t^{cn}P_t(G_{\bf F}(n,N-2)) + t^{c(N-n)}P_t(G_{\bf F}(n-2,N-2)) + (1+t^{c(N-1)})P_t(G_{\bf F}(n-1,N-2))$。
• 该递归公式使得复格拉斯曼与四元数格拉斯曼流形在低维情形下的同调计算变得高效，且与施伯特微分几何的结果一致。