DSダイアグラム

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

DSダイアグラムは、曲面（コンパクトな2次元多様体）をその辺同士の貼合せとして表示する基本多角形の3次元的なアナロジーとなっている。基本多角形が記号列によって内容を一意に表現可能であるのと同様に、DSダイアグラムにおいてもEサイクルに注目することによって記号列で表現することが可能である。

定義

Simple polyhedron

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

${\begin{aligned}X\equiv &\{(x,y,z)\in \mathbb {R} ^{3}|z=0\}\\&\cup \{(x,y,z)\in \mathbb {R} ^{3}|y=0,z\geq 0\}\\&\cup \{(x,y,z)\in \mathbb {R} ^{3}|x=0,z\leq 0\}\end{aligned}}$

$\{(t,0,0)\in X|\exists t\in \mathbb {R} \}$ 及び $\{(0,t,0)\in X|\exists t\in \mathbb {R} \}$ に対応する $P$ の点（特異点）の集合を $S(P)$ により表す。その中で、特に $(0,0,0)\in X$ に対応する $P$ の点（頂点）の集合を $V(P)(\subseteq S(P))$ により表す。

DSダイアグラム

$G$ を $S^{2}$ に埋め込まれた3-正則グラフとする。あるsimple polyhedron $P$ が存在して、以下の意味で局所的な同相写像 $f:S^{2}\rightarrow P$ が存在するとき（ $V(G)$ は $G$ の頂点の集合を表す）、 $(G,f,P)$ をDSダイアグラムという^[5]。 $G$ として特に頂点が無く辺しか存在しないもの（hoop）も認める。

$f^{-1}(S(P))=G$
$f^{-1}(V(P))=V(G)$
$|f^{-1}(x)|={\begin{cases}4&x\in V(P)\\3&x\in S(P)-V(P)\\2&x\in P-S(P)\\\end{cases}}$

Eサイクル

DSダイアグラム $(G,f,P)$ に対し、 $e$ を $G$ のサイクル、 $\Sigma _{+},\Sigma _{-}$ を $S^{2}-e$ の2つの連結成分とする。 $e$ は以下を満たすときEサイクル（E-cycle）と呼ばれる^{[注 2]}^[8]^[5]。

$|e\cap f^{-1}(x)|={\begin{cases}2&x\in V(P)\\1&x\in S(P)-V(P)\\\end{cases}}$
$f|_{\Sigma _{+}},f|_{\Sigma _{-}}$ はそれぞれ全単射

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

Eサイクル上の各頂点に、それが張り合わされる頂点が $\Sigma _{+},\Sigma _{-}$ のどちらに存在するかに応じて+/-の符号を付すことで、Eサイクル付DSダイアグラムを復元可能な記号列を作ることができる^{[注 3]}。この記号列を $\Delta =(G,f,P;e)$ のarrangementと呼び、 ${\mathcal {A}}(\Delta )$ 等と表す。

3次元多様体との関係

Fig. 1.

S^{2}\times S^{1}

を表すDSダイアグラム。

DSダイアグラム $(G,f,P)$ に対し、 $f:S^{2}\rightarrow P$ の定義域を $B^{3}$ に自然に拡張することで、一つの閉3次元多様体 $B^{3}/f$ が対応する。

例

$G$ が空グラフのときは、DSダイアグラムは $S^{3}$ を表す。
Fig. 1は頂点がなく辺のみを有するグラフ $G$ に対するDSダイアグラムで、 $S^{2}\times S^{1}$ を表す^[5]。

脚注

注釈

^ ’DS’は’Dehn-Seifert’^[1]又は’developed shape’の略とされる^[2]。
^ ’E’はequatorに因む。
^ Whitneyの定理により3-正則グラフの球面への埋め込みは、球面のisotopyを除いて一意である。

出典

^ Ishii, I., Ishikawa, M., Koda, Y. et al. (2023). “Positive flow-spines and contact 3-manifolds”. Annali di Matematica. doi:10.1007/s10231-023-01314-1.
^ 山下正勝「DS-diagram と Heegaard diagram(低次元トポロジーの諸問題と最近の成果)」『数理解析研究所講究録』第636巻、京都大学数理解析研究所、1987年12月、91-107頁、CRID 1050001335635897856、hdl:2433/100121、ISSN 1880-2818。
^ Ikeda, Hiroshi; Yoshinobu, Inoue (1985-12). “Invitation to DS-diagrams” (PDF). Kobe journal of mathematics (神戸大学) 2: 169-186. ISSN 02899051.
^ H. Ikeda. Acyclic fake surfaces, Topology 10 (1971) 9–36. https://doi.org/10.18910/3551.
^ ^a ^b ^c ^d ^e ^f ENDOH, Mariko; ISHII, Ippei (2005). “A new complexity for 3-manifolds”. Japanese journal of mathematics. New series (日本数学会) 31 (1): 131-156. doi:10.4099/math1924.31.131. ISSN 02892316.
^ Matveev S. (2003). Algorithmic topology and classification of 3-manifolds, Algorithms and Computation in Mathematics, 9.. Springer-Verlag, Berlin
^ Benedetti, R. and Petronio, C. (2006). Branched Standard Spines of 3-manifolds. Lecture Notes in Mathematics. Springer Berlin Heidelberg. ISBN 9783540683452. LCCN 97-7250
^ IKEDA, H. (1986). “DS-diagrams with E-cycle” (PDF). Kobe J. Math. 3: 103-112.
^ Yuya, Koda (2007-05). “Branched spines and Heegaard genus of 3-manifolds”. manuscripta mathematica (Springer Science and Business Media LLC) 123 (3): 285-299. doi:10.1007/s00229-007-0097-z. ISSN 0025-2611.

外部リンク

[3] ’DS’は’Dehn-Seifert’^[1]又は’developed shape’の略とされる^[2]。

[9] ’E’はequatorに因む。

[11] Whitneyの定理により3-正則グラフの球面への埋め込みは、球面のisotopyを除いて一意である。

[1] Ishii, I., Ishikawa, M., Koda, Y. et al. (2023). “Positive flow-spines and contact 3-manifolds”. Annali di Matematica. doi:10.1007/s10231-023-01314-1.

[MY1987-2] 山下正勝「DS-diagram と Heegaard diagram(低次元トポロジーの諸問題と最近の成果)」『数理解析研究所講究録』第636巻、京都大学数理解析研究所、1987年12月、91-107頁、CRID 1050001335635897856、hdl:2433/100121、ISSN 1880-2818。

[4] Ikeda, Hiroshi; Yoshinobu, Inoue (1985-12). “Invitation to DS-diagrams” (PDF). Kobe journal of mathematics (神戸大学) 2: 169-186. ISSN 02899051.

[5] H. Ikeda. Acyclic fake surfaces, Topology 10 (1971) 9–36. https://doi.org/10.18910/3551.

[ME2005-6] ^ ^a ^b ^c ^d ^e ^f ENDOH, Mariko; ISHII, Ippei (2005). “A new complexity for 3-manifolds”. Japanese journal of mathematics. New series (日本数学会) 31 (1): 131-156. doi:10.4099/math1924.31.131. ISSN 02892316.

[SM2005-7] Matveev S. (2003). Algorithmic topology and classification of 3-manifolds, Algorithms and Computation in Mathematics, 9.. Springer-Verlag, Berlin

[RB2006-8] Benedetti, R. and Petronio, C. (2006). Branched Standard Spines of 3-manifolds. Lecture Notes in Mathematics. Springer Berlin Heidelberg. ISBN 9783540683452. LCCN 97-7250

[10] IKEDA, H. (1986). “DS-diagrams with E-cycle” (PDF). Kobe J. Math. 3: 103-112.

[12] Yuya, Koda (2007-05). “Branched spines and Heegaard genus of 3-manifolds”. manuscripta mathematica (Springer Science and Business Media LLC) 123 (3): 285-299. doi:10.1007/s00229-007-0097-z. ISSN 0025-2611.

[注 1]

[3]

[4]

[5]

[6]

[7]

[注 2]

[8]

[注 3]

[9]

[1]

[2]

DSダイアグラム

目次

定義

Simple polyhedron

DSダイアグラム

Eサイクル

3次元多様体との関係

例

関連概念

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

脚注

注釈

出典

外部リンク