同境

テンプレート:Expand English 微分位相幾何学において、同境（読み：どうきょう、テンプレート:Lang-en-short、テンプレート:Lang-de-short、テンプレート:Lang-fr-short、テンプレート:Lang-ru-short、テンプレート:Lang-zh-short）とはコンパクト可微分多様体におけるひとつの同値関係である。もし二つのコンパクト可微分多様体$M$と$N$が或るコンパクト多様体の境界 $L$のような境界のようになることを与えるならば、それらは同境な（形容詞：テンプレート:Lang-fr-short）または同境である（テンプレート:Lang-fr-short）。$L$が$M$と$N$からのひとつの同境を実現しても、このような多様体$L$が$M$と$N$からのひとつの同境である。そのような同境についての存在は$M$と$N$が同じ次元であることに関係する。

厳密にいうと、同境は同値関係ではない、なぜなら或る一定の$n$次元の可微分多様体における類別は集合ではない。しかしながら、二つの多様体$M$と$N$が同境であるにはこれらの多様体の微分同相の同値類での同一性に依存することが与えられている。同境は、微分同相を除いて区別する次元$n$の可微分多様体における集合での同値関係を定める。

規約しだいで、或る多様体は可算コンパクトを満たす。各々のコンパクトはテンプレート:日本語版にない記事リンクの領域の有限な個数において覆われることを与えられ、そして各々の領域は${ℝ}^n$の開集合で一体化する。或る可微分多様体はこのようにして連続体濃度である。次元$n$の可微分多様体の類は実数$ℝ$の集合における次元$n$の可微分多様体の集合のひとつの商として得られるのに似た微分同相により同一視される。

向き付けられた可微分多様体についての同境であるところの、より詳細な関係がある。境界をもつ或る多様体における或る向き付けはその境界における或る向き付けから得られる。$M$に連結する向き付け可能な可微分多様体について、異なった二つの向き付けが存在する。この向け付けが取り挙げられることにおいて一つあれば、$M$は向き付けられると呼ばれる。二番目の向き付けの負の多様体を$\bar{M}$で記す。コンパクトな境界を持った或る多様体が存在し、$\bar{M}$と$N$における直和が境界となるような向き付け$W$が存在すれば、二つの向き付けられたコンパクト多様体$M$と$N$は互いに同境と呼ばれる。$W$は$M$と$N$によって向き付けられた同境であると呼ばれる。

記事冒頭において取り上げるべきその他の同境についての概念も同じく存在する。

同境の例

0次元

0次元のコンパクト多様体はまさしく点の有限集合であるテンプレート:要出典。微分同相は全単射である。微分同相を除いて、それらは基数によって分類される。コンパクトな境界をもつ1次元のひとつの多様体は分かれた、区間$[0,1]$における複写物（テンプレート:Lang-fr-short）ならびに円周の複写物の、単なる集まりである。区間の利用は幾つかの点の対を無効にする或る同境に対して可能にされる。これに対し、ひとつの点は点の対に対して同境ではない。実際、二つの有限集合はそれらが同じ偶奇性をもつ基数であるならば同境である。

関係する多様体のすべてのように、（$+$または$-$の）記号をもって記される、二つの向き付けを或る点は確かに有する。0次元の向き付けられたコンパクト多様体は記号$+$と$-$の有限な集まりである。向き付けられた区間$[0,1]$の複写物を使うことは、記号$+$と$-$を取り消す、もしくは記号$+$と$-$を生み出すことに逆な、向き付けられた同境を可能にする。テンプレート:仮リンクを呼び出す、記号$+$の個数から記号$-$の個数を差し引いたものは、向き付けられた同境についての不変量である。

1次元

一つの円周（上部）と、分かれた二つの円周（下部）の合併、による同境。

一つの円周（$C_3$）と、分かれた二つの円周（$C_1$と$C_2$）の合併、による同境。

1次元に結合された唯一のコンパクト多様体は円周に似た微分同相のものである。実際、1次元のコンパクト可微分多様体は分かれた有限個の円周の寄せ集めである。テンプレート:仮リンクはひとつの円周と二つの円周のひとつの合併による或る同境を実現する（反対側の図を見よ）。いわば、分かれた有限個の円周の全部の合併は、ひとつの円周におけるその一周との同境である。1次元の同境はいかなる情報も与えない。

高次元

• ${ℝ}^n$におけるコンパクトな超曲面のすべては、或るコンパクトな領域を境界づける。そのような領域からひとつの球状のものを取り去ったならば、${ℝ}^n$におけるコンパクトな超曲面のすべては、球面$S^{n-1}$と同境となる。
• 二次元の向き付け可能なコンパクトな曲面のすべては$R^3$における或るコンパクトな超曲面のようなものになる。先の例は二次元の向き付け可能な曲面のすべては同境であることをしめす。その同境は種数についての情報を与えない。
• 三次元の向け付け可能なコンパクト多様体のすべては球面$S^3$のようなもの（もしくは空集合、それは同様になる）と同境になる。その結果は高次元においては成り立たない。

制約条件

二つの可微分多様体が同境にあることを妨げるホモロジー的性質の制約条件がある。この制約条件は特性類を用いる

スティーフェル・ホイットニー数

• $\mathbb{Z}/2\mathbb{Z}$における係数によるすべての特性類は（正規化の手法により）そのスティーフェル・ホイットニー類に関する或る多項式のように記述される。
• $n$次元可微分多様体のすべてにおいて、$n$の分割$s$のすべては、$\mathbb{Z}/2\mathbb{Z}$におけるスティーフェル・ホイットニー数$w_s(M)$に結び付けられる。

h‐同境理論

テンプレート:Main h‐同境理論は'再定義'（テンプレート:Lang-fr-short）および位相的構成の用語での同境における理解を与える。その証明はテンプレート:日本語版にない記事リンクとモース理論の基礎の利用においてそれ自体を成り立たせる。

接触多様体における同境

テンプレート:仮リンクは、$\alpha \wedge (d\alpha {)}^n$が或る体積形式であるところの微分形式$\alpha$をもつ、奇数$N$次元のコンパクト可微分多様体である。それらは次のようである：

• 範囲内の'リュービル場'（テンプレート:Lang-fr-short）に存在するものである、近傍 での$M$の境界での連結成分の集まりの場合の、$2n+2$次元シンプレクティック多様体$(M,\omega )$の凸面の境界；
• 範囲内のリュービル場に存在するものである、近傍での$M$の境界での連結成分の集まりの場合の、$2n+2$次元シンプレクティク多様体$(M,\omega )$の凹面の境界；

それらが境界にあるシンプレクティック多様体$(M,\omega )$に存在する、ともに同境である二つの接触多様体$(N_1,{\alpha }_1)$と$(N_2,{\alpha }_2)$ は、各々順に凹面と凸面の境界のようになる、$N_1$と$N_2$の直和である。

引用文献

• テンプレート:Cite journal
• テンプレート:Cite book