[论文解读] Configuration Spaces of a Kinematic System and Monster Tower of Special Multi-Flags

Fernand Pelletier|arXiv (Cornell University)|Sep 22, 2011

Computability, Logic, AI Algorithms被引用 4

一句话总结

本文從運動系統的配置空間出發，構造出自然的球叢塔，證明與特殊多旗（multi-flags）相關的每一個射影叢塔都可被這樣的球叢塔雙重覆蓋，從而驗證了[3]中的一個猜想。該構造透過纖叢對偶性，將幾何控制理論與旗流形結構聯繫起來。

ABSTRACT

In this note we show that the configuration spaces of the kinematic system constructed in [4] and [12] gives rise to a natural tower of sphere bundles. Moreover, we prove that, each tower of projective bundles associated to special multi- flags (cf [1], [13], [2], [3]), we can associate such a tower of sphere bundles which is a two-fold covering of the previous one. In particular we give a positive answer of some conjecture proposed in [3]

研究动机与目标

• 探討[4]與[12]中定義的運動系統配置空間的幾何結構。
• 從這些配置空間出發，建立自然的球叢塔。
• 證明特殊多旗的每一個射影叢塔都可被球叢塔雙重覆蓋。
• 對[3]中提出的多旗系統猜想提供肯定的解答。

提出的方法

• 從運動系統的配置空間構造球叢塔。
• 使用幾何與拓撲方法分析這些球叢的纖化結構。
• 透過纖叢對偶性，將配置空間的構造與特殊多旗理論連結。
• 證明球叢塔是與特殊多旗相關的射影叢塔的雙重覆蓋。
• 應用[1]、[13]、[2]與[3]的結果，建立覆蓋關係。
• 利用旗流形及其相關叢的框架，形式化球叢與射影叢之間的對偶性。

实验结果

研究问题

• RQ1 [4]與[12]中運動系統的配置空間如何產生自然的球叢塔？
• RQ2 與特殊多旗相關的射影叢塔與所構造的球叢塔之間的關係為何？
• RQ3 能否證明球叢塔是特殊多旗的射影叢塔的雙重覆蓋？
• RQ4 此構造是否對[3]中關於多旗系統及其幾何實現的猜想提供了肯定答案？
• RQ5 纖叢對偶性在連結運動系統的配置空間與旗流形之間扮演何種角色？

主要发现

• 運動系統的配置空間產生了自然的球叢塔。
• 與特殊多旗相關的每一個射影叢塔都可被對應的球叢塔雙重覆蓋。
• 球叢塔明確地構造為射影叢塔的雙重覆蓋。
• 此構造驗證了[3]中關於透過球叢實現特殊多旗幾何結構的猜想。
• 透過纖叢對偶性，形式化了運動系統與旗流形之間的關係。
• 研究成果透過叢結構在控制理論與代數幾何之間建立了新的幾何橋樑。