[Paper Review] The Geometry and Topology on Grassmann Manifolds

Jianwei Zhou|ArXiv.org|Aug 3, 2006

Geometric Analysis and Curvature Flows5 references4 citations

TL;DR

This paper constructs a minimal embedding of Grassmann manifolds $G_{f F}(n,N)$ into Euclidean space via eigenfunctions of the Laplacian, realizing them as minimal submanifolds in spheres. Using this embedding, it introduces degenerate Morse functions to compute the Poincaré polynomials and homology of complex and quaternion Grassmann manifolds through recursive relations, enabling efficient homology computation in low dimensions.

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.

Motivation & Objective

• To establish a natural minimal embedding of Grassmann manifolds $G_{f F}(n,N)$ into Euclidean space $M_{f F}(N)$ using eigenfunctions of the Laplacian.
• To demonstrate that the image of $G_{f F}(n,N)$ under this embedding forms a minimal submanifold in a sphere of $M_{f F}(N)$, generalizing the Veronese surface.
• To construct degenerate Morse functions on Grassmann manifolds to analyze their critical submanifolds and compute their homology.
• To derive recursive formulas for the Poincaré polynomials of complex and quaternion Grassmann manifolds, enabling systematic homology computation.

Proposed method

• Define the map $\varphi: G_{\bf F}(n,N) \to M_{\bf F}(N)$ by $\varphi(\pi) = \sum_{i=1}^n e_i \bar{e}_i^t$, where $\{e_i\}$ is an orthonormal basis of $\pi$, showing $\varphi$ is an embedding with image $M_{\bf F}(n,N)$.
• Prove that $M_{\bf F}(n,N)$ is a minimal submanifold in the sphere $S(\sqrt{n}) \cap \{A \in M_{\bf F}(N) \mid \operatorname{tr} A = n\}$, using the moving frame method and curvature analysis.
• Construct a degenerate Morse function $g$ on $G_{\bf F}(n,N)$ via the real part of matrix entries in the embedding, with critical submanifolds corresponding to fixed subspaces of $\mathbf{F}^N$.
• Analyze the Hessian $d^2g$ on critical submanifolds to determine non-degeneracy and compute indices, particularly for submanifolds of codimension 1, 2, and mixed types.
• Derive recursive Poincaré polynomial identities: $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))$ for $n,N-n \geq 2$, ${\bf F} = {\bf C}$ or ${\bf H}$.
• Use the recursive structure to compute homology groups of $G_{\bf C}(n,N)$ and $G_{\bf H}(n,N)$ in low dimensions, consistent with Schubert calculus.

Experimental results

Research questions

• RQ1 How can Grassmann manifolds $G_{\bf F}(n,N)$ be minimally embedded into a Euclidean space using spectral data from the Laplacian?
• RQ2 What is the geometric and topological significance of the image of this embedding as a minimal submanifold in a sphere?
• RQ3 Can degenerate Morse functions be constructed on Grassmann manifolds to reveal their critical submanifolds and homotopy type?
• RQ4 What recursive structure governs the Poincaré polynomial of $G_{\bf F}(n,N)$ for ${\bf F} = {\bf C}$ or ${\bf H}$?
• RQ5 How do these recursive formulas simplify the computation of homology groups for complex and quaternion Grassmann manifolds?

Key findings

• The Grassmann manifold $G_{\bf F}(n,N)$ admits a minimal embedding into the sphere $S(\sqrt{n}) \cap \{A \in M_{\bf F}(N) \mid \operatorname{tr} A = n\}$ via the map $\varphi(\pi) = \sum_{i=1}^n e_i \bar{e}_i^t$, with image $M_{\bf F}(n,N)$.
• The embedding realizes $M_{\bf F}(n,N)$ as a minimal submanifold in a sphere, generalizing the Veronese surface construction.
• Degenerate Morse functions on $G_{\bf F}(n,N)$ are constructed using the real part of matrix entries in the embedding, with critical submanifolds corresponding to fixed subspaces of $\mathbf{F}^N$.
• The critical submanifolds $G_{\bf F}(n,N-2)$, $G_{\bf F}(n-2,N-2)$, and $G_{\bf F}(n-1,N-2)$ are non-degenerate with indices $4n$, $4(N-n)$, and $0$ or $4(N-1)$, respectively, for ${\bf F} = {\bf H}$.
• The Poincaré polynomial of $G_{\bf F}(n,N)$ satisfies the recursive formula $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))$ for $n,N-n \geq 2$, ${\bf F} = {\bf C}$ or ${\bf H}$.
• This recursive formula enables efficient computation of the homology of complex and quaternion Grassmann manifolds in low-dimensional cases, matching results from Schubert calculus.