コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

利用者:Tianruo/sandbox

DSダイアグラム(DS-diagram)[注 1]は、数学における3次元多様体の表現方法の一つ。3次元多様体を多面体の表面(3次元球体の境界)を貼合せたものとして表現するとき、その貼合せ写像の特異点(分岐点)を球面上の3-正則グラフとして表現したものである[2]

曲面(2次元多様体)の多角形表示の一つの3次元化(アナロジー)となっている。 DSダイアグラムは、Eサイクルに注目することによって記号列で表現することが可能である。

定義

[編集]

Simple polyhedron

[編集]

2次元の有限多面体は、その任意の点に以下のの開部分集合に同相な近傍が有るならば、simple polyhedron(又はclosed fake surface[3])と呼ばれる[4][5][6]

及びに対応するの点(特異点)の集合をにより表す。その中で、特にに対応するの点(頂点)の集合をにより表す。

屡々更に強くP − S(P ) の各連結成分が開円板に同相であることを仮定する場合がある[注 2]

DSダイアグラム

[編集]

に埋め込まれた3-正則グラフとする。 あるsimple polyhedron が存在して、以下の意味で局所的な同相写像が存在するとき(の頂点の集合を表す)、DSダイアグラムという[4]

Eサイクル

[編集]

DSダイアグラムに対し、サイクルの2つの連結成分とする。は以下を満たすときEサイクル(E-cycle)と呼ばれる[注 3][7][4]

  1. はそれぞれ全単射

Eサイクルが存在し具体的に指定されたDSダイアグラムを、Eサイクル付DSダイアグラム(DS-diagram with E-cycle)と呼び、等と表す。

Eサイクル上の頂点に、それが張り合わされる頂点がのどちらに存在するかに応じて+/-の符号を付すことで、Eサイクル付DSダイアグラムを復元可能な記号列で表すことができる[注 4]。この記号列をのarrangementと呼び、等と表す。 以下の図では、


3次元多様体との関係

[編集]

DS-ダイアグラムに対し、を自然にに拡張することで、一つの閉3次元多様体が対応する。


[編集]
  • Gが空グラフのときは、DS-ダイアグラムはを表すと考えることができる[4]
  • Gとして特に頂点が無く辺しか存在しないもの(hoop)も認める。Fig. 1はを表す[4]
  • Fig. 2はを表す。このように一般には連結でないことがある。


関連概念

[編集]

3次元多様体のブロック数

[編集]

Eサイクル付DSダイアグラムのarrangementにおいて、連続する+符号の頂点の部分列を正ブロック(positive block)と呼ぶ。の異なる全ての正ブロックの個数をのブロック数と呼び、により表す[4]

同じ多様体を表す全てのEサイクル付DSダイアグラムのブロック数の内、最小のものをその多様体のブロック数と定義する[4]。即ち

ブロック数は明らかに多様体の位相不変量であり、更にを除いてHeegaard種数に一致することが知られている[8]


注釈

[編集]
  1. ^ ’DS’は’Dehn-Seifert’又は’developed shape’の略とされる[1]
  2. ^ この条件を満たすPはspecial polyhedronと呼ばれる[5]
  3. ^ ’E’はequatorに因む。
  4. ^ Whitneyの定理により3-正則グラフの球面への埋め込みは、球面のisotopyを除いて一意である。

出典

[編集]
  1. ^ 山下正勝 (1987). “DS-diagram と Heegaard diagram(低次元トポロジーの諸問 題と最近の成果)”. 数理解析研究所講究録 636: 91-107. 
  2. ^ Ikeda, H and Inoue, Y (1985). “Invitation to DS-diagrams”. Kobe J. Math. 2: 169–186 
. 
  3. ^ H. Ikeda. Acyclic fake surfaces, Topology 10 (1971) 9–36. https://doi.org/10.18910/3551. 
  4. ^ a b c d e f g M. Endoh and I. Ishii (2005). “A new complexity for 3-manifolds”. Japan. J. Math. 31, No. 1. https://www.jstage.jst.go.jp/article/math1924/31/1/31_1_131/_pdf. 
  5. ^ a b Matveev S. (2003). Algorithmic topology and classification of 3-manifolds, Algorithms and Computation in Mathematics, 9.. Springer-Verlag, Berlin 
  6. ^ Benedetti, R. and Petronio, C. (2006). Branched Standard Spines of 3-manifolds. Lecture Notes in Mathematics. Springer Berlin Heidelberg. ISBN 9783540683452. LCCN 97-7250 
  7. ^ Ikeda, H (1986). “DS-diagrams with E-cycle”. Kobe J. Math. 3: 103–112. 
  8. ^ Y. Koda (2007). “Branched spines and Heegaard genus of 3-manifolds”. manuscripta mathematica. 

外部リンク

[編集]