ハンドル体

ハンドル体（ハンドルたい、）とは、位相幾何学において、球体にいくつかのハンドル(取っ手)を貼り付けて得られる向き付け可能な閉多様体。一次元以外の任意の次元でハンドル体を考えることができるが、三次元の場合を指すことが多い。
「球体にいくつかのハンドルをつけたもの（図1）」と考えてもよいし、「（1つとは限らない）いくつかの穴があいたドーナツ（図2）」と考えてもいい（粘土のような柔らかい素材でできていると思えば片方からもう片方へ変形できるため、位相幾何学においては両者は同一視される）。
ハンドルの個数、あるいは穴の個数のことを種数という。特に種数0のハンドル体は球体であり、種数1のハンドル体はトーラス体である。
また、種数 "g" のハンドル体の境界は種数 "g" の向き付け可能閉曲面（穴が "g" 個のトーラス）となる。
3次元のハンドル体.
3次元のハンドル体は以下のように構成される。
まず、3次元球体 "B"3 と"g"個のハンドル "D"2×"I" を用意する（"g"は自然数）。ハンドルとは、2次元円板 "D"2 と単位閉区間 "I" = [0,1] の直積であり、（ゴムのように曲げられる中身の詰まった）円柱のようなものだと考えればよい。
次に、"B"3 の境界（2次元球面）上に、どの2つをとっても互いに共通部分を持たないような 2"g" 個の2次元円板をとる。"B"3 と 各ハンドル"D"2×"I" に向きをつけておけば、"B"3 の境界上の各円板や各ハンドルの両端（"D"2×{0} と "D"2×{1}）にも自然に向きが付く。
ここで、各ハンドルをU字型に曲げて、両端の円板を "B"3 の境界上の2つの円板に1つずつ貼り付ける。つまり "B"3 とハンドルの和集合をとって、ハンドルの片端の円板から"B"3の境界の円板への（向きを逆にする）同相写像によって移りあう点を同一視した商空間を考えることになる。これを "g" 個すべてのハンドルに対して行えば、"B"3 の境界上のすべての円板にハンドルが取り付けられたことになり、このようにして得られた3次元多様体を種数 "g" のハンドル体という。
完備メリディアン円板系.
種数 "g" の3次元ハンドル体 "H"g は、次の条件を満たす "g" 個の2次元円板を持つ。
これらの円板のことを完備メリディアン円板系（complete meridian disk system）という。"H"g を 3次元球体に "g" 個のハンドルがついた状態で想像したとき、各ハンドル "D"2×"I" をまっぷたつに分ける円板（"D"2×{0.5} ）たちは完備メリディアン円板系となる。右図の種数3のハンドル体の図の場合は、小さく描かれている3つの円板がこの条件を満たす（大きく描かれている円板は3番目の条件を満たさないので不適当である）。
また、逆にコンパクトで向き付け可能な3次元多様体が上の条件を満たす "g" 個の円板を持てば、それは種数 "g" のハンドル体となる。
ハンドル体の基本群は、formula_1となる（階数 "g" の自由群）。ここで xiは、ハンドル体の上のある1点を基点としてi番目のメリディアン円板と1回だけ交差するループ（のホモトピー類）である。
n次元のハンドル体.
3次元のハンドルは formula_2 であり、「3次元球体にうまく貼り合わせののりしろ(formula_3)を定めたもの」とみなせる。これを一般化することで "n" 次元のハンドル体の概念が導かれる。
"n" 次元球体 formula_4 を formula_5 と書き、「のりしろ」を formula_6としたものを "n" 次元の "k"-ハンドル と呼ぶ。この「のりしろ」formula_6 を "n" 次元多様体 formula_8 に埋め込んで(この埋め込みを接着写像と呼ぶ)貼り合わせることで formula_8 に "k"-ハンドルを追加した多様体を構成することができる。
0ハンドルから出発して、順番にハンドルを追加してできる多様体をハンドル体と呼ぶ。逆に、"n" 次元多様体 "M" に適切な標高関数が定められているとき、"M" をハンドル体として表示することができる(モース理論)。
"n" 次元多様体 "M" にハンドルを二通りの接着写像で貼り合わせるとき、その像が異なる("M" の連続変形でも移りあわない)にもかかわらず、貼り合わせた結果が同相になることがある。特に 4次元の 2-ハンドルの場合はその必要十分条件がカービー計算(Kirby calculus)として定式化されている。