ハンドル体

ウィキペディア

ハンドル体

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/02/08 08:22 UTC 版)

（図1）種数3のハンドル体

（図2）種数3のハンドル体

ハンドル体（ハンドルたい、英: Handlebody）とは、位相幾何学において、球体にいくつかのハンドル(取っ手)を貼り付けて得られる向き付け可能な閉多様体。一次元以外の任意の次元でハンドル体を考えることができるが、三次元の場合を指すことが多い。

「球体にいくつかのハンドルをつけたもの（図1）」と考えてもよいし、「（1つとは限らない）いくつかの穴があいたドーナツ（図2）」と考えてもいい（粘土のような柔らかい素材でできていると思えば片方からもう片方へ変形できるため、位相幾何学においては両者は同一視される）。

ハンドルの個数、あるいは穴の個数のことを種数という。特に種数0のハンドル体は球体であり、種数1のハンドル体はトーラス体である。

また、種数 g のハンドル体の境界は種数 g の向き付け可能閉曲面（穴が g 個のトーラス）となる。

3次元のハンドル体

3次元のハンドル体は以下のように構成される。

まず、3次元球体 B³ とg個のハンドル D²×I を用意する（gは自然数）。ハンドルとは、2次元円板 D² と単位閉区間 I = [0,1] の直積であり、（ゴムのように曲げられる中身の詰まった）円柱のようなものだと考えればよい。

次に、B³ の境界（2次元球面）上に、どの2つをとっても互いに共通部分を持たないような 2g 個の2次元円板をとる。B³ と 各ハンドルD²×I に向きをつけておけば、B³ の境界上の各円板や各ハンドルの両端（D²×{0} と D²×{1}）にも自然に向きが付く。

ここで、各ハンドルをU字型に曲げて、両端の円板を B³ の境界上の2つの円板に1つずつ貼り付ける。つまり B³ とハンドルの和集合をとって、ハンドルの片端の円板からB³の境界の円板への（向きを逆にする）同相写像によって移りあう点を同一視した商空間を考えることになる。これを g 個すべてのハンドルに対して行えば、B³ の境界上のすべての円板にハンドルが取り付けられたことになり、このようにして得られた3次元多様体を種数 g のハンドル体という。

完備メリディアン円板系

小さく描かれた円板が完備メリディアン円板系。

種数 g の3次元ハンドル体 H_g は、次の条件を満たす g 個の2次元円板を持つ。

1. どの円板も H_g に適切に埋め込まれている。つまり各円板が H_g に含まれており、各円板の境界が H_g の境界に含まれている。
2. どの2つの円板をとっても互いに共通部分を持たない。
3. H_g を各円板で切り開くと、3次元球体と同相になる。

これらの円板のことを完備メリディアン円板系（complete meridian disk system）という。H_g を 3次元球体に g 個のハンドルがついた状態で想像したとき、各ハンドル D²×I をまっぷたつに分ける円板（D²×{0.5} ）たちは完備メリディアン円板系となる。右図の種数3のハンドル体の図の場合は、小さく描かれている3つの円板がこの条件を満たす（大きく描かれている円板は3番目の条件を満たさないので不適当である）。

また、逆にコンパクトで向き付け可能な3次元多様体が上の条件を満たす g 個の円板を持てば、それは種数 g のハンドル体となる。

ハンドル体の基本群は、 $\pi _{1}(H_{g})=\{x_{1},x_{2},...,x_{g}|-\}$

ウィキペディア小見出し辞書

ハンドル体

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/05/17 06:09 UTC 版)

「種数」の記事における「ハンドル体」の解説

3次元ハンドル体の種数は、切断の結果生じる多様体が連結のままとなるよう埋め込まれた円盤に沿ってなされる切断の最大数を表す整数である。これは、そのハンドル体のハンドル数に等しい。 例えば、 球の種数は0である。 トーラス体 D 2 × S 1 の種数は1である。