[论文解读] On the conjecture of Kevin Walker

Michael Färber, Jean-Claude Hausmann+1 more|ArXiv.org|Aug 22, 2007

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 4

一句话总结

本文證明了Kevin Walker對ℝ³中多邊形空間的猜想，顯示積分上同調環確立了杆長相對長度的唯一性（至多排列與縮放）。透過自然對合在上同調上的作用及單純環理論結果，作者建立上同調結構——特別是平衡子代數與上積行為——完全編碼了長度向量，即使在非一般配置下亦成立。

ABSTRACT

In 1985 Kevin Walker in his study of topology of polygon spaces raised an interesting conjecture in the spirit of the well-known question "Can you hear the shape of a drum?" of Marc Kac. Roughly, Walker's conjecture asks if one can recover relative lengths of the bars of a linkage from intrinsic algebraic properties of the cohomology algebra of its configuration space. In this paper we prove that the conjecture is true for polygon spaces in R^3. We also prove that for planar polygon spaces the conjecture holds is several modified forms: (a) if one takes into account the action of a natural involution on cohomology, (b) if the cohomology algebra of the involution's orbit space is known, or (c) if the length vector is normal. Some of our results allow the length vector to be non-generic, the corresponding polygon spaces have singularities. Our main tool is the study of the natural involution and its action on cohomology. A crucial role in our proof plays the solution of the isomorphism problem for monoidal rings due to J. Gubeladze.

研究动机与目标

• 解決Kevin Walker關於多邊形空間上同調環是否確立其杆長相對長度的猜想。
• 將猜想推廣至非一般長度向量，包含奇異（非一般）配置。
• 探討自然對合在上同調上的作用，如何從代數不變量恢復幾何資料。
• 透過上同調上積與平衡子代數，內在地特徵化正常長度向量。
• 證明在ℝ³中的空間多邊形空間，上同調環確立了長度向量至等價關係為止。

提出的方法

• 分析自然對合τ在平面多邊形空間上同調上的作用，特別是其對第一上同調群的影響。
• 運用單純環的同構問題（由J. Gubeladze解決）將代數結構與幾何資料連結。
• 應用Poincaré對偶性與變形技術，將結果從一般長度向量推廣至非一般長度向量。
• 透過H¹(Mₗ)中(n−3)重上積的消失來特徵化正常長度向量。
• 構造鄰近一般配置的上同調環之間的環滿同態F: H*(Mₗ) → H*(Mₗ′)，以分析核結構。
• 依賴於當ℓ為正常時，平衡子代數B*ₗ由H¹(Mₗ)生成的描述，使用定理6。

实验结果

研究问题

• RQ1 能否從配置空間的整係數上同調環恢復平面多邊形連桿的杆長相對長度？
• RQ2 當長度向量非一般時（即多邊形空間具有奇異點），Walker的猜想是否仍成立？
• RQ3 對合τ在上同調上的作用如何協助從代數不變量區分長度向量？
• RQ4 哪些內在的上同調條件特徵化正常長度向量？
• RQ5 在ℝ³中的空間多邊形空間，其上同調環在多大程度上確立了長度向量？

主要发现

• 對於ℝ³中的多邊形空間，上同調環確立了長度向量至多排列與縮放，確認了Walker的猜想。
• 對於平面多邊形空間，當長度向量為正常時，猜想成立，其特徵為H¹中(n−3)重上積的消失。
• 非一般多邊形空間的上同調環仍確立了長度向量的層次，只要Betti數b₀與b₁均為1。
• 平衡子代數B*ₗ同構於由H¹(Mₗ)生成的子代數，當且僅當長度向量為正常。
• 對合τ在上同調上的作用使得τ*不變類對應至平衡元素，且其在上度數的非平凡性可檢測非正常性。
• Mₗ的上同調環的同構類確立了ℓ在單形分層中的層次，即使對非一般向量亦成立。