連結和

From Wikipedia, the free encyclopedia

連結和の図

トポロジーでは、連結和(れんけつわ、connected sum)は、多様体の幾何学的変形の方法のひとつで、2つの多様体が与えられたとき、互いを選んだ点でつなぎ合わせる。この構成は、閉曲面の分類で重要な役割を果たす。

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

2つの m-次元多様体連結和は、各々の多様体の中にあるを削除し、境界として現れる球面を互いに貼り合わせる英語版(gluing together)ことにより得ることができる。

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

連結和の操作は により表す。たとえば、 の和を表す。

連結和の操作は、同一視する写像として球 を持っている、すなわち、 と同相(もしくは、微分同相)である。

閉曲面の分類は、トポロジーの基本的で歴史的に重要で、任意の閉曲面は球面といくつかのトーラスといくつかの実射影平面の連結和として表される。

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

を 2つの等しい次元の滑らかな向きつけられた多様体とし、 を滑らかな向きつけられた閉多様体で、閉部分多様体として の双方へ埋め込まれているとする。さらに、法バンドル英語版(normal bundle)の同型

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

を引き起こす。ここに各々の法バンドル は、 の近傍 で微分同相として同一視し、写像

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

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

である。和はときどき、

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

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

が点である場合は、前のセクションの点での連結和を再現する。

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

もうひとつの得に重要な例として、 の次元が の次元よりも 2 以下の多様体の場合がある。オイラー類

という反対の場合であっても、法バンドルの同型写像 が存在する。

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

余次元 2 の に沿った連結和は、シンプレクティック多様体の圏で考えることもでき、この和をシンプレクティック和英語版(symplectic sum)と呼ぶ。

局所作用素

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

結び目の連結和

関連項目

参考文献

Related Articles

Wikiwand AI