[论文解读] Polynomial mappings into a Stiefel manifold and immersions

Iwona Krzyżanowska, Zbigniew Szafraniec|arXiv (Cornell University)|Nov 17, 2011

Polynomial and algebraic computation参考文献 9被引用 3

一句话总结

本文提出了一种有效方法，通过二次型的符号计算，计算从球面到施蒂费尔流形的多项式映射的同伦类以及多项式浸入的交数。研究证明，对于多项式浸入 $ g: S^m \to \mathbb{R}^{2m} $，其交数 $ I(g) $ 等于 $ -\Lambda(\alpha) $，其中 $ \Lambda(\alpha) $ 由关联映射的次数导出，该次数可通过符号计算，从而实现计算机代数系统（如 Singular）中的算法化计算。

ABSTRACT

For a polynomial mapping from S^{n-k} to the Stiefel manifold \widetilde{V}_k(\R^{n}), where n-k is even, there is presented an effective method of expressing the corresponding element of the homotopy group π_{n-k}\widetilde{V}_k(\R^{n})\simeq\Z in terms of signatures of quadratic forms. There is also given a method of computing the intersection number for a polynomial immersion from S^m to \R^{2m}.

研究动机与目标

• 开发一种有效方法，计算当 $ n-k $ 为偶数时，多项式映射 $ \alpha: S^{n-k} \to \widetilde{V}_k(\mathbb{R}^n) $ 的同伦类 $ \Lambda(\alpha) \in \mathbb{Z} $。
• 以二次型的符号表达多项式浸入 $ g: M \to \mathbb{R}^{2m} $ 的交数 $ I(g) \in \mathbb{Z} $，克服先前构造中非多项式性质的缺陷。
• 提供一个多项式构造 $ \alpha: M \to \widetilde{V}_{m+1}(\mathbb{R}^{2m+1}) $，使得 $ I(g) = -\Lambda(\alpha) $，从而实现通过计算机代数系统进行算法化计算。
• 将惠特尼的交数公式推广至紧致代数超曲面，并提供比现有方法更高效的计算替代方案。

提出的方法

• 通过将框架向量 $ \alpha_i(x) $ 与 $ S^{k-1} $ 中的系数取线性组合，定义一个关联映射 $ \widetilde{\alpha}: S^{k-1} \times S^{n-k} \to \mathbb{R}^n \setminus \{0\} $，并证明其像落在 $ S^{n-1} $ 上。
• 将 $ \Lambda(\alpha) $ 表示为拓扑度 $ \deg(\widetilde{\alpha}/|\widetilde{\alpha}|) $，该度量在同伦与到正交施蒂费尔流形的收缩下保持不变。
• 从紧致代数超曲面 $ M \subset \mathbb{R}^{m+1} $ 构造一个多项式映射 $ \alpha: M \to \widetilde{V}_{m+1}(\mathbb{R}^{2m+1}) $，使得 $ I(g) = -\Lambda(\alpha) $，利用管状邻域和函数 $ f $ 的扰动（满足 $ M = f^{-1}(0) $）。
• 利用切除定理与关联映射的同伦 $ h_t $，将 $ \deg(\widetilde{\alpha}|S^m \times M) $ 与 $ -2I(g) $ 关联，从而得出 $ I(g) = -\Lambda(\alpha) $。
• 通过坐标变换与线性近似计算 $ \deg(H \circ \phi, B^{m+2}(r) \times M, 0) $，将其简化为偏导数与坐标函数乘积的和。
• 应用二次型的符号计算 $ \Lambda(\alpha) $，利用定理 3.9 的结果，使该方法可在计算机代数系统（如 Singular）中实现。

实验结果

研究问题

• RQ1 当 $ n-k $ 为偶数时，如何有效计算多项式映射 $ \alpha: S^{n-k} \to \widetilde{V}_k(\mathbb{R}^n) $ 的同伦类 $ \Lambda(\alpha) \in \mathbb{Z} $？
• RQ2 多项式浸入 $ g: M \to \mathbb{R}^{2m} $ 的交数 $ I(g) \in \mathbb{Z} $ 是否能以二次型的符号表达？
• RQ3 是否可能构造一个多项式映射 $ \alpha: M \to \widetilde{V}_{m+1}(\mathbb{R}^{2m+1}) $，使得 $ I(g) = -\Lambda(\alpha) $，即使标准构造 $ \alpha' $ 并非多项式？
• RQ4 与基于惠特尼原始定义的现有方法相比，该方法在计算效率上如何？

主要发现

• 对于多项式浸入 $ g: S^2(10) \to \mathbb{R}^4 $，其交数 $ I(g) $ 计算结果为 $ 5 $，通过 Singular 验证了方法的有效性。
• 度数 $ \deg(\widetilde{\alpha}|S^m \times M) $ 等于 $ -2I(g) $，因此 $ I(g) = -\Lambda(\alpha) $，建立了浸入不变量与同伦类之间的直接联系。
• $ \Lambda(\alpha) $ 的值等于由浸入的雅可比矩阵导出的二次型的符号，可通过计算机代数系统计算。
• 该方法可推广至紧致代数超曲面 $ M \subset \mathbb{R}^{m+1} $，而不仅限于球面，从而扩大了适用范围。
• 计算实验表明，该方法显著优于基于惠特尼定义的先前方法。
• 将 $ \alpha $ 构造为多项式映射，确保与符号计算兼容，从而实现 $ I(g) $ 的自动化评估。