[論文レビュー] The Geometry and Topology on Grassmann Manifolds

Jianwei Zhou|ArXiv.org|Aug 3, 2006

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

ひとこと要約

本稿は、ラプラシアンの固有関数を用いて、Grassmann多様体 $G_{\bf F}(n,N)$ をユークリッド空間への最小埋め込みとして構成し、それらを球面上の最小部分多様体として実現する。この埋め込みを用いて、複素およびクaternion Grassmann多様体のホモロジーとPoincaré多項式を再帰的関係式を用いて計算するための退化したモース関数を導入し、低次元におけるホモロジー計算を効率的に行う。

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.

研究の動機と目的

• Grassmann多様体 $G_{\bf F}(n,N)$ をラプラシアンの固有関数を用いてユークリッド空間 $M_{\bf F}(N)$ に自然な最小埋め込みを構築すること。
• この埋め込みによる $G_{\bf F}(n,N)$ の像が、$M_{\bf F}(N)$ 内の球面上の最小部分多様体をなすことの証明し、ヴェロネーゼの曲面を一般化すること。
• Grassmann多様体上に退化したモース関数を構成し、その臨界部分多様体を解析し、ホモロジーを計算すること。
• 複素およびクォータニオン Grassmann 多様体の Poincaré 多項式の再帰的公式を導出することにより、体系的なホモロジー計算を可能にすること。

提案手法

• Grassmann多様体 $G_{\bf F}(n,N)$ から $M_{\bf F}(N)$ への写像 $\varphi$ を $\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\}$ 内の最小部分多様体であることを証明する。
• 埋め込みにおける行列成分の実部を用いて、Grassmann多様体 $G_{\bf F}(n,N)$ 上に退化したモース関数 $g$ を構成し、臨界部分多様体が $\mathbf{F}^N$ の固定部分空間に対応することを示す。
• 臨界部分多様体上でのヘッセ行列 $d^2g$ を解析し、非退化性と指数を特定する。特に、余次元 1, 2 および混合型の部分多様体について考察する。
• 再帰的Poincaré多項式恒等式を導出する：$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))$（$n,N-n \geq 2$、${\bf F} = {\bf C}$ または ${\bf H}$）。
• 再帰的構造を用いて、$G_{\bf C}(n,N)$ および $G_{\bf H}(n,N)$ の低次元におけるホモロジー群を計算し、シューベルト計算の結果と整合することを確認する。

実験結果

リサーチクエスチョン

• RQ1 Grassmann多様体 $G_{\bf F}(n,N)$ は、ラプラシアンのスペクトルデータを用いてどのようにユークリッド空間への最小埋め込みとして構成できるか？
• RQ2 この埋め込みの像が球面上の最小部分多様体として得られる幾何学的・位相的意味は何か？
• RQ3 Grassmann多様体上に退化したモース関数を構成し、その臨界部分多様体とホモトピー型を明らかにできるか？
• RQ4 複素数体 ${\bf F} = {\bf C}$ またはクォータニオン体 ${\bf F} = {\bf H}$ に対して、$G_{\bf F}(n,N)$ のPoincaré多項式を支配する再帰的構造は何か？
• RQ5 これらの再帰的公式は、複素およびクォータニオン Grassmann 多様体のホモロジー群の計算をどのように簡略化するか？

主な発見

• Grassmann多様体 $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)$ は球面上の最小部分多様体として実現され、ヴェロネーゼの曲面の一般化を実現する。
• 埋め込みにおける行列成分の実部を用いて、Grassmann多様体 $G_{\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)$ である。
• Grassmann多様体 $G_{\bf F}(n,N)$ のPoincaré多項式は、再帰的公式 $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))$ を満たす（$n,N-n \geq 2$、${\bf F} = {\bf C}$ または ${\bf H}$）。
• この再帰的公式により、複素およびクォータニオン Grassmann 多様体の低次元におけるホモロジーが、シューベルト計算の結果と整合する形で、効率的に計算可能である。