[論文レビュー] 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

ひとこと要約

この論文は、ℝ³における多角形空間に関してケビン・ウォーカーの予想を証明し、積分コホモロジー環がバーの相対的長さを置換およびスケーリングの違いを除いて完全に決定することを示している。自然な対合のコホモロジーへの作用とモノイド環に関する結果を用いて、特にバランス型部分代数とカップ積の性質が、非一般的配置を含むすべての状況においても長さベクトルを完全に符号化することを確立している。

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.

研究の動機と目的

• 多角形空間のコホモロジー環がそのバーの相対的長さを決定するかどうかというケビン・ウォーカーの予想を解決すること。
• 一般でない（非一般的）な長さベクトルを含む、予想を一般化すること。
• コホモロジー上の自然な対合の作用が、代数的不変量から幾何的データを回復するのをどう助けるかを調査すること。
• コホモロジーのカップ積とバランス型部分代数を用いて、正規長さベクトルを内因的に特徴付けること。
• 空間多角形空間（ℝ³内）において、コホモロジー環が長さベクトルを同値関係を除いて完全に決定することを証明すること。

提案手法

• 平面上の多角形空間のコホモロジーにおける自然な対合τの作用、特に一次コホモロジー群への影響を分析する。
• J. グベラジェが解決したモノイド環の同型問題を用いて、代数的構造と幾何的データを関連付ける。
• ポincare双対性と変形技術を適用して、一般な長さベクトルから非一般なベクトルへの結果の拡張を行う。
• H¹(Mₗ)における(n−3)重カップ積の消えることによって、正規長さベクトルを特徴付ける。
• 近接する一般な構成のコホモロジーリング間の環の上昇写像F: H*(Mₗ) → H*(Mₗ′)を構成し、核の構造を分析する。
• 定理6を用いて、ℓが正規のとき、バランス型部分代数B*ₗがH¹(Mₗ)によって生成されることを用いる。

実験結果

リサーチクエスチョン

• RQ1 平面上の多角形リンクのバーの相対的長さは、その配置空間の積分コホモロジー環から回復可能か？
• RQ2 長さベクトルが非一般的（特異点を持つ）である場合、ウォーカーの予想は成立するか？
• RQ3 コホモロジー上の対合τの作用は、代数的に長さベクトルを区別するのにどのように寄与するか？
• RQ4 どのような内因的なコホモロジー的条件が正規長さベクトルを特徴付けるか？
• RQ5 ℝ³内の空間多角形空間のコホモロジー環は、長さベクトルをどの程度まで決定するか？

主な発見

• ℝ³内の多角形空間では、コホモロジー環が置換およびスケーリングの違いを除いて長さベクトルを完全に決定する。ウォーカーの予想が裏付けられた。
• 平面上の多角形空間では、長さベクトルが正規である場合に限り、予想が成立する。正規性はH¹における(n−3)重カップ積の消えることによって特徴付けられる。
• 非一般な多角形空間のコホモロジー環でさえも、b₀とb₁がともに1であれば、長さベクトルのストラトムを決定する。
• バランス型部分代数B*ₗがH¹(Mₗ)によって生成される部分代数と同型であることは、長さベクトルが正規であることと同値である。
• 対合τはコホモロジーに作用し、τ*-不変なクラスはバランス型要素に対応する。特に、最高次元で非自明なクラスが存在することは、非正規性を検出できる。
• Mₗのコホモロジーリングの同型型は、非一般なベクトルに対しても、単体のストラチフィケーションにおけるℓのストラトムを決定する。