[論文レビュー] Configurations of skew lines

Julia Viro, Oleg Viro|ArXiv.org|Nov 13, 2006

Mathematics and Applications参考文献 10被引用数 17

ひとこと要約

本稿は3次元射影空間内のねじれ直線の配置を調査し、その配置の同相型がリンク数によって分類されることを確立している。ススペンションおよび安定化の技法を用いて、二つのねじれ直線の絡み合いが、同一のリンク数を持つ場合に限り剛体的同相型であることを証明している。また、双曲面の母線と同一のリンク数を持つ配置は、それ自身の母線と剛体的同相型である。本研究は高次元配置へと拡張され、4次実代数的曲面と関連している。

ABSTRACT

This paper is an updated version of a survey on projective configurations of subspaces in general position. The preceding version was published in Russian in 1989 and in English in 1990 (in Leningrad Math. J.) opening a new section ``Light reading for the professional''. The paper is written in the form of introduction to the subject, with much of the material accessible to advanced high school students. However, in the part of the survey concerning configurations of lines in general position in the three-dimensional space the exposition is free from any background restrictions. We have added few new results, fixed few misprints and terminological inaccuracies and expanded the reference list. Notice that some of the results presented in the paper appeared in other papers without appropriate references.

研究の動機と目的

• 3次元射影空間内のねじれ直線の配置を剛体的同相型に関して分類すること。
• 絡み合いのあるねじれ直線が同相型を超えて位相的に区別可能かどうかを特定すること。
• 直線配置と4次実代数的曲面との関係を調査すること。
• ススペンションを用いた高次元配置の安定的同等性理論を確立すること。
• 非特異的部分空間配置の分類におけるリンク数の役割を明確化すること。

提案手法

• k次元部分空間の配置をRP^{2k+1}で定義し、幾何的ススペンションを用いて高次元空間に拡張する。
• 交差を伴わない連続変形（剛体的同相型）の概念を用いて配置を分類する。
• 特にねじれ直線の場合に、リンク数を不変量として用いて配置を区別する。
• 安定化定理を適用：≤ k+2個の部分空間に対しては、ススペンションの剛体的同相型が元の配置の剛体的同相型を示す。
• KhashinおよびMazurovskiĭの代数的技法に依拠し、リンク数の対応から安定的同等性を証明する。
• 4次実代数的曲面の分解における球面からの点集合を抽出することで、直線の絡み合いと実代数的曲面を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 同じリンク数を持つ場合、3次元空間内の二つのねじれ直線配置が剛体的同相型でない場合があるか？
• RQ2 リンク数がどの程度まで、ねじれ直線配置の剛体的同相型類を分類可能か？
• RQ3 ススペンションに関して保存されるような、高次元配置へのKauffmanブラケット多項式の一般化はあるか？
• RQ4 ねじれ直線の配置は、4次実代数的曲面の位相とどのように関係するか？
• RQ5 同じリンク数を持つにもかかわらず、1枚の双曲面の母線とは剛体的同相型でないねじれ直線配置は存在するか？

主な発見

• 同じリンク数を持つ2つの同相型絡み合いねじれ直線は、剛体的同相型である。
• 1枚の双曲面の母線と同一のリンク数を持つねじれ直線の絡み合いは、その双曲面の母線と剛体的同相型である。
• 配置のススペンションとその鏡像は剛体的同相型になるため、Kauffmanブラケットは高次元非特異配置への一般化が成立しない（ススペンション下で保存されない）。
• k > 1の場合、RP^{4k−1}内に存在する6個の(2k−1)次元部分空間の非特異配置は、それらのリンク数が一致する場合に限り剛体的同相型である。
• RP^{2k+1}内に存在するk次元部分空間の2つの非特異配置は、対応する部分空間のリンク数が同一である場合に限り、安定的同等である。
• 安定化定理により、部分空間が高々k+2個の配置に対しては、ススペンションの剛体的同相型と元の配置の剛体的同相型が同等である。