連結和のソースを表示

{{要改訳}}
[[Image:Connected sum.svg|right|thumb|320px|連結和の図]]
[[トポロジー]]では、'''連結和'''（れんけつわ、connected sum）は、[[多様体]]の幾何学的変形の方法のひとつで、2つの多様体が与えられたとき、互いを選んだ点でつなぎ合わせる。この構成は、[[曲面#閉曲面の分類|閉曲面の分類]]で重要な役割を果たす。

このことを一般化して、右図のように同一な[[部分多様体]]に沿って多様体を張り合わせることができる。この一般化は'''ファイバー和'''とも呼ばれる。'''結び目和'''や結び目の合成と呼ばれる[[結び目理論|結び目]]の連結和の考え方とも密接に関係する。

== 点での連結和 ==

2つの m-次元[[多様体]]の'''連結和'''は、各々の多様体の中にある[[球 (数学)|球]]を削除し、境界として現れる[[球面]]を互いに{{仮リンク|貼り合わせ空間|label=貼り合わせる|en|adjunction space}}(gluing together)ことにより得ることができる。

多様体が双方とも[[向きつけ]]られていれば、貼りあわせ写像を反対向きにとることにより、一意に連結和が定義される。構成は球の選び方にかかわらず、結果は[[同相]]の下に一意である。[[滑らかな函数|滑らかな]][[圏 (数学)|圏]]ではこの操作は可能で、結果は[[微分同相]]の下に一意である。滑らかな圏での場合は、微妙な問題があり、球の境界の間のすべての微分同相が、たとえ向き付けを正しく選択したとしても、合成されたときに同じ多様体を与えるとは限らない。たとえば、ミルナー　(Milnor)　は、2つの 7-次元胞体がを境界に沿って貼りあわせると、結果は{{仮リンク|エキゾチック球面|en|exotic sphere}}(exotic sphere)となり、7-球に同相ではあるが微分同相ではなくなることをしめした。しかしながら、張り合わせる標準的な方法が存在して、連結和を一意に定義することができる。この一意性は{{仮リンク|円板定理|en|disc theorem}}(disc theorem)に大きく依存していて、すべて明らかになっているわけではない。

連結和の操作は <math>\#</math> により表す。たとえば、<math>A \# B</math> は <math>A</math> と <math>B</math> の和を表す。

連結和の操作は、[[恒等式|同一視する写像]]として球 <math>S^m</math> を持っている、すなわち、<math>M \# S^m</math> は <math>M</math> と同相（もしくは、微分同相）である。

閉曲面の分類は、トポロジーの基本的で歴史的に重要で、任意の閉曲面は球面といくつかの[[トーラス]]といくつかの{{仮リンク|実射影平面|en|real projective plane}}の連結和として表される。

== 部分多様体に沿った連結和 ==

<math>M_1</math> と <math>M_2</math> を 2つの等しい次元の滑らかな向きつけられた多様体とし、<math>V</math> を滑らかな向きつけられた閉多様体で、閉部分多様体として <math>M_1</math> と <math>M_2</math> の双方へ埋め込まれているとする。さらに、{{仮リンク|法バンドル|en|normal bundle}}(normal bundle)の同型

:<math>\psi: N_{M_1} V \to N_{M_2} V</math>

で互いのファイバーで向き付けを保つものが存在すると仮定すると、写像 <math>\psi</math> は向きつけを保つ微分同相写像

:<math>N_1 \setminus V \cong N_{M_1} V \setminus V \to N_{M_2} V \setminus V \cong N_2 \setminus V,</math>

を引き起こす。ここに各々の法バンドル <math>N_{M_i} V</math> は、<math>V</math> の近傍 <math>N_i</math> で微分同相として同一視し、写像

:<math>N_{M_2} V \setminus V \to N_{M_2} V \setminus V</math>

は向きつけを保存する法バンドル上の微分同相の接合(involution)

:<math>v \mapsto v / |v|^2</math>

である。<math>V</math> に沿った <math>M_1</math> と <math>M_2</math> の'''連結和'''は、向き付けを保つ微分同相により互いに近傍どうしを張り合わせることにより得られる

:<math>(M_1 \setminus V) \bigcup_{N_1 \setminus V = N_2 \setminus V} (M_2 \setminus V)</math>

である。和はときどき、

:<math>(M_1, V) \# (M_2, V).</math>

と書かれることもある。この微分同相のタイプは、2つ <math>V</math> の埋め込みと <math>\psi</math> の選択に依存する。

大まかに言うと、各々の部分多様体 <math>V</math> の法線方向のファイバーは、<math>V</math> のひとつの点を含み、<math>V</math> に沿った連結和は次のセクションで述べるように、各々のファイバーにそって単連結な連結和である。このことにより、<math>V</math> に沿った連結和は、'''ファイバー和'''(fiber sum)とも呼ばれる。

<math>V</math> が点である場合は、前のセクションの[[#点での連結和|点での連結和]]を再現する。

== 余次元 2 の部分多様体に沿った連結和 ==

もうひとつの得に重要な例として、<math>V</math> の次元が <math>M_i</math> の次元よりも 2 以下の多様体の場合がある。[[オイラー類]]が
:<math>e(N_{M_1} V) = -e(N_{M_2} V)</math>
という反対の場合であっても、法バンドルの同型写像 <math>\psi</math> が存在する。

さらに、この場合には、法バンドルの[[ファイバーバンドル|構造群]]は[[円群]](circle group) <math>SO(2)</math> である。このことからは、埋め込みの選択は標準的に <math>V</math> から円への写像の[[ホモトピー]]クラスの群と同一視できることが帰結する。このことより直ちに、一次の整数係数[[コホモロジー群]] <math>H^1(V)</math> と同値であることが分かる。従って、和の微分同相のタイプは、<math>\psi</math> の選択と <math>H^1(V)</math> の元の選択に依存する。

余次元 2 の <math>V</math> に沿った連結和は、[[シンプレクティック多様体]]の圏で考えることもでき、この和を{{仮リンク|シンプレクティック和|en|symplectic sum}}(symplectic sum)と呼ぶ。

== 局所作用素 ==

連結和は、多様体の局所作用素であり、この意味は、<math>V</math> の[[近傍]]でのみ和に取って代わる。この意味は、<math>V</math> の[[素集合|共通部を持たない集合]]の 2つのコピー部分で張り合わせて、<math>M</math> とした多様体上で、和を作成することができることを言っている。また、2-球面を 2つの異なる点で張り合わせた連結和は、2-トーラスを生成する。

== 結び目の連結和 ==
[[Image:Sum_of_knots.png|320px|thumb|各々の結び目の平面への射影を考え、これらの射影が共通部を持たないように想定する。]]
[[Image:Sum_of_knots2.png|thumb|320px|長方形の対辺が各々の共通部分をもたない 2つの結び目の一部の弧となっているような平面上の長方形を探す。]]
[[Image:Sum_of_knots3.svg|thumb|320px|2つの結び目を、これらの弧を結び目より削除することにより互いにつなぎ合わせ、長方形の残っている対辺を結び目の中へ繰り入れる。]]
2つの結び目の連結和は、密接に関係した考え方である。実際、結び目を単に 1-次元多様体とみなすと、2つの結び目の連結和は、まさに 1-次元多様体としての連結和となる。しかし、結び目の本質的な性質は、その多様体の構造にあるのではなく（すべての結び目は円と同値である）、むしろ{{仮リンク|周囲の空間|en|ambient space}}(ambient space)への[[埋め込み (数学)|埋め込み]]にある。従って、結び目の連結和には、次のように、うまく定義される埋め込みを生成するようなより精密な定義がある。

この結果、新しいひとつの結び目が得られ、もとの 2つの結び目の'''連結和'''（あるいは、'''結び目和'''や'''合成'''）という。次に、結び目の連結和に対し、3-次元空間の中での'''向き付けを持つ結び目'''を考えねばならない。2つの結び目の連結和を定義するには、

# 2つの結び目の平面への射影を考え、これらの射影が共通部分を持たないようにする。
# 長方形の対辺が各々の共通部分をもたない 2つの結び目の一部の弧となっているような平面上の長方系を探す。'''すると'''、長方形の対辺の結び目の一部の弧は、長方形の境界を回る向きと'''同じ向き付け'''がなされる。
# そこで、これらの弧を結び目から削除し、残る長方形の対辺を弧としてつなぎ合わせることにより、ひとつの結び目を得る。

この結果として生ずる結び目の連結和は、2つのもともとの結び目の向き付けと整合性を持っていて、結果として得られる周囲の向き付けのイソトピークラス(isotopy class)は、うまく定義でき、もとの 2つ結び目の周囲の向き付けのイソトピーに依存している。

この操作の下では、3-次元空間内の向きつけられた結び目は、一意は[[素因数分解]]を持つ可換な[[モノイド]]を形成し、そこでは{{仮リンク|素結び目|en|prime knot}}(prime knot)の意味を定義することができる。可換性の証明は、連結和全体を縮め、片方の結び目を非常に小さくし他の結び目に沿って滑らせることができるようにして、示すことができる。自明な結び目は単元である。三葉結び目(trefoil)は（自明結び目を除くと）最も単純な素結び目である。高次元の結び目は、<math>n</math>-球面をスライスすることにより得ることができる。

3-次元では、自明な結び目は、2つの非自明な結び目の和としては表すことができない。この事実は、[[ザイフェルト曲面#結び目の種数|結び目種数]]の加法性より得られる。[[:en:Mazur swindle|メイザーのまやかし]](Mazur swindle)とも呼ばれることもある「無限の構成」を用いる別証明もある。高次元では（少なくとも余次元が 3）、2つの非自明な結び目の和が非自明となるものを作ることができる。

結び目の向きを考慮に入れないと、連結和の操作は（非向き付け）結び目のイソトピークラス上ではうまく定義することができない。このことを理解するために、2つの非可逆的な（向きつけられていない）非同値な結び目 K, L を考える。たとえば、2つプレッツェル結び目 <math>K = P(3,5,7)</math> と <math>L = P(3,5,9)</math> を取る。<math>K_+</math> と <math>K_-</math> を 2つの非同値な向きを持つ <math>K</math>、<math>L_+</math> と <math>L_-</math> を 2つの非同値な向き付けをもつ <math>L</math> とする。4つの向き付けの連結和を得る方法が 4通りあることとなる。

* <math>A = K_+ \# L_+</math>
* <math>B = K_- \# L_-</math>
* <math>C = K_+ \# L_-</math>
* <math>D = K_- \# L_+</math>

これらの 4つの向き付けられた結び目は向きつけられた周囲のイソトピークラスがすべて異なっている。さらに、向き付けを考えない結び目の周囲のイソトピーを考えると、'''2つの異なる'''同値類  { A ~ B } と { C ~ D } を得る。A と B が向き付けのない同値であることを理解するには、単にそれらが双方とも同じ上記の共通部分をもたない結び目の射影から構成されていることに注意すると、唯一の細は結び目の向き付けとなってしまう。同様に、C と D が共通部分を持たない同じペアから構成されることもあることになってしまう。

== 関連項目 ==
*{{仮リンク|バンド和|en|Band sum}}(Band sum)
*[[3次元多様体の素な分解]](Prime decomposition (3-manifold))
*{{仮リンク|多様体の分解|en|Manifold decomposition}}(Manifold decomposition)
*{{仮リンク|サテライト結び目|en|Satellite knot}}(Satellite knot)

== 参考文献 ==
* [[Robert Gompf]]: A new construction of symplectic manifolds, ''Annals of Mathematics'' 142 (1995), 527–595
* William S. Massey, ''A Basic Course in Algebraic Topology'', Springer-Verlag, 1991. ISBN 0-387-97430-X.

{{Knot theory}}
{{DEFAULTSORT:れんけつわ}}
[[Category:位相幾何学]]
[[Category:微分位相幾何学]]
[[Category:結び目理論]]
[[Category:数学に関する記事]]